Execution Time | 60.100258ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand C |
Execution Time | 33.711357ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand C |
Execution Time | 60.062317ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand C |
Execution Time | 59.1666ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand C |
Execution Time | 60.0527ms |
---|---|
Answer | TIMEOUT |
Input | Transformed CSR 04 PEANO nosorts noand C |
Execution Time | 0.762784ms |
---|---|
Answer | MAYBE |
Input | Transformed CSR 04 PEANO nosorts noand C |