Instance | Result | Time | |
---|---|---|---|
S-edau-0 | UNSAT | 1.01 | |
T-edau-3 | UNSAT | 1.02 | |
S-edau-6 | UNSAT | 1.03 | |
S-edau-2 | UNSAT | 1.06 | |
S-edau-5 | UNSAT | 1.06 | |
S-edau-8 | UNSAT | 1.07 | |
T-edau-2 | UNSAT | 1.08 | |
S-edau-1 | UNSAT | 1.09 | |
S-edau-7 | UNSAT | 1.1 | |
S-edau-3 | UNSAT | 1.1 | |
S-edau-4 | UNSAT | 1.18 | |
T-edau-8 | UNSAT | 1.26 | |
S-edau-9 | UNSAT | 1.28 | |
T-adeu-3 | UNSAT | 1.54 | |
S-adeu-0 | UNSAT | 1.67 | |
T-edau-7 | UNSAT | 1.74 | |
S-adeu-7 | UNSAT | 1.74 | |
S-adeu-8 | UNSAT | 1.74 | |
S-adeu-6 | UNSAT | 1.78 | |
T-adeu-2 | UNSAT | 1.78 | |
S-adeu-1 | UNSAT | 1.84 | |
S-adeu-3 | UNSAT | 1.89 | |
S-adeu-4 | UNSAT | 1.99 | |
S-adeu-9 | UNSAT | 2.01 | |
T-edau-5 | UNSAT | 2.14 | |
T-edau-4 | UNSAT | 2.31 | |
S-adeu-2 | UNSAT | 2.35 | |
S-adeu-5 | UNSAT | 2.56 | |
T-adeu-4 | UNSAT | 2.74 | |
T-adeu-7 | UNSAT | 3 | |
T-adeu-8 | UNSAT | 3.39 | |
T-adeu-5 | UNSAT | 3.63 | |
T-edau-6 | UNSAT | 5.95 | |
T-adeu-6 | UNSAT | 7.63 | |
T-edau-0 | UNSAT | 9.18 | |
T-edau-1 | UNSAT | 9.76 | |
T-edau-9 | UNSAT | 10.54 | |
T-adeu-9 | UNSAT | 11.72 | |
T-adeu-0 | UNSAT | 14.03 | |
T-adeu-1 | UNSAT | 23.47 |