Instance | Result | Time | |
---|---|---|---|
S-edau-5 | UNSAT | 0.86 | |
T-edau-2 | UNSAT | 0.9 | |
S-edau-6 | UNSAT | 0.94 | |
S-edau-2 | UNSAT | 1.06 | |
S-edau-7 | UNSAT | 1.12 | |
S-edau-9 | UNSAT | 2.11 | |
S-edau-1 | UNSAT | 2.22 | |
S-edau-3 | UNSAT | 2.31 | |
T-adeu-4 | UNSAT | 2.76 | |
S-edau-4 | UNSAT | 2.89 | |
S-edau-8 | UNSAT | 3.01 | |
T-adeu-8 | UNSAT | 3.1 | |
S-adeu-4 | UNSAT | 3.96 | |
S-edau-0 | UNSAT | 4.11 | |
T-edau-8 | UNSAT | 4.21 | |
S-adeu-8 | UNSAT | 4.85 | |
T-edau-0 | UNSAT | 5.23 | |
T-adeu-5 | UNSAT | 5.9 | |
T-edau-4 | UNSAT | 8.45 | |
T-edau-6 | UNSAT | 8.72 | |
T-edau-7 | UNSAT | 10.79 | |
T-edau-1 | UNSAT | 11.76 | |
S-adeu-5 | UNSAT | 12.6 | |
T-edau-9 | UNSAT | 14.4 | |
T-edau-3 | UNSAT | 14.71 | |
T-edau-5 | UNSAT | 20.66 | |
S-adeu-7 | UNSAT | 25.5 | |
T-adeu-7 | UNSAT | 47.04 | |
T-adeu-6 | UNSAT | 60.76 | |
T-adeu-9 | UNSAT | 65.86 | |
T-adeu-1 | UNSAT | 66.4 | |
T-adeu-2 | UNSAT | 71.34 | |
S-adeu-9 | UNSAT | 114.7 | |
T-adeu-0 | UNSAT | 121.08 | |
S-adeu-3 | UNSAT | 157.96 | |
S-adeu-1 | UNSAT | 176.14 | |
S-adeu-6 | UNSAT | 200.41 | |
T-adeu-3 | UNSAT | 202.37 | |
S-adeu-2 | UNSAT | 211.7 | |
S-adeu-0 | UNSAT | 719.75 |