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

InstanceResultTime
test1_quant_squaring3FAIL900.03
test2_quant_squaring3FAIL900.07
test3_quant_squaring2FAIL900.08
test2_quant_squaring2FAIL900.09