Instance | Result | Time | |
---|---|---|---|
x25.19 | UNSAT | 0.51 | |
x25.13 | UNSAT | 0.54 | |
x25.10 | UNSAT | 0.56 | |
x25.5 | UNSAT | 0.56 | |
x25.7 | UNSAT | 0.58 | |
x25.2 | SAT | 0.59 | |
x25.4 | UNSAT | 0.61 | |
x35.15 | UNSAT | 0.66 | |
x25.8 | UNSAT | 0.66 | |
x25.16 | SAT | 0.66 | |
x25.15 | UNSAT | 0.71 | |
x35.1 | SAT | 0.8 | |
x35.3 | UNSAT | 0.8 | |
x35.2 | SAT | 0.84 | |
x35.5 | UNSAT | 0.84 | |
x35.9 | SAT | 0.85 | |
x35.13 | UNSAT | 0.85 | |
x35.11 | UNSAT | 0.86 | |
x35.10 | UNSAT | 0.86 | |
x40.10 | UNSAT | 0.88 | |
x40.4 | UNSAT | 0.89 | |
x40.17 | UNSAT | 0.94 | |
x40.6 | UNSAT | 0.94 | |
x35.19 | UNSAT | 0.96 | |
x40.18 | SAT | 1.04 | |
x40.5 | UNSAT | 1.06 | |
x40.1 | UNSAT | 1.07 | |
x40.11 | SAT | 1.16 | |
x40.12 | SAT | 1.23 | |
x40.19 | UNSAT | 1.24 | |
x70.10 | UNSAT | 2.61 | |
x70.12 | UNSAT | 2.7 | |
x70.3 | UNSAT | 2.74 | |
x70.0 | UNSAT | 2.85 | |
x70.5 | UNSAT | 2.91 | |
x70.16 | UNSAT | 3.04 | |
x70.1 | UNSAT | 3.13 | |
x70.7 | UNSAT | 3.45 | |
x70.8 | UNSAT | 3.63 | |
x70.6 | UNSAT | 8.95 | |
x210.6 | UNSAT | 19.96 | |
x165.8 | UNSAT | 35.57 | |
x165.11 | UNSAT | 46.08 | |
x165.6 | UNSAT | 48.34 | |
x210.3 | UNSAT | 68.04 | |
x165.13 | UNSAT | 107.27 | |
x165.17 | UNSAT | 125.65 | |
x165.3 | UNSAT | 169.75 | |
x165.19 | UNSAT | 176.78 | |
x165.0 | UNSAT | 194.44 | |
x165.9 | UNSAT | 222.15 | |
x165.10 | UNSAT | 395.34 | |
x300.3 | FAIL | 599.71 | |
x300.19 | FAIL | 599.71 | |
x220.19 | FAIL | 599.71 | |
x300.16 | FAIL | 599.71 | |
x300.15 | FAIL | 599.71 | |
x300.12 | FAIL | 599.71 | |
x300.4 | FAIL | 599.71 | |
x220.9 | FAIL | 599.71 | |
x300.5 | FAIL | 599.71 | |
x210.7 | FAIL | 599.71 | |
x300.8 | FAIL | 599.71 | |
x300.6 | FAIL | 599.71 | |
x210.12 | FAIL | 599.71 | |
x210.15 | FAIL | 599.71 | |
x220.16 | FAIL | 599.71 | |
x220.13 | FAIL | 599.71 | |
x220.12 | FAIL | 599.71 | |
x210.16 | FAIL | 599.71 | |
x220.10 | FAIL | 599.71 | |
x220.0 | FAIL | 599.71 | |
x210.9 | FAIL | 599.71 | |
x220.8 | FAIL | 599.71 | |
x220.6 | FAIL | 599.71 | |
x210.17 | FAIL | 599.71 | |
x210.11 | FAIL | 599.81 | |
x300.1 | FAIL | 599.81 | |
x210.1 | FAIL | 599.81 | |
x220.2 | FAIL | 599.81 |