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

adv-mixer-3: log copies through the 2^28 rows

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 00:31:33 +00:00
parent 74d301a5e2
commit ef080f0e6a
15 changed files with 248 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -0,0 +1,59 @@
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
chi2=4191157.5 df=4194303 z=-1.09 empty=0 min=840 max=1187 argmax=0x15c1f3
segments(2^16): chi2=65230.2 z=-0.84 lines-in-segment(64): chi2=69.5 z=0.58
verdict: uniform within the band
== index day 20733 k=3 2026-10-07T23:28:48Z
chi2=4190521.8 df=4194303 z=-1.31 empty=0 min=862 max=1199 argmax=0x1c4f9d
segments(2^16): chi2=65009.2 z=-1.45 lines-in-segment(64): chi2=49.0 z=-1.25
verdict: uniform within the band
== index day 20733 k=4 2026-10-07T23:29:51Z
chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
segments(2^16): chi2=65631.7 z=0.27 lines-in-segment(64): chi2=71.1 z=0.72
verdict: uniform within the band
== index day 20733 k=5 2026-10-07T23:31:02Z
chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
segments(2^16): chi2=65904.2 z=1.02 lines-in-segment(64): chi2=79.3 z=1.45
verdict: uniform within the band
== index day 20733 k=6 2026-10-07T23:32:20Z
chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
segments(2^16): chi2=65403.8 z=-0.36 lines-in-segment(64): chi2=49.3 z=-1.22
verdict: uniform within the band
== index day 20733 k=7 2026-10-07T23:33:47Z
chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
segments(2^16): chi2=66004.2 z=1.30 lines-in-segment(64): chi2=60.6 z=-0.21
verdict: uniform within the band
== index day 20733 k=8 2026-10-07T23:35:19Z
chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
segments(2^16): chi2=65451.2 z=-0.23 lines-in-segment(64): chi2=60.7 z=-0.21
verdict: uniform within the band
== sac day 20729 k=2 2^27 2026-10-07T23:37:00Z
PREEMPTED sac 20729 k2 n27 try 1 rc=143 2026-10-07T23:58:40Z: re-queuing the same lease line
PREEMPTED sac 20729 k2 n27 try 2 rc=143 2026-10-08T00:10:05Z: re-queuing the same lease line

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

@ -1,29 +1,75 @@
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
start igneum-build-1 2026-10-08T00:11:05Z lease pool up to 32 cores (32: never pre-empted), min 4
== sac day 20729 k=5 2026-10-08T00:11:05Z
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
== sac day 20729 k=6 2026-10-08T00:11:05Z
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
== sac day 20729 k=7 2026-10-08T00:11:05Z
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
== sac day 20729 k=8 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20729-k8.log
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
== sac day 20733 k=5 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k5.log
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
== sac day 20733 k=6 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k6.log
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
== sac day 20733 k=7 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k7.log
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
== sac day 20733 k=8 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/sac-20733-k8.log
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
== index day 20733 k=2 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k2.log
chi2=4191157.5 df=4194303 z=-1.09 empty=0 min=840 max=1187 argmax=0x15c1f3
segments(2^16): chi2=65230.2 z=-0.84 lines-in-segment(64): chi2=69.5 z=0.58
verdict: uniform within the band
== index day 20733 k=3 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k3.log
chi2=4190521.8 df=4194303 z=-1.31 empty=0 min=862 max=1199 argmax=0x1c4f9d
segments(2^16): chi2=65009.2 z=-1.45 lines-in-segment(64): chi2=49.0 z=-1.25
verdict: uniform within the band
== index day 20733 k=4 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k4.log
chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
segments(2^16): chi2=65631.7 z=0.27 lines-in-segment(64): chi2=71.1 z=0.72
verdict: uniform within the band
== index day 20733 k=5 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k5.log
chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
segments(2^16): chi2=65904.2 z=1.02 lines-in-segment(64): chi2=79.3 z=1.45
verdict: uniform within the band
== index day 20733 k=6 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k6.log
chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
segments(2^16): chi2=65403.8 z=-0.36 lines-in-segment(64): chi2=49.3 z=-1.22
verdict: uniform within the band
== index day 20733 k=7 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k7.log
chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
segments(2^16): chi2=66004.2 z=1.30 lines-in-segment(64): chi2=60.6 z=-0.21
verdict: uniform within the band
== index day 20733 k=8 2026-10-08T00:11:05Z
already done: /srv/builds/_adv-mixer-3/logs/index-20733-k8.log
chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
segments(2^16): chi2=65451.2 z=-0.23 lines-in-segment(64): chi2=60.7 z=-0.21
verdict: uniform within the band
== sac0 day 20733 k=2 2^28 2026-10-08T00:11:05Z
holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=19 out=453 (word 14) p=0.49987 z=-4.14
verdict: no cell beyond 6 sigma
== sac0 day 20733 k=3 2^28 2026-10-08T00:25:59Z
holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=15 out=406 (word 12) p=0.50015 z=4.85
verdict: no cell beyond 6 sigma
== sac day 20729 k=2 2^27 2026-10-08T00:30:09Z

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

@ -13,3 +13,8 @@ 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
cadical rc=0 (10 sat, 20 unsat, 124 timeout)
wall=3600.05 s maxrss=174684 KB
== cnf day 20733 k=2 2026-10-07T23:41:17Z
t0=0x12345678 target index (low 22 bits of s[0]) = 0x11c9d7
cnf: vars=67944 clauses=225543 written to /srv/builds/_adv-mixer-3/cnf/d20733-k2.cnf

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

@ -0,0 +1,9 @@
adv-mixer-3 cnf day=20733 apps=2 start=0 plant=None unix=1791416477
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 = 9e3779b9 3c6ef372
t0=0x12345678 target index (low 22 bits of s[0]) = 0x11c9d7
cnf: vars=67944 clauses=225543 written to /srv/builds/_adv-mixer-3/cnf/d20733-k2.cnf
verify a model with: adv-mixer-3 verify --day 20733 --apps 2 --start 0 --plant none --t <t from variables 1..32>

16
docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k4.log Normal file
View file

@ -0,0 +1,16 @@
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 index 20733 k4
adv-mixer-3 index day=20733 apps=4 start=0 plant=None unix=1791415791
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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4
census: n=2^32 bins=2^22 expect=1024 wall=70.7s
chi2=4193710.8 df=4194303 z=-0.20 empty=0 min=862 max=1180 argmax=0x23f000
segments(2^16): chi2=65631.7 z=0.27 lines-in-segment(64): chi2=71.1 z=0.72
bins >= 1184 (5 sigma high): 0 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
s[0] bit balance over 2^32: worst bit 14 z=2.62; low 22 bits worst z=2.62
state bit balance over 2^24 sample: worst bit 480 (word 15) z=3.54; bits beyond 6 sigma: 0 of 512
verdict: uniform within the band
Terminated
lease: released 16 pool cores after 71 s, exit 0

16
docs/analysis/cryptanalysis/logs/adv-mixer-3/index-20733-k5.log
View file

@ -0,0 +1,16 @@
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 index 20733 k5
adv-mixer-3 index day=20733 apps=5 start=0 plant=None unix=1791415863
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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d
census: n=2^32 bins=2^22 expect=1024 wall=77.8s
chi2=4197980.7 df=4194303 z=1.27 empty=0 min=865 max=1190 argmax=0x189764
segments(2^16): chi2=65904.2 z=1.02 lines-in-segment(64): chi2=79.3 z=1.45
bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
s[0] bit balance over 2^32: worst bit 3 z=2.99; low 22 bits worst z=2.99
state bit balance over 2^24 sample: worst bit 217 (word 6) z=3.20; bits beyond 6 sigma: 0 of 512
verdict: uniform within the band
Terminated
lease: released 16 pool cores after 78 s, exit 0

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

@ -0,0 +1,15 @@
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 index 20733 k6
adv-mixer-3 index day=20733 apps=6 start=0 plant=None unix=1791415941
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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56
census: n=2^32 bins=2^22 expect=1024 wall=86.1s
chi2=4197551.0 df=4194303 z=1.12 empty=0 min=865 max=1187 argmax=0x204e25
segments(2^16): chi2=65403.8 z=-0.36 lines-in-segment(64): chi2=49.3 z=-1.22
bins >= 1184 (5 sigma high): 1 (uniform expects about 1.2); bins <= 864: 0 (about 1.2)
s[0] bit balance over 2^32: worst bit 9 z=-2.24; low 22 bits worst z=2.24
state bit balance over 2^24 sample: worst bit 459 (word 14) z=-3.64; bits beyond 6 sigma: 0 of 512
verdict: uniform within the band
lease: released 16 pool cores after 86 s, exit 0

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

@ -0,0 +1,15 @@
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 index 20733 k7
adv-mixer-3 index day=20733 apps=7 start=0 plant=None unix=1791416027
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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f
census: n=2^32 bins=2^22 expect=1024 wall=92.1s
chi2=4197936.5 df=4194303 z=1.25 empty=0 min=858 max=1197 argmax=0x37052f
segments(2^16): chi2=66004.2 z=1.30 lines-in-segment(64): chi2=60.6 z=-0.21
bins >= 1184 (5 sigma high): 3 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
s[0] bit balance over 2^32: worst bit 31 z=2.94; low 22 bits worst z=2.14
state bit balance over 2^24 sample: worst bit 155 (word 4) z=3.18; bits beyond 6 sigma: 0 of 512
verdict: uniform within the band
lease: released 16 pool cores after 92 s, exit 0

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

@ -0,0 +1,15 @@
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 index 20733 k8
adv-mixer-3 index day=20733 apps=8 start=0 plant=None unix=1791416119
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 = 9e3779b9 3c6ef372 daa66d2b 78dde6e4 1715609d b54cda56 5384540f f1bbcdc8
census: n=2^32 bins=2^22 expect=1024 wall=100.9s
chi2=4193499.1 df=4194303 z=-0.28 empty=0 min=859 max=1183 argmax=0x7d467
segments(2^16): chi2=65451.2 z=-0.23 lines-in-segment(64): chi2=60.7 z=-0.21
bins >= 1184 (5 sigma high): 0 (uniform expects about 1.2); bins <= 864: 1 (about 1.2)
s[0] bit balance over 2^32: worst bit 6 z=-2.83; low 22 bits worst z=2.83
state bit balance over 2^24 sample: worst bit 34 (word 1) z=-4.23; bits beyond 6 sigma: 0 of 512
verdict: uniform within the band
lease: released 16 pool cores after 101 s, exit 0

7
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.log Normal file
View file

@ -0,0 +1,7 @@
lease: holding 20 pool cores (24,25,26,27,28,29,30,31,52,53,54,55,76,77,78,79,80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20729 k2 n27
adv-mixer-3 sac day=20729 apps=2 start=8 plant=None unix=1791419409
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

8
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac-20729-k2-n27.partial.log Normal file
View file

@ -0,0 +1,8 @@
lease: holding 4 pool cores (80,81,82,83, waited 0 s, class adv): adv-mixer-3 sac 20729 k2 n27
adv-mixer-3 sac day=20729 apps=2 start=8 plant=None unix=1791418240
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
lease: released 4 pool cores after 24 s, exit 143

9
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k2-n28.log
View file

@ -1,6 +1,13 @@
adv-mixer-3 sac0 day=20733 apps=2 start=0 plant=None unix=1791400786
lease: holding 4 pool cores (80,81,82,83, waited 1 s, class adv): adv-mixer-3 sac0 20733 k2 n28
adv-mixer-3 sac0 day=20733 apps=2 start=0 plant=None unix=1791418266
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 = 9e3779b9 3c6ef372
sac0: states=268435456 wall=893.5s band(6 sigma)=0.00018 inputs=32 t bits
holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=19 out=453 (word 14) p=0.49987 z=-4.14
line index cells (out bits 0..21): worst z=3.76 beyond6=0 of 704
verdict: no cell beyond 6 sigma
Terminated
lease: released 4 pool cores after 894 s, exit 0

13
docs/analysis/cryptanalysis/logs/adv-mixer-3/sac0-20733-k3-n28.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 sac0 20733 k3 n28
adv-mixer-3 sac0 day=20733 apps=3 start=0 plant=None unix=1791419159
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 = 9e3779b9 3c6ef372 daa66d2b
sac0: states=268435456 wall=249.6s band(6 sigma)=0.00018 inputs=32 t bits
holes=0 beyond6=0 mean_flip=0.50000 worst t-bit=15 out=406 (word 12) p=0.50015 z=4.85
line index cells (out bits 0..21): worst z=-3.35 beyond6=0 of 704
verdict: no cell beyond 6 sigma
Terminated
lease: released 16 pool cores after 250 s, exit 0

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

@ -1 +1,5 @@
lease: holding 1 pool cores (27, waited 0 s, class adv): adv-mixer-3 cadical 20729 k4
c UNKNOWN
Command exited with non-zero status 124
wall=3600.05 s maxrss=174684 KB
lease: released 1 pool cores after 3600 s, exit 124

2
docs/analysis/cryptanalysis/logs/adv-mixer-3/sat-20733-k2.log Normal file
View file

@ -0,0 +1,2 @@
lease: 0 of 1 pool cores free (87 leased), a higher class waits ahead; waiting
lease: holding 1 pool cores (62, waited 1432 s, class adv): adv-mixer-3 cadical 20733 k2