Instance | Result | Time | |
---|---|---|---|
T-adeu-9 | UNSAT | 1016.68 | |
T-adeu-3 | UNSAT | 1026.63 | |
T-adeu-0 | UNSAT | 1179.68 | |
T-adeu-7 | UNSAT | 1185.74 | |
T-adeu-5 | UNSAT | 1205.73 | |
T-adeu-1 | UNSAT | 1695.14 | |
T-adeu-2 | UNSAT | 1867.91 | |
T-edau-0 | FAIL | 6000.69 | |
S-edau-5 | FAIL | 6000.81 | |
S-adeu-3 | FAIL | 6000.83 | |
T-edau-4 | FAIL | 6000.84 | |
S-adeu-6 | FAIL | 6000.84 | |
S-adeu-0 | FAIL | 6000.84 | |
S-adeu-5 | FAIL | 6000.85 | |
S-edau-4 | FAIL | 6000.85 | |
T-adeu-4 | FAIL | 6000.85 | |
S-edau-2 | FAIL | 6000.86 | |
T-adeu-8 | FAIL | 6000.87 | |
S-adeu-7 | FAIL | 6000.87 | |
S-adeu-9 | FAIL | 6000.87 | |
S-edau-7 | FAIL | 6000.87 | |
T-edau-6 | FAIL | 6000.88 | |
S-adeu-1 | FAIL | 6000.88 | |
S-adeu-4 | FAIL | 6000.89 | |
S-edau-3 | FAIL | 6000.89 | |
S-edau-9 | FAIL | 6000.9 | |
T-edau-5 | FAIL | 6000.9 | |
S-edau-6 | FAIL | 6000.9 | |
T-edau-2 | FAIL | 6000.9 | |
S-edau-0 | FAIL | 6000.91 | |
T-edau-8 | FAIL | 6000.91 | |
T-edau-9 | FAIL | 6000.91 | |
S-adeu-2 | FAIL | 6000.92 | |
T-edau-1 | FAIL | 6000.92 | |
S-adeu-8 | FAIL | 6000.92 | |
S-edau-8 | FAIL | 6000.93 | |
S-edau-1 | FAIL | 6000.93 | |
T-edau-7 | FAIL | 6000.93 | |
T-edau-3 | FAIL | 6000.93 | |
T-adeu-6 | FAIL | 6000.94 |