Instances of family jmc_quant solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
test5_quant5SAT4.12
test5_quant7SAT4.58
test3_quant2UNSAT8.69
test2_quant2FAIL600
test3_quant4FAIL600
test1_quant3FAIL600
test1_quant2FAIL600
test4_quant4FAIL600
test2_quant3FAIL600
test4_quant2FAIL600