Execution Time | 60.033806ms |
---|---|
Answer | TIMEOUT |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |
Execution Time | 0.41099906ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |
Execution Time | 9.347529ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |
Execution Time | 27.799706ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |
Execution Time | 0.9141009ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |
Execution Time | 9.098911e-2ms |
---|---|
Answer | MAYBE |
Input | Maude 06 LengthOfFiniteLists nosorts-noand |