Instances of family jmc_quant solved by quantor-3.1
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test1_quant2FAIL24.3
test1_quant3FAIL31.87
test4_quant2FAIL647.11
test4_quant4FAIL5791
test3_quant4FAIL18962.6