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

InstanceResultTime
test3_quant4FAIL168.38
test1_quant2FAIL189.44
test1_quant3FAIL214.74
test4_quant2FAIL224.89
test4_quant4FAIL276.33