Instance | Result | Time | |
---|---|---|---|
S-edau-3 | UNSAT | 84.13 | |
S-edau-7 | UNSAT | 88.69 | |
S-edau-0 | UNSAT | 93.41 | |
T-edau-5 | UNSAT | 94.79 | |
T-edau-9 | UNSAT | 95.4 | |
T-edau-0 | UNSAT | 96.09 | |
T-edau-2 | UNSAT | 96.13 | |
T-edau-3 | UNSAT | 96.88 | |
T-edau-8 | UNSAT | 97.01 | |
T-edau-1 | UNSAT | 97.07 | |
T-edau-4 | UNSAT | 103.08 | |
T-adeu-8 | UNSAT | 104.05 | |
S-edau-8 | UNSAT | 104.34 | |
T-adeu-4 | UNSAT | 105.73 | |
S-edau-9 | UNSAT | 106.38 | |
T-edau-7 | UNSAT | 106.76 | |
S-edau-1 | UNSAT | 124.53 | |
S-edau-6 | UNSAT | 127.6 | |
S-edau-4 | UNSAT | 136.13 | |
T-edau-6 | UNSAT | 143.26 | |
S-edau-5 | UNSAT | 147.43 | |
S-adeu-8 | UNSAT | 159.83 | |
S-edau-2 | UNSAT | 162.99 | |
S-adeu-4 | UNSAT | 175.88 | |
T-adeu-5 | UNSAT | 186.56 | |
T-adeu-7 | UNSAT | 242.36 | |
S-adeu-5 | UNSAT | 270.07 | |
S-adeu-7 | UNSAT | 473.94 | |
T-adeu-3 | FAIL | 6000.42 | |
S-adeu-0 | FAIL | 6000.42 | |
S-adeu-9 | FAIL | 6000.42 | |
S-adeu-1 | FAIL | 6000.42 | |
T-adeu-6 | FAIL | 6000.42 | |
S-adeu-2 | FAIL | 6000.42 | |
S-adeu-3 | FAIL | 6000.42 | |
T-adeu-0 | FAIL | 6000.42 | |
T-adeu-1 | FAIL | 6000.42 | |
T-adeu-9 | FAIL | 6000.42 | |
S-adeu-6 | FAIL | 6000.42 | |
T-adeu-2 | FAIL | 6000.42 |