Instances of family jmc_quant_squaring solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
test5_quant_squaring4SAT15.42
test5_quant_squaring5SAT23.02
test3_quant_squaring2UNSAT51.31
test2_quant_squaring2FAIL592.52
test2_quant_squaring3FAIL592.63
test3_quant_squaring4FAIL592.73
test1_quant_squaring2FAIL593.03
test4_quant_squaring4FAIL593.12
test4_quant_squaring2FAIL593.52
test1_quant_squaring3FAIL593.53