9 lines
765 B
Text
9 lines
765 B
Text
adv-mixer-3 cnf day=20729 apps=2 start=0 plant=None unix=1791401556
|
|
key = 528b3e14 2e689968 ffc58df7 b7f348cb 8c15a789 703473e8 e58713af 0cfe196a
|
|
rot = [6, 25, 5, 25, 29, 11, 9, 21]
|
|
mul = addda577 e83ff665 a15aee9f 31ffb8cb e72c824d 225e647b 3ec0ace3 d1eb11d5 fa5c7dc5 40128acf 70bc55cf b823fa39 07fcdf49 56a6c8b1 c05d3115 02063ddd
|
|
rc = 0655b978 2c53cb31 e14235d3 30d45c30 5b07a13b 25271fad 418b165b f7fe03d7 67943b1d 5ba337a2 24aa3983 6abbbed4 12488b47 a4a81e53 96f96da0 b86823f8
|
|
keys = 9e3779b9 3c6ef372
|
|
t0=0x12345678 target index (low 22 bits of s[0]) = 0x15edcf
|
|
cnf: vars=68624 clauses=227767 written to /srv/builds/_adv-mixer-3/cnf/d20729-k2.cnf
|
|
verify a model with: adv-mixer-3 verify --day 20729 --apps 2 --start 0 --plant none --t <t from variables 1..32>
|