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

InstanceResultTime
test1_quant2FAIL4072.29
test1_quant3FAIL6285.19
test4_quant4FAIL13681.3
test4_quant2FAIL15189.9
test3_quant4FAIL42299.8