Instances of family jmc_quant solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
test3_quant2FAIL600
test5_quant5FAIL600
test5_quant7FAIL600