Instance | Result | Time | |
---|---|---|---|
T-adeu-9 | UNSAT | 0.61 | |
T-adeu-3 | UNSAT | 0.67 | |
T-adeu-5 | UNSAT | 0.71 | |
T-adeu-2 | UNSAT | 0.72 | |
T-edau-5 | UNSAT | 0.77 | |
T-adeu-4 | UNSAT | 0.79 | |
T-edau-3 | UNSAT | 0.8 | |
T-adeu-1 | UNSAT | 0.82 | |
T-edau-9 | UNSAT | 0.82 | |
T-adeu-6 | UNSAT | 0.88 | |
T-adeu-0 | UNSAT | 0.91 | |
T-edau-2 | UNSAT | 0.92 | |
T-adeu-8 | UNSAT | 0.95 | |
T-edau-4 | UNSAT | 1.02 | |
T-edau-0 | UNSAT | 1.03 | |
T-adeu-7 | UNSAT | 1.06 | |
T-edau-1 | UNSAT | 1.12 | |
T-edau-6 | UNSAT | 1.17 | |
T-edau-7 | UNSAT | 1.28 | |
T-edau-8 | UNSAT | 1.29 | |
S-edau-7 | UNSAT | 3.24 | |
S-edau-2 | UNSAT | 3.25 | |
S-edau-9 | UNSAT | 3.33 | |
S-edau-3 | UNSAT | 3.48 | |
S-edau-8 | UNSAT | 3.53 | |
S-edau-4 | UNSAT | 3.61 | |
S-edau-5 | UNSAT | 3.75 | |
S-edau-1 | UNSAT | 3.78 | |
S-edau-6 | UNSAT | 3.85 | |
S-edau-0 | UNSAT | 4.08 | |
S-adeu-7 | UNSAT | 11.58 | |
S-adeu-2 | UNSAT | 12.22 | |
S-adeu-9 | UNSAT | 12.36 | |
S-adeu-3 | UNSAT | 12.8 | |
S-adeu-5 | UNSAT | 12.93 | |
S-adeu-6 | UNSAT | 13.29 | |
S-adeu-4 | UNSAT | 13.53 | |
S-adeu-8 | UNSAT | 14.24 | |
S-adeu-0 | UNSAT | 14.99 | |
S-adeu-1 | UNSAT | 15.11 |