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

InstanceResultTime
test5_quant7FAIL6000.09
test5_quant5FAIL6000.27
test3_quant4FAIL6000.5
test3_quant2FAIL6000.54