Instance | Result | Time | |
---|---|---|---|
x30.2 | UNSAT | 1.64 | |
x30.7 | UNSAT | 1.71 | |
x30.9 | UNSAT | 1.76 | |
x30.5 | UNSAT | 1.77 | |
x30.8 | UNSAT | 1.86 | |
x30.4 | SAT | 1.87 | |
x30.0 | UNSAT | 1.9 | |
x30.3 | SAT | 1.9 | |
x30.6 | SAT | 1.93 | |
x30.1 | UNSAT | 1.93 | |
x60.4 | UNSAT | 3.27 | |
x60.6 | UNSAT | 3.44 | |
x60.9 | UNSAT | 3.54 | |
x60.0 | UNSAT | 3.8 | |
x120.2 | UNSAT | 3.83 | |
x60.7 | UNSAT | 4.16 | |
x60.1 | UNSAT | 4.29 | |
x120.0 | UNSAT | 4.38 | |
x60.8 | UNSAT | 4.62 | |
x60.5 | UNSAT | 5.36 | |
x60.3 | UNSAT | 5.39 | |
x120.3 | UNSAT | 6.29 | |
x120.5 | UNSAT | 6.42 | |
x60.2 | UNSAT | 8.13 | |
x120.9 | UNSAT | 29.01 | |
x120.8 | UNSAT | 35.13 | |
x120.1 | UNSAT | 54.59 | |
x120.7 | UNSAT | 84.57 | |
x120.4 | UNSAT | 93.02 | |
x120.6 | UNSAT | 926.71 | |
x240.1 | FAIL | 1200 | |
x240.2 | FAIL | 1200 | |
x240.3 | FAIL | 1200 | |
x240.4 | FAIL | 1200 | |
x240.5 | FAIL | 1200 | |
x240.6 | FAIL | 1200 | |
x240.0 | FAIL | 1200 | |
x240.7 | FAIL | 1200 | |
x240.8 | FAIL | 1200 | |
x240.9 | FAIL | 1200 |