Instance | Result | Time | |
---|---|---|---|
x210.11 | UNSAT | 499.06 | |
x220.9 | UNSAT | 1358.36 | |
x220.13 | UNSAT | 1574.42 | |
x220.0 | UNSAT | 1693.72 | |
x220.8 | UNSAT | 2278.42 | |
x220.19 | UNSAT | 2686.59 | |
x220.12 | FAIL | 3600 | |
x300.8 | FAIL | 3600 | |
x220.16 | FAIL | 3600 | |
x220.2 | FAIL | 3600 | |
x220.6 | FAIL | 3600 | |
x300.12 | FAIL | 3600 | |
x300.15 | FAIL | 3600 | |
x300.16 | FAIL | 3600 | |
x300.19 | FAIL | 3600 | |
x300.1 | FAIL | 3600 | |
x300.3 | FAIL | 3600 | |
x300.4 | FAIL | 3600 | |
x300.5 | FAIL | 3600 | |
x300.6 | FAIL | 3600 | |
x220.10 | FAIL | 3600 |