Execution Time | 60.073414ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand iGM |
Execution Time | 41.99431ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand iGM |
Execution Time | 60.08742ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand iGM |
Execution Time | 55.356537ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand iGM |
Execution Time | 60.059593ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand iGM |
Execution Time | 0.63509107ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand iGM |