Instance | Result | Time | |
---|---|---|---|
test3_quant2 | UNSAT | 25.79 | |
test5_quant5 | FAIL | 89.36 | |
test3_quant4 | FAIL | 101.59 | |
test5_quant7 | FAIL | 124.46 | |
test4_quant2 | FAIL | 203.04 | |
test4_quant4 | FAIL | 226.44 | |
test1_quant2 | FAIL | 332.39 | |
test1_quant3 | FAIL | 371.16 | |
test2_quant2 | FAIL | 600 | |
test2_quant3 | FAIL | 600 |