Instance | Result | Time | |
---|---|---|---|
x165.13 | UNSAT | 207.21 | |
x165.8 | UNSAT | 210.4 | |
x210.6 | UNSAT | 254.92 | |
x210.12 | UNSAT | 402.32 | |
x165.9 | UNSAT | 418.63 | |
x210.7 | UNSAT | 540.65 | |
x210.1 | UNSAT | 594.9 | |
x165.0 | UNSAT | 734.6 | |
x220.2 | FAIL | 889.1 | |
x210.16 | FAIL | 889.62 | |
x220.13 | FAIL | 889.92 | |
x220.6 | FAIL | 890.03 | |
x220.10 | FAIL | 890.19 | |
x165.6 | FAIL | 890.71 | |
x220.16 | FAIL | 890.82 | |
x210.11 | FAIL | 890.9 | |
x165.17 | FAIL | 891.28 | |
x165.10 | FAIL | 891.62 | |
x165.3 | FAIL | 891.72 | |
x210.15 | FAIL | 891.75 | |
x220.9 | FAIL | 892.02 | |
x300.8 | FAIL | 892.02 | |
x210.9 | FAIL | 892.02 | |
x165.19 | FAIL | 892.03 | |
x220.19 | FAIL | 892.13 | |
x220.12 | FAIL | 892.22 | |
x210.17 | FAIL | 892.23 | |
x220.8 | FAIL | 892.44 | |
x210.3 | FAIL | 892.45 | |
x165.11 | FAIL | 892.49 | |
x300.3 | FAIL | 893.04 | |
x300.5 | FAIL | 893.13 | |
x300.19 | FAIL | 893.55 | |
x300.15 | FAIL | 894.93 | |
x300.12 | FAIL | 895.62 | |
x300.6 | FAIL | 895.81 | |
x300.1 | FAIL | 896.03 | |
x300.16 | FAIL | 896.06 | |
x220.0 | FAIL | 896.2 | |
x300.4 | FAIL | 900 |