Instance | Result | Time | |
---|---|---|---|
x30.7 | UNSAT | 0.24 | |
x30.2 | UNSAT | 0.24 | |
x30.5 | UNSAT | 0.26 | |
x30.9 | UNSAT | 0.31 | |
x30.8 | UNSAT | 0.32 | |
x30.4 | SAT | 0.33 | |
x30.0 | UNSAT | 0.34 | |
x30.3 | SAT | 0.34 | |
x30.1 | UNSAT | 0.36 | |
x30.6 | SAT | 0.37 | |
x60.4 | UNSAT | 0.96 | |
x60.9 | UNSAT | 1.11 | |
x60.1 | UNSAT | 1.2 | |
x60.6 | UNSAT | 1.22 | |
x60.0 | UNSAT | 1.24 | |
x60.3 | UNSAT | 1.25 | |
x60.7 | UNSAT | 1.43 | |
x60.5 | UNSAT | 1.58 | |
x60.8 | UNSAT | 1.75 | |
x60.2 | UNSAT | 2.14 | |
x120.2 | UNSAT | 3.73 | |
x120.5 | UNSAT | 4.02 | |
x120.0 | UNSAT | 7.58 | |
x120.3 | UNSAT | 8.82 | |
x120.9 | UNSAT | 13.24 | |
x120.8 | UNSAT | 15.68 | |
x120.7 | UNSAT | 26.82 | |
x120.6 | UNSAT | 30.31 | |
x120.4 | UNSAT | 44.75 | |
x120.1 | UNSAT | 45.43 | |
x240.5 | UNSAT | 392.26 | |
x240.9 | UNSAT | 471.2 | |
x240.3 | FAIL | 1200.02 | |
x240.7 | FAIL | 1200.02 | |
x240.0 | FAIL | 1200.03 | |
x240.8 | FAIL | 1200.03 | |
x240.4 | FAIL | 1200.03 | |
x240.6 | FAIL | 1200.04 | |
x240.1 | FAIL | 1200.04 | |
x240.2 | FAIL | 1200.04 |