Instances of family jmc_quant_squaring solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
test3_quant_squaring2FAIL893.71
test4_quant_squaring2FAIL895.92
test5_quant_squaring4FAIL897.47
test3_quant_squaring4FAIL897.89
test5_quant_squaring5FAIL898.52
test4_quant_squaring4FAIL898.54
test1_quant_squaring2FAIL898.95
test1_quant_squaring3FAIL899.82
test2_quant_squaring3FAIL900.39
test2_quant_squaring2FAIL900.71