Problem Counter_gq.ts Counter_gqc.ts Counter_nq72.ts Counter_quantor.ts Counter_rareqsuuh3pb.ts Counter_znenofex.ts
cnt04e.qdimacs.gz 0 (0+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)
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 71 370)
cnt04r.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
9 (9+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 17 62)
cnt04re.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
18 (18+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 71 408)
cnt05e.qdimacs.gz 16 (16+0)
s cnf 1 (s cnf 1)
193 (193+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 173 975)
cnt05r.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
24 (23+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 154 841)
cnt05re.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
87 (87+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 206 1107)
cnt06e.qdimacs.gz 800 (799+1) 800 (800+0) 1 (1+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 512 2937)
cnt06r.qdimacs.gz 3 (3+0)
s cnf 1 (s cnf 1)
64 (64+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 404 2207)
cnt06re.qdimacs.gz 238 (237+1)
s cnf 1 (s cnf 1)
800 (800+0) 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 504 2940)
cnt07e.qdimacs.gz 800 (799+1) 800 (800+0) 39 (39+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
145 (143+2)
cnt07r.qdimacs.gz 22 (22+0)
s cnf 1 (s cnf 1)
352 (351+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
203 (201+2)
s cnf 1 (s cnf 1 621 3297)
cnt07re.qdimacs.gz 800 (799+1) 800 (800+0) 22 (22+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
111 (109+2)
cnt08e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 4 (4+0)
s cnf 1 (s TRUE)
3 (3+0)
s cnf 1 (s cnf 1)
800 (798+2)
cnt08r.qdimacs.gz 137 (136+0)
s cnf 1 (s cnf 1)
800 (800+1) 259 (259+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
1 (1+0)
s cnf 1 (s cnf 1)
168 (166+2)
cnt08re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 4 (4+0)
s cnf 1 (s TRUE)
3 (3+0)
s cnf 1 (s cnf 1)
186 (185+1)
cnt09e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 35 (35+0)
s cnf 1 (s TRUE)
31 (31+0)
s cnf 1 (s cnf 1)
164 (163+2)
cnt09r.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 1 (1+0)
s cnf 1 (s TRUE)
11 (11+0)
s cnf 1 (s cnf 1)
229 (227+2)
cnt09re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 25 (25+0)
s cnf 1 (s TRUE)
28 (28+0)
s cnf 1 (s cnf 1)
207 (206+1)
cnt10e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 692 (691+1)
s cnf 1 (s TRUE)
480 (478+2)
s cnf 1 (s cnf 1)
195 (193+2)
cnt10r.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 3 (2+1)
s cnf 1 (s TRUE)
69 (67+2)
s cnf 1 (s cnf 1)
265 (263+2)
cnt10re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 300 (300+1)
s cnf 1 (s TRUE)
346 (343+3)
s cnf 1 (s cnf 1)
197 (196+2)
cnt11e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (798+2) 800 (794+6) 341 (340+2)
cnt11r.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 16 (14+1)
s cnf 1 (s TRUE)
732 (714+18)
s cnf 1 (s cnf 1)
135 (133+2)
cnt11re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (798+2) 800 (794+6) 101 (99+2)
cnt12e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (797+3) 800 (795+5) 174 (173+2)
cnt12r.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 264 (261+3)
s cnf 1 (s TRUE)
800 (784+16) 160 (159+2)
cnt12re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (796+4) 800 (794+6) 138 (136+2)
cnt13.qdimacs.gz 800 (799+1) 800 (800+0) 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
1 (1+0)
s cnf 1 (s cnf 1)
9 (9+0)
s cnf 1 (s cnf 1 621 3655)
cnt13e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (792+8) 800 (795+5) 210 (208+2)
cnt13r.qdimacs.gz 800 (799+1) 800 (800+1) 800 (799+1) 15 (8+7)
s cnf 1 (s TRUE)
800 (785+15) 114 (113+2)
cnt13re.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 800 (791+10) 800 (779+21) 80 (78+2)
cnt14e.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 800 (785+15) 800 (792+8) 155 (154+1)
cnt14r.qdimacs.gz 800 (799+1) 800 (800+0) 800 (799+1) 447 (432+15)
s cnf 1 (s TRUE)
800 (782+18) 158 (157+2)
cnt14re.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 800 (779+21) 800 (781+19) 126 (125+2)
cnt15.qdimacs.gz 800 (799+1) 800 (799+1) 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
6 (6+0)
s cnf 1 (s cnf 1 574 3093)
cnt15e.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 11 (10+2) 800 (782+18) 100 (98+1)
cnt15r.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 11 (9+2) 800 (787+13) 206 (205+2)
cnt15re.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 11 (10+2) 800 (782+18) 149 (147+2)
cnt16e.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+1) 13 (11+2) 800 (781+19) 78 (77+2)
cnt16r.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 12 (10+2) 800 (780+20) 102 (101+2)
cnt16re.qdimacs.gz 800 (799+1) 800 (800+1) 800 (800+0) 13 (11+2) 800 (780+20) 118 (116+1)
counter_32.qdimacs.gz 800 (799+1) 800 (799+1) 179 (178+1)
s cnf 1 (s cnf 1)
11 (10+2) 800 (769+31) 164 (163+2)
counter_64.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 14 (12+2) 800 (756+44) 47 (45+2)
counter_e_16.qdimacs.gz 800 (799+1) 800 (800+1) 800 (800+1) 13 (11+2) 800 (780+20) 78 (77+2)
counter_e_32.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 15 (13+2) 800 (776+24) 70 (69+1)
counter_e_4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
21 (21+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 71 370)
counter_e_64.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+1) 15 (14+2) 800 (748+52) 61 (59+2)
counter_e_8.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 4 (4+0)
s cnf 1 (s TRUE)
4 (4+0)
s cnf 1 (s cnf 1)
800 (798+2)
counter_r_16.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 12 (10+2) 800 (780+20) 102 (101+2)
counter_r_32.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 15 (13+2) 800 (757+44) 70 (68+2)
counter_r_4.qdimacs.gz 0 (0+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 17 62)
counter_r_64.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 16 (14+2) 800 (744+57) 36 (35+2)
counter_r_8.qdimacs.gz 102 (102+0)
s cnf 1 (s cnf 1)
800 (800+1) 260 (260+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s TRUE)
1 (1+0)
s cnf 1 (s cnf 1)
168 (167+2)
counter_re_16.qdimacs.gz 800 (799+1) 800 (800+1) 800 (800+0) 13 (11+2) 800 (780+20) 118 (116+1)
counter_re_32.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 14 (12+2) 800 (762+38) 70 (69+2)
counter_re_4.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
24 (24+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 71 408)
counter_re_64.qdimacs.gz 800 (799+1) 800 (798+2) 800 (800+0) 15 (13+2) 800 (748+52) 26 (24+1)
counter_re_8.qdimacs.gz 800 (799+1) 800 (800+0) 800 (800+0) 4 (4+0)
s cnf 1 (s TRUE)
4 (4+0)
s cnf 1 (s cnf 1)
187 (186+2)
TOTAL solved: 14
wins: 6
solved: 11
wins: 0
solved: 20
wins: 14
solved: 33
wins: 28
solved: 30
wins: 22
solved: 15
wins: 12
Counter_gq.ts Counter_gqc.ts Counter_nq72.ts Counter_quantor.ts Counter_rareqsuuh3pb.ts Counter_znenofex.ts