Proof Summary for Module Queue

StatusNumberAvg. TimePercent
YES50.56100
MAYBE000
TIMEOUT0 0
NO000
TOTAL5
0 start terms are not H-terminating (colored white)

SecondsNumberPercent
55100
155100
305100

Proof timeProof
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]