Proof Summary for Module Prelude

StatusNumberAvg. TimePercent
YES4994.172.1
MAYBE4232.756.06
TIMEOUT140 20.23
NO1117.61.58
TOTAL692
48 start terms are not H-terminating. Of these, 11 can be detected by AProVE (colored red). The remaining 37 start terms that are known to be non-H-terminating are colored white.

SecondsNumberPercent
543663
1547869.07
3049271.09

Proof timeProof
YES 0.38 (&&) :: Bool -> Bool -> Bool
YES 0.39 (||) :: Bool -> Bool -> Bool
YES 0.39 not :: Bool -> Bool
YES 0.36 otherwise :: Bool
YES 0.7 and :: [Bool] -> Bool
YES 0.69 or :: [Bool] -> Bool
YES 0.37 fst :: (a,b) -> a
YES 0.38 snd :: (a,b) -> b
YES 0.39 curry :: ((a,b) -> c) -> (a -> b -> c)
YES 0.41 uncurry :: (a -> b -> c) -> ((a,b) -> c)
YES 0.39 id :: a -> a
YES 0.42 const :: a -> b -> a
YES 0.42 (.) :: (b -> c) -> (a -> b) -> (a -> c)
YES 0.38 flip :: (a -> b -> c) -> b -> a -> c
YES 0.41 ($) :: (a -> b) -> a -> b
YES 0.43 asTypeOf :: a -> a -> a
YES 0.38 error :: String -> a
YES 0.37 undefined :: a
YES 0.36 seq :: a -> b -> b
YES 0.4 ($!) :: (a -> b) -> a -> b
YES 0.78 isAscii :: Char -> Bool
YES 0.77 isLatin1 :: Char -> Bool
YES 2.81 isControl :: Char -> Bool
YES 5.47 isPrint :: Char -> Bool
YES 5.99 isSpace :: Char -> Bool
YES 21.09 isUpper :: Char -> Bool
YES 26.84 isLower :: Char -> Bool
YES 206.95 isAlpha :: Char -> Bool
YES 0.86 isDigit :: Char -> Bool
YES 0.82 isOctDigit :: Char -> Bool
YES 4.22 isHexDigit :: Char -> Bool
YES 184.53 isAlphaNum :: Char -> Bool
YES 4.77 digitToInt :: Char -> Int
YES 2.04 intToDigit :: Int -> Char
YES 163.92 toUpper :: Char -> Char
YES 23.71 toLower :: Char -> Char
YES 0.41 ord :: Char -> Int
YES 0.4 chr :: Int -> Char
YES 0.41 return :: Monad m => a -> m a
YES 0.41 return :: a -> [] a
YES 0.42 return :: a -> Maybe a
YES 0.4 return :: a -> IO a
YES 0.77 (>>=) :: Monad m => m a -> (a -> m b) -> m b
YES 0.67 (>>=) :: [] a -> (a -> [] b) -> [] b
YES 0.4 (>>=) :: Maybe a -> (a -> Maybe b) -> Maybe b
YES 0.42 (>>=) :: IO a -> (a -> IO b) -> IO b
YES 0.71 (>>) :: Monad m => m a -> m b -> m b
YES 0.67 (>>) :: [] a -> [] b -> [] b
YES 0.44 (>>) :: Maybe a -> Maybe b -> Maybe b
YES 0.42 (>>) :: IO a -> IO b -> IO b
YES 0.44 fail :: Monad m => String -> m a
YES 0.39 fail :: String -> [] a
YES 0.39 fail :: String -> Maybe a
YES 0.42 fail :: String -> IO a
YES 0.68 fmap :: Functor f => (a -> b) -> (f a -> f b)
YES 0.63 fmap :: (a -> b) -> ([] a -> [] b)
YES 0.44 fmap :: (a -> b) -> (Maybe a -> Maybe b)
YES 0.4 fmap :: (a -> b) -> (IO a -> IO b)
MAYBE 1.63 mapM :: Monad m => (a -> m b) -> [a] -> m [b]
MAYBE 1.61 mapM :: (a -> [] b) -> [a] -> [] [b]
YES 0.74 mapM :: (a -> Maybe b) -> [a] -> Maybe [b]
YES 0.69 mapM :: (a -> IO b) -> [a] -> IO [b]
YES 0.88 mapM_ :: Monad m => (a -> m b) -> [a] -> m ()
YES 0.77 mapM_ :: (a -> [] b) -> [a] -> [] ()
YES 0.67 mapM_ :: (a -> Maybe b) -> [a] -> Maybe ()
YES 0.7 mapM_ :: (a -> IO b) -> [a] -> IO ()
YES 0.84 sequence :: Monad m => [m a] -> m [a]
YES 0.69 sequence :: [[] a] -> [] [a]
YES 0.65 sequence :: [Maybe a] -> Maybe [a]
YES 0.66 sequence :: [IO a] -> IO [a]
YES 0.72 sequence_ :: Monad m => [m a] -> m ()
YES 0.67 sequence_ :: [[] a] -> [] ()
YES 0.66 sequence_ :: [Maybe a] -> Maybe ()
YES 0.67 sequence_ :: [IO a] -> IO ()
YES 0.78 (=<<) :: Monad m => (a -> m b) -> m a -> m b
YES 0.66 (=<<) :: (a -> [] b) -> [] a -> [] b
YES 0.42 (=<<) :: (a -> Maybe b) -> Maybe a -> Maybe b
YES 0.45 (=<<) :: (a -> IO b) -> IO a -> IO b
YES 0.38 maybe :: b -> (a -> b) -> Maybe a -> b
YES 0.38 either :: (a -> c) -> (b -> c) -> Either a b -> c
YES 0.67 map :: (a -> b) -> [a] -> [b]
YES 0.62 (++) :: [a] -> [a] -> [a]
YES 0.65 concat :: [[a]] -> [a]
YES 0.64 filter :: (a -> Bool) -> [a] -> [a]
YES 0.38 head :: [a] -> a
YES 0.65 last :: [a] -> a
YES 0.42 tail :: [a] -> [a]
YES 0.68 init :: [a] -> [a]
YES 0.39 null :: [a] -> Bool
YES 0.7 length :: [a] -> Int
YES 0.91 (!!) :: [a] -> Int -> a
YES 0.65 foldl :: (a -> b -> a) -> a -> [b] -> a
YES 0.66 foldl1 :: (a -> a -> a) -> [a] -> a
YES 0.64 scanl :: (a -> b -> a) -> a -> [b] -> [a]
YES 0.62 scanl1 :: (a -> a -> a) -> [a] -> [a]
YES 0.61 foldr :: (a -> b -> b) -> b -> [a] -> b
YES 0.61 foldr1 :: (a -> a -> a) -> [a] -> a
YES 0.66 scanr :: (a -> b -> b) -> b -> [a] -> [b]
YES 1.27 scanr1 :: (a -> a -> a) -> [a] -> [a]
YES 0.85 take :: Int -> [a] -> [a]
YES 0.84 drop :: Int -> [a] -> [a]
YES 0.84 splitAt :: Int -> [a] -> ([a], [a])
YES 0.66 takeWhile :: (a -> Bool) -> [a] -> [a]
YES 0.65 dropWhile :: (a -> Bool) -> [a] -> [a]
YES 0.67 span :: (a -> Bool) -> [a] -> ([a],[a])
YES 0.68 break :: (a -> Bool) -> [a] -> ([a],[a])
YES 0.68 reverse :: [a] -> [a]
YES 0.67 any :: (a -> Bool) -> [a] -> Bool
YES 0.64 all :: (a -> Bool) -> [a] -> Bool
YES 1.3 elem :: Eq a => a -> [a] -> Bool
YES 0.67 elem :: () -> [()] -> Bool
YES 0.73 elem :: Char -> [Char] -> Bool
YES 1.53 elem :: Eq a => [a] -> [[a]] -> Bool
YES 0.78 elem :: Int -> [Int] -> Bool
YES 0.75 elem :: Bool -> [Bool] -> Bool
YES 0.71 elem :: Ordering -> [Ordering] -> Bool
YES 0.94 elem :: Float -> [Float] -> Bool
YES 0.79 elem :: (Ratio Int) -> [(Ratio Int)] -> Bool
YES 1.58 elem :: Eq a => (Maybe a) -> [(Maybe a)] -> Bool
YES 1.49 elem :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> Bool
YES 1.52 elem :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> Bool
YES 1.25 notElem :: Eq a => a -> [a] -> Bool
YES 0.68 notElem :: () -> [()] -> Bool
YES 0.71 notElem :: Char -> [Char] -> Bool
YES 1.55 notElem :: Eq a => [a] -> [[a]] -> Bool
YES 0.81 notElem :: Int -> [Int] -> Bool
YES 0.68 notElem :: Bool -> [Bool] -> Bool
YES 0.68 notElem :: Ordering -> [Ordering] -> Bool
YES 0.97 notElem :: Float -> [Float] -> Bool
YES 0.79 notElem :: (Ratio Int) -> [(Ratio Int)] -> Bool
YES 1.5 notElem :: Eq a => (Maybe a) -> [(Maybe a)] -> Bool
YES 1.51 notElem :: (Eq a, Eq k) => (Either a k) -> [(Either a k)] -> Bool
YES 1.64 notElem :: (Eq a, Eq k) => (a, k) -> [(a, k)] -> Bool
YES 1.67 lookup :: Eq a => a -> [(a,b)] -> Maybe b
YES 0.41 lookup :: () -> [((),b)] -> Maybe b
YES 0.92 lookup :: Char -> [(Char,b)] -> Maybe b
YES 2.04 lookup :: Eq a => [a] -> [([a],b)] -> Maybe b
YES 1.12 lookup :: Int -> [(Int,b)] -> Maybe b
YES 0.79 lookup :: Bool -> [(Bool,b)] -> Maybe b
YES 0.79 lookup :: Ordering -> [(Ordering,b)] -> Maybe b
YES 33.55 lookup :: Float -> [(Float,b)] -> Maybe b
YES 12.78 lookup :: (Ratio Int) -> [((Ratio Int),b)] -> Maybe b
YES 1.72 lookup :: Eq a => (Maybe a) -> [((Maybe a),b)] -> Maybe b
YES 2.15 lookup :: (Eq a, Eq k) => (Either a k) -> [((Either a k),b)] -> Maybe b
YES 1.76 lookup :: (Eq a, Eq k) => (a, k) -> [((a, k),b)] -> Maybe b
Timeout [Timeout] sum :: Num a => [a] -> a
YES 0.76 sum :: [Int] -> Int
YES 0.81 sum :: [Float] -> Float
Timeout [Timeout] sum :: [(Ratio Int)] -> (Ratio Int)
Timeout [Timeout] product :: Num a => [a] -> a
YES 0.76 product :: [Int] -> Int
YES 0.73 product :: [Float] -> Float
MAYBE 97.17 product :: [(Ratio Int)] -> (Ratio Int)
YES 8.84 maximum :: Ord a => [a] -> a
YES 0.79 maximum :: [()] -> ()
YES 0.92 maximum :: [Char] -> Char
YES 8.74 maximum :: Ord a => [[a]] -> [a]
YES 1.13 maximum :: [Int] -> Int
YES 18.21 maximum :: [Float] -> Float
YES 22.82 maximum :: [(Ratio Int)] -> (Ratio Int)
YES 0.74 maximum :: [Bool] -> Bool
YES 4.4 maximum :: Ord a => [(Maybe a)] -> (Maybe a)
YES 4.34 maximum :: (Ord a, Ord k) => [(Either a k)] -> (Either a k)
YES 0.88 maximum :: [Ordering] -> Ordering
YES 5.61 maximum :: (Ord a, Ord k) => [(a,k)] -> (a,k)
YES 8.79 minimum :: Ord a => [a] -> a
YES 0.77 minimum :: [()] -> ()
YES 1.05 minimum :: [Char] -> Char
YES 9.36 minimum :: Ord a => [[a]] -> [a]
YES 1.18 minimum :: [Int] -> Int
YES 16.34 minimum :: [Float] -> Float
YES 23.21 minimum :: [(Ratio Int)] -> (Ratio Int)
YES 0.75 minimum :: [Bool] -> Bool
YES 4.55 minimum :: Ord a => [(Maybe a)] -> (Maybe a)
YES 4.65 minimum :: (Ord a, Ord k) => [(Either a k)] -> (Either a k)
YES 0.82 minimum :: [Ordering] -> Ordering
YES 5.77 minimum :: (Ord a, Ord k) => [(a,k)] -> (a,k)
YES 0.62 concatMap :: (a -> [b]) -> [a] -> [b]
YES 0.7 zip :: [a] -> [b] -> [(a,b)]
YES 0.63 zip3 :: [a] -> [b] -> [c] -> [(a,b,c)]
YES 0.64 zipWith :: (a->b->c) -> [a]->[b]->[c]
YES 0.63 zipWith3 :: (a->b->c->d) -> [a]->[b]->[c]->[d]
YES 0.64 unzip :: [(a,b)] -> ([a],[b])
YES 0.67 unzip3 :: [(a,b,c)] -> ([a],[b],[c])
YES 0.82 replicate :: Int -> a -> [a]
YES 1.25 (==) :: Eq a => a -> a -> Bool
YES 0.42 (==) :: () -> () -> Bool
YES 0.64 (==) :: Char -> Char -> Bool
YES 1.44 (==) :: Eq a => [a] -> [a] -> Bool
YES 0.72 (==) :: Int -> Int -> Bool
YES 0.41 (==) :: Bool -> Bool -> Bool
YES 0.43 (==) :: Ordering -> Ordering -> Bool
YES 0.94 (==) :: Float -> Float -> Bool
YES 0.75 (==) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 1.61 (==) :: Eq a => (Maybe a) -> (Maybe a) -> Bool
YES 1.69 (==) :: (Eq a, Eq k) => (Either a k) -> (Either a k) -> Bool
YES 1.54 (==) :: (Eq a, Eq k) => (a, k) -> (a, k) -> Bool
YES 1.24 (/=) :: Eq a => a -> a -> Bool
YES 0.44 (/=) :: () -> () -> Bool
YES 0.72 (/=) :: Char -> Char -> Bool
YES 1.65 (/=) :: Eq a => [a] -> [a] -> Bool
YES 0.68 (/=) :: Int -> Int -> Bool
YES 0.43 (/=) :: Bool -> Bool -> Bool
YES 0.45 (/=) :: Ordering -> Ordering -> Bool
YES 0.91 (/=) :: Float -> Float -> Bool
YES 0.81 (/=) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 1.5 (/=) :: Eq a => (Maybe a) -> (Maybe a) -> Bool
YES 1.4 (/=) :: (Eq a, Eq k) => (Either a k) -> (Either a k) -> Bool
YES 1.5 (/=) :: (Eq a, Eq k) => (a, k) -> (a, k) -> Bool
YES 5.44 compare :: Ord a => a -> a -> Ordering
YES 0.41 compare :: () -> () -> Ordering
YES 0.67 compare :: Char -> Char -> Ordering
YES 5.47 compare :: Ord a => [a] -> [a] -> Ordering
YES 0.68 compare :: Int -> Int -> Ordering
YES 0.85 compare :: Float -> Float -> Ordering
YES 0.82 compare :: (Ratio Int) -> (Ratio Int) -> Ordering
YES 0.43 compare :: Bool -> Bool -> Ordering
YES 3.72 compare :: Ord a => (Maybe a) -> (Maybe a) -> Ordering
YES 3.97 compare :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Ordering
YES 0.52 compare :: Ordering -> Ordering -> Ordering
YES 3.99 compare :: (Ord a, Ord k) => (a,k) -> (a,k) -> Ordering
YES 5.36 (<) :: Ord a => a -> a -> Bool
YES 0.45 (<) :: () -> () -> Bool
YES 0.67 (<) :: Char -> Char -> Bool
YES 5.16 (<) :: Ord a => [a] -> [a] -> Bool
YES 0.72 (<) :: Int -> Int -> Bool
YES 0.96 (<) :: Float -> Float -> Bool
YES 1.03 (<) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 0.49 (<) :: Bool -> Bool -> Bool
YES 3.61 (<) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
YES 4.49 (<) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
YES 0.49 (<) :: Ordering -> Ordering -> Bool
YES 4.51 (<) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
YES 3.32 (<=) :: Ord a => a -> a -> Bool
YES 0.41 (<=) :: () -> () -> Bool
YES 0.75 (<=) :: Char -> Char -> Bool
YES 6.73 (<=) :: Ord a => [a] -> [a] -> Bool
YES 0.74 (<=) :: Int -> Int -> Bool
YES 0.98 (<=) :: Float -> Float -> Bool
YES 1 (<=) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 0.43 (<=) :: Bool -> Bool -> Bool
YES 3.4 (<=) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
YES 3.34 (<=) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
YES 0.41 (<=) :: Ordering -> Ordering -> Bool
YES 4.77 (<=) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
YES 6.88 (>=) :: Ord a => a -> a -> Bool
YES 0.42 (>=) :: () -> () -> Bool
YES 0.73 (>=) :: Char -> Char -> Bool
YES 6.43 (>=) :: Ord a => [a] -> [a] -> Bool
YES 0.72 (>=) :: Int -> Int -> Bool
YES 0.99 (>=) :: Float -> Float -> Bool
YES 0.97 (>=) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 0.5 (>=) :: Bool -> Bool -> Bool
YES 3.08 (>=) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
YES 3.64 (>=) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
YES 0.51 (>=) :: Ordering -> Ordering -> Bool
YES 3.8 (>=) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
YES 5.17 (>) :: Ord a => a -> a -> Bool
YES 0.46 (>) :: () -> () -> Bool
YES 0.76 (>) :: Char -> Char -> Bool
YES 5.82 (>) :: Ord a => [a] -> [a] -> Bool
YES 0.8 (>) :: Int -> Int -> Bool
YES 0.98 (>) :: Float -> Float -> Bool
YES 0.93 (>) :: (Ratio Int) -> (Ratio Int) -> Bool
YES 0.44 (>) :: Bool -> Bool -> Bool
YES 3.47 (>) :: Ord a => (Maybe a) -> (Maybe a) -> Bool
YES 3.48 (>) :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> Bool
YES 0.51 (>) :: Ordering -> Ordering -> Bool
YES 3.86 (>) :: (Ord a, Ord k) => (a,k) -> (a,k) -> Bool
YES 4.02 max :: Ord a => a -> a -> a
YES 0.43 max :: () -> () -> ()
YES 0.87 max :: Char -> Char -> Char
YES 5.98 max :: Ord a => [a] -> [a] -> [a]
YES 1.09 max :: Int -> Int -> Int
YES 14.05 max :: Float -> Float -> Float
YES 15.36 max :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
YES 0.46 max :: Bool -> Bool -> Bool
YES 3.11 max :: Ord a => (Maybe a) -> (Maybe a) -> (Maybe a)
YES 3.2 max :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> (Either a k)
YES 0.44 max :: Ordering -> Ordering -> Ordering
YES 4.26 max :: (Ord a, Ord k) => (a,k) -> (a,k) -> (a,k)
YES 5.82 min :: Ord a => a -> a -> a
YES 0.48 min :: () -> () -> ()
YES 0.89 min :: Char -> Char -> Char
YES 6.56 min :: Ord a => [a] -> [a] -> [a]
YES 1.08 min :: Int -> Int -> Int
YES 12.86 min :: Float -> Float -> Float
YES 15.96 min :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
YES 0.41 min :: Bool -> Bool -> Bool
YES 3.02 min :: Ord a => (Maybe a) -> (Maybe a) -> (Maybe a)
YES 3.04 min :: (Ord a, Ord k) => (Either a k) -> (Either a k) -> (Either a k)
YES 0.44 min :: Ordering -> Ordering -> Ordering
YES 4.13 min :: (Ord a, Ord k) => (a,k) -> (a,k) -> (a,k)
YES 8.41 (%) :: Int -> Int -> Ratio Int
YES 0.44 numerator :: Ratio Int -> Int
YES 0.38 denominator :: Ratio Int -> Int
Timeout [Timeout] approxRational :: RealFrac a => a -> a -> Rational
Timeout [Timeout] approxRational :: Float -> Float -> Rational
Timeout [Timeout] approxRational :: (Ratio Int) -> (Ratio Int) -> Rational
Timeout [Timeout] (+) :: Num a => a -> a -> a
YES 0.77 (+) :: Int -> Int -> Int
YES 0.78 (+) :: Float -> Float -> Float
MAYBE 88.1 (+) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
Timeout [Timeout] (-) :: Num a => a -> a -> a
YES 0.65 (-) :: Int -> Int -> Int
YES 0.68 (-) :: Float -> Float -> Float
MAYBE 90.12 (-) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
Timeout [Timeout] (*) :: Num a => a -> a -> a
YES 0.74 (*) :: Int -> Int -> Int
YES 0.67 (*) :: Float -> Float -> Float
MAYBE 82.99 (*) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
YES 0.42 negate :: Num a => a -> a
YES 0.39 negate :: Int -> Int
YES 0.4 negate :: Float -> Float
YES 0.42 negate :: (Ratio Int) -> (Ratio Int)
YES 4.06 abs :: Num a => a -> a
YES 0.51 abs :: Int -> Int
YES 1.77 abs :: Float -> Float
YES 0.53 abs :: (Ratio Int) -> (Ratio Int)
YES 12.85 signum :: Num a => a -> a
YES 0.92 signum :: Int -> Int
YES 8.27 signum :: Float -> Float
YES 1.05 signum :: (Ratio Int) -> (Ratio Int)
YES 0.44 fromInteger :: Num a => Integer -> a
YES 0.43 fromInteger :: Integer -> Int
YES 0.41 fromInteger :: Integer -> Float
YES 0.44 fromInteger :: Integer -> (Ratio Int)
YES 0.4 fromInt :: Num a => Int -> a
YES 0.41 fromInt :: Int -> Int
YES 0.4 fromInt :: Int -> Float
YES 0.5 fromInt :: Int -> (Ratio Int)
MAYBE 8.72 toRational :: Real a => a -> Rational
YES 3.75 toRational :: Int -> Rational
MAYBE 9.78 toRational :: Float -> Rational
YES 0.39 toRational :: (Ratio Int) -> Rational
YES 1.62 quot :: Int -> Int -> Int
YES 1.58 rem :: Int -> Int -> Int
YES 1.92 div :: Int -> Int -> Int
YES 2.25 mod :: Int -> Int -> Int
YES 2.26 quotRem :: Int -> Int -> (Int, Int)
YES 16.01 divMod :: Int -> Int -> (Int,Int)
YES 0.63 even :: Int -> Bool
YES 0.65 odd :: Int -> Bool
YES 0.42 toInteger :: Int -> Integer
YES 0.41 toInt :: Int -> Int
Timeout [Timeout] (/) :: Fractional a => a -> a -> a
YES 0.73 (/) :: Float -> Float -> Float
YES 8.52 (/) :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
YES 0.45 recip :: Fractional a => a -> a
YES 0.44 recip :: Float -> Float
YES 0.41 recip :: (Ratio Int) -> (Ratio Int)
YES 0.44 fromRational :: Fractional a => Rational -> a
YES 0.39 fromRational :: Rational -> Float
YES 0.41 fromRational :: Rational -> (Ratio Int)
Timeout [Timeout] fromDouble :: Fractional a => Double -> a
YES 0.41 fromDouble :: Double -> Float
YES 8.34 fromDouble :: Double -> (Ratio Int)
YES 2.38 properFraction :: RealFrac a => a -> (Int,a)
YES 1.79 properFraction :: Float -> (Int,Float)
YES 2.25 properFraction :: (Ratio Int) -> (Int,(Ratio Int))
YES 2 truncate :: RealFrac a => a -> Int
YES 1.84 truncate :: Float -> Int
YES 1.89 truncate :: (Ratio Int) -> Int
Timeout [Timeout] round :: RealFrac a => a -> Int
Timeout [Timeout] round :: Float -> Int
Timeout [Timeout] round :: (Ratio Int) -> Int
YES 19.69 ceiling :: RealFrac a => a -> Int
MAYBE 17.71 ceiling :: Float -> Int
YES 10.05 ceiling :: (Ratio Int) -> Int
YES 5.68 floor :: RealFrac a => a -> Int
YES 15.42 floor :: Float -> Int
YES 11.07 floor :: (Ratio Int) -> Int
YES 0.41 floatRadix :: Float -> Integer
YES 0.38 floatDigits :: Float -> Int
YES 0.41 floatRange :: Float -> (Int, Int)
YES 0.39 decodeFloat :: Float -> (Integer,Int)
YES 1.6 encodeFloat :: Integer -> Int -> Float
YES 0.8 exponent :: Float -> Int
YES 2.17 significand :: Float -> Float
YES 2.61 scaleFloat :: Int -> Float -> Float
YES 0.39 isNaN :: Float -> Bool
YES 0.39 isInfinite :: Float -> Bool
YES 0.39 isDenormalized :: Float -> Bool
YES 0.43 isIEEE :: Float -> Bool
YES 0.38 isNegativeZero :: Float -> Bool
YES 10.05 gcd :: Int -> Int -> Int
Timeout [Timeout] lcm :: Int -> Int -> Int
Timeout [Timeout] (^) :: Num a => a -> Int -> a
Timeout [Timeout] (^) :: Int -> Int -> Int
MAYBE 5.06 (^) :: Float -> Int -> Float
Timeout [Timeout] (^) :: (Ratio Int) -> Int -> (Ratio Int)
Timeout [Timeout] (^^) :: Fractional a => a -> Int -> a
MAYBE 5.9 (^^) :: Float -> Int -> Float
Timeout [Timeout] (^^) :: (Ratio Int) -> Int -> (Ratio Int)
Timeout [Timeout] subtract :: Num a => a -> a -> a
YES 0.69 subtract :: Int -> Int -> Int
YES 0.7 subtract :: Float -> Float -> Float
MAYBE 90.84 subtract :: (Ratio Int) -> (Ratio Int) -> (Ratio Int)
YES 0.43 fromIntegral :: Num a => Int -> a
YES 0.4 fromIntegral :: Int -> Int
YES 0.4 fromIntegral :: Int -> Float
YES 0.41 fromIntegral :: Int -> (Ratio Int)
MAYBE 8.82 realToFrac :: Real a => a -> Float
YES 6.9 realToFrac :: Int -> Float
YES 14.91 realToFrac :: Float -> Float
YES 0.4 realToFrac :: (Ratio Int) -> Float
Timeout [Timeout] realToFrac :: Real a => a -> Ratio Int
YES 10.13 realToFrac :: Int -> Ratio Int
YES 17.67 realToFrac :: Float -> Ratio Int
YES 0.41 realToFrac :: (Ratio Int) -> Ratio Int
YES 48.72 lines :: String -> [String]
Timeout [Timeout] words :: String -> [String]
YES 0.62 unlines :: [String] -> String
YES 0.62 unwords :: [String] -> String
Timeout [Timeout] readsPrec :: Read a => Int -> String -> [(a,String)]
Timeout [Timeout] readsPrec :: Int -> String -> [((),String)]
Timeout [Timeout] readsPrec :: Int -> String -> [(Char,String)]
Timeout [Timeout] readsPrec :: Read a => Int -> String -> [([a],String)]
Timeout [Timeout] readsPrec :: Int -> String -> [(Int,String)]
Timeout [Timeout] readsPrec :: Int -> String -> [(Float,String)]
Timeout [Timeout] readsPrec :: Int -> String -> [((Ratio Int),String)]
Timeout [Timeout] readsPrec :: Int -> String -> [(Bool,String)]
Timeout [Timeout] readList :: Read a => String -> [([a],String)]
Timeout [Timeout] readList :: String -> [([()],String)]
Timeout [Timeout] readList :: String -> [([Char],String)]
Timeout [Timeout] readList :: Read a => String -> [([[a]],String)]
Timeout [Timeout] readList :: String -> [([Int],String)]
Timeout [Timeout] readList :: String -> [([Float],String)]
Timeout [Timeout] readList :: String -> [([(Ratio Int)],String)]
Timeout [Timeout] readList :: String -> [([Bool],String)]
Timeout [Timeout] reads :: Read a => String -> [(a,String)]
Timeout [Timeout] reads :: String -> [((),String)]
Timeout [Timeout] reads :: String -> [(Char,String)]
Timeout [Timeout] reads :: Read a => String -> [([a],String)]
Timeout [Timeout] reads :: String -> [(Int,String)]
Timeout [Timeout] reads :: String -> [(Float,String)]
Timeout [Timeout] reads :: String -> [((Ratio Int),String)]
Timeout [Timeout] reads :: String -> [(Bool,String)]
Timeout [Timeout] read :: Read a => String -> a
Timeout [Timeout] read :: String -> ()
Timeout [Timeout] read :: String -> Char
Timeout [Timeout] read :: Read a => String -> [a]
Timeout [Timeout] read :: String -> Int
Timeout [Timeout] read :: String -> Float
Timeout [Timeout] read :: String -> (Ratio Int)
Timeout [Timeout] read :: String -> Bool
Timeout [Timeout] lex :: String -> [(String,String)]
Timeout [Timeout] readParen :: Read a => Bool -> (String -> [(a,String)]) -> (String -> [(a,String)])
Timeout [Timeout] readParen :: Bool -> (String -> [((),String)]) -> (String -> [((),String)])
Timeout [Timeout] readParen :: Bool -> (String -> [(Char,String)]) -> (String -> [(Char,String)])
Timeout [Timeout] readParen :: Read a => Bool -> (String -> [([a],String)]) -> (String -> [([a],String)])
Timeout [Timeout] readParen :: Bool -> (String -> [(Int,String)]) -> (String -> [(Int,String)])
Timeout [Timeout] readParen :: Bool -> (String -> [(Float,String)]) -> (String -> [(Float,String)])
Timeout [Timeout] readParen :: Bool -> (String -> [((Ratio Int),String)]) -> (String -> [((Ratio Int),String)])
Timeout [Timeout] readParen :: Bool -> (String -> [(Bool,String)]) -> (String -> [(Bool,String)])
Timeout [Timeout] readLitChar :: String -> [(Char, String)]
Timeout [Timeout] lexLitChar :: String -> [(String,String)]
YES 1.46 readInt :: Int -> (Char -> Bool) -> (Char -> Int) -> (String -> [(Int,String)])
YES 11.11 readDec :: String -> [(Int,String)]
YES 31.29 readOct :: String -> [(Int,String)]
YES 283.48 readHex :: String -> [(Int,String)]
Timeout [Timeout] readSigned :: Real a => (String -> [(a,String)]) -> (String -> [(a,String)])
Timeout [Timeout] readSigned :: (String -> [(Int,String)]) -> (String -> [(Int,String)])
Timeout [Timeout] readSigned :: (String -> [(Float,String)]) -> (String -> [(Float,String)])
Timeout [Timeout] readSigned :: (String -> [((Ratio Int),String)]) -> (String -> [((Ratio Int),String)])
Timeout [Timeout] readFloat :: RealFrac a => (String -> [(a,String)])
Timeout [Timeout] readFloat :: (String -> [(Float,String)])
Timeout [Timeout] readFloat :: (String -> [((Ratio Int),String)])
YES 4 lexDigits :: String -> [(String,String)]
Timeout [Timeout] show :: Show a => a -> String
YES 0.56 show :: () -> String
Timeout [Timeout] show :: Char -> String
Timeout [Timeout] show :: Show a => [a] -> String
Timeout [Timeout] show :: Int -> String
YES 0.45 show :: Float -> String
Timeout [Timeout] show :: (Ratio Int) -> String
YES 11.09 show :: Bool -> String
Timeout [Timeout] show :: (Show a, Show k) => (a,k) -> String
Timeout [Timeout] show :: (Show a) => (Maybe a) -> String
Timeout [Timeout] show :: (Show a, Show k) => (Either a k) -> String
YES 3.57 show :: Ordering -> String
Timeout [Timeout] showsPrec :: Show a => Int -> a -> String -> String
YES 0.59 showsPrec :: Int -> () -> String -> String
Timeout [Timeout] showsPrec :: Int -> Char -> String -> String
Timeout [Timeout] showsPrec :: Show a => Int -> [a] -> String -> String
Timeout [Timeout] showsPrec :: Int -> Int -> String -> String
YES 0.41 showsPrec :: Int -> Float -> String -> String
Timeout [Timeout] showsPrec :: Int -> (Ratio Int) -> String -> String
YES 13.18 showsPrec :: Int -> Bool -> String -> String
Timeout [Timeout] showsPrec :: (Show a, Show k) => Int -> (a,k) -> String -> String
Timeout [Timeout] showsPrec :: (Show a) => Int -> (Maybe a) -> String -> String
Timeout [Timeout] showsPrec :: (Show a, Show k) => Int -> (Either a k) -> String -> String
YES 3.53 showsPrec :: Int -> Ordering -> String -> String
Timeout [Timeout] showList :: Show a => [a] -> String -> String
YES 1.07 showList :: [()] -> String -> String
Timeout [Timeout] showList :: [Char] -> String -> String
Timeout [Timeout] showList :: Show a => [[a]] -> String -> String
Timeout [Timeout] showList :: [Int] -> String -> String
YES 1.12 showList :: [Float] -> String -> String
Timeout [Timeout] showList :: [(Ratio Int)] -> String -> String
YES 19.75 showList :: [Bool] -> String -> String
Timeout [Timeout] showList :: (Show a, Show k) => [(a,k)] -> String -> String
Timeout [Timeout] showList :: (Show a) => [(Maybe a)] -> String -> String
Timeout [Timeout] showList :: (Show a, Show k) => [(Either a k)] -> String -> String
YES 7.49 showList :: [Ordering] -> String -> String
Timeout [Timeout] shows :: Show a => a -> String -> String
YES 0.54 shows :: () -> String -> String
Timeout [Timeout] shows :: Char -> String -> String
Timeout [Timeout] shows :: Show a => [a] -> String -> String
Timeout [Timeout] shows :: Int -> String -> String
YES 0.43 shows :: Float -> String -> String
Timeout [Timeout] shows :: (Ratio Int) -> String -> String
YES 12.04 shows :: Bool -> String -> String
Timeout [Timeout] shows :: (Show a, Show k) => (a,k) -> String -> String
Timeout [Timeout] shows :: (Show a) => (Maybe a) -> String -> String
Timeout [Timeout] shows :: (Show a, Show k) => (Either a k) -> String -> String
YES 3.13 shows :: Ordering -> String -> String
YES 0.37 showChar :: Char -> String -> String
YES 0.7 showString :: String -> String -> String
YES 0.49 showParen :: Bool -> (String -> String) -> String -> String
Timeout [Timeout] showLitChar :: Char -> String -> String
YES 1.85 showSigned :: Real a => (a -> (String -> String)) -> Int -> a -> String -> String
YES 0.79 showSigned :: (Int -> (String -> String)) -> Int -> Int -> String -> String
YES 3.39 showSigned :: (Float -> (String -> String)) -> Int -> Float -> String -> String
YES 2.42 showSigned :: ((Ratio Int) -> (String -> String)) -> Int -> (Ratio Int) -> String -> String
Timeout [Timeout] showInt :: Int -> String -> String
YES 0.41 ioError :: IOError -> IO a
YES 0.39 userError :: String -> IOError
YES 0.41 catch :: IO a -> (IOError -> IO a) -> IO a
YES 0.39 putChar :: Char -> IO ()
YES 0.42 putStr :: String -> IO ()
YES 0.44 putStrLn :: String -> IO ()
Timeout [Timeout] print :: Show a => a -> IO ()
YES 0.61 print :: () -> IO ()
Timeout [Timeout] print :: Char -> IO ()
Timeout [Timeout] print :: Show a => [a] -> IO ()
Timeout [Timeout] print :: Int -> IO ()
YES 0.57 print :: Float -> IO ()
Timeout [Timeout] print :: (Ratio Int) -> IO ()
YES 11.95 print :: Bool -> IO ()
Timeout [Timeout] print :: (Show a, Show k) => (a,k) -> IO ()
Timeout [Timeout] print :: (Show a) => (Maybe a) -> IO ()
Timeout [Timeout] print :: (Show a, Show k) => (Either a k) -> IO ()
YES 3.32 print :: Ordering -> IO ()
NO 1.72 getChar :: IO Char
MAYBE 4.53 getLine :: IO String
NO 1.73 getContents :: IO String
NO 1.75 readFile :: FilePath -> IO String
YES 0.39 writeFile :: FilePath -> String -> IO ()
YES 0.38 appendFile :: FilePath -> String -> IO ()
Timeout [Timeout] readIO :: Read a => String -> IO a
Timeout [Timeout] readIO :: String -> IO ()
Timeout [Timeout] readIO :: String -> IO Char
Timeout [Timeout] readIO :: Read a => String -> IO [a]
Timeout [Timeout] readIO :: String -> IO Int
Timeout [Timeout] readIO :: String -> IO Float
Timeout [Timeout] readIO :: String -> IO (Ratio Int)
Timeout [Timeout] readIO :: String -> IO Bool
Timeout [Timeout] readLn :: Read a => IO a
Timeout [Timeout] readLn :: IO ()
Timeout [Timeout] readLn :: IO Char
Timeout [Timeout] readLn :: Read a => IO [a]
Timeout [Timeout] readLn :: IO Int
Timeout [Timeout] readLn :: IO Float
Timeout [Timeout] readLn :: IO (Ratio Int)
Timeout [Timeout] readLn :: IO Bool
YES 0.43 primExitWith :: Int -> IO a
MAYBE 2.2 basicIORun :: IO a -> IOFinished a
NO 1.4 blockIO :: ((a -> IOResult) -> IO ()) -> IO a
YES 0.42 threadToIOResult :: IO a -> IOResult
NO 1.5 catchHugsException :: IO a -> (HugsException -> IO a) -> IO a
NO 1.29 primThrowException :: HugsException -> a
Timeout [Timeout] range :: Ix a => (a,a) -> [a]
YES 0.48 range :: ((),()) -> [()]
MAYBE 19.57 range :: (Char,Char) -> [Char]
MAYBE 40.24 range :: (Int,Int) -> [Int]
YES 1.57 range :: (Ordering,Ordering) -> [Ordering]
Timeout [Timeout] index :: Ix a => (a,a) -> a -> Int
YES 0.42 index :: ((),()) -> () -> Int
YES 1.61 index :: (Char,Char) -> Char -> Int
YES 3.07 index :: (Int,Int) -> Int -> Int
YES 3.24 index :: (Ordering,Ordering) -> Ordering -> Int
YES 1.05 inRange :: Ix a => (a,a) -> a -> Bool
YES 0.42 inRange :: ((),()) -> () -> Bool
YES 0.83 inRange :: (Char,Char) -> Char -> Bool
YES 0.86 inRange :: (Int,Int) -> Int -> Bool
YES 0.6 inRange :: (Ordering,Ordering) -> Ordering -> Bool
MAYBE 182.3 rangeSize :: Ix a => (a,a) -> Int
YES 0.42 rangeSize :: ((),()) -> Int
YES 3.62 rangeSize :: (Char,Char) -> Int
YES 6.84 rangeSize :: (Int,Int) -> Int
YES 4.84 rangeSize :: (Ordering,Ordering) -> Int
YES 2.5 succ :: Enum a => a -> a
YES 0.52 succ :: () -> ()
YES 0.48 succ :: Char -> Char
YES 0.41 succ :: Int -> Int
YES 2.78 succ :: Float -> Float
YES 2.86 succ :: (Ratio Int) -> (Ratio Int)
YES 0.5 succ :: Bool -> Bool
YES 0.56 succ :: Ordering -> Ordering
YES 3.47 pred :: Enum a => a -> a
YES 0.51 pred :: () -> ()
YES 0.45 pred :: Char -> Char
YES 0.4 pred :: Int -> Int
YES 3.05 pred :: Float -> Float
YES 3.02 pred :: (Ratio Int) -> (Ratio Int)
YES 0.52 pred :: Bool -> Bool
YES 0.51 pred :: Ordering -> Ordering
YES 0.55 toEnum :: Enum a => Int -> a
YES 0.42 toEnum :: Int -> ()
YES 0.42 toEnum :: Int -> Char
YES 0.38 toEnum :: Int -> Int
YES 0.39 toEnum :: Int -> Float
YES 0.4 toEnum :: Int -> (Ratio Int)
YES 0.49 toEnum :: Int -> Bool
YES 0.5 toEnum :: Int -> Ordering
YES 2 fromEnum :: Enum a => a -> Int
YES 0.4 fromEnum :: () -> Int
YES 0.4 fromEnum :: Char -> Int
YES 0.39 fromEnum :: Int -> Int
YES 1.81 fromEnum :: Float -> Int
YES 1.86 fromEnum :: (Ratio Int) -> Int
YES 0.43 fromEnum :: Bool -> Int
YES 0.43 fromEnum :: Ordering -> Int
Timeout [Timeout] enumFromTo :: Enum a => a -> a -> [a]
YES 0.69 enumFromTo :: () -> () -> [()]
MAYBE 19.66 enumFromTo :: Char -> Char -> [Char]
MAYBE 40.12 enumFromTo :: Int -> Int -> [Int]
MAYBE 117.4 enumFromTo :: Float -> Float -> [Float]
MAYBE 86.92 enumFromTo :: (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
YES 0.91 enumFromTo :: Bool -> Bool -> [Bool]
YES 1.07 enumFromTo :: Ordering -> Ordering -> [Ordering]
Timeout [Timeout] enumFromThenTo :: Enum a => a -> a -> a -> [a]
MAYBE 2.14 enumFromThenTo :: () -> () -> () -> [()]
NO 177.49 enumFromThenTo :: Char -> Char -> Char -> [Char]
MAYBE 20.9 enumFromThenTo :: Int -> Int -> Int -> [Int]
Timeout [Timeout] enumFromThenTo :: Float -> Float -> Float -> [Float]
Timeout [Timeout] enumFromThenTo :: (Ratio Int) -> (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
MAYBE 4.02 enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]
MAYBE 104.16 enumFromThenTo :: Ordering -> Ordering -> Ordering -> [Ordering]
MAYBE 1.81 minBound :: Bounded a => a
YES 0.43 minBound :: ()
YES 0.42 minBound :: Char
NO 1.85 minBound :: Int
YES 0.4 minBound :: Bool
YES 0.39 minBound :: Ordering
MAYBE 1.72 maxBound :: Bounded a => a
YES 0.43 maxBound :: ()
YES 0.41 maxBound :: Char
NO 1.81 maxBound :: Int
YES 0.38 maxBound :: Bool
YES 0.38 maxBound :: Ordering
MAYBE 1.35 iterate :: (a -> a) -> a -> [a]
NO 1.39 repeat :: a -> [a]
MAYBE 1.3 cycle :: [a] -> [a]
NO 1.67 interact :: (String -> String) -> IO ()
MAYBE 1.39 until :: (a -> Bool) -> (a -> a) -> a -> a
MAYBE 28.91 enumFrom :: Enum a => a -> [a]
YES 0.44 enumFrom :: () -> [()]
MAYBE 22.04 enumFrom :: Char -> [Char]
MAYBE 1.97 enumFrom :: Int -> [Int]
MAYBE 1.97 enumFrom :: Float -> [Float]
MAYBE 18.82 enumFrom :: (Ratio Int) -> [(Ratio Int)]
YES 0.76 enumFrom :: Bool -> [Bool]
YES 1.02 enumFrom :: Ordering -> [Ordering]
Timeout [Timeout] enumFromThen :: Enum a => a -> a -> [a]
MAYBE 3.78 enumFromThen :: () -> () -> [()]
MAYBE 123.53 enumFromThen :: Char -> Char -> [Char]
MAYBE 2.89 enumFromThen :: Int -> Int -> [Int]
MAYBE 3.09 enumFromThen :: Float -> Float -> [Float]
Timeout [Timeout] enumFromThen :: (Ratio Int) -> (Ratio Int) -> [(Ratio Int)]
MAYBE 3.54 enumFromThen :: Bool -> Bool -> [Bool]
MAYBE 4.79 enumFromThen :: Ordering -> Ordering -> [Ordering]
YES 0.81 pi :: Float
YES 0.37 exp :: Float -> Float
YES 0.37 log :: Float -> Float
YES 0.39 sqrt :: Float -> Float
YES 0.75 (**) :: Float -> Float -> Float
YES 0.66 logBase :: Float -> Float -> Float
YES 0.42 sin :: Float -> Float
YES 0.38 cos :: Float -> Float
YES 0.4 tan :: Float -> Float
YES 0.41 asin :: Float -> Float
YES 0.36 acos :: Float -> Float
YES 0.4 atan :: Float -> Float
YES 0.78 sinh :: Float -> Float
YES 0.75 cosh :: Float -> Float
YES 1.01 tanh :: Float -> Float
YES 0.73 asinh :: Float -> Float
YES 0.85 acosh :: Float -> Float
YES 0.82 atanh :: Float -> Float
Timeout [Timeout] atan2 :: Float -> Float -> Float