Instance | Result | Time | |
---|---|---|---|
T-edau-6 | UNSAT | 0.33 | |
T-edau-20 | UNSAT | 0.35 | |
T-edau-44 | UNSAT | 0.36 | |
T-edau-9 | UNSAT | 0.37 | |
T-edau-26 | UNSAT | 0.42 | |
T-edau-2 | UNSAT | 0.42 | |
T-edau-18 | UNSAT | 0.42 | |
T-edau-8 | UNSAT | 0.42 | |
T-edau-24 | UNSAT | 0.43 | |
T-edau-23 | UNSAT | 0.44 | |
S-edau-29 | UNSAT | 0.66 | |
S-edau-34 | UNSAT | 0.67 | |
S-edau-7 | UNSAT | 0.68 | |
S-edau-30 | UNSAT | 0.69 | |
S-edau-43 | UNSAT | 0.69 | |
S-edau-17 | UNSAT | 0.7 | |
S-edau-23 | UNSAT | 0.72 | |
S-edau-1 | UNSAT | 0.76 | |
S-edau-8 | UNSAT | 0.82 | |
S-edau-20 | UNSAT | 0.83 | |
S-adeu-47 | UNSAT | 1.96 | |
S-adeu-19 | UNSAT | 2.06 | |
S-adeu-28 | UNSAT | 2.08 | |
S-adeu-29 | UNSAT | 2.1 | |
T-adeu-15 | UNSAT | 2.13 | |
S-adeu-49 | UNSAT | 2.14 | |
S-adeu-15 | UNSAT | 2.22 | |
S-adeu-32 | UNSAT | 2.27 | |
S-adeu-6 | UNSAT | 2.28 | |
S-adeu-30 | UNSAT | 2.3 | |
S-adeu-41 | UNSAT | 2.32 | |
T-adeu-25 | UNSAT | 2.92 | |
T-adeu-49 | UNSAT | 7.13 | |
T-adeu-7 | UNSAT | 9.05 | |
T-adeu-39 | UNSAT | 20.98 | |
T-adeu-42 | UNSAT | 38 | |
T-adeu-38 | UNSAT | 51.62 | |
T-adeu-6 | UNSAT | 81.57 | |
T-adeu-10 | UNSAT | 96.84 | |
T-adeu-9 | UNSAT | 185.87 |