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

InstanceResultTime
test3_quant_squaring2UNSAT266.44
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900
test1_quant_squaring3FAIL900
test3_quant_squaring4FAIL900