Instance | Result | Time | |
---|---|---|---|
x30.5 | UNSAT | 113.57 | |
x30.9 | UNSAT | 114.34 | |
x30.7 | UNSAT | 127.87 | |
x30.0 | UNSAT | 152.59 | |
x30.2 | UNSAT | 190.84 | |
x30.1 | UNSAT | 233.56 | |
x30.8 | UNSAT | 263.52 | |
x30.3 | FAIL | 309.05 | |
x30.6 | FAIL | 322.28 | |
x30.4 | FAIL | 354.58 | |
x60.0 | FAIL | 359.93 | |
x60.3 | FAIL | 365.67 | |
x60.2 | FAIL | 383.71 | |
x60.8 | FAIL | 447.78 | |
x60.5 | FAIL | 451.45 | |
x60.7 | FAIL | 480.54 | |
x60.6 | FAIL | 485.25 | |
x60.9 | FAIL | 524.68 | |
x60.4 | FAIL | 557.66 | |
x60.1 | FAIL | 776.02 | |
x240.8 | FAIL | 1200.14 | |
x240.4 | FAIL | 1200.14 | |
x120.2 | FAIL | 1200.15 | |
x120.5 | FAIL | 1200.15 | |
x240.7 | FAIL | 1200.15 | |
x240.9 | FAIL | 1200.15 | |
x240.3 | FAIL | 1200.15 | |
x120.3 | FAIL | 1200.15 | |
x120.0 | FAIL | 1200.15 | |
x120.4 | FAIL | 1200.15 | |
x120.1 | FAIL | 1200.15 | |
x240.5 | FAIL | 1200.16 | |
x120.6 | FAIL | 1200.16 | |
x240.2 | FAIL | 1200.16 | |
x240.6 | FAIL | 1200.16 | |
x240.1 | FAIL | 1200.16 | |
x240.0 | FAIL | 1200.16 | |
x120.8 | FAIL | 1200.16 | |
x120.7 | FAIL | 1200.16 | |
x120.9 | FAIL | 1200.16 |