Instance | Result | Time | |
---|---|---|---|
T-adeu-2 | UNSAT | 0.65 | |
T-adeu-5 | UNSAT | 0.68 | |
T-adeu-3 | UNSAT | 0.7 | |
T-adeu-9 | UNSAT | 0.76 | |
T-edau-5 | UNSAT | 0.77 | |
T-edau-3 | UNSAT | 0.81 | |
T-edau-9 | UNSAT | 0.84 | |
T-adeu-0 | UNSAT | 0.88 | |
T-adeu-1 | UNSAT | 0.88 | |
T-adeu-4 | UNSAT | 0.9 | |
T-edau-0 | UNSAT | 0.95 | |
T-edau-2 | UNSAT | 0.96 | |
T-adeu-8 | UNSAT | 1 | |
T-adeu-6 | UNSAT | 1 | |
T-edau-1 | UNSAT | 1.05 | |
T-edau-4 | UNSAT | 1.06 | |
T-edau-6 | UNSAT | 1.07 | |
T-adeu-7 | UNSAT | 1.12 | |
T-edau-8 | UNSAT | 1.31 | |
T-edau-7 | UNSAT | 1.33 | |
S-edau-7 | UNSAT | 4.33 | |
S-edau-2 | UNSAT | 4.4 | |
S-edau-9 | UNSAT | 4.51 | |
S-edau-3 | UNSAT | 4.57 | |
S-edau-4 | UNSAT | 4.7 | |
S-edau-5 | UNSAT | 4.77 | |
S-edau-8 | UNSAT | 4.79 | |
S-edau-1 | UNSAT | 4.83 | |
S-edau-6 | UNSAT | 4.96 | |
S-edau-0 | UNSAT | 5.01 | |
S-adeu-7 | UNSAT | 12.04 | |
S-adeu-2 | UNSAT | 13.43 | |
S-adeu-3 | UNSAT | 13.44 | |
S-adeu-9 | UNSAT | 13.53 | |
S-adeu-5 | UNSAT | 13.65 | |
S-adeu-6 | UNSAT | 13.89 | |
S-adeu-4 | UNSAT | 15.15 | |
S-adeu-8 | UNSAT | 15.62 | |
S-adeu-1 | UNSAT | 15.83 | |
S-adeu-0 | UNSAT | 16.55 |