Execution Time | 60.056423ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand GM |
Execution Time | 6.007339ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand GM |
Execution Time | 55.251633ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand GM |
Execution Time | 36.693527ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand GM |
Execution Time | 60.03682ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand GM |
Execution Time | 0.24477506ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand GM |