Instance | Result | Time | |
---|---|---|---|
T-edau-9 | UNSAT | 5.01 | |
T-edau-5 | UNSAT | 5.65 | |
T-edau-7 | UNSAT | 5.86 | |
T-edau-1 | UNSAT | 6.71 | |
T-edau-6 | UNSAT | 6.94 | |
T-edau-8 | UNSAT | 7.15 | |
T-edau-0 | UNSAT | 7.75 | |
T-edau-2 | UNSAT | 8.69 | |
T-edau-4 | UNSAT | 8.95 | |
T-adeu-5 | UNSAT | 9.75 | |
T-adeu-8 | UNSAT | 11.44 | |
T-edau-3 | UNSAT | 14.2 | |
T-adeu-1 | UNSAT | 16.13 | |
T-adeu-4 | UNSAT | 16.28 | |
T-adeu-7 | UNSAT | 18.13 | |
T-adeu-6 | UNSAT | 18.21 | |
T-adeu-0 | UNSAT | 25.68 | |
T-adeu-2 | UNSAT | 26.18 | |
T-adeu-9 | UNSAT | 38.52 | |
T-adeu-3 | UNSAT | 50.64 | |
S-adeu-5 | UNSAT | 95.61 | |
S-adeu-7 | UNSAT | 112.51 | |
S-adeu-8 | UNSAT | 170.87 | |
S-adeu-4 | UNSAT | 177.71 | |
S-edau-7 | FAIL | 515.55 | |
S-edau-9 | FAIL | 545.71 | |
S-edau-1 | FAIL | 558.12 | |
S-edau-3 | FAIL | 597.02 | |
S-edau-2 | FAIL | 656.44 | |
S-edau-0 | FAIL | 682.91 | |
S-edau-8 | FAIL | 690.14 | |
S-edau-4 | FAIL | 736.35 | |
S-edau-5 | FAIL | 845.89 | |
S-edau-6 | FAIL | 878.8 | |
S-adeu-3 | FAIL | 1869.14 | |
S-adeu-9 | FAIL | 2216.77 | |
S-adeu-1 | FAIL | 2653.49 | |
S-adeu-6 | FAIL | 2658.21 | |
S-adeu-0 | FAIL | 2790.63 | |
S-adeu-2 | FAIL | 2792.67 |