Instances of family jmc_quant solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
test3_quant2FAIL894.6
test5_quant5FAIL895.99
test4_quant2FAIL896
test3_quant4FAIL896.53
test5_quant7FAIL897.42
test4_quant4FAIL897.49
test1_quant2FAIL898.99
test1_quant3FAIL899.05
test2_quant2FAIL900.71
test2_quant3FAIL900.78