Instance | Result | Time | |
---|---|---|---|
T-edau-0 | UNSAT | 1.95 | |
T-edau-6 | UNSAT | 2.17 | |
T-edau-4 | UNSAT | 2.41 | |
T-edau-1 | UNSAT | 2.78 | |
T-edau-5 | UNSAT | 2.8 | |
T-edau-2 | UNSAT | 3.33 | |
T-edau-9 | UNSAT | 3.43 | |
T-edau-3 | UNSAT | 4.14 | |
T-edau-7 | UNSAT | 4.68 | |
S-edau-0 | UNSAT | 9.64 | |
S-edau-4 | UNSAT | 9.65 | |
S-edau-6 | UNSAT | 9.75 | |
S-edau-1 | UNSAT | 9.95 | |
S-edau-2 | UNSAT | 10.76 | |
S-edau-5 | UNSAT | 11.1 | |
S-edau-9 | UNSAT | 11.53 | |
S-edau-3 | UNSAT | 13.37 | |
S-edau-7 | UNSAT | 13.85 | |
S-adeu-6 | UNSAT | 36.31 | |
S-adeu-0 | UNSAT | 37.29 | |
T-edau-8 | UNSAT | 38.81 | |
T-adeu-8 | UNSAT | 39.06 | |
S-adeu-4 | UNSAT | 41.45 | |
S-adeu-1 | UNSAT | 52.95 | |
S-adeu-5 | UNSAT | 53.08 | |
S-edau-8 | UNSAT | 64.46 | |
S-adeu-2 | UNSAT | 66.46 | |
S-adeu-9 | UNSAT | 77.16 | |
T-adeu-7 | UNSAT | 89.8 | |
S-adeu-3 | UNSAT | 92.32 | |
S-adeu-7 | UNSAT | 97.27 | |
T-adeu-4 | UNSAT | 102.63 | |
T-adeu-5 | UNSAT | 298.68 | |
T-adeu-9 | FAIL | 599.73 | |
T-adeu-0 | FAIL | 599.96 | |
T-adeu-1 | FAIL | 599.97 | |
S-adeu-8 | UNSAT | 991.61 | |
T-adeu-3 | UNSAT | 2424.62 | |
T-adeu-6 | UNSAT | 3007.55 | |
T-adeu-2 | UNSAT | 3263.73 |