Instance | Result | Time | |
---|---|---|---|
T-edau-7 | UNSAT | 3.45 | |
T-edau-9 | UNSAT | 3.46 | |
T-adeu-6 | UNSAT | 3.6 | |
T-edau-6 | UNSAT | 3.69 | |
T-edau-5 | UNSAT | 3.77 | |
T-adeu-5 | UNSAT | 3.78 | |
T-edau-8 | UNSAT | 4.25 | |
T-adeu-1 | UNSAT | 4.3 | |
T-edau-1 | UNSAT | 4.39 | |
T-adeu-2 | UNSAT | 4.67 | |
T-edau-2 | UNSAT | 4.7 | |
T-edau-4 | UNSAT | 4.75 | |
T-adeu-4 | UNSAT | 5.4 | |
T-adeu-8 | UNSAT | 5.7 | |
T-edau-0 | UNSAT | 6.38 | |
T-adeu-7 | UNSAT | 7.19 | |
T-adeu-9 | UNSAT | 7.45 | |
T-edau-3 | UNSAT | 7.51 | |
T-adeu-0 | UNSAT | 7.6 | |
T-adeu-3 | UNSAT | 8.39 | |
S-edau-8 | UNSAT | 35.76 | |
S-edau-9 | UNSAT | 37.65 | |
S-edau-7 | UNSAT | 43.16 | |
S-edau-5 | UNSAT | 96.38 | |
S-adeu-4 | UNSAT | 204.96 | |
S-adeu-5 | UNSAT | 220.91 | |
S-adeu-8 | UNSAT | 331.65 | |
S-edau-1 | FAIL | 496.6 | |
S-edau-3 | FAIL | 523.39 | |
S-edau-2 | FAIL | 566.42 | |
S-edau-4 | FAIL | 599.36 | |
S-edau-0 | FAIL | 629.96 | |
S-edau-6 | FAIL | 790.62 | |
S-adeu-7 | UNSAT | 1252.89 | |
S-adeu-1 | FAIL | 1564.13 | |
S-adeu-3 | FAIL | 1565.38 | |
S-adeu-9 | FAIL | 1707.94 | |
S-adeu-6 | FAIL | 1724.41 | |
S-adeu-2 | FAIL | 1935.87 | |
S-adeu-0 | FAIL | 2092.68 |