Execution Time | Unknown |
---|---|
Answer | MAYBE |
Input | Waldmann 07 size12 size-12-alpha-3-num-564 |
Execution Time | Unknown |
---|---|
Answer | MAYBE |
Input | Waldmann 07 size12 size-12-alpha-3-num-564 |
Execution Time | Unknown |
---|---|
Answer | TIMEOUT |
Input | Waldmann 07 size12 size-12-alpha-3-num-564 |
Execution Time | Unknown |
---|---|
Answer | MAYBE |
Input | Waldmann 07 size12 size-12-alpha-3-num-564 |
Execution Time | Unknown |
---|---|
Answer | TIMEOUT |
Input | Waldmann 07 size12 size-12-alpha-3-num-564 |