| Status | Number | Avg. Time | Percent |
|---|---|---|---|
| YES | 5 | 0.56 | 100 |
| MAYBE | 0 | 0 | 0 |
| TIMEOUT | 0 | 0 | |
| NO | 0 | 0 | 0 |
| TOTAL | 5 |
| Seconds | Number | Percent |
|---|---|---|
| 5 | 5 | 100 |
| 15 | 5 | 100 |
| 30 | 5 | 100 |
| Proof time | Proof | |
|---|---|---|
| YES | 0.38 | emptyQueue :: Queue a |
| YES | 0.69 | addToQueue :: Queue a -> a -> Queue a |
| YES | 0.7 | deQueue :: Queue a -> Maybe (a, Queue a) |
| YES | 0.38 | listToQueue :: [a] -> Queue a |
| YES | 0.67 | queueToList :: Queue a -> [a] |