Instance | Result | Time | |
---|---|---|---|
x165.10 | UNSAT | 32.63 | |
x165.11 | UNSAT | 34.67 | |
x165.6 | UNSAT | 35.42 | |
x210.6 | UNSAT | 47.57 | |
x165.19 | UNSAT | 72.55 | |
x165.17 | UNSAT | 139.78 | |
x165.0 | UNSAT | 184.78 | |
x165.8 | UNSAT | 202.98 | |
x165.9 | UNSAT | 230.28 | |
x165.3 | UNSAT | 318.54 | |
x165.13 | UNSAT | 467.02 | |
x210.15 | UNSAT | 743.42 | |
x210.3 | UNSAT | 753.39 | |
x220.2 | FAIL | 900 | |
x220.6 | FAIL | 900 | |
x220.8 | FAIL | 900 | |
x220.9 | FAIL | 900 | |
x300.12 | FAIL | 900 | |
x300.15 | FAIL | 900 | |
x300.16 | FAIL | 900 | |
x300.19 | FAIL | 900 | |
x300.1 | FAIL | 900 | |
x300.3 | FAIL | 900 | |
x300.4 | FAIL | 900 | |
x300.5 | FAIL | 900 | |
x300.6 | FAIL | 900 | |
x220.19 | FAIL | 900 | |
x220.16 | FAIL | 900 | |
x210.11 | FAIL | 900 | |
x210.12 | FAIL | 900 | |
x210.16 | FAIL | 900 | |
x210.17 | FAIL | 900 | |
x210.1 | FAIL | 900 | |
x210.7 | FAIL | 900 | |
x210.9 | FAIL | 900 | |
x220.0 | FAIL | 900 | |
x220.10 | FAIL | 900 | |
x220.12 | FAIL | 900 | |
x220.13 | FAIL | 900 | |
x300.8 | FAIL | 900 |