Proof Summary for Module List

StatusNumberAvg. TimePercent
YES1689.1196.55
MAYBE443.372.29
TIMEOUT2 1.14
NO000
TOTAL174
1 start term is not H-terminating (colored white)

SecondsNumberPercent
512974.13
1514784.48
3016091.95

Proof timeProof
YES 0.8 intersperse :: a -> [a] -> [a]
YES 1.78 transpose :: [[a]] -> [[a]]
YES 0.84 mapAccumL :: (a -> b -> (a, c)) -> a -> [b] -> (a, [c])
YES 0.92 mapAccumR :: (a -> b -> (a, c)) -> a -> [b] -> (a, [c])
MAYBE 1.62 unfoldr :: (b -> Maybe (a, b)) -> b -> [a]
YES 7.93 group :: Eq a => [a] -> [[a]]
YES 1.73 group :: [()] -> [[()]]
YES 5.12 group :: [Char] -> [[Char]]
YES 8.94 group :: Eq a => [[a]] -> [[[a]]]
YES 12.25 group :: [Int] -> [[Int]]
YES 1.92 group :: [Bool] -> [[Bool]]
YES 2.36 group :: [Ordering] -> [[Ordering]]
MAYBE 150.1 group :: [Float] -> [[Float]]
YES 169.48 group :: [(Ratio Int)] -> [[(Ratio Int)]]
YES 8.15 group :: Eq a => [(Maybe a)] -> [[(Maybe a)]]
YES 9.03 group :: (Eq a, Eq k) => [(Either a k)] -> [[(Either a k)]]
YES 8.32 group :: (Eq a, Eq k) => [(a, k)] -> [[(a, k)]]
YES 0.81 inits :: [a] -> [[a]]
YES 0.91 tails :: [a] -> [[a]]
YES 1.29 isPrefixOf :: Eq a => [a] -> [a] -> Bool
YES 0.83 isPrefixOf :: [()] -> [()] -> Bool
YES 0.83 isPrefixOf :: [Char] -> [Char] -> Bool
YES 1.55 isPrefixOf :: Eq a => [[a]] -> [[a]] -> Bool
YES 0.91 isPrefixOf :: [Int] -> [Int] -> Bool
YES 0.83 isPrefixOf :: [Bool] -> [Bool] -> Bool
YES 0.82 isPrefixOf :: [Ordering] -> [Ordering] -> Bool
YES 1.15 isPrefixOf :: [Float] -> [Float] -> Bool
YES 0.88 isPrefixOf :: [(Ratio Int)] -> [(Ratio Int)] -> Bool
YES 1.55 isPrefixOf :: Eq a => [(Maybe a)] -> [(Maybe a)] -> Bool
YES 1.65 isPrefixOf :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)] -> Bool
YES 1.59 isPrefixOf :: (Eq a, Eq k) => [(a, k)] -> [(a, k)] -> Bool
YES 1.93 isSuffixOf :: Eq a => [a] -> [a] -> Bool
YES 1.15 isSuffixOf :: [()] -> [()] -> Bool
YES 1.25 isSuffixOf :: [Char] -> [Char] -> Bool
YES 1.8 isSuffixOf :: Eq a => [[a]] -> [[a]] -> Bool
YES 1.23 isSuffixOf :: [Int] -> [Int] -> Bool
YES 1.23 isSuffixOf :: [Bool] -> [Bool] -> Bool
YES 1.22 isSuffixOf :: [Ordering] -> [Ordering] -> Bool
YES 1.31 isSuffixOf :: [Float] -> [Float] -> Bool
YES 1.3 isSuffixOf :: [(Ratio Int)] -> [(Ratio Int)] -> Bool
YES 1.71 isSuffixOf :: Eq a => [(Maybe a)] -> [(Maybe a)] -> Bool
YES 1.9 isSuffixOf :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)] -> Bool
YES 1.89 isSuffixOf :: (Eq a, Eq k) => [(a, k)] -> [(a, k)] -> Bool
YES 0.84 find :: (a -> Bool) -> [a] -> Maybe a
YES 0.81 partition :: (a -> Bool) -> [a] -> ([a],[a])
YES 2.48 elemIndex :: Eq a => a -> [a] -> Maybe Int
YES 0.65 elemIndex :: () -> [()] -> Maybe Int
YES 2.21 elemIndex :: Char -> [Char] -> Maybe Int
YES 3.6 elemIndex :: Eq a => [a] -> [[a]] -> Maybe Int
YES 3.58 elemIndex :: Int -> [Int] -> Maybe Int
YES 1.48 elemIndex :: Bool -> [Bool] -> Maybe Int
YES 1.54 elemIndex :: Ordering -> [Ordering] -> Maybe Int
YES 15.91 elemIndex :: Float -> [Float] -> Maybe Int
YES 22.25 elemIndex :: (Ratio Int) -> [(Ratio Int)] -> Maybe Int
YES 3.31 elemIndex :: Eq a => (Maybe a) -> [(Maybe a)] -> Maybe Int
YES 3.28 elemIndex :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> Maybe Int
YES 2.76 elemIndex :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> Maybe Int
YES 2.43 elemIndices :: Eq a => a -> [a] -> [Int]
YES 1.16 elemIndices :: () -> [()] -> [Int]
YES 1.24 elemIndices :: Char -> [Char] -> [Int]
YES 2.79 elemIndices :: Eq a => [a] -> [[a]] -> [Int]
YES 2.16 elemIndices :: Int -> [Int] -> [Int]
YES 1.26 elemIndices :: Bool -> [Bool] -> [Int]
YES 1.6 elemIndices :: Ordering -> [Ordering] -> [Int]
YES 11.09 elemIndices :: Float -> [Float] -> [Int]
YES 4.12 elemIndices :: (Ratio Int) -> [(Ratio Int)] -> [Int]
YES 3.06 elemIndices :: Eq a => (Maybe a) -> [(Maybe a)] -> [Int]
YES 3.19 elemIndices :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> [Int]
YES 3.45 elemIndices :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> [Int]
YES 1.09 findIndex :: (a -> Bool) -> [a] -> Maybe Int
YES 1.15 findIndices :: (a -> Bool) -> [a] -> [Int]
YES 3.51 nub :: Eq a => [a] -> [a]
YES 0.96 nub :: [()] -> [()]
YES 122.35 nub :: [Char] -> [Char]
YES 2.97 nub :: Eq a => [[a]] -> [[a]]
YES 56.78 nub :: [Int] -> [Int]
YES 0.98 nub :: [Bool] -> [Bool]
YES 1.7 nub :: [Ordering] -> [Ordering]
Timeout [Timeout] nub :: [Float] -> [Float]
Timeout [Timeout] nub :: [(Ratio Int)] -> [(Ratio Int)]
YES 4.13 nub :: Eq a => [(Maybe a)] -> [(Maybe a)]
YES 5.55 nub :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)]
YES 3.29 nub :: (Eq a, Eq k) => [(a, k)] -> [(a, k)]
YES 1.92 delete :: Eq a => a -> [a] -> [a]
YES 0.62 delete :: () -> [()] -> [()]
YES 0.96 delete :: Char -> [Char] -> [Char]
YES 2.08 delete :: Eq a => [a] -> [[a]] -> [[a]]
YES 1.25 delete :: Int -> [Int] -> [Int]
YES 0.91 delete :: Bool -> [Bool] -> [Bool]
YES 0.99 delete :: Ordering -> [Ordering] -> [Ordering]
YES 15.81 delete :: Float -> [Float] -> [Float]
YES 9.44 delete :: (Ratio Int) -> [(Ratio Int)] -> [(Ratio Int)]
YES 1.98 delete :: Eq a => (Maybe a) -> [(Maybe a)] -> [(Maybe a)]
YES 2.43 delete :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> [(Either a k)]
YES 2.1 delete :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> [(a, k)]
YES 2.22 (\\) :: Eq a => [a] -> [a] -> [a]
YES 0.91 (\\) :: [()] -> [()] -> [()]
YES 1 (\\) :: [Char] -> [Char] -> [Char]
YES 2.34 (\\) :: Eq a => [[a]] -> [[a]] -> [[a]]
YES 1.27 (\\) :: [Int] -> [Int] -> [Int]
YES 0.96 (\\) :: [Bool] -> [Bool] -> [Bool]
YES 0.95 (\\) :: [Ordering] -> [Ordering] -> [Ordering]
YES 21.47 (\\) :: [Float] -> [Float] -> [Float]
YES 10.26 (\\) :: [(Ratio Int)] -> [(Ratio Int)] -> [(Ratio Int)]
YES 2.54 (\\) :: Eq a => [(Maybe a)] -> [(Maybe a)] -> [(Maybe a)]
YES 2.86 (\\) :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)] -> [(Either a k)]
YES 2.41 (\\) :: (Eq a, Eq k) => [(a, k)] -> [(a, k)] -> [(a, k)]
YES 4.62 union :: Eq a => [a] -> [a] -> [a]
YES 1.12 union :: [()] -> [()] -> [()]
YES 5.67 union :: [Char] -> [Char] -> [Char]
YES 4.1 union :: Eq a => [[a]] -> [[a]] -> [[a]]
YES 22.12 union :: [Int] -> [Int] -> [Int]
YES 1.75 union :: [Bool] -> [Bool] -> [Bool]
YES 3.07 union :: [Ordering] -> [Ordering] -> [Ordering]
YES 16.21 union :: [Float] -> [Float] -> [Float]
YES 88.61 union :: [(Ratio Int)] -> [(Ratio Int)] -> [(Ratio Int)]
YES 4.03 union :: Eq a => [(Maybe a)] -> [(Maybe a)] -> [(Maybe a)]
YES 4.89 union :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)] -> [(Either a k)]
YES 4.57 union :: (Eq a, Eq k) => [(a, k)] -> [(a, k)] -> [(a, k)]
YES 1.77 intersect :: Eq a => [a] -> [a] -> [a]
YES 0.86 intersect :: [()] -> [()] -> [()]
YES 1.17 intersect :: [Char] -> [Char] -> [Char]
YES 1.84 intersect :: Eq a => [[a]] -> [[a]] -> [[a]]
YES 1.3 intersect :: [Int] -> [Int] -> [Int]
YES 0.92 intersect :: [Bool] -> [Bool] -> [Bool]
YES 0.94 intersect :: [Ordering] -> [Ordering] -> [Ordering]
MAYBE 20.19 intersect :: [Float] -> [Float] -> [Float]
YES 5.81 intersect :: [(Ratio Int)] -> [(Ratio Int)] -> [(Ratio Int)]
YES 1.88 intersect :: Eq a => [(Maybe a)] -> [(Maybe a)] -> [(Maybe a)]
YES 2.37 intersect :: (Eq a, Eq k) => [(Either a k)] -> [(Either a k)] -> [(Either a k)]
YES 1.94 intersect :: (Eq a, Eq k) => [(a, k)] -> [(a, k)] -> [(a, k)]
YES 34.18 sort :: Ord a => [a] -> [a]
YES 2.66 sort :: [()] -> [()]
YES 2.73 sort :: [Char] -> [Char]
YES 33.43 sort :: Ord a => [[a]] -> [[a]]
YES 3.46 sort :: [Int] -> [Int]
YES 16.49 sort :: [Float] -> [Float]
YES 17.22 sort :: [(Ratio Int)] -> [(Ratio Int)]
YES 2.53 sort :: [Bool] -> [Bool]
YES 26.74 sort :: Ord a => [(Maybe a)] -> [(Maybe a)]
YES 29.36 sort :: (Ord a, Ord k) => [(Either a k)] -> [(Either a k)]
YES 2.75 sort :: [Ordering] -> [Ordering]
YES 27.24 sort :: (Ord a, Ord k) => [(a,k)] -> [(a,k)]
YES 12.26 insert :: Ord a => a -> [a] -> [a]
YES 0.58 insert :: () -> [()] -> [()]
YES 0.99 insert :: Char -> [Char] -> [Char]
YES 13.07 insert :: Ord a => [a] -> [[a]] -> [[a]]
YES 1.41 insert :: Int -> [Int] -> [Int]
YES 18.52 insert :: Float -> [Float] -> [Float]
YES 20.98 insert :: (Ratio Int) -> [(Ratio Int)] -> [(Ratio Int)]
YES 0.98 insert :: Bool -> [Bool] -> [Bool]
YES 6.94 insert :: Ord a => (Maybe a) -> [(Maybe a)] -> [(Maybe a)]
YES 9.7 insert :: (Ord a, Ord k) => (Either a k) -> [(Either a k)] -> [(Either a k)]
YES 0.98 insert :: Ordering -> [Ordering] -> [Ordering]
YES 8.15 insert :: (Ord a, Ord k) => (a,k) -> [(a,k)] -> [(a,k)]
YES 1.15 nubBy :: (a -> a -> Bool) -> [a] -> [a]
YES 0.82 deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a]
YES 0.8 deleteFirstsBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
YES 1.36 unionBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
YES 0.82 intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]
MAYBE 1.58 groupBy :: (a -> a -> Bool) -> [a] -> [[a]]
YES 1.93 sortBy :: (a -> a -> Ordering) -> [a] -> [a]
YES 0.81 insertBy :: (a -> a -> Ordering) -> a -> [a] -> [a]
YES 0.83 maximumBy :: (a -> a -> Ordering) -> [a] -> a
YES 0.81 minimumBy :: (a -> a -> Ordering) -> [a] -> a
YES 255.85 genericLength :: Num i => [b] -> i
YES 0.84 genericLength :: [b] -> Int
YES 0.94 genericLength :: [b] -> Float
YES 113.91 genericLength :: [b] -> (Ratio Int)
YES 1.11 genericTake :: Int -> [a] -> [a]
YES 0.99 genericDrop :: Int -> [a] -> [a]
YES 1.3 genericSplitAt :: Int -> [b] -> ([b],[b])
YES 1.11 genericIndex :: [b] -> Int -> b
YES 1.14 genericReplicate :: Int -> a -> [a]