Instance | Result | Time | |
---|---|---|---|
S-edau-0 | UNSAT | 0.86 | |
S-edau-5 | UNSAT | 0.87 | |
S-edau-2 | UNSAT | 0.88 | |
S-edau-3 | UNSAT | 0.9 | |
T-edau-3 | UNSAT | 0.9 | |
S-edau-8 | UNSAT | 0.91 | |
S-edau-6 | UNSAT | 0.91 | |
S-edau-1 | UNSAT | 0.92 | |
T-edau-2 | UNSAT | 0.94 | |
S-edau-7 | UNSAT | 0.97 | |
S-edau-4 | UNSAT | 1.02 | |
S-edau-9 | UNSAT | 1.09 | |
T-edau-8 | UNSAT | 1.13 | |
T-adeu-3 | UNSAT | 1.38 | |
S-adeu-0 | UNSAT | 1.51 | |
S-adeu-8 | UNSAT | 1.55 | |
S-adeu-6 | UNSAT | 1.58 | |
S-adeu-7 | UNSAT | 1.58 | |
T-edau-7 | UNSAT | 1.6 | |
T-adeu-2 | UNSAT | 1.62 | |
S-adeu-1 | UNSAT | 1.65 | |
S-adeu-3 | UNSAT | 1.76 | |
S-adeu-4 | UNSAT | 1.77 | |
S-adeu-9 | UNSAT | 1.81 | |
T-edau-5 | UNSAT | 1.98 | |
T-edau-4 | UNSAT | 2.14 | |
S-adeu-2 | UNSAT | 2.21 | |
S-adeu-5 | UNSAT | 2.37 | |
T-adeu-4 | UNSAT | 2.55 | |
T-adeu-7 | UNSAT | 2.82 | |
T-adeu-8 | UNSAT | 3.27 | |
T-adeu-5 | UNSAT | 3.47 | |
T-edau-6 | UNSAT | 5.75 | |
T-adeu-6 | UNSAT | 7.51 | |
T-edau-0 | UNSAT | 8.94 | |
T-edau-1 | UNSAT | 9.56 | |
T-edau-9 | UNSAT | 10.3 | |
T-adeu-9 | UNSAT | 11.52 | |
T-adeu-0 | UNSAT | 13.8 | |
T-adeu-1 | UNSAT | 23.27 |