Instance | Result | Time | |
---|---|---|---|
S-edau-2 | UNSAT | 0.85 | |
S-edau-7 | UNSAT | 0.88 | |
S-edau-4 | UNSAT | 0.93 | |
S-edau-8 | UNSAT | 0.96 | |
S-edau-6 | UNSAT | 0.97 | |
S-edau-5 | UNSAT | 0.99 | |
S-edau-1 | UNSAT | 1.03 | |
S-edau-3 | UNSAT | 1.03 | |
S-edau-0 | UNSAT | 1.15 | |
S-adeu-6 | UNSAT | 1.31 | |
S-edau-9 | UNSAT | 1.33 | |
S-adeu-7 | UNSAT | 1.38 | |
S-adeu-5 | UNSAT | 1.43 | |
S-adeu-4 | UNSAT | 1.56 | |
S-adeu-8 | UNSAT | 1.61 | |
S-adeu-3 | UNSAT | 1.78 | |
S-adeu-0 | UNSAT | 1.9 | |
S-adeu-2 | UNSAT | 2.18 | |
S-adeu-9 | UNSAT | 2.27 | |
S-adeu-1 | UNSAT | 2.59 | |
T-edau-4 | UNSAT | 2.96 | |
T-edau-0 | UNSAT | 3.22 | |
T-edau-9 | UNSAT | 3.34 | |
T-adeu-4 | UNSAT | 3.35 | |
T-edau-1 | UNSAT | 3.37 | |
T-edau-3 | UNSAT | 3.44 | |
T-edau-2 | UNSAT | 3.75 | |
T-edau-6 | UNSAT | 3.93 | |
T-edau-8 | UNSAT | 4.3 | |
T-edau-5 | UNSAT | 4.38 | |
T-adeu-0 | UNSAT | 4.55 | |
T-adeu-9 | UNSAT | 4.84 | |
T-edau-7 | UNSAT | 5.09 | |
T-adeu-1 | UNSAT | 5.18 | |
T-adeu-2 | UNSAT | 5.2 | |
T-adeu-6 | UNSAT | 5.55 | |
T-adeu-8 | UNSAT | 5.64 | |
T-adeu-5 | UNSAT | 5.64 | |
T-adeu-3 | UNSAT | 5.98 | |
T-adeu-7 | UNSAT | 7.72 |