igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

adv-mixer-3: log copies through the Q2 close on both days

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 23:29:21 +00:00
parent 939870a959
commit d171eccc3b
21 changed files with 208 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fifth.log Normal file
View file

@ -0,0 +1,2 @@
start igneum-build-1 2026-10-07T19:42:48Z lease pool up to 32 cores (32: never pre-empted), min 16
== sac day 20729 k=5 2026-10-07T19:42:49Z

31
docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log
View file

@ -1,2 +1,29 @@
start igneum-build-1 2026-10-07T19:42:48Z lease pool up to 32 cores (32: never pre-empted), min 16
== sac day 20729 k=5 2026-10-07T19:42:49Z
start igneum-build-1 2026-10-07T22:45:40Z lease pool up to 32 cores (32: never pre-empted), min 4
== sac day 20729 k=5 2026-10-07T22:45:40Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k5.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
verdict: no cell beyond 6 sigma
== sac day 20729 k=6 2026-10-07T22:45:40Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k6.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
verdict: no cell beyond 6 sigma
== sac day 20729 k=7 2026-10-07T22:45:40Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k7.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
verdict: no cell beyond 6 sigma
== sac day 20729 k=8 2026-10-07T22:45:40Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=114 (word 3) p=0.50056 z=4.58
verdict: no cell beyond 6 sigma
== sac day 20733 k=5 2026-10-07T23:07:00Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=111 (word 3) out=214 (word 6) p=0.50058 z=4.78
verdict: no cell beyond 6 sigma
== sac day 20733 k=6 2026-10-07T23:11:46Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=66 (word 2) out=385 (word 12) p=0.50056 z=4.55
verdict: no cell beyond 6 sigma
== sac day 20733 k=7 2026-10-07T23:16:51Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=24 (word 0) out=215 (word 6) p=0.49944 z=-4.58
verdict: no cell beyond 6 sigma
== sac day 20733 k=8 2026-10-07T23:22:10Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=192 (word 6) out=321 (word 10) p=0.49943 z=-4.65
verdict: no cell beyond 6 sigma
== index day 20733 k=2 2026-10-07T23:27:49Z

14
docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.seventh.log Normal file
View file

@ -0,0 +1,14 @@
start igneum-build-1 2026-10-07T21:23:38Z lease pool up to 32 cores (32: never pre-empted), min 8
== sac day 20729 k=5 2026-10-07T21:23:38Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k5.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
verdict: no cell beyond 6 sigma
== sac day 20729 k=6 2026-10-07T21:23:38Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k6.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
verdict: no cell beyond 6 sigma
== sac day 20729 k=7 2026-10-07T21:23:38Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k7.log
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
verdict: no cell beyond 6 sigma
== sac day 20729 k=8 2026-10-07T21:23:38Z

11
docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.sixth.log Normal file
View file

@ -0,0 +1,11 @@
start igneum-build-1 2026-10-07T20:14:40Z lease pool up to 32 cores (32: never pre-empted), min 8
== sac day 20729 k=5 2026-10-07T20:14:40Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
verdict: no cell beyond 6 sigma
== sac day 20729 k=6 2026-10-07T20:32:33Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
verdict: no cell beyond 6 sigma
== sac day 20729 k=7 2026-10-07T20:40:49Z
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
verdict: no cell beyond 6 sigma
== sac day 20729 k=8 2026-10-07T20:47:51Z

9
docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.k2done.log Normal file
View file

@ -0,0 +1,9 @@
start igneum-build-2 2026-10-07T20:13:26Z lease pool up to 32 cores (32: never pre-empted), min 16
== cnf day 20729 k=2 2026-10-07T20:13:26Z
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
cadical rc=124 (10 sat, 20 unsat, 124 timeout)
wall=3600.01 s maxrss=91824 KB
== cnf day 20729 k=3 2026-10-07T21:13:26Z
t0=0x12345678 target index (low 22 bits of s[0]) = 0xe993a
cnf: vars=103375 clauses=343206 written to /srv/builds/_adv-mixer-3/cnf/d20729-k3.cnf

16
docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log
View file

@ -1,5 +1,15 @@
start igneum-build-2 2026-10-07T19:32:36Z lease pool up to 48 cores, min 16
== cnf day 20729 k=2 2026-10-07T19:32:36Z
start igneum-build-2 2026-10-07T21:23:45Z lease pool up to 32 cores (32: never pre-empted), min 16
== cnf day 20729 k=2 2026-10-07T21:23:45Z
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
withdrawn 2026-10-07T19:41:14Z by main order: no adv-* lease on box 2 until the class v5 census runs
already done: /srv/builds/_adv-mixer-3/logs/sat-20729-k2.log
cadical rc=0 (10 sat, 20 unsat, 124 timeout)
wall=3600.01 s maxrss=91824 KB
== cnf day 20729 k=3 2026-10-07T21:23:45Z
t0=0x12345678 target index (low 22 bits of s[0]) = 0xe993a
cnf: vars=103375 clauses=343206 written to /srv/builds/_adv-mixer-3/cnf/d20729-k3.cnf
cadical rc=0 (10 sat, 20 unsat, 124 timeout)
wall=3600.02 s maxrss=148976 KB
== cnf day 20729 k=4 2026-10-07T22:41:16Z
t0=0x12345678 target index (low 22 bits of s[0]) = 0x23fc47
cnf: vars=138126 clauses=458645 written to /srv/builds/_adv-mixer-3/cnf/d20729-k4.cnf

5
docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.withdrawn.log Normal file
View file

@ -0,0 +1,5 @@
start igneum-build-2 2026-10-07T19:32:36Z lease pool up to 48 cores, min 16
== cnf day 20729 k=2 2026-10-07T19:32:36Z
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
withdrawn 2026-10-07T19:41:14Z by main order: no adv-* lease on box 2 until the class v5 census runs

2
docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log
View file

@ -1,4 +1,4 @@
adv-mixer-3 cnf day=20729 apps=2 start=0 plant=None unix=1791401556
adv-mixer-3 cnf day=20729 apps=2 start=0 plant=None unix=1791408225
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

9
docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k3.log Normal file
View file

@ -0,0 +1,9 @@
adv-mixer-3 cnf day=20729 apps=3 start=0 plant=None unix=1791408225
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 daa66d2b
t0=0x12345678 target index (low 22 bits of s[0]) = 0xe993a
cnf: vars=103375 clauses=343206 written to /srv/builds/_adv-mixer-3/cnf/d20729-k3.cnf
verify a model with: adv-mixer-3 verify --day 20729 --apps 3 --start 0 --plant none --t <t from variables 1..32>

9
docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k4.log Normal file
View file

@ -0,0 +1,9 @@
adv-mixer-3 cnf day=20729 apps=4 start=0 plant=None unix=1791412876
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 daa66d2b 78dde6e4
t0=0x12345678 target index (low 22 bits of s[0]) = 0x23fc47
cnf: vars=138126 clauses=458645 written to /srv/builds/_adv-mixer-3/cnf/d20729-k4.cnf
verify a model with: adv-mixer-3 verify --day 20729 --apps 4 --start 0 --plant none --t <t from variables 1..32>

14
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log
View file

@ -1 +1,13 @@
lease: 0 of 16 pool cores free (88 leased); waiting
lease: 0 of 8 pool cores free (88 leased); waiting
lease: holding 17 pool cores (21,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60, waited 823 s, class adv): adv-mixer-3 sac 20729 k5
adv-mixer-3 sac day=20729 apps=5 start=8 plant=None unix=1791404903
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 = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65
sac: states=16777216 wall=250.1s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=360 (word 11) out=82 (word 2) p=0.49944 z=-4.60
line index cells (out bits 0..21): worst z=4.17 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
lease: released 17 pool cores after 1073 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k6.log Normal file
View file

@ -0,0 +1,13 @@
lease: 0 of 8 pool cores free (88 leased); waiting
lease: holding 12 pool cores (8,9,10,11,12,13,14,15,16,17,18,19, waited 101 s, class adv): adv-mixer-3 sac 20729 k6
adv-mixer-3 sac day=20729 apps=6 start=8 plant=None unix=1791405254
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 = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e
sac: states=16777216 wall=394.4s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=291 (word 9) p=0.49943 z=-4.66
line index cells (out bits 0..21): worst z=-3.91 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
lease: released 12 pool cores after 496 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k7.log Normal file
View file

@ -0,0 +1,13 @@
lease: holding 12 pool cores (8,9,10,11,12,13,14,15,16,17,18,19, waited 0 s, class adv): adv-mixer-3 sac 20729 k7
adv-mixer-3 sac day=20729 apps=7 start=8 plant=None unix=1791405649
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 = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7
sac: states=16777216 wall=422.0s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=226 (word 7) out=440 (word 13) p=0.50061 z=5.01
line index cells (out bits 0..21): worst z=4.16 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
Terminated
lease: released 12 pool cores after 422 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k8.log Normal file
View file

@ -0,0 +1,13 @@
lease: holding 4 pool cores (80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20729 k8
adv-mixer-3 sac day=20729 apps=8 start=8 plant=None unix=1791413140
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 = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7 e3779b90
sac: states=16777216 wall=1279.6s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=354 (word 11) out=114 (word 3) p=0.50056 z=4.58
line index cells (out bits 0..21): worst z=3.74 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
Terminated
lease: released 4 pool cores after 1280 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k6.log Normal file
View file

@ -0,0 +1,13 @@
lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20733 k6
adv-mixer-3 sac day=20733 apps=6 start=8 plant=None unix=1791414707
key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
rot = [28, 11, 18, 18, 13, 28, 5, 13]
mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
rc = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e
sac: states=16777216 wall=304.0s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=66 (word 2) out=385 (word 12) p=0.50056 z=4.55
line index cells (out bits 0..21): worst z=3.84 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
Terminated
lease: released 16 pool cores after 304 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k7.log Normal file
View file

@ -0,0 +1,13 @@
lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20733 k7
adv-mixer-3 sac day=20733 apps=7 start=8 plant=None unix=1791415011
key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
rot = [28, 11, 18, 18, 13, 28, 5, 13]
mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
rc = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7
sac: states=16777216 wall=318.9s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=24 (word 0) out=215 (word 6) p=0.49944 z=-4.58
line index cells (out bits 0..21): worst z=4.14 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
Terminated
lease: released 16 pool cores after 319 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k8.log Normal file
View file

@ -0,0 +1,13 @@
lease: holding 16 pool cores (24,25,26,27,28,29,30,31,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20733 k8
adv-mixer-3 sac day=20733 apps=8 start=8 plant=None unix=1791415330
key = e23f9008 de33e763 c5ba415d 8ddf6786 59f4a4be 8a3bc680 701b8e40 3b59025a
rot = [28, 11, 18, 18, 13, 28, 5, 13]
mul = d1d79e7f bcb61f8b 970e91ab d749d96d 143d7339 2cde0d69 12d0a8c1 2d335be9 80a8aae9 7ac896c7 9de23db7 c362827d 5f4cdb5b fc6c5097 6f547f83 1ac31b47
rc = e5bef5a3 db2a7d90 cd1fa7e1 30289419 0a730d58 432f8579 6ab978a5 8c984f49 788c3c9e 051eef02 05e77db9 8b3cd4f3 6948d6cf 0d8677f6 f9505c8c 4513c163
keys = 8ff34781 2e2ac13a cc623af3 6a99b4ac 08d12e65 a708a81e 454021d7 e3779b90
sac: states=16777216 wall=339.0s band(6 sigma)=0.00073
holes=0 beyond6=0 beyond8=0 mean_flip=0.50000 worst in=192 (word 6) out=321 (word 10) p=0.49943 z=-4.65
line index cells (out bits 0..21): worst z=4.10 beyond6=0 of 11264
verdict: no cell beyond 6 sigma
Terminated
lease: released 16 pool cores after 339 s, exit 0

8
docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log
View file

@ -1,2 +1,6 @@
lease: 0 of 1 pool cores free (88 leased); waiting
lease: holding 1 pool cores (41, waited 182 s): adv-mixer-3 cadical 20729 k2
lease: holding 1 pool cores (8, waited 0 s, class adv): adv-mixer-3 cadical 20729 k2
c UNKNOWN
Command exited with non-zero status 124
wall=3600.01 s maxrss=91824 KB
Terminated
lease: released 1 pool cores after 3600 s, exit 124

6
docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.log Normal file
View file

@ -0,0 +1,6 @@
lease: 0 of 1 pool cores free (88 leased); waiting
lease: holding 1 pool cores (42, waited 1050 s, class adv): adv-mixer-3 cadical 20729 k3
c UNKNOWN
Command exited with non-zero status 124
wall=3600.02 s maxrss=148976 KB
lease: released 1 pool cores after 4650 s, exit 124

2
docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.partial.log Normal file
View file

@ -0,0 +1,2 @@
lease: 0 of 1 pool cores free (88 leased); waiting
Terminated

1
docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log Normal file
View file

@ -0,0 +1 @@
lease: holding 1 pool cores (27, waited 0 s, class adv): adv-mixer-3 cadical 20729 k4