Instance | Result | Time | |
---|---|---|---|
S-adeu-8 | UNSAT | 1.93 | |
S-adeu-4 | UNSAT | 2.05 | |
T-adeu-8 | UNSAT | 2.75 | |
T-adeu-4 | UNSAT | 2.93 | |
T-edau-6 | UNSAT | 6.69 | |
T-edau-1 | UNSAT | 7.2 | |
T-edau-0 | UNSAT | 7.43 | |
T-edau-4 | UNSAT | 7.7 | |
S-edau-6 | UNSAT | 8.09 | |
T-edau-5 | UNSAT | 8.12 | |
T-edau-7 | UNSAT | 8.23 | |
S-edau-1 | UNSAT | 8.28 | |
T-edau-3 | UNSAT | 8.37 | |
S-edau-0 | UNSAT | 8.58 | |
S-edau-4 | UNSAT | 8.86 | |
S-edau-5 | UNSAT | 8.99 | |
S-edau-3 | UNSAT | 9.02 | |
S-edau-7 | UNSAT | 9.15 | |
S-adeu-5 | UNSAT | 9.29 | |
T-edau-8 | UNSAT | 9.58 | |
T-edau-9 | UNSAT | 9.68 | |
T-edau-2 | UNSAT | 9.77 | |
S-edau-9 | UNSAT | 9.99 | |
S-adeu-7 | UNSAT | 10.18 | |
S-edau-8 | UNSAT | 10.27 | |
S-edau-2 | UNSAT | 10.39 | |
T-adeu-5 | UNSAT | 14.62 | |
T-adeu-7 | UNSAT | 17.17 | |
T-adeu-1 | FAIL | 600.75 | |
T-adeu-0 | FAIL | 600.77 | |
S-adeu-0 | FAIL | 600.77 | |
T-adeu-6 | FAIL | 600.78 | |
S-adeu-9 | FAIL | 600.81 | |
T-adeu-9 | FAIL | 600.82 | |
T-adeu-3 | FAIL | 600.82 | |
S-adeu-3 | FAIL | 600.83 | |
S-adeu-6 | FAIL | 600.84 | |
S-adeu-1 | FAIL | 600.84 | |
S-adeu-2 | FAIL | 600.87 | |
T-adeu-2 | FAIL | 601.23 |