Problem Strategic_Companies_sample_gq.ts Strategic_Companies_sample_gqc.ts Strategic_Companies_sample_nq72.ts Strategic_Companies_sample_quantor.ts Strategic_Companies_sample_rareqsuuh3pb.ts Strategic_Companies_sample_znenofex.ts
x100.17.qdimacs.gz 800 (798+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
53 (51+2) 0 (0+0)
s cnf 0 (s cnf 0)
176 (174+2)
x100.4.qdimacs.gz 800 (798+2) 800 (800+0) 84 (84+0)
s cnf 0 (s cnf 0)
56 (54+2) 1 (1+0)
s cnf 0 (s cnf 0)
151 (149+2)
x100.5.qdimacs.gz 800 (798+2) 800 (799+1) 35 (35+0)
s cnf 0 (s cnf 0)
49 (47+2) 1 (1+0)
s cnf 0 (s cnf 0)
247 (245+3)
x100.7.qdimacs.gz 800 (798+2) 800 (800+1) 1 (1+0)
s cnf 0 (s cnf 0)
56 (54+2) 1 (1+0)
s cnf 0 (s cnf 0)
150 (148+2)
x100.8.qdimacs.gz 800 (799+2) 800 (800+1) 6 (6+0)
s cnf 0 (s cnf 0)
44 (42+2) 2 (2+0)
s cnf 0 (s cnf 0)
161 (159+2)
x110.17.qdimacs.gz 800 (799+2) 800 (800+1) 5 (5+0)
s cnf 0 (s cnf 0)
54 (52+2) 2 (2+0)
s cnf 0 (s cnf 0)
157 (155+2)
x115.11.qdimacs.gz 800 (798+2) 800 (799+1) 2 (2+0)
s cnf 0 (s cnf 0)
50 (48+2) 1 (1+0)
s cnf 0 (s cnf 0)
158 (155+3)
x115.17.qdimacs.gz 800 (798+2) 800 (799+1) 14 (14+0)
s cnf 0 (s cnf 0)
50 (48+2) 2 (2+0)
s cnf 0 (s cnf 0)
170 (168+2)
x115.6.qdimacs.gz 800 (798+2) 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
43 (41+2) 3 (3+0)
s cnf 0 (s cnf 0)
156 (153+3)
x120.11.qdimacs.gz 800 (798+2) 800 (800+1) 1 (1+0)
s cnf 0 (s cnf 0)
42 (40+2) 2 (2+0)
s cnf 0 (s cnf 0)
180 (178+2)
x120.15.qdimacs.gz 800 (798+2) 800 (800+1) 50 (50+0)
s cnf 0 (s cnf 0)
30 (28+2) 2 (2+0)
s cnf 0 (s cnf 0)
188 (186+2)
x120.5.qdimacs.gz 800 (798+2) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
40 (37+2) 3 (3+0)
s cnf 0 (s cnf 0)
282 (280+2)
x125.15.qdimacs.gz 800 (798+2) 800 (799+1) 7 (7+0)
s cnf 0 (s cnf 0)
27 (25+2) 6 (6+0)
s cnf 0 (s cnf 0)
266 (264+2)
x130.17.qdimacs.gz 800 (798+2) 800 (799+1) 157 (156+0)
s cnf 0 (s cnf 0)
27 (25+2) 28 (28+0)
s cnf 0 (s cnf 0)
418 (416+2)
x130.18.qdimacs.gz 800 (798+2) 800 (799+1) 10 (10+0)
s cnf 0 (s cnf 0)
41 (38+2) 5 (5+0)
s cnf 0 (s cnf 0)
219 (217+2)
x130.3.qdimacs.gz 800 (798+2) 800 (799+1) 13 (13+0)
s cnf 0 (s cnf 0)
44 (42+2) 3 (3+0)
s cnf 0 (s cnf 0)
207 (205+2)
x140.1.qdimacs.gz 800 (798+2) 800 (799+1) 322 (322+0)
s cnf 0 (s cnf 0)
36 (33+2) 43 (43+0)
s cnf 0 (s cnf 0)
281 (279+2)
x140.14.qdimacs.gz 800 (799+2) 800 (799+1) 12 (12+0)
s cnf 0 (s cnf 0)
40 (38+2) 9 (9+0)
s cnf 0 (s cnf 0)
298 (296+2)
x140.19.qdimacs.gz 800 (798+2) 800 (800+1) 5 (5+0)
s cnf 0 (s cnf 0)
36 (34+2) 26 (26+0)
s cnf 0 (s cnf 0)
294 (293+2)
x145.10.qdimacs.gz 800 (798+2) 800 (800+1) 2 (2+0)
s cnf 0 (s cnf 0)
40 (38+2) 25 (25+0)
s cnf 0 (s cnf 0)
256 (254+2)
x145.11.qdimacs.gz 800 (798+2) 800 (800+0) 15 (15+0)
s cnf 0 (s cnf 0)
33 (31+2) 13 (13+0)
s cnf 0 (s cnf 0)
238 (236+2)
x145.3.qdimacs.gz 800 (798+2) 800 (799+1) 20 (20+0)
s cnf 0 (s cnf 0)
30 (28+2) 29 (29+0)
s cnf 0 (s cnf 0)
264 (262+2)
x145.4.qdimacs.gz 800 (798+2) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
34 (32+2) 18 (18+0)
s cnf 0 (s cnf 0)
287 (285+2)
x145.6.qdimacs.gz 800 (798+2) 800 (800+0) 464 (463+0)
s cnf 0 (s cnf 0)
31 (29+2) 40 (40+0)
s cnf 0 (s cnf 0)
232 (230+2)
x15.12.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 15 113)
x15.3.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 15 87)
x15.5.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)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 15 98)
x15.9.qdimacs.gz 2 (2+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)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 15 105)
x150.2.qdimacs.gz 800 (798+2) 800 (800+0) 106 (105+0)
s cnf 0 (s cnf 0)
33 (31+2) 6 (6+0)
s cnf 0 (s cnf 0)
277 (275+2)
x150.5.qdimacs.gz 800 (798+2) 800 (800+0) 6 (6+0)
s cnf 0 (s cnf 0)
29 (27+2) 121 (121+0)
s cnf 0 (s cnf 0)
290 (288+2)
x160.17.qdimacs.gz 800 (798+2) 800 (800+0) 800 (799+1) 33 (31+2) 41 (41+0)
s cnf 0 (s cnf 0)
332 (330+2)
x165.19.qdimacs.gz 800 (798+2) 800 (800+1) 800 (799+1) 36 (34+2) 170 (170+0)
s cnf 0 (s cnf 0)
364 (362+2)
x170.10.qdimacs.gz 800 (798+2) 800 (799+1) 587 (586+1)
s cnf 0 (s cnf 0)
34 (32+2) 83 (83+0)
s cnf 0 (s cnf 0)
417 (416+2)
x170.12.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 38 (35+2) 137 (137+0)
s cnf 0 (s cnf 0)
351 (349+2)
x170.13.qdimacs.gz 800 (798+2) 800 (800+0) 32 (32+0)
s cnf 0 (s cnf 0)
39 (37+2) 356 (356+0)
s cnf 0 (s cnf 0)
336 (334+2)
x170.16.qdimacs.gz 800 (798+2) 800 (800+1) 8 (8+0)
s cnf 0 (s cnf 0)
42 (40+2) 43 (43+0)
s cnf 0 (s cnf 0)
344 (342+2)
x170.7.qdimacs.gz 800 (798+2) 800 (800+1) 5 (5+0)
s cnf 0 (s cnf 0)
43 (41+2) 490 (490+0)
s cnf 0 (s cnf 0)
303 (301+2)
x175.11.qdimacs.gz 800 (798+2) 800 (800+0) 56 (56+0)
s cnf 0 (s cnf 0)
31 (29+3) 136 (136+0)
s cnf 0 (s cnf 0)
347 (345+2)
x175.16.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 40 (38+2) 18 (18+0)
s cnf 0 (s cnf 0)
369 (368+2)
x175.17.qdimacs.gz 800 (798+2) 800 (799+1) 37 (37+0)
s cnf 0 (s cnf 0)
36 (34+2) 196 (196+0)
s cnf 0 (s cnf 0)
360 (358+2)
x175.5.qdimacs.gz 800 (798+2) 800 (800+1) 10 (10+0)
s cnf 0 (s cnf 0)
42 (40+2) 404 (404+0)
s cnf 0 (s cnf 0)
332 (330+2)
x180.14.qdimacs.gz 800 (798+2) 800 (800+0) 800 (800+1) 74 (70+4) 7 (7+0)
s cnf 0 (s cnf 0)
356 (354+2)
x180.16.qdimacs.gz 800 (798+2) 800 (799+1) 213 (213+0)
s cnf 0 (s cnf 0)
35 (33+2) 800 (800+0) 491 (488+3)
x180.5.qdimacs.gz 800 (798+2) 800 (800+1) 30 (30+0)
s cnf 0 (s cnf 0)
40 (38+2) 128 (128+0)
s cnf 0 (s cnf 0)
457 (454+3)
x185.3.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 37 (35+2) 800 (800+0) 287 (285+2)
x185.6.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 38 (36+2) 305 (305+0)
s cnf 0 (s cnf 0)
419 (417+2)
x185.7.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 44 (42+2) 384 (384+0)
s cnf 0 (s cnf 0)
360 (358+2)
x190.2.qdimacs.gz 800 (798+2) 800 (799+1) 8 (8+0)
s cnf 0 (s cnf 0)
44 (41+2) 800 (800+0) 386 (385+2)
x195.12.qdimacs.gz 800 (798+2) 800 (800+1) 472 (472+0)
s cnf 0 (s cnf 0)
44 (42+2) 518 (517+0)
s cnf 0 (s cnf 0)
485 (482+3)
x195.9.qdimacs.gz 800 (798+2) 800 (799+1) 566 (566+1)
s cnf 0 (s cnf 0)
40 (38+2) 800 (800+0) 562 (559+2)
x20.18.qdimacs.gz 8 (8+0)
s cnf 0 (s cnf 0)
25 (25+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 20 247)
x20.3.qdimacs.gz 11 (11+0)
s cnf 0 (s cnf 0)
11 (10+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s UNSATISFIABLE)
0 (0+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0 20 222)
x20.5.qdimacs.gz 23 (22+0)
s cnf 1 (s cnf 1)
12 (12+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s SATISFIABLE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 20 221)
x200.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 41 (38+2) 122 (122+0)
s cnf 0 (s cnf 0)
284 (282+2)
x205.15.qdimacs.gz 669 (668+2) 800 (799+1) 800 (799+1) 49 (47+2) 800 (800+0) 309 (308+2)
x210.0.qdimacs.gz 800 (798+2) 800 (799+1) 49 (49+0)
s cnf 0 (s cnf 0)
28 (26+2) 800 (800+0) 290 (288+2)
x210.1.qdimacs.gz 800 (798+2) 800 (799+1) 17 (17+0)
s cnf 0 (s cnf 0)
40 (38+2) 800 (800+0) 328 (326+2)
x210.15.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 35 (32+2) 800 (800+0) 249 (247+2)
x210.3.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 43 (41+2) 63 (63+0)
s cnf 0 (s cnf 0)
328 (326+2)
x210.7.qdimacs.gz 800 (798+2) 800 (799+1) 84 (84+0)
s cnf 0 (s cnf 0)
26 (24+2) 800 (800+0) 326 (324+2)
x215.10.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 42 (39+2) 800 (800+0) 241 (239+2)
x215.18.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 58 (56+2) 800 (800+0) 238 (235+2)
x215.5.qdimacs.gz 609 (608+2) 800 (799+1) 388 (388+0)
s cnf 0 (s cnf 0)
45 (43+2) 800 (800+0) 309 (307+2)
x220.12.qdimacs.gz 534 (532+2) 800 (799+1) 800 (799+1) 30 (28+2) 800 (800+0) 493 (491+2)
x220.14.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 43 (41+2) 800 (800+0) 293 (290+3)
x225.2.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 38 (36+2) 800 (800+0) 411 (409+2)
x230.11.qdimacs.gz 752 (750+2) 800 (799+1) 800 (799+1) 39 (37+2) 800 (800+0) 273 (271+2)
x230.14.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 39 (37+2) 800 (800+0) 266 (263+3)
x230.16.qdimacs.gz 800 (798+3) 800 (799+1) 800 (799+1) 38 (36+2) 800 (800+0) 266 (263+3)
x230.3.qdimacs.gz 783 (781+2) 800 (799+1) 800 (799+1) 37 (35+2) 800 (800+0) 265 (263+2)
x235.12.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 27 (25+2) 800 (800+0) 520 (518+2)
x235.19.qdimacs.gz 733 (731+2) 800 (799+1) 800 (799+1) 29 (27+2) 800 (800+0) 432 (430+2)
x240.14.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 42 (40+2) 800 (800+0) 290 (287+3)
x240.5.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 37 (35+2) 800 (800+0) 281 (279+2)
x240.7.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 40 (38+2) 800 (800+0) 284 (282+2)
x245.1.qdimacs.gz 800 (798+2) 800 (799+1) 78 (78+0)
s cnf 0 (s cnf 0)
28 (26+2) 800 (800+0) 425 (423+2)
x245.10.qdimacs.gz 800 (798+2) 800 (799+1) 98 (98+0)
s cnf 0 (s cnf 0)
37 (35+2) 800 (800+0) 301 (299+3)
x245.19.qdimacs.gz 516 (514+2) 800 (799+1) 800 (799+1) 43 (41+2) 800 (800+0) 351 (348+3)
x245.6.qdimacs.gz 670 (668+2) 800 (799+1) 800 (799+1) 34 (31+2) 800 (800+0) 439 (437+2)
x25.15.qdimacs.gz 57 (56+0)
s cnf 0 (s cnf 0)
109 (109+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
58 (57+1)
s cnf 0 (s cnf 0 616 3035)
x25.16.qdimacs.gz 243 (242+1)
s cnf 1 (s cnf 1)
102 (101+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
45 (44+1)
s cnf 1 (s cnf 1 627 3026)
x25.17.qdimacs.gz 54 (53+0)
s cnf 0 (s cnf 0)
157 (156+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
6 (6+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
55 (54+1)
s cnf 0 (s cnf 0 609 2844)
x25.4.qdimacs.gz 133 (133+1)
s cnf 0 (s cnf 0)
79 (79+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
27 (27+0)
s cnf 0 (s cnf 0 589 2802)
x25.6.qdimacs.gz 147 (147+1)
s cnf 0 (s cnf 0)
103 (103+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
31 (31+0)
s cnf 0 (s cnf 0 632 3082)
x250.12.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 51 (49+2) 800 (800+0) 298 (295+3)
x250.16.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 40 (38+2) 800 (800+0) 474 (472+2)
x30.13.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 1 (s cnf 1)
41 (40+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
107 (105+2)
x30.6.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 1 (s cnf 1)
23 (23+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
113 (111+2)
x300.11.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 39 (37+2) 800 (800+0) 592 (590+2)
x300.15.qdimacs.gz 669 (667+2) 800 (799+1) 800 (799+1) 61 (58+2) 800 (800+0) 434 (433+2)
x300.16.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 45 (43+2) 800 (800+0) 500 (498+2)
x300.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 47 (44+2) 800 (800+0) 562 (560+2)
x35.12.qdimacs.gz 800 (798+2) 800 (800+1) 0 (0+0)
s cnf 0 (s cnf 0)
232 (230+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
x35.13.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 0 (s cnf 0)
471 (468+3)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
103 (101+2)
x35.16.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 0 (s cnf 0)
276 (274+2)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
125 (123+2)
x35.5.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 0 (s cnf 0)
145 (143+1)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
88 (86+2)
x350.14.qdimacs.gz 800 (799+2) 800 (799+1) 800 (799+1) 36 (33+2) 800 (800+0) 780 (778+2)
x350.2.qdimacs.gz 684 (682+2) 800 (799+1) 800 (799+1) 37 (35+2) 800 (800+0) 793 (791+2)
x350.7.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 69 (66+2) 800 (800+0) 444 (441+2)
x350.8.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 36 (34+2) 800 (800+0) 613 (611+2)
x40.0.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
76 (74+2) 0 (0+0)
s cnf 0 (s cnf 0)
120 (117+2)
x40.18.qdimacs.gz 800 (799+2) 800 (800+0) 0 (0+0)
s cnf 1 (s cnf 1)
47 (45+2) 0 (0+0)
s cnf 1 (s cnf 1)
113 (110+2)
x40.19.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
63 (61+2) 0 (0+0)
s cnf 0 (s cnf 0)
108 (106+2)
x40.3.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
88 (85+2) 0 (0+0)
s cnf 0 (s cnf 0)
117 (115+2)
x40.5.qdimacs.gz 800 (798+2) 800 (799+1) 0 (0+0)
s cnf 0 (s cnf 0)
47 (45+2) 0 (0+0)
s cnf 0 (s cnf 0)
87 (86+2)
x400.14.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 26 (24+2) 800 (800+0) 743 (741+2)
x400.15.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 31 (29+2) 800 (800+0) 722 (720+2)
x400.16.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 29 (27+2) 800 (800+0) 800 (798+2)
x400.6.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 43 (40+2) 800 (800+0) 659 (657+2)
x400.8.qdimacs.gz 670 (668+2) 800 (799+1) 800 (799+1) 46 (43+2) 800 (800+0) 690 (689+2)
x45.17.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
62 (60+2) 0 (0+0)
s cnf 0 (s cnf 0)
110 (108+2)
x45.18.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
52 (50+2) 0 (0+0)
s cnf 0 (s cnf 0)
137 (135+2)
x45.7.qdimacs.gz 800 (799+2) 800 (800+0) 1 (1+0)
s cnf 1 (s cnf 1)
39 (37+2) 0 (0+0)
s cnf 1 (s cnf 1)
132 (130+2)
x45.8.qdimacs.gz 800 (798+2) 800 (800+0) 1 (0+0)
s cnf 0 (s cnf 0)
60 (57+2) 0 (0+0)
s cnf 0 (s cnf 0)
113 (111+2)
x50.10.qdimacs.gz 800 (799+1) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
41 (39+2) 5 (5+0)
s cnf 0 (s cnf 0)
117 (114+2)
x50.17.qdimacs.gz 800 (799+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
43 (41+2) 2 (2+0)
s cnf 0 (s cnf 0)
85 (83+2)
x50.18.qdimacs.gz 800 (799+1) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
62 (59+2) 0 (0+0)
s cnf 0 (s cnf 0)
138 (135+2)
x50.5.qdimacs.gz 800 (798+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
62 (60+2) 4 (4+0)
s cnf 0 (s cnf 0)
126 (124+2)
x55.13.qdimacs.gz 800 (799+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
57 (54+2) 0 (0+0)
s cnf 0 (s cnf 0)
102 (99+2)
x55.7.qdimacs.gz 800 (798+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
37 (35+2) 1 (1+0)
s cnf 0 (s cnf 0)
100 (98+2)
x60.13.qdimacs.gz 800 (799+1) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
36 (34+2) 1 (1+0)
s cnf 0 (s cnf 0)
178 (176+2)
x60.15.qdimacs.gz 800 (798+2) 800 (800+0) 27 (27+0)
s cnf 0 (s cnf 0)
59 (57+2) 3 (3+0)
s cnf 0 (s cnf 0)
108 (105+2)
x60.17.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
61 (58+2) 0 (0+0)
s cnf 0 (s cnf 0)
174 (172+2)
x60.5.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
41 (39+2) 0 (0+0)
s cnf 0 (s cnf 0)
147 (145+2)
x65.12.qdimacs.gz 800 (799+1) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
43 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
123 (121+3)
x65.16.qdimacs.gz 800 (799+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
45 (43+2) 0 (0+0)
s cnf 0 (s cnf 0)
150 (147+2)
x65.17.qdimacs.gz 800 (799+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
41 (39+2) 2 (2+0)
s cnf 0 (s cnf 0)
153 (151+2)
x65.6.qdimacs.gz 800 (799+1) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
42 (40+2) 0 (0+0)
s cnf 0 (s cnf 0)
157 (154+3)
x70.10.qdimacs.gz 800 (799+1) 800 (800+0) 5 (5+0)
s cnf 0 (s cnf 0)
43 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
121 (119+2)
x70.15.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
44 (42+2) 0 (0+0)
s cnf 0 (s cnf 0)
158 (155+2)
x70.19.qdimacs.gz 800 (799+2) 800 (800+0) 26 (26+0)
s cnf 0 (s cnf 0)
43 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
187 (184+2)
x70.2.qdimacs.gz 800 (798+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
46 (43+2) 0 (0+0)
s cnf 0 (s cnf 0)
150 (147+3)
x70.3.qdimacs.gz 800 (798+2) 800 (800+0) 39 (39+0)
s cnf 0 (s cnf 0)
42 (39+2) 0 (0+0)
s cnf 0 (s cnf 0)
122 (119+3)
x70.9.qdimacs.gz 800 (799+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
49 (47+3) 0 (0+0)
s cnf 0 (s cnf 0)
146 (144+2)
x75.13.qdimacs.gz 800 (799+2) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
62 (59+3) 1 (1+0)
s cnf 0 (s cnf 0)
111 (109+2)
x75.16.qdimacs.gz 800 (799+1) 800 (800+0) 7 (7+0)
s cnf 0 (s cnf 0)
66 (63+2) 1 (1+0)
s cnf 0 (s cnf 0)
271 (269+2)
x75.19.qdimacs.gz 800 (799+1) 800 (800+0) 44 (44+0)
s cnf 0 (s cnf 0)
62 (60+2) 1 (1+0)
s cnf 0 (s cnf 0)
179 (177+3)
x75.7.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
47 (45+2) 0 (0+0)
s cnf 0 (s cnf 0)
145 (142+3)
x75.9.qdimacs.gz 800 (799+2) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
53 (50+2) 7 (7+0)
s cnf 0 (s cnf 0)
189 (186+3)
x80.17.qdimacs.gz 800 (799+2) 800 (800+0) 3 (3+0)
s cnf 0 (s cnf 0)
44 (42+2) 0 (0+0)
s cnf 0 (s cnf 0)
170 (169+1)
x85.11.qdimacs.gz 800 (799+1) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
44 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
226 (224+2)
x85.18.qdimacs.gz 800 (798+2) 800 (800+0) 3 (3+0)
s cnf 0 (s cnf 0)
50 (48+3) 0 (0+0)
s cnf 0 (s cnf 0)
145 (142+3)
x85.2.qdimacs.gz 800 (799+1) 800 (800+0) 1 (1+0)
s cnf 0 (s cnf 0)
43 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
222 (220+2)
x85.6.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
41 (38+3) 1 (1+0)
s cnf 0 (s cnf 0)
214 (212+2)
x85.7.qdimacs.gz 800 (799+2) 800 (800+0) 0 (0+0)
s cnf 0 (s cnf 0)
45 (43+3) 0 (0+0)
s cnf 0 (s cnf 0)
150 (147+3)
x90.0.qdimacs.gz 800 (799+1) 800 (800+0) 21 (21+0)
s cnf 0 (s cnf 0)
44 (42+2) 1 (1+0)
s cnf 0 (s cnf 0)
144 (141+3)
x90.14.qdimacs.gz 800 (799+2) 800 (800+0) 3 (3+0)
s cnf 0 (s cnf 0)
40 (38+2) 1 (1+0)
s cnf 0 (s cnf 0)
146 (143+3)
x90.19.qdimacs.gz 800 (799+1) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
43 (41+2) 0 (0+0)
s cnf 0 (s cnf 0)
150 (147+2)
x95.10.qdimacs.gz 800 (799+1) 800 (800+0) 2 (2+0)
s cnf 0 (s cnf 0)
45 (43+2) 0 (0+0)
s cnf 0 (s cnf 0)
153 (151+3)
x95.2.qdimacs.gz 800 (799+1) 800 (800+0) 13 (13+0)
s cnf 0 (s cnf 0)
43 (41+2) 1 (1+0)
s cnf 0 (s cnf 0)
218 (217+2)
TOTAL solved: 12
wins: 0
solved: 12
wins: 0
solved: 107
wins: 63
solved: 18
wins: 7
solved: 107
wins: 86
solved: 12
wins: 7
Strategic_Companies_sample_gq.ts Strategic_Companies_sample_gqc.ts Strategic_Companies_sample_nq72.ts Strategic_Companies_sample_quantor.ts Strategic_Companies_sample_rareqsuuh3pb.ts Strategic_Companies_sample_znenofex.ts