Problem terminator_sample_gq.ts terminator_sample_gqc.ts terminator_sample_nq72.ts terminator_sample_quantor.ts terminator_sample_rareqsuuh3pb.ts terminator_sample_znenofex.ts
stmt19_125_313.qdimacs.gz 2 (1+0)
s cnf 0 (s cnf 0)
212 (212+0)
s cnf 0 (s cnf 0)
800 (799+1) 31 (29+2) 0 (0+0)
s cnf 0 (s cnf 0)
417 (414+3)
stmt19_133_217.qdimacs.gz 800 (799+1) 800 (800+0) 800 (799+1) 83 (82+1) 32 (31+1)
s cnf 0 (s cnf 0)
236 (231+5)
stmt19_137_417.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (799+1) 37 (35+2) 800 (791+9) 572 (567+5)
stmt19_142_363.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (799+1) 41 (39+2) 800 (792+8) 241 (239+2)
stmt19_142_412.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 25 (24+2) 487 (482+5)
s cnf 0 (s cnf 0)
364 (361+3)
stmt19_177_214.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+1) 102 (100+2) 800 (792+8) 303 (299+4)
stmt19_177_313.qdimacs.gz 800 (799+2) 668 (667+0)
s cnf 0 (s cnf 0)
800 (799+1) 36 (34+2) 50 (49+1)
s cnf 0 (s cnf 0)
316 (311+4)
stmt19_177_318.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (800+1) 15 (14+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
234 (230+4)
stmt19_177_368.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (799+1) 45 (43+2) 30 (29+1)
s cnf 0 (s cnf 0)
441 (437+4)
stmt19_180_408.qdimacs.gz 125 (125+1)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 15 (13+2) 800 (793+7) 317 (312+4)
stmt19_214_261.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 55 (53+2) 800 (792+8) 647 (637+11)
stmt19_214_363.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 69 (68+2) 800 (793+7) 293 (290+3)
stmt19_217_309.qdimacs.gz 61 (60+0)
s cnf 0 (s cnf 0)
800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
576 (575+2)
stmt19_250_368.qdimacs.gz 582 (578+3)
s cnf 0 (s cnf 0)
133 (133+0)
s cnf 0 (s cnf 0)
800 (799+1) 25 (24+2) 800 (792+8) 333 (331+2)
stmt19_250_401.qdimacs.gz 800 (798+2) 605 (605+0)
s cnf 0 (s cnf 0)
800 (799+1) 61 (59+2) 800 (793+7) 229 (226+3)
stmt19_250_408.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 15 (14+2) 800 (792+8) 266 (264+2)
stmt19_257_266.qdimacs.gz 21 (21+0)
s cnf 0 (s cnf 0)
16 (16+0)
s cnf 0 (s cnf 0)
800 (800+0) 69 (68+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
318 (316+2)
stmt19_257_313.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 37 (35+2) 4 (4+0)
s cnf 0 (s cnf 0)
329 (326+3)
stmt19_257_318.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (2+0)
s cnf 0 (s cnf 0)
800 (800+1) 60 (58+2) 2 (2+0)
s cnf 0 (s cnf 0)
259 (256+2)
stmt19_261_266.qdimacs.gz 10 (10+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 86 (85+1) 0 (0+0)
s cnf 0 (s cnf 0)
268 (266+2)
stmt19_266_368.qdimacs.gz 644 (644+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 128 (127+2) 800 (793+7) 279 (277+2)
stmt19_266_408.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 37 (36+1) 800 (794+7) 345 (343+2)
stmt19_352_359.qdimacs.gz 800 (800+1) 800 (800+0) 800 (799+1) 3 (2+0)
s cnf 0 (s FALSE)
2 (2+0)
s cnf 0 (s cnf 0)
162 (160+2)
stmt19_368_412.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (800+1) 211 (209+2) 22 (21+1)
s cnf 0 (s cnf 0)
195 (193+2)
stmt19_368_417.qdimacs.gz 800 (800+1) 800 (800+0) 800 (799+1) 28 (27+2) 800 (793+7) 247 (245+2)
stmt19_3_261.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 33 (31+2) 800 (793+7) 283 (281+2)
stmt19_3_313.qdimacs.gz 90 (90+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 90 (88+2) 0 (0+0)
s cnf 0 (s cnf 0)
297 (294+3)
stmt19_66_180.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
147 (147+0)
s cnf 0 (s cnf 0)
800 (799+1) 109 (107+2)
s cnf 0 (s FALSE)
2 (2+0)
s cnf 0 (s cnf 0)
178 (176+2)
stmt19_66_408.qdimacs.gz 312 (311+0)
s cnf 0 (s cnf 0)
98 (98+0)
s cnf 0 (s cnf 0)
800 (799+1) 88 (86+2) 4 (4+0)
s cnf 0 (s cnf 0)
266 (264+2)
stmt19_66_417.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 20 (19+2) 800 (790+10) 267 (265+2)
stmt19_78_125.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
111 (111+0)
s cnf 0 (s cnf 0)
154 (152+2)
s cnf 0 (s FALSE)
33 (33+0)
s cnf 0 (s cnf 0)
213 (211+2)
stmt19_78_352.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 21 (19+2) 800 (790+10) 308 (306+2)
stmt19_83_266.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 29 (28+2) 0 (0+0)
s cnf 0 (s cnf 0)
216 (214+2)
stmt19_83_359.qdimacs.gz 174 (174+0)
s cnf 0 (s cnf 0)
3 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 25 (24+2) 800 (792+9) 356 (353+3)
stmt19_90_177.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 104 (103+2) 14 (14+0)
s cnf 0 (s cnf 0)
245 (243+2)
stmt19_90_309.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
4 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
639 (637+2)
stmt19_90_352.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 27 (25+2) 254 (251+3)
s cnf 0 (s cnf 0)
328 (326+2)
stmt19_90_408.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 3 (3+0)
s cnf 0 (s cnf 0)
248 (246+2)
stmt21_127_319.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 35 (33+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
290 (288+3)
stmt21_127_409.qdimacs.gz 48 (48+0)
s cnf 0 (s cnf 0)
468 (467+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (17+2) 105 (104+1)
s cnf 0 (s cnf 0)
257 (255+2)
stmt21_134_418.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 34 (32+2) 800 (794+6) 226 (224+2)
stmt21_138_215.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 42 (40+2) 28 (27+0)
s cnf 0 (s cnf 0)
470 (467+3)
stmt21_138_252.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+0) 23 (22+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
303 (300+3)
stmt21_143_181.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 180 (178+1) 26 (26+0)
s cnf 0 (s cnf 0)
311 (308+3)
stmt21_143_314.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (14+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
284 (281+2)
stmt21_178_258.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 45 (43+2) 85 (84+1)
s cnf 0 (s cnf 0)
253 (251+2)
stmt21_178_403.qdimacs.gz 33 (33+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 35 (34+2) 587 (581+6)
s cnf 0 (s cnf 0)
318 (316+2)
stmt21_181_360.qdimacs.gz 93 (93+0)
s cnf 0 (s cnf 0)
352 (352+0)
s cnf 0 (s cnf 0)
800 (799+1) 18 (17+2) 800 (793+7) 183 (181+2)
stmt21_181_413.qdimacs.gz 800 (800+1) 800 (800+0) 800 (799+1) 46 (45+2) 800 (793+7) 254 (252+2)
stmt21_215_267.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+0) 21 (20+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
198 (196+2)
stmt21_218_262.qdimacs.gz 2 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 52 (51+1) 54 (53+1)
s cnf 0 (s cnf 0)
218 (216+2)
stmt21_252_262.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 44 (42+2) 70 (69+1)
s cnf 0 (s cnf 0)
343 (340+3)
stmt21_252_354.qdimacs.gz 800 (800+0) 703 (703+0)
s cnf 0 (s cnf 0)
800 (799+1) 32 (30+2) 266 (263+3)
s cnf 0 (s cnf 0)
274 (271+3)
stmt21_252_364.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 35 (33+2) 228 (225+3)
s cnf 0 (s cnf 0)
322 (319+2)
stmt21_258_360.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 26 (24+2) 800 (793+7) 277 (275+3)
stmt21_262_409.qdimacs.gz 800 (800+0) 594 (594+0)
s cnf 0 (s cnf 0)
800 (799+1) 26 (24+2) 63 (62+1)
s cnf 0 (s cnf 0)
193 (191+2)
stmt21_262_413.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 42 (41+2) 800 (793+7) 272 (270+2)
stmt21_262_418.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 63 (61+2) 800 (793+7) 236 (234+2)
stmt21_304_418.qdimacs.gz 800 (800+0) 237 (237+0)
s cnf 0 (s cnf 0)
800 (799+1) 43 (42+2) 800 (794+6) 305 (303+3)
stmt21_310_354.qdimacs.gz 542 (541+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 20 (18+2) 169 (166+3)
s cnf 0 (s cnf 0)
451 (448+3)
stmt21_314_409.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 23 (21+2) 800 (792+8) 294 (292+2)
stmt21_360_409.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 65 (63+2) 800 (793+7) 276 (274+2)
stmt21_409_413.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 20 (18+2) 651 (645+6)
s cnf 0 (s cnf 0)
294 (292+3)
stmt21_4_304.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 98 (96+1) 0 (0+0)
s cnf 0 (s cnf 0)
196 (194+2)
stmt21_4_354.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 34 (32+2) 22 (21+1)
s cnf 0 (s cnf 0)
275 (272+3)
stmt21_4_364.qdimacs.gz 551 (551+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 37 (35+2) 800 (792+8) 366 (363+3)
stmt21_4_409.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 33 (31+2) 137 (135+2)
s cnf 0 (s cnf 0)
325 (323+2)
stmt21_5_304.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 92 (91+1)
s cnf 0 (s FALSE)
1 (1+0)
s cnf 0 (s cnf 0)
310 (308+3)
stmt21_70_127.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
800 (800+0) 100 (98+2) 4 (4+0)
s cnf 0 (s cnf 0)
263 (260+2)
stmt21_70_267.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 28 (27+2) 0 (0+0)
s cnf 0 (s cnf 0)
255 (253+3)
stmt21_70_304.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
8 (8+0)
s cnf 0 (s cnf 0)
800 (799+1) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
344 (340+3)
stmt21_71_304.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 43 (41+2)
s cnf 0 (s FALSE)
321 (319+3)
s cnf 0 (s cnf 0)
416 (412+3)
stmt21_71_314.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 56 (54+2) 1 (1+0)
s cnf 0 (s cnf 0)
279 (277+2)
stmt21_79_314.qdimacs.gz 800 (800+1) 800 (800+0) 800 (799+1) 51 (50+2) 1 (1+0)
s cnf 0 (s cnf 0)
253 (250+2)
stmt21_84_127.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+0) 24 (23+1)
s cnf 0 (s FALSE)
36 (35+0)
s cnf 0 (s cnf 0)
247 (245+2)
stmt21_84_364.qdimacs.gz 220 (220+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 31 (30+2) 87 (86+1)
s cnf 0 (s cnf 0)
323 (321+3)
stmt21_91_304.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 140 (138+2) 0 (0+0)
s cnf 0 (s cnf 0)
197 (195+2)
stmt22_139_263.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 34 (32+2) 89 (88+1)
s cnf 0 (s cnf 0)
231 (229+2)
stmt22_144_179.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
800 (800+0) 61 (59+2) 800 (794+6) 225 (223+2)
stmt22_144_370.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 113 (112+2) 623 (617+6)
s cnf 0 (s cnf 0)
225 (222+2)
stmt22_182_253.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 22 (21+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
209 (206+2)
stmt22_182_268.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
196 (194+2)
stmt22_182_320.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 22 (21+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
276 (273+3)
stmt22_219_268.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (800+1) 46 (45+2) 0 (0+0)
s cnf 0 (s cnf 0)
229 (227+2)
stmt22_253_259.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 56 (54+2) 800 (794+6) 209 (207+2)
stmt22_259_263.qdimacs.gz 14 (14+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 32 (30+2) 375 (371+3)
s cnf 0 (s cnf 0)
311 (308+3)
stmt22_259_311.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 41 (40+2) 800 (792+8) 391 (388+3)
stmt22_263_361.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 112 (110+2) 1 (1+0)
s cnf 0 (s cnf 0)
330 (328+2)
stmt22_263_365.qdimacs.gz 800 (800+0) 800 (800+0) 800 (800+1) 0 (0+0)
s cnf 0 (s FALSE)
2 (2+0)
s cnf 0 (s cnf 0)
286 (283+2)
stmt22_268_320.qdimacs.gz 135 (135+0)
s cnf 0 (s cnf 0)
219 (219+0)
s cnf 0 (s cnf 0)
800 (799+1) 45 (43+2) 5 (5+0)
s cnf 0 (s cnf 0)
229 (227+2)
stmt22_315_361.qdimacs.gz 800 (800+0) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
490 (488+2)
stmt22_361_414.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 27 (26+1) 215 (212+3)
s cnf 0 (s cnf 0)
278 (276+2)
stmt22_365_404.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 33 (31+2) 800 (793+7) 303 (301+2)
stmt22_365_414.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 24 (22+2) 18 (18+0)
s cnf 0 (s cnf 0)
356 (353+3)
stmt22_6_128.qdimacs.gz 0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
15 (14+1)
s cnf 0 (s FALSE)
14 (13+0)
s cnf 0 (s cnf 0)
191 (188+2)
stmt22_6_414.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
37 (37+0)
s cnf 0 (s cnf 0)
800 (799+1) 88 (87+2) 800 (793+7) 222 (219+2)
stmt22_73_268.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 32 (31+2) 800 (794+6) 338 (335+3)
stmt22_73_311.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 59 (57+2) 425 (421+4)
s cnf 0 (s cnf 0)
397 (394+3)
stmt22_73_419.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 29 (28+1) 800 (791+9) 270 (268+3)
stmt22_80_216.qdimacs.gz 800 (799+1) 800 (800+0) 800 (799+1) 73 (71+1) 41 (40+1)
s cnf 0 (s cnf 0)
203 (201+2)
stmt22_80_259.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+1) 40 (38+1) 800 (791+9) 400 (396+3)
stmt22_80_361.qdimacs.gz 800 (800+1) 800 (800+0) 800 (799+1) 53 (51+2) 800 (789+11) 298 (296+2)
stmt22_80_404.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
800 (799+1) 41 (39+2) 579 (573+6)
s cnf 0 (s cnf 0)
202 (200+2)
stmt22_85_179.qdimacs.gz 800 (799+1) 126 (126+0)
s cnf 0 (s cnf 0)
800 (799+1) 145 (144+1) 19 (19+0)
s cnf 0 (s cnf 0)
192 (190+2)
stmt22_85_320.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 105 (103+2) 2 (2+0)
s cnf 0 (s cnf 0)
303 (300+3)
stmt22_85_355.qdimacs.gz 15 (15+0)
s cnf 0 (s cnf 0)
13 (13+0)
s cnf 0 (s cnf 0)
800 (799+1) 86 (84+2) 437 (431+5)
s cnf 0 (s cnf 0)
359 (356+3)
stmt27_149_187.qdimacs.gz 416 (415+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (800+1) 49 (47+2) 70 (69+1)
s cnf 0 (s cnf 0)
210 (208+2)
stmt27_149_224.qdimacs.gz 236 (235+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 53 (52+1) 87 (86+1)
s cnf 0 (s cnf 0)
340 (337+2)
stmt27_16_224.qdimacs.gz 1 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
800 (799+1) 50 (48+2) 332 (328+4)
s cnf 0 (s cnf 0)
244 (242+2)
stmt27_17_187.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 143 (142+1) 5 (5+0)
s cnf 0 (s cnf 0)
218 (216+2)
stmt27_97_187.qdimacs.gz 19 (19+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 90 (89+2) 313 (310+4)
s cnf 0 (s cnf 0)
292 (290+3)
stmt29_275_376.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 38 (36+2) 800 (789+11) 811 (805+6)
stmt31_100_276.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
9 (9+0)
s cnf 0 (s cnf 0)
800 (799+1) 32 (31+2) 0 (0+0)
s cnf 0 (s cnf 0)
362 (359+3)
stmt32_101_378.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (13+2) 800 (789+11) 492 (488+4)
stmt32_153_277.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
491 (488+3)
stmt32_191_378.qdimacs.gz 28 (28+0)
s cnf 0 (s cnf 0)
14 (14+0)
s cnf 0 (s cnf 0)
800 (799+1) 15 (14+2) 800 (790+10) 438 (435+3)
stmt32_228_277.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
7 (6+0)
s cnf 0 (s cnf 0)
800 (799+1) 36 (35+1) 0 (0+0)
s cnf 0 (s cnf 0)
281 (278+3)
stmt39_107_335.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
10 (10+0)
s cnf 0 (s cnf 0)
800 (799+1) 41 (40+2) 800 (788+12) 395 (392+3)
stmt39_234_384.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 33 (32+2) 800 (790+10) 333 (331+2)
stmt39_34_384.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
48 (48+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 800 (792+8) 320 (317+3)
stmt41_108_160.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+1) 128 (126+2)
s cnf 0 (s FALSE)
17 (17+0)
s cnf 0 (s cnf 0)
207 (204+3)
stmt41_160_235.qdimacs.gz 13 (13+0)
s cnf 0 (s cnf 0)
800 (800+0) 800 (799+1) 30 (28+2) 156 (154+2)
s cnf 0 (s cnf 0)
315 (312+3)
stmt41_198_286.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 73 (72+1) 800 (791+9) 288 (285+2)
stmt41_286_385.qdimacs.gz 800 (800+1) 219 (219+0)
s cnf 0 (s cnf 0)
800 (799+1) 12 (10+2) 800 (790+10) 447 (444+3)
stmt41_36_198.qdimacs.gz 1 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
673 (671+2)
stmt41_36_336.qdimacs.gz 6 (6+0)
s cnf 0 (s cnf 0)
23 (23+0)
s cnf 0 (s cnf 0)
800 (799+1) 31 (29+2) 123 (121+2)
s cnf 0 (s cnf 0)
402 (399+4)
stmt41_37_108.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
263 (261+2)
stmt41_37_286.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 16 (14+2) 0 (0+0)
s cnf 0 (s cnf 0)
430 (426+4)
stmt44_41_387.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 17 (15+2) 800 (790+10) 318 (315+2)
stmt46_201_238.qdimacs.gz 800 (799+1) 800 (800+0) 800 (799+1) 37 (36+2) 8 (7+0)
s cnf 0 (s cnf 0)
254 (251+3)
stmt46_43_201.qdimacs.gz 110 (110+0)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
800 (799+1) 35 (33+2) 21 (21+0)
s cnf 0 (s cnf 0)
321 (318+2)
stmt46_43_339.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 27 (25+2) 421 (415+6)
s cnf 0 (s cnf 0)
221 (219+2)
stmt47_290_340.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 29 (27+2) 279 (274+5)
s cnf 0 (s cnf 0)
312 (309+3)
stmt47_340_389.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 66 (64+2) 800 (793+7) 237 (235+2)
stmt47_44_239.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+1) 22 (20+2) 95 (94+1)
s cnf 0 (s cnf 0)
332 (329+3)
stmt47_45_164.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (800+0) 99 (97+2) 321 (318+3)
s cnf 0 (s cnf 0)
259 (257+3)
stmt50_115_242.qdimacs.gz 290 (290+0)
s cnf 0 (s cnf 0)
33 (32+0)
s cnf 0 (s cnf 0)
800 (799+1) 20 (18+2) 99 (98+1)
s cnf 0 (s cnf 0)
314 (311+3)
stmt50_242_343.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 50 (48+2) 54 (54+1)
s cnf 0 (s cnf 0)
338 (333+5)
stmt50_343_392.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 17 (15+2) 800 (789+11) 323 (321+3)
stmt50_50_205.qdimacs.gz 1 (0+0)
s cnf 0 (s cnf 0)
1 (0+0)
s cnf 0 (s cnf 0)
800 (799+1) 151 (150+1) 77 (75+1)
s cnf 0 (s cnf 0)
305 (302+3)
stmt50_50_293.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s FALSE)
1 (1+0)
s cnf 0 (s cnf 0)
346 (344+2)
stmt50_51_293.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
800 (799+1) 62 (60+2) 0 (0+0)
s cnf 0 (s cnf 0)
306 (303+3)
stmt50_51_392.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
800 (799+1) 11 (10+1) 800 (790+10) 461 (458+4)
stmt52_244_295.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 49 (47+2) 800 (791+9) 241 (239+2)
stmt52_295_394.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 37 (35+2) 800 (791+9) 358 (355+3)
stmt52_54_345.qdimacs.gz 2 (1+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
800 (799+1) 20 (18+2) 800 (793+7) 315 (312+3)
stmt53_118_170.qdimacs.gz 4 (4+0)
s cnf 0 (s cnf 0)
23 (22+0)
s cnf 0 (s cnf 0)
800 (800+0) 74 (73+2) 18 (17+0)
s cnf 0 (s cnf 0)
315 (312+3)
stmt53_118_346.qdimacs.gz 2 (2+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
800 (799+1) 22 (21+1) 800 (791+9) 475 (471+4)
stmt85_300_399.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 77 (76+2) 800 (790+10) 403 (398+5)
stmt85_64_248.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
800 (799+1) 23 (22+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
293 (288+4)
TOTAL solved: 109
wins: 56
solved: 103
wins: 42
solved: 9
wins: 5
solved: 25
wins: 4
solved: 98
wins: 58
solved: 0
wins: 0
terminator_sample_gq.ts terminator_sample_gqc.ts terminator_sample_nq72.ts terminator_sample_quantor.ts terminator_sample_rareqsuuh3pb.ts terminator_sample_znenofex.ts