Instance | Result | Time | |
---|---|---|---|
T-edau-7 | UNSAT | 3.38 | |
T-edau-9 | UNSAT | 3.46 | |
T-edau-6 | UNSAT | 3.52 | |
T-adeu-6 | UNSAT | 3.59 | |
T-adeu-5 | UNSAT | 3.59 | |
T-edau-5 | UNSAT | 3.73 | |
T-edau-8 | UNSAT | 4.11 | |
T-adeu-1 | UNSAT | 4.21 | |
T-edau-1 | UNSAT | 4.44 | |
T-adeu-2 | UNSAT | 4.5 | |
T-edau-2 | UNSAT | 4.56 | |
T-edau-4 | UNSAT | 4.6 | |
T-adeu-4 | UNSAT | 5.2 | |
T-adeu-8 | UNSAT | 5.55 | |
T-edau-0 | UNSAT | 6.4 | |
T-adeu-7 | UNSAT | 6.92 | |
T-adeu-0 | UNSAT | 7.36 | |
T-adeu-9 | UNSAT | 7.38 | |
T-edau-3 | UNSAT | 7.46 | |
T-adeu-3 | UNSAT | 7.92 | |
S-edau-8 | UNSAT | 35.22 | |
S-edau-9 | UNSAT | 36.5 | |
S-edau-7 | UNSAT | 42.38 | |
S-edau-5 | UNSAT | 95.95 | |
S-adeu-4 | UNSAT | 200.37 | |
S-adeu-5 | UNSAT | 218.6 | |
S-adeu-8 | UNSAT | 302.25 | |
S-edau-1 | FAIL | 599.44 | |
S-edau-3 | FAIL | 639.85 | |
S-edau-2 | FAIL | 686.33 | |
S-edau-4 | FAIL | 751.48 | |
S-edau-0 | FAIL | 767.28 | |
S-edau-6 | FAIL | 931.25 | |
S-adeu-7 | UNSAT | 1193.76 | |
S-adeu-6 | FAIL | 1914.54 | |
S-adeu-3 | FAIL | 2231.27 | |
S-adeu-9 | FAIL | 2365.73 | |
S-adeu-1 | FAIL | 2409.47 | |
S-adeu-0 | FAIL | 2801.5 | |
S-adeu-2 | FAIL | 3236.82 |