Instance | Result | Time | |
---|---|---|---|
T-adeu-5 | UNSAT | 0.51 | |
S-adeu-5 | UNSAT | 0.57 | |
T-adeu-8 | UNSAT | 0.96 | |
T-adeu-4 | UNSAT | 1.54 | |
S-adeu-4 | UNSAT | 1.67 | |
T-edau-0 | UNSAT | 4.48 | |
T-adeu-7 | UNSAT | 5.16 | |
S-adeu-8 | UNSAT | 6.22 | |
T-edau-3 | UNSAT | 10.01 | |
T-edau-6 | UNSAT | 15.99 | |
S-adeu-7 | UNSAT | 16.46 | |
T-edau-1 | UNSAT | 19.41 | |
T-edau-8 | UNSAT | 28.8 | |
T-edau-2 | UNSAT | 39.34 | |
T-edau-4 | UNSAT | 45.97 | |
S-edau-3 | UNSAT | 80.88 | |
T-edau-5 | UNSAT | 83.47 | |
T-edau-7 | UNSAT | 134.06 | |
S-edau-9 | UNSAT | 180.63 | |
S-edau-8 | UNSAT | 220.23 | |
S-edau-5 | UNSAT | 232.1 | |
S-edau-4 | UNSAT | 303.33 | |
S-adeu-1 | UNSAT | 435.7 | |
S-adeu-0 | UNSAT | 441.08 | |
S-adeu-9 | UNSAT | 460.57 | |
S-adeu-2 | UNSAT | 464.85 | |
T-adeu-6 | UNSAT | 465.25 | |
T-adeu-0 | UNSAT | 466.56 | |
S-adeu-6 | UNSAT | 475.61 | |
S-adeu-3 | UNSAT | 490.55 | |
T-adeu-9 | UNSAT | 528.77 | |
T-adeu-2 | UNSAT | 535.04 | |
T-adeu-1 | UNSAT | 538.88 | |
T-adeu-3 | UNSAT | 539.96 | |
S-edau-0 | FAIL | 600.98 | |
S-edau-2 | FAIL | 600.99 | |
S-edau-1 | FAIL | 601 | |
T-edau-9 | FAIL | 601 | |
S-edau-6 | FAIL | 601 | |
S-edau-7 | FAIL | 601 |