Instances of family jmc_quant solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
test2_quant3FAIL789.01
test2_quant2FAIL810.07
test1_quant3FAIL901.03
test5_quant5FAIL901.03
test5_quant7FAIL901.03
test1_quant2FAIL901.03
test4_quant4FAIL901.03
test3_quant2FAIL901.04