Instance | Result | Time | |
---|---|---|---|
test4_quant_squaring2 | UNSAT | 0.06 | |
test3_quant_squaring4 | UNSAT | 1.31 | |
test1_quant_squaring2 | SAT | 1.34 | |
test5_quant_squaring5 | SAT | 3.72 | |
test4_quant_squaring4 | UNSAT | 3.99 | |
test1_quant_squaring3 | SAT | 6.31 | |
test2_quant_squaring2 | FAIL | 900 | |
test2_quant_squaring3 | FAIL | 900 |