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

InstanceResultTime
test4_quant_squaring2UNSAT0.06
test3_quant_squaring4UNSAT1.31
test1_quant_squaring2SAT1.34
test5_quant_squaring5SAT3.72
test4_quant_squaring4UNSAT3.99
test1_quant_squaring3SAT6.31
test2_quant_squaring2FAIL900
test2_quant_squaring3FAIL900