Instances of family jmc_quant solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
test5_quant7FAIL600
test3_quant2FAIL600
test5_quant5FAIL600