Instance | Result | Time | |
---|---|---|---|
S-edau-43 | UNSAT | 2.51 | |
T-edau-23 | UNSAT | 3.13 | |
T-edau-18 | UNSAT | 3.16 | |
T-edau-20 | UNSAT | 3.17 | |
T-edau-8 | UNSAT | 3.48 | |
T-adeu-6 | UNSAT | 3.68 | |
S-edau-30 | UNSAT | 4.32 | |
T-adeu-38 | UNSAT | 4.33 | |
T-edau-26 | UNSAT | 4.35 | |
S-edau-7 | UNSAT | 4.41 | |
S-edau-8 | UNSAT | 4.52 | |
T-edau-6 | UNSAT | 5.44 | |
T-edau-44 | UNSAT | 5.47 | |
T-edau-24 | UNSAT | 5.6 | |
T-edau-2 | UNSAT | 5.75 | |
S-adeu-19 | UNSAT | 5.76 | |
T-adeu-10 | UNSAT | 5.78 | |
S-adeu-32 | UNSAT | 5.79 | |
T-adeu-9 | UNSAT | 5.82 | |
T-edau-9 | UNSAT | 5.86 | |
S-edau-1 | UNSAT | 6.18 | |
S-adeu-30 | UNSAT | 7.98 | |
S-adeu-28 | UNSAT | 8.14 | |
S-adeu-29 | UNSAT | 8.83 | |
S-adeu-47 | UNSAT | 8.93 | |
S-adeu-49 | UNSAT | 9.8 | |
T-adeu-42 | UNSAT | 11 | |
T-adeu-25 | UNSAT | 11.48 | |
S-adeu-41 | UNSAT | 12.72 | |
T-adeu-49 | UNSAT | 13.55 | |
S-adeu-6 | UNSAT | 15.24 | |
S-edau-20 | UNSAT | 15.73 | |
S-edau-17 | UNSAT | 17.34 | |
T-adeu-7 | UNSAT | 17.65 | |
T-adeu-39 | UNSAT | 18.1 | |
T-adeu-15 | UNSAT | 18.79 | |
S-edau-29 | UNSAT | 22.94 | |
S-edau-23 | FAIL | 26.74 | |
S-edau-34 | UNSAT | 27.44 | |
S-adeu-15 | UNSAT | 27.52 |