Instance | Result | Time | |
---|---|---|---|
S-edau-7 | UNSAT | 3.73 | |
S-edau-6 | UNSAT | 3.87 | |
S-edau-8 | UNSAT | 3.9 | |
S-edau-1 | UNSAT | 4 | |
S-edau-9 | UNSAT | 4.03 | |
S-edau-0 | UNSAT | 4.12 | |
S-edau-4 | UNSAT | 4.12 | |
S-adeu-8 | UNSAT | 4.19 | |
S-edau-3 | UNSAT | 4.31 | |
S-adeu-4 | UNSAT | 4.34 | |
S-edau-2 | UNSAT | 4.39 | |
S-adeu-7 | UNSAT | 4.43 | |
S-edau-5 | UNSAT | 4.48 | |
S-adeu-6 | UNSAT | 4.5 | |
S-adeu-3 | UNSAT | 4.72 | |
S-adeu-2 | UNSAT | 4.82 | |
S-adeu-5 | UNSAT | 4.83 | |
S-adeu-0 | UNSAT | 4.83 | |
S-adeu-1 | UNSAT | 5.24 | |
T-edau-4 | UNSAT | 5.24 | |
S-adeu-9 | UNSAT | 5.35 | |
T-adeu-4 | UNSAT | 5.64 | |
T-edau-0 | UNSAT | 5.77 | |
T-edau-9 | UNSAT | 5.93 | |
T-edau-3 | UNSAT | 5.96 | |
T-edau-2 | UNSAT | 6.24 | |
T-edau-1 | UNSAT | 6.26 | |
T-edau-5 | UNSAT | 6.48 | |
T-adeu-9 | UNSAT | 6.48 | |
T-edau-6 | UNSAT | 6.52 | |
T-adeu-0 | UNSAT | 6.83 | |
T-edau-8 | UNSAT | 7.06 | |
T-edau-7 | UNSAT | 7.1 | |
T-adeu-1 | UNSAT | 7.24 | |
T-adeu-2 | UNSAT | 7.26 | |
T-adeu-5 | UNSAT | 7.7 | |
T-adeu-8 | UNSAT | 7.78 | |
T-adeu-6 | UNSAT | 8.15 | |
T-adeu-3 | UNSAT | 8.17 | |
T-adeu-7 | UNSAT | 9.5 |