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

InstanceResultTime
test5_quant_squaring5SAT580.8
test4_quant_squaring4FAIL900
test4_quant_squaring2FAIL900
test1_quant_squaring2FAIL900
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900
test1_quant_squaring3FAIL900
test3_quant_squaring4FAIL900