Instances of family jmc_quant solved by yQuaffle
QBFEVAL'05

InstanceResultTime
test1_quant3FAIL900.46
test2_quant3FAIL900.46
test4_quant4FAIL900.49
test1_quant2FAIL900.57
test3_quant4FAIL900.59
test2_quant2FAIL900.61
test5_quant7FAIL900.64
test4_quant2FAIL900.65
test3_quant2FAIL900.65
test5_quant5FAIL900.74