Instances of family jmc_quant solved by QUANTOR
QBFEVAL'04

InstanceResultTime
test1_quant2FAIL11.79
test1_quant3FAIL13.12
test2_quant3FAIL14.32
test2_quant2FAIL16.95
test5_quant7FAIL23.55
test4_quant4FAIL28.02
test5_quant5FAIL34
test3_quant2FAIL901.03