Problem conformant_planning_gq.ts conformant_planning_gqc.ts conformant_planning_nq72.ts conformant_planning_quantor.ts conformant_planning_rareqsuuh3pb.ts conformant_planning_znenofex.ts
blocks_enc_2_b3_ser--opt-9_.qdimacs.gz 800 (799+1) 3 (3+0)
s cnf 1 (s cnf 1)
800 (799+1) 0 (0+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 350 3853)
blocks_enc_2_b4_ser--opt-26_.qdimacs.gz 800 (797+3) 800 (799+1) 800 (799+1) 800 (793+8) 800 (797+3) 800 (798+2)
cube_c11_par---13_.qdimacs.gz 800 (798+2) 42 (41+1)
s cnf 0 (s cnf 0)
800 (800+0) 25 (24+2) 0 (0+0)
s cnf 0 (s cnf 0)
53 (51+2)
cube_c11_par--opt-14_.qdimacs.gz 800 (798+2) 223 (222+1)
s cnf 1 (s cnf 1)
800 (800+0) 27 (25+2) 800 (798+2) 53 (51+2)
cube_c11_ser--opt-42_.qdimacs.gz 800 (797+3) 800 (799+1) 800 (799+1) 25 (23+2) 800 (798+2) 52 (50+2)
cube_c3_ser--opt-6_.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+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 150 1934)
cube_c5_ser---14_.qdimacs.gz 800 (799+1) 365 (364+0)
s cnf 0 (s cnf 0)
800 (799+1) 261 (260+1)
s cnf 0 (s FALSE)
4 (4+0)
s cnf 0 (s cnf 0)
800 (800+0)
cube_c5_ser--opt-15_.qdimacs.gz 4 (4+0)
s cnf 1 (s cnf 1)
14 (14+0)
s cnf 1 (s cnf 1)
800 (799+1) 4 (3+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1 418 3627)
cube_c7_ser---23_.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 800 (791+9) 800 (800+0) 800 (799+1)
cube_c7_ser--opt-24_.qdimacs.gz 800 (798+2) 689 (688+1)
s cnf 1 (s cnf 1)
800 (799+1) 140 (131+9)
s cnf 1 (s TRUE)
40 (39+0)
s cnf 1 (s cnf 1)
50 (49+1)
s cnf 1 (s cnf 1 558 6549)
cube_c9_par---10_.qdimacs.gz 35 (35+1)
s cnf 0 (s cnf 0)
12 (12+0)
s cnf 0 (s cnf 0)
2 (2+0)
s cnf 0 (s cnf 0)
30 (21+9)
s cnf 0 (s FALSE)
0 (0+0)
s cnf 0 (s cnf 0)
33 (32+1)
s cnf 0 (s cnf 0 272 8099)
cube_c9_par--opt-11_.qdimacs.gz 252 (251+1)
s cnf 1 (s cnf 1)
51 (50+1)
s cnf 1 (s cnf 1)
8 (8+0)
s cnf 1 (s cnf 1)
91 (82+9)
s cnf 1 (s TRUE)
325 (323+1)
s cnf 1 (s cnf 1)
39 (38+1)
s cnf 1 (s cnf 1 302 8300)
emptyroom_e3_par--opt-10_.qdimacs.gz 29 (28+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1 277 2281)
emptyroom_e3_ser---19_.qdimacs.gz 800 (798+2) 261 (260+0)
s cnf 0 (s cnf 0)
800 (799+1) 132 (131+1)
s cnf 0 (s FALSE)
29 (29+0)
s cnf 0 (s cnf 0)
309 (309+0)
s cnf 0 (s cnf 0 322 2515)
emptyroom_e3_ser--opt-20_.qdimacs.gz 670 (669+2)
s cnf 1 (s cnf 1)
100 (100+0)
s cnf 1 (s cnf 1)
800 (799+1) 5 (4+1)
s cnf 1 (s TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1 344 2640)
emptyroom_e4_par---21_.qdimacs.gz 800 (798+2) 351 (350+1)
s cnf 0 (s cnf 0)
800 (800+1) 403 (393+10)
s cnf 0 (s FALSE)
4 (3+0)
s cnf 0 (s cnf 0)
639 (638+1)
s cnf 0 (s cnf 0 656 6768)
emptyroom_e4_par--opt-22_.qdimacs.gz 800 (798+2) 544 (543+1)
s cnf 1 (s cnf 1)
800 (800+1) 226 (216+10)
s cnf 1 (s TRUE)
34 (34+0)
s cnf 1 (s cnf 1)
301 (300+1)
s cnf 1 (s cnf 1 690 7058)
emptyroom_e4_ser--opt-44_.qdimacs.gz 800 (798+2) 800 (799+1) 800 (799+1) 800 (778+22) 423 (422+1)
s cnf 1 (s cnf 1)
800 (798+2)
ring_r3_ser--opt-8_.qdimacs.gz 4 (4+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 TRUE)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1 297 3033)
ring_r6_ser---16_.qdimacs.gz 800 (799+1) 183 (181+1)
s cnf 0 (s cnf 0)
800 (800+0) 84 (82+2) 1 (1+0)
s cnf 0 (s cnf 0)
58 (56+2)
ring_r6_ser--opt-17_.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 82 (80+2) 800 (798+2) 64 (63+2)
ring_r7_ser---19_.qdimacs.gz 189 (187+2) 191 (189+2) 800 (800+0) 800 (798+2) 3 (3+0)
s cnf 0 (s cnf 0)
129 (127+2)
ring_r7_ser--opt-20_.qdimacs.gz 192 (190+2) 189 (187+2) 800 (800+0) 800 (798+2) 600 (598+2) 129 (127+2)
TOTAL solved: 7
wins: 1
solved: 16
wins: 2
solved: 5
wins: 3
solved: 13
wins: 3
solved: 17
wins: 16
solved: 12
wins: 3
conformant_planning_gq.ts conformant_planning_gqc.ts conformant_planning_nq72.ts conformant_planning_quantor.ts conformant_planning_rareqsuuh3pb.ts conformant_planning_znenofex.ts