Instances of family jmc_quant_squaring solved by yQuaffle
QBFEVAL'04

InstanceResultTime
test2_quant_squaring3FAIL77.6
test5_quant_squaring5FAIL115.95
test5_quant_squaring4FAIL201.55
test4_quant_squaring4FAIL377.02
test2_quant_squaring2FAIL409.55
test3_quant_squaring4FAIL506.54
test1_quant_squaring2FAIL901
test3_quant_squaring2FAIL901.01