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

InstanceResultTime
test2_quant_squaring2FAIL155.44
test2_quant_squaring3FAIL155.99
test1_quant_squaring2FAIL217.12
test1_quant_squaring3FAIL226.1
test3_quant_squaring4FAIL599.72
test3_quant_squaring2FAIL599.72
test5_quant_squaring5FAIL599.72
test5_quant_squaring4FAIL599.72
test4_quant_squaring4FAIL599.72
test4_quant_squaring2FAIL599.82