Problem jmc_quant_squaring_gq.ts jmc_quant_squaring_gqc.ts jmc_quant_squaring_nq72.ts jmc_quant_squaring_quantor.ts jmc_quant_squaring_rareqsuuh3pb.ts jmc_quant_squaring_znenofex.ts
test1_quant_squaring2.qdimacs.gz 640 (635+4) 612 (608+4) 800 (799+1) 14 (12+2) 800 (794+6) 154 (153+1)
test1_quant_squaring3.qdimacs.gz 774 (770+4) 736 (732+4) 800 (799+1) 11 (9+2) 800 (738+62) 133 (131+2)
test2_quant_squaring2.qdimacs.gz 413 (411+2) 496 (494+2) 800 (799+1) 32 (30+2) 800 (795+5) 238 (236+2)
test2_quant_squaring3.qdimacs.gz 485 (482+2) 651 (649+2) 273 (271+2) 12 (10+2) 800 (795+5) 285 (283+2)
test3_quant_squaring2.qdimacs.gz 800 (796+4) 800 (797+4) 60 (60+0)
s cnf 0 (s cnf 0)
800 (799+1) 800 (793+7) 90 (89+2)
s cnf 0 (s cnf 0 724 6421)
test3_quant_squaring4.qdimacs.gz 800 (796+4) 800 (797+3) 800 (800+0) 18 (16+2) 613 (565+48) 67 (66+1)
test4_quant_squaring2.qdimacs.gz 800 (795+5) 800 (796+4) 800 (800+0) 34 (32+2) 800 (794+7) 37 (35+2)
test4_quant_squaring4.qdimacs.gz 800 (796+4) 800 (797+3) 800 (799+1) 14 (12+2) 800 (791+9) 124 (122+2)
test5_quant_squaring4.qdimacs.gz 734 (730+4) 794 (790+4) 0 (0+0)
s cnf 1 (s cnf 1)
35 (33+2) 800 (755+45) 182 (180+2)
test5_quant_squaring5.qdimacs.gz 676 (673+3) 760 (756+3) 0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 800 (770+30) 186 (184+2)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 3
wins: 3
solved: 0
wins: 0
solved: 0
wins: 0
solved: 1
wins: 0
jmc_quant_squaring_gq.ts jmc_quant_squaring_gqc.ts jmc_quant_squaring_nq72.ts jmc_quant_squaring_quantor.ts jmc_quant_squaring_rareqsuuh3pb.ts jmc_quant_squaring_znenofex.ts