Instances of family jmc_quant solved by qube3.0
QBFEVAL'06

InstanceResultTime
test5_quant7FAIL6000.05
test5_quant5FAIL6000.33
test3_quant4FAIL6000.38
test3_quant2FAIL6000.51