Instances of family jmc_quant_squaring solved by caqe_2017_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
test1_quant_squaring2FAIL900
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900
test1_quant_squaring3FAIL900
test3_quant_squaring4FAIL900
test5_quant_squaring5FAIL900
test4_quant_squaring4FAIL900
test4_quant_squaring2FAIL900