| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/abs_1.hs | YES 2385 |
| tpdb-8.0/FP/basic_haskell/abs_2.hs | YES 5464 |
| tpdb-8.0/FP/basic_haskell/abs_3.hs | YES 2414 |
| tpdb-8.0/FP/basic_haskell/all_1.hs | YES 2232 |
| tpdb-8.0/FP/basic_haskell/AMPAMP_1.hs | YES 2072 |
| tpdb-8.0/FP/basic_haskell/and_1.hs | YES 2153 |
| tpdb-8.0/FP/basic_haskell/any_1.hs | YES 2195 |
| tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs | YES 2136 |
| tpdb-8.0/FP/basic_haskell/BANGBANG_1.hs | YES 2713 |
| tpdb-8.0/FP/basic_haskell/BARBAR_1.hs | YES 2115 |
| tpdb-8.0/FP/basic_haskell/basicIORun_1.hs | MAYBE 3317 |
| tpdb-8.0/FP/basic_haskell/blockIO_1.hs | NO 2484 |
| tpdb-8.0/FP/basic_haskell/break_1.hs | YES 2487 |
| tpdb-8.0/FP/basic_haskell/CARET_1.hs | TIMEOUT 60473 |
| tpdb-8.0/FP/basic_haskell/CARET_2.hs | TIMEOUT 60595 |
| tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs | NO 2536 |
| tpdb-8.0/FP/basic_haskell/ceiling_1.hs | YES 10481 |
| tpdb-8.0/FP/basic_haskell/chr_1.hs | YES 2120 |
| tpdb-8.0/FP/basic_haskell/compare_1.hs | YES 2097 |
| tpdb-8.0/FP/basic_haskell/compare_2.hs | YES 2226 |
| tpdb-8.0/FP/basic_haskell/compare_3.hs | YES 3319 |
| tpdb-8.0/FP/basic_haskell/compare_4.hs | YES 2244 |
| tpdb-8.0/FP/basic_haskell/compare_5.hs | YES 3278 |
| tpdb-8.0/FP/basic_haskell/compare_6.hs | YES 2237 |
| tpdb-8.0/FP/basic_haskell/compare_7.hs | YES 2227 |
| tpdb-8.0/FP/basic_haskell/concat_1.hs | YES 2207 |
| tpdb-8.0/FP/basic_haskell/concatMap_1.hs | YES 2263 |
| tpdb-8.0/FP/basic_haskell/const_1.hs | YES 2105 |
| tpdb-8.0/FP/basic_haskell/curry_1.hs | YES 2120 |
| tpdb-8.0/FP/basic_haskell/cycle_1.hs | MAYBE 2238 |
| tpdb-8.0/FP/basic_haskell/denominator_1.hs | YES 2125 |
| tpdb-8.0/FP/basic_haskell/digitToInt_1.hs | YES 7910 |
| tpdb-8.0/FP/basic_haskell/div_1.hs | YES 2961 |
| tpdb-8.0/FP/basic_haskell/divMod_1.hs | YES 13181 |
| tpdb-8.0/FP/basic_haskell/DOLLAR_1.hs | YES 2101 |
| tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs | YES 2147 |
| tpdb-8.0/FP/basic_haskell/DOT_1.hs | YES 2118 |
| tpdb-8.0/FP/basic_haskell/drop_1.hs | YES 2577 |
| tpdb-8.0/FP/basic_haskell/dropWhile_1.hs | YES 2237 |
| tpdb-8.0/FP/basic_haskell/either_1.hs | YES 2137 |
| tpdb-8.0/FP/basic_haskell/elem_1.hs | YES 2267 |
| tpdb-8.0/FP/basic_haskell/elem_2.hs | YES 2482 |
| tpdb-8.0/FP/basic_haskell/elem_3.hs | YES 2252 |
| tpdb-8.0/FP/basic_haskell/elem_4.hs | YES 2397 |
| tpdb-8.0/FP/basic_haskell/elem_5.hs | YES 3339 |
| tpdb-8.0/FP/basic_haskell/elem_6.hs | YES 2411 |
| tpdb-8.0/FP/basic_haskell/elem_7.hs | YES 2348 |
| tpdb-8.0/FP/basic_haskell/encodeFloat_1.hs | YES 3430 |
| tpdb-8.0/FP/basic_haskell/enumFrom_1.hs | YES 2111 |
| tpdb-8.0/FP/basic_haskell/enumFrom_2.hs | YES 2927 |
| tpdb-8.0/FP/basic_haskell/enumFrom_3.hs | MAYBE 22210 |
| tpdb-8.0/FP/basic_haskell/enumFrom_4.hs | MAYBE 2993 |
| tpdb-8.0/FP/basic_haskell/enumFrom_5.hs | MAYBE 2943 |
| tpdb-8.0/FP/basic_haskell/enumFrom_6.hs | YES 3364 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_1.hs | YES 2108 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_2.hs | TIMEOUT 60709 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_3.hs | NO 5044 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_4.hs | MAYBE 29021 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs | MAYBE 4971 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_6.hs | MAYBE 4653 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_7.hs | NO 6446 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_1.hs | TIMEOUT 60352 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_2.hs | NO 5396 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_3.hs | TIMEOUT 60505 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_4.hs | TIMEOUT 60730 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_5.hs | MAYBE 10198 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_6.hs | TIMEOUT 60555 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_1.hs | YES 2871 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_2.hs | TIMEOUT 60594 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_3.hs | YES 3035 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_4.hs | MAYBE 33670 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_5.hs | TIMEOUT 60509 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_6.hs | MAYBE 37390 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_7.hs | YES 3838 |
| tpdb-8.0/FP/basic_haskell/EQEQ_1.hs | YES 2119 |
| tpdb-8.0/FP/basic_haskell/EQEQ_2.hs | YES 2341 |
| tpdb-8.0/FP/basic_haskell/EQEQ_3.hs | YES 2104 |
| tpdb-8.0/FP/basic_haskell/EQEQ_4.hs | YES 2225 |
| tpdb-8.0/FP/basic_haskell/EQEQ_5.hs | YES 3328 |
| tpdb-8.0/FP/basic_haskell/EQEQ_6.hs | YES 2185 |
| tpdb-8.0/FP/basic_haskell/EQEQ_7.hs | YES 2140 |
| tpdb-8.0/FP/basic_haskell/EQLTLT_1.hs | YES 2139 |
| tpdb-8.0/FP/basic_haskell/error_1.hs | YES 2122 |
| tpdb-8.0/FP/basic_haskell/even_1.hs | YES 2176 |
| tpdb-8.0/FP/basic_haskell/fail_1.hs | YES 2168 |
| tpdb-8.0/FP/basic_haskell/filter_1.hs | YES 2292 |
| tpdb-8.0/FP/basic_haskell/flip_1.hs | YES 2113 |
| tpdb-8.0/FP/basic_haskell/floatDigits_1.hs | YES 2169 |
| tpdb-8.0/FP/basic_haskell/floatRadix_1.hs | YES 2146 |
| tpdb-8.0/FP/basic_haskell/floatRange_1.hs | YES 2406 |
| tpdb-8.0/FP/basic_haskell/floor_1.hs | YES 11114 |
| tpdb-8.0/FP/basic_haskell/fmap_1.hs | YES 2130 |
| tpdb-8.0/FP/basic_haskell/fmap_2.hs | YES 2145 |
| tpdb-8.0/FP/basic_haskell/foldl1_1.hs | YES 2197 |
| tpdb-8.0/FP/basic_haskell/foldl_1.hs | YES 2140 |
| tpdb-8.0/FP/basic_haskell/foldr1_1.hs | YES 2172 |
| tpdb-8.0/FP/basic_haskell/foldr_1.hs | YES 2120 |
| tpdb-8.0/FP/basic_haskell/fromDouble_1.hs | TIMEOUT 60469 |
| tpdb-8.0/FP/basic_haskell/fromDouble_2.hs | YES 2136 |
| tpdb-8.0/FP/basic_haskell/fromEnum_1.hs | YES 2123 |
| tpdb-8.0/FP/basic_haskell/fromEnum_2.hs | YES 3033 |
| tpdb-8.0/FP/basic_haskell/fromEnum_3.hs | YES 2117 |
| tpdb-8.0/FP/basic_haskell/fromEnum_4.hs | YES 2114 |
| tpdb-8.0/FP/basic_haskell/fromEnum_5.hs | YES 3122 |
| tpdb-8.0/FP/basic_haskell/fromEnum_6.hs | YES 2131 |
| tpdb-8.0/FP/basic_haskell/fromEnum_7.hs | YES 2176 |
| tpdb-8.0/FP/basic_haskell/fromInt_1.hs | YES 2128 |
| tpdb-8.0/FP/basic_haskell/fromInt_2.hs | YES 2096 |
| tpdb-8.0/FP/basic_haskell/fromInt_3.hs | YES 2070 |
| tpdb-8.0/FP/basic_haskell/fromInteger_1.hs | YES 2149 |
| tpdb-8.0/FP/basic_haskell/fromInteger_2.hs | YES 2152 |
| tpdb-8.0/FP/basic_haskell/fromInteger_3.hs | YES 2122 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_1.hs | YES 2203 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_2.hs | YES 2179 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_3.hs | YES 2162 |
| tpdb-8.0/FP/basic_haskell/fromRational_1.hs | YES 2148 |
| tpdb-8.0/FP/basic_haskell/fromRational_2.hs | YES 2176 |
| tpdb-8.0/FP/basic_haskell/fst_1.hs | YES 2163 |
| tpdb-8.0/FP/basic_haskell/gcd_1.hs | YES 15504 |
| tpdb-8.0/FP/basic_haskell/GT_1.hs | YES 2146 |
| tpdb-8.0/FP/basic_haskell/GT_2.hs | YES 3322 |
| tpdb-8.0/FP/basic_haskell/GT_3.hs | YES 2255 |
| tpdb-8.0/FP/basic_haskell/GT_4.hs | YES 2305 |
| tpdb-8.0/FP/basic_haskell/GT_5.hs | YES 3325 |
| tpdb-8.0/FP/basic_haskell/GT_6.hs | YES 2289 |
| tpdb-8.0/FP/basic_haskell/GT_7.hs | YES 2256 |
| tpdb-8.0/FP/basic_haskell/GTEQ_1.hs | YES 2194 |
| tpdb-8.0/FP/basic_haskell/GTEQ_2.hs | YES 3349 |
| tpdb-8.0/FP/basic_haskell/GTEQ_3.hs | YES 2268 |
| tpdb-8.0/FP/basic_haskell/GTEQ_4.hs | YES 2380 |
| tpdb-8.0/FP/basic_haskell/GTEQ_5.hs | YES 3365 |
| tpdb-8.0/FP/basic_haskell/GTEQ_6.hs | YES 2371 |
| tpdb-8.0/FP/basic_haskell/GTEQ_7.hs | YES 2314 |
| tpdb-8.0/FP/basic_haskell/GTGT_1.hs | YES 2145 |
| tpdb-8.0/FP/basic_haskell/GTGTEQ_1.hs | YES 2130 |
| tpdb-8.0/FP/basic_haskell/head_1.hs | YES 2173 |
| tpdb-8.0/FP/basic_haskell/id_1.hs | YES 2106 |
| tpdb-8.0/FP/basic_haskell/index_1.hs | YES 2146 |
| tpdb-8.0/FP/basic_haskell/index_2.hs | YES 6174 |
| tpdb-8.0/FP/basic_haskell/index_3.hs | YES 5996 |
| tpdb-8.0/FP/basic_haskell/index_4.hs | YES 6021 |
| tpdb-8.0/FP/basic_haskell/init_1.hs | YES 2145 |
| tpdb-8.0/FP/basic_haskell/inRange_1.hs | YES 2132 |
| tpdb-8.0/FP/basic_haskell/inRange_2.hs | YES 2576 |
| tpdb-8.0/FP/basic_haskell/inRange_3.hs | YES 2466 |
| tpdb-8.0/FP/basic_haskell/inRange_4.hs | YES 2340 |
| tpdb-8.0/FP/basic_haskell/intToDigit_1.hs | YES 4245 |
| tpdb-8.0/FP/basic_haskell/isAlpha_1.hs | TIMEOUT 60525 |
| tpdb-8.0/FP/basic_haskell/isAlphaNum_1.hs | TIMEOUT 60548 |
| tpdb-8.0/FP/basic_haskell/isAscii_1.hs | YES 2514 |
| tpdb-8.0/FP/basic_haskell/isControl_1.hs | YES 4631 |
| tpdb-8.0/FP/basic_haskell/isDenormalized_1.hs | YES 2104 |
| tpdb-8.0/FP/basic_haskell/isDigit_1.hs | YES 2653 |
| tpdb-8.0/FP/basic_haskell/isHexDigit_1.hs | YES 5512 |
| tpdb-8.0/FP/basic_haskell/isIEEE_1.hs | YES 2107 |
| tpdb-8.0/FP/basic_haskell/isInfinite_1.hs | YES 2068 |
| tpdb-8.0/FP/basic_haskell/isLatin1_1.hs | YES 2775 |
| tpdb-8.0/FP/basic_haskell/isLower_1.hs | YES 38031 |
| tpdb-8.0/FP/basic_haskell/isNaN_1.hs | YES 2103 |
| tpdb-8.0/FP/basic_haskell/isNegativeZero_1.hs | YES 2109 |
| tpdb-8.0/FP/basic_haskell/isOctDigit_1.hs | YES 2647 |
| tpdb-8.0/FP/basic_haskell/isPrint_1.hs | YES 5908 |
| tpdb-8.0/FP/basic_haskell/isSpace_1.hs | YES 6535 |
| tpdb-8.0/FP/basic_haskell/isUpper_1.hs | YES 28712 |
| tpdb-8.0/FP/basic_haskell/iterate_1.hs | MAYBE 2239 |
| tpdb-8.0/FP/basic_haskell/last_1.hs | YES 2144 |
| tpdb-8.0/FP/basic_haskell/lcm_1.hs | TIMEOUT 60589 |
| tpdb-8.0/FP/basic_haskell/length_1.hs | YES 2455 |
| tpdb-8.0/FP/basic_haskell/lex_1.hs | TIMEOUT 60438 |
| tpdb-8.0/FP/basic_haskell/lexDigits_1.hs | YES 6829 |
| tpdb-8.0/FP/basic_haskell/lexLitChar_1.hs | TIMEOUT 60522 |
| tpdb-8.0/FP/basic_haskell/lines_1.hs | TIMEOUT 60765 |
| tpdb-8.0/FP/basic_haskell/lookup_1.hs | YES 2226 |
| tpdb-8.0/FP/basic_haskell/lookup_2.hs | YES 2296 |
| tpdb-8.0/FP/basic_haskell/lookup_3.hs | YES 3636 |
| tpdb-8.0/FP/basic_haskell/lookup_4.hs | YES 25259 |
| tpdb-8.0/FP/basic_haskell/lookup_5.hs | YES 3642 |
| tpdb-8.0/FP/basic_haskell/lookup_6.hs | YES 2416 |
| tpdb-8.0/FP/basic_haskell/LT_1.hs | YES 2150 |
| tpdb-8.0/FP/basic_haskell/LT_2.hs | YES 2252 |
| tpdb-8.0/FP/basic_haskell/LT_3.hs | YES 2369 |
| tpdb-8.0/FP/basic_haskell/LT_4.hs | YES 3328 |
| tpdb-8.0/FP/basic_haskell/LT_5.hs | YES 2363 |
| tpdb-8.0/FP/basic_haskell/LT_6.hs | YES 2233 |
| tpdb-8.0/FP/basic_haskell/LTEQ_1.hs | YES 2181 |
| tpdb-8.0/FP/basic_haskell/LTEQ_2.hs | YES 3351 |
| tpdb-8.0/FP/basic_haskell/LTEQ_3.hs | YES 2117 |
| tpdb-8.0/FP/basic_haskell/LTEQ_4.hs | YES 2373 |
| tpdb-8.0/FP/basic_haskell/LTEQ_5.hs | YES 3493 |
| tpdb-8.0/FP/basic_haskell/LTEQ_6.hs | YES 2369 |
| tpdb-8.0/FP/basic_haskell/LTEQ_7.hs | YES 2144 |
| tpdb-8.0/FP/basic_haskell/map_1.hs | YES 2155 |
| tpdb-8.0/FP/basic_haskell/mapM__1.hs | YES 2305 |
| tpdb-8.0/FP/basic_haskell/mapM_1.hs | YES 2264 |
| tpdb-8.0/FP/basic_haskell/max_1.hs | YES 2230 |
| tpdb-8.0/FP/basic_haskell/max_2.hs | YES 2199 |
| tpdb-8.0/FP/basic_haskell/max_3.hs | YES 3878 |
| tpdb-8.0/FP/basic_haskell/max_4.hs | YES 9330 |
| tpdb-8.0/FP/basic_haskell/max_5.hs | YES 3438 |
| tpdb-8.0/FP/basic_haskell/max_6.hs | YES 2175 |
| tpdb-8.0/FP/basic_haskell/maxBound_1.hs | YES 2082 |
| tpdb-8.0/FP/basic_haskell/maxBound_2.hs | YES 2077 |
| tpdb-8.0/FP/basic_haskell/maxBound_3.hs | YES 2410 |
| tpdb-8.0/FP/basic_haskell/maxBound_4.hs | NO 2766 |
| tpdb-8.0/FP/basic_haskell/maxBound_5.hs | YES 2090 |
| tpdb-8.0/FP/basic_haskell/maximum_1.hs | YES 2370 |
| tpdb-8.0/FP/basic_haskell/maximum_2.hs | YES 2266 |
| tpdb-8.0/FP/basic_haskell/maximum_3.hs | YES 3617 |
| tpdb-8.0/FP/basic_haskell/maximum_4.hs | YES 15245 |
| tpdb-8.0/FP/basic_haskell/maximum_5.hs | YES 3597 |
| tpdb-8.0/FP/basic_haskell/maximum_6.hs | YES 2254 |
| tpdb-8.0/FP/basic_haskell/maybe_1.hs | YES 2128 |
| tpdb-8.0/FP/basic_haskell/min_1.hs | YES 2237 |
| tpdb-8.0/FP/basic_haskell/min_2.hs | YES 2178 |
| tpdb-8.0/FP/basic_haskell/min_3.hs | YES 3532 |
| tpdb-8.0/FP/basic_haskell/min_4.hs | YES 9221 |
| tpdb-8.0/FP/basic_haskell/min_5.hs | YES 3857 |
| tpdb-8.0/FP/basic_haskell/min_6.hs | YES 2182 |
| tpdb-8.0/FP/basic_haskell/minBound_1.hs | YES 2098 |
| tpdb-8.0/FP/basic_haskell/minBound_2.hs | YES 2087 |
| tpdb-8.0/FP/basic_haskell/minBound_3.hs | YES 2112 |
| tpdb-8.0/FP/basic_haskell/minBound_4.hs | NO 2739 |
| tpdb-8.0/FP/basic_haskell/minBound_5.hs | YES 2090 |
| tpdb-8.0/FP/basic_haskell/minimum_1.hs | YES 2365 |
| tpdb-8.0/FP/basic_haskell/minimum_2.hs | YES 2269 |
| tpdb-8.0/FP/basic_haskell/minimum_3.hs | YES 3660 |
| tpdb-8.0/FP/basic_haskell/minimum_4.hs | YES 15228 |
| tpdb-8.0/FP/basic_haskell/minimum_5.hs | YES 3645 |
| tpdb-8.0/FP/basic_haskell/minimum_6.hs | YES 2304 |
| tpdb-8.0/FP/basic_haskell/MINUS_1.hs | YES 2389 |
| tpdb-8.0/FP/basic_haskell/MINUS_2.hs | YES 2215 |
| tpdb-8.0/FP/basic_haskell/mod_1.hs | YES 3959 |
| tpdb-8.0/FP/basic_haskell/negate_1.hs | YES 2136 |
| tpdb-8.0/FP/basic_haskell/negate_2.hs | YES 2117 |
| tpdb-8.0/FP/basic_haskell/not_1.hs | YES 2094 |
| tpdb-8.0/FP/basic_haskell/notElem_1.hs | YES 2280 |
| tpdb-8.0/FP/basic_haskell/notElem_2.hs | YES 2299 |
| tpdb-8.0/FP/basic_haskell/notElem_3.hs | YES 2483 |
| tpdb-8.0/FP/basic_haskell/notElem_4.hs | YES 3513 |
| tpdb-8.0/FP/basic_haskell/notElem_5.hs | YES 2451 |
| tpdb-8.0/FP/basic_haskell/notElem_6.hs | YES 2307 |
| tpdb-8.0/FP/basic_haskell/null_1.hs | YES 2122 |
| tpdb-8.0/FP/basic_haskell/numerator_1.hs | YES 2084 |
| tpdb-8.0/FP/basic_haskell/odd_1.hs | YES 2181 |
| tpdb-8.0/FP/basic_haskell/or_1.hs | YES 2170 |
| tpdb-8.0/FP/basic_haskell/ord_1.hs | YES 2129 |
| tpdb-8.0/FP/basic_haskell/otherwise_1.hs | YES 2099 |
| tpdb-8.0/FP/basic_haskell/PLUS_1.hs | YES 2429 |
| tpdb-8.0/FP/basic_haskell/PLUS_2.hs | YES 2244 |
| tpdb-8.0/FP/basic_haskell/PLUSPLUS_1.hs | YES 2169 |
| tpdb-8.0/FP/basic_haskell/pred_1.hs | YES 2387 |
| tpdb-8.0/FP/basic_haskell/pred_2.hs | YES 5775 |
| tpdb-8.0/FP/basic_haskell/pred_3.hs | YES 2432 |
| tpdb-8.0/FP/basic_haskell/pred_4.hs | YES 2297 |
| tpdb-8.0/FP/basic_haskell/pred_5.hs | YES 5436 |
| tpdb-8.0/FP/basic_haskell/pred_6.hs | YES 2154 |
| tpdb-8.0/FP/basic_haskell/pred_7.hs | YES 2686 |
| tpdb-8.0/FP/basic_haskell/primThrowException_1.hs | NO 2215 |
| tpdb-8.0/FP/basic_haskell/product_1.hs | YES 2576 |
| tpdb-8.0/FP/basic_haskell/product_2.hs | YES 2419 |
| tpdb-8.0/FP/basic_haskell/properFraction_1.hs | YES 4583 |
| tpdb-8.0/FP/basic_haskell/properFraction_2.hs | YES 3099 |
| tpdb-8.0/FP/basic_haskell/quot_1.hs | YES 2831 |
| tpdb-8.0/FP/basic_haskell/quotRem_1.hs | YES 4099 |
| tpdb-8.0/FP/basic_haskell/range_1.hs | YES 2121 |
| tpdb-8.0/FP/basic_haskell/range_2.hs | MAYBE 34072 |
| tpdb-8.0/FP/basic_haskell/range_3.hs | MAYBE 37077 |
| tpdb-8.0/FP/basic_haskell/range_4.hs | YES 4335 |
| tpdb-8.0/FP/basic_haskell/rangeSize_1.hs | YES 2344 |
| tpdb-8.0/FP/basic_haskell/rangeSize_2.hs | YES 8613 |
| tpdb-8.0/FP/basic_haskell/rangeSize_3.hs | YES 8970 |
| tpdb-8.0/FP/basic_haskell/rangeSize_4.hs | YES 7993 |
| tpdb-8.0/FP/basic_haskell/read_1.hs | TIMEOUT 60529 |
| tpdb-8.0/FP/basic_haskell/read_2.hs | TIMEOUT 60496 |
| tpdb-8.0/FP/basic_haskell/readDec_1.hs | YES 7927 |
| tpdb-8.0/FP/basic_haskell/readHex_1.hs | TIMEOUT 60587 |
| tpdb-8.0/FP/basic_haskell/readInt_1.hs | YES 3683 |
| tpdb-8.0/FP/basic_haskell/readList_1.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/basic_haskell/readLitChar_1.hs | TIMEOUT 60610 |
| tpdb-8.0/FP/basic_haskell/readOct_1.hs | YES 14042 |
| tpdb-8.0/FP/basic_haskell/readParen_1.hs | TIMEOUT 60423 |
| tpdb-8.0/FP/basic_haskell/readParen_2.hs | TIMEOUT 60465 |
| tpdb-8.0/FP/basic_haskell/readParen_3.hs | TIMEOUT 60427 |
| tpdb-8.0/FP/basic_haskell/readParen_4.hs | TIMEOUT 60430 |
| tpdb-8.0/FP/basic_haskell/readParen_5.hs | TIMEOUT 60445 |
| tpdb-8.0/FP/basic_haskell/readParen_6.hs | TIMEOUT 60473 |
| tpdb-8.0/FP/basic_haskell/reads_1.hs | TIMEOUT 60502 |
| tpdb-8.0/FP/basic_haskell/reads_2.hs | TIMEOUT 60472 |
| tpdb-8.0/FP/basic_haskell/reads_3.hs | TIMEOUT 60429 |
| tpdb-8.0/FP/basic_haskell/readSigned_1.hs | TIMEOUT 60419 |
| tpdb-8.0/FP/basic_haskell/readsPrec_1.hs | TIMEOUT 60496 |
| tpdb-8.0/FP/basic_haskell/readsPrec_2.hs | TIMEOUT 60507 |
| tpdb-8.0/FP/basic_haskell/realToFrac_1.hs | YES 2239 |
| tpdb-8.0/FP/basic_haskell/realToFrac_2.hs | YES 2191 |
| tpdb-8.0/FP/basic_haskell/recip_1.hs | YES 2120 |
| tpdb-8.0/FP/basic_haskell/recip_2.hs | YES 2312 |
| tpdb-8.0/FP/basic_haskell/rem_1.hs | YES 2814 |
| tpdb-8.0/FP/basic_haskell/repeat_1.hs | NO 2240 |
| tpdb-8.0/FP/basic_haskell/replicate_1.hs | YES 2595 |
| tpdb-8.0/FP/basic_haskell/return_1.hs | YES 2114 |
| tpdb-8.0/FP/basic_haskell/return_2.hs | YES 2109 |
| tpdb-8.0/FP/basic_haskell/reverse_1.hs | YES 2214 |
| tpdb-8.0/FP/basic_haskell/scanl1_1.hs | YES 2198 |
| tpdb-8.0/FP/basic_haskell/scanl_1.hs | YES 2220 |
| tpdb-8.0/FP/basic_haskell/scanr1_1.hs | YES 2346 |
| tpdb-8.0/FP/basic_haskell/scanr_1.hs | YES 2253 |
| tpdb-8.0/FP/basic_haskell/seq_1.hs | YES 2116 |
| tpdb-8.0/FP/basic_haskell/sequence__1.hs | YES 2193 |
| tpdb-8.0/FP/basic_haskell/sequence_1.hs | YES 2266 |
| tpdb-8.0/FP/basic_haskell/sequence__2.hs | YES 2268 |
| tpdb-8.0/FP/basic_haskell/sequence_2.hs | YES 2260 |
| tpdb-8.0/FP/basic_haskell/show_1.hs | YES 2350 |
| tpdb-8.0/FP/basic_haskell/show_2.hs | TIMEOUT 61300 |
| tpdb-8.0/FP/basic_haskell/show_3.hs | YES 14835 |
| tpdb-8.0/FP/basic_haskell/show_4.hs | TIMEOUT 61388 |
| tpdb-8.0/FP/basic_haskell/show_5.hs | YES 4898 |
| tpdb-8.0/FP/basic_haskell/showChar_1.hs | YES 2108 |
| tpdb-8.0/FP/basic_haskell/showInt_1.hs | TIMEOUT 60534 |
| tpdb-8.0/FP/basic_haskell/showParen_1.hs | YES 2397 |
| tpdb-8.0/FP/basic_haskell/shows_1.hs | YES 2347 |
| tpdb-8.0/FP/basic_haskell/shows_2.hs | TIMEOUT 61406 |
| tpdb-8.0/FP/basic_haskell/shows_3.hs | YES 14435 |
| tpdb-8.0/FP/basic_haskell/shows_4.hs | TIMEOUT 61741 |
| tpdb-8.0/FP/basic_haskell/shows_5.hs | YES 4980 |
| tpdb-8.0/FP/basic_haskell/showSigned_1.hs | YES 4863 |
| tpdb-8.0/FP/basic_haskell/showSigned_2.hs | YES 5820 |
| tpdb-8.0/FP/basic_haskell/showSigned_3.hs | YES 2866 |
| tpdb-8.0/FP/basic_haskell/showsPrec_1.hs | YES 2298 |
| tpdb-8.0/FP/basic_haskell/showsPrec_2.hs | TIMEOUT 61635 |
| tpdb-8.0/FP/basic_haskell/showsPrec_3.hs | YES 9907 |
| tpdb-8.0/FP/basic_haskell/showsPrec_4.hs | TIMEOUT 61426 |
| tpdb-8.0/FP/basic_haskell/showsPrec_5.hs | YES 4651 |
| tpdb-8.0/FP/basic_haskell/showString_1.hs | YES 2182 |
| tpdb-8.0/FP/basic_haskell/signum_1.hs | YES 2630 |
| tpdb-8.0/FP/basic_haskell/signum_2.hs | YES 7616 |
| tpdb-8.0/FP/basic_haskell/signum_3.hs | YES 2617 |
| tpdb-8.0/FP/basic_haskell/SLASH_1.hs | YES 2268 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_1.hs | YES 2133 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_2.hs | YES 2371 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs | YES 2139 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_4.hs | YES 2301 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_5.hs | YES 3343 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_6.hs | YES 2248 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_7.hs | YES 2154 |
| tpdb-8.0/FP/basic_haskell/snd_1.hs | YES 2109 |
| tpdb-8.0/FP/basic_haskell/span_1.hs | YES 2444 |
| tpdb-8.0/FP/basic_haskell/splitAt_1.hs | YES 2657 |
| tpdb-8.0/FP/basic_haskell/STAR_1.hs | YES 2272 |
| tpdb-8.0/FP/basic_haskell/STAR_2.hs | YES 2285 |
| tpdb-8.0/FP/basic_haskell/subtract_1.hs | YES 2449 |
| tpdb-8.0/FP/basic_haskell/subtract_2.hs | YES 2271 |
| tpdb-8.0/FP/basic_haskell/succ_1.hs | YES 2395 |
| tpdb-8.0/FP/basic_haskell/succ_2.hs | YES 5365 |
| tpdb-8.0/FP/basic_haskell/succ_3.hs | YES 2412 |
| tpdb-8.0/FP/basic_haskell/succ_4.hs | YES 2302 |
| tpdb-8.0/FP/basic_haskell/succ_5.hs | YES 5424 |
| tpdb-8.0/FP/basic_haskell/succ_6.hs | YES 2142 |
| tpdb-8.0/FP/basic_haskell/succ_7.hs | YES 2490 |
| tpdb-8.0/FP/basic_haskell/sum_1.hs | YES 2561 |
| tpdb-8.0/FP/basic_haskell/sum_2.hs | YES 2401 |
| tpdb-8.0/FP/basic_haskell/tail_1.hs | YES 2116 |
| tpdb-8.0/FP/basic_haskell/take_1.hs | YES 2633 |
| tpdb-8.0/FP/basic_haskell/takeWhile_1.hs | YES 2221 |
| tpdb-8.0/FP/basic_haskell/toEnum_1.hs | YES 2224 |
| tpdb-8.0/FP/basic_haskell/toEnum_2.hs | YES 2128 |
| tpdb-8.0/FP/basic_haskell/toEnum_3.hs | YES 2227 |
| tpdb-8.0/FP/basic_haskell/toEnum_4.hs | YES 2128 |
| tpdb-8.0/FP/basic_haskell/toEnum_5.hs | YES 2123 |
| tpdb-8.0/FP/basic_haskell/toEnum_6.hs | YES 2161 |
| tpdb-8.0/FP/basic_haskell/toEnum_7.hs | YES 2266 |
| tpdb-8.0/FP/basic_haskell/toInt_1.hs | YES 2109 |
| tpdb-8.0/FP/basic_haskell/toInteger_1.hs | YES 2094 |
| tpdb-8.0/FP/basic_haskell/toLower_1.hs | YES 19231 |
| tpdb-8.0/FP/basic_haskell/toRational_1.hs | YES 2146 |
| tpdb-8.0/FP/basic_haskell/toUpper_1.hs | TIMEOUT 60425 |
| tpdb-8.0/FP/basic_haskell/truncate_1.hs | YES 3095 |
| tpdb-8.0/FP/basic_haskell/truncate_2.hs | YES 3148 |
| tpdb-8.0/FP/basic_haskell/uncurry_1.hs | YES 2163 |
| tpdb-8.0/FP/basic_haskell/undefined_1.hs | YES 2115 |
| tpdb-8.0/FP/basic_haskell/unlines_1.hs | YES 2173 |
| tpdb-8.0/FP/basic_haskell/until_1.hs | MAYBE 2245 |
| tpdb-8.0/FP/basic_haskell/unwords_1.hs | YES 2218 |
| tpdb-8.0/FP/basic_haskell/unzip_1.hs | YES 2229 |
| tpdb-8.0/FP/basic_haskell/unzip3_1.hs | YES 2278 |
| tpdb-8.0/FP/basic_haskell/userError_1.hs | YES 2184 |
| tpdb-8.0/FP/basic_haskell/words_1.hs | TIMEOUT 60515 |
| tpdb-8.0/FP/basic_haskell/zip_1.hs | YES 2234 |
| tpdb-8.0/FP/basic_haskell/zip3_1.hs | YES 2254 |
| tpdb-8.0/FP/basic_haskell/zipWith_1.hs | YES 2176 |
| tpdb-8.0/FP/basic_haskell/zipWith3_1.hs | YES 2201 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_10.hs | YES 29934 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_11.hs | TIMEOUT 60622 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_12.hs | YES 22502 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_1.hs | YES 26115 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_2.hs | YES 10625 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_3.hs | TIMEOUT 60621 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_4.hs | YES 38264 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_5.hs | TIMEOUT 60594 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_6.hs | TIMEOUT 60501 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_7.hs | TIMEOUT 60685 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_8.hs | TIMEOUT 60759 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_9.hs | YES 24062 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_10.hs | YES 25718 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_11.hs | TIMEOUT 60608 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_12.hs | YES 19038 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_1.hs | YES 22860 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_2.hs | YES 10215 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_3.hs | TIMEOUT 60603 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_4.hs | YES 30632 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_5.hs | TIMEOUT 60793 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_6.hs | TIMEOUT 60484 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_7.hs | TIMEOUT 60658 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_8.hs | TIMEOUT 60630 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_9.hs | YES 20907 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_10.hs | YES 25898 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_11.hs | TIMEOUT 60597 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_12.hs | YES 18652 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_1.hs | YES 22946 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_2.hs | YES 10360 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_3.hs | TIMEOUT 60637 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_4.hs | YES 29756 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_5.hs | TIMEOUT 60574 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_6.hs | TIMEOUT 60632 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_7.hs | TIMEOUT 60518 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_8.hs | TIMEOUT 60612 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_9.hs | YES 21145 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_10.hs | YES 25330 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_11.hs | TIMEOUT 60608 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_12.hs | YES 19231 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_1.hs | YES 22354 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_2.hs | YES 10286 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_3.hs | TIMEOUT 60725 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_4.hs | YES 30250 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_5.hs | TIMEOUT 60664 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_6.hs | TIMEOUT 60505 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_7.hs | TIMEOUT 60631 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_8.hs | TIMEOUT 60699 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_9.hs | YES 21122 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_10.hs | YES 25868 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_11.hs | TIMEOUT 60641 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_12.hs | YES 20276 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_1.hs | YES 23062 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_2.hs | TIMEOUT 60822 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_3.hs | TIMEOUT 60718 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_4.hs | YES 34037 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_5.hs | YES 58844 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_6.hs | TIMEOUT 60529 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_7.hs | TIMEOUT 60608 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_8.hs | TIMEOUT 60611 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_9.hs | YES 23572 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_10.hs | YES 30180 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_11.hs | TIMEOUT 60815 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_12.hs | YES 24518 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_1.hs | YES 28170 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_2.hs | TIMEOUT 60668 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_3.hs | TIMEOUT 60618 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_4.hs | YES 42608 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_5.hs | YES 60642 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_6.hs | TIMEOUT 60520 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_7.hs | TIMEOUT 60511 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_8.hs | TIMEOUT 60813 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_9.hs | YES 27694 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_10.hs | YES 25312 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_11.hs | YES 10089 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_12.hs | YES 18513 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_1.hs | YES 22993 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_2.hs | YES 9124 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_3.hs | YES 13524 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_4.hs | YES 30216 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_5.hs | YES 15193 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_6.hs | TIMEOUT 60621 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_7.hs | TIMEOUT 60526 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_8.hs | YES 9238 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_9.hs | YES 21208 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_1.hs | YES 9397 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_10.hs | YES 20541 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_11.hs | YES 12450 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_12.hs | YES 18791 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_1.hs | YES 21665 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_2.hs | YES 9586 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_3.hs | YES 12308 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_4.hs | YES 28194 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_5.hs | YES 17105 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_6.hs | TIMEOUT 60661 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_7.hs | TIMEOUT 60669 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_8.hs | YES 11562 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_9.hs | YES 21091 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_10.hs | YES 23954 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_11.hs | YES 11237 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_12.hs | YES 21341 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_1.hs | YES 22385 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_2.hs | YES 10485 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_3.hs | YES 12705 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_4.hs | YES 29463 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_5.hs | YES 16893 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_6.hs | TIMEOUT 60679 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_7.hs | TIMEOUT 60494 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_8.hs | YES 9522 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_9.hs | YES 22475 |
| tpdb-8.0/FP/full_haskell/FiniteMap_emptyFM_1.hs | YES 8889 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_10.hs | YES 53471 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_11.hs | YES 24420 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_12.hs | YES 49234 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_1.hs | YES 31908 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_2.hs | YES 26262 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_3.hs | YES 26486 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_4.hs | YES 60818 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_5.hs | YES 39891 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_6.hs | TIMEOUT 60543 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_7.hs | TIMEOUT 60680 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_8.hs | YES 27377 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_9.hs | YES 55183 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_1.hs | YES 9195 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_10.hs | YES 20935 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_11.hs | YES 11892 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_12.hs | YES 19161 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_1.hs | YES 22170 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_2.hs | YES 10165 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_3.hs | YES 12434 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_4.hs | YES 28701 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_5.hs | YES 17170 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_6.hs | TIMEOUT 60585 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_7.hs | TIMEOUT 60678 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_8.hs | YES 10364 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_9.hs | YES 21000 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_10.hs | YES 23863 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_11.hs | YES 10432 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_12.hs | YES 18008 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_1.hs | YES 22085 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_2.hs | YES 10064 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_3.hs | YES 12450 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs | YES 29089 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_5.hs | YES 16420 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_6.hs | TIMEOUT 60634 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_7.hs | TIMEOUT 60599 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_8.hs | YES 9925 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_9.hs | YES 23184 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_1.hs | YES 8961 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_10.hs | YES 23985 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_11.hs | YES 9612 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_12.hs | YES 16669 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_1.hs | YES 21655 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_2.hs | YES 9080 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_3.hs | YES 9529 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_4.hs | YES 29140 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_5.hs | YES 11152 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_6.hs | TIMEOUT 60723 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_7.hs | TIMEOUT 60548 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_8.hs | YES 9460 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_9.hs | YES 20495 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_10.hs | YES 25490 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_11.hs | YES 9042 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_12.hs | YES 21206 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_1.hs | YES 21727 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_2.hs | YES 8902 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_3.hs | YES 9584 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_4.hs | YES 30193 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_5.hs | YES 11041 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_6.hs | TIMEOUT 60704 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_7.hs | YES 19759 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs | YES 9554 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_9.hs | YES 22362 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_10.hs | YES 42405 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_11.hs | TIMEOUT 60729 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_12.hs | YES 35138 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_1.hs | YES 48140 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_2.hs | YES 34756 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_3.hs | TIMEOUT 60707 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_4.hs | YES 60625 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_5.hs | TIMEOUT 60701 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_6.hs | TIMEOUT 60547 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_7.hs | TIMEOUT 60591 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_8.hs | TIMEOUT 60540 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_9.hs | YES 41743 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs | YES 45594 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_11.hs | TIMEOUT 60767 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_12.hs | YES 37554 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_1.hs | YES 52071 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_2.hs | YES 39310 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_3.hs | TIMEOUT 60596 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_4.hs | YES 60682 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_5.hs | TIMEOUT 60553 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_6.hs | TIMEOUT 60741 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_7.hs | TIMEOUT 60702 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_8.hs | TIMEOUT 60552 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_9.hs | YES 44939 |
| tpdb-8.0/FP/full_haskell/FiniteMap_isEmptyFM_1.hs | YES 9131 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_1.hs | YES 9260 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_10.hs | YES 20141 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_11.hs | YES 10168 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_12.hs | YES 18917 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_1.hs | YES 22045 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_2.hs | YES 10480 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_3.hs | YES 11568 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_4.hs | YES 28396 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_5.hs | YES 17074 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_6.hs | TIMEOUT 60705 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_7.hs | TIMEOUT 60695 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_8.hs | YES 11030 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_9.hs | YES 20368 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_10.hs | YES 24167 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_11.hs | YES 9840 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_12.hs | YES 18394 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_1.hs | YES 22377 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_2.hs | YES 10736 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_3.hs | YES 12919 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_4.hs | YES 28928 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_5.hs | YES 16965 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_6.hs | TIMEOUT 60535 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_7.hs | TIMEOUT 60770 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_8.hs | YES 9657 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs | YES 24305 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_10.hs | YES 26614 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_11.hs | TIMEOUT 60737 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_12.hs | YES 22799 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_1.hs | YES 25216 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_2.hs | YES 10550 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_3.hs | TIMEOUT 60742 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_4.hs | YES 39249 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_5.hs | TIMEOUT 60747 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_6.hs | TIMEOUT 60501 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_7.hs | TIMEOUT 60509 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_8.hs | TIMEOUT 60746 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_9.hs | YES 24326 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_10.hs | YES 24026 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_11.hs | YES 9877 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_12.hs | YES 18178 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_1.hs | YES 21901 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_2.hs | YES 8940 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_3.hs | YES 11097 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_4.hs | YES 29566 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_5.hs | YES 13865 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_6.hs | TIMEOUT 60603 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_7.hs | TIMEOUT 60515 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_8.hs | YES 9026 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_9.hs | YES 21443 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_10.hs | YES 24266 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_11.hs | YES 9535 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_12.hs | YES 18165 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_1.hs | YES 22171 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_2.hs | YES 9397 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_3.hs | YES 15426 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_4.hs | YES 29946 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_5.hs | YES 14378 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_6.hs | TIMEOUT 60622 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_7.hs | TIMEOUT 60632 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_8.hs | YES 9306 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_9.hs | YES 21637 |
| tpdb-8.0/FP/full_haskell/FiniteMap_mapFM_1.hs | YES 9124 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_10.hs | YES 9675 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_11.hs | YES 9055 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_12.hs | YES 9713 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_1.hs | YES 9168 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_2.hs | YES 8990 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_3.hs | YES 9089 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_4.hs | YES 9946 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_5.hs | YES 9549 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_6.hs | YES 9097 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_7.hs | YES 9664 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_8.hs | YES 9236 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_9.hs | YES 9570 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_10.hs | YES 9428 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_11.hs | YES 8966 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_12.hs | YES 9606 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_1.hs | YES 9076 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_2.hs | YES 9045 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_3.hs | YES 8755 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_4.hs | YES 10017 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_5.hs | YES 9649 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_6.hs | YES 9113 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_7.hs | YES 9283 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_8.hs | YES 9095 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_9.hs | YES 9677 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_10.hs | YES 52940 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_11.hs | YES 60542 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_12.hs | YES 40343 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_1.hs | YES 41269 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_2.hs | YES 49541 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_3.hs | YES 60635 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_4.hs | YES 60641 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_5.hs | TIMEOUT 60680 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_6.hs | TIMEOUT 60453 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_7.hs | TIMEOUT 60593 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_8.hs | YES 60523 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_9.hs | YES 48259 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_10.hs | YES 49632 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_11.hs | YES 24803 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_12.hs | YES 35931 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_1.hs | YES 34962 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_2.hs | YES 24673 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_3.hs | YES 25637 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_4.hs | YES 60714 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_5.hs | YES 40180 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_6.hs | TIMEOUT 60681 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_7.hs | TIMEOUT 60659 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_8.hs | YES 23612 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_9.hs | YES 43059 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_10.hs | YES 38102 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_11.hs | YES 45015 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_12.hs | YES 28983 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_1.hs | YES 39313 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_2.hs | YES 38636 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_3.hs | YES 45008 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_4.hs | YES 41410 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_5.hs | YES 47064 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_6.hs | TIMEOUT 60683 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_7.hs | TIMEOUT 60687 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_8.hs | YES 39568 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_9.hs | YES 32961 |
| tpdb-8.0/FP/full_haskell/FiniteMap_sizeFM_1.hs | YES 8772 |
| tpdb-8.0/FP/full_haskell/FiniteMap_unitFM_1.hs | YES 9049 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_10.hs | YES 12788 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_11.hs | YES 13632 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_12.hs | YES 12241 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_1.hs | YES 12472 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_2.hs | YES 8415 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_3.hs | YES 8951 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_4.hs | YES 12819 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_5.hs | YES 10335 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_6.hs | YES 8766 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_7.hs | YES 8892 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_8.hs | YES 25814 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_9.hs | YES 15836 |
| tpdb-8.0/FP/full_haskell/List_delete_10.hs | YES 12302 |
| tpdb-8.0/FP/full_haskell/List_delete_11.hs | YES 13033 |
| tpdb-8.0/FP/full_haskell/List_delete_12.hs | YES 11592 |
| tpdb-8.0/FP/full_haskell/List_delete_1.hs | YES 11163 |
| tpdb-8.0/FP/full_haskell/List_delete_2.hs | YES 8681 |
| tpdb-8.0/FP/full_haskell/List_delete_3.hs | YES 8939 |
| tpdb-8.0/FP/full_haskell/List_delete_4.hs | YES 11915 |
| tpdb-8.0/FP/full_haskell/List_delete_5.hs | YES 10274 |
| tpdb-8.0/FP/full_haskell/List_delete_6.hs | YES 8793 |
| tpdb-8.0/FP/full_haskell/List_delete_7.hs | YES 8757 |
| tpdb-8.0/FP/full_haskell/List_delete_8.hs | YES 22029 |
| tpdb-8.0/FP/full_haskell/List_delete_9.hs | YES 14985 |
| tpdb-8.0/FP/full_haskell/List_deleteBy_1.hs | YES 8758 |
| tpdb-8.0/FP/full_haskell/List_deleteFirstsBy_1.hs | YES 8867 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_10.hs | YES 14366 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_11.hs | YES 14195 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_12.hs | YES 14143 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_1.hs | YES 12833 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_2.hs | YES 9349 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_3.hs | YES 11599 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_4.hs | YES 14536 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_5.hs | YES 13312 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_6.hs | YES 10462 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_7.hs | YES 11100 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_8.hs | YES 16315 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_9.hs | YES 18081 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_10.hs | YES 13654 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_11.hs | YES 13480 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_12.hs | YES 14409 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_1.hs | YES 9192 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_2.hs | YES 12774 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_3.hs | YES 9807 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_4.hs | YES 13317 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_5.hs | YES 11719 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_6.hs | YES 9717 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_7.hs | YES 10740 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_8.hs | YES 15166 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_9.hs | YES 13673 |
| tpdb-8.0/FP/full_haskell/List_find_1.hs | YES 9053 |
| tpdb-8.0/FP/full_haskell/List_findIndex_1.hs | YES 9425 |
| tpdb-8.0/FP/full_haskell/List_findIndices_1.hs | YES 9389 |
| tpdb-8.0/FP/full_haskell/List_genericDrop_1.hs | YES 8931 |
| tpdb-8.0/FP/full_haskell/List_genericIndex_1.hs | YES 9016 |
| tpdb-8.0/FP/full_haskell/List_genericLength_1.hs | TIMEOUT 60612 |
| tpdb-8.0/FP/full_haskell/List_genericLength_2.hs | YES 8393 |
| tpdb-8.0/FP/full_haskell/List_genericLength_3.hs | YES 8772 |
| tpdb-8.0/FP/full_haskell/List_genericLength_4.hs | TIMEOUT 60568 |
| tpdb-8.0/FP/full_haskell/List_genericReplicate_1.hs | YES 9080 |
| tpdb-8.0/FP/full_haskell/List_genericSplitAt_1.hs | YES 10139 |
| tpdb-8.0/FP/full_haskell/List_genericTake_1.hs | YES 8941 |
| tpdb-8.0/FP/full_haskell/List_group_10.hs | YES 20288 |
| tpdb-8.0/FP/full_haskell/List_group_11.hs | YES 19994 |
| tpdb-8.0/FP/full_haskell/List_group_12.hs | YES 19437 |
| tpdb-8.0/FP/full_haskell/List_group_1.hs | YES 19359 |
| tpdb-8.0/FP/full_haskell/List_group_2.hs | YES 9303 |
| tpdb-8.0/FP/full_haskell/List_group_3.hs | YES 14534 |
| tpdb-8.0/FP/full_haskell/List_group_4.hs | YES 20876 |
| tpdb-8.0/FP/full_haskell/List_group_5.hs | YES 19509 |
| tpdb-8.0/FP/full_haskell/List_group_6.hs | YES 9721 |
| tpdb-8.0/FP/full_haskell/List_group_7.hs | YES 12037 |
| tpdb-8.0/FP/full_haskell/List_group_8.hs | TIMEOUT 60627 |
| tpdb-8.0/FP/full_haskell/List_group_9.hs | TIMEOUT 60563 |
| tpdb-8.0/FP/full_haskell/List_groupBy_1.hs | MAYBE 8902 |
| tpdb-8.0/FP/full_haskell/List_inits_1.hs | YES 8479 |
| tpdb-8.0/FP/full_haskell/List_insert_10.hs | YES 22513 |
| tpdb-8.0/FP/full_haskell/List_insert_11.hs | YES 9070 |
| tpdb-8.0/FP/full_haskell/List_insert_12.hs | YES 17822 |
| tpdb-8.0/FP/full_haskell/List_insert_1.hs | YES 21429 |
| tpdb-8.0/FP/full_haskell/List_insert_2.hs | YES 8714 |
| tpdb-8.0/FP/full_haskell/List_insert_3.hs | YES 8945 |
| tpdb-8.0/FP/full_haskell/List_insert_4.hs | YES 25663 |
| tpdb-8.0/FP/full_haskell/List_insert_5.hs | YES 9988 |
| tpdb-8.0/FP/full_haskell/List_insert_6.hs | YES 26188 |
| tpdb-8.0/FP/full_haskell/List_insert_7.hs | YES 22512 |
| tpdb-8.0/FP/full_haskell/List_insert_8.hs | YES 8919 |
| tpdb-8.0/FP/full_haskell/List_insert_9.hs | YES 16049 |
| tpdb-8.0/FP/full_haskell/List_insertBy_1.hs | YES 8747 |
| tpdb-8.0/FP/full_haskell/List_intersect_10.hs | YES 11595 |
| tpdb-8.0/FP/full_haskell/List_intersect_11.hs | YES 13759 |
| tpdb-8.0/FP/full_haskell/List_intersect_12.hs | YES 11965 |
| tpdb-8.0/FP/full_haskell/List_intersect_1.hs | YES 11562 |
| tpdb-8.0/FP/full_haskell/List_intersect_2.hs | YES 9272 |
| tpdb-8.0/FP/full_haskell/List_intersect_3.hs | YES 9385 |
| tpdb-8.0/FP/full_haskell/List_intersect_4.hs | YES 12523 |
| tpdb-8.0/FP/full_haskell/List_intersect_5.hs | YES 9814 |
| tpdb-8.0/FP/full_haskell/List_intersect_6.hs | YES 9321 |
| tpdb-8.0/FP/full_haskell/List_intersect_7.hs | YES 9138 |
| tpdb-8.0/FP/full_haskell/List_intersect_8.hs | MAYBE 24556 |
| tpdb-8.0/FP/full_haskell/List_intersect_9.hs | YES 14059 |
| tpdb-8.0/FP/full_haskell/List_intersectBy_1.hs | YES 8997 |
| tpdb-8.0/FP/full_haskell/List_intersperse_1.hs | YES 8535 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_10.hs | YES 10427 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_11.hs | YES 10667 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_12.hs | YES 10595 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_1.hs | YES 9599 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_2.hs | YES 8590 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_3.hs | YES 8442 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_4.hs | YES 10919 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_5.hs | YES 8548 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_6.hs | YES 8568 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_7.hs | YES 8502 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_8.hs | YES 9170 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_9.hs | YES 8678 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_10.hs | YES 11039 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_11.hs | YES 10909 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_12.hs | YES 11000 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_1.hs | YES 8742 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_2.hs | YES 11226 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_3.hs | YES 9056 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_4.hs | YES 10985 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_5.hs | YES 8835 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_6.hs | YES 8766 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_7.hs | YES 8589 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_8.hs | YES 9013 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_9.hs | YES 9202 |
| tpdb-8.0/FP/full_haskell/List_mapAccumL_1.hs | YES 9080 |
| tpdb-8.0/FP/full_haskell/List_mapAccumR_1.hs | YES 8994 |
| tpdb-8.0/FP/full_haskell/List_maximumBy_1.hs | YES 8814 |
| tpdb-8.0/FP/full_haskell/List_minimumBy_1.hs | YES 8738 |
| tpdb-8.0/FP/full_haskell/List_nub_10.hs | YES 15465 |
| tpdb-8.0/FP/full_haskell/List_nub_11.hs | YES 15480 |
| tpdb-8.0/FP/full_haskell/List_nub_12.hs | YES 14230 |
| tpdb-8.0/FP/full_haskell/List_nub_1.hs | YES 8625 |
| tpdb-8.0/FP/full_haskell/List_nub_2.hs | YES 13777 |
| tpdb-8.0/FP/full_haskell/List_nub_3.hs | TIMEOUT 60553 |
| tpdb-8.0/FP/full_haskell/List_nub_4.hs | YES 13717 |
| tpdb-8.0/FP/full_haskell/List_nub_5.hs | YES 32410 |
| tpdb-8.0/FP/full_haskell/List_nub_6.hs | YES 8860 |
| tpdb-8.0/FP/full_haskell/List_nub_7.hs | YES 9894 |
| tpdb-8.0/FP/full_haskell/List_nub_8.hs | TIMEOUT 60505 |
| tpdb-8.0/FP/full_haskell/List_nub_9.hs | TIMEOUT 60644 |
| tpdb-8.0/FP/full_haskell/List_nubBy_1.hs | YES 9794 |
| tpdb-8.0/FP/full_haskell/List_partition_1.hs | YES 8786 |
| tpdb-8.0/FP/full_haskell/List_sort_10.hs | YES 38396 |
| tpdb-8.0/FP/full_haskell/List_sort_11.hs | YES 12691 |
| tpdb-8.0/FP/full_haskell/List_sort_12.hs | YES 41239 |
| tpdb-8.0/FP/full_haskell/List_sort_1.hs | YES 11704 |
| tpdb-8.0/FP/full_haskell/List_sort_2.hs | YES 43418 |
| tpdb-8.0/FP/full_haskell/List_sort_3.hs | YES 12627 |
| tpdb-8.0/FP/full_haskell/List_sort_4.hs | YES 43715 |
| tpdb-8.0/FP/full_haskell/List_sort_5.hs | YES 13493 |
| tpdb-8.0/FP/full_haskell/List_sort_6.hs | YES 18609 |
| tpdb-8.0/FP/full_haskell/List_sort_7.hs | YES 19656 |
| tpdb-8.0/FP/full_haskell/List_sort_8.hs | YES 12315 |
| tpdb-8.0/FP/full_haskell/List_sort_9.hs | YES 37982 |
| tpdb-8.0/FP/full_haskell/List_sortBy_1.hs | YES 10448 |
| tpdb-8.0/FP/full_haskell/List_tails_1.hs | YES 8320 |
| tpdb-8.0/FP/full_haskell/List_transpose_1.hs | YES 9095 |
| tpdb-8.0/FP/full_haskell/List_unfoldr_1.hs | MAYBE 8818 |
| tpdb-8.0/FP/full_haskell/List_union_10.hs | YES 16031 |
| tpdb-8.0/FP/full_haskell/List_union_11.hs | YES 17235 |
| tpdb-8.0/FP/full_haskell/List_union_12.hs | YES 15547 |
| tpdb-8.0/FP/full_haskell/List_union_1.hs | YES 15505 |
| tpdb-8.0/FP/full_haskell/List_union_2.hs | YES 9012 |
| tpdb-8.0/FP/full_haskell/List_union_3.hs | YES 12641 |
| tpdb-8.0/FP/full_haskell/List_union_4.hs | YES 16371 |
| tpdb-8.0/FP/full_haskell/List_union_5.hs | YES 20035 |
| tpdb-8.0/FP/full_haskell/List_union_6.hs | YES 10387 |
| tpdb-8.0/FP/full_haskell/List_union_7.hs | YES 12565 |
| tpdb-8.0/FP/full_haskell/List_union_8.hs | YES 17502 |
| tpdb-8.0/FP/full_haskell/List_union_9.hs | YES 59113 |
| tpdb-8.0/FP/full_haskell/List_unionBy_1.hs | YES 10490 |
| tpdb-8.0/FP/full_haskell/Maybe_catMaybes_1.hs | YES 7106 |
| tpdb-8.0/FP/full_haskell/Maybe_fromJust_1.hs | YES 6437 |
| tpdb-8.0/FP/full_haskell/Maybe_fromMaybe_1.hs | YES 6794 |
| tpdb-8.0/FP/full_haskell/Maybe_isJust_1.hs | YES 6293 |
| tpdb-8.0/FP/full_haskell/Maybe_isNothing_1.hs | YES 6326 |
| tpdb-8.0/FP/full_haskell/Maybe_listToMaybe_1.hs | YES 6331 |
| tpdb-8.0/FP/full_haskell/Maybe_mapMaybe_1.hs | YES 7135 |
| tpdb-8.0/FP/full_haskell/Maybe_maybe_1.hs | YES 6401 |
| tpdb-8.0/FP/full_haskell/Maybe_maybeToList_1.hs | YES 6561 |
| tpdb-8.0/FP/full_haskell/Monad_ap_1.hs | YES 7518 |
| tpdb-8.0/FP/full_haskell/Monad_ap_2.hs | YES 7711 |
| tpdb-8.0/FP/full_haskell/Monad_ap_3.hs | YES 7544 |
| tpdb-8.0/FP/full_haskell/Monad_ap_4.hs | YES 7513 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_1.hs | MAYBE 8049 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_2.hs | MAYBE 7787 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_3.hs | YES 7634 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_4.hs | YES 7618 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__1.hs | MAYBE 9853 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_1.hs | MAYBE 7427 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__2.hs | MAYBE 9741 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_2.hs | MAYBE 7617 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__3.hs | YES 7576 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_3.hs | YES 7468 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__4.hs | YES 7600 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_4.hs | YES 7531 |
| tpdb-8.0/FP/full_haskell/Monad_guard_1.hs | YES 7088 |
| tpdb-8.0/FP/full_haskell/Monad_guard_2.hs | YES 6981 |
| tpdb-8.0/FP/full_haskell/Monad_guard_3.hs | YES 7018 |
| tpdb-8.0/FP/full_haskell/Monad_join_1.hs | YES 7049 |
| tpdb-8.0/FP/full_haskell/Monad_join_2.hs | YES 7202 |
| tpdb-8.0/FP/full_haskell/Monad_join_3.hs | YES 7187 |
| tpdb-8.0/FP/full_haskell/Monad_join_4.hs | YES 6903 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_1.hs | YES 7631 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_1.hs | YES 7466 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_2.hs | YES 7502 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_3.hs | YES 7467 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_4.hs | YES 7557 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_2.hs | YES 7476 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_1.hs | YES 7667 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_2.hs | YES 7696 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_3.hs | YES 7469 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_4.hs | YES 7652 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_3.hs | YES 7365 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_1.hs | YES 7543 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_2.hs | YES 7430 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_3.hs | YES 7620 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_4.hs | YES 7613 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_4.hs | YES 7402 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_1.hs | YES 8133 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_2.hs | YES 7661 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_3.hs | YES 7525 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_4.hs | YES 7659 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_1.hs | MAYBE 59873 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_2.hs | MAYBE 9382 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_3.hs | MAYBE 44375 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_4.hs | YES 7502 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_1.hs | YES 7111 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_2.hs | YES 7103 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_3.hs | YES 7016 |
| tpdb-8.0/FP/full_haskell/Monad_msum_1.hs | YES 7143 |
| tpdb-8.0/FP/full_haskell/Monad_msum_2.hs | YES 7090 |
| tpdb-8.0/FP/full_haskell/Monad_msum_3.hs | YES 7162 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_1.hs | YES 6860 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_2.hs | YES 6933 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_3.hs | YES 7108 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__1.hs | YES 9326 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_1.hs | YES 9134 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__2.hs | YES 8054 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_2.hs | YES 8362 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__3.hs | YES 8009 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_3.hs | YES 8272 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__4.hs | YES 8100 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_4.hs | YES 7891 |
| tpdb-8.0/FP/full_haskell/Monad_unless_1.hs | YES 7349 |
| tpdb-8.0/FP/full_haskell/Monad_unless_2.hs | YES 7244 |
| tpdb-8.0/FP/full_haskell/Monad_unless_3.hs | YES 7213 |
| tpdb-8.0/FP/full_haskell/Monad_unless_4.hs | YES 7077 |
| tpdb-8.0/FP/full_haskell/Monad_when_1.hs | YES 7335 |
| tpdb-8.0/FP/full_haskell/Monad_when_2.hs | YES 7123 |
| tpdb-8.0/FP/full_haskell/Monad_when_3.hs | YES 7275 |
| tpdb-8.0/FP/full_haskell/Monad_when_4.hs | YES 7246 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__1.hs | YES 7689 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_1.hs | MAYBE 7655 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__2.hs | YES 7470 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_2.hs | MAYBE 7553 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__3.hs | YES 7498 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_3.hs | YES 7530 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__4.hs | YES 7409 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_4.hs | YES 7466 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_1.hs | YES 6607 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_2.hs | YES 10410 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_3.hs | YES 8972 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_4.hs | YES 6495 |
| tpdb-8.0/FP/full_haskell/Prelude_acos_1.hs | YES 6334 |
| tpdb-8.0/FP/full_haskell/Prelude_acosh_1.hs | YES 6509 |
| tpdb-8.0/FP/full_haskell/Prelude_all_1.hs | YES 6549 |
| tpdb-8.0/FP/full_haskell/Prelude_AMPAMP_1.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_and_1.hs | YES 6496 |
| tpdb-8.0/FP/full_haskell/Prelude_any_1.hs | YES 6455 |
| tpdb-8.0/FP/full_haskell/Prelude_appendFile_1.hs | YES 6451 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_1.hs | TIMEOUT 60655 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_2.hs | TIMEOUT 60498 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_3.hs | TIMEOUT 60645 |
| tpdb-8.0/FP/full_haskell/Prelude_asin_1.hs | YES 6365 |
| tpdb-8.0/FP/full_haskell/Prelude_asinh_1.hs | YES 6492 |
| tpdb-8.0/FP/full_haskell/Prelude_asTypeOf_1.hs | YES 6350 |
| tpdb-8.0/FP/full_haskell/Prelude_atan_1.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_atan2_1.hs | TIMEOUT 60755 |
| tpdb-8.0/FP/full_haskell/Prelude_atanh_1.hs | YES 7166 |
| tpdb-8.0/FP/full_haskell/Prelude_BANGBANG_1.hs | YES 6481 |
| tpdb-8.0/FP/full_haskell/Prelude_BARBAR_1.hs | YES 6379 |
| tpdb-8.0/FP/full_haskell/Prelude_basicIORun_1.hs | MAYBE 8080 |
| tpdb-8.0/FP/full_haskell/Prelude_blockIO_1.hs | NO 7231 |
| tpdb-8.0/FP/full_haskell/Prelude_break_1.hs | YES 6799 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_1.hs | TIMEOUT 60413 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_2.hs | TIMEOUT 60574 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_3.hs | MAYBE 17337 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_4.hs | TIMEOUT 60615 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_1.hs | TIMEOUT 60651 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_2.hs | MAYBE 17319 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_3.hs | TIMEOUT 60720 |
| tpdb-8.0/FP/full_haskell/Prelude_catch_1.hs | YES 6354 |
| tpdb-8.0/FP/full_haskell/Prelude_catchHugsException_1.hs | NO 7047 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_1.hs | YES 17497 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_2.hs | YES 18148 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_3.hs | YES 14683 |
| tpdb-8.0/FP/full_haskell/Prelude_chr_1.hs | YES 6540 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_10.hs | YES 13602 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_11.hs | YES 6404 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_12.hs | YES 13667 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_1.hs | YES 16411 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_2.hs | YES 6359 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_3.hs | YES 6461 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_4.hs | YES 16761 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_5.hs | YES 6438 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_6.hs | YES 7326 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_7.hs | YES 7088 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_8.hs | YES 6249 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_9.hs | YES 13587 |
| tpdb-8.0/FP/full_haskell/Prelude_concat_1.hs | YES 6546 |
| tpdb-8.0/FP/full_haskell/Prelude_concatMap_1.hs | YES 6397 |
| tpdb-8.0/FP/full_haskell/Prelude_const_1.hs | YES 6275 |
| tpdb-8.0/FP/full_haskell/Prelude_cos_1.hs | YES 6294 |
| tpdb-8.0/FP/full_haskell/Prelude_cosh_1.hs | YES 7189 |
| tpdb-8.0/FP/full_haskell/Prelude_curry_1.hs | YES 6434 |
| tpdb-8.0/FP/full_haskell/Prelude_cycle_1.hs | MAYBE 6627 |
| tpdb-8.0/FP/full_haskell/Prelude_decodeFloat_1.hs | YES 6360 |
| tpdb-8.0/FP/full_haskell/Prelude_denominator_1.hs | YES 6478 |
| tpdb-8.0/FP/full_haskell/Prelude_digitToInt_1.hs | YES 10393 |
| tpdb-8.0/FP/full_haskell/Prelude_div_1.hs | YES 7058 |
| tpdb-8.0/FP/full_haskell/Prelude_divMod_1.hs | YES 15117 |
| tpdb-8.0/FP/full_haskell/Prelude_DOLLAR_1.hs | YES 6216 |
| tpdb-8.0/FP/full_haskell/Prelude_DOLLARBANG_1.hs | YES 6290 |
| tpdb-8.0/FP/full_haskell/Prelude_DOT_1.hs | YES 6391 |
| tpdb-8.0/FP/full_haskell/Prelude_drop_1.hs | YES 6556 |
| tpdb-8.0/FP/full_haskell/Prelude_dropWhile_1.hs | YES 6420 |
| tpdb-8.0/FP/full_haskell/Prelude_either_1.hs | YES 6448 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_10.hs | YES 8603 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_11.hs | YES 8520 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_12.hs | YES 8506 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_1.hs | YES 7531 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_2.hs | YES 6449 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_3.hs | YES 6318 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_4.hs | YES 8396 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_5.hs | YES 6309 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_6.hs | YES 6463 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_7.hs | YES 6493 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_8.hs | YES 7108 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_9.hs | YES 6360 |
| tpdb-8.0/FP/full_haskell/Prelude_encodeFloat_1.hs | YES 7028 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_1.hs | MAYBE 27758 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_2.hs | YES 6392 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_3.hs | MAYBE 28925 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_4.hs | MAYBE 7568 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_5.hs | MAYBE 7970 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_6.hs | MAYBE 23117 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_7.hs | YES 6761 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_8.hs | YES 7290 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_1.hs | TIMEOUT 60511 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_2.hs | MAYBE 10929 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_3.hs | TIMEOUT 60689 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_4.hs | MAYBE 9028 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_5.hs | MAYBE 23386 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_6.hs | TIMEOUT 60529 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_7.hs | MAYBE 9043 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_8.hs | MAYBE 11745 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_1.hs | TIMEOUT 60625 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_2.hs | MAYBE 7440 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_3.hs | TIMEOUT 60454 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_4.hs | MAYBE 15860 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_5.hs | TIMEOUT 60614 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_6.hs | TIMEOUT 60477 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_7.hs | MAYBE 10369 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_8.hs | TIMEOUT 60471 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_1.hs | TIMEOUT 60528 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_2.hs | YES 6604 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_3.hs | MAYBE 22532 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_4.hs | MAYBE 37353 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_5.hs | MAYBE 51834 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_6.hs | TIMEOUT 60491 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_7.hs | YES 6918 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_8.hs | YES 7556 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_10.hs | YES 8703 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_11.hs | YES 8828 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_12.hs | YES 8410 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_1.hs | YES 8154 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_2.hs | YES 6325 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_3.hs | YES 6530 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_4.hs | YES 8369 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_5.hs | YES 6470 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_6.hs | YES 6164 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_7.hs | YES 6342 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_8.hs | YES 7203 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_9.hs | YES 6671 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_1.hs | YES 6476 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_2.hs | YES 6461 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_3.hs | YES 6485 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_4.hs | YES 6440 |
| tpdb-8.0/FP/full_haskell/Prelude_error_1.hs | YES 6311 |
| tpdb-8.0/FP/full_haskell/Prelude_even_1.hs | YES 6387 |
| tpdb-8.0/FP/full_haskell/Prelude_exp_1.hs | YES 6371 |
| tpdb-8.0/FP/full_haskell/Prelude_exponent_1.hs | YES 7188 |
| tpdb-8.0/FP/full_haskell/Prelude_fail___1.hs | YES 6455 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_1.hs | YES 6422 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_2.hs | YES 6570 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_3.hs | YES 6405 |
| tpdb-8.0/FP/full_haskell/Prelude_filter_1.hs | YES 6837 |
| tpdb-8.0/FP/full_haskell/Prelude_flip_1.hs | YES 6390 |
| tpdb-8.0/FP/full_haskell/Prelude_floatDigits_1.hs | YES 6612 |
| tpdb-8.0/FP/full_haskell/Prelude_floatRadix_1.hs | YES 6482 |
| tpdb-8.0/FP/full_haskell/Prelude_floatRange_1.hs | YES 6500 |
| tpdb-8.0/FP/full_haskell/Prelude_floor__1.hs | YES 16112 |
| tpdb-8.0/FP/full_haskell/Prelude_floor_1.hs | MAYBE 18707 |
| tpdb-8.0/FP/full_haskell/Prelude_floor_2.hs | YES 15121 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_1.hs | YES 6321 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_2.hs | YES 6419 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_3.hs | YES 6349 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_4.hs | YES 6356 |
| tpdb-8.0/FP/full_haskell/Prelude_foldl1_1.hs | YES 6378 |
| tpdb-8.0/FP/full_haskell/Prelude_foldl_1.hs | YES 6429 |
| tpdb-8.0/FP/full_haskell/Prelude_foldr1_1.hs | YES 6377 |
| tpdb-8.0/FP/full_haskell/Prelude_foldr_1.hs | YES 6581 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_1.hs | TIMEOUT 60378 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_2.hs | YES 6407 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_3.hs | YES 14049 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_1.hs | YES 7604 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_2.hs | YES 6507 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_3.hs | YES 6480 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_4.hs | YES 6334 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_5.hs | YES 7407 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_6.hs | YES 7538 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_7.hs | YES 6696 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_8.hs | YES 6448 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_1.hs | YES 6724 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_2.hs | YES 6288 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_3.hs | YES 6432 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_4.hs | YES 6414 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_1.hs | YES 6579 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_2.hs | YES 6492 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_3.hs | YES 6483 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_4.hs | YES 6563 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_1.hs | YES 6373 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_2.hs | YES 6354 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_3.hs | YES 6378 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_4.hs | YES 6292 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_1.hs | YES 6467 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_2.hs | YES 6374 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_3.hs | YES 6425 |
| tpdb-8.0/FP/full_haskell/Prelude_fst_1.hs | YES 6253 |
| tpdb-8.0/FP/full_haskell/Prelude_gcd_1.hs | YES 18827 |
| tpdb-8.0/FP/full_haskell/Prelude_getChar_1.hs | NO 6812 |
| tpdb-8.0/FP/full_haskell/Prelude_getContents_1.hs | NO 6840 |
| tpdb-8.0/FP/full_haskell/Prelude_getLine_1.hs | MAYBE 12261 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_10.hs | YES 15412 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_11.hs | YES 6306 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_12.hs | YES 13196 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_1.hs | YES 18605 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_2.hs | YES 6315 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_3.hs | YES 6345 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_4.hs | YES 18856 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_5.hs | YES 6590 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_6.hs | YES 7290 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_7.hs | YES 7177 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_8.hs | YES 6343 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_9.hs | YES 13827 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_10.hs | YES 15422 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_11.hs | YES 6397 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_12.hs | YES 14662 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_1.hs | YES 19691 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_2.hs | YES 6408 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_3.hs | YES 6452 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_4.hs | YES 17822 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_5.hs | YES 6547 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_6.hs | YES 7876 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_7.hs | YES 7616 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_8.hs | YES 6272 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_9.hs | YES 13940 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT___1.hs | YES 6715 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_1.hs | YES 6690 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_2.hs | YES 6656 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_3.hs | YES 6681 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ__1.hs | YES 6394 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_1.hs | YES 6677 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_2.hs | YES 6325 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_3.hs | YES 6326 |
| tpdb-8.0/FP/full_haskell/Prelude_head_1.hs | YES 6361 |
| tpdb-8.0/FP/full_haskell/Prelude_id_1.hs | YES 6316 |
| tpdb-8.0/FP/full_haskell/Prelude_index_1.hs | TIMEOUT 60499 |
| tpdb-8.0/FP/full_haskell/Prelude_index_2.hs | YES 6555 |
| tpdb-8.0/FP/full_haskell/Prelude_index_3.hs | YES 8722 |
| tpdb-8.0/FP/full_haskell/Prelude_index_4.hs | YES 10010 |
| tpdb-8.0/FP/full_haskell/Prelude_index_5.hs | YES 10734 |
| tpdb-8.0/FP/full_haskell/Prelude_init_1.hs | YES 6456 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_1.hs | YES 7171 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_2.hs | YES 6313 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_3.hs | YES 6741 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_4.hs | YES 6559 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_5.hs | YES 6342 |
| tpdb-8.0/FP/full_haskell/Prelude_interact_1.hs | NO 6911 |
| tpdb-8.0/FP/full_haskell/Prelude_intToDigit_1.hs | YES 9002 |
| tpdb-8.0/FP/full_haskell/Prelude_ioError_1.hs | YES 6328 |
| tpdb-8.0/FP/full_haskell/Prelude_isAlpha_1.hs | TIMEOUT 60565 |
| tpdb-8.0/FP/full_haskell/Prelude_isAlphaNum_1.hs | TIMEOUT 60510 |
| tpdb-8.0/FP/full_haskell/Prelude_isAscii_1.hs | YES 6515 |
| tpdb-8.0/FP/full_haskell/Prelude_isControl_1.hs | YES 7659 |
| tpdb-8.0/FP/full_haskell/Prelude_isDenormalized_1.hs | YES 6564 |
| tpdb-8.0/FP/full_haskell/Prelude_isDigit_1.hs | YES 6922 |
| tpdb-8.0/FP/full_haskell/Prelude_isHexDigit_1.hs | YES 9402 |
| tpdb-8.0/FP/full_haskell/Prelude_isIEEE_1.hs | YES 6338 |
| tpdb-8.0/FP/full_haskell/Prelude_isInfinite_1.hs | YES 6366 |
| tpdb-8.0/FP/full_haskell/Prelude_isLatin1_1.hs | YES 6653 |
| tpdb-8.0/FP/full_haskell/Prelude_isLower_1.hs | YES 26288 |
| tpdb-8.0/FP/full_haskell/Prelude_isNaN_1.hs | YES 6330 |
| tpdb-8.0/FP/full_haskell/Prelude_isNegativeZero_1.hs | YES 6370 |
| tpdb-8.0/FP/full_haskell/Prelude_isOctDigit_1.hs | YES 6748 |
| tpdb-8.0/FP/full_haskell/Prelude_isPrint_1.hs | YES 8761 |
| tpdb-8.0/FP/full_haskell/Prelude_isSpace_1.hs | YES 9150 |
| tpdb-8.0/FP/full_haskell/Prelude_isUpper_1.hs | YES 22244 |
| tpdb-8.0/FP/full_haskell/Prelude_iterate_1.hs | MAYBE 6538 |
| tpdb-8.0/FP/full_haskell/Prelude_last_1.hs | YES 6482 |
| tpdb-8.0/FP/full_haskell/Prelude_lcm_1.hs | TIMEOUT 60672 |
| tpdb-8.0/FP/full_haskell/Prelude_length_1.hs | YES 6732 |
| tpdb-8.0/FP/full_haskell/Prelude_lex_1.hs | TIMEOUT 60654 |
| tpdb-8.0/FP/full_haskell/Prelude_lexDigits_1.hs | YES 11822 |
| tpdb-8.0/FP/full_haskell/Prelude_lexLitChar_1.hs | TIMEOUT 60571 |
| tpdb-8.0/FP/full_haskell/Prelude_lines_1.hs | YES 31569 |
| tpdb-8.0/FP/full_haskell/Prelude_log_1.hs | YES 6383 |
| tpdb-8.0/FP/full_haskell/Prelude_logBase_1.hs | YES 6434 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_10.hs | YES 9658 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_11.hs | YES 10853 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_12.hs | YES 9694 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_1.hs | YES 9764 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_2.hs | YES 6212 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_3.hs | YES 6921 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_4.hs | YES 9831 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_5.hs | YES 8513 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_6.hs | YES 6387 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_7.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_8.hs | YES 32396 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_9.hs | YES 16333 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_10.hs | YES 15139 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_11.hs | YES 6399 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_12.hs | YES 15432 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_1.hs | YES 19059 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_2.hs | YES 6269 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_3.hs | YES 6497 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_4.hs | YES 19113 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_5.hs | YES 6509 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_6.hs | YES 7196 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_7.hs | YES 7228 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_8.hs | YES 6279 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_9.hs | YES 13546 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_10.hs | YES 13377 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_11.hs | YES 6321 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_12.hs | YES 15889 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_1.hs | YES 13785 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_2.hs | YES 6333 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_3.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_4.hs | YES 19263 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_5.hs | YES 6557 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_6.hs | YES 7998 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_7.hs | YES 7193 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_8.hs | YES 6143 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_9.hs | YES 13647 |
| tpdb-8.0/FP/full_haskell/Prelude_map_1.hs | YES 6526 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__1.hs | YES 6871 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_1.hs | MAYBE 7031 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__2.hs | YES 6784 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_2.hs | MAYBE 7014 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__3.hs | YES 6694 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_3.hs | YES 6745 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__4.hs | YES 6809 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_4.hs | YES 6755 |
| tpdb-8.0/FP/full_haskell/Prelude_max_10.hs | YES 6315 |
| tpdb-8.0/FP/full_haskell/Prelude_max_11.hs | YES 13321 |
| tpdb-8.0/FP/full_haskell/Prelude_max_12.hs | YES 15111 |
| tpdb-8.0/FP/full_haskell/Prelude_max_1.hs | YES 6245 |
| tpdb-8.0/FP/full_haskell/Prelude_max_2.hs | YES 13691 |
| tpdb-8.0/FP/full_haskell/Prelude_max_3.hs | YES 6564 |
| tpdb-8.0/FP/full_haskell/Prelude_max_4.hs | YES 22359 |
| tpdb-8.0/FP/full_haskell/Prelude_max_5.hs | YES 7857 |
| tpdb-8.0/FP/full_haskell/Prelude_max_6.hs | YES 15492 |
| tpdb-8.0/FP/full_haskell/Prelude_max_7.hs | YES 15426 |
| tpdb-8.0/FP/full_haskell/Prelude_max_8.hs | YES 6255 |
| tpdb-8.0/FP/full_haskell/Prelude_max_9.hs | YES 12525 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_1.hs | MAYBE 7020 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_2.hs | YES 6334 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_3.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_4.hs | NO 6933 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_5.hs | YES 6564 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_6.hs | YES 6432 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_10.hs | YES 14537 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_11.hs | YES 6426 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_12.hs | YES 20433 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_1.hs | YES 16686 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_2.hs | YES 6315 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_3.hs | YES 6629 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_4.hs | YES 27232 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_5.hs | YES 7928 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_6.hs | YES 21386 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_7.hs | YES 21583 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_8.hs | YES 6483 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_9.hs | YES 14260 |
| tpdb-8.0/FP/full_haskell/Prelude_maybe_1.hs | YES 6391 |
| tpdb-8.0/FP/full_haskell/Prelude_min_10.hs | YES 13284 |
| tpdb-8.0/FP/full_haskell/Prelude_min_11.hs | YES 13515 |
| tpdb-8.0/FP/full_haskell/Prelude_min_12.hs | YES 17465 |
| tpdb-8.0/FP/full_haskell/Prelude_min_1.hs | YES 14794 |
| tpdb-8.0/FP/full_haskell/Prelude_min_2.hs | YES 6248 |
| tpdb-8.0/FP/full_haskell/Prelude_min_3.hs | YES 6749 |
| tpdb-8.0/FP/full_haskell/Prelude_min_4.hs | YES 22599 |
| tpdb-8.0/FP/full_haskell/Prelude_min_5.hs | YES 7826 |
| tpdb-8.0/FP/full_haskell/Prelude_min_6.hs | YES 14706 |
| tpdb-8.0/FP/full_haskell/Prelude_min_7.hs | YES 15216 |
| tpdb-8.0/FP/full_haskell/Prelude_min_8.hs | YES 6269 |
| tpdb-8.0/FP/full_haskell/Prelude_min_9.hs | YES 6365 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_1.hs | MAYBE 6888 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_2.hs | YES 6420 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_3.hs | YES 6491 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_4.hs | NO 6847 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_5.hs | YES 6304 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_6.hs | YES 6335 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_10.hs | YES 15239 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_11.hs | YES 6571 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_12.hs | YES 18318 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_1.hs | YES 25313 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_2.hs | YES 6349 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_3.hs | YES 6598 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_4.hs | YES 27414 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_5.hs | YES 7856 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_6.hs | YES 21763 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_7.hs | YES 21810 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_8.hs | YES 6711 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_9.hs | YES 15243 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_1.hs | TIMEOUT 60514 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_2.hs | YES 6428 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_3.hs | YES 6510 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_4.hs | TIMEOUT 60593 |
| tpdb-8.0/FP/full_haskell/Prelude_mod_1.hs | YES 8611 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_1.hs | YES 6333 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_2.hs | YES 6501 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_3.hs | YES 6356 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_4.hs | YES 6321 |
| tpdb-8.0/FP/full_haskell/Prelude_not_1.hs | YES 6389 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_10.hs | YES 8427 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_11.hs | YES 8654 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_12.hs | YES 8389 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_1.hs | YES 7684 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_2.hs | YES 6372 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_3.hs | YES 6446 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_4.hs | YES 8520 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_5.hs | YES 6418 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_6.hs | YES 6481 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_7.hs | YES 6375 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_8.hs | YES 7279 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_9.hs | YES 6508 |
| tpdb-8.0/FP/full_haskell/Prelude_null_1.hs | YES 6320 |
| tpdb-8.0/FP/full_haskell/Prelude_numerator_1.hs | YES 6326 |
| tpdb-8.0/FP/full_haskell/Prelude_odd_1.hs | YES 6456 |
| tpdb-8.0/FP/full_haskell/Prelude_or_1.hs | YES 6486 |
| tpdb-8.0/FP/full_haskell/Prelude_ord_1.hs | YES 6291 |
| tpdb-8.0/FP/full_haskell/Prelude_otherwise_1.hs | YES 6321 |
| tpdb-8.0/FP/full_haskell/Prelude_PERCENT_1.hs | YES 13238 |
| tpdb-8.0/FP/full_haskell/Prelude_pi_1.hs | YES 6467 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_1.hs | TIMEOUT 60687 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_2.hs | YES 6504 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_3.hs | YES 6390 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_4.hs | TIMEOUT 60546 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUSPLUS_1.hs | YES 6416 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_1.hs | YES 10851 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_2.hs | YES 6440 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_3.hs | YES 6428 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_4.hs | YES 6363 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_5.hs | YES 10207 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_6.hs | YES 10273 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_7.hs | YES 6477 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_8.hs | YES 6481 |
| tpdb-8.0/FP/full_haskell/Prelude_primExitWith_1.hs | YES 6713 |
| tpdb-8.0/FP/full_haskell/Prelude_primThrowException_1.hs | NO 6540 |
| tpdb-8.0/FP/full_haskell/Prelude_print_10.hs | TIMEOUT 60451 |
| tpdb-8.0/FP/full_haskell/Prelude_print_11.hs | TIMEOUT 60450 |
| tpdb-8.0/FP/full_haskell/Prelude_print_12.hs | YES 7964 |
| tpdb-8.0/FP/full_haskell/Prelude_print_1.hs | TIMEOUT 60580 |
| tpdb-8.0/FP/full_haskell/Prelude_print_2.hs | YES 7110 |
| tpdb-8.0/FP/full_haskell/Prelude_print_3.hs | TIMEOUT 60582 |
| tpdb-8.0/FP/full_haskell/Prelude_print_4.hs | TIMEOUT 60447 |
| tpdb-8.0/FP/full_haskell/Prelude_print_5.hs | TIMEOUT 61794 |
| tpdb-8.0/FP/full_haskell/Prelude_print_6.hs | YES 6938 |
| tpdb-8.0/FP/full_haskell/Prelude_print_7.hs | TIMEOUT 61716 |
| tpdb-8.0/FP/full_haskell/Prelude_print_8.hs | YES 13420 |
| tpdb-8.0/FP/full_haskell/Prelude_print_9.hs | TIMEOUT 60519 |
| tpdb-8.0/FP/full_haskell/Prelude_product_1.hs | TIMEOUT 60816 |
| tpdb-8.0/FP/full_haskell/Prelude_product_2.hs | YES 6497 |
| tpdb-8.0/FP/full_haskell/Prelude_product_3.hs | YES 6430 |
| tpdb-8.0/FP/full_haskell/Prelude_product_4.hs | TIMEOUT 60532 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_1.hs | YES 9360 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_2.hs | YES 7274 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_3.hs | YES 8863 |
| tpdb-8.0/FP/full_haskell/Prelude_putChar_1.hs | YES 6449 |
| tpdb-8.0/FP/full_haskell/Prelude_putStr_1.hs | YES 6382 |
| tpdb-8.0/FP/full_haskell/Prelude_putStrLn_1.hs | YES 6846 |
| tpdb-8.0/FP/full_haskell/Prelude_quot_1.hs | YES 6700 |
| tpdb-8.0/FP/full_haskell/Prelude_quotRem_1.hs | YES 8822 |
| tpdb-8.0/FP/full_haskell/Prelude_range_1.hs | TIMEOUT 60514 |
| tpdb-8.0/FP/full_haskell/Prelude_range_2.hs | YES 6773 |
| tpdb-8.0/FP/full_haskell/Prelude_range_3.hs | MAYBE 21963 |
| tpdb-8.0/FP/full_haskell/Prelude_range_4.hs | MAYBE 37980 |
| tpdb-8.0/FP/full_haskell/Prelude_range_5.hs | YES 9475 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_1.hs | TIMEOUT 60448 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_2.hs | YES 6343 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_3.hs | YES 11236 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_4.hs | YES 12068 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_5.hs | YES 11365 |
| tpdb-8.0/FP/full_haskell/Prelude_read_1.hs | TIMEOUT 60648 |
| tpdb-8.0/FP/full_haskell/Prelude_read_2.hs | TIMEOUT 60516 |
| tpdb-8.0/FP/full_haskell/Prelude_read_3.hs | TIMEOUT 60470 |
| tpdb-8.0/FP/full_haskell/Prelude_read_4.hs | TIMEOUT 60627 |
| tpdb-8.0/FP/full_haskell/Prelude_read_5.hs | TIMEOUT 60608 |
| tpdb-8.0/FP/full_haskell/Prelude_read_6.hs | TIMEOUT 60531 |
| tpdb-8.0/FP/full_haskell/Prelude_read_7.hs | TIMEOUT 60489 |
| tpdb-8.0/FP/full_haskell/Prelude_read_8.hs | TIMEOUT 60488 |
| tpdb-8.0/FP/full_haskell/Prelude_readDec_1.hs | YES 12803 |
| tpdb-8.0/FP/full_haskell/Prelude_readFile_1.hs | NO 6864 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_1.hs | TIMEOUT 60652 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_2.hs | TIMEOUT 60521 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_3.hs | TIMEOUT 60501 |
| tpdb-8.0/FP/full_haskell/Prelude_readHex_1.hs | TIMEOUT 60501 |
| tpdb-8.0/FP/full_haskell/Prelude_readInt_1.hs | YES 7781 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_1.hs | TIMEOUT 60467 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_2.hs | TIMEOUT 60467 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_3.hs | TIMEOUT 60570 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_4.hs | TIMEOUT 60648 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_5.hs | TIMEOUT 60613 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_6.hs | TIMEOUT 60491 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_7.hs | TIMEOUT 60481 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_8.hs | TIMEOUT 60455 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_1.hs | TIMEOUT 60642 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_2.hs | TIMEOUT 60462 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_3.hs | TIMEOUT 60486 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_4.hs | TIMEOUT 60634 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_5.hs | TIMEOUT 60459 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_6.hs | TIMEOUT 60470 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_7.hs | TIMEOUT 60606 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_8.hs | TIMEOUT 60472 |
| tpdb-8.0/FP/full_haskell/Prelude_readLitChar_1.hs | TIMEOUT 60487 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_1.hs | TIMEOUT 60529 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_2.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_3.hs | TIMEOUT 60548 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_4.hs | TIMEOUT 60478 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_5.hs | TIMEOUT 60507 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_6.hs | TIMEOUT 60496 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_7.hs | TIMEOUT 60478 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_8.hs | TIMEOUT 60593 |
| tpdb-8.0/FP/full_haskell/Prelude_readOct_1.hs | YES 20207 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_1.hs | TIMEOUT 60437 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_2.hs | TIMEOUT 60505 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_3.hs | TIMEOUT 60585 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_4.hs | TIMEOUT 60582 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_5.hs | TIMEOUT 60573 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_6.hs | TIMEOUT 60593 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_7.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_8.hs | TIMEOUT 60614 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_1.hs | TIMEOUT 60702 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_2.hs | TIMEOUT 60499 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_3.hs | TIMEOUT 60594 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_4.hs | TIMEOUT 60524 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_5.hs | TIMEOUT 60574 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_6.hs | TIMEOUT 60507 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_7.hs | TIMEOUT 60595 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_8.hs | TIMEOUT 60486 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_1.hs | TIMEOUT 60640 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_2.hs | TIMEOUT 60524 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_3.hs | TIMEOUT 60471 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_4.hs | TIMEOUT 60519 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_1.hs | TIMEOUT 60668 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_2.hs | TIMEOUT 60496 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_3.hs | TIMEOUT 60563 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_4.hs | TIMEOUT 60460 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_5.hs | TIMEOUT 60469 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_6.hs | TIMEOUT 60485 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_7.hs | TIMEOUT 60606 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_8.hs | TIMEOUT 60648 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_1.hs | MAYBE 15394 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_2.hs | YES 11773 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_3.hs | YES 19844 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_4.hs | YES 6319 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_5.hs | MAYBE 15264 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_6.hs | YES 12633 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_7.hs | YES 18492 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_8.hs | YES 6427 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_1.hs | YES 6611 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_2.hs | YES 6478 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_3.hs | YES 6336 |
| tpdb-8.0/FP/full_haskell/Prelude_rem_1.hs | YES 6799 |
| tpdb-8.0/FP/full_haskell/Prelude_repeat_1.hs | NO 6598 |
| tpdb-8.0/FP/full_haskell/Prelude_replicate_1.hs | YES 6761 |
| tpdb-8.0/FP/full_haskell/Prelude_return_1.hs | YES 6543 |
| tpdb-8.0/FP/full_haskell/Prelude_return_2.hs | YES 6934 |
| tpdb-8.0/FP/full_haskell/Prelude_return_3.hs | YES 6362 |
| tpdb-8.0/FP/full_haskell/Prelude_return_4.hs | YES 6311 |
| tpdb-8.0/FP/full_haskell/Prelude_reverse_1.hs | YES 6270 |
| tpdb-8.0/FP/full_haskell/Prelude_round_1.hs | TIMEOUT 60514 |
| tpdb-8.0/FP/full_haskell/Prelude_round_2.hs | TIMEOUT 60580 |
| tpdb-8.0/FP/full_haskell/Prelude_round_3.hs | TIMEOUT 60653 |
| tpdb-8.0/FP/full_haskell/Prelude_scaleFloat_1.hs | YES 8639 |
| tpdb-8.0/FP/full_haskell/Prelude_scanl1_1.hs | YES 6637 |
| tpdb-8.0/FP/full_haskell/Prelude_scanl_1.hs | YES 6632 |
| tpdb-8.0/FP/full_haskell/Prelude_scanr1_1.hs | YES 6911 |
| tpdb-8.0/FP/full_haskell/Prelude_scanr_1.hs | YES 6756 |
| tpdb-8.0/FP/full_haskell/Prelude_seq_1.hs | YES 6412 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__1.hs | YES 6911 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_1.hs | YES 6857 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__2.hs | YES 6711 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_2.hs | YES 6742 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__3.hs | YES 6768 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_3.hs | YES 6833 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__4.hs | YES 7017 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_4.hs | YES 6795 |
| tpdb-8.0/FP/full_haskell/Prelude_show_10.hs | TIMEOUT 60553 |
| tpdb-8.0/FP/full_haskell/Prelude_show_11.hs | TIMEOUT 60492 |
| tpdb-8.0/FP/full_haskell/Prelude_show_12.hs | YES 7750 |
| tpdb-8.0/FP/full_haskell/Prelude_show_1.hs | TIMEOUT 60509 |
| tpdb-8.0/FP/full_haskell/Prelude_show_2.hs | YES 6475 |
| tpdb-8.0/FP/full_haskell/Prelude_show_3.hs | TIMEOUT 60553 |
| tpdb-8.0/FP/full_haskell/Prelude_show_4.hs | TIMEOUT 60506 |
| tpdb-8.0/FP/full_haskell/Prelude_show_5.hs | TIMEOUT 61774 |
| tpdb-8.0/FP/full_haskell/Prelude_show_6.hs | YES 6423 |
| tpdb-8.0/FP/full_haskell/Prelude_show_7.hs | TIMEOUT 61277 |
| tpdb-8.0/FP/full_haskell/Prelude_show_8.hs | YES 13152 |
| tpdb-8.0/FP/full_haskell/Prelude_show_9.hs | TIMEOUT 60582 |
| tpdb-8.0/FP/full_haskell/Prelude_showChar_1.hs | YES 6347 |
| tpdb-8.0/FP/full_haskell/Prelude_showInt_1.hs | TIMEOUT 60524 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_10.hs | TIMEOUT 60594 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_11.hs | TIMEOUT 60475 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_12.hs | YES 9660 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_1.hs | TIMEOUT 60495 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_2.hs | YES 7233 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_3.hs | TIMEOUT 60593 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_4.hs | TIMEOUT 60524 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_5.hs | TIMEOUT 61432 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_6.hs | YES 7166 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_7.hs | TIMEOUT 61759 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_8.hs | YES 19440 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_9.hs | TIMEOUT 60495 |
| tpdb-8.0/FP/full_haskell/Prelude_showLitChar_1.hs | TIMEOUT 60550 |
| tpdb-8.0/FP/full_haskell/Prelude_showParen_1.hs | YES 6796 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_10.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_11.hs | TIMEOUT 60598 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_12.hs | YES 7817 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_1.hs | YES 6467 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_2.hs | TIMEOUT 60492 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_3.hs | TIMEOUT 60480 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_4.hs | TIMEOUT 60623 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_5.hs | TIMEOUT 61492 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_6.hs | YES 6422 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_7.hs | TIMEOUT 61515 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_8.hs | YES 13080 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_9.hs | TIMEOUT 60448 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_1.hs | YES 9736 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_2.hs | YES 7006 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_3.hs | YES 9936 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_4.hs | YES 10048 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_10.hs | TIMEOUT 60498 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_11.hs | TIMEOUT 60475 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_12.hs | YES 7899 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_1.hs | TIMEOUT 60577 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_2.hs | YES 6455 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_3.hs | TIMEOUT 60459 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_4.hs | TIMEOUT 60501 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_5.hs | TIMEOUT 61496 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_6.hs | YES 6329 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_7.hs | TIMEOUT 61431 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_8.hs | YES 13177 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_9.hs | TIMEOUT 60479 |
| tpdb-8.0/FP/full_haskell/Prelude_showString_1.hs | YES 6373 |
| tpdb-8.0/FP/full_haskell/Prelude_significand_1.hs | YES 9699 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_1.hs | YES 13065 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_2.hs | YES 6851 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_3.hs | YES 11214 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_4.hs | YES 6859 |
| tpdb-8.0/FP/full_haskell/Prelude_sin_1.hs | YES 6451 |
| tpdb-8.0/FP/full_haskell/Prelude_sinh_1.hs | YES 7483 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_1.hs | TIMEOUT 60574 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_2.hs | YES 6419 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_3.hs | YES 16311 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_10.hs | YES 8255 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_11.hs | YES 7879 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_12.hs | YES 8359 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_1.hs | YES 8109 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_2.hs | YES 6315 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_3.hs | YES 6432 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_4.hs | YES 8283 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_5.hs | YES 6457 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_6.hs | YES 6262 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_7.hs | YES 6242 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_8.hs | YES 7111 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_9.hs | YES 6659 |
| tpdb-8.0/FP/full_haskell/Prelude_snd_1.hs | YES 6334 |
| tpdb-8.0/FP/full_haskell/Prelude_span_1.hs | YES 6800 |
| tpdb-8.0/FP/full_haskell/Prelude_splitAt_1.hs | YES 7066 |
| tpdb-8.0/FP/full_haskell/Prelude_sqrt_1.hs | YES 6374 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_1.hs | TIMEOUT 60502 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_2.hs | YES 6521 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_3.hs | YES 6404 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_4.hs | TIMEOUT 60561 |
| tpdb-8.0/FP/full_haskell/Prelude_STARSTAR_1.hs | YES 6368 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_1.hs | TIMEOUT 60521 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_2.hs | YES 6468 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_3.hs | YES 6493 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_4.hs | TIMEOUT 60456 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_1.hs | YES 6446 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_2.hs | YES 9167 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_3.hs | YES 6466 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_4.hs | YES 6391 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_5.hs | YES 10363 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_6.hs | YES 10076 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_7.hs | YES 6631 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_8.hs | YES 6758 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_1.hs | TIMEOUT 60835 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_2.hs | YES 6520 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_3.hs | YES 6773 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_4.hs | TIMEOUT 60552 |
| tpdb-8.0/FP/full_haskell/Prelude_tail_1.hs | YES 6243 |
| tpdb-8.0/FP/full_haskell/Prelude_take_1.hs | YES 6512 |
| tpdb-8.0/FP/full_haskell/Prelude_takeWhile_1.hs | YES 6453 |
| tpdb-8.0/FP/full_haskell/Prelude_tan_1.hs | YES 6321 |
| tpdb-8.0/FP/full_haskell/Prelude_tanh_1.hs | YES 8575 |
| tpdb-8.0/FP/full_haskell/Prelude_threadToIOResult_1.hs | YES 6330 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_1.hs | YES 6603 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_2.hs | YES 6367 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_3.hs | YES 6485 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_4.hs | YES 6468 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_5.hs | YES 6611 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_6.hs | YES 6500 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_7.hs | YES 6358 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_8.hs | YES 6587 |
| tpdb-8.0/FP/full_haskell/Prelude_toInt_1.hs | YES 6377 |
| tpdb-8.0/FP/full_haskell/Prelude_toInteger_1.hs | YES 6221 |
| tpdb-8.0/FP/full_haskell/Prelude_toLower_1.hs | YES 22576 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_1.hs | MAYBE 15362 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_2.hs | YES 11775 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_3.hs | YES 18018 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_4.hs | YES 6355 |
| tpdb-8.0/FP/full_haskell/Prelude_toUpper_1.hs | TIMEOUT 60446 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_1.hs | YES 7966 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_2.hs | YES 7870 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_3.hs | YES 7870 |
| tpdb-8.0/FP/full_haskell/Prelude_uncurry_1.hs | YES 6420 |
| tpdb-8.0/FP/full_haskell/Prelude_undefined_1.hs | YES 6703 |
| tpdb-8.0/FP/full_haskell/Prelude_unlines_1.hs | YES 6507 |
| tpdb-8.0/FP/full_haskell/Prelude_until_1.hs | MAYBE 6735 |
| tpdb-8.0/FP/full_haskell/Prelude_unwords_1.hs | YES 6569 |
| tpdb-8.0/FP/full_haskell/Prelude_unzip_1.hs | YES 6863 |
| tpdb-8.0/FP/full_haskell/Prelude_unzip3_1.hs | YES 6932 |
| tpdb-8.0/FP/full_haskell/Prelude_userError_1.hs | YES 6300 |
| tpdb-8.0/FP/full_haskell/Prelude_words_1.hs | TIMEOUT 60474 |
| tpdb-8.0/FP/full_haskell/Prelude_writeFile_1.hs | YES 6414 |
| tpdb-8.0/FP/full_haskell/Prelude_zip_1.hs | YES 6638 |
| tpdb-8.0/FP/full_haskell/Prelude_zip3_1.hs | YES 6790 |
| tpdb-8.0/FP/full_haskell/Prelude_zipWith_1.hs | YES 6465 |
| tpdb-8.0/FP/full_haskell/Prelude_zipWith3_1.hs | YES 6417 |
| tpdb-8.0/FP/full_haskell/Queue_addToQueue_1.hs | YES 6560 |
| tpdb-8.0/FP/full_haskell/Queue_deQueue_1.hs | YES 6570 |
| tpdb-8.0/FP/full_haskell/Queue_emptyQueue_1.hs | YES 6556 |
| tpdb-8.0/FP/full_haskell/Queue_listToQueue_1.hs | YES 6316 |
| tpdb-8.0/FP/full_haskell/Queue_queueToList_1.hs | YES 8041 | 1323 |