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

InstanceResultTime
test3_quant_squaring2UNSAT793.36
test2_quant_squaring2FAIL877.91
test3_quant_squaring4FAIL878.01
test1_quant_squaring3FAIL878.22
test2_quant_squaring3FAIL878.81