Instance | Result | Time | |
---|---|---|---|
T-adeu-3 | UNSAT | 2.57 | |
T-adeu-2 | UNSAT | 2.69 | |
T-adeu-5 | UNSAT | 2.72 | |
T-adeu-9 | UNSAT | 2.77 | |
T-edau-5 | UNSAT | 2.78 | |
T-edau-3 | UNSAT | 2.79 | |
T-adeu-4 | UNSAT | 2.81 | |
T-adeu-1 | UNSAT | 2.83 | |
T-adeu-0 | UNSAT | 2.84 | |
T-edau-9 | UNSAT | 2.9 | |
T-adeu-6 | UNSAT | 2.92 | |
T-adeu-8 | UNSAT | 2.95 | |
T-edau-2 | UNSAT | 2.96 | |
T-edau-0 | UNSAT | 2.96 | |
T-edau-4 | UNSAT | 2.98 | |
T-edau-1 | UNSAT | 3.12 | |
T-edau-6 | UNSAT | 3.14 | |
T-adeu-7 | UNSAT | 3.16 | |
T-edau-8 | UNSAT | 3.27 | |
T-edau-7 | UNSAT | 3.28 | |
S-edau-7 | UNSAT | 11.36 | |
S-edau-3 | UNSAT | 11.49 | |
S-edau-2 | UNSAT | 11.52 | |
S-edau-9 | UNSAT | 11.57 | |
S-edau-4 | UNSAT | 11.73 | |
S-edau-8 | UNSAT | 11.91 | |
S-edau-1 | UNSAT | 11.93 | |
S-edau-5 | UNSAT | 11.99 | |
S-edau-6 | UNSAT | 12 | |
S-edau-0 | UNSAT | 12.22 | |
S-adeu-7 | UNSAT | 19.13 | |
S-adeu-9 | UNSAT | 20.37 | |
S-adeu-2 | UNSAT | 20.44 | |
S-adeu-3 | UNSAT | 20.67 | |
S-adeu-5 | UNSAT | 20.89 | |
S-adeu-6 | UNSAT | 20.91 | |
S-adeu-4 | UNSAT | 21.89 | |
S-adeu-8 | UNSAT | 22.33 | |
S-adeu-1 | UNSAT | 22.79 | |
S-adeu-0 | UNSAT | 23.23 |