Problem Gent-Rowley_gq.ts Gent-Rowley_gqc.ts Gent-Rowley_nq72.ts Gent-Rowley_quantor.ts Gent-Rowley_rareqsuuh3pb.ts Gent-Rowley_znenofex.ts
cf_2_2x7_r_.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
4 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
6 (4+2)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
44 (43+2)
cf_2_2x8_r_.qdimacs.gz 4 (4+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)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
41 (39+2)
cf_2_3x6_r_.qdimacs.gz 4 (4+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)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
75 (74+2)
cf_2_3x7_r_.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 0 (0+0)
s cnf 1 (s cnf 1)
60 (59+1)
cf_2_3x8_r_.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
29 (28+2)
cf_2_3x9_r_.qdimacs.gz 47 (46+1)
s cnf 1 (s cnf 1)
47 (46+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 1 (1+0)
s cnf 1 (s cnf 1)
38 (36+2)
cf_2_4x5_r_.qdimacs.gz 4 (4+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)
13 (11+2) 1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2)
cf_2_4x6_r_.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 1 (1+0)
s cnf 1 (s cnf 1)
10 (9+2)
cf_2_4x7_r_.qdimacs.gz 8 (8+0)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
10 (8+2)
cf_2_4x8_r_.qdimacs.gz 11 (11+0)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 3 (3+0)
s cnf 1 (s cnf 1)
10 (8+2)
cf_2_4x9_r_.qdimacs.gz 56 (55+1)
s cnf 1 (s cnf 1)
56 (55+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 3 (3+0)
s cnf 1 (s cnf 1)
10 (8+2)
cf_2_5x4_r_.qdimacs.gz 5 (4+0)
s cnf 1 (s cnf 1)
5 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
33 (32+2)
cf_2_5x5_r_.qdimacs.gz 7 (7+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
135 (133+2)
cf_2_5x6_r_.qdimacs.gz 10 (9+0)
s cnf 1 (s cnf 1)
10 (9+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (11+2) 2 (2+0)
s cnf 1 (s cnf 1)
11 (9+2)
cf_2_5x7_r_.qdimacs.gz 42 (41+1)
s cnf 1 (s cnf 1)
42 (41+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 4 (4+0)
s cnf 1 (s cnf 1)
94 (92+1)
cf_2_5x8_r_.qdimacs.gz 48 (47+1)
s cnf 1 (s cnf 1)
48 (47+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 7 (7+0)
s cnf 1 (s cnf 1)
11 (9+2)
cf_2_5x9_r_.qdimacs.gz 69 (67+1)
s cnf 1 (s cnf 1)
69 (67+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 10 (10+0)
s cnf 1 (s cnf 1)
22 (21+2)
cf_2_6x3_r_.qdimacs.gz 4 (4+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)
12 (10+2) 1 (1+0)
s cnf 1 (s cnf 1)
40 (38+2)
cf_2_6x4_r_.qdimacs.gz 7 (7+0)
s cnf 1 (s cnf 1)
7 (7+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 1 (1+0)
s cnf 1 (s cnf 1)
11 (9+2)
cf_2_6x5_r_.qdimacs.gz 13 (12+0)
s cnf 1 (s cnf 1)
13 (12+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 3 (3+0)
s cnf 1 (s cnf 1)
10 (9+2)
cf_2_6x6_r_.qdimacs.gz 44 (43+1)
s cnf 1 (s cnf 1)
44 (43+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 64 (62+3)
s cnf 1 (s cnf 1)
10 (9+2)
cf_2_6x7_r_.qdimacs.gz 57 (56+1)
s cnf 1 (s cnf 1)
57 (56+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 11 (11+0)
s cnf 1 (s cnf 1)
44 (42+2)
cf_2_6x8_r_.qdimacs.gz 58 (57+1)
s cnf 1 (s cnf 1)
58 (57+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 16 (16+0)
s cnf 1 (s cnf 1)
31 (30+2)
cf_2_6x9_r_.qdimacs.gz 83 (82+1)
s cnf 1 (s cnf 1)
83 (82+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 26 (26+1)
s cnf 1 (s cnf 1)
30 (29+2)
cf_2_7x3_r_.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 2 (1+0)
s cnf 1 (s cnf 1)
27 (25+2)
cf_2_7x4_r_.qdimacs.gz 12 (11+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)
16 (13+2) 3 (3+0)
s cnf 1 (s cnf 1)
11 (9+2)
cf_2_7x5_r_.qdimacs.gz 44 (43+1)
s cnf 1 (s cnf 1)
44 (43+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 7 (7+0)
s cnf 1 (s cnf 1)
28 (26+2)
cf_2_7x6_r_.qdimacs.gz 55 (54+1)
s cnf 1 (s cnf 1)
55 (54+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 14 (14+0)
s cnf 1 (s cnf 1)
22 (21+2)
cf_2_7x7_r_.qdimacs.gz 63 (62+1)
s cnf 1 (s cnf 1)
63 (62+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 406 (392+14)
s cnf 1 (s cnf 1)
44 (42+2)
cf_2_7x8_r_.qdimacs.gz 81 (79+1)
s cnf 1 (s cnf 1)
81 (80+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 37 (36+1)
s cnf 1 (s cnf 1)
32 (30+2)
cf_2_7x9_r_.qdimacs.gz 106 (105+1)
s cnf 1 (s cnf 1)
107 (105+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 800 (779+21) 23 (21+2)
cf_2_8x3_r_.qdimacs.gz 15 (15+0)
s cnf 1 (s cnf 1)
15 (14+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 3 (3+0)
s cnf 1 (s cnf 1)
11 (9+2)
cf_2_8x4_r_.qdimacs.gz 15 (15+0)
s cnf 1 (s cnf 1)
15 (15+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 8 (8+0)
s cnf 1 (s cnf 1)
12 (10+2)
cf_2_8x5_r_.qdimacs.gz 64 (63+1)
s cnf 1 (s cnf 1)
64 (63+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 17 (16+0)
s cnf 1 (s cnf 1)
22 (20+2)
cf_2_8x6_r_.qdimacs.gz 111 (110+1)
s cnf 1 (s cnf 1)
111 (110+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 28 (27+1)
s cnf 1 (s cnf 1)
23 (21+2)
cf_2_8x7_r_.qdimacs.gz 104 (103+1)
s cnf 1 (s cnf 1)
104 (103+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
13 (12+2) 49 (48+1)
s cnf 1 (s cnf 1)
21 (19+2)
cf_2_8x8_r_.qdimacs.gz 126 (125+1)
s cnf 1 (s cnf 1)
126 (125+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 800 (780+20) 17 (16+2)
cf_2_8x9_r_.qdimacs.gz 177 (176+2)
s cnf 1 (s cnf 1)
178 (176+2)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
16 (14+2) 104 (103+2)
s cnf 1 (s cnf 1)
19 (17+2)
cf_2_9x2_r_.qdimacs.gz 6 (6+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
21 (19+2)
cf_2_9x3_r_.qdimacs.gz 11 (11+0)
s cnf 1 (s cnf 1)
11 (11+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
14 (12+2) 8 (8+0)
s cnf 1 (s cnf 1)
16 (14+2)
cf_2_9x4_r_.qdimacs.gz 64 (63+1)
s cnf 1 (s cnf 1)
65 (63+1)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
15 (13+2) 17 (17+0)
s cnf 1 (s cnf 1)
25 (23+2)
cf_2_9x5_r_.qdimacs.gz 67 (66+1)
s cnf 1 (s cnf 1)
67 (65+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
16 (14+2) 34 (34+1)
s cnf 1 (s cnf 1)
72 (71+2)
cf_2_9x6_r_.qdimacs.gz 118 (116+1)
s cnf 1 (s cnf 1)
118 (117+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2) 64 (63+1)
s cnf 1 (s cnf 1)
21 (19+2)
cf_2_9x7_r_.qdimacs.gz 119 (118+1)
s cnf 1 (s cnf 1)
119 (118+1)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
15 (13+2) 88 (86+2)
s cnf 1 (s cnf 1)
20 (18+2)
cf_2_9x8_r_.qdimacs.gz 130 (129+1)
s cnf 1 (s cnf 1)
130 (128+1)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
17 (15+2) 142 (140+2)
s cnf 1 (s cnf 1)
24 (23+2)
cf_2_9x9_r_.qdimacs.gz 248 (246+2)
s cnf 1 (s cnf 1)
248 (246+2)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
18 (16+2) 196 (192+3)
s cnf 1 (s cnf 1)
12 (10+2)
cf_3_3x4_r_.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
42 (26+15)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
51 (49+2)
cf_3_3x5_r_.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
11 (9+2) 4 (3+0)
s cnf 0 (s cnf 0)
40 (39+2)
cf_3_3x6_r_.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 58 (55+3)
s cnf 0 (s cnf 0)
23 (21+2)
cf_3_3x7_r_.qdimacs.gz 14 (13+0)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 115 (109+6)
s cnf 0 (s cnf 0)
45 (44+2)
cf_3_3x8_r_.qdimacs.gz 29 (29+0)
s cnf 0 (s cnf 0)
30 (29+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
12 (11+2) 800 (752+48) 69 (68+2)
cf_3_3x9_r_.qdimacs.gz 141 (140+1)
s cnf 0 (s cnf 0)
128 (127+1)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
13 (11+2) 800 (745+55) 41 (40+2)
cf_3_4x3_r_.qdimacs.gz 3 (3+0)
s cnf 0 (s cnf 0)
3 (3+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
14 (12+2) 1 (1+0)
s cnf 0 (s cnf 0)
34 (32+2)
cf_3_4x4_r_.qdimacs.gz 10 (9+0)
s cnf 1 (s cnf 1)
10 (9+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
13 (11+2) 20 (19+1)
s cnf 1 (s cnf 1)
22 (20+2)
cf_3_4x5_r_.qdimacs.gz 23 (23+0)
s cnf 1 (s cnf 1)
23 (23+0)
s cnf 1 (s cnf 1)
12 (12+0)
s cnf 1 (s cnf 1)
11 (9+2) 800 (746+54) 37 (35+2)
cf_3_4x6_r_.qdimacs.gz 63 (62+1)
s cnf 1 (s cnf 1)
63 (63+1)
s cnf 1 (s cnf 1)
95 (95+0)
s cnf 1 (s cnf 1)
13 (11+2) 800 (752+48) 56 (54+2)
cf_3_4x7_r_.qdimacs.gz 138 (137+1)
s cnf 1 (s cnf 1)
138 (137+1)
s cnf 1 (s cnf 1)
335 (333+2) 12 (10+2) 800 (744+56) 10 (9+2)
cf_3_4x8_r_.qdimacs.gz 201 (199+2)
s cnf 1 (s cnf 1)
201 (199+2)
s cnf 1 (s cnf 1)
347 (345+2) 12 (11+2) 800 (758+42) 16 (15+2)
cf_3_4x9_r_.qdimacs.gz 519 (515+3) 520 (516+3) 251 (249+2) 14 (12+2) 800 (767+33) 11 (10+2)
cf_3_5x3_r_.qdimacs.gz 7 (7+0)
s cnf 0 (s cnf 0)
7 (7+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
11 (9+2) 31 (29+2)
s cnf 0 (s cnf 0)
51 (49+2)
cf_3_5x4_r_.qdimacs.gz 40 (39+0)
s cnf 0 (s cnf 0)
40 (39+0)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
11 (10+2) 800 (742+58) 32 (31+2)
cf_3_5x5_r_.qdimacs.gz 305 (303+2)
s cnf 1 (s cnf 1)
305 (304+1)
s cnf 1 (s cnf 1)
248 (247+1)
s cnf 1 (s cnf 1)
11 (10+2) 800 (751+49) 36 (34+2)
cf_3_5x6_r_.qdimacs.gz 571 (569+3) 572 (569+3) 330 (329+2) 12 (11+2) 800 (766+34) 10 (8+2)
cf_3_5x7_r_.qdimacs.gz 510 (507+3) 511 (508+3) 258 (257+2) 13 (11+2) 800 (765+35) 23 (21+2)
cf_3_5x8_r_.qdimacs.gz 520 (517+2) 521 (518+2) 291 (290+2) 13 (11+2) 800 (767+33) 29 (27+2)
cf_3_5x9_r_.qdimacs.gz 678 (674+4) 679 (675+4) 294 (292+2) 15 (13+2) 800 (776+24) 24 (23+2)
cf_3_6x3_r_.qdimacs.gz 30 (30+0)
s cnf 0 (s cnf 0)
30 (30+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
12 (10+2) 800 (749+51) 25 (23+2)
cf_3_6x4_r_.qdimacs.gz 800 (797+3) 800 (797+3) 143 (142+1)
s cnf 1 (s cnf 1)
12 (10+2) 800 (746+54) 10 (8+2)
cf_3_6x5_r_.qdimacs.gz 800 (796+4) 800 (796+4) 355 (353+2) 11 (9+2) 800 (753+47) 11 (10+2)
cf_3_6x6_r_.qdimacs.gz 754 (750+4) 771 (767+4) 327 (326+2) 13 (11+2) 800 (765+35) 44 (43+2)
cf_3_6x7_r_.qdimacs.gz 757 (753+4) 772 (769+4) 295 (294+2) 14 (12+2) 800 (777+23) 77 (73+4)
cf_3_6x8_r_.qdimacs.gz 797 (793+4) 800 (796+4) 209 (207+1) 14 (12+2) 800 (775+25) 31 (29+2)
cf_3_6x9_r_.qdimacs.gz 800 (797+3) 800 (797+3) 315 (314+1) 13 (11+2) 800 (779+21) 40 (38+2)
cf_3_7x3_r_.qdimacs.gz 509 (507+3) 528 (525+3) 17 (17+0)
s cnf 0 (s cnf 0)
13 (12+2) 800 (747+53) 34 (32+2)
cf_3_7x4_r_.qdimacs.gz 762 (760+2) 786 (784+2) 419 (417+2) 11 (9+2) 800 (764+36) 11 (9+2)
cf_3_7x5_r_.qdimacs.gz 688 (684+4) 704 (700+4) 373 (372+2) 13 (11+2) 800 (771+29) 24 (22+2)
cf_3_7x6_r_.qdimacs.gz 800 (796+4) 800 (796+4) 256 (255+1) 15 (13+2) 800 (773+27) 32 (30+2)
cf_3_7x7_r_.qdimacs.gz 800 (796+4) 800 (796+4) 282 (281+1) 16 (14+2) 800 (776+24) 47 (45+2)
cf_3_7x8_r_.qdimacs.gz 800 (796+4) 800 (796+4) 285 (283+2) 13 (11+2) 800 (780+20) 47 (45+2)
cf_3_7x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 306 (304+1) 13 (11+2) 800 (782+18) 28 (26+2)
cf_3_8x3_r_.qdimacs.gz 800 (797+3) 800 (797+3) 528 (526+2) 13 (11+2) 800 (744+56) 11 (9+2)
cf_3_8x4_r_.qdimacs.gz 673 (669+4) 744 (739+4) 295 (293+2) 14 (12+2) 800 (758+42) 120 (119+2)
cf_3_8x5_r_.qdimacs.gz 715 (712+4) 772 (769+4) 222 (221+1) 11 (9+2) 800 (766+34) 43 (41+2)
cf_3_8x6_r_.qdimacs.gz 800 (796+4) 800 (796+4) 261 (259+2) 12 (11+2) 800 (779+21) 25 (23+2)
cf_3_8x7_r_.qdimacs.gz 800 (796+4) 800 (796+4) 242 (241+2) 14 (12+2) 800 (781+19) 28 (26+2)
cf_3_8x8_r_.qdimacs.gz 800 (796+4) 800 (796+4) 292 (290+1) 14 (12+2) 800 (782+18) 22 (21+2)
cf_3_8x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 291 (290+1) 15 (13+2) 800 (785+15) 27 (26+2)
cf_3_9x3_r_.qdimacs.gz 694 (692+3) 739 (736+3) 420 (418+2) 14 (12+2) 800 (747+53) 15 (13+2)
cf_3_9x4_r_.qdimacs.gz 624 (620+4) 656 (653+4) 271 (269+2) 11 (9+2) 800 (779+21) 47 (45+2)
cf_3_9x5_r_.qdimacs.gz 730 (726+4) 755 (751+4) 191 (189+2) 15 (13+2) 800 (778+22) 76 (74+2)
cf_3_9x6_r_.qdimacs.gz 800 (797+3) 800 (797+3) 305 (303+2) 14 (13+2) 800 (779+21) 20 (19+2)
cf_3_9x7_r_.qdimacs.gz 800 (796+4) 800 (796+4) 244 (242+1) 17 (15+2) 800 (782+18) 27 (26+2)
cf_3_9x8_r_.qdimacs.gz 800 (796+4) 800 (796+4) 229 (228+1) 14 (12+2) 800 (788+12) 25 (23+2)
cf_3_9x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 234 (233+1) 19 (17+2) 800 (788+12) 11 (10+2)
cf_4_4x4_r_.qdimacs.gz 5 (5+0)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
12 (10+2) 8 (7+0)
s cnf 0 (s cnf 0)
23 (21+2)
cf_4_4x5_r_.qdimacs.gz 94 (94+1)
s cnf 0 (s cnf 0)
99 (98+1)
s cnf 0 (s cnf 0)
5 (5+0)
s cnf 0 (s cnf 0)
13 (11+2) 800 (737+63) 23 (21+2)
cf_4_4x6_r_.qdimacs.gz 800 (798+2) 800 (798+2) 105 (105+1)
s cnf 0 (s cnf 0)
12 (10+2) 800 (738+62) 33 (31+2)
cf_4_4x7_r_.qdimacs.gz 800 (798+2) 800 (798+2) 387 (385+2) 13 (11+2) 800 (742+58) 79 (78+2)
cf_4_4x8_r_.qdimacs.gz 556 (554+2) 572 (570+2) 280 (278+2) 11 (9+2) 800 (742+58) 14 (12+2)
cf_4_4x9_r_.qdimacs.gz 565 (561+4) 593 (589+4) 235 (234+2) 13 (10+2) 800 (744+56) 12 (10+2)
cf_4_5x4_r_.qdimacs.gz 376 (375+2)
s cnf 0 (s cnf 0)
389 (388+2)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
13 (11+2) 800 (742+58) 40 (39+2)
cf_4_5x5_r_.qdimacs.gz 723 (720+3) 747 (745+3) 558 (556+2) 11 (9+2) 800 (740+60) 58 (57+2)
cf_4_5x6_r_.qdimacs.gz 635 (633+2) 652 (649+2) 309 (307+2) 13 (11+2) 800 (749+51) 15 (13+2)
cf_4_5x7_r_.qdimacs.gz 477 (474+3) 479 (475+3) 185 (184+1) 14 (12+2) 800 (743+57) 62 (60+2)
cf_4_5x8_r_.qdimacs.gz 437 (434+3) 448 (444+3) 220 (219+2) 13 (11+2) 800 (747+53) 47 (45+2)
cf_4_5x9_r_.qdimacs.gz 467 (464+3) 468 (465+3) 160 (159+1) 14 (12+2) 800 (762+38) 20 (18+2)
cf_4_6x4_r_.qdimacs.gz 800 (797+3) 800 (797+3) 435 (433+2)
s cnf 0 (s cnf 0)
12 (10+2) 800 (742+58) 46 (44+2)
cf_4_6x5_r_.qdimacs.gz 575 (573+2) 622 (619+2) 281 (279+2) 14 (12+2) 800 (754+46) 10 (8+2)
cf_4_6x6_r_.qdimacs.gz 461 (458+3) 498 (495+3) 199 (197+2) 14 (12+2) 800 (746+54) 41 (39+2)
cf_4_6x7_r_.qdimacs.gz 414 (411+2) 435 (433+2) 191 (189+2) 13 (11+2) 800 (766+34) 48 (46+2)
cf_4_6x8_r_.qdimacs.gz 450 (448+3) 459 (456+3) 181 (179+1) 13 (11+2) 800 (756+44) 35 (33+2)
cf_4_6x9_r_.qdimacs.gz 598 (595+3) 614 (611+3) 174 (172+1) 13 (11+2) 800 (781+20) 32 (30+2)
cf_4_7x4_r_.qdimacs.gz 655 (652+3) 682 (679+3) 302 (300+2) 13 (11+2) 800 (746+54) 11 (9+2)
cf_4_7x5_r_.qdimacs.gz 485 (481+3) 497 (493+3) 179 (177+2) 11 (9+2) 800 (740+60) 19 (17+2)
cf_4_7x6_r_.qdimacs.gz 456 (454+2) 463 (461+2) 202 (200+2) 10 (9+2) 800 (750+50) 44 (43+2)
cf_4_7x7_r_.qdimacs.gz 501 (498+3) 518 (515+3) 183 (182+1) 15 (13+2) 800 (784+16) 40 (38+2)
cf_4_7x8_r_.qdimacs.gz 597 (594+3) 601 (598+3) 190 (188+1) 12 (10+2) 800 (771+29) 50 (48+2)
cf_4_7x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 161 (159+1) 15 (14+2) 800 (783+17) 60 (58+2)
cf_4_8x4_r_.qdimacs.gz 530 (527+3) 542 (538+3) 283 (281+2) 14 (12+2) 800 (748+52) 33 (31+2)
cf_4_8x5_r_.qdimacs.gz 507 (505+2) 511 (509+2) 208 (207+2) 11 (9+2) 800 (747+53) 36 (34+2)
cf_4_8x6_r_.qdimacs.gz 586 (583+3) 585 (582+3) 167 (166+1) 14 (12+2) 800 (785+15) 65 (63+2)
cf_4_8x7_r_.qdimacs.gz 631 (628+3) 675 (672+3) 220 (218+1) 12 (10+2) 800 (785+15) 160 (159+2)
cf_4_8x8_r_.qdimacs.gz 791 (787+4) 800 (796+4) 174 (172+1) 12 (10+2) 800 (782+18) 65 (63+2)
cf_4_8x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 185 (184+1) 14 (12+2) 800 (781+19) 24 (23+1)
cf_4_9x4_r_.qdimacs.gz 470 (467+3) 502 (499+3) 238 (236+2) 13 (11+2) 800 (753+47) 37 (36+2)
cf_4_9x5_r_.qdimacs.gz 507 (504+3) 509 (506+3) 183 (182+1) 14 (12+2) 800 (760+40) 83 (81+2)
cf_4_9x6_r_.qdimacs.gz 556 (554+3) 557 (555+3) 194 (193+2) 12 (10+2) 800 (775+25) 38 (36+2)
cf_4_9x7_r_.qdimacs.gz 800 (796+4) 800 (796+4) 199 (197+1) 15 (14+2) 800 (782+18) 22 (20+2)
cf_4_9x8_r_.qdimacs.gz 800 (796+4) 800 (796+4) 201 (200+1) 13 (11+2) 800 (782+18) 29 (27+2)
cf_4_9x9_r_.qdimacs.gz 800 (796+4) 800 (796+4) 164 (163+1) 14 (12+2) 800 (784+16) 12 (10+2)
cf_5_5x5_r_.qdimacs.gz 800 (798+2) 800 (798+2) 22 (22+0)
s cnf 0 (s cnf 0)
11 (9+2) 800 (739+61) 56 (54+2)
cf_5_5x6_r_.qdimacs.gz 800 (798+2) 800 (798+2) 485 (483+2) 11 (10+2) 800 (746+54) 38 (36+2)
cf_5_5x7_r_.qdimacs.gz 596 (593+3) 639 (635+3) 317 (315+2) 14 (12+2) 800 (742+58) 38 (36+2)
cf_5_5x8_r_.qdimacs.gz 488 (485+3) 538 (535+3) 387 (385+2) 14 (12+2) 800 (748+52) 16 (14+2)
cf_5_5x9_r_.qdimacs.gz 461 (458+3) 479 (475+3) 217 (216+2) 15 (13+2) 800 (754+46) 19 (17+2)
cf_5_6x5_r_.qdimacs.gz 671 (669+2) 663 (660+2) 483 (482+2) 11 (9+2) 800 (741+59) 31 (29+2)
cf_5_6x6_r_.qdimacs.gz 551 (548+3) 542 (539+3) 201 (200+2) 11 (10+2) 800 (745+55) 14 (13+2)
cf_5_6x7_r_.qdimacs.gz 439 (437+2) 448 (446+2) 283 (281+2) 11 (9+2) 800 (752+48) 57 (56+2)
cf_5_6x8_r_.qdimacs.gz 427 (425+2) 433 (431+2) 167 (165+1) 13 (11+2) 800 (760+40) 63 (61+2)
cf_5_6x9_r_.qdimacs.gz 495 (492+3) 524 (521+3) 265 (264+2) 13 (11+2) 800 (776+24) 166 (165+2)
cf_5_7x5_r_.qdimacs.gz 593 (589+3) 600 (597+3) 332 (331+2) 13 (11+2) 800 (740+60) 51 (50+2)
cf_5_7x6_r_.qdimacs.gz 417 (415+2) 417 (415+2) 217 (216+2) 13 (11+2) 800 (751+49) 29 (27+2)
cf_5_7x7_r_.qdimacs.gz 475 (472+2) 477 (475+2) 157 (156+1) 14 (12+2) 800 (776+24) 19 (17+2)
cf_5_7x8_r_.qdimacs.gz 507 (505+2) 501 (499+2) 219 (218+1) 12 (10+2) 800 (774+26) 33 (32+2)
cf_5_7x9_r_.qdimacs.gz 651 (648+3) 645 (642+3) 159 (157+1) 14 (12+2) 800 (762+38) 31 (29+2)
cf_5_8x5_r_.qdimacs.gz 440 (437+3) 442 (439+3) 256 (254+2) 12 (10+2) 800 (758+42) 43 (41+2)
cf_5_8x6_r_.qdimacs.gz 497 (494+3) 488 (485+3) 167 (166+1) 14 (12+2) 800 (752+48) 34 (32+2)
cf_5_8x7_r_.qdimacs.gz 488 (486+2) 484 (481+2) 236 (234+2) 11 (10+2) 800 (770+30) 71 (70+2)
cf_5_8x8_r_.qdimacs.gz 591 (588+3) 584 (582+3) 155 (153+1) 12 (10+2) 800 (775+26) 20 (19+2)
cf_5_8x9_r_.qdimacs.gz 761 (758+4) 752 (748+4) 177 (176+1) 15 (13+2) 800 (782+18) 23 (21+2)
cf_5_9x5_r_.qdimacs.gz 417 (415+2) 464 (461+3) 221 (219+2) 13 (11+2) 800 (764+36) 23 (21+2)
cf_5_9x6_r_.qdimacs.gz 318 (316+2) 466 (463+2) 185 (184+2) 15 (13+2) 800 (775+25) 50 (49+2)
cf_5_9x7_r_.qdimacs.gz 379 (377+2) 538 (536+3) 147 (146+1) 15 (13+2) 800 (782+18) 19 (17+2)
cf_5_9x8_r_.qdimacs.gz 486 (484+3) 677 (674+3) 230 (229+1) 16 (14+2) 800 (780+20) 97 (96+2)
cf_5_9x9_r_.qdimacs.gz 533 (530+3) 761 (757+4) 163 (162+1) 14 (12+2) 800 (783+17) 12 (10+2)
cf_6_6x6_r_.qdimacs.gz 484 (482+2) 702 (698+3) 800 (799+1) 11 (10+2) 800 (756+44) 24 (22+2)
cf_6_6x7_r_.qdimacs.gz 361 (360+2) 502 (500+2) 470 (469+2) 11 (10+2) 800 (757+43) 54 (53+2)
cf_6_6x8_r_.qdimacs.gz 315 (314+2) 440 (438+2) 248 (247+2) 12 (10+2) 800 (751+49) 67 (65+2)
cf_6_6x9_r_.qdimacs.gz 355 (353+2) 498 (495+3) 230 (229+2) 13 (11+2) 800 (768+32) 62 (60+2)
cf_6_7x6_r_.qdimacs.gz 350 (348+2) 498 (496+2) 407 (405+2) 13 (11+2) 800 (772+28) 29 (28+2)
cf_6_7x7_r_.qdimacs.gz 325 (323+2) 474 (472+3) 250 (249+1) 13 (11+2) 800 (753+47) 23 (21+2)
cf_6_7x8_r_.qdimacs.gz 344 (343+2) 485 (483+2) 222 (220+2) 15 (14+2) 800 (756+44) 32 (31+2)
cf_6_7x9_r_.qdimacs.gz 431 (428+3) 607 (603+3) 206 (205+1) 16 (13+2) 800 (774+26) 21 (20+2)
cf_6_8x6_r_.qdimacs.gz 331 (329+2) 459 (457+2) 260 (258+2) 12 (10+2) 800 (773+27) 70 (68+2)
cf_6_8x7_r_.qdimacs.gz 345 (343+2) 484 (482+2) 190 (189+2) 14 (12+2) 800 (779+21) 36 (35+2)
cf_6_8x8_r_.qdimacs.gz 386 (384+2) 558 (556+3) 214 (213+1) 12 (10+2) 800 (777+23) 41 (40+2)
cf_6_8x9_r_.qdimacs.gz 516 (513+3) 719 (716+3) 217 (215+2) 16 (14+2) 800 (781+19) 25 (23+2)
cf_6_9x6_r_.qdimacs.gz 340 (338+2) 489 (486+2) 249 (247+2) 11 (9+2) 800 (768+32) 57 (55+2)
cf_6_9x7_r_.qdimacs.gz 386 (384+2) 554 (551+3) 253 (251+1) 14 (12+2) 800 (779+21) 72 (71+2)
cf_6_9x8_r_.qdimacs.gz 442 (440+2) 613 (611+3) 176 (175+1) 17 (16+2) 800 (781+19) 35 (33+2)
cf_6_9x9_r_.qdimacs.gz 504 (501+3) 654 (650+3) 194 (193+1) 14 (12+2) 800 (782+18) 24 (22+2)
cf_7_7x7_r_.qdimacs.gz 366 (364+2) 364 (363+2) 800 (799+1) 14 (12+2) 800 (775+25) 27 (25+2)
cf_7_7x8_r_.qdimacs.gz 347 (346+2) 347 (345+2) 393 (391+2) 18 (16+2) 800 (780+20) 22 (20+2)
cf_7_7x9_r_.qdimacs.gz 429 (427+3) 430 (427+3) 395 (393+2) 15 (12+2) 800 (771+30) 30 (28+2)
cf_7_8x7_r_.qdimacs.gz 348 (346+2) 349 (347+2) 364 (362+1) 16 (14+2) 800 (767+33) 26 (25+1)
cf_7_8x8_r_.qdimacs.gz 386 (384+2) 383 (381+2) 239 (237+2) 13 (11+2) 800 (778+22) 50 (48+1)
cf_7_8x9_r_.qdimacs.gz 482 (480+3) 484 (481+3) 160 (159+1) 13 (11+2) 800 (776+24) 22 (20+2)
cf_7_9x7_r_.qdimacs.gz 420 (418+2) 420 (418+2) 336 (335+1) 13 (11+2) 800 (778+22) 34 (32+2)
cf_7_9x8_r_.qdimacs.gz 477 (475+2) 478 (475+2) 210 (208+1) 14 (12+2) 800 (784+16) 102 (100+2)
cf_7_9x9_r_.qdimacs.gz 557 (554+3) 555 (553+3) 290 (288+1) 13 (11+2) 800 (783+17) 22 (20+2)
cf_8_8x8_r_.qdimacs.gz 409 (407+2) 409 (407+2) 390 (389+2) 14 (13+2) 800 (771+29) 20 (18+2)
cf_8_8x9_r_.qdimacs.gz 547 (544+3) 551 (549+3) 317 (315+1) 12 (10+2) 800 (778+22) 25 (23+2)
cf_8_9x8_r_.qdimacs.gz 464 (462+2) 462 (460+2) 283 (282+1) 13 (12+2) 800 (777+23) 76 (74+2)
cf_8_9x9_r_.qdimacs.gz 472 (470+3) 473 (470+3) 441 (440+1) 15 (13+2) 800 (781+19) 20 (19+2)
cf_9_9x9_r_.qdimacs.gz 551 (548+3) 551 (549+3) 231 (230+1) 15 (14+2) 800 (782+18) 507 (505+2)
connect_5x4_3_R.qdimacs.gz 36 (36+0)
s cnf 0 (s cnf 0)
36 (36+0)
s cnf 0 (s cnf 0)
11 (11+0)
s cnf 0 (s cnf 0)
11 (9+2) 800 (738+63) 33 (31+2)
connect_5x4_4_R.qdimacs.gz 46 (46+0)
s cnf 0 (s cnf 0)
46 (46+0)
s cnf 0 (s cnf 0)
4 (4+0)
s cnf 0 (s cnf 0)
13 (11+2) 800 (738+62) 40 (38+2)
connect_6x5_3_R.qdimacs.gz 546 (543+3) 538 (535+3) 353 (351+2) 11 (10+2) 800 (755+45) 11 (10+2)
connect_6x5_4_R.qdimacs.gz 415 (413+2) 412 (411+2) 278 (276+2) 14 (12+2) 800 (751+49) 11 (9+2)
connect_6x5_5_R.qdimacs.gz 505 (503+2) 506 (504+2) 488 (486+2) 11 (9+2) 800 (738+62) 37 (35+2)
connect_7x6_3_R.qdimacs.gz 556 (553+3) 555 (552+3) 263 (262+2) 15 (13+2) 800 (774+26) 42 (39+2)
connect_7x6_4_R.qdimacs.gz 318 (316+2) 318 (316+2) 190 (188+1) 10 (8+2) 800 (751+49) 62 (60+2)
connect_7x6_5_R.qdimacs.gz 320 (319+2) 320 (319+2) 207 (206+2) 13 (11+2) 800 (755+46) 39 (37+2)
connect_7x6_6_R.qdimacs.gz 371 (370+2) 372 (371+2) 415 (414+2) 13 (11+2) 800 (774+27) 42 (40+2)
connect_8x7_3_R.qdimacs.gz 707 (703+3) 707 (704+3) 239 (238+1) 14 (12+2) 800 (781+19) 39 (37+2)
connect_8x7_4_R.qdimacs.gz 492 (490+2) 492 (489+2) 223 (221+2) 12 (10+2) 800 (785+15) 251 (249+2)
connect_8x7_5_R.qdimacs.gz 365 (364+2) 366 (364+2) 237 (235+2) 11 (10+2) 800 (767+33) 105 (103+2)
connect_8x7_6_R.qdimacs.gz 334 (332+2) 333 (332+2) 190 (189+2) 14 (12+2) 800 (778+22) 46 (44+2)
connect_8x7_7_R.qdimacs.gz 335 (334+2) 336 (335+2) 368 (367+2) 16 (14+2) 800 (765+35) 35 (33+2)
connect_9x8_3_R.qdimacs.gz 760 (756+3) 761 (758+3) 232 (230+1) 14 (12+2) 800 (787+13) 32 (30+2)
connect_9x8_4_R.qdimacs.gz 552 (549+3) 553 (551+3) 200 (199+1) 13 (11+2) 800 (782+18) 37 (35+2)
connect_9x8_5_R.qdimacs.gz 501 (499+3) 502 (500+3) 232 (231+1) 16 (14+2) 800 (780+20) 115 (113+2)
connect_9x8_6_R.qdimacs.gz 468 (466+2) 676 (673+3) 177 (175+1) 17 (15+2) 800 (780+20) 43 (41+2)
connect_9x8_7_R.qdimacs.gz 473 (471+2) 694 (691+3) 219 (218+1) 14 (12+2) 800 (784+16) 123 (120+2)
connect_9x8_8_R.qdimacs.gz 453 (451+2) 663 (660+3) 282 (280+1) 13 (12+2) 800 (777+23) 102 (100+2)
TOTAL solved: 67
wins: 3
solved: 67
wins: 3
solved: 70
wins: 69
solved: 2
wins: 0
solved: 52
wins: 6
solved: 0
wins: 0
Gent-Rowley_gq.ts Gent-Rowley_gqc.ts Gent-Rowley_nq72.ts Gent-Rowley_quantor.ts Gent-Rowley_rareqsuuh3pb.ts Gent-Rowley_znenofex.ts