Instance | Result | Time | |
---|---|---|---|
S-edau-23 | UNSAT | 5.33 | |
S-edau-17 | UNSAT | 5.44 | |
S-edau-7 | UNSAT | 5.53 | |
S-edau-29 | UNSAT | 5.58 | |
S-adeu-32 | UNSAT | 5.61 | |
T-edau-20 | UNSAT | 5.63 | |
S-edau-20 | UNSAT | 5.64 | |
S-adeu-47 | UNSAT | 5.98 | |
S-adeu-28 | UNSAT | 6.04 | |
S-adeu-29 | UNSAT | 6.06 | |
S-adeu-15 | UNSAT | 6.19 | |
T-edau-18 | UNSAT | 6.41 | |
S-edau-30 | UNSAT | 6.45 | |
S-adeu-30 | UNSAT | 6.55 | |
T-adeu-15 | UNSAT | 6.62 | |
T-adeu-25 | UNSAT | 6.74 | |
S-adeu-49 | UNSAT | 7.07 | |
S-edau-34 | UNSAT | 7.19 | |
T-edau-23 | UNSAT | 8.33 | |
T-adeu-49 | UNSAT | 8.62 | |
S-edau-8 | UNSAT | 8.75 | |
S-adeu-41 | UNSAT | 8.96 | |
T-adeu-7 | UNSAT | 9.39 | |
S-edau-43 | UNSAT | 9.63 | |
T-adeu-39 | UNSAT | 12.61 | |
T-adeu-6 | UNSAT | 12.74 | |
T-edau-44 | UNSAT | 12.86 | |
T-edau-8 | UNSAT | 12.95 | |
T-edau-6 | UNSAT | 13.47 | |
T-adeu-10 | UNSAT | 13.86 | |
T-edau-2 | UNSAT | 14.75 | |
T-adeu-9 | UNSAT | 15.63 | |
T-edau-9 | UNSAT | 16.76 | |
T-edau-26 | UNSAT | 18.46 | |
T-edau-24 | UNSAT | 18.67 | |
T-adeu-42 | UNSAT | 20.93 | |
T-adeu-38 | UNSAT | 21.78 | |
S-adeu-6 | UNSAT | 467.8 | |
S-edau-1 | FAIL | 599.71 | |
S-adeu-19 | FAIL | 599.81 |