Instance | Result | Time | |
---|---|---|---|
T-edau-5 | UNSAT | 1.72 | |
T-edau-6 | UNSAT | 1.82 | |
T-edau-1 | UNSAT | 1.88 | |
T-adeu-5 | UNSAT | 1.91 | |
S-edau-5 | UNSAT | 1.93 | |
S-edau-6 | UNSAT | 2.01 | |
S-edau-1 | UNSAT | 2.06 | |
S-adeu-5 | UNSAT | 2.06 | |
T-edau-0 | UNSAT | 2.06 | |
T-edau-9 | UNSAT | 2.07 | |
T-edau-4 | UNSAT | 2.07 | |
T-edau-7 | UNSAT | 2.1 | |
S-adeu-4 | UNSAT | 2.12 | |
T-adeu-4 | UNSAT | 2.12 | |
T-adeu-7 | UNSAT | 2.15 | |
T-edau-3 | UNSAT | 2.18 | |
T-edau-8 | UNSAT | 2.22 | |
T-adeu-8 | UNSAT | 2.23 | |
S-adeu-7 | UNSAT | 2.25 | |
S-edau-4 | UNSAT | 2.28 | |
S-edau-7 | UNSAT | 2.32 | |
S-edau-9 | UNSAT | 2.32 | |
S-adeu-8 | UNSAT | 2.33 | |
T-edau-2 | UNSAT | 2.38 | |
S-edau-0 | UNSAT | 2.38 | |
S-edau-3 | UNSAT | 2.43 | |
S-edau-8 | UNSAT | 2.46 | |
S-edau-2 | UNSAT | 2.66 | |
S-adeu-1 | UNSAT | 2.82 | |
T-adeu-6 | UNSAT | 3.27 | |
T-adeu-1 | UNSAT | 3.3 | |
T-adeu-9 | UNSAT | 3.3 | |
S-adeu-3 | UNSAT | 3.32 | |
S-adeu-9 | UNSAT | 3.42 | |
S-adeu-0 | UNSAT | 3.45 | |
S-adeu-6 | UNSAT | 3.46 | |
T-adeu-0 | UNSAT | 3.54 | |
S-adeu-2 | UNSAT | 3.66 | |
T-adeu-3 | UNSAT | 3.92 | |
T-adeu-2 | UNSAT | 4.02 |