Instance | Result | Time | |
---|---|---|---|
S-edau-43 | UNSAT | 2.49 | |
T-edau-23 | UNSAT | 3.03 | |
T-edau-20 | UNSAT | 3.04 | |
T-edau-18 | UNSAT | 3.11 | |
T-edau-8 | UNSAT | 3.43 | |
S-edau-30 | UNSAT | 4.23 | |
S-edau-7 | UNSAT | 4.37 | |
S-edau-8 | UNSAT | 4.43 | |
S-adeu-32 | UNSAT | 6.99 | |
S-adeu-19 | UNSAT | 8.28 | |
T-edau-26 | UNSAT | 8.44 | |
T-adeu-6 | UNSAT | 8.52 | |
T-edau-24 | UNSAT | 8.58 | |
S-adeu-28 | UNSAT | 8.69 | |
S-adeu-49 | UNSAT | 9.12 | |
T-edau-2 | UNSAT | 9.42 | |
T-adeu-9 | UNSAT | 9.9 | |
S-edau-1 | UNSAT | 10.06 | |
S-adeu-30 | UNSAT | 10.92 | |
S-adeu-41 | UNSAT | 10.93 | |
S-adeu-47 | UNSAT | 10.98 | |
T-adeu-49 | UNSAT | 11.06 | |
S-edau-34 | UNSAT | 11.21 | |
S-adeu-15 | UNSAT | 11.34 | |
S-adeu-6 | UNSAT | 11.49 | |
T-adeu-42 | UNSAT | 11.5 | |
T-adeu-10 | UNSAT | 11.63 | |
T-adeu-15 | UNSAT | 11.71 | |
T-adeu-25 | UNSAT | 12.2 | |
S-edau-20 | UNSAT | 12.32 | |
T-adeu-38 | UNSAT | 12.32 | |
S-edau-23 | UNSAT | 12.39 | |
T-edau-6 | UNSAT | 12.56 | |
S-edau-17 | UNSAT | 12.81 | |
T-adeu-7 | UNSAT | 12.91 | |
S-adeu-29 | UNSAT | 14.63 | |
T-adeu-39 | UNSAT | 14.89 | |
T-edau-44 | UNSAT | 15.87 | |
S-edau-29 | UNSAT | 16.09 | |
T-edau-9 | UNSAT | 16.38 |