upper_trail_12r.txt

Characteristic for skinnyrk - Rounds 12 - Wordsize 64 - Weight 79 - Time 83.36s
Rounds	x                   atk                 y                   z                   tk0                 tk1                 tk2                 w                   
-----------------------------------------------------------------------------------------------------------------------------------------------------------------------
0	0x0080000000000000  0x0040000000000000  0x0040000000000000  0x0004000000000000  0x000000C000000000  0x000000F000000000  none                -2                  
1	0x0000000000000004  0x0000000000000002  0x0000000000000000  0x0000000000000000  0x000000000000000C  0x000000000000000E  none                -2                  
2	0x0000000000000000  0x0000000000000000  0x0000000000000000  0x0000000000000000  0x0000000C00000000  0x0000000E00000000  none                -0                  
3	0x0000000000000000  0x0000000000000000  0x0000000000000000  0x0000000000000000  0x0000000000000C00  0x0000000000000C00  none                -0                  
4	0x0000000000000000  0x0000000000000000  0x0000000000000000  0x0000000000000000  0x00000C0000000000  0x00000C0000000000  none                -0                  
5	0x0000000000000000  0x0000000000000000  0x0000000000040000  0x0000000000400000  0x00000000000C0000  0x0000000000080000  none                -0                  
6	0x0000004000000000  0x0000002000000000  0x0000002000000000  0x0000200000000000  0x000C000000000000  0x0008000000000000  none                -2                  
7	0x2000200000002000  0x5000100000001000  0x500010000D001000  0x05000010D0001000  0x000000000C000000  0x0000000001000000  none                -6                  
8	0x1010D01010001510  0x90B090B0B000B290  0x90B090B0B000B290  0x090BB090000BB290  0x0C00000000000000  0x0100000000000000  none                -16                 
9	0x0200B09BB2900B0B  0x0100105115F00101  0x0100105115100101  0x0010511051010101  0x0000000000C00000  0x0000000000200000  none                -19                 
10	0x5011001101015001  0xA08900BA0B0A2008  0xA08900BA0B0A2008  0x9A08BA00B0A02008  0x00C0000000000000  0x0020000000000000  none                -18                 
11	0x9A080AA020080000  0x4505066060040000  0x4505066060048000  0x5450600600468000  0x000000000000C000  0x0000000000004000  none                -14                 
12	0xE00660408000B456  none                none                none                none                none                none                none                

Weight: 79