Instance | Result | Time | |
---|---|---|---|
T-edau-1 | UNSAT | 0.16 | |
T-edau-8 | UNSAT | 0.17 | |
T-edau-3 | UNSAT | 0.2 | |
T-edau-9 | UNSAT | 0.2 | |
T-edau-4 | UNSAT | 0.27 | |
T-edau-5 | UNSAT | 0.29 | |
T-adeu-1 | UNSAT | 0.33 | |
T-edau-2 | UNSAT | 0.35 | |
T-adeu-5 | UNSAT | 0.46 | |
T-edau-7 | UNSAT | 0.46 | |
T-adeu-8 | UNSAT | 0.48 | |
T-adeu-3 | UNSAT | 0.5 | |
T-adeu-7 | UNSAT | 0.55 | |
T-adeu-4 | UNSAT | 0.56 | |
T-edau-6 | UNSAT | 0.82 | |
T-adeu-9 | UNSAT | 1.19 | |
T-edau-0 | UNSAT | 1.73 | |
T-adeu-2 | UNSAT | 1.97 | |
T-adeu-6 | UNSAT | 2.11 | |
S-edau-8 | UNSAT | 3.19 | |
S-edau-5 | UNSAT | 3.19 | |
S-edau-1 | UNSAT | 3.21 | |
S-edau-9 | UNSAT | 3.23 | |
S-edau-3 | UNSAT | 3.28 | |
S-adeu-8 | UNSAT | 3.28 | |
S-adeu-9 | UNSAT | 3.29 | |
S-adeu-3 | UNSAT | 3.29 | |
S-adeu-1 | UNSAT | 3.32 | |
S-edau-4 | UNSAT | 3.45 | |
S-adeu-5 | UNSAT | 3.47 | |
S-adeu-7 | UNSAT | 3.82 | |
S-adeu-4 | UNSAT | 3.85 | |
S-edau-2 | UNSAT | 3.85 | |
S-edau-7 | UNSAT | 3.96 | |
T-adeu-0 | UNSAT | 4.72 | |
S-edau-6 | UNSAT | 4.79 | |
S-adeu-6 | UNSAT | 6.58 | |
S-edau-0 | UNSAT | 8.15 | |
S-adeu-2 | UNSAT | 8.23 | |
S-adeu-0 | UNSAT | 16.16 |