Problem jmc_quant_gq.ts jmc_quant_gqc.ts jmc_quant_nq72.ts jmc_quant_quantor.ts jmc_quant_rareqsuuh3pb.ts jmc_quant_znenofex.ts
test1_quant2.qdimacs.gz 485 (481+4) 709 (705+4) 800 (799+1) 14 (13+2) 800 (796+4) 170 (169+2)
test1_quant3.qdimacs.gz 707 (703+4) 707 (703+4) 800 (799+1) 12 (10+2) 800 (796+4) 194 (193+2)
test2_quant2.qdimacs.gz 412 (409+2) 497 (495+2) 800 (799+1) 39 (37+2) 800 (794+6) 229 (227+2)
test2_quant3.qdimacs.gz 443 (441+2) 534 (532+2) 800 (799+1) 31 (29+2) 800 (793+7) 230 (228+2)
test3_quant2.qdimacs.gz 800 (795+5) 800 (796+4) 582 (582+0)
s cnf 0 (s cnf 0)
800 (799+1) 782 (778+4)
s cnf 0 (s cnf 0)
117 (116+1)
s cnf 0 (s cnf 0 1066 7496)
test3_quant4.qdimacs.gz 800 (795+5) 800 (796+4) 800 (800+0) 46 (44+2) 800 (793+7) 162 (161+1)
test4_quant2.qdimacs.gz 800 (795+5) 800 (796+4) 800 (800+0) 31 (29+2) 800 (794+6) 65 (64+2)
test4_quant4.qdimacs.gz 800 (795+5) 800 (796+4) 800 (800+0) 20 (18+2) 800 (795+5) 92 (90+2)
test5_quant5.qdimacs.gz 800 (795+5) 800 (796+4) 7 (7+0)
s cnf 1 (s cnf 1)
25 (23+2) 800 (796+4) 110 (108+2)
test5_quant7.qdimacs.gz 795 (790+5) 800 (796+4) 0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 1 (1+0)
s cnf 1 (s cnf 1)
53 (51+2)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 3
wins: 2
solved: 0
wins: 0
solved: 2
wins: 0
solved: 1
wins: 1
jmc_quant_gq.ts jmc_quant_gqc.ts jmc_quant_nq72.ts jmc_quant_quantor.ts jmc_quant_rareqsuuh3pb.ts jmc_quant_znenofex.ts