Instances of family jmc_quant solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
test5_quant5FAIL31.82
test5_quant7FAIL47.06
test3_quant4FAIL91.53
test3_quant2FAIL600.4