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

InstanceResultTime
test3_quant_squaring2FAIL900
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900
test1_quant_squaring3FAIL900
test3_quant_squaring4FAIL900