Execution Time | 60.03054ms |
---|---|
Answer | TIMEOUT |
Input | Maude 06 LengthOfFiniteLists nosorts |
Execution Time | 0.23436213ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts |
Execution Time | 8.395239ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts |
Execution Time | 20.79652ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts |
Execution Time | 0.8050661ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts |
Execution Time | 7.675815e-2ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts |