Instances of family jmc_quant_squaring solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
test5_quant_squaring4SAT0.24
test3_quant_squaring2UNSAT3.37
test2_quant_squaring3FAIL521.84
test4_quant_squaring2FAIL599.81
test5_quant_squaring5FAIL599.82
test2_quant_squaring2FAIL599.82
test1_quant_squaring2FAIL599.82
test1_quant_squaring3FAIL599.82
test3_quant_squaring4FAIL599.82
test4_quant_squaring4FAIL599.92