Instances of family jmc_quant_squaring solved by yQuaffle
QBFEVAL'06

InstanceResultTime
test5_quant_squaring4FAIL3749.15
test5_quant_squaring5FAIL3819.54
test3_quant_squaring2FAIL5999.97