Instances of family jmc_quant_squaring solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
test2_quant_squaring2FAIL266.63
test2_quant_squaring3FAIL318.51
test1_quant_squaring2FAIL342.93
test1_quant_squaring3FAIL343.6
test4_quant_squaring2FAIL534.15
test5_quant_squaring5FAIL599.72
test5_quant_squaring4FAIL599.72
test4_quant_squaring4FAIL599.82
test3_quant_squaring2FAIL599.82
test3_quant_squaring4FAIL608.86