Instance | Result | Time | |
---|---|---|---|
S-edau-43 | UNSAT | 2.51 | |
T-edau-23 | UNSAT | 3.03 | |
T-edau-20 | UNSAT | 3.05 | |
T-edau-18 | UNSAT | 3.17 | |
T-edau-8 | UNSAT | 3.47 | |
S-edau-30 | UNSAT | 4.37 | |
S-edau-7 | UNSAT | 4.42 | |
S-edau-8 | UNSAT | 4.45 | |
T-edau-2 | UNSAT | 6.97 | |
T-edau-24 | UNSAT | 9.2 | |
T-adeu-9 | UNSAT | 9.37 | |
S-adeu-41 | UNSAT | 9.53 | |
S-adeu-49 | UNSAT | 9.81 | |
S-edau-23 | FAIL | 10.5 | |
T-adeu-39 | UNSAT | 12.43 | |
S-edau-29 | UNSAT | 17.24 | |
S-adeu-19 | UNSAT | 19.74 | |
S-adeu-15 | UNSAT | 22.72 | |
T-adeu-15 | UNSAT | 26.88 | |
T-adeu-7 | UNSAT | 39.31 | |
T-edau-44 | UNSAT | 41.36 | |
T-adeu-49 | UNSAT | 41.78 | |
S-edau-34 | UNSAT | 43.27 | |
S-adeu-47 | UNSAT | 49.88 | |
T-adeu-25 | UNSAT | 61.61 | |
S-adeu-6 | UNSAT | 96.11 | |
S-edau-1 | UNSAT | 98.45 | |
S-edau-20 | UNSAT | 105.27 | |
T-edau-9 | UNSAT | 113.18 | |
T-adeu-10 | UNSAT | 128.75 | |
T-edau-26 | UNSAT | 393.68 | |
T-adeu-42 | UNSAT | 448.73 | |
S-adeu-32 | FAIL | 599.68 | |
S-adeu-29 | FAIL | 599.68 | |
T-adeu-6 | FAIL | 599.68 | |
S-adeu-30 | FAIL | 599.7 | |
S-edau-17 | FAIL | 599.71 | |
T-adeu-38 | FAIL | 599.78 | |
T-edau-6 | FAIL | 599.8 | |
S-adeu-28 | FAIL | 599.82 |