Instances of family jmc_quant solved by QMRes
QBFEVAL'04

InstanceResultTime
test5_quant7SAT2.98
test5_quant5SAT5.67
test3_quant2UNSAT10.03
test4_quant4FAIL529.76
test1_quant3FAIL901
test2_quant3FAIL901.01
test1_quant2FAIL901.02
test2_quant2FAIL901.02