Instance | Result | Time | |
---|---|---|---|
T-adeu-5 | UNSAT | 1.94 | |
T-adeu-1 | UNSAT | 1.99 | |
S-adeu-4 | UNSAT | 2.02 | |
S-edau-4 | UNSAT | 2.07 | |
T-adeu-0 | UNSAT | 2.14 | |
T-edau-7 | UNSAT | 2.15 | |
S-edau-5 | UNSAT | 2.2 | |
T-adeu-9 | UNSAT | 2.2 | |
T-adeu-4 | UNSAT | 2.21 | |
T-adeu-7 | UNSAT | 2.23 | |
S-edau-7 | UNSAT | 2.24 | |
S-adeu-5 | UNSAT | 2.24 | |
T-adeu-2 | UNSAT | 2.3 | |
T-adeu-3 | UNSAT | 2.31 | |
S-edau-8 | UNSAT | 2.35 | |
T-adeu-8 | UNSAT | 2.36 | |
S-adeu-8 | UNSAT | 2.37 | |
S-adeu-0 | UNSAT | 2.38 | |
S-adeu-1 | UNSAT | 2.4 | |
S-adeu-2 | UNSAT | 2.42 | |
S-adeu-9 | UNSAT | 2.62 | |
S-adeu-3 | UNSAT | 2.67 | |
S-adeu-7 | UNSAT | 2.7 | |
S-adeu-6 | UNSAT | 2.75 | |
T-edau-5 | UNSAT | 3.05 | |
T-edau-8 | UNSAT | 3.39 | |
S-edau-2 | UNSAT | 3.5 | |
S-edau-3 | UNSAT | 3.54 | |
S-edau-1 | UNSAT | 3.92 | |
S-edau-0 | UNSAT | 3.96 | |
T-edau-4 | UNSAT | 4.05 | |
S-edau-9 | UNSAT | 4.06 | |
T-edau-0 | UNSAT | 4.34 | |
T-edau-6 | UNSAT | 4.76 | |
S-edau-6 | UNSAT | 4.76 | |
T-edau-3 | UNSAT | 4.84 | |
T-edau-1 | UNSAT | 5.26 | |
T-edau-9 | UNSAT | 5.48 | |
T-adeu-6 | UNSAT | 5.53 | |
T-edau-2 | UNSAT | 5.86 |