Instance | Result | Time | |
---|---|---|---|
T-edau-20 | UNSAT | 0.95 | |
T-edau-18 | UNSAT | 0.98 | |
S-edau-8 | UNSAT | 0.99 | |
S-adeu-32 | UNSAT | 1.04 | |
T-edau-8 | UNSAT | 1.06 | |
T-edau-23 | UNSAT | 1.07 | |
S-adeu-30 | UNSAT | 1.17 | |
S-edau-17 | UNSAT | 1.23 | |
S-edau-20 | UNSAT | 1.25 | |
S-edau-30 | UNSAT | 1.26 | |
S-edau-34 | UNSAT | 1.33 | |
S-adeu-49 | UNSAT | 1.35 | |
T-adeu-25 | UNSAT | 1.36 | |
S-adeu-28 | UNSAT | 1.41 | |
S-edau-7 | UNSAT | 1.66 | |
S-edau-29 | UNSAT | 1.77 | |
S-edau-23 | UNSAT | 1.88 | |
S-edau-43 | UNSAT | 2.5 | |
T-edau-6 | UNSAT | 3.42 | |
T-edau-2 | UNSAT | 3.7 | |
S-edau-1 | UNSAT | 4.15 | |
T-adeu-6 | UNSAT | 4.51 | |
T-edau-24 | UNSAT | 4.65 | |
T-adeu-15 | UNSAT | 4.89 | |
S-adeu-6 | UNSAT | 5.06 | |
T-edau-26 | UNSAT | 5.07 | |
S-adeu-29 | UNSAT | 5.28 | |
T-adeu-42 | UNSAT | 5.4 | |
T-edau-44 | UNSAT | 5.48 | |
S-adeu-15 | UNSAT | 5.8 | |
T-adeu-38 | UNSAT | 5.9 | |
T-adeu-10 | UNSAT | 6.82 | |
S-adeu-41 | UNSAT | 6.85 | |
T-adeu-7 | UNSAT | 7.11 | |
S-adeu-47 | UNSAT | 8.14 | |
T-adeu-49 | UNSAT | 11.55 | |
S-adeu-19 | UNSAT | 11.91 | |
T-adeu-39 | UNSAT | 16.11 | |
T-edau-9 | UNSAT | 18.53 | |
T-adeu-9 | UNSAT | 21.33 |