From d171eccc3b196e9fa0afddd8a493e68230ae2ec2 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 23:29:21 +0000 Subject: [PATCH] adv-mixer-3: log copies through the Q2 close on both days Co-Authored-By: Claude Fable 5.1 --- .../17-adv-mixer-3-lease-rest.fifth.log | 2 ++ .../adv-mixer-3/17-adv-mixer-3-lease-rest.log | 31 +++++++++++++++++-- .../17-adv-mixer-3-lease-rest.seventh.log | 14 +++++++++ .../17-adv-mixer-3-lease-rest.sixth.log | 11 +++++++ .../18-adv-mixer-3-lease-sat.k2done.log | 9 ++++++ .../adv-mixer-3/18-adv-mixer-3-lease-sat.log | 16 ++++++++-- .../18-adv-mixer-3-lease-sat.withdrawn.log | 5 +++ .../logs/adv-mixer-3/cnf-20729-k2.log | 2 +- .../logs/adv-mixer-3/cnf-20729-k3.log | 9 ++++++ .../logs/adv-mixer-3/cnf-20729-k4.log | 9 ++++++ .../logs/adv-mixer-3/sac-20729-k5.log | 14 ++++++++- .../logs/adv-mixer-3/sac-20729-k6.log | 13 ++++++++ .../logs/adv-mixer-3/sac-20729-k7.log | 13 ++++++++ .../logs/adv-mixer-3/sac-20729-k8.log | 13 ++++++++ .../logs/adv-mixer-3/sac-20733-k6.log | 13 ++++++++ .../logs/adv-mixer-3/sac-20733-k7.log | 13 ++++++++ .../logs/adv-mixer-3/sac-20733-k8.log | 13 ++++++++ .../logs/adv-mixer-3/sat-20729-k2.log | 8 +++-- .../logs/adv-mixer-3/sat-20729-k3.log | 6 ++++ .../logs/adv-mixer-3/sat-20729-k3.partial.log | 2 ++ .../logs/adv-mixer-3/sat-20729-k4.log | 1 + 21 files changed, 208 insertions(+), 9 deletions(-) create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fifth.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.seventh.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.sixth.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.k2done.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.withdrawn.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k3.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k4.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k6.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k7.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k8.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k6.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k7.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k8.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.partial.log create mode 100644 docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fifth.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fifth.log new file mode 100644 index 000000000..fdda9c6c1 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.fifth.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log index fdda9c6c1..5453b1099 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.seventh.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.seventh.log new file mode 100644 index 000000000..93e92935f --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.seventh.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.sixth.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.sixth.log new file mode 100644 index 000000000..c54e79cdb --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/17-adv-mixer-3-lease-rest.sixth.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.k2done.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.k2done.log new file mode 100644 index 000000000..ff410a34b --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.k2done.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log index 586a0a410..43e50b90e 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.withdrawn.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.withdrawn.log new file mode 100644 index 000000000..586a0a410 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/18-adv-mixer-3-lease-sat.withdrawn.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log index 67755298d..2ba546a32 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k2.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k3.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k3.log new file mode 100644 index 000000000..6191b600a --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k3.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k4.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k4.log new file mode 100644 index 000000000..2618253f9 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/cnf-20729-k4.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log index 5ef3df33a..9816facfd 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k5.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k6.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k6.log new file mode 100644 index 000000000..eed195354 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k6.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k7.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k7.log new file mode 100644 index 000000000..34be86c8c --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k7.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k8.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k8.log new file mode 100644 index 000000000..fcdcffa7a --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k8.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k6.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k6.log new file mode 100644 index 000000000..4f3eca1aa --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k6.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k7.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k7.log new file mode 100644 index 000000000..70fea1e73 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k7.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k8.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k8.log new file mode 100644 index 000000000..55986e1b6 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20733-k8.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log index 2a9e9285f..28fccb00a 100644 --- a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k2.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.log new file mode 100644 index 000000000..7dac12525 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.log @@ -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 diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.partial.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.partial.log new file mode 100644 index 000000000..42cd589d4 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k3.partial.log @@ -0,0 +1,2 @@ +lease: 0 of 1 pool cores free (88 leased); waiting +Terminated diff --git a/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log new file mode 100644 index 000000000..293aec453 --- /dev/null +++ b/docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20729-k4.log @@ -0,0 +1 @@ +lease: holding 1 pool cores (27, waited 0 s, class adv): adv-mixer-3 cadical 20729 k4