| benchmark | AProVE |
|---|---|
| tpdb-6.0/FP/basic_haskell/abs_1.hs | YES 2255 |
| tpdb-6.0/FP/basic_haskell/abs_2.hs | YES 4002 |
| tpdb-6.0/FP/basic_haskell/abs_3.hs | YES 2247 |
| tpdb-6.0/FP/basic_haskell/all_1.hs | YES 2147 |
| tpdb-6.0/FP/basic_haskell/AMPAMP_1.hs | YES 1827 |
| tpdb-6.0/FP/basic_haskell/and_1.hs | YES 1938 |
| tpdb-6.0/FP/basic_haskell/any_1.hs | YES 2143 |
| tpdb-6.0/FP/basic_haskell/asTypeOf_1.hs | YES 1827 |
| tpdb-6.0/FP/basic_haskell/BANGBANG_1.hs | YES 2512 |
| tpdb-6.0/FP/basic_haskell/BARBAR_1.hs | YES 1831 |
| tpdb-6.0/FP/basic_haskell/basicIORun_1.hs | MAYBE 3404 |
| tpdb-6.0/FP/basic_haskell/blockIO_1.hs | NO 2406 |
| tpdb-6.0/FP/basic_haskell/break_1.hs | YES 2302 |
| tpdb-6.0/FP/basic_haskell/CARET_1.hs | TIMEOUT 60267 |
| tpdb-6.0/FP/basic_haskell/CARET_2.hs | TIMEOUT 60349 |
| tpdb-6.0/FP/basic_haskell/catchHugsException_1.hs | NO 2456 |
| tpdb-6.0/FP/basic_haskell/ceiling_1.hs | YES 11013 |
| tpdb-6.0/FP/basic_haskell/chr_1.hs | YES 1858 |
| tpdb-6.0/FP/basic_haskell/compare_1.hs | YES 1831 |
| tpdb-6.0/FP/basic_haskell/compare_2.hs | YES 2056 |
| tpdb-6.0/FP/basic_haskell/compare_3.hs | YES 2620 |
| tpdb-6.0/FP/basic_haskell/compare_4.hs | YES 2145 |
| tpdb-6.0/FP/basic_haskell/compare_5.hs | YES 2669 |
| tpdb-6.0/FP/basic_haskell/compare_6.hs | YES 2150 |
| tpdb-6.0/FP/basic_haskell/compare_7.hs | YES 2152 |
| tpdb-6.0/FP/basic_haskell/concat_1.hs | YES 1987 |
| tpdb-6.0/FP/basic_haskell/concatMap_1.hs | YES 2156 |
| tpdb-6.0/FP/basic_haskell/const_1.hs | YES 1829 |
| tpdb-6.0/FP/basic_haskell/curry_1.hs | YES 1829 |
| tpdb-6.0/FP/basic_haskell/cycle_1.hs | MAYBE 2303 |
| tpdb-6.0/FP/basic_haskell/denominator_1.hs | YES 1833 |
| tpdb-6.0/FP/basic_haskell/digitToInt_1.hs | YES 6190 |
| tpdb-6.0/FP/basic_haskell/div_1.hs | YES 2884 |
| tpdb-6.0/FP/basic_haskell/divMod_1.hs | YES 15500 |
| tpdb-6.0/FP/basic_haskell/DOLLAR_1.hs | YES 1797 |
| tpdb-6.0/FP/basic_haskell/DOLLARBANG_1.hs | YES 1835 |
| tpdb-6.0/FP/basic_haskell/DOT_1.hs | YES 1832 |
| tpdb-6.0/FP/basic_haskell/drop_1.hs | YES 2416 |
| tpdb-6.0/FP/basic_haskell/dropWhile_1.hs | YES 2152 |
| tpdb-6.0/FP/basic_haskell/either_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/elem_1.hs | YES 2204 |
| tpdb-6.0/FP/basic_haskell/elem_2.hs | YES 2357 |
| tpdb-6.0/FP/basic_haskell/elem_3.hs | YES 2203 |
| tpdb-6.0/FP/basic_haskell/elem_4.hs | YES 2266 |
| tpdb-6.0/FP/basic_haskell/elem_5.hs | YES 2836 |
| tpdb-6.0/FP/basic_haskell/elem_6.hs | YES 2262 |
| tpdb-6.0/FP/basic_haskell/elem_7.hs | YES 2253 |
| tpdb-6.0/FP/basic_haskell/encodeFloat_1.hs | YES 3099 |
| tpdb-6.0/FP/basic_haskell/enumFrom_1.hs | YES 1880 |
| tpdb-6.0/FP/basic_haskell/enumFrom_2.hs | YES 2772 |
| tpdb-6.0/FP/basic_haskell/enumFrom_3.hs | MAYBE 23255 |
| tpdb-6.0/FP/basic_haskell/enumFrom_4.hs | MAYBE 2992 |
| tpdb-6.0/FP/basic_haskell/enumFrom_5.hs | MAYBE 2734 |
| tpdb-6.0/FP/basic_haskell/enumFrom_6.hs | YES 2933 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_2.hs | TIMEOUT 60282 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_3.hs | NO 4560 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_4.hs | MAYBE 60258 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_5.hs | MAYBE 5105 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_6.hs | MAYBE 3941 |
| tpdb-6.0/FP/basic_haskell/enumFromThen_7.hs | NO 6145 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_1.hs | TIMEOUT 60250 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_2.hs | NO 5266 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_3.hs | TIMEOUT 60273 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_4.hs | TIMEOUT 60310 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_5.hs | MAYBE 11951 |
| tpdb-6.0/FP/basic_haskell/enumFromThenTo_6.hs | TIMEOUT 60233 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_1.hs | YES 2694 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_2.hs | TIMEOUT 60258 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_3.hs | YES 2723 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_4.hs | MAYBE 34751 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_5.hs | TIMEOUT 60255 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_6.hs | MAYBE 45333 |
| tpdb-6.0/FP/basic_haskell/enumFromTo_7.hs | YES 3576 |
| tpdb-6.0/FP/basic_haskell/EQEQ_1.hs | YES 1840 |
| tpdb-6.0/FP/basic_haskell/EQEQ_2.hs | YES 2255 |
| tpdb-6.0/FP/basic_haskell/EQEQ_3.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/EQEQ_4.hs | YES 2202 |
| tpdb-6.0/FP/basic_haskell/EQEQ_5.hs | YES 2621 |
| tpdb-6.0/FP/basic_haskell/EQEQ_6.hs | YES 2105 |
| tpdb-6.0/FP/basic_haskell/EQEQ_7.hs | YES 1851 |
| tpdb-6.0/FP/basic_haskell/EQLTLT_1.hs | YES 1889 |
| tpdb-6.0/FP/basic_haskell/error_1.hs | YES 1849 |
| tpdb-6.0/FP/basic_haskell/even_1.hs | YES 1942 |
| tpdb-6.0/FP/basic_haskell/fail_1.hs | YES 1835 |
| tpdb-6.0/FP/basic_haskell/filter_1.hs | YES 2222 |
| tpdb-6.0/FP/basic_haskell/flip_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/floatDigits_1.hs | YES 1887 |
| tpdb-6.0/FP/basic_haskell/floatRadix_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/floatRange_1.hs | YES 2305 |
| tpdb-6.0/FP/basic_haskell/floor_1.hs | YES 14324 |
| tpdb-6.0/FP/basic_haskell/fmap_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/fmap_2.hs | YES 1888 |
| tpdb-6.0/FP/basic_haskell/foldl1_1.hs | YES 1942 |
| tpdb-6.0/FP/basic_haskell/foldl_1.hs | YES 1890 |
| tpdb-6.0/FP/basic_haskell/foldr1_1.hs | YES 1885 |
| tpdb-6.0/FP/basic_haskell/foldr_1.hs | YES 1942 |
| tpdb-6.0/FP/basic_haskell/fromDouble_1.hs | TIMEOUT 60192 |
| tpdb-6.0/FP/basic_haskell/fromDouble_2.hs | YES 1844 |
| tpdb-6.0/FP/basic_haskell/fromEnum_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/fromEnum_2.hs | YES 3044 |
| tpdb-6.0/FP/basic_haskell/fromEnum_3.hs | YES 1839 |
| tpdb-6.0/FP/basic_haskell/fromEnum_4.hs | YES 1838 |
| tpdb-6.0/FP/basic_haskell/fromEnum_5.hs | YES 3060 |
| tpdb-6.0/FP/basic_haskell/fromEnum_6.hs | YES 1834 |
| tpdb-6.0/FP/basic_haskell/fromEnum_7.hs | YES 1834 |
| tpdb-6.0/FP/basic_haskell/fromInt_1.hs | YES 1860 |
| tpdb-6.0/FP/basic_haskell/fromInt_2.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/fromInt_3.hs | YES 1798 |
| tpdb-6.0/FP/basic_haskell/fromInteger_1.hs | YES 1847 |
| tpdb-6.0/FP/basic_haskell/fromInteger_2.hs | YES 1846 |
| tpdb-6.0/FP/basic_haskell/fromInteger_3.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/fromIntegral_1.hs | YES 1943 |
| tpdb-6.0/FP/basic_haskell/fromIntegral_2.hs | YES 1944 |
| tpdb-6.0/FP/basic_haskell/fromIntegral_3.hs | YES 1889 |
| tpdb-6.0/FP/basic_haskell/fromRational_1.hs | YES 1887 |
| tpdb-6.0/FP/basic_haskell/fromRational_2.hs | YES 1888 |
| tpdb-6.0/FP/basic_haskell/fst_1.hs | YES 1835 |
| tpdb-6.0/FP/basic_haskell/gcd_1.hs | YES 16470 |
| tpdb-6.0/FP/basic_haskell/GT_1.hs | YES 1886 |
| tpdb-6.0/FP/basic_haskell/GT_2.hs | YES 2832 |
| tpdb-6.0/FP/basic_haskell/GT_3.hs | YES 2150 |
| tpdb-6.0/FP/basic_haskell/GT_4.hs | YES 2253 |
| tpdb-6.0/FP/basic_haskell/GT_5.hs | YES 2775 |
| tpdb-6.0/FP/basic_haskell/GT_6.hs | YES 2206 |
| tpdb-6.0/FP/basic_haskell/GT_7.hs | YES 2150 |
| tpdb-6.0/FP/basic_haskell/GTEQ_1.hs | YES 1939 |
| tpdb-6.0/FP/basic_haskell/GTEQ_2.hs | YES 2726 |
| tpdb-6.0/FP/basic_haskell/GTEQ_3.hs | YES 2150 |
| tpdb-6.0/FP/basic_haskell/GTEQ_4.hs | YES 2253 |
| tpdb-6.0/FP/basic_haskell/GTEQ_5.hs | YES 2777 |
| tpdb-6.0/FP/basic_haskell/GTEQ_6.hs | YES 2266 |
| tpdb-6.0/FP/basic_haskell/GTEQ_7.hs | YES 2147 |
| tpdb-6.0/FP/basic_haskell/GTGT_1.hs | YES 1853 |
| tpdb-6.0/FP/basic_haskell/GTGTEQ_1.hs | YES 1833 |
| tpdb-6.0/FP/basic_haskell/head_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/id_1.hs | YES 1782 |
| tpdb-6.0/FP/basic_haskell/index_1.hs | YES 1885 |
| tpdb-6.0/FP/basic_haskell/index_2.hs | YES 5561 |
| tpdb-6.0/FP/basic_haskell/index_3.hs | YES 4517 |
| tpdb-6.0/FP/basic_haskell/index_4.hs | YES 5136 |
| tpdb-6.0/FP/basic_haskell/init_1.hs | YES 1901 |
| tpdb-6.0/FP/basic_haskell/inRange_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/inRange_2.hs | YES 2462 |
| tpdb-6.0/FP/basic_haskell/inRange_3.hs | YES 2247 |
| tpdb-6.0/FP/basic_haskell/inRange_4.hs | YES 2307 |
| tpdb-6.0/FP/basic_haskell/intToDigit_1.hs | YES 3299 |
| tpdb-6.0/FP/basic_haskell/isAlpha_1.hs | TIMEOUT 60187 |
| tpdb-6.0/FP/basic_haskell/isAlphaNum_1.hs | TIMEOUT 60195 |
| tpdb-6.0/FP/basic_haskell/isAscii_1.hs | YES 2368 |
| tpdb-6.0/FP/basic_haskell/isControl_1.hs | YES 3832 |
| tpdb-6.0/FP/basic_haskell/isDenormalized_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/isDigit_1.hs | YES 2562 |
| tpdb-6.0/FP/basic_haskell/isHexDigit_1.hs | YES 4822 |
| tpdb-6.0/FP/basic_haskell/isIEEE_1.hs | YES 1842 |
| tpdb-6.0/FP/basic_haskell/isInfinite_1.hs | YES 1834 |
| tpdb-6.0/FP/basic_haskell/isLatin1_1.hs | YES 2679 |
| tpdb-6.0/FP/basic_haskell/isLower_1.hs | YES 31801 |
| tpdb-6.0/FP/basic_haskell/isNaN_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/isNegativeZero_1.hs | YES 1829 |
| tpdb-6.0/FP/basic_haskell/isOctDigit_1.hs | YES 2523 |
| tpdb-6.0/FP/basic_haskell/isPrint_1.hs | YES 5333 |
| tpdb-6.0/FP/basic_haskell/isSpace_1.hs | YES 5131 |
| tpdb-6.0/FP/basic_haskell/isUpper_1.hs | YES 24713 |
| tpdb-6.0/FP/basic_haskell/iterate_1.hs | MAYBE 2253 |
| tpdb-6.0/FP/basic_haskell/last_1.hs | YES 1883 |
| tpdb-6.0/FP/basic_haskell/lcm_1.hs | TIMEOUT 60287 |
| tpdb-6.0/FP/basic_haskell/length_1.hs | YES 2262 |
| tpdb-6.0/FP/basic_haskell/lex_1.hs | TIMEOUT 60185 |
| tpdb-6.0/FP/basic_haskell/lexDigits_1.hs | YES 5445 |
| tpdb-6.0/FP/basic_haskell/lexLitChar_1.hs | TIMEOUT 60187 |
| tpdb-6.0/FP/basic_haskell/lines_1.hs | TIMEOUT 60309 |
| tpdb-6.0/FP/basic_haskell/lookup_1.hs | YES 2098 |
| tpdb-6.0/FP/basic_haskell/lookup_2.hs | YES 2201 |
| tpdb-6.0/FP/basic_haskell/lookup_3.hs | YES 3409 |
| tpdb-6.0/FP/basic_haskell/lookup_4.hs | YES 30419 |
| tpdb-6.0/FP/basic_haskell/lookup_5.hs | YES 3117 |
| tpdb-6.0/FP/basic_haskell/lookup_6.hs | YES 2307 |
| tpdb-6.0/FP/basic_haskell/LT_1.hs | YES 1886 |
| tpdb-6.0/FP/basic_haskell/LT_2.hs | YES 2145 |
| tpdb-6.0/FP/basic_haskell/LT_3.hs | YES 2256 |
| tpdb-6.0/FP/basic_haskell/LT_4.hs | YES 2877 |
| tpdb-6.0/FP/basic_haskell/LT_5.hs | YES 2211 |
| tpdb-6.0/FP/basic_haskell/LT_6.hs | YES 2155 |
| tpdb-6.0/FP/basic_haskell/LTEQ_1.hs | YES 1901 |
| tpdb-6.0/FP/basic_haskell/LTEQ_2.hs | YES 2840 |
| tpdb-6.0/FP/basic_haskell/LTEQ_3.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/LTEQ_4.hs | YES 2246 |
| tpdb-6.0/FP/basic_haskell/LTEQ_5.hs | YES 2733 |
| tpdb-6.0/FP/basic_haskell/LTEQ_6.hs | YES 2207 |
| tpdb-6.0/FP/basic_haskell/LTEQ_7.hs | YES 1846 |
| tpdb-6.0/FP/basic_haskell/map_1.hs | YES 1940 |
| tpdb-6.0/FP/basic_haskell/mapM__1.hs | YES 2219 |
| tpdb-6.0/FP/basic_haskell/mapM_1.hs | YES 2163 |
| tpdb-6.0/FP/basic_haskell/max_1.hs | YES 2107 |
| tpdb-6.0/FP/basic_haskell/max_2.hs | YES 1938 |
| tpdb-6.0/FP/basic_haskell/max_3.hs | YES 2987 |
| tpdb-6.0/FP/basic_haskell/max_4.hs | YES 13636 |
| tpdb-6.0/FP/basic_haskell/max_5.hs | YES 3000 |
| tpdb-6.0/FP/basic_haskell/max_6.hs | YES 1940 |
| tpdb-6.0/FP/basic_haskell/maxBound_1.hs | YES 1778 |
| tpdb-6.0/FP/basic_haskell/maxBound_2.hs | YES 1830 |
| tpdb-6.0/FP/basic_haskell/maxBound_3.hs | YES 2303 |
| tpdb-6.0/FP/basic_haskell/maxBound_4.hs | NO 2425 |
| tpdb-6.0/FP/basic_haskell/maxBound_5.hs | YES 1799 |
| tpdb-6.0/FP/basic_haskell/maximum_1.hs | YES 2261 |
| tpdb-6.0/FP/basic_haskell/maximum_2.hs | YES 2196 |
| tpdb-6.0/FP/basic_haskell/maximum_3.hs | YES 3190 |
| tpdb-6.0/FP/basic_haskell/maximum_4.hs | YES 18093 |
| tpdb-6.0/FP/basic_haskell/maximum_5.hs | YES 3044 |
| tpdb-6.0/FP/basic_haskell/maximum_6.hs | YES 2216 |
| tpdb-6.0/FP/basic_haskell/maybe_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/min_1.hs | YES 1989 |
| tpdb-6.0/FP/basic_haskell/min_2.hs | YES 1885 |
| tpdb-6.0/FP/basic_haskell/min_3.hs | YES 3043 |
| tpdb-6.0/FP/basic_haskell/min_4.hs | YES 13618 |
| tpdb-6.0/FP/basic_haskell/min_5.hs | YES 2883 |
| tpdb-6.0/FP/basic_haskell/min_6.hs | YES 1979 |
| tpdb-6.0/FP/basic_haskell/minBound_1.hs | YES 1785 |
| tpdb-6.0/FP/basic_haskell/minBound_2.hs | YES 1797 |
| tpdb-6.0/FP/basic_haskell/minBound_3.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/minBound_4.hs | NO 2417 |
| tpdb-6.0/FP/basic_haskell/minBound_5.hs | YES 1787 |
| tpdb-6.0/FP/basic_haskell/minimum_1.hs | YES 2261 |
| tpdb-6.0/FP/basic_haskell/minimum_2.hs | YES 2156 |
| tpdb-6.0/FP/basic_haskell/minimum_3.hs | YES 3190 |
| tpdb-6.0/FP/basic_haskell/minimum_4.hs | YES 17038 |
| tpdb-6.0/FP/basic_haskell/minimum_5.hs | YES 3085 |
| tpdb-6.0/FP/basic_haskell/minimum_6.hs | YES 2320 |
| tpdb-6.0/FP/basic_haskell/MINUS_1.hs | YES 2306 |
| tpdb-6.0/FP/basic_haskell/MINUS_2.hs | YES 2162 |
| tpdb-6.0/FP/basic_haskell/mod_1.hs | YES 3794 |
| tpdb-6.0/FP/basic_haskell/negate_1.hs | YES 1887 |
| tpdb-6.0/FP/basic_haskell/negate_2.hs | YES 1835 |
| tpdb-6.0/FP/basic_haskell/not_1.hs | YES 1833 |
| tpdb-6.0/FP/basic_haskell/notElem_1.hs | YES 2218 |
| tpdb-6.0/FP/basic_haskell/notElem_2.hs | YES 2263 |
| tpdb-6.0/FP/basic_haskell/notElem_3.hs | YES 2352 |
| tpdb-6.0/FP/basic_haskell/notElem_4.hs | YES 2828 |
| tpdb-6.0/FP/basic_haskell/notElem_5.hs | YES 2359 |
| tpdb-6.0/FP/basic_haskell/notElem_6.hs | YES 2262 |
| tpdb-6.0/FP/basic_haskell/null_1.hs | YES 1834 |
| tpdb-6.0/FP/basic_haskell/numerator_1.hs | YES 1832 |
| tpdb-6.0/FP/basic_haskell/odd_1.hs | YES 1995 |
| tpdb-6.0/FP/basic_haskell/or_1.hs | YES 1939 |
| tpdb-6.0/FP/basic_haskell/ord_1.hs | YES 1847 |
| tpdb-6.0/FP/basic_haskell/otherwise_1.hs | YES 1783 |
| tpdb-6.0/FP/basic_haskell/PLUS_1.hs | YES 2269 |
| tpdb-6.0/FP/basic_haskell/PLUS_2.hs | YES 2159 |
| tpdb-6.0/FP/basic_haskell/PLUSPLUS_1.hs | YES 1897 |
| tpdb-6.0/FP/basic_haskell/pred_1.hs | YES 2247 |
| tpdb-6.0/FP/basic_haskell/pred_2.hs | YES 4844 |
| tpdb-6.0/FP/basic_haskell/pred_3.hs | YES 2259 |
| tpdb-6.0/FP/basic_haskell/pred_4.hs | YES 2205 |
| tpdb-6.0/FP/basic_haskell/pred_5.hs | YES 4578 |
| tpdb-6.0/FP/basic_haskell/pred_6.hs | YES 1844 |
| tpdb-6.0/FP/basic_haskell/pred_7.hs | YES 2366 |
| tpdb-6.0/FP/basic_haskell/primThrowException_1.hs | NO 2212 |
| tpdb-6.0/FP/basic_haskell/product_1.hs | YES 2356 |
| tpdb-6.0/FP/basic_haskell/product_2.hs | YES 2307 |
| tpdb-6.0/FP/basic_haskell/properFraction_1.hs | YES 4282 |
| tpdb-6.0/FP/basic_haskell/properFraction_2.hs | YES 2994 |
| tpdb-6.0/FP/basic_haskell/quot_1.hs | YES 2777 |
| tpdb-6.0/FP/basic_haskell/quotRem_1.hs | YES 3900 |
| tpdb-6.0/FP/basic_haskell/range_1.hs | YES 1888 |
| tpdb-6.0/FP/basic_haskell/range_2.hs | MAYBE 34029 |
| tpdb-6.0/FP/basic_haskell/range_3.hs | MAYBE 45074 |
| tpdb-6.0/FP/basic_haskell/range_4.hs | YES 3712 |
| tpdb-6.0/FP/basic_haskell/rangeSize_1.hs | YES 2212 |
| tpdb-6.0/FP/basic_haskell/rangeSize_2.hs | YES 7510 |
| tpdb-6.0/FP/basic_haskell/rangeSize_3.hs | YES 6610 |
| tpdb-6.0/FP/basic_haskell/rangeSize_4.hs | YES 6943 |
| tpdb-6.0/FP/basic_haskell/read_1.hs | TIMEOUT 60186 |
| tpdb-6.0/FP/basic_haskell/read_2.hs | TIMEOUT 60194 |
| tpdb-6.0/FP/basic_haskell/readDec_1.hs | YES 8111 |
| tpdb-6.0/FP/basic_haskell/readHex_1.hs | TIMEOUT 60207 |
| tpdb-6.0/FP/basic_haskell/readInt_1.hs | YES 3086 |
| tpdb-6.0/FP/basic_haskell/readList_1.hs | TIMEOUT 60190 |
| tpdb-6.0/FP/basic_haskell/readLitChar_1.hs | TIMEOUT 60204 |
| tpdb-6.0/FP/basic_haskell/readOct_1.hs | YES 17600 |
| tpdb-6.0/FP/basic_haskell/readParen_1.hs | TIMEOUT 60201 |
| tpdb-6.0/FP/basic_haskell/readParen_2.hs | TIMEOUT 60211 |
| tpdb-6.0/FP/basic_haskell/readParen_3.hs | TIMEOUT 60192 |
| tpdb-6.0/FP/basic_haskell/readParen_4.hs | TIMEOUT 60219 |
| tpdb-6.0/FP/basic_haskell/readParen_5.hs | TIMEOUT 60208 |
| tpdb-6.0/FP/basic_haskell/readParen_6.hs | TIMEOUT 60217 |
| tpdb-6.0/FP/basic_haskell/reads_1.hs | TIMEOUT 60200 |
| tpdb-6.0/FP/basic_haskell/reads_2.hs | TIMEOUT 60208 |
| tpdb-6.0/FP/basic_haskell/reads_3.hs | TIMEOUT 60217 |
| tpdb-6.0/FP/basic_haskell/readSigned_1.hs | TIMEOUT 60201 |
| tpdb-6.0/FP/basic_haskell/readsPrec_1.hs | TIMEOUT 60194 |
| tpdb-6.0/FP/basic_haskell/readsPrec_2.hs | TIMEOUT 60198 |
| tpdb-6.0/FP/basic_haskell/realToFrac_1.hs | YES 1945 |
| tpdb-6.0/FP/basic_haskell/realToFrac_2.hs | YES 1907 |
| tpdb-6.0/FP/basic_haskell/recip_1.hs | YES 1839 |
| tpdb-6.0/FP/basic_haskell/recip_2.hs | YES 2161 |
| tpdb-6.0/FP/basic_haskell/rem_1.hs | YES 2786 |
| tpdb-6.0/FP/basic_haskell/repeat_1.hs | NO 2260 |
| tpdb-6.0/FP/basic_haskell/replicate_1.hs | YES 2510 |
| tpdb-6.0/FP/basic_haskell/return_1.hs | YES 1833 |
| tpdb-6.0/FP/basic_haskell/return_2.hs | YES 1731 |
| tpdb-6.0/FP/basic_haskell/reverse_1.hs | YES 2091 |
| tpdb-6.0/FP/basic_haskell/scanl1_1.hs | YES 1990 |
| tpdb-6.0/FP/basic_haskell/scanl_1.hs | YES 1945 |
| tpdb-6.0/FP/basic_haskell/scanr1_1.hs | YES 2368 |
| tpdb-6.0/FP/basic_haskell/scanr_1.hs | YES 2151 |
| tpdb-6.0/FP/basic_haskell/seq_1.hs | YES 1834 |
| tpdb-6.0/FP/basic_haskell/sequence__1.hs | YES 2004 |
| tpdb-6.0/FP/basic_haskell/sequence_1.hs | YES 1992 |
| tpdb-6.0/FP/basic_haskell/sequence__2.hs | YES 2163 |
| tpdb-6.0/FP/basic_haskell/sequence_2.hs | YES 2153 |
| tpdb-6.0/FP/basic_haskell/show_1.hs | YES 2215 |
| tpdb-6.0/FP/basic_haskell/show_2.hs | TIMEOUT 60422 |
| tpdb-6.0/FP/basic_haskell/show_3.hs | YES 11024 |
| tpdb-6.0/FP/basic_haskell/show_4.hs | TIMEOUT 60441 |
| tpdb-6.0/FP/basic_haskell/show_5.hs | YES 4400 |
| tpdb-6.0/FP/basic_haskell/showChar_1.hs | YES 1838 |
| tpdb-6.0/FP/basic_haskell/showInt_1.hs | TIMEOUT 60230 |
| tpdb-6.0/FP/basic_haskell/showParen_1.hs | YES 2212 |
| tpdb-6.0/FP/basic_haskell/shows_1.hs | YES 2251 |
| tpdb-6.0/FP/basic_haskell/shows_2.hs | TIMEOUT 60530 |
| tpdb-6.0/FP/basic_haskell/shows_3.hs | YES 11538 |
| tpdb-6.0/FP/basic_haskell/shows_4.hs | TIMEOUT 60420 |
| tpdb-6.0/FP/basic_haskell/shows_5.hs | YES 4507 |
| tpdb-6.0/FP/basic_haskell/showSigned_1.hs | YES 3943 |
| tpdb-6.0/FP/basic_haskell/showSigned_2.hs | YES 5291 |
| tpdb-6.0/FP/basic_haskell/showSigned_3.hs | YES 2620 |
| tpdb-6.0/FP/basic_haskell/showsPrec_1.hs | YES 2205 |
| tpdb-6.0/FP/basic_haskell/showsPrec_2.hs | TIMEOUT 60649 |
| tpdb-6.0/FP/basic_haskell/showsPrec_3.hs | YES 11541 |
| tpdb-6.0/FP/basic_haskell/showsPrec_4.hs | TIMEOUT 60420 |
| tpdb-6.0/FP/basic_haskell/showsPrec_5.hs | YES 4667 |
| tpdb-6.0/FP/basic_haskell/showString_1.hs | YES 1839 |
| tpdb-6.0/FP/basic_haskell/signum_1.hs | YES 2478 |
| tpdb-6.0/FP/basic_haskell/signum_2.hs | YES 10777 |
| tpdb-6.0/FP/basic_haskell/signum_3.hs | YES 2476 |
| tpdb-6.0/FP/basic_haskell/SLASH_1.hs | YES 2201 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_1.hs | YES 1780 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_2.hs | YES 2306 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_3.hs | YES 1843 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_4.hs | YES 2197 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_5.hs | YES 2677 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_6.hs | YES 2199 |
| tpdb-6.0/FP/basic_haskell/SLASHEQ_7.hs | YES 1890 |
| tpdb-6.0/FP/basic_haskell/snd_1.hs | YES 1836 |
| tpdb-6.0/FP/basic_haskell/span_1.hs | YES 2299 |
| tpdb-6.0/FP/basic_haskell/splitAt_1.hs | YES 2532 |
| tpdb-6.0/FP/basic_haskell/STAR_1.hs | YES 2210 |
| tpdb-6.0/FP/basic_haskell/STAR_2.hs | YES 2150 |
| tpdb-6.0/FP/basic_haskell/subtract_1.hs | YES 2364 |
| tpdb-6.0/FP/basic_haskell/subtract_2.hs | YES 2202 |
| tpdb-6.0/FP/basic_haskell/succ_1.hs | YES 2260 |
| tpdb-6.0/FP/basic_haskell/succ_2.hs | YES 4564 |
| tpdb-6.0/FP/basic_haskell/succ_3.hs | YES 2269 |
| tpdb-6.0/FP/basic_haskell/succ_4.hs | YES 2156 |
| tpdb-6.0/FP/basic_haskell/succ_5.hs | YES 4721 |
| tpdb-6.0/FP/basic_haskell/succ_6.hs | YES 1845 |
| tpdb-6.0/FP/basic_haskell/succ_7.hs | YES 2365 |
| tpdb-6.0/FP/basic_haskell/sum_1.hs | YES 2518 |
| tpdb-6.0/FP/basic_haskell/sum_2.hs | YES 2315 |
| tpdb-6.0/FP/basic_haskell/tail_1.hs | YES 1838 |
| tpdb-6.0/FP/basic_haskell/take_1.hs | YES 2413 |
| tpdb-6.0/FP/basic_haskell/takeWhile_1.hs | YES 2151 |
| tpdb-6.0/FP/basic_haskell/toEnum_1.hs | YES 1989 |
| tpdb-6.0/FP/basic_haskell/toEnum_2.hs | YES 1889 |
| tpdb-6.0/FP/basic_haskell/toEnum_3.hs | YES 2153 |
| tpdb-6.0/FP/basic_haskell/toEnum_4.hs | YES 1842 |
| tpdb-6.0/FP/basic_haskell/toEnum_5.hs | YES 1856 |
| tpdb-6.0/FP/basic_haskell/toEnum_6.hs | YES 1840 |
| tpdb-6.0/FP/basic_haskell/toEnum_7.hs | YES 2151 |
| tpdb-6.0/FP/basic_haskell/toInt_1.hs | YES 1800 |
| tpdb-6.0/FP/basic_haskell/toInteger_1.hs | YES 1833 |
| tpdb-6.0/FP/basic_haskell/toLower_1.hs | YES 26871 |
| tpdb-6.0/FP/basic_haskell/toRational_1.hs | YES 1857 |
| tpdb-6.0/FP/basic_haskell/toUpper_1.hs | TIMEOUT 60198 |
| tpdb-6.0/FP/basic_haskell/truncate_1.hs | YES 3088 |
| tpdb-6.0/FP/basic_haskell/truncate_2.hs | YES 3207 |
| tpdb-6.0/FP/basic_haskell/uncurry_1.hs | YES 1859 |
| tpdb-6.0/FP/basic_haskell/undefined_1.hs | YES 1837 |
| tpdb-6.0/FP/basic_haskell/unlines_1.hs | YES 2148 |
| tpdb-6.0/FP/basic_haskell/until_1.hs | MAYBE 2312 |
| tpdb-6.0/FP/basic_haskell/unwords_1.hs | YES 2164 |
| tpdb-6.0/FP/basic_haskell/unzip_1.hs | YES 2151 |
| tpdb-6.0/FP/basic_haskell/unzip3_1.hs | YES 2203 |
| tpdb-6.0/FP/basic_haskell/userError_1.hs | YES 1896 |
| tpdb-6.0/FP/basic_haskell/words_1.hs | TIMEOUT 60257 |
| tpdb-6.0/FP/basic_haskell/zip_1.hs | YES 1996 |
| tpdb-6.0/FP/basic_haskell/zip3_1.hs | YES 2156 |
| tpdb-6.0/FP/basic_haskell/zipWith_1.hs | YES 1942 |
| tpdb-6.0/FP/basic_haskell/zipWith3_1.hs | YES 1994 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_10.hs | YES 29736 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_11.hs | TIMEOUT 60384 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_12.hs | YES 23034 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_1.hs | YES 27817 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_2.hs | YES 11559 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_3.hs | TIMEOUT 60351 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_4.hs | YES 42326 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_5.hs | TIMEOUT 60396 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_6.hs | TIMEOUT 60297 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_7.hs | TIMEOUT 60362 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_8.hs | TIMEOUT 60365 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_9.hs | YES 26406 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_10.hs | YES 26857 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_11.hs | TIMEOUT 60472 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_12.hs | YES 19361 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_1.hs | YES 24289 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_2.hs | YES 11163 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_3.hs | TIMEOUT 60343 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_4.hs | YES 34841 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_5.hs | TIMEOUT 60486 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_6.hs | TIMEOUT 60326 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_7.hs | TIMEOUT 60311 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_8.hs | TIMEOUT 60401 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addListToFM_C_9.hs | YES 21756 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_10.hs | YES 26390 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_11.hs | TIMEOUT 60374 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_12.hs | YES 19547 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_1.hs | YES 23146 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_2.hs | YES 11316 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_3.hs | TIMEOUT 60374 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_4.hs | YES 32677 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_5.hs | TIMEOUT 60374 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_6.hs | TIMEOUT 60326 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_7.hs | TIMEOUT 60316 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_8.hs | TIMEOUT 60429 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_9.hs | YES 21701 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_10.hs | YES 26038 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_11.hs | TIMEOUT 60555 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_12.hs | YES 19765 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_1.hs | YES 24607 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_2.hs | YES 10723 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_3.hs | TIMEOUT 60399 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_4.hs | YES 33855 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_5.hs | TIMEOUT 60410 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_6.hs | TIMEOUT 60351 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_7.hs | TIMEOUT 60346 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_8.hs | TIMEOUT 60527 |
| tpdb-6.0/FP/full_haskell/FiniteMap_addToFM_C_9.hs | YES 20522 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_10.hs | YES 26384 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_11.hs | TIMEOUT 60386 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_12.hs | YES 22202 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_1.hs | YES 24366 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_2.hs | TIMEOUT 60461 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_3.hs | TIMEOUT 60432 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_4.hs | YES 38188 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_5.hs | TIMEOUT 60392 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_6.hs | TIMEOUT 60308 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_7.hs | TIMEOUT 60315 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_8.hs | TIMEOUT 60389 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delFromFM_9.hs | YES 22872 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_10.hs | YES 31981 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_11.hs | TIMEOUT 60426 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_12.hs | YES 24910 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_1.hs | YES 31189 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_2.hs | TIMEOUT 60394 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_3.hs | TIMEOUT 60428 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_4.hs | YES 45198 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_5.hs | TIMEOUT 60403 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_6.hs | TIMEOUT 60328 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_7.hs | TIMEOUT 60345 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_8.hs | TIMEOUT 60492 |
| tpdb-6.0/FP/full_haskell/FiniteMap_delListFromFM_9.hs | YES 27137 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_10.hs | YES 25466 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_11.hs | YES 9907 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_12.hs | YES 18113 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_1.hs | YES 22595 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_2.hs | YES 9709 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_3.hs | YES 11657 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_4.hs | YES 30185 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_5.hs | YES 12457 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_6.hs | TIMEOUT 60301 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_7.hs | TIMEOUT 60318 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_8.hs | YES 9759 |
| tpdb-6.0/FP/full_haskell/FiniteMap_elemFM_9.hs | YES 20989 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_1.hs | YES 9511 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_10.hs | YES 19457 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_11.hs | YES 10285 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_12.hs | YES 18448 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_1.hs | YES 22300 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_2.hs | YES 9741 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_3.hs | YES 10760 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_4.hs | YES 31191 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_5.hs | YES 13365 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_6.hs | TIMEOUT 60376 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_7.hs | TIMEOUT 60376 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_8.hs | YES 10327 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_GE_9.hs | YES 19479 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_10.hs | YES 23866 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_11.hs | YES 10435 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_12.hs | YES 19157 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_1.hs | YES 22011 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_2.hs | YES 9894 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_3.hs | YES 10996 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_4.hs | YES 31700 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_5.hs | YES 13670 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_6.hs | TIMEOUT 60369 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_7.hs | TIMEOUT 60401 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_8.hs | YES 9814 |
| tpdb-6.0/FP/full_haskell/FiniteMap_eltsFM_LE_9.hs | YES 23102 |
| tpdb-6.0/FP/full_haskell/FiniteMap_emptyFM_1.hs | YES 9301 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_10.hs | YES 56966 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_11.hs | YES 40821 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_12.hs | YES 49740 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_1.hs | YES 34697 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_2.hs | YES 36581 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_3.hs | YES 36658 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_4.hs | YES 60364 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_5.hs | YES 58345 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_6.hs | TIMEOUT 60389 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_7.hs | TIMEOUT 60408 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_8.hs | YES 33673 |
| tpdb-6.0/FP/full_haskell/FiniteMap_filterFM_9.hs | YES 57836 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_1.hs | YES 9544 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_10.hs | YES 19250 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_11.hs | YES 10339 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_12.hs | YES 18575 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_1.hs | YES 22411 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_2.hs | YES 10082 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_3.hs | YES 11064 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_4.hs | YES 29133 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_5.hs | YES 13812 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_6.hs | TIMEOUT 60436 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_7.hs | TIMEOUT 60445 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_8.hs | YES 10074 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_GE_9.hs | YES 18983 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_10.hs | YES 26781 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_11.hs | YES 10151 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_12.hs | YES 20073 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_1.hs | YES 21377 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_2.hs | YES 10003 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_3.hs | YES 11443 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs | YES 31260 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_5.hs | YES 13199 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_6.hs | TIMEOUT 60505 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_7.hs | TIMEOUT 60448 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_8.hs | YES 9990 |
| tpdb-6.0/FP/full_haskell/FiniteMap_fmToList_LE_9.hs | YES 24149 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_1.hs | YES 9235 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_10.hs | YES 23684 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_11.hs | YES 10018 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_12.hs | YES 17294 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_1.hs | YES 22619 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_2.hs | YES 9645 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_3.hs | YES 9920 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_4.hs | YES 29509 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_5.hs | YES 11390 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_6.hs | TIMEOUT 60504 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_7.hs | TIMEOUT 60403 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_8.hs | YES 9570 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_GE_9.hs | YES 19861 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_10.hs | YES 23618 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_11.hs | YES 9635 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_12.hs | YES 17945 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_1.hs | YES 22343 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_2.hs | YES 9552 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_3.hs | YES 10114 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_4.hs | YES 30604 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_5.hs | YES 11373 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_6.hs | TIMEOUT 60536 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_7.hs | YES 25116 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs | YES 9908 |
| tpdb-6.0/FP/full_haskell/FiniteMap_foldFM_LE_9.hs | YES 23903 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_10.hs | YES 47476 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_11.hs | TIMEOUT 60594 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_12.hs | YES 38370 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_1.hs | YES 51232 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_2.hs | YES 47279 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_3.hs | TIMEOUT 60414 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_4.hs | YES 60382 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_5.hs | TIMEOUT 60411 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_6.hs | TIMEOUT 60438 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_7.hs | TIMEOUT 60440 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_8.hs | TIMEOUT 60395 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_9.hs | YES 43929 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs | YES 52800 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_11.hs | TIMEOUT 60461 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_12.hs | YES 40531 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_1.hs | YES 53948 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_2.hs | YES 57804 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_3.hs | TIMEOUT 60432 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_4.hs | YES 60380 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_5.hs | TIMEOUT 60418 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_6.hs | TIMEOUT 60430 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_7.hs | TIMEOUT 60421 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_8.hs | TIMEOUT 60440 |
| tpdb-6.0/FP/full_haskell/FiniteMap_intersectFM_C_9.hs | YES 51337 |
| tpdb-6.0/FP/full_haskell/FiniteMap_isEmptyFM_1.hs | YES 9522 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_1.hs | YES 9557 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_10.hs | YES 19242 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_11.hs | YES 10257 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_12.hs | YES 18346 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_1.hs | YES 23240 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_2.hs | YES 10013 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_3.hs | YES 10815 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_4.hs | YES 32368 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_5.hs | YES 13401 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_6.hs | TIMEOUT 60408 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_7.hs | TIMEOUT 60455 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_8.hs | YES 10055 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_GE_9.hs | YES 19380 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_10.hs | YES 22030 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_11.hs | YES 10121 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_12.hs | YES 19132 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_1.hs | YES 20880 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_2.hs | YES 9778 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_3.hs | YES 10759 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_4.hs | YES 30969 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_5.hs | YES 13227 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_6.hs | TIMEOUT 60404 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_7.hs | TIMEOUT 60420 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_8.hs | YES 9839 |
| tpdb-6.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs | YES 22469 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_10.hs | YES 28753 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_11.hs | TIMEOUT 60453 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_12.hs | YES 21931 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_1.hs | YES 26740 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_2.hs | YES 11406 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_3.hs | TIMEOUT 60577 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_4.hs | YES 42594 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_5.hs | TIMEOUT 60448 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_6.hs | TIMEOUT 60376 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_7.hs | TIMEOUT 60494 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_8.hs | TIMEOUT 60418 |
| tpdb-6.0/FP/full_haskell/FiniteMap_listToFM_9.hs | YES 24263 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_10.hs | YES 24975 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_11.hs | YES 9703 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_12.hs | YES 18493 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_1.hs | YES 22248 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_2.hs | YES 9327 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_3.hs | YES 10302 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_4.hs | YES 33195 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_5.hs | YES 12286 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_6.hs | TIMEOUT 60320 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_7.hs | TIMEOUT 60366 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_8.hs | YES 9562 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupFM_9.hs | YES 21048 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_10.hs | YES 23115 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_11.hs | YES 9892 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_12.hs | YES 18915 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_1.hs | YES 22313 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_2.hs | YES 9761 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_3.hs | YES 11474 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_4.hs | YES 32831 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_5.hs | YES 12466 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_6.hs | TIMEOUT 60375 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_7.hs | TIMEOUT 60341 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_8.hs | YES 9983 |
| tpdb-6.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_9.hs | YES 20928 |
| tpdb-6.0/FP/full_haskell/FiniteMap_mapFM_1.hs | YES 9438 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_10.hs | YES 9548 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_11.hs | YES 9527 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_12.hs | YES 9807 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_1.hs | YES 9568 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_2.hs | YES 9554 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_3.hs | YES 9574 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_4.hs | YES 9618 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_5.hs | YES 9628 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_6.hs | YES 9668 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_7.hs | YES 9682 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_8.hs | YES 9564 |
| tpdb-6.0/FP/full_haskell/FiniteMap_maxFM_9.hs | YES 9584 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_10.hs | YES 9652 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_11.hs | YES 9561 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_12.hs | YES 9655 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_1.hs | YES 9557 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_2.hs | YES 9512 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_3.hs | YES 9673 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_4.hs | YES 9599 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_5.hs | YES 9613 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_6.hs | YES 9584 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_7.hs | YES 9608 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_8.hs | YES 9409 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minFM_9.hs | YES 9550 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_10.hs | YES 56942 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_11.hs | TIMEOUT 60394 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_12.hs | YES 42323 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_1.hs | YES 44297 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_2.hs | YES 60327 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_3.hs | TIMEOUT 60394 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_4.hs | YES 60381 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_5.hs | TIMEOUT 60560 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_6.hs | TIMEOUT 60369 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_7.hs | TIMEOUT 60397 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_8.hs | TIMEOUT 60388 |
| tpdb-6.0/FP/full_haskell/FiniteMap_minusFM_9.hs | YES 52841 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_10.hs | YES 52545 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_11.hs | YES 31876 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_12.hs | YES 36363 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_1.hs | YES 39109 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_2.hs | YES 32497 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_3.hs | YES 33077 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_4.hs | YES 60394 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_5.hs | YES 60385 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_6.hs | TIMEOUT 60385 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_7.hs | TIMEOUT 60438 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_8.hs | YES 30314 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_9.hs | YES 43586 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_10.hs | YES 42024 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_11.hs | YES 50339 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_12.hs | YES 30423 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_1.hs | YES 44073 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_2.hs | YES 49729 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_3.hs | TIMEOUT 60413 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_4.hs | YES 47627 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_5.hs | TIMEOUT 60371 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_6.hs | TIMEOUT 60419 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_7.hs | TIMEOUT 60453 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_8.hs | YES 46676 |
| tpdb-6.0/FP/full_haskell/FiniteMap_plusFM_C_9.hs | YES 36343 |
| tpdb-6.0/FP/full_haskell/FiniteMap_sizeFM_1.hs | YES 9443 |
| tpdb-6.0/FP/full_haskell/FiniteMap_unitFM_1.hs | YES 9522 |
| tpdb-6.0/FP/full_haskell/imports/FiniteMap.hs | MAYBE 8911 |
| tpdb-6.0/FP/full_haskell/imports/List.hs | MAYBE 8676 |
| tpdb-6.0/FP/full_haskell/imports/Maybe.hs | MAYBE 6275 |
| tpdb-6.0/FP/full_haskell/imports/Monad.hs | MAYBE 6989 |
| tpdb-6.0/FP/full_haskell/imports/Queue.hs | MAYBE 6288 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_10.hs | YES 13573 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_11.hs | YES 14177 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_12.hs | YES 12777 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_1.hs | YES 12734 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_2.hs | YES 9409 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_3.hs | YES 9793 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_4.hs | YES 12761 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_5.hs | YES 10456 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_6.hs | YES 9724 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_7.hs | YES 9362 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_8.hs | YES 32282 |
| tpdb-6.0/FP/full_haskell/List_BACKSLBACKSL_9.hs | YES 16742 |
| tpdb-6.0/FP/full_haskell/List_delete_10.hs | YES 12398 |
| tpdb-6.0/FP/full_haskell/List_delete_11.hs | YES 13339 |
| tpdb-6.0/FP/full_haskell/List_delete_12.hs | YES 12021 |
| tpdb-6.0/FP/full_haskell/List_delete_1.hs | YES 11397 |
| tpdb-6.0/FP/full_haskell/List_delete_2.hs | YES 9320 |
| tpdb-6.0/FP/full_haskell/List_delete_3.hs | YES 9466 |
| tpdb-6.0/FP/full_haskell/List_delete_4.hs | YES 12222 |
| tpdb-6.0/FP/full_haskell/List_delete_5.hs | YES 10430 |
| tpdb-6.0/FP/full_haskell/List_delete_6.hs | YES 9411 |
| tpdb-6.0/FP/full_haskell/List_delete_7.hs | YES 9571 |
| tpdb-6.0/FP/full_haskell/List_delete_8.hs | YES 23488 |
| tpdb-6.0/FP/full_haskell/List_delete_9.hs | YES 16324 |
| tpdb-6.0/FP/full_haskell/List_deleteBy_1.hs | YES 9329 |
| tpdb-6.0/FP/full_haskell/List_deleteFirstsBy_1.hs | YES 9321 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_10.hs | YES 13125 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_11.hs | YES 12549 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_12.hs | YES 12844 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_1.hs | YES 12850 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_2.hs | YES 10406 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_3.hs | YES 12231 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_4.hs | YES 13245 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_5.hs | YES 12718 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_6.hs | YES 10828 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_7.hs | YES 11098 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_8.hs | YES 17582 |
| tpdb-6.0/FP/full_haskell/List_elemIndex_9.hs | YES 22033 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_10.hs | YES 12585 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_11.hs | YES 12760 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_12.hs | YES 13850 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_1.hs | YES 10334 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_2.hs | YES 12763 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_3.hs | YES 10660 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_4.hs | YES 12723 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_5.hs | YES 11977 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_6.hs | YES 10476 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_7.hs | YES 11084 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_8.hs | YES 16159 |
| tpdb-6.0/FP/full_haskell/List_elemIndices_9.hs | YES 13075 |
| tpdb-6.0/FP/full_haskell/List_find_1.hs | YES 9937 |
| tpdb-6.0/FP/full_haskell/List_findIndex_1.hs | YES 10460 |
| tpdb-6.0/FP/full_haskell/List_findIndices_1.hs | YES 10362 |
| tpdb-6.0/FP/full_haskell/List_genericDrop_1.hs | YES 9621 |
| tpdb-6.0/FP/full_haskell/List_genericIndex_1.hs | YES 9606 |
| tpdb-6.0/FP/full_haskell/List_genericLength_1.hs | TIMEOUT 60382 |
| tpdb-6.0/FP/full_haskell/List_genericLength_2.hs | YES 9290 |
| tpdb-6.0/FP/full_haskell/List_genericLength_3.hs | YES 9334 |
| tpdb-6.0/FP/full_haskell/List_genericLength_4.hs | TIMEOUT 60492 |
| tpdb-6.0/FP/full_haskell/List_genericReplicate_1.hs | YES 10123 |
| tpdb-6.0/FP/full_haskell/List_genericSplitAt_1.hs | YES 10986 |
| tpdb-6.0/FP/full_haskell/List_genericTake_1.hs | YES 9519 |
| tpdb-6.0/FP/full_haskell/List_group_10.hs | YES 20463 |
| tpdb-6.0/FP/full_haskell/List_group_11.hs | YES 21925 |
| tpdb-6.0/FP/full_haskell/List_group_12.hs | YES 19441 |
| tpdb-6.0/FP/full_haskell/List_group_1.hs | YES 20453 |
| tpdb-6.0/FP/full_haskell/List_group_2.hs | YES 10043 |
| tpdb-6.0/FP/full_haskell/List_group_3.hs | YES 13805 |
| tpdb-6.0/FP/full_haskell/List_group_4.hs | YES 21053 |
| tpdb-6.0/FP/full_haskell/List_group_5.hs | YES 20395 |
| tpdb-6.0/FP/full_haskell/List_group_6.hs | YES 10815 |
| tpdb-6.0/FP/full_haskell/List_group_7.hs | YES 11484 |
| tpdb-6.0/FP/full_haskell/List_group_8.hs | TIMEOUT 60370 |
| tpdb-6.0/FP/full_haskell/List_group_9.hs | TIMEOUT 60379 |
| tpdb-6.0/FP/full_haskell/List_groupBy_1.hs | MAYBE 10185 |
| tpdb-6.0/FP/full_haskell/List_inits_1.hs | YES 9056 |
| tpdb-6.0/FP/full_haskell/List_insert_10.hs | YES 22033 |
| tpdb-6.0/FP/full_haskell/List_insert_11.hs | YES 9454 |
| tpdb-6.0/FP/full_haskell/List_insert_12.hs | YES 16669 |
| tpdb-6.0/FP/full_haskell/List_insert_1.hs | YES 21358 |
| tpdb-6.0/FP/full_haskell/List_insert_2.hs | YES 9162 |
| tpdb-6.0/FP/full_haskell/List_insert_3.hs | YES 9457 |
| tpdb-6.0/FP/full_haskell/List_insert_4.hs | YES 25946 |
| tpdb-6.0/FP/full_haskell/List_insert_5.hs | YES 10204 |
| tpdb-6.0/FP/full_haskell/List_insert_6.hs | YES 30963 |
| tpdb-6.0/FP/full_haskell/List_insert_7.hs | YES 25350 |
| tpdb-6.0/FP/full_haskell/List_insert_8.hs | YES 9306 |
| tpdb-6.0/FP/full_haskell/List_insert_9.hs | YES 16768 |
| tpdb-6.0/FP/full_haskell/List_insertBy_1.hs | YES 9390 |
| tpdb-6.0/FP/full_haskell/List_intersect_10.hs | YES 12285 |
| tpdb-6.0/FP/full_haskell/List_intersect_11.hs | YES 12990 |
| tpdb-6.0/FP/full_haskell/List_intersect_12.hs | YES 12267 |
| tpdb-6.0/FP/full_haskell/List_intersect_1.hs | YES 11549 |
| tpdb-6.0/FP/full_haskell/List_intersect_2.hs | YES 10097 |
| tpdb-6.0/FP/full_haskell/List_intersect_3.hs | YES 10180 |
| tpdb-6.0/FP/full_haskell/List_intersect_4.hs | YES 12819 |
| tpdb-6.0/FP/full_haskell/List_intersect_5.hs | YES 10457 |
| tpdb-6.0/FP/full_haskell/List_intersect_6.hs | YES 9844 |
| tpdb-6.0/FP/full_haskell/List_intersect_7.hs | YES 9673 |
| tpdb-6.0/FP/full_haskell/List_intersect_8.hs | MAYBE 28362 |
| tpdb-6.0/FP/full_haskell/List_intersect_9.hs | YES 14774 |
| tpdb-6.0/FP/full_haskell/List_intersectBy_1.hs | YES 9784 |
| tpdb-6.0/FP/full_haskell/List_intersperse_1.hs | YES 9125 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_10.hs | YES 11307 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_11.hs | YES 11598 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_12.hs | YES 11261 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_1.hs | YES 10470 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_2.hs | YES 9385 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_3.hs | YES 9290 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_4.hs | YES 10367 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_5.hs | YES 9307 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_6.hs | YES 9151 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_7.hs | YES 9084 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_8.hs | YES 9666 |
| tpdb-6.0/FP/full_haskell/List_isPrefixOf_9.hs | YES 9402 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_10.hs | YES 11111 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_11.hs | YES 11527 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_12.hs | YES 11301 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_1.hs | YES 9569 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_2.hs | YES 10725 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_3.hs | YES 9699 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_4.hs | YES 11398 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_5.hs | YES 9483 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_6.hs | YES 9678 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_7.hs | YES 9627 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_8.hs | YES 9835 |
| tpdb-6.0/FP/full_haskell/List_isSuffixOf_9.hs | YES 9938 |
| tpdb-6.0/FP/full_haskell/List_mapAccumL_1.hs | YES 9549 |
| tpdb-6.0/FP/full_haskell/List_mapAccumR_1.hs | YES 9560 |
| tpdb-6.0/FP/full_haskell/List_maximumBy_1.hs | YES 9367 |
| tpdb-6.0/FP/full_haskell/List_minimumBy_1.hs | YES 9662 |
| tpdb-6.0/FP/full_haskell/List_nub_10.hs | YES 13975 |
| tpdb-6.0/FP/full_haskell/List_nub_11.hs | YES 14195 |
| tpdb-6.0/FP/full_haskell/List_nub_12.hs | YES 13002 |
| tpdb-6.0/FP/full_haskell/List_nub_1.hs | YES 9421 |
| tpdb-6.0/FP/full_haskell/List_nub_2.hs | YES 13054 |
| tpdb-6.0/FP/full_haskell/List_nub_3.hs | TIMEOUT 60346 |
| tpdb-6.0/FP/full_haskell/List_nub_4.hs | YES 12588 |
| tpdb-6.0/FP/full_haskell/List_nub_5.hs | YES 44856 |
| tpdb-6.0/FP/full_haskell/List_nub_6.hs | YES 9403 |
| tpdb-6.0/FP/full_haskell/List_nub_7.hs | YES 10260 |
| tpdb-6.0/FP/full_haskell/List_nub_8.hs | TIMEOUT 60400 |
| tpdb-6.0/FP/full_haskell/List_nub_9.hs | TIMEOUT 60486 |
| tpdb-6.0/FP/full_haskell/List_nubBy_1.hs | YES 9720 |
| tpdb-6.0/FP/full_haskell/List_partition_1.hs | YES 9299 |
| tpdb-6.0/FP/full_haskell/List_sort_10.hs | YES 48931 |
| tpdb-6.0/FP/full_haskell/List_sort_11.hs | YES 12290 |
| tpdb-6.0/FP/full_haskell/List_sort_12.hs | YES 45385 |
| tpdb-6.0/FP/full_haskell/List_sort_1.hs | YES 11432 |
| tpdb-6.0/FP/full_haskell/List_sort_2.hs | YES 57058 |
| tpdb-6.0/FP/full_haskell/List_sort_3.hs | YES 13096 |
| tpdb-6.0/FP/full_haskell/List_sort_4.hs | YES 51611 |
| tpdb-6.0/FP/full_haskell/List_sort_5.hs | YES 13309 |
| tpdb-6.0/FP/full_haskell/List_sort_6.hs | YES 20553 |
| tpdb-6.0/FP/full_haskell/List_sort_7.hs | YES 23816 |
| tpdb-6.0/FP/full_haskell/List_sort_8.hs | YES 11948 |
| tpdb-6.0/FP/full_haskell/List_sort_9.hs | YES 45767 |
| tpdb-6.0/FP/full_haskell/List_sortBy_1.hs | YES 10324 |
| tpdb-6.0/FP/full_haskell/List_tails_1.hs | YES 9077 |
| tpdb-6.0/FP/full_haskell/List_transpose_1.hs | YES 9970 |
| tpdb-6.0/FP/full_haskell/List_unfoldr_1.hs | MAYBE 9583 |
| tpdb-6.0/FP/full_haskell/List_union_10.hs | YES 14226 |
| tpdb-6.0/FP/full_haskell/List_union_11.hs | YES 15026 |
| tpdb-6.0/FP/full_haskell/List_union_12.hs | YES 14321 |
| tpdb-6.0/FP/full_haskell/List_union_1.hs | YES 14064 |
| tpdb-6.0/FP/full_haskell/List_union_2.hs | YES 9871 |
| tpdb-6.0/FP/full_haskell/List_union_3.hs | YES 12965 |
| tpdb-6.0/FP/full_haskell/List_union_4.hs | YES 14406 |
| tpdb-6.0/FP/full_haskell/List_union_5.hs | YES 23758 |
| tpdb-6.0/FP/full_haskell/List_union_6.hs | YES 10818 |
| tpdb-6.0/FP/full_haskell/List_union_7.hs | YES 12030 |
| tpdb-6.0/FP/full_haskell/List_union_8.hs | YES 20272 |
| tpdb-6.0/FP/full_haskell/List_union_9.hs | TIMEOUT 60317 |
| tpdb-6.0/FP/full_haskell/List_unionBy_1.hs | YES 10387 |
| tpdb-6.0/FP/full_haskell/Maybe_catMaybes_1.hs | YES 7249 |
| tpdb-6.0/FP/full_haskell/Maybe_fromJust_1.hs | YES 6853 |
| tpdb-6.0/FP/full_haskell/Maybe_fromMaybe_1.hs | YES 6996 |
| tpdb-6.0/FP/full_haskell/Maybe_isJust_1.hs | YES 6844 |
| tpdb-6.0/FP/full_haskell/Maybe_isNothing_1.hs | YES 6946 |
| tpdb-6.0/FP/full_haskell/Maybe_listToMaybe_1.hs | YES 6909 |
| tpdb-6.0/FP/full_haskell/Maybe_mapMaybe_1.hs | YES 7238 |
| tpdb-6.0/FP/full_haskell/Maybe_maybe_1.hs | YES 6806 |
| tpdb-6.0/FP/full_haskell/Maybe_maybeToList_1.hs | YES 6835 |
| tpdb-6.0/FP/full_haskell/Monad_ap_1.hs | YES 7894 |
| tpdb-6.0/FP/full_haskell/Monad_ap_2.hs | YES 7852 |
| tpdb-6.0/FP/full_haskell/Monad_ap_3.hs | YES 7738 |
| tpdb-6.0/FP/full_haskell/Monad_ap_4.hs | YES 7843 |
| tpdb-6.0/FP/full_haskell/Monad_filterM_1.hs | MAYBE 8692 |
| tpdb-6.0/FP/full_haskell/Monad_filterM_2.hs | MAYBE 8678 |
| tpdb-6.0/FP/full_haskell/Monad_filterM_3.hs | YES 8154 |
| tpdb-6.0/FP/full_haskell/Monad_filterM_4.hs | YES 8284 |
| tpdb-6.0/FP/full_haskell/Monad_foldM__1.hs | MAYBE 9492 |
| tpdb-6.0/FP/full_haskell/Monad_foldM_1.hs | MAYBE 8471 |
| tpdb-6.0/FP/full_haskell/Monad_foldM__2.hs | MAYBE 8988 |
| tpdb-6.0/FP/full_haskell/Monad_foldM_2.hs | MAYBE 8458 |
| tpdb-6.0/FP/full_haskell/Monad_foldM__3.hs | YES 7916 |
| tpdb-6.0/FP/full_haskell/Monad_foldM_3.hs | YES 8061 |
| tpdb-6.0/FP/full_haskell/Monad_foldM__4.hs | YES 8146 |
| tpdb-6.0/FP/full_haskell/Monad_foldM_4.hs | YES 7949 |
| tpdb-6.0/FP/full_haskell/Monad_guard_1.hs | YES 7611 |
| tpdb-6.0/FP/full_haskell/Monad_guard_2.hs | YES 7588 |
| tpdb-6.0/FP/full_haskell/Monad_guard_3.hs | YES 7645 |
| tpdb-6.0/FP/full_haskell/Monad_join_1.hs | YES 7620 |
| tpdb-6.0/FP/full_haskell/Monad_join_2.hs | YES 7610 |
| tpdb-6.0/FP/full_haskell/Monad_join_3.hs | YES 7574 |
| tpdb-6.0/FP/full_haskell/Monad_join_4.hs | YES 7599 |
| tpdb-6.0/FP/full_haskell/Monad_liftM_1.hs | YES 7951 |
| tpdb-6.0/FP/full_haskell/Monad_liftM2_1.hs | YES 7938 |
| tpdb-6.0/FP/full_haskell/Monad_liftM2_2.hs | YES 7968 |
| tpdb-6.0/FP/full_haskell/Monad_liftM2_3.hs | YES 7906 |
| tpdb-6.0/FP/full_haskell/Monad_liftM2_4.hs | YES 7931 |
| tpdb-6.0/FP/full_haskell/Monad_liftM_2.hs | YES 7949 |
| tpdb-6.0/FP/full_haskell/Monad_liftM3_1.hs | YES 7998 |
| tpdb-6.0/FP/full_haskell/Monad_liftM3_2.hs | YES 7988 |
| tpdb-6.0/FP/full_haskell/Monad_liftM3_3.hs | YES 8143 |
| tpdb-6.0/FP/full_haskell/Monad_liftM3_4.hs | YES 7962 |
| tpdb-6.0/FP/full_haskell/Monad_liftM_3.hs | YES 7736 |
| tpdb-6.0/FP/full_haskell/Monad_liftM4_1.hs | YES 8163 |
| tpdb-6.0/FP/full_haskell/Monad_liftM4_2.hs | YES 8151 |
| tpdb-6.0/FP/full_haskell/Monad_liftM4_3.hs | YES 7965 |
| tpdb-6.0/FP/full_haskell/Monad_liftM4_4.hs | YES 7937 |
| tpdb-6.0/FP/full_haskell/Monad_liftM_4.hs | YES 7815 |
| tpdb-6.0/FP/full_haskell/Monad_liftM5_1.hs | YES 8197 |
| tpdb-6.0/FP/full_haskell/Monad_liftM5_2.hs | YES 8239 |
| tpdb-6.0/FP/full_haskell/Monad_liftM5_3.hs | YES 8256 |
| tpdb-6.0/FP/full_haskell/Monad_liftM5_4.hs | YES 8188 |
| tpdb-6.0/FP/full_haskell/Monad_mapAndUnzipM_1.hs | TIMEOUT 60267 |
| tpdb-6.0/FP/full_haskell/Monad_mapAndUnzipM_2.hs | MAYBE 9483 |
| tpdb-6.0/FP/full_haskell/Monad_mapAndUnzipM_3.hs | MAYBE 56353 |
| tpdb-6.0/FP/full_haskell/Monad_mapAndUnzipM_4.hs | YES 8004 |
| tpdb-6.0/FP/full_haskell/Monad_mplus_1.hs | YES 7633 |
| tpdb-6.0/FP/full_haskell/Monad_mplus_2.hs | YES 7515 |
| tpdb-6.0/FP/full_haskell/Monad_mplus_3.hs | YES 7742 |
| tpdb-6.0/FP/full_haskell/Monad_msum_1.hs | YES 7696 |
| tpdb-6.0/FP/full_haskell/Monad_msum_2.hs | YES 7799 |
| tpdb-6.0/FP/full_haskell/Monad_msum_3.hs | YES 7852 |
| tpdb-6.0/FP/full_haskell/Monad_mzero_1.hs | YES 7714 |
| tpdb-6.0/FP/full_haskell/Monad_mzero_2.hs | YES 7698 |
| tpdb-6.0/FP/full_haskell/Monad_mzero_3.hs | YES 7198 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM__1.hs | YES 9158 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM_1.hs | YES 9044 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM__2.hs | YES 8637 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM_2.hs | YES 8724 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM__3.hs | YES 8533 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM_3.hs | YES 8578 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM__4.hs | YES 8627 |
| tpdb-6.0/FP/full_haskell/Monad_replicateM_4.hs | YES 8492 |
| tpdb-6.0/FP/full_haskell/Monad_unless_1.hs | YES 7634 |
| tpdb-6.0/FP/full_haskell/Monad_unless_2.hs | YES 8012 |
| tpdb-6.0/FP/full_haskell/Monad_unless_3.hs | YES 7907 |
| tpdb-6.0/FP/full_haskell/Monad_unless_4.hs | YES 7792 |
| tpdb-6.0/FP/full_haskell/Monad_when_1.hs | YES 7847 |
| tpdb-6.0/FP/full_haskell/Monad_when_2.hs | YES 8101 |
| tpdb-6.0/FP/full_haskell/Monad_when_3.hs | YES 7752 |
| tpdb-6.0/FP/full_haskell/Monad_when_4.hs | YES 7908 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM__1.hs | YES 8084 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM_1.hs | MAYBE 8598 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM__2.hs | YES 8147 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM_2.hs | MAYBE 8566 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM__3.hs | YES 8113 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM_3.hs | YES 8129 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM__4.hs | YES 8014 |
| tpdb-6.0/FP/full_haskell/Monad_zipWithM_4.hs | YES 7895 |
| tpdb-6.0/FP/full_haskell/Prelude_abs_1.hs | YES 6885 |
| tpdb-6.0/FP/full_haskell/Prelude_abs_2.hs | YES 8927 |
| tpdb-6.0/FP/full_haskell/Prelude_abs_3.hs | YES 8156 |
| tpdb-6.0/FP/full_haskell/Prelude_abs_4.hs | YES 7007 |
| tpdb-6.0/FP/full_haskell/Prelude_acos_1.hs | YES 6702 |
| tpdb-6.0/FP/full_haskell/Prelude_acosh_1.hs | YES 6966 |
| tpdb-6.0/FP/full_haskell/Prelude_all_1.hs | YES 6722 |
| tpdb-6.0/FP/full_haskell/Prelude_AMPAMP_1.hs | YES 6885 |
| tpdb-6.0/FP/full_haskell/Prelude_and_1.hs | YES 6698 |
| tpdb-6.0/FP/full_haskell/Prelude_any_1.hs | YES 6713 |
| tpdb-6.0/FP/full_haskell/Prelude_appendFile_1.hs | YES 6673 |
| tpdb-6.0/FP/full_haskell/Prelude_approxRational_1.hs | TIMEOUT 60326 |
| tpdb-6.0/FP/full_haskell/Prelude_approxRational_2.hs | TIMEOUT 60348 |
| tpdb-6.0/FP/full_haskell/Prelude_approxRational_3.hs | TIMEOUT 60412 |
| tpdb-6.0/FP/full_haskell/Prelude_asin_1.hs | YES 6625 |
| tpdb-6.0/FP/full_haskell/Prelude_asinh_1.hs | YES 7026 |
| tpdb-6.0/FP/full_haskell/Prelude_asTypeOf_1.hs | YES 6626 |
| tpdb-6.0/FP/full_haskell/Prelude_atan_1.hs | YES 6600 |
| tpdb-6.0/FP/full_haskell/Prelude_atan2_1.hs | TIMEOUT 60478 |
| tpdb-6.0/FP/full_haskell/Prelude_atanh_1.hs | YES 7305 |
| tpdb-6.0/FP/full_haskell/Prelude_BANGBANG_1.hs | YES 7184 |
| tpdb-6.0/FP/full_haskell/Prelude_BARBAR_1.hs | YES 6772 |
| tpdb-6.0/FP/full_haskell/Prelude_basicIORun_1.hs | MAYBE 8404 |
| tpdb-6.0/FP/full_haskell/Prelude_blockIO_1.hs | NO 7746 |
| tpdb-6.0/FP/full_haskell/Prelude_break_1.hs | YES 7111 |
| tpdb-6.0/FP/full_haskell/Prelude_CARET_1.hs | TIMEOUT 60315 |
| tpdb-6.0/FP/full_haskell/Prelude_CARET_2.hs | TIMEOUT 60510 |
| tpdb-6.0/FP/full_haskell/Prelude_CARET_3.hs | MAYBE 13753 |
| tpdb-6.0/FP/full_haskell/Prelude_CARET_4.hs | TIMEOUT 60350 |
| tpdb-6.0/FP/full_haskell/Prelude_CARETCARET_1.hs | TIMEOUT 60360 |
| tpdb-6.0/FP/full_haskell/Prelude_CARETCARET_2.hs | MAYBE 13947 |
| tpdb-6.0/FP/full_haskell/Prelude_CARETCARET_3.hs | TIMEOUT 60328 |
| tpdb-6.0/FP/full_haskell/Prelude_catch_1.hs | YES 6875 |
| tpdb-6.0/FP/full_haskell/Prelude_catchHugsException_1.hs | NO 7485 |
| tpdb-6.0/FP/full_haskell/Prelude_ceiling_1.hs | YES 18175 |
| tpdb-6.0/FP/full_haskell/Prelude_ceiling_2.hs | YES 24001 |
| tpdb-6.0/FP/full_haskell/Prelude_ceiling_3.hs | YES 17243 |
| tpdb-6.0/FP/full_haskell/Prelude_chr_1.hs | YES 6731 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_10.hs | YES 13713 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_11.hs | YES 6726 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_12.hs | YES 14016 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_1.hs | YES 14862 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_2.hs | YES 6663 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_3.hs | YES 6811 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_4.hs | YES 14757 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_5.hs | YES 6736 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_6.hs | YES 7307 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_7.hs | YES 7121 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_8.hs | YES 6730 |
| tpdb-6.0/FP/full_haskell/Prelude_compare_9.hs | YES 13795 |
| tpdb-6.0/FP/full_haskell/Prelude_concat_1.hs | YES 6653 |
| tpdb-6.0/FP/full_haskell/Prelude_concatMap_1.hs | YES 6750 |
| tpdb-6.0/FP/full_haskell/Prelude_const_1.hs | YES 6746 |
| tpdb-6.0/FP/full_haskell/Prelude_cos_1.hs | YES 6870 |
| tpdb-6.0/FP/full_haskell/Prelude_cosh_1.hs | YES 7200 |
| tpdb-6.0/FP/full_haskell/Prelude_curry_1.hs | YES 6553 |
| tpdb-6.0/FP/full_haskell/Prelude_cycle_1.hs | MAYBE 7240 |
| tpdb-6.0/FP/full_haskell/Prelude_decodeFloat_1.hs | YES 6695 |
| tpdb-6.0/FP/full_haskell/Prelude_denominator_1.hs | YES 6757 |
| tpdb-6.0/FP/full_haskell/Prelude_digitToInt_1.hs | YES 9833 |
| tpdb-6.0/FP/full_haskell/Prelude_div_1.hs | YES 7636 |
| tpdb-6.0/FP/full_haskell/Prelude_divMod_1.hs | YES 18825 |
| tpdb-6.0/FP/full_haskell/Prelude_DOLLAR_1.hs | YES 6668 |
| tpdb-6.0/FP/full_haskell/Prelude_DOLLARBANG_1.hs | YES 6349 |
| tpdb-6.0/FP/full_haskell/Prelude_DOT_1.hs | YES 6589 |
| tpdb-6.0/FP/full_haskell/Prelude_drop_1.hs | YES 7211 |
| tpdb-6.0/FP/full_haskell/Prelude_dropWhile_1.hs | YES 6861 |
| tpdb-6.0/FP/full_haskell/Prelude_either_1.hs | YES 6767 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_10.hs | YES 8579 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_11.hs | YES 8662 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_12.hs | YES 8613 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_1.hs | YES 7780 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_2.hs | YES 6946 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_3.hs | YES 7094 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_4.hs | YES 8994 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_5.hs | YES 7100 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_6.hs | YES 6776 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_7.hs | YES 6888 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_8.hs | YES 7391 |
| tpdb-6.0/FP/full_haskell/Prelude_elem_9.hs | YES 6792 |
| tpdb-6.0/FP/full_haskell/Prelude_encodeFloat_1.hs | YES 7711 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_1.hs | MAYBE 34953 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_2.hs | YES 6841 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_3.hs | MAYBE 29823 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_4.hs | MAYBE 7751 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_5.hs | MAYBE 8161 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_6.hs | MAYBE 25414 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_7.hs | YES 7195 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFrom_8.hs | YES 7467 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_1.hs | TIMEOUT 60485 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_2.hs | MAYBE 11595 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_3.hs | TIMEOUT 60325 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_4.hs | MAYBE 8526 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_5.hs | TIMEOUT 60424 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_6.hs | TIMEOUT 60502 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_7.hs | MAYBE 9578 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThen_8.hs | MAYBE 11165 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_1.hs | TIMEOUT 60442 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_2.hs | MAYBE 8173 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_3.hs | TIMEOUT 60333 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_4.hs | MAYBE 18243 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_5.hs | TIMEOUT 60469 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_6.hs | TIMEOUT 60373 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_7.hs | MAYBE 10170 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromThenTo_8.hs | TIMEOUT 60369 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_1.hs | TIMEOUT 60359 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_2.hs | YES 7132 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_3.hs | MAYBE 24696 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_4.hs | MAYBE 45719 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_5.hs | TIMEOUT 60341 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_6.hs | TIMEOUT 60341 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_7.hs | YES 7348 |
| tpdb-6.0/FP/full_haskell/Prelude_enumFromTo_8.hs | YES 7721 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_10.hs | YES 8724 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_11.hs | YES 8778 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_12.hs | YES 9095 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_1.hs | YES 8320 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_2.hs | YES 6742 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_3.hs | YES 6798 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_4.hs | YES 8886 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_5.hs | YES 6724 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_6.hs | YES 6817 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_7.hs | YES 6655 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_8.hs | YES 7094 |
| tpdb-6.0/FP/full_haskell/Prelude_EQEQ_9.hs | YES 6915 |
| tpdb-6.0/FP/full_haskell/Prelude_EQLTLT_1.hs | YES 6707 |
| tpdb-6.0/FP/full_haskell/Prelude_EQLTLT_2.hs | YES 6888 |
| tpdb-6.0/FP/full_haskell/Prelude_EQLTLT_3.hs | YES 6681 |
| tpdb-6.0/FP/full_haskell/Prelude_EQLTLT_4.hs | YES 6751 |
| tpdb-6.0/FP/full_haskell/Prelude_error_1.hs | YES 6786 |
| tpdb-6.0/FP/full_haskell/Prelude_even_1.hs | YES 6680 |
| tpdb-6.0/FP/full_haskell/Prelude_exp_1.hs | YES 6811 |
| tpdb-6.0/FP/full_haskell/Prelude_exponent_1.hs | YES 7552 |
| tpdb-6.0/FP/full_haskell/Prelude_fail___1.hs | YES 6828 |
| tpdb-6.0/FP/full_haskell/Prelude_fail_1.hs | YES 6741 |
| tpdb-6.0/FP/full_haskell/Prelude_fail_2.hs | YES 6630 |
| tpdb-6.0/FP/full_haskell/Prelude_fail_3.hs | YES 6731 |
| tpdb-6.0/FP/full_haskell/Prelude_filter_1.hs | YES 7206 |
| tpdb-6.0/FP/full_haskell/Prelude_flip_1.hs | YES 6766 |
| tpdb-6.0/FP/full_haskell/Prelude_floatDigits_1.hs | YES 6782 |
| tpdb-6.0/FP/full_haskell/Prelude_floatRadix_1.hs | YES 6807 |
| tpdb-6.0/FP/full_haskell/Prelude_floatRange_1.hs | YES 6801 |
| tpdb-6.0/FP/full_haskell/Prelude_floor__1.hs | YES 19200 |
| tpdb-6.0/FP/full_haskell/Prelude_floor_1.hs | MAYBE 23962 |
| tpdb-6.0/FP/full_haskell/Prelude_floor_2.hs | YES 18621 |
| tpdb-6.0/FP/full_haskell/Prelude_fmap_1.hs | YES 6815 |
| tpdb-6.0/FP/full_haskell/Prelude_fmap_2.hs | YES 6472 |
| tpdb-6.0/FP/full_haskell/Prelude_fmap_3.hs | YES 6667 |
| tpdb-6.0/FP/full_haskell/Prelude_fmap_4.hs | YES 6622 |
| tpdb-6.0/FP/full_haskell/Prelude_foldl1_1.hs | YES 6668 |
| tpdb-6.0/FP/full_haskell/Prelude_foldl_1.hs | YES 6765 |
| tpdb-6.0/FP/full_haskell/Prelude_foldr1_1.hs | YES 6623 |
| tpdb-6.0/FP/full_haskell/Prelude_foldr_1.hs | YES 6808 |
| tpdb-6.0/FP/full_haskell/Prelude_fromDouble_1.hs | TIMEOUT 60431 |
| tpdb-6.0/FP/full_haskell/Prelude_fromDouble_2.hs | YES 6811 |
| tpdb-6.0/FP/full_haskell/Prelude_fromDouble_3.hs | YES 13928 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_1.hs | YES 8520 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_2.hs | YES 6919 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_3.hs | YES 6783 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_4.hs | YES 6767 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_5.hs | YES 8241 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_6.hs | YES 8057 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_7.hs | YES 6770 |
| tpdb-6.0/FP/full_haskell/Prelude_fromEnum_8.hs | YES 6807 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInt_1.hs | YES 6744 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInt_2.hs | YES 6607 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInt_3.hs | YES 6758 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInt_4.hs | YES 6888 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInteger_1.hs | YES 6906 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInteger_2.hs | YES 6795 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInteger_3.hs | YES 6737 |
| tpdb-6.0/FP/full_haskell/Prelude_fromInteger_4.hs | YES 6865 |
| tpdb-6.0/FP/full_haskell/Prelude_fromIntegral_1.hs | YES 6883 |
| tpdb-6.0/FP/full_haskell/Prelude_fromIntegral_2.hs | YES 6700 |
| tpdb-6.0/FP/full_haskell/Prelude_fromIntegral_3.hs | YES 6818 |
| tpdb-6.0/FP/full_haskell/Prelude_fromIntegral_4.hs | YES 6989 |
| tpdb-6.0/FP/full_haskell/Prelude_fromRational_1.hs | YES 6869 |
| tpdb-6.0/FP/full_haskell/Prelude_fromRational_2.hs | YES 6720 |
| tpdb-6.0/FP/full_haskell/Prelude_fromRational_3.hs | YES 6778 |
| tpdb-6.0/FP/full_haskell/Prelude_fst_1.hs | YES 6634 |
| tpdb-6.0/FP/full_haskell/Prelude_gcd_1.hs | YES 16488 |
| tpdb-6.0/FP/full_haskell/Prelude_getChar_1.hs | NO 7622 |
| tpdb-6.0/FP/full_haskell/Prelude_getContents_1.hs | NO 7337 |
| tpdb-6.0/FP/full_haskell/Prelude_getLine_1.hs | MAYBE 11885 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_10.hs | YES 13905 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_11.hs | YES 7122 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_12.hs | YES 13615 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_1.hs | YES 15318 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_2.hs | YES 6778 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_3.hs | YES 7021 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_4.hs | YES 15971 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_5.hs | YES 6970 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_6.hs | YES 7325 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_7.hs | YES 7295 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_8.hs | YES 6812 |
| tpdb-6.0/FP/full_haskell/Prelude_GT_9.hs | YES 13396 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_10.hs | YES 13787 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_11.hs | YES 6832 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_12.hs | YES 13579 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_1.hs | YES 15880 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_2.hs | YES 6766 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_3.hs | YES 6983 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_4.hs | YES 16590 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_5.hs | YES 7020 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_6.hs | YES 7640 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_7.hs | YES 7217 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_8.hs | YES 6750 |
| tpdb-6.0/FP/full_haskell/Prelude_GTEQ_9.hs | YES 14663 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGT___1.hs | YES 7010 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGT_1.hs | YES 7011 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGT_2.hs | YES 6869 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGT_3.hs | YES 6955 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGTEQ__1.hs | YES 6957 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGTEQ_1.hs | YES 6816 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGTEQ_2.hs | YES 6861 |
| tpdb-6.0/FP/full_haskell/Prelude_GTGTEQ_3.hs | YES 6643 |
| tpdb-6.0/FP/full_haskell/Prelude_head_1.hs | YES 6711 |
| tpdb-6.0/FP/full_haskell/Prelude_id_1.hs | YES 6878 |
| tpdb-6.0/FP/full_haskell/Prelude_index_1.hs | TIMEOUT 60326 |
| tpdb-6.0/FP/full_haskell/Prelude_index_2.hs | YES 6916 |
| tpdb-6.0/FP/full_haskell/Prelude_index_3.hs | YES 7889 |
| tpdb-6.0/FP/full_haskell/Prelude_index_4.hs | YES 9101 |
| tpdb-6.0/FP/full_haskell/Prelude_index_5.hs | YES 9829 |
| tpdb-6.0/FP/full_haskell/Prelude_init_1.hs | YES 6727 |
| tpdb-6.0/FP/full_haskell/Prelude_inRange_1.hs | YES 7437 |
| tpdb-6.0/FP/full_haskell/Prelude_inRange_2.hs | YES 6645 |
| tpdb-6.0/FP/full_haskell/Prelude_inRange_3.hs | YES 7190 |
| tpdb-6.0/FP/full_haskell/Prelude_inRange_4.hs | YES 6898 |
| tpdb-6.0/FP/full_haskell/Prelude_inRange_5.hs | YES 6760 |
| tpdb-6.0/FP/full_haskell/Prelude_interact_1.hs | NO 7728 |
| tpdb-6.0/FP/full_haskell/Prelude_intToDigit_1.hs | YES 8586 |
| tpdb-6.0/FP/full_haskell/Prelude_ioError_1.hs | YES 6735 |
| tpdb-6.0/FP/full_haskell/Prelude_isAlpha_1.hs | TIMEOUT 60252 |
| tpdb-6.0/FP/full_haskell/Prelude_isAlphaNum_1.hs | TIMEOUT 60257 |
| tpdb-6.0/FP/full_haskell/Prelude_isAscii_1.hs | YES 7065 |
| tpdb-6.0/FP/full_haskell/Prelude_isControl_1.hs | YES 8142 |
| tpdb-6.0/FP/full_haskell/Prelude_isDenormalized_1.hs | YES 6800 |
| tpdb-6.0/FP/full_haskell/Prelude_isDigit_1.hs | YES 7172 |
| tpdb-6.0/FP/full_haskell/Prelude_isHexDigit_1.hs | YES 9278 |
| tpdb-6.0/FP/full_haskell/Prelude_isIEEE_1.hs | YES 6696 |
| tpdb-6.0/FP/full_haskell/Prelude_isInfinite_1.hs | YES 6622 |
| tpdb-6.0/FP/full_haskell/Prelude_isLatin1_1.hs | YES 7198 |
| tpdb-6.0/FP/full_haskell/Prelude_isLower_1.hs | YES 33365 |
| tpdb-6.0/FP/full_haskell/Prelude_isNaN_1.hs | YES 6711 |
| tpdb-6.0/FP/full_haskell/Prelude_isNegativeZero_1.hs | YES 6622 |
| tpdb-6.0/FP/full_haskell/Prelude_isOctDigit_1.hs | YES 7103 |
| tpdb-6.0/FP/full_haskell/Prelude_isPrint_1.hs | YES 9384 |
| tpdb-6.0/FP/full_haskell/Prelude_isSpace_1.hs | YES 9680 |
| tpdb-6.0/FP/full_haskell/Prelude_isUpper_1.hs | YES 25637 |
| tpdb-6.0/FP/full_haskell/Prelude_iterate_1.hs | MAYBE 7011 |
| tpdb-6.0/FP/full_haskell/Prelude_last_1.hs | YES 6696 |
| tpdb-6.0/FP/full_haskell/Prelude_lcm_1.hs | TIMEOUT 60940 |
| tpdb-6.0/FP/full_haskell/Prelude_length_1.hs | YES 7113 |
| tpdb-6.0/FP/full_haskell/Prelude_lex_1.hs | TIMEOUT 60272 |
| tpdb-6.0/FP/full_haskell/Prelude_lexDigits_1.hs | YES 10244 |
| tpdb-6.0/FP/full_haskell/Prelude_lexLitChar_1.hs | TIMEOUT 60257 |
| tpdb-6.0/FP/full_haskell/Prelude_lines_1.hs | YES 40482 |
| tpdb-6.0/FP/full_haskell/Prelude_log_1.hs | YES 6644 |
| tpdb-6.0/FP/full_haskell/Prelude_logBase_1.hs | YES 6844 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_10.hs | YES 9303 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_11.hs | YES 10771 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_12.hs | YES 9158 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_1.hs | YES 8881 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_2.hs | YES 6695 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_3.hs | YES 7110 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_4.hs | YES 9765 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_5.hs | YES 8197 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_6.hs | YES 6969 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_7.hs | YES 7082 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_8.hs | YES 37292 |
| tpdb-6.0/FP/full_haskell/Prelude_lookup_9.hs | YES 15945 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_10.hs | YES 14192 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_11.hs | YES 6932 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_12.hs | YES 15339 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_1.hs | YES 15140 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_2.hs | YES 6757 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_3.hs | YES 6893 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_4.hs | YES 14914 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_5.hs | YES 6827 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_6.hs | YES 7188 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_7.hs | YES 7274 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_8.hs | YES 6797 |
| tpdb-6.0/FP/full_haskell/Prelude_LT_9.hs | YES 13760 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_10.hs | YES 12286 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_11.hs | YES 6694 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_12.hs | YES 14678 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_1.hs | YES 13373 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_2.hs | YES 6906 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_3.hs | YES 6809 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_4.hs | YES 15732 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_5.hs | YES 6683 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_6.hs | YES 7473 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_7.hs | YES 7501 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_8.hs | YES 6671 |
| tpdb-6.0/FP/full_haskell/Prelude_LTEQ_9.hs | YES 11914 |
| tpdb-6.0/FP/full_haskell/Prelude_map_1.hs | YES 6655 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM__1.hs | YES 7025 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM_1.hs | MAYBE 7537 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM__2.hs | YES 7016 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM_2.hs | MAYBE 7526 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM__3.hs | YES 7173 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM_3.hs | YES 7006 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM__4.hs | YES 6961 |
| tpdb-6.0/FP/full_haskell/Prelude_mapM_4.hs | YES 7018 |
| tpdb-6.0/FP/full_haskell/Prelude_max_10.hs | YES 6674 |
| tpdb-6.0/FP/full_haskell/Prelude_max_11.hs | YES 13041 |
| tpdb-6.0/FP/full_haskell/Prelude_max_12.hs | YES 15339 |
| tpdb-6.0/FP/full_haskell/Prelude_max_1.hs | YES 6896 |
| tpdb-6.0/FP/full_haskell/Prelude_max_2.hs | YES 14387 |
| tpdb-6.0/FP/full_haskell/Prelude_max_3.hs | YES 7291 |
| tpdb-6.0/FP/full_haskell/Prelude_max_4.hs | YES 19068 |
| tpdb-6.0/FP/full_haskell/Prelude_max_5.hs | YES 7651 |
| tpdb-6.0/FP/full_haskell/Prelude_max_6.hs | YES 20897 |
| tpdb-6.0/FP/full_haskell/Prelude_max_7.hs | YES 22219 |
| tpdb-6.0/FP/full_haskell/Prelude_max_8.hs | YES 6726 |
| tpdb-6.0/FP/full_haskell/Prelude_max_9.hs | YES 12932 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_1.hs | MAYBE 7668 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_2.hs | YES 6419 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_3.hs | YES 6813 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_4.hs | NO 7407 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_5.hs | YES 6661 |
| tpdb-6.0/FP/full_haskell/Prelude_maxBound_6.hs | YES 6625 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_10.hs | YES 14791 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_11.hs | YES 6809 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_12.hs | YES 17329 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_1.hs | YES 25944 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_2.hs | YES 6918 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_3.hs | YES 7065 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_4.hs | YES 23391 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_5.hs | YES 7395 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_6.hs | YES 23500 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_7.hs | YES 24531 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_8.hs | YES 6816 |
| tpdb-6.0/FP/full_haskell/Prelude_maximum_9.hs | YES 13170 |
| tpdb-6.0/FP/full_haskell/Prelude_maybe_1.hs | YES 6686 |
| tpdb-6.0/FP/full_haskell/Prelude_min_10.hs | YES 12840 |
| tpdb-6.0/FP/full_haskell/Prelude_min_11.hs | YES 13215 |
| tpdb-6.0/FP/full_haskell/Prelude_min_12.hs | YES 14715 |
| tpdb-6.0/FP/full_haskell/Prelude_min_1.hs | YES 17050 |
| tpdb-6.0/FP/full_haskell/Prelude_min_2.hs | YES 6808 |
| tpdb-6.0/FP/full_haskell/Prelude_min_3.hs | YES 7014 |
| tpdb-6.0/FP/full_haskell/Prelude_min_4.hs | YES 18879 |
| tpdb-6.0/FP/full_haskell/Prelude_min_5.hs | YES 7326 |
| tpdb-6.0/FP/full_haskell/Prelude_min_6.hs | YES 20330 |
| tpdb-6.0/FP/full_haskell/Prelude_min_7.hs | YES 21457 |
| tpdb-6.0/FP/full_haskell/Prelude_min_8.hs | YES 6636 |
| tpdb-6.0/FP/full_haskell/Prelude_min_9.hs | YES 6713 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_1.hs | MAYBE 7757 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_2.hs | YES 6712 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_3.hs | YES 6880 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_4.hs | NO 7424 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_5.hs | YES 6656 |
| tpdb-6.0/FP/full_haskell/Prelude_minBound_6.hs | YES 7019 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_10.hs | YES 14687 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_11.hs | YES 6858 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_12.hs | YES 17775 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_1.hs | YES 26223 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_2.hs | YES 6832 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_3.hs | YES 7129 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_4.hs | YES 23614 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_5.hs | YES 7514 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_6.hs | YES 23891 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_7.hs | YES 24316 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_8.hs | YES 6871 |
| tpdb-6.0/FP/full_haskell/Prelude_minimum_9.hs | YES 14193 |
| tpdb-6.0/FP/full_haskell/Prelude_MINUS_1.hs | TIMEOUT 60476 |
| tpdb-6.0/FP/full_haskell/Prelude_MINUS_2.hs | YES 6763 |
| tpdb-6.0/FP/full_haskell/Prelude_MINUS_3.hs | YES 6739 |
| tpdb-6.0/FP/full_haskell/Prelude_MINUS_4.hs | TIMEOUT 60326 |
| tpdb-6.0/FP/full_haskell/Prelude_mod_1.hs | YES 8528 |
| tpdb-6.0/FP/full_haskell/Prelude_negate_1.hs | YES 6717 |
| tpdb-6.0/FP/full_haskell/Prelude_negate_2.hs | YES 6663 |
| tpdb-6.0/FP/full_haskell/Prelude_negate_3.hs | YES 6617 |
| tpdb-6.0/FP/full_haskell/Prelude_negate_4.hs | YES 6752 |
| tpdb-6.0/FP/full_haskell/Prelude_not_1.hs | YES 6621 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_10.hs | YES 8829 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_11.hs | YES 8685 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_12.hs | YES 8980 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_1.hs | YES 7995 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_2.hs | YES 6944 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_3.hs | YES 7110 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_4.hs | YES 8849 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_5.hs | YES 7029 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_6.hs | YES 6970 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_7.hs | YES 6968 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_8.hs | YES 7331 |
| tpdb-6.0/FP/full_haskell/Prelude_notElem_9.hs | YES 6975 |
| tpdb-6.0/FP/full_haskell/Prelude_null_1.hs | YES 6794 |
| tpdb-6.0/FP/full_haskell/Prelude_numerator_1.hs | YES 6811 |
| tpdb-6.0/FP/full_haskell/Prelude_odd_1.hs | YES 6738 |
| tpdb-6.0/FP/full_haskell/Prelude_or_1.hs | YES 6666 |
| tpdb-6.0/FP/full_haskell/Prelude_ord_1.hs | YES 6622 |
| tpdb-6.0/FP/full_haskell/Prelude_otherwise_1.hs | YES 6637 |
| tpdb-6.0/FP/full_haskell/Prelude_PERCENT_1.hs | YES 13871 |
| tpdb-6.0/FP/full_haskell/Prelude_pi_1.hs | YES 6970 |
| tpdb-6.0/FP/full_haskell/Prelude_PLUS_1.hs | TIMEOUT 60323 |
| tpdb-6.0/FP/full_haskell/Prelude_PLUS_2.hs | YES 6750 |
| tpdb-6.0/FP/full_haskell/Prelude_PLUS_3.hs | YES 6888 |
| tpdb-6.0/FP/full_haskell/Prelude_PLUS_4.hs | TIMEOUT 60334 |
| tpdb-6.0/FP/full_haskell/Prelude_PLUSPLUS_1.hs | YES 6845 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_1.hs | YES 10798 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_2.hs | YES 6908 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_3.hs | YES 7050 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_4.hs | YES 6802 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_5.hs | YES 9738 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_6.hs | YES 9639 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_7.hs | YES 7104 |
| tpdb-6.0/FP/full_haskell/Prelude_pred_8.hs | YES 7037 |
| tpdb-6.0/FP/full_haskell/Prelude_primExitWith_1.hs | YES 6947 |
| tpdb-6.0/FP/full_haskell/Prelude_primThrowException_1.hs | NO 7191 |
| tpdb-6.0/FP/full_haskell/Prelude_print_10.hs | TIMEOUT 60263 |
| tpdb-6.0/FP/full_haskell/Prelude_print_11.hs | TIMEOUT 60289 |
| tpdb-6.0/FP/full_haskell/Prelude_print_12.hs | YES 8839 |
| tpdb-6.0/FP/full_haskell/Prelude_print_1.hs | TIMEOUT 60272 |
| tpdb-6.0/FP/full_haskell/Prelude_print_2.hs | YES 7195 |
| tpdb-6.0/FP/full_haskell/Prelude_print_3.hs | TIMEOUT 60258 |
| tpdb-6.0/FP/full_haskell/Prelude_print_4.hs | TIMEOUT 60277 |
| tpdb-6.0/FP/full_haskell/Prelude_print_5.hs | TIMEOUT 60495 |
| tpdb-6.0/FP/full_haskell/Prelude_print_6.hs | YES 7124 |
| tpdb-6.0/FP/full_haskell/Prelude_print_7.hs | TIMEOUT 60950 |
| tpdb-6.0/FP/full_haskell/Prelude_print_8.hs | YES 15871 |
| tpdb-6.0/FP/full_haskell/Prelude_print_9.hs | TIMEOUT 60310 |
| tpdb-6.0/FP/full_haskell/Prelude_product_1.hs | TIMEOUT 60413 |
| tpdb-6.0/FP/full_haskell/Prelude_product_2.hs | YES 7113 |
| tpdb-6.0/FP/full_haskell/Prelude_product_3.hs | YES 7219 |
| tpdb-6.0/FP/full_haskell/Prelude_product_4.hs | TIMEOUT 60335 |
| tpdb-6.0/FP/full_haskell/Prelude_properFraction_1.hs | YES 9183 |
| tpdb-6.0/FP/full_haskell/Prelude_properFraction_2.hs | YES 7936 |
| tpdb-6.0/FP/full_haskell/Prelude_properFraction_3.hs | YES 8652 |
| tpdb-6.0/FP/full_haskell/Prelude_putChar_1.hs | YES 6634 |
| tpdb-6.0/FP/full_haskell/Prelude_putStr_1.hs | YES 6690 |
| tpdb-6.0/FP/full_haskell/Prelude_putStrLn_1.hs | YES 7003 |
| tpdb-6.0/FP/full_haskell/Prelude_quot_1.hs | YES 7621 |
| tpdb-6.0/FP/full_haskell/Prelude_quotRem_1.hs | YES 8619 |
| tpdb-6.0/FP/full_haskell/Prelude_range_1.hs | TIMEOUT 60303 |
| tpdb-6.0/FP/full_haskell/Prelude_range_2.hs | YES 6621 |
| tpdb-6.0/FP/full_haskell/Prelude_range_3.hs | MAYBE 24995 |
| tpdb-6.0/FP/full_haskell/Prelude_range_4.hs | MAYBE 48400 |
| tpdb-6.0/FP/full_haskell/Prelude_range_5.hs | YES 8638 |
| tpdb-6.0/FP/full_haskell/Prelude_rangeSize_1.hs | TIMEOUT 60333 |
| tpdb-6.0/FP/full_haskell/Prelude_rangeSize_2.hs | YES 6968 |
| tpdb-6.0/FP/full_haskell/Prelude_rangeSize_3.hs | YES 10100 |
| tpdb-6.0/FP/full_haskell/Prelude_rangeSize_4.hs | YES 11980 |
| tpdb-6.0/FP/full_haskell/Prelude_rangeSize_5.hs | YES 11118 |
| tpdb-6.0/FP/full_haskell/Prelude_read_1.hs | TIMEOUT 60303 |
| tpdb-6.0/FP/full_haskell/Prelude_read_2.hs | TIMEOUT 60304 |
| tpdb-6.0/FP/full_haskell/Prelude_read_3.hs | TIMEOUT 60307 |
| tpdb-6.0/FP/full_haskell/Prelude_read_4.hs | TIMEOUT 60297 |
| tpdb-6.0/FP/full_haskell/Prelude_read_5.hs | TIMEOUT 60308 |
| tpdb-6.0/FP/full_haskell/Prelude_read_6.hs | TIMEOUT 60321 |
| tpdb-6.0/FP/full_haskell/Prelude_read_7.hs | TIMEOUT 60314 |
| tpdb-6.0/FP/full_haskell/Prelude_read_8.hs | TIMEOUT 60319 |
| tpdb-6.0/FP/full_haskell/Prelude_readDec_1.hs | YES 13502 |
| tpdb-6.0/FP/full_haskell/Prelude_readFile_1.hs | NO 7655 |
| tpdb-6.0/FP/full_haskell/Prelude_readFloat_1.hs | TIMEOUT 60294 |
| tpdb-6.0/FP/full_haskell/Prelude_readFloat_2.hs | TIMEOUT 60291 |
| tpdb-6.0/FP/full_haskell/Prelude_readFloat_3.hs | TIMEOUT 60299 |
| tpdb-6.0/FP/full_haskell/Prelude_readHex_1.hs | TIMEOUT 60293 |
| tpdb-6.0/FP/full_haskell/Prelude_readInt_1.hs | YES 7764 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_1.hs | TIMEOUT 60290 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_2.hs | TIMEOUT 60333 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_3.hs | TIMEOUT 60298 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_4.hs | TIMEOUT 60310 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_5.hs | TIMEOUT 60306 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_6.hs | TIMEOUT 60302 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_7.hs | TIMEOUT 60311 |
| tpdb-6.0/FP/full_haskell/Prelude_readIO_8.hs | TIMEOUT 60291 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_1.hs | TIMEOUT 60299 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_2.hs | TIMEOUT 60274 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_3.hs | TIMEOUT 60285 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_4.hs | TIMEOUT 60285 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_5.hs | TIMEOUT 60284 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_6.hs | TIMEOUT 60290 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_7.hs | TIMEOUT 60294 |
| tpdb-6.0/FP/full_haskell/Prelude_readList_8.hs | TIMEOUT 60280 |
| tpdb-6.0/FP/full_haskell/Prelude_readLitChar_1.hs | TIMEOUT 60274 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_1.hs | TIMEOUT 60296 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_2.hs | TIMEOUT 60319 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_3.hs | TIMEOUT 60298 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_4.hs | TIMEOUT 60355 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_5.hs | TIMEOUT 60306 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_6.hs | TIMEOUT 60332 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_7.hs | TIMEOUT 60320 |
| tpdb-6.0/FP/full_haskell/Prelude_readLn_8.hs | TIMEOUT 60294 |
| tpdb-6.0/FP/full_haskell/Prelude_readOct_1.hs | YES 22345 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_1.hs | TIMEOUT 60291 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_2.hs | TIMEOUT 60271 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_3.hs | TIMEOUT 60285 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_4.hs | TIMEOUT 60290 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_5.hs | TIMEOUT 60304 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_6.hs | TIMEOUT 60285 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_7.hs | TIMEOUT 60279 |
| tpdb-6.0/FP/full_haskell/Prelude_readParen_8.hs | TIMEOUT 60293 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_1.hs | TIMEOUT 60306 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_2.hs | TIMEOUT 60304 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_3.hs | TIMEOUT 60295 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_4.hs | TIMEOUT 60305 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_5.hs | TIMEOUT 60296 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_6.hs | TIMEOUT 60289 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_7.hs | TIMEOUT 60292 |
| tpdb-6.0/FP/full_haskell/Prelude_reads_8.hs | TIMEOUT 60286 |
| tpdb-6.0/FP/full_haskell/Prelude_readSigned_1.hs | TIMEOUT 60299 |
| tpdb-6.0/FP/full_haskell/Prelude_readSigned_2.hs | TIMEOUT 60289 |
| tpdb-6.0/FP/full_haskell/Prelude_readSigned_3.hs | TIMEOUT 60336 |
| tpdb-6.0/FP/full_haskell/Prelude_readSigned_4.hs | TIMEOUT 60292 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_1.hs | TIMEOUT 60320 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_2.hs | TIMEOUT 60328 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_3.hs | TIMEOUT 60293 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_4.hs | TIMEOUT 60298 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_5.hs | TIMEOUT 60297 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_6.hs | TIMEOUT 60304 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_7.hs | TIMEOUT 60303 |
| tpdb-6.0/FP/full_haskell/Prelude_readsPrec_8.hs | TIMEOUT 60281 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_1.hs | MAYBE 14646 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_2.hs | YES 12573 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_3.hs | YES 20950 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_4.hs | YES 6724 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_5.hs | TIMEOUT 60363 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_6.hs | YES 13333 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_7.hs | MAYBE 20512 |
| tpdb-6.0/FP/full_haskell/Prelude_realToFrac_8.hs | YES 6925 |
| tpdb-6.0/FP/full_haskell/Prelude_recip_1.hs | YES 6978 |
| tpdb-6.0/FP/full_haskell/Prelude_recip_2.hs | YES 7010 |
| tpdb-6.0/FP/full_haskell/Prelude_recip_3.hs | YES 6719 |
| tpdb-6.0/FP/full_haskell/Prelude_rem_1.hs | YES 7644 |
| tpdb-6.0/FP/full_haskell/Prelude_repeat_1.hs | NO 7126 |
| tpdb-6.0/FP/full_haskell/Prelude_replicate_1.hs | YES 7197 |
| tpdb-6.0/FP/full_haskell/Prelude_return_1.hs | YES 6670 |
| tpdb-6.0/FP/full_haskell/Prelude_return_2.hs | YES 6718 |
| tpdb-6.0/FP/full_haskell/Prelude_return_3.hs | YES 6862 |
| tpdb-6.0/FP/full_haskell/Prelude_return_4.hs | YES 6696 |
| tpdb-6.0/FP/full_haskell/Prelude_reverse_1.hs | YES 6803 |
| tpdb-6.0/FP/full_haskell/Prelude_round_1.hs | TIMEOUT 60368 |
| tpdb-6.0/FP/full_haskell/Prelude_round_2.hs | TIMEOUT 60392 |
| tpdb-6.0/FP/full_haskell/Prelude_round_3.hs | TIMEOUT 60354 |
| tpdb-6.0/FP/full_haskell/Prelude_scaleFloat_1.hs | YES 8876 |
| tpdb-6.0/FP/full_haskell/Prelude_scanl1_1.hs | YES 6880 |
| tpdb-6.0/FP/full_haskell/Prelude_scanl_1.hs | YES 6462 |
| tpdb-6.0/FP/full_haskell/Prelude_scanr1_1.hs | YES 7589 |
| tpdb-6.0/FP/full_haskell/Prelude_scanr_1.hs | YES 7131 |
| tpdb-6.0/FP/full_haskell/Prelude_seq_1.hs | YES 6752 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence__1.hs | YES 7081 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence_1.hs | YES 7310 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence__2.hs | YES 6866 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence_2.hs | YES 7014 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence__3.hs | YES 6930 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence_3.hs | YES 6904 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence__4.hs | YES 7066 |
| tpdb-6.0/FP/full_haskell/Prelude_sequence_4.hs | YES 6966 |
| tpdb-6.0/FP/full_haskell/Prelude_show_10.hs | TIMEOUT 60283 |
| tpdb-6.0/FP/full_haskell/Prelude_show_11.hs | TIMEOUT 60267 |
| tpdb-6.0/FP/full_haskell/Prelude_show_12.hs | YES 8880 |
| tpdb-6.0/FP/full_haskell/Prelude_show_1.hs | TIMEOUT 60265 |
| tpdb-6.0/FP/full_haskell/Prelude_show_2.hs | YES 7073 |
| tpdb-6.0/FP/full_haskell/Prelude_show_3.hs | TIMEOUT 60268 |
| tpdb-6.0/FP/full_haskell/Prelude_show_4.hs | TIMEOUT 60272 |
| tpdb-6.0/FP/full_haskell/Prelude_show_5.hs | TIMEOUT 60539 |
| tpdb-6.0/FP/full_haskell/Prelude_show_6.hs | YES 7031 |
| tpdb-6.0/FP/full_haskell/Prelude_show_7.hs | TIMEOUT 60528 |
| tpdb-6.0/FP/full_haskell/Prelude_show_8.hs | YES 15974 |
| tpdb-6.0/FP/full_haskell/Prelude_show_9.hs | TIMEOUT 60260 |
| tpdb-6.0/FP/full_haskell/Prelude_showChar_1.hs | YES 6659 |
| tpdb-6.0/FP/full_haskell/Prelude_showInt_1.hs | TIMEOUT 60493 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_10.hs | TIMEOUT 60290 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_11.hs | TIMEOUT 60282 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_12.hs | YES 11218 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_1.hs | TIMEOUT 60292 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_2.hs | YES 7435 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_3.hs | TIMEOUT 60253 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_4.hs | TIMEOUT 60268 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_5.hs | TIMEOUT 60496 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_6.hs | YES 7428 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_7.hs | TIMEOUT 60496 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_8.hs | YES 25697 |
| tpdb-6.0/FP/full_haskell/Prelude_showList_9.hs | TIMEOUT 60260 |
| tpdb-6.0/FP/full_haskell/Prelude_showLitChar_1.hs | TIMEOUT 60272 |
| tpdb-6.0/FP/full_haskell/Prelude_showParen_1.hs | YES 7001 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_10.hs | TIMEOUT 60281 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_11.hs | TIMEOUT 60271 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_12.hs | YES 8467 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_1.hs | YES 7026 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_2.hs | TIMEOUT 60274 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_3.hs | TIMEOUT 60272 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_4.hs | TIMEOUT 60265 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_5.hs | TIMEOUT 60485 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_6.hs | YES 7081 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_7.hs | TIMEOUT 60515 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_8.hs | YES 14850 |
| tpdb-6.0/FP/full_haskell/Prelude_shows_9.hs | TIMEOUT 60266 |
| tpdb-6.0/FP/full_haskell/Prelude_showSigned_1.hs | YES 9107 |
| tpdb-6.0/FP/full_haskell/Prelude_showSigned_2.hs | YES 7426 |
| tpdb-6.0/FP/full_haskell/Prelude_showSigned_3.hs | YES 8995 |
| tpdb-6.0/FP/full_haskell/Prelude_showSigned_4.hs | YES 8614 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_10.hs | TIMEOUT 60282 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_11.hs | TIMEOUT 60249 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_12.hs | YES 8886 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_1.hs | TIMEOUT 60284 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_2.hs | YES 7104 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_3.hs | TIMEOUT 60252 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_4.hs | TIMEOUT 60271 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_5.hs | TIMEOUT 60486 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_6.hs | YES 6787 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_7.hs | TIMEOUT 60471 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_8.hs | YES 16110 |
| tpdb-6.0/FP/full_haskell/Prelude_showsPrec_9.hs | TIMEOUT 60264 |
| tpdb-6.0/FP/full_haskell/Prelude_showString_1.hs | YES 6829 |
| tpdb-6.0/FP/full_haskell/Prelude_significand_1.hs | YES 8898 |
| tpdb-6.0/FP/full_haskell/Prelude_signum_1.hs | YES 13917 |
| tpdb-6.0/FP/full_haskell/Prelude_signum_2.hs | YES 7219 |
| tpdb-6.0/FP/full_haskell/Prelude_signum_3.hs | YES 11200 |
| tpdb-6.0/FP/full_haskell/Prelude_signum_4.hs | YES 7158 |
| tpdb-6.0/FP/full_haskell/Prelude_sin_1.hs | YES 6587 |
| tpdb-6.0/FP/full_haskell/Prelude_sinh_1.hs | YES 7256 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASH_1.hs | TIMEOUT 60557 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASH_2.hs | YES 6899 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASH_3.hs | YES 16846 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_10.hs | YES 8936 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_11.hs | YES 8822 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_12.hs | YES 8734 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_1.hs | YES 7851 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_2.hs | YES 6683 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_3.hs | YES 6722 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_4.hs | YES 8949 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_5.hs | YES 6836 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_6.hs | YES 6700 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_7.hs | YES 6743 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_8.hs | YES 7399 |
| tpdb-6.0/FP/full_haskell/Prelude_SLASHEQ_9.hs | YES 6816 |
| tpdb-6.0/FP/full_haskell/Prelude_snd_1.hs | YES 6602 |
| tpdb-6.0/FP/full_haskell/Prelude_span_1.hs | YES 6957 |
| tpdb-6.0/FP/full_haskell/Prelude_splitAt_1.hs | YES 7564 |
| tpdb-6.0/FP/full_haskell/Prelude_sqrt_1.hs | YES 6665 |
| tpdb-6.0/FP/full_haskell/Prelude_STAR_1.hs | TIMEOUT 60340 |
| tpdb-6.0/FP/full_haskell/Prelude_STAR_2.hs | YES 6724 |
| tpdb-6.0/FP/full_haskell/Prelude_STAR_3.hs | YES 6830 |
| tpdb-6.0/FP/full_haskell/Prelude_STAR_4.hs | TIMEOUT 60325 |
| tpdb-6.0/FP/full_haskell/Prelude_STARSTAR_1.hs | YES 6769 |
| tpdb-6.0/FP/full_haskell/Prelude_subtract_1.hs | TIMEOUT 60463 |
| tpdb-6.0/FP/full_haskell/Prelude_subtract_2.hs | YES 6770 |
| tpdb-6.0/FP/full_haskell/Prelude_subtract_3.hs | YES 6899 |
| tpdb-6.0/FP/full_haskell/Prelude_subtract_4.hs | TIMEOUT 60299 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_1.hs | YES 7066 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_2.hs | YES 9542 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_3.hs | YES 6886 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_4.hs | YES 6675 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_5.hs | YES 9501 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_6.hs | YES 9432 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_7.hs | YES 6902 |
| tpdb-6.0/FP/full_haskell/Prelude_succ_8.hs | YES 6874 |
| tpdb-6.0/FP/full_haskell/Prelude_sum_1.hs | TIMEOUT 60374 |
| tpdb-6.0/FP/full_haskell/Prelude_sum_2.hs | YES 7015 |
| tpdb-6.0/FP/full_haskell/Prelude_sum_3.hs | YES 6959 |
| tpdb-6.0/FP/full_haskell/Prelude_sum_4.hs | TIMEOUT 60381 |
| tpdb-6.0/FP/full_haskell/Prelude_tail_1.hs | YES 6691 |
| tpdb-6.0/FP/full_haskell/Prelude_take_1.hs | YES 6964 |
| tpdb-6.0/FP/full_haskell/Prelude_takeWhile_1.hs | YES 6685 |
| tpdb-6.0/FP/full_haskell/Prelude_tan_1.hs | YES 6663 |
| tpdb-6.0/FP/full_haskell/Prelude_tanh_1.hs | YES 7891 |
| tpdb-6.0/FP/full_haskell/Prelude_threadToIOResult_1.hs | YES 6667 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_1.hs | YES 6670 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_2.hs | YES 6898 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_3.hs | YES 6604 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_4.hs | YES 6686 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_5.hs | YES 6795 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_6.hs | YES 6793 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_7.hs | YES 6909 |
| tpdb-6.0/FP/full_haskell/Prelude_toEnum_8.hs | YES 6837 |
| tpdb-6.0/FP/full_haskell/Prelude_toInt_1.hs | YES 6693 |
| tpdb-6.0/FP/full_haskell/Prelude_toInteger_1.hs | YES 6597 |
| tpdb-6.0/FP/full_haskell/Prelude_toLower_1.hs | YES 27421 |
| tpdb-6.0/FP/full_haskell/Prelude_toRational_1.hs | MAYBE 14231 |
| tpdb-6.0/FP/full_haskell/Prelude_toRational_2.hs | YES 10609 |
| tpdb-6.0/FP/full_haskell/Prelude_toRational_3.hs | MAYBE 16487 |
| tpdb-6.0/FP/full_haskell/Prelude_toRational_4.hs | YES 6744 |
| tpdb-6.0/FP/full_haskell/Prelude_toUpper_1.hs | TIMEOUT 60250 |
| tpdb-6.0/FP/full_haskell/Prelude_truncate_1.hs | YES 8306 |
| tpdb-6.0/FP/full_haskell/Prelude_truncate_2.hs | YES 8096 |
| tpdb-6.0/FP/full_haskell/Prelude_truncate_3.hs | YES 8174 |
| tpdb-6.0/FP/full_haskell/Prelude_uncurry_1.hs | YES 6728 |
| tpdb-6.0/FP/full_haskell/Prelude_undefined_1.hs | YES 6704 |
| tpdb-6.0/FP/full_haskell/Prelude_unlines_1.hs | YES 6812 |
| tpdb-6.0/FP/full_haskell/Prelude_until_1.hs | MAYBE 7304 |
| tpdb-6.0/FP/full_haskell/Prelude_unwords_1.hs | YES 6845 |
| tpdb-6.0/FP/full_haskell/Prelude_unzip_1.hs | YES 6936 |
| tpdb-6.0/FP/full_haskell/Prelude_unzip3_1.hs | YES 6939 |
| tpdb-6.0/FP/full_haskell/Prelude_userError_1.hs | YES 6747 |
| tpdb-6.0/FP/full_haskell/Prelude_words_1.hs | TIMEOUT 60292 |
| tpdb-6.0/FP/full_haskell/Prelude_writeFile_1.hs | YES 6628 |
| tpdb-6.0/FP/full_haskell/Prelude_zip_1.hs | YES 6799 |
| tpdb-6.0/FP/full_haskell/Prelude_zip3_1.hs | YES 6932 |
| tpdb-6.0/FP/full_haskell/Prelude_zipWith_1.hs | YES 6755 |
| tpdb-6.0/FP/full_haskell/Prelude_zipWith3_1.hs | YES 6774 |
| tpdb-6.0/FP/full_haskell/Queue_addToQueue_1.hs | YES 7475 |
| tpdb-6.0/FP/full_haskell/Queue_deQueue_1.hs | YES 7135 |
| tpdb-6.0/FP/full_haskell/Queue_emptyQueue_1.hs | YES 6909 |
| tpdb-6.0/FP/full_haskell/Queue_listToQueue_1.hs | YES 7257 |
| tpdb-6.0/FP/full_haskell/Queue_queueToList_1.hs | YES 7092 | 1313 |