Instances of family jmc_quant solved by QUANTOR
QBFEVAL'06

InstanceResultTime
test5_quant5FAIL31.84
test5_quant7FAIL47.44
test3_quant4FAIL83.71
test3_quant2FAIL6000.63