| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/abs_1.hs | YES 6862 |
| tpdb-8.0/FP/basic_haskell/abs_2.hs | YES 7678 |
| tpdb-8.0/FP/basic_haskell/abs_3.hs | YES 6517 |
| tpdb-8.0/FP/basic_haskell/all_1.hs | YES 6353 |
| tpdb-8.0/FP/basic_haskell/AMPAMP_1.hs | YES 6065 |
| tpdb-8.0/FP/basic_haskell/and_1.hs | YES 6294 |
| tpdb-8.0/FP/basic_haskell/any_1.hs | YES 6292 |
| tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs | YES 6168 |
| tpdb-8.0/FP/basic_haskell/BANGBANG_1.hs | YES 7276 |
| tpdb-8.0/FP/basic_haskell/BARBAR_1.hs | YES 6083 |
| tpdb-8.0/FP/basic_haskell/basicIORun_1.hs | MAYBE 7509 |
| tpdb-8.0/FP/basic_haskell/blockIO_1.hs | NO 6833 |
| tpdb-8.0/FP/basic_haskell/break_1.hs | YES 6655 |
| tpdb-8.0/FP/basic_haskell/CARET_1.hs | TIMEOUT 60401 |
| tpdb-8.0/FP/basic_haskell/CARET_2.hs | MAYBE 44021 |
| tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs | NO 6750 |
| tpdb-8.0/FP/basic_haskell/ceiling_1.hs | YES 13887 |
| tpdb-8.0/FP/basic_haskell/chr_1.hs | YES 6200 |
| tpdb-8.0/FP/basic_haskell/compare_1.hs | YES 6016 |
| tpdb-8.0/FP/basic_haskell/compare_2.hs | YES 6269 |
| tpdb-8.0/FP/basic_haskell/compare_3.hs | YES 6728 |
| tpdb-8.0/FP/basic_haskell/compare_4.hs | YES 6320 |
| tpdb-8.0/FP/basic_haskell/compare_5.hs | YES 6813 |
| tpdb-8.0/FP/basic_haskell/compare_6.hs | YES 6439 |
| tpdb-8.0/FP/basic_haskell/compare_7.hs | YES 6321 |
| tpdb-8.0/FP/basic_haskell/concat_1.hs | YES 6292 |
| tpdb-8.0/FP/basic_haskell/concatMap_1.hs | YES 6511 |
| tpdb-8.0/FP/basic_haskell/const_1.hs | YES 6057 |
| tpdb-8.0/FP/basic_haskell/curry_1.hs | YES 6069 |
| tpdb-8.0/FP/basic_haskell/cycle_1.hs | MAYBE 6446 |
| tpdb-8.0/FP/basic_haskell/denominator_1.hs | YES 6207 |
| tpdb-8.0/FP/basic_haskell/digitToInt_1.hs | YES 10074 |
| tpdb-8.0/FP/basic_haskell/div_1.hs | YES 7178 |
| tpdb-8.0/FP/basic_haskell/divMod_1.hs | YES 16034 |
| tpdb-8.0/FP/basic_haskell/DOLLAR_1.hs | YES 6241 |
| tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs | YES 6405 |
| tpdb-8.0/FP/basic_haskell/DOT_1.hs | YES 6080 |
| tpdb-8.0/FP/basic_haskell/drop_1.hs | YES 7009 |
| tpdb-8.0/FP/basic_haskell/dropWhile_1.hs | YES 6312 |
| tpdb-8.0/FP/basic_haskell/either_1.hs | YES 6205 |
| tpdb-8.0/FP/basic_haskell/elem_1.hs | YES 6642 |
| tpdb-8.0/FP/basic_haskell/elem_2.hs | YES 6788 |
| tpdb-8.0/FP/basic_haskell/elem_3.hs | YES 6448 |
| tpdb-8.0/FP/basic_haskell/elem_4.hs | YES 6889 |
| tpdb-8.0/FP/basic_haskell/elem_5.hs | YES 7179 |
| tpdb-8.0/FP/basic_haskell/elem_6.hs | YES 6704 |
| tpdb-8.0/FP/basic_haskell/elem_7.hs | YES 6463 |
| tpdb-8.0/FP/basic_haskell/encodeFloat_1.hs | YES 7670 |
| tpdb-8.0/FP/basic_haskell/enumFrom_1.hs | YES 6089 |
| tpdb-8.0/FP/basic_haskell/enumFrom_2.hs | YES 7393 |
| tpdb-8.0/FP/basic_haskell/enumFrom_3.hs | YES 20218 |
| tpdb-8.0/FP/basic_haskell/enumFrom_4.hs | MAYBE 7486 |
| tpdb-8.0/FP/basic_haskell/enumFrom_5.hs | MAYBE 7047 |
| tpdb-8.0/FP/basic_haskell/enumFrom_6.hs | YES 7468 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_1.hs | YES 6082 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_2.hs | TIMEOUT 60415 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_3.hs | NO 8798 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_4.hs | MAYBE 22265 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs | MAYBE 8142 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_6.hs | MAYBE 7453 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_7.hs | NO 9334 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_1.hs | TIMEOUT 60372 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_2.hs | NO 8789 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_3.hs | TIMEOUT 60297 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_4.hs | TIMEOUT 60397 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_5.hs | MAYBE 12947 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_6.hs | MAYBE 15571 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_1.hs | YES 7408 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_2.hs | TIMEOUT 60337 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_3.hs | YES 7567 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_4.hs | YES 21140 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_5.hs | TIMEOUT 60327 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_6.hs | YES 20776 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_7.hs | YES 7806 |
| tpdb-8.0/FP/basic_haskell/EQEQ_1.hs | YES 6127 |
| tpdb-8.0/FP/basic_haskell/EQEQ_2.hs | YES 6577 |
| tpdb-8.0/FP/basic_haskell/EQEQ_3.hs | YES 6041 |
| tpdb-8.0/FP/basic_haskell/EQEQ_4.hs | YES 6399 |
| tpdb-8.0/FP/basic_haskell/EQEQ_5.hs | YES 7207 |
| tpdb-8.0/FP/basic_haskell/EQEQ_6.hs | YES 6460 |
| tpdb-8.0/FP/basic_haskell/EQEQ_7.hs | YES 6147 |
| tpdb-8.0/FP/basic_haskell/EQLTLT_1.hs | YES 6212 |
| tpdb-8.0/FP/basic_haskell/error_1.hs | YES 6287 |
| tpdb-8.0/FP/basic_haskell/even_1.hs | YES 6322 |
| tpdb-8.0/FP/basic_haskell/fail_1.hs | YES 6110 |
| tpdb-8.0/FP/basic_haskell/filter_1.hs | YES 6474 |
| tpdb-8.0/FP/basic_haskell/flip_1.hs | YES 6075 |
| tpdb-8.0/FP/basic_haskell/floatDigits_1.hs | YES 6143 |
| tpdb-8.0/FP/basic_haskell/floatRadix_1.hs | YES 6336 |
| tpdb-8.0/FP/basic_haskell/floatRange_1.hs | YES 6516 |
| tpdb-8.0/FP/basic_haskell/floor_1.hs | YES 15272 |
| tpdb-8.0/FP/basic_haskell/fmap_1.hs | YES 6122 |
| tpdb-8.0/FP/basic_haskell/fmap_2.hs | YES 6165 |
| tpdb-8.0/FP/basic_haskell/foldl1_1.hs | YES 6294 |
| tpdb-8.0/FP/basic_haskell/foldl_1.hs | YES 6242 |
| tpdb-8.0/FP/basic_haskell/foldr1_1.hs | YES 6232 |
| tpdb-8.0/FP/basic_haskell/foldr_1.hs | YES 6288 |
| tpdb-8.0/FP/basic_haskell/fromDouble_1.hs | TIMEOUT 60249 |
| tpdb-8.0/FP/basic_haskell/fromDouble_2.hs | YES 6252 |
| tpdb-8.0/FP/basic_haskell/fromEnum_1.hs | YES 6139 |
| tpdb-8.0/FP/basic_haskell/fromEnum_2.hs | YES 7467 |
| tpdb-8.0/FP/basic_haskell/fromEnum_3.hs | YES 6058 |
| tpdb-8.0/FP/basic_haskell/fromEnum_4.hs | YES 6109 |
| tpdb-8.0/FP/basic_haskell/fromEnum_5.hs | YES 7590 |
| tpdb-8.0/FP/basic_haskell/fromEnum_6.hs | YES 6333 |
| tpdb-8.0/FP/basic_haskell/fromEnum_7.hs | YES 6234 |
| tpdb-8.0/FP/basic_haskell/fromInt_1.hs | YES 6225 |
| tpdb-8.0/FP/basic_haskell/fromInt_2.hs | YES 6097 |
| tpdb-8.0/FP/basic_haskell/fromInt_3.hs | YES 6093 |
| tpdb-8.0/FP/basic_haskell/fromInteger_1.hs | YES 6203 |
| tpdb-8.0/FP/basic_haskell/fromInteger_2.hs | YES 6115 |
| tpdb-8.0/FP/basic_haskell/fromInteger_3.hs | YES 6045 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_1.hs | YES 6268 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_2.hs | YES 6409 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_3.hs | YES 6350 |
| tpdb-8.0/FP/basic_haskell/fromRational_1.hs | YES 6098 |
| tpdb-8.0/FP/basic_haskell/fromRational_2.hs | YES 6220 |
| tpdb-8.0/FP/basic_haskell/fst_1.hs | YES 6100 |
| tpdb-8.0/FP/basic_haskell/gcd_1.hs | YES 17592 |
| tpdb-8.0/FP/basic_haskell/GT_1.hs | YES 6173 |
| tpdb-8.0/FP/basic_haskell/GT_2.hs | YES 7263 |
| tpdb-8.0/FP/basic_haskell/GT_3.hs | YES 6313 |
| tpdb-8.0/FP/basic_haskell/GT_4.hs | YES 6704 |
| tpdb-8.0/FP/basic_haskell/GT_5.hs | YES 7023 |
| tpdb-8.0/FP/basic_haskell/GT_6.hs | YES 6546 |
| tpdb-8.0/FP/basic_haskell/GT_7.hs | YES 6308 |
| tpdb-8.0/FP/basic_haskell/GTEQ_1.hs | YES 6178 |
| tpdb-8.0/FP/basic_haskell/GTEQ_2.hs | YES 7108 |
| tpdb-8.0/FP/basic_haskell/GTEQ_3.hs | YES 6314 |
| tpdb-8.0/FP/basic_haskell/GTEQ_4.hs | YES 6567 |
| tpdb-8.0/FP/basic_haskell/GTEQ_5.hs | YES 7034 |
| tpdb-8.0/FP/basic_haskell/GTEQ_6.hs | YES 6559 |
| tpdb-8.0/FP/basic_haskell/GTEQ_7.hs | YES 6366 |
| tpdb-8.0/FP/basic_haskell/GTGT_1.hs | YES 6190 |
| tpdb-8.0/FP/basic_haskell/GTGTEQ_1.hs | YES 6356 |
| tpdb-8.0/FP/basic_haskell/head_1.hs | YES 6102 |
| tpdb-8.0/FP/basic_haskell/id_1.hs | YES 6254 |
| tpdb-8.0/FP/basic_haskell/index_1.hs | YES 6360 |
| tpdb-8.0/FP/basic_haskell/index_2.hs | YES 8769 |
| tpdb-8.0/FP/basic_haskell/index_3.hs | YES 8503 |
| tpdb-8.0/FP/basic_haskell/index_4.hs | YES 8880 |
| tpdb-8.0/FP/basic_haskell/init_1.hs | YES 6236 |
| tpdb-8.0/FP/basic_haskell/inRange_1.hs | YES 6141 |
| tpdb-8.0/FP/basic_haskell/inRange_2.hs | YES 6834 |
| tpdb-8.0/FP/basic_haskell/inRange_3.hs | YES 6740 |
| tpdb-8.0/FP/basic_haskell/inRange_4.hs | YES 6625 |
| tpdb-8.0/FP/basic_haskell/intToDigit_1.hs | YES 7798 |
| tpdb-8.0/FP/basic_haskell/isAlpha_1.hs | TIMEOUT 60299 |
| tpdb-8.0/FP/basic_haskell/isAlphaNum_1.hs | TIMEOUT 60302 |
| tpdb-8.0/FP/basic_haskell/isAscii_1.hs | YES 6739 |
| tpdb-8.0/FP/basic_haskell/isControl_1.hs | YES 7905 |
| tpdb-8.0/FP/basic_haskell/isDenormalized_1.hs | YES 6082 |
| tpdb-8.0/FP/basic_haskell/isDigit_1.hs | YES 6965 |
| tpdb-8.0/FP/basic_haskell/isHexDigit_1.hs | YES 9068 |
| tpdb-8.0/FP/basic_haskell/isIEEE_1.hs | YES 6101 |
| tpdb-8.0/FP/basic_haskell/isInfinite_1.hs | YES 6065 |
| tpdb-8.0/FP/basic_haskell/isLatin1_1.hs | YES 7049 |
| tpdb-8.0/FP/basic_haskell/isLower_1.hs | YES 22178 |
| tpdb-8.0/FP/basic_haskell/isNaN_1.hs | YES 6159 |
| tpdb-8.0/FP/basic_haskell/isNegativeZero_1.hs | YES 6102 |
| tpdb-8.0/FP/basic_haskell/isOctDigit_1.hs | YES 6939 |
| tpdb-8.0/FP/basic_haskell/isPrint_1.hs | YES 8859 |
| tpdb-8.0/FP/basic_haskell/isSpace_1.hs | YES 8513 |
| tpdb-8.0/FP/basic_haskell/isUpper_1.hs | YES 19495 |
| tpdb-8.0/FP/basic_haskell/iterate_1.hs | MAYBE 6573 |
| tpdb-8.0/FP/basic_haskell/last_1.hs | YES 6248 |
| tpdb-8.0/FP/basic_haskell/lcm_1.hs | TIMEOUT 60318 |
| tpdb-8.0/FP/basic_haskell/length_1.hs | YES 6617 |
| tpdb-8.0/FP/basic_haskell/lex_1.hs | TIMEOUT 60278 |
| tpdb-8.0/FP/basic_haskell/lexDigits_1.hs | YES 9280 |
| tpdb-8.0/FP/basic_haskell/lexLitChar_1.hs | TIMEOUT 60283 |
| tpdb-8.0/FP/basic_haskell/lines_1.hs | TIMEOUT 60408 |
| tpdb-8.0/FP/basic_haskell/lookup_1.hs | YES 6319 |
| tpdb-8.0/FP/basic_haskell/lookup_2.hs | YES 6465 |
| tpdb-8.0/FP/basic_haskell/lookup_3.hs | YES 7233 |
| tpdb-8.0/FP/basic_haskell/lookup_4.hs | YES 31615 |
| tpdb-8.0/FP/basic_haskell/lookup_5.hs | YES 7245 |
| tpdb-8.0/FP/basic_haskell/lookup_6.hs | YES 6599 |
| tpdb-8.0/FP/basic_haskell/LT_1.hs | YES 6150 |
| tpdb-8.0/FP/basic_haskell/LT_2.hs | YES 6535 |
| tpdb-8.0/FP/basic_haskell/LT_3.hs | YES 6370 |
| tpdb-8.0/FP/basic_haskell/LT_4.hs | YES 6912 |
| tpdb-8.0/FP/basic_haskell/LT_5.hs | YES 6404 |
| tpdb-8.0/FP/basic_haskell/LT_6.hs | YES 6266 |
| tpdb-8.0/FP/basic_haskell/LTEQ_1.hs | YES 6369 |
| tpdb-8.0/FP/basic_haskell/LTEQ_2.hs | YES 7010 |
| tpdb-8.0/FP/basic_haskell/LTEQ_3.hs | YES 6223 |
| tpdb-8.0/FP/basic_haskell/LTEQ_4.hs | YES 6586 |
| tpdb-8.0/FP/basic_haskell/LTEQ_5.hs | YES 7097 |
| tpdb-8.0/FP/basic_haskell/LTEQ_6.hs | YES 6554 |
| tpdb-8.0/FP/basic_haskell/LTEQ_7.hs | YES 6063 |
| tpdb-8.0/FP/basic_haskell/map_1.hs | YES 6431 |
| tpdb-8.0/FP/basic_haskell/mapM__1.hs | YES 6522 |
| tpdb-8.0/FP/basic_haskell/mapM_1.hs | YES 6502 |
| tpdb-8.0/FP/basic_haskell/max_1.hs | YES 6242 |
| tpdb-8.0/FP/basic_haskell/max_2.hs | YES 6387 |
| tpdb-8.0/FP/basic_haskell/max_3.hs | YES 7126 |
| tpdb-8.0/FP/basic_haskell/max_4.hs | YES 12152 |
| tpdb-8.0/FP/basic_haskell/max_5.hs | YES 7035 |
| tpdb-8.0/FP/basic_haskell/max_6.hs | YES 6246 |
| tpdb-8.0/FP/basic_haskell/maxBound_1.hs | YES 6214 |
| tpdb-8.0/FP/basic_haskell/maxBound_2.hs | YES 6085 |
| tpdb-8.0/FP/basic_haskell/maxBound_3.hs | YES 6543 |
| tpdb-8.0/FP/basic_haskell/maxBound_4.hs | NO 6384 |
| tpdb-8.0/FP/basic_haskell/maxBound_5.hs | YES 6138 |
| tpdb-8.0/FP/basic_haskell/maximum_1.hs | YES 6750 |
| tpdb-8.0/FP/basic_haskell/maximum_2.hs | YES 6481 |
| tpdb-8.0/FP/basic_haskell/maximum_3.hs | YES 7459 |
| tpdb-8.0/FP/basic_haskell/maximum_4.hs | YES 28033 |
| tpdb-8.0/FP/basic_haskell/maximum_5.hs | YES 7135 |
| tpdb-8.0/FP/basic_haskell/maximum_6.hs | YES 6465 |
| tpdb-8.0/FP/basic_haskell/maybe_1.hs | YES 6344 |
| tpdb-8.0/FP/basic_haskell/min_1.hs | YES 6531 |
| tpdb-8.0/FP/basic_haskell/min_2.hs | YES 6176 |
| tpdb-8.0/FP/basic_haskell/min_3.hs | YES 7143 |
| tpdb-8.0/FP/basic_haskell/min_4.hs | YES 12043 |
| tpdb-8.0/FP/basic_haskell/min_5.hs | YES 7122 |
| tpdb-8.0/FP/basic_haskell/min_6.hs | YES 6357 |
| tpdb-8.0/FP/basic_haskell/minBound_1.hs | YES 6055 |
| tpdb-8.0/FP/basic_haskell/minBound_2.hs | YES 6270 |
| tpdb-8.0/FP/basic_haskell/minBound_3.hs | YES 6100 |
| tpdb-8.0/FP/basic_haskell/minBound_4.hs | NO 6416 |
| tpdb-8.0/FP/basic_haskell/minBound_5.hs | YES 6083 |
| tpdb-8.0/FP/basic_haskell/minimum_1.hs | YES 6632 |
| tpdb-8.0/FP/basic_haskell/minimum_2.hs | YES 6470 |
| tpdb-8.0/FP/basic_haskell/minimum_3.hs | YES 7513 |
| tpdb-8.0/FP/basic_haskell/minimum_4.hs | YES 27294 |
| tpdb-8.0/FP/basic_haskell/minimum_5.hs | YES 7443 |
| tpdb-8.0/FP/basic_haskell/minimum_6.hs | YES 6780 |
| tpdb-8.0/FP/basic_haskell/MINUS_1.hs | YES 6655 |
| tpdb-8.0/FP/basic_haskell/MINUS_2.hs | YES 6414 |
| tpdb-8.0/FP/basic_haskell/mod_1.hs | YES 7887 |
| tpdb-8.0/FP/basic_haskell/negate_1.hs | YES 6277 |
| tpdb-8.0/FP/basic_haskell/negate_2.hs | YES 6135 |
| tpdb-8.0/FP/basic_haskell/not_1.hs | YES 6117 |
| tpdb-8.0/FP/basic_haskell/notElem_1.hs | YES 6652 |
| tpdb-8.0/FP/basic_haskell/notElem_2.hs | YES 6695 |
| tpdb-8.0/FP/basic_haskell/notElem_3.hs | YES 6672 |
| tpdb-8.0/FP/basic_haskell/notElem_4.hs | YES 7367 |
| tpdb-8.0/FP/basic_haskell/notElem_5.hs | YES 6743 |
| tpdb-8.0/FP/basic_haskell/notElem_6.hs | YES 6507 |
| tpdb-8.0/FP/basic_haskell/null_1.hs | YES 6027 |
| tpdb-8.0/FP/basic_haskell/numerator_1.hs | YES 6376 |
| tpdb-8.0/FP/basic_haskell/odd_1.hs | YES 6348 |
| tpdb-8.0/FP/basic_haskell/or_1.hs | YES 6285 |
| tpdb-8.0/FP/basic_haskell/ord_1.hs | YES 6196 |
| tpdb-8.0/FP/basic_haskell/otherwise_1.hs | YES 5952 |
| tpdb-8.0/FP/basic_haskell/PLUS_1.hs | YES 6694 |
| tpdb-8.0/FP/basic_haskell/PLUS_2.hs | YES 6467 |
| tpdb-8.0/FP/basic_haskell/PLUSPLUS_1.hs | YES 6260 |
| tpdb-8.0/FP/basic_haskell/pred_1.hs | YES 6856 |
| tpdb-8.0/FP/basic_haskell/pred_2.hs | YES 8806 |
| tpdb-8.0/FP/basic_haskell/pred_3.hs | YES 6674 |
| tpdb-8.0/FP/basic_haskell/pred_4.hs | YES 6487 |
| tpdb-8.0/FP/basic_haskell/pred_5.hs | YES 8697 |
| tpdb-8.0/FP/basic_haskell/pred_6.hs | YES 6231 |
| tpdb-8.0/FP/basic_haskell/pred_7.hs | YES 6812 |
| tpdb-8.0/FP/basic_haskell/primThrowException_1.hs | NO 6354 |
| tpdb-8.0/FP/basic_haskell/product_1.hs | YES 6805 |
| tpdb-8.0/FP/basic_haskell/product_2.hs | YES 6731 |
| tpdb-8.0/FP/basic_haskell/properFraction_1.hs | YES 8241 |
| tpdb-8.0/FP/basic_haskell/properFraction_2.hs | YES 7456 |
| tpdb-8.0/FP/basic_haskell/quot_1.hs | YES 7162 |
| tpdb-8.0/FP/basic_haskell/quotRem_1.hs | YES 8188 |
| tpdb-8.0/FP/basic_haskell/range_1.hs | YES 6294 |
| tpdb-8.0/FP/basic_haskell/range_2.hs | YES 21061 |
| tpdb-8.0/FP/basic_haskell/range_3.hs | YES 20704 |
| tpdb-8.0/FP/basic_haskell/range_4.hs | YES 7484 |
| tpdb-8.0/FP/basic_haskell/rangeSize_1.hs | YES 6501 |
| tpdb-8.0/FP/basic_haskell/rangeSize_2.hs | YES 10590 |
| tpdb-8.0/FP/basic_haskell/rangeSize_3.hs | YES 10341 |
| tpdb-8.0/FP/basic_haskell/rangeSize_4.hs | YES 9636 |
| tpdb-8.0/FP/basic_haskell/read_1.hs | TIMEOUT 60243 |
| tpdb-8.0/FP/basic_haskell/read_2.hs | TIMEOUT 60313 |
| tpdb-8.0/FP/basic_haskell/readDec_1.hs | YES 14180 |
| tpdb-8.0/FP/basic_haskell/readHex_1.hs | TIMEOUT 60308 |
| tpdb-8.0/FP/basic_haskell/readInt_1.hs | YES 7715 |
| tpdb-8.0/FP/basic_haskell/readList_1.hs | TIMEOUT 60236 |
| tpdb-8.0/FP/basic_haskell/readLitChar_1.hs | TIMEOUT 60369 |
| tpdb-8.0/FP/basic_haskell/readOct_1.hs | YES 19364 |
| tpdb-8.0/FP/basic_haskell/readParen_1.hs | TIMEOUT 60340 |
| tpdb-8.0/FP/basic_haskell/readParen_2.hs | TIMEOUT 60263 |
| tpdb-8.0/FP/basic_haskell/readParen_3.hs | TIMEOUT 60384 |
| tpdb-8.0/FP/basic_haskell/readParen_4.hs | TIMEOUT 60300 |
| tpdb-8.0/FP/basic_haskell/readParen_5.hs | TIMEOUT 60322 |
| tpdb-8.0/FP/basic_haskell/readParen_6.hs | TIMEOUT 60297 |
| tpdb-8.0/FP/basic_haskell/reads_1.hs | TIMEOUT 60384 |
| tpdb-8.0/FP/basic_haskell/reads_2.hs | TIMEOUT 60282 |
| tpdb-8.0/FP/basic_haskell/reads_3.hs | TIMEOUT 60268 |
| tpdb-8.0/FP/basic_haskell/readSigned_1.hs | TIMEOUT 60255 |
| tpdb-8.0/FP/basic_haskell/readsPrec_1.hs | TIMEOUT 60274 |
| tpdb-8.0/FP/basic_haskell/readsPrec_2.hs | TIMEOUT 60272 |
| tpdb-8.0/FP/basic_haskell/realToFrac_1.hs | YES 6413 |
| tpdb-8.0/FP/basic_haskell/realToFrac_2.hs | YES 6200 |
| tpdb-8.0/FP/basic_haskell/recip_1.hs | YES 6127 |
| tpdb-8.0/FP/basic_haskell/recip_2.hs | YES 6477 |
| tpdb-8.0/FP/basic_haskell/rem_1.hs | YES 7107 |
| tpdb-8.0/FP/basic_haskell/repeat_1.hs | NO 6359 |
| tpdb-8.0/FP/basic_haskell/replicate_1.hs | YES 6996 |
| tpdb-8.0/FP/basic_haskell/return_1.hs | YES 6075 |
| tpdb-8.0/FP/basic_haskell/return_2.hs | YES 6130 |
| tpdb-8.0/FP/basic_haskell/reverse_1.hs | YES 6542 |
| tpdb-8.0/FP/basic_haskell/scanl1_1.hs | YES 6284 |
| tpdb-8.0/FP/basic_haskell/scanl_1.hs | YES 6302 |
| tpdb-8.0/FP/basic_haskell/scanr1_1.hs | YES 6657 |
| tpdb-8.0/FP/basic_haskell/scanr_1.hs | YES 6449 |
| tpdb-8.0/FP/basic_haskell/seq_1.hs | YES 6171 |
| tpdb-8.0/FP/basic_haskell/sequence__1.hs | YES 6396 |
| tpdb-8.0/FP/basic_haskell/sequence_1.hs | YES 6358 |
| tpdb-8.0/FP/basic_haskell/sequence__2.hs | YES 6463 |
| tpdb-8.0/FP/basic_haskell/sequence_2.hs | YES 6651 |
| tpdb-8.0/FP/basic_haskell/show_1.hs | YES 6388 |
| tpdb-8.0/FP/basic_haskell/show_2.hs | MAYBE 22396 |
| tpdb-8.0/FP/basic_haskell/show_3.hs | YES 13096 |
| tpdb-8.0/FP/basic_haskell/show_4.hs | MAYBE 20662 |
| tpdb-8.0/FP/basic_haskell/show_5.hs | YES 8382 |
| tpdb-8.0/FP/basic_haskell/showChar_1.hs | YES 6088 |
| tpdb-8.0/FP/basic_haskell/showInt_1.hs | MAYBE 56899 |
| tpdb-8.0/FP/basic_haskell/showParen_1.hs | YES 6488 |
| tpdb-8.0/FP/basic_haskell/shows_1.hs | YES 6541 |
| tpdb-8.0/FP/basic_haskell/shows_2.hs | MAYBE 22069 |
| tpdb-8.0/FP/basic_haskell/shows_3.hs | YES 12976 |
| tpdb-8.0/FP/basic_haskell/shows_4.hs | MAYBE 21101 |
| tpdb-8.0/FP/basic_haskell/shows_5.hs | YES 8323 |
| tpdb-8.0/FP/basic_haskell/showSigned_1.hs | YES 7937 |
| tpdb-8.0/FP/basic_haskell/showSigned_2.hs | YES 8610 |
| tpdb-8.0/FP/basic_haskell/showSigned_3.hs | YES 6976 |
| tpdb-8.0/FP/basic_haskell/showsPrec_1.hs | YES 6307 |
| tpdb-8.0/FP/basic_haskell/showsPrec_2.hs | MAYBE 22146 |
| tpdb-8.0/FP/basic_haskell/showsPrec_3.hs | YES 12795 |
| tpdb-8.0/FP/basic_haskell/showsPrec_4.hs | MAYBE 20539 |
| tpdb-8.0/FP/basic_haskell/showsPrec_5.hs | YES 8620 |
| tpdb-8.0/FP/basic_haskell/showString_1.hs | YES 6313 |
| tpdb-8.0/FP/basic_haskell/signum_1.hs | YES 7183 |
| tpdb-8.0/FP/basic_haskell/signum_2.hs | YES 9968 |
| tpdb-8.0/FP/basic_haskell/signum_3.hs | YES 6931 |
| tpdb-8.0/FP/basic_haskell/SLASH_1.hs | YES 6500 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_1.hs | YES 6109 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_2.hs | YES 6741 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs | YES 6164 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_4.hs | YES 6465 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_5.hs | YES 7019 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_6.hs | YES 6486 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_7.hs | YES 6238 |
| tpdb-8.0/FP/basic_haskell/snd_1.hs | YES 6053 |
| tpdb-8.0/FP/basic_haskell/span_1.hs | YES 6783 |
| tpdb-8.0/FP/basic_haskell/splitAt_1.hs | YES 7170 |
| tpdb-8.0/FP/basic_haskell/STAR_1.hs | YES 6532 |
| tpdb-8.0/FP/basic_haskell/STAR_2.hs | YES 6655 |
| tpdb-8.0/FP/basic_haskell/subtract_1.hs | YES 6660 |
| tpdb-8.0/FP/basic_haskell/subtract_2.hs | YES 6470 |
| tpdb-8.0/FP/basic_haskell/succ_1.hs | YES 6579 |
| tpdb-8.0/FP/basic_haskell/succ_2.hs | YES 9029 |
| tpdb-8.0/FP/basic_haskell/succ_3.hs | YES 6851 |
| tpdb-8.0/FP/basic_haskell/succ_4.hs | YES 6442 |
| tpdb-8.0/FP/basic_haskell/succ_5.hs | YES 8682 |
| tpdb-8.0/FP/basic_haskell/succ_6.hs | YES 6102 |
| tpdb-8.0/FP/basic_haskell/succ_7.hs | YES 6792 |
| tpdb-8.0/FP/basic_haskell/sum_1.hs | YES 7277 |
| tpdb-8.0/FP/basic_haskell/sum_2.hs | YES 6713 |
| tpdb-8.0/FP/basic_haskell/tail_1.hs | YES 6179 |
| tpdb-8.0/FP/basic_haskell/take_1.hs | YES 7074 |
| tpdb-8.0/FP/basic_haskell/takeWhile_1.hs | YES 6414 |
| tpdb-8.0/FP/basic_haskell/toEnum_1.hs | YES 6269 |
| tpdb-8.0/FP/basic_haskell/toEnum_2.hs | YES 6443 |
| tpdb-8.0/FP/basic_haskell/toEnum_3.hs | YES 6425 |
| tpdb-8.0/FP/basic_haskell/toEnum_4.hs | YES 6171 |
| tpdb-8.0/FP/basic_haskell/toEnum_5.hs | YES 6102 |
| tpdb-8.0/FP/basic_haskell/toEnum_6.hs | YES 6129 |
| tpdb-8.0/FP/basic_haskell/toEnum_7.hs | YES 6491 |
| tpdb-8.0/FP/basic_haskell/toInt_1.hs | YES 6147 |
| tpdb-8.0/FP/basic_haskell/toInteger_1.hs | YES 6094 |
| tpdb-8.0/FP/basic_haskell/toLower_1.hs | YES 21050 |
| tpdb-8.0/FP/basic_haskell/toRational_1.hs | YES 6141 |
| tpdb-8.0/FP/basic_haskell/toUpper_1.hs | TIMEOUT 60334 |
| tpdb-8.0/FP/basic_haskell/truncate_1.hs | YES 7563 |
| tpdb-8.0/FP/basic_haskell/truncate_2.hs | YES 7377 |
| tpdb-8.0/FP/basic_haskell/uncurry_1.hs | YES 6219 |
| tpdb-8.0/FP/basic_haskell/undefined_1.hs | YES 6086 |
| tpdb-8.0/FP/basic_haskell/unlines_1.hs | YES 6482 |
| tpdb-8.0/FP/basic_haskell/until_1.hs | MAYBE 6320 |
| tpdb-8.0/FP/basic_haskell/unwords_1.hs | YES 6326 |
| tpdb-8.0/FP/basic_haskell/unzip_1.hs | YES 6451 |
| tpdb-8.0/FP/basic_haskell/unzip3_1.hs | YES 6382 |
| tpdb-8.0/FP/basic_haskell/userError_1.hs | YES 6166 |
| tpdb-8.0/FP/basic_haskell/words_1.hs | TIMEOUT 60391 |
| tpdb-8.0/FP/basic_haskell/zip_1.hs | YES 6426 |
| tpdb-8.0/FP/basic_haskell/zip3_1.hs | YES 6388 |
| tpdb-8.0/FP/basic_haskell/zipWith_1.hs | YES 6344 |
| tpdb-8.0/FP/basic_haskell/zipWith3_1.hs | YES 6508 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_10.hs | YES 24640 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_11.hs | TIMEOUT 60353 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_12.hs | YES 25054 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_1.hs | YES 35370 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_2.hs | YES 9476 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_3.hs | TIMEOUT 60385 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_4.hs | YES 18714 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_5.hs | TIMEOUT 60442 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_6.hs | TIMEOUT 60415 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_7.hs | TIMEOUT 60327 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_8.hs | TIMEOUT 60391 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_9.hs | YES 25817 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_10.hs | YES 19754 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_11.hs | TIMEOUT 60505 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_12.hs | YES 21231 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_1.hs | YES 28982 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_2.hs | YES 9284 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_3.hs | TIMEOUT 60412 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_4.hs | YES 18497 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_5.hs | TIMEOUT 60419 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_6.hs | TIMEOUT 60349 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_7.hs | TIMEOUT 60333 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_8.hs | TIMEOUT 60396 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_9.hs | YES 21524 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_10.hs | YES 19680 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_11.hs | TIMEOUT 60377 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_12.hs | YES 21394 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_1.hs | YES 28340 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_2.hs | YES 9288 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_3.hs | TIMEOUT 60387 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_4.hs | YES 17035 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_5.hs | TIMEOUT 60442 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_6.hs | TIMEOUT 60320 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_7.hs | TIMEOUT 60279 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_8.hs | TIMEOUT 60383 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_9.hs | YES 21207 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_10.hs | YES 19708 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_11.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_12.hs | YES 21277 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_1.hs | YES 27690 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_2.hs | YES 9178 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_3.hs | TIMEOUT 60397 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_4.hs | YES 17555 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_5.hs | TIMEOUT 60379 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_6.hs | TIMEOUT 60313 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_7.hs | TIMEOUT 60373 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_8.hs | TIMEOUT 60356 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_9.hs | YES 21780 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_10.hs | YES 20932 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_11.hs | TIMEOUT 60430 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_12.hs | YES 21664 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_1.hs | YES 26941 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_2.hs | TIMEOUT 60620 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_3.hs | TIMEOUT 60441 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_4.hs | YES 18910 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_5.hs | YES 51126 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_6.hs | TIMEOUT 60339 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_7.hs | TIMEOUT 60425 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_8.hs | TIMEOUT 60427 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_9.hs | YES 22385 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_10.hs | YES 25177 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_11.hs | TIMEOUT 60511 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_12.hs | YES 27286 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_1.hs | YES 33370 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_2.hs | TIMEOUT 60652 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_3.hs | TIMEOUT 60431 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_4.hs | YES 20820 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_5.hs | TIMEOUT 60408 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_6.hs | TIMEOUT 60358 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_7.hs | TIMEOUT 60325 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_8.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delListFromFM_9.hs | YES 26372 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_10.hs | YES 18643 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_11.hs | YES 9332 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_12.hs | YES 21534 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_1.hs | YES 27138 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_2.hs | YES 8609 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_3.hs | YES 9530 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_4.hs | YES 16894 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_5.hs | YES 10621 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_6.hs | TIMEOUT 60390 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_7.hs | TIMEOUT 60360 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_8.hs | YES 8816 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_9.hs | YES 21680 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_1.hs | YES 8709 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_10.hs | YES 23638 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_11.hs | YES 9955 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_12.hs | YES 20360 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_1.hs | YES 27924 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_2.hs | YES 9066 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_3.hs | YES 9974 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_4.hs | YES 18616 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_5.hs | YES 12574 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_6.hs | TIMEOUT 60622 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_7.hs | TIMEOUT 60627 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_8.hs | YES 9511 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_9.hs | YES 22826 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_10.hs | YES 35491 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_11.hs | YES 9637 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_12.hs | YES 21226 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_1.hs | YES 39890 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_2.hs | YES 8975 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_3.hs | YES 9875 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_4.hs | YES 18601 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_5.hs | YES 12846 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_6.hs | TIMEOUT 60415 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_7.hs | TIMEOUT 60490 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_8.hs | YES 9061 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_9.hs | YES 33671 |
| tpdb-8.0/FP/full_haskell/FiniteMap_emptyFM_1.hs | YES 8226 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_10.hs | YES 52418 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_11.hs | YES 24332 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_12.hs | YES 42676 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_1.hs | YES 40734 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_2.hs | YES 20364 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_3.hs | YES 24300 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_4.hs | YES 39248 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_5.hs | YES 34029 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_6.hs | YES 60351 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_7.hs | TIMEOUT 60431 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_8.hs | YES 21625 |
| tpdb-8.0/FP/full_haskell/FiniteMap_filterFM_9.hs | YES 53321 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_1.hs | YES 8638 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_10.hs | YES 23921 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_11.hs | YES 9749 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_12.hs | YES 20539 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_1.hs | YES 28805 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_2.hs | YES 9334 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_3.hs | YES 10301 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_4.hs | YES 17708 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_5.hs | YES 13081 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_6.hs | TIMEOUT 60487 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_7.hs | TIMEOUT 60537 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_8.hs | YES 9147 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_GE_9.hs | YES 23225 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_10.hs | YES 34894 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_11.hs | YES 9563 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_12.hs | YES 14628 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_1.hs | YES 30710 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_2.hs | YES 8953 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_3.hs | YES 9976 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs | YES 18138 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_5.hs | YES 12987 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_6.hs | TIMEOUT 60410 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_7.hs | TIMEOUT 60415 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_8.hs | YES 9264 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_9.hs | YES 40690 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_1.hs | YES 8454 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_10.hs | YES 18431 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_11.hs | YES 8916 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_12.hs | YES 20399 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_1.hs | YES 27329 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_2.hs | YES 8631 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_3.hs | YES 9147 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_4.hs | YES 17079 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_5.hs | YES 9933 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_6.hs | TIMEOUT 60382 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_7.hs | TIMEOUT 60466 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_8.hs | YES 8743 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_GE_9.hs | YES 21962 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_10.hs | YES 29533 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_11.hs | YES 8726 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_12.hs | YES 14556 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_1.hs | YES 29989 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_2.hs | YES 8578 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_3.hs | YES 9004 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_4.hs | YES 17085 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_5.hs | YES 9912 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_6.hs | TIMEOUT 60352 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_7.hs | YES 18388 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs | YES 9038 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_9.hs | YES 33548 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_10.hs | TIMEOUT 60401 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_11.hs | TIMEOUT 60541 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_12.hs | YES 60420 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_1.hs | TIMEOUT 60378 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_2.hs | YES 25220 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_3.hs | TIMEOUT 60381 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_4.hs | YES 36458 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_5.hs | TIMEOUT 60370 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_6.hs | TIMEOUT 60473 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_7.hs | TIMEOUT 60373 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_8.hs | TIMEOUT 60450 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_9.hs | TIMEOUT 60359 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs | TIMEOUT 60337 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_11.hs | TIMEOUT 60497 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_12.hs | TIMEOUT 60355 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_1.hs | TIMEOUT 60410 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_2.hs | YES 33462 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_3.hs | TIMEOUT 60329 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_4.hs | YES 40739 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_5.hs | TIMEOUT 60371 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_6.hs | TIMEOUT 60478 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_7.hs | TIMEOUT 60439 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_8.hs | TIMEOUT 60442 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_9.hs | TIMEOUT 60384 |
| tpdb-8.0/FP/full_haskell/FiniteMap_isEmptyFM_1.hs | YES 8514 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_1.hs | YES 8628 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_10.hs | YES 23734 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_11.hs | YES 9707 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_12.hs | YES 20670 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_1.hs | YES 28050 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_2.hs | YES 8826 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_3.hs | YES 10094 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_4.hs | YES 18016 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_5.hs | YES 13047 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_6.hs | TIMEOUT 60591 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_7.hs | TIMEOUT 60517 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_8.hs | YES 9200 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_9.hs | YES 23171 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_10.hs | YES 36898 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_11.hs | YES 9780 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_12.hs | YES 23585 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_1.hs | YES 34677 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_2.hs | YES 8866 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_3.hs | YES 10073 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_4.hs | YES 18542 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_5.hs | YES 13058 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_6.hs | TIMEOUT 60629 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_7.hs | TIMEOUT 60439 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_8.hs | YES 9032 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs | YES 29914 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_10.hs | YES 23933 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_11.hs | TIMEOUT 60398 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_12.hs | YES 24718 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_1.hs | YES 33775 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_2.hs | YES 9512 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_3.hs | TIMEOUT 60509 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_4.hs | YES 18775 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_5.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_6.hs | TIMEOUT 60400 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_7.hs | TIMEOUT 60330 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_8.hs | TIMEOUT 60364 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_9.hs | YES 25290 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_10.hs | YES 19430 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_11.hs | YES 8731 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_12.hs | YES 21157 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_1.hs | YES 29475 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_2.hs | YES 8529 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_3.hs | YES 9173 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_4.hs | YES 18111 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_5.hs | YES 10135 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_6.hs | TIMEOUT 60369 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_7.hs | TIMEOUT 60385 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_8.hs | YES 8668 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_9.hs | YES 20859 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_10.hs | YES 18923 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_11.hs | YES 9014 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_12.hs | YES 21847 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_1.hs | YES 27511 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_2.hs | YES 8497 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_3.hs | YES 10142 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_4.hs | YES 17555 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_5.hs | YES 10905 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_6.hs | TIMEOUT 60313 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_7.hs | TIMEOUT 60328 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_8.hs | YES 8742 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupWithDefaultFM_9.hs | YES 23636 |
| tpdb-8.0/FP/full_haskell/FiniteMap_mapFM_1.hs | YES 8544 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_10.hs | YES 8600 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_11.hs | YES 8614 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_12.hs | YES 9082 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_1.hs | YES 8681 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_2.hs | YES 8708 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_3.hs | YES 9000 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_4.hs | YES 8709 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_5.hs | YES 8624 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_6.hs | YES 8630 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_7.hs | YES 8725 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_8.hs | YES 8568 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_9.hs | YES 8702 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_10.hs | YES 9188 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_11.hs | YES 8630 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_12.hs | YES 8667 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_1.hs | YES 8871 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_2.hs | YES 8621 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_3.hs | YES 8646 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_4.hs | YES 8776 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_5.hs | YES 8705 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_6.hs | YES 8587 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_7.hs | YES 8589 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_8.hs | YES 8589 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_9.hs | YES 8627 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_10.hs | YES 52312 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_11.hs | TIMEOUT 60382 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_12.hs | YES 54607 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_1.hs | YES 56037 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_2.hs | YES 41455 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_3.hs | YES 57199 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_4.hs | TIMEOUT 60343 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_5.hs | TIMEOUT 60443 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_6.hs | TIMEOUT 60420 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_7.hs | TIMEOUT 60341 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_8.hs | TIMEOUT 60454 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minusFM_9.hs | YES 50483 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_10.hs | YES 39156 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_11.hs | YES 22668 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_12.hs | YES 57445 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_1.hs | YES 50673 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_2.hs | YES 25937 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_3.hs | YES 22293 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_4.hs | YES 60357 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_5.hs | YES 37134 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_6.hs | TIMEOUT 60450 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_7.hs | TIMEOUT 60454 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_8.hs | YES 21889 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_9.hs | YES 31351 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_10.hs | YES 35237 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_11.hs | YES 47190 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_12.hs | YES 38422 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_1.hs | YES 59746 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_2.hs | YES 49859 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_3.hs | YES 52756 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_4.hs | YES 54882 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_5.hs | YES 41477 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_6.hs | TIMEOUT 60353 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_7.hs | TIMEOUT 60366 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_8.hs | YES 43444 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_9.hs | YES 39771 |
| tpdb-8.0/FP/full_haskell/FiniteMap_sizeFM_1.hs | YES 8343 |
| tpdb-8.0/FP/full_haskell/FiniteMap_unitFM_1.hs | YES 8407 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_10.hs | YES 13073 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_11.hs | YES 12738 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_12.hs | YES 13461 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_1.hs | YES 12581 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_2.hs | YES 8360 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_3.hs | YES 8650 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_4.hs | YES 13825 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_5.hs | YES 9158 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_6.hs | YES 8783 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_7.hs | YES 8631 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_8.hs | YES 35172 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_9.hs | YES 16217 |
| tpdb-8.0/FP/full_haskell/List_delete_10.hs | YES 12017 |
| tpdb-8.0/FP/full_haskell/List_delete_11.hs | YES 11246 |
| tpdb-8.0/FP/full_haskell/List_delete_12.hs | YES 12594 |
| tpdb-8.0/FP/full_haskell/List_delete_1.hs | YES 11964 |
| tpdb-8.0/FP/full_haskell/List_delete_2.hs | YES 8223 |
| tpdb-8.0/FP/full_haskell/List_delete_3.hs | YES 9003 |
| tpdb-8.0/FP/full_haskell/List_delete_4.hs | YES 12048 |
| tpdb-8.0/FP/full_haskell/List_delete_5.hs | YES 8868 |
| tpdb-8.0/FP/full_haskell/List_delete_6.hs | YES 8357 |
| tpdb-8.0/FP/full_haskell/List_delete_7.hs | YES 8497 |
| tpdb-8.0/FP/full_haskell/List_delete_8.hs | YES 17886 |
| tpdb-8.0/FP/full_haskell/List_delete_9.hs | YES 13480 |
| tpdb-8.0/FP/full_haskell/List_deleteBy_1.hs | YES 8294 |
| tpdb-8.0/FP/full_haskell/List_deleteFirstsBy_1.hs | YES 8364 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_10.hs | YES 13315 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_11.hs | YES 14519 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_12.hs | YES 12789 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_1.hs | YES 11949 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_2.hs | YES 8692 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_3.hs | YES 10447 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_4.hs | YES 12569 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_5.hs | YES 10395 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_6.hs | YES 9608 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_7.hs | YES 10622 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_8.hs | YES 13637 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_9.hs | YES 16942 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_10.hs | YES 13403 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_11.hs | YES 11190 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_12.hs | YES 12720 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_1.hs | YES 8932 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_2.hs | YES 12274 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_3.hs | YES 9129 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_4.hs | YES 10805 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_5.hs | YES 10160 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_6.hs | YES 9228 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_7.hs | YES 9871 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_8.hs | YES 13126 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_9.hs | YES 11499 |
| tpdb-8.0/FP/full_haskell/List_find_1.hs | YES 8683 |
| tpdb-8.0/FP/full_haskell/List_findIndex_1.hs | YES 8912 |
| tpdb-8.0/FP/full_haskell/List_findIndices_1.hs | YES 8982 |
| tpdb-8.0/FP/full_haskell/List_genericDrop_1.hs | YES 8731 |
| tpdb-8.0/FP/full_haskell/List_genericIndex_1.hs | YES 8615 |
| tpdb-8.0/FP/full_haskell/List_genericLength_1.hs | TIMEOUT 60331 |
| tpdb-8.0/FP/full_haskell/List_genericLength_2.hs | YES 8458 |
| tpdb-8.0/FP/full_haskell/List_genericLength_3.hs | YES 8835 |
| tpdb-8.0/FP/full_haskell/List_genericLength_4.hs | TIMEOUT 60417 |
| tpdb-8.0/FP/full_haskell/List_genericReplicate_1.hs | YES 8710 |
| tpdb-8.0/FP/full_haskell/List_genericSplitAt_1.hs | YES 9501 |
| tpdb-8.0/FP/full_haskell/List_genericTake_1.hs | YES 8742 |
| tpdb-8.0/FP/full_haskell/List_group_10.hs | YES 18884 |
| tpdb-8.0/FP/full_haskell/List_group_11.hs | YES 18427 |
| tpdb-8.0/FP/full_haskell/List_group_12.hs | YES 18080 |
| tpdb-8.0/FP/full_haskell/List_group_1.hs | YES 18141 |
| tpdb-8.0/FP/full_haskell/List_group_2.hs | YES 8838 |
| tpdb-8.0/FP/full_haskell/List_group_3.hs | YES 11929 |
| tpdb-8.0/FP/full_haskell/List_group_4.hs | YES 16135 |
| tpdb-8.0/FP/full_haskell/List_group_5.hs | YES 16885 |
| tpdb-8.0/FP/full_haskell/List_group_6.hs | YES 9320 |
| tpdb-8.0/FP/full_haskell/List_group_7.hs | YES 9953 |
| tpdb-8.0/FP/full_haskell/List_group_8.hs | TIMEOUT 60375 |
| tpdb-8.0/FP/full_haskell/List_group_9.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/List_groupBy_1.hs | MAYBE 8910 |
| tpdb-8.0/FP/full_haskell/List_inits_1.hs | YES 8602 |
| tpdb-8.0/FP/full_haskell/List_insert_10.hs | YES 17017 |
| tpdb-8.0/FP/full_haskell/List_insert_11.hs | YES 8509 |
| tpdb-8.0/FP/full_haskell/List_insert_12.hs | YES 19637 |
| tpdb-8.0/FP/full_haskell/List_insert_1.hs | YES 25901 |
| tpdb-8.0/FP/full_haskell/List_insert_2.hs | YES 8243 |
| tpdb-8.0/FP/full_haskell/List_insert_3.hs | YES 8849 |
| tpdb-8.0/FP/full_haskell/List_insert_4.hs | YES 17444 |
| tpdb-8.0/FP/full_haskell/List_insert_5.hs | YES 8982 |
| tpdb-8.0/FP/full_haskell/List_insert_6.hs | YES 21084 |
| tpdb-8.0/FP/full_haskell/List_insert_7.hs | YES 22832 |
| tpdb-8.0/FP/full_haskell/List_insert_8.hs | YES 8635 |
| tpdb-8.0/FP/full_haskell/List_insert_9.hs | YES 19487 |
| tpdb-8.0/FP/full_haskell/List_insertBy_1.hs | YES 8381 |
| tpdb-8.0/FP/full_haskell/List_intersect_10.hs | YES 12406 |
| tpdb-8.0/FP/full_haskell/List_intersect_11.hs | YES 11226 |
| tpdb-8.0/FP/full_haskell/List_intersect_12.hs | YES 12275 |
| tpdb-8.0/FP/full_haskell/List_intersect_1.hs | YES 11603 |
| tpdb-8.0/FP/full_haskell/List_intersect_2.hs | YES 8770 |
| tpdb-8.0/FP/full_haskell/List_intersect_3.hs | YES 8971 |
| tpdb-8.0/FP/full_haskell/List_intersect_4.hs | YES 12456 |
| tpdb-8.0/FP/full_haskell/List_intersect_5.hs | YES 9213 |
| tpdb-8.0/FP/full_haskell/List_intersect_6.hs | YES 8783 |
| tpdb-8.0/FP/full_haskell/List_intersect_7.hs | YES 8734 |
| tpdb-8.0/FP/full_haskell/List_intersect_8.hs | MAYBE 21943 |
| tpdb-8.0/FP/full_haskell/List_intersect_9.hs | YES 12608 |
| tpdb-8.0/FP/full_haskell/List_intersectBy_1.hs | YES 8915 |
| tpdb-8.0/FP/full_haskell/List_intersperse_1.hs | YES 8199 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_10.hs | YES 9814 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_11.hs | YES 9809 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_12.hs | YES 9575 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_1.hs | YES 9174 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_2.hs | YES 8209 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_3.hs | YES 8281 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_4.hs | YES 9613 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_5.hs | YES 8661 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_6.hs | YES 8609 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_7.hs | YES 8184 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_8.hs | YES 8595 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_9.hs | YES 8607 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_10.hs | YES 9725 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_11.hs | YES 9932 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_12.hs | YES 9727 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_1.hs | YES 8770 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_2.hs | YES 9896 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_3.hs | YES 8837 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_4.hs | YES 9744 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_5.hs | YES 8982 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_6.hs | YES 8852 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_7.hs | YES 9291 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_8.hs | YES 9169 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_9.hs | YES 10177 |
| tpdb-8.0/FP/full_haskell/List_mapAccumL_1.hs | YES 9007 |
| tpdb-8.0/FP/full_haskell/List_mapAccumR_1.hs | YES 8653 |
| tpdb-8.0/FP/full_haskell/List_maximumBy_1.hs | YES 8542 |
| tpdb-8.0/FP/full_haskell/List_minimumBy_1.hs | YES 8742 |
| tpdb-8.0/FP/full_haskell/List_nub_10.hs | YES 13188 |
| tpdb-8.0/FP/full_haskell/List_nub_11.hs | YES 13594 |
| tpdb-8.0/FP/full_haskell/List_nub_12.hs | YES 12187 |
| tpdb-8.0/FP/full_haskell/List_nub_1.hs | YES 8738 |
| tpdb-8.0/FP/full_haskell/List_nub_2.hs | YES 12540 |
| tpdb-8.0/FP/full_haskell/List_nub_3.hs | YES 53306 |
| tpdb-8.0/FP/full_haskell/List_nub_4.hs | YES 12296 |
| tpdb-8.0/FP/full_haskell/List_nub_5.hs | YES 29907 |
| tpdb-8.0/FP/full_haskell/List_nub_6.hs | YES 8511 |
| tpdb-8.0/FP/full_haskell/List_nub_7.hs | YES 9914 |
| tpdb-8.0/FP/full_haskell/List_nub_8.hs | TIMEOUT 60336 |
| tpdb-8.0/FP/full_haskell/List_nub_9.hs | TIMEOUT 60456 |
| tpdb-8.0/FP/full_haskell/List_nubBy_1.hs | YES 9019 |
| tpdb-8.0/FP/full_haskell/List_partition_1.hs | YES 8325 |
| tpdb-8.0/FP/full_haskell/List_sort_10.hs | YES 35282 |
| tpdb-8.0/FP/full_haskell/List_sort_11.hs | YES 9778 |
| tpdb-8.0/FP/full_haskell/List_sort_12.hs | YES 34787 |
| tpdb-8.0/FP/full_haskell/List_sort_1.hs | YES 9845 |
| tpdb-8.0/FP/full_haskell/List_sort_2.hs | YES 38314 |
| tpdb-8.0/FP/full_haskell/List_sort_3.hs | YES 10287 |
| tpdb-8.0/FP/full_haskell/List_sort_4.hs | YES 38265 |
| tpdb-8.0/FP/full_haskell/List_sort_5.hs | YES 10749 |
| tpdb-8.0/FP/full_haskell/List_sort_6.hs | YES 15117 |
| tpdb-8.0/FP/full_haskell/List_sort_7.hs | YES 16003 |
| tpdb-8.0/FP/full_haskell/List_sort_8.hs | YES 10046 |
| tpdb-8.0/FP/full_haskell/List_sort_9.hs | YES 36246 |
| tpdb-8.0/FP/full_haskell/List_sortBy_1.hs | YES 9443 |
| tpdb-8.0/FP/full_haskell/List_tails_1.hs | YES 8150 |
| tpdb-8.0/FP/full_haskell/List_transpose_1.hs | YES 8933 |
| tpdb-8.0/FP/full_haskell/List_unfoldr_1.hs | MAYBE 8434 |
| tpdb-8.0/FP/full_haskell/List_union_10.hs | YES 15280 |
| tpdb-8.0/FP/full_haskell/List_union_11.hs | YES 14651 |
| tpdb-8.0/FP/full_haskell/List_union_12.hs | YES 15793 |
| tpdb-8.0/FP/full_haskell/List_union_1.hs | YES 16133 |
| tpdb-8.0/FP/full_haskell/List_union_2.hs | YES 9294 |
| tpdb-8.0/FP/full_haskell/List_union_3.hs | YES 11176 |
| tpdb-8.0/FP/full_haskell/List_union_4.hs | YES 15091 |
| tpdb-8.0/FP/full_haskell/List_union_5.hs | YES 19846 |
| tpdb-8.0/FP/full_haskell/List_union_6.hs | YES 11596 |
| tpdb-8.0/FP/full_haskell/List_union_7.hs | YES 12794 |
| tpdb-8.0/FP/full_haskell/List_union_8.hs | YES 16933 |
| tpdb-8.0/FP/full_haskell/List_union_9.hs | YES 59679 |
| tpdb-8.0/FP/full_haskell/List_unionBy_1.hs | YES 8932 |
| tpdb-8.0/FP/full_haskell/Maybe_catMaybes_1.hs | YES 6808 |
| tpdb-8.0/FP/full_haskell/Maybe_fromJust_1.hs | YES 6320 |
| tpdb-8.0/FP/full_haskell/Maybe_fromMaybe_1.hs | YES 6676 |
| tpdb-8.0/FP/full_haskell/Maybe_isJust_1.hs | YES 6264 |
| tpdb-8.0/FP/full_haskell/Maybe_isNothing_1.hs | YES 6478 |
| tpdb-8.0/FP/full_haskell/Maybe_listToMaybe_1.hs | YES 6397 |
| tpdb-8.0/FP/full_haskell/Maybe_mapMaybe_1.hs | YES 6818 |
| tpdb-8.0/FP/full_haskell/Maybe_maybe_1.hs | YES 6284 |
| tpdb-8.0/FP/full_haskell/Maybe_maybeToList_1.hs | YES 6286 |
| tpdb-8.0/FP/full_haskell/Monad_ap_1.hs | YES 7361 |
| tpdb-8.0/FP/full_haskell/Monad_ap_2.hs | YES 7485 |
| tpdb-8.0/FP/full_haskell/Monad_ap_3.hs | YES 7233 |
| tpdb-8.0/FP/full_haskell/Monad_ap_4.hs | YES 7152 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_1.hs | MAYBE 8223 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_2.hs | MAYBE 8207 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_3.hs | YES 7336 |
| tpdb-8.0/FP/full_haskell/Monad_filterM_4.hs | YES 7386 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__1.hs | MAYBE 7874 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_1.hs | MAYBE 7447 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__2.hs | MAYBE 8158 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_2.hs | MAYBE 7536 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__3.hs | YES 7274 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_3.hs | YES 7419 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__4.hs | YES 7290 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_4.hs | YES 7128 |
| tpdb-8.0/FP/full_haskell/Monad_guard_1.hs | YES 6924 |
| tpdb-8.0/FP/full_haskell/Monad_guard_2.hs | YES 6886 |
| tpdb-8.0/FP/full_haskell/Monad_guard_3.hs | YES 6908 |
| tpdb-8.0/FP/full_haskell/Monad_join_1.hs | YES 7278 |
| tpdb-8.0/FP/full_haskell/Monad_join_2.hs | YES 7019 |
| tpdb-8.0/FP/full_haskell/Monad_join_3.hs | YES 6960 |
| tpdb-8.0/FP/full_haskell/Monad_join_4.hs | YES 6977 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_1.hs | YES 7261 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_1.hs | YES 7222 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_2.hs | YES 7352 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_3.hs | YES 7047 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_4.hs | YES 7040 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_2.hs | YES 7214 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_1.hs | YES 7310 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_2.hs | YES 7278 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_3.hs | YES 7038 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_4.hs | YES 7080 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_3.hs | YES 7151 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_1.hs | YES 7394 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_2.hs | YES 7347 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_3.hs | YES 7107 |
| tpdb-8.0/FP/full_haskell/Monad_liftM4_4.hs | YES 7145 |
| tpdb-8.0/FP/full_haskell/Monad_liftM_4.hs | YES 7345 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_1.hs | YES 7589 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_2.hs | YES 7360 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_3.hs | YES 7089 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_4.hs | YES 7659 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_1.hs | MAYBE 46245 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_2.hs | MAYBE 8812 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_3.hs | MAYBE 31849 |
| tpdb-8.0/FP/full_haskell/Monad_mapAndUnzipM_4.hs | YES 7618 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_1.hs | YES 7081 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_2.hs | YES 7090 |
| tpdb-8.0/FP/full_haskell/Monad_mplus_3.hs | YES 6895 |
| tpdb-8.0/FP/full_haskell/Monad_msum_1.hs | YES 7070 |
| tpdb-8.0/FP/full_haskell/Monad_msum_2.hs | YES 7225 |
| tpdb-8.0/FP/full_haskell/Monad_msum_3.hs | YES 7113 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_1.hs | YES 7116 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_2.hs | YES 6905 |
| tpdb-8.0/FP/full_haskell/Monad_mzero_3.hs | YES 6971 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__1.hs | YES 8185 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_1.hs | YES 8149 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__2.hs | YES 7871 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_2.hs | YES 7914 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__3.hs | YES 7683 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_3.hs | YES 7682 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__4.hs | YES 7805 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_4.hs | YES 8026 |
| tpdb-8.0/FP/full_haskell/Monad_unless_1.hs | YES 7010 |
| tpdb-8.0/FP/full_haskell/Monad_unless_2.hs | YES 7060 |
| tpdb-8.0/FP/full_haskell/Monad_unless_3.hs | YES 6978 |
| tpdb-8.0/FP/full_haskell/Monad_unless_4.hs | YES 7091 |
| tpdb-8.0/FP/full_haskell/Monad_when_1.hs | YES 7078 |
| tpdb-8.0/FP/full_haskell/Monad_when_2.hs | YES 7033 |
| tpdb-8.0/FP/full_haskell/Monad_when_3.hs | YES 6995 |
| tpdb-8.0/FP/full_haskell/Monad_when_4.hs | YES 7050 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__1.hs | YES 7335 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_1.hs | MAYBE 8319 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__2.hs | YES 7376 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_2.hs | MAYBE 8006 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__3.hs | YES 7220 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_3.hs | YES 7272 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM__4.hs | YES 7297 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_4.hs | YES 7675 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_1.hs | YES 6389 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_2.hs | YES 8290 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_3.hs | YES 7552 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_4.hs | YES 6460 |
| tpdb-8.0/FP/full_haskell/Prelude_acos_1.hs | YES 6225 |
| tpdb-8.0/FP/full_haskell/Prelude_acosh_1.hs | YES 6573 |
| tpdb-8.0/FP/full_haskell/Prelude_all_1.hs | YES 6266 |
| tpdb-8.0/FP/full_haskell/Prelude_AMPAMP_1.hs | YES 6153 |
| tpdb-8.0/FP/full_haskell/Prelude_and_1.hs | YES 6225 |
| tpdb-8.0/FP/full_haskell/Prelude_any_1.hs | YES 6294 |
| tpdb-8.0/FP/full_haskell/Prelude_appendFile_1.hs | YES 6516 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_1.hs | TIMEOUT 60470 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_2.hs | TIMEOUT 60388 |
| tpdb-8.0/FP/full_haskell/Prelude_approxRational_3.hs | TIMEOUT 60427 |
| tpdb-8.0/FP/full_haskell/Prelude_asin_1.hs | YES 6194 |
| tpdb-8.0/FP/full_haskell/Prelude_asinh_1.hs | YES 6539 |
| tpdb-8.0/FP/full_haskell/Prelude_asTypeOf_1.hs | YES 6317 |
| tpdb-8.0/FP/full_haskell/Prelude_atan_1.hs | YES 6081 |
| tpdb-8.0/FP/full_haskell/Prelude_atan2_1.hs | TIMEOUT 60429 |
| tpdb-8.0/FP/full_haskell/Prelude_atanh_1.hs | YES 7039 |
| tpdb-8.0/FP/full_haskell/Prelude_BANGBANG_1.hs | YES 6658 |
| tpdb-8.0/FP/full_haskell/Prelude_BARBAR_1.hs | YES 6088 |
| tpdb-8.0/FP/full_haskell/Prelude_basicIORun_1.hs | MAYBE 7343 |
| tpdb-8.0/FP/full_haskell/Prelude_blockIO_1.hs | NO 7007 |
| tpdb-8.0/FP/full_haskell/Prelude_break_1.hs | YES 6680 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_1.hs | TIMEOUT 60431 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_2.hs | TIMEOUT 60335 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_3.hs | MAYBE 10852 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_4.hs | TIMEOUT 60356 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_1.hs | TIMEOUT 60413 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_2.hs | MAYBE 11548 |
| tpdb-8.0/FP/full_haskell/Prelude_CARETCARET_3.hs | TIMEOUT 60397 |
| tpdb-8.0/FP/full_haskell/Prelude_catch_1.hs | YES 6114 |
| tpdb-8.0/FP/full_haskell/Prelude_catchHugsException_1.hs | NO 7014 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_1.hs | YES 14352 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_2.hs | YES 17004 |
| tpdb-8.0/FP/full_haskell/Prelude_ceiling_3.hs | YES 13201 |
| tpdb-8.0/FP/full_haskell/Prelude_chr_1.hs | YES 6242 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_10.hs | YES 15329 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_11.hs | YES 6446 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_12.hs | YES 15751 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_1.hs | YES 18463 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_2.hs | YES 6234 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_3.hs | YES 6247 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_4.hs | YES 18252 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_5.hs | YES 6385 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_6.hs | YES 6828 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_7.hs | YES 6549 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_8.hs | YES 6309 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_9.hs | YES 14945 |
| tpdb-8.0/FP/full_haskell/Prelude_concat_1.hs | YES 6378 |
| tpdb-8.0/FP/full_haskell/Prelude_concatMap_1.hs | YES 6372 |
| tpdb-8.0/FP/full_haskell/Prelude_const_1.hs | YES 6142 |
| tpdb-8.0/FP/full_haskell/Prelude_cos_1.hs | YES 6118 |
| tpdb-8.0/FP/full_haskell/Prelude_cosh_1.hs | YES 6767 |
| tpdb-8.0/FP/full_haskell/Prelude_curry_1.hs | YES 6170 |
| tpdb-8.0/FP/full_haskell/Prelude_cycle_1.hs | MAYBE 6534 |
| tpdb-8.0/FP/full_haskell/Prelude_decodeFloat_1.hs | YES 6224 |
| tpdb-8.0/FP/full_haskell/Prelude_denominator_1.hs | YES 6137 |
| tpdb-8.0/FP/full_haskell/Prelude_digitToInt_1.hs | YES 8660 |
| tpdb-8.0/FP/full_haskell/Prelude_div_1.hs | YES 7060 |
| tpdb-8.0/FP/full_haskell/Prelude_divMod_1.hs | YES 14142 |
| tpdb-8.0/FP/full_haskell/Prelude_DOLLAR_1.hs | YES 6435 |
| tpdb-8.0/FP/full_haskell/Prelude_DOLLARBANG_1.hs | YES 6155 |
| tpdb-8.0/FP/full_haskell/Prelude_DOT_1.hs | YES 6100 |
| tpdb-8.0/FP/full_haskell/Prelude_drop_1.hs | YES 6851 |
| tpdb-8.0/FP/full_haskell/Prelude_dropWhile_1.hs | YES 6332 |
| tpdb-8.0/FP/full_haskell/Prelude_either_1.hs | YES 6167 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_10.hs | YES 7977 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_11.hs | YES 8185 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_12.hs | YES 8005 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_1.hs | YES 7453 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_2.hs | YES 6430 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_3.hs | YES 6869 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_4.hs | YES 7873 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_5.hs | YES 6402 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_6.hs | YES 6343 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_7.hs | YES 6428 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_8.hs | YES 6709 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_9.hs | YES 6476 |
| tpdb-8.0/FP/full_haskell/Prelude_encodeFloat_1.hs | YES 6971 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_1.hs | MAYBE 28611 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_2.hs | YES 6160 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_3.hs | YES 19761 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_4.hs | MAYBE 6936 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_5.hs | MAYBE 7675 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_6.hs | MAYBE 41768 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_7.hs | YES 6528 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_8.hs | YES 6835 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_1.hs | TIMEOUT 60400 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_2.hs | MAYBE 8396 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_3.hs | TIMEOUT 60398 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_4.hs | MAYBE 7262 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_5.hs | MAYBE 15774 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_6.hs | MAYBE 49536 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_7.hs | MAYBE 7690 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThen_8.hs | MAYBE 8834 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_1.hs | TIMEOUT 60331 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_2.hs | MAYBE 7179 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_3.hs | TIMEOUT 60350 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_4.hs | MAYBE 15046 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_5.hs | TIMEOUT 60491 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_6.hs | TIMEOUT 60359 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_7.hs | MAYBE 8209 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_8.hs | MAYBE 15910 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_1.hs | TIMEOUT 60266 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_2.hs | YES 6553 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_3.hs | YES 27444 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_4.hs | YES 21406 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_5.hs | MAYBE 46414 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_6.hs | TIMEOUT 60312 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_7.hs | YES 6788 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_8.hs | YES 7439 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_10.hs | YES 8066 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_11.hs | YES 8271 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_12.hs | YES 7866 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_1.hs | YES 7686 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_2.hs | YES 6166 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_3.hs | YES 6530 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_4.hs | YES 7873 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_5.hs | YES 6343 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_6.hs | YES 6228 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_7.hs | YES 6221 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_8.hs | YES 6669 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_9.hs | YES 6559 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_1.hs | YES 6285 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_2.hs | YES 6539 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_3.hs | YES 6377 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_4.hs | YES 6171 |
| tpdb-8.0/FP/full_haskell/Prelude_error_1.hs | YES 6214 |
| tpdb-8.0/FP/full_haskell/Prelude_even_1.hs | YES 6292 |
| tpdb-8.0/FP/full_haskell/Prelude_exp_1.hs | YES 6134 |
| tpdb-8.0/FP/full_haskell/Prelude_exponent_1.hs | YES 7092 |
| tpdb-8.0/FP/full_haskell/Prelude_fail___1.hs | YES 6130 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_1.hs | YES 6128 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_2.hs | YES 6107 |
| tpdb-8.0/FP/full_haskell/Prelude_fail_3.hs | YES 6340 |
| tpdb-8.0/FP/full_haskell/Prelude_filter_1.hs | YES 6792 |
| tpdb-8.0/FP/full_haskell/Prelude_flip_1.hs | YES 6165 |
| tpdb-8.0/FP/full_haskell/Prelude_floatDigits_1.hs | YES 6269 |
| tpdb-8.0/FP/full_haskell/Prelude_floatRadix_1.hs | YES 6227 |
| tpdb-8.0/FP/full_haskell/Prelude_floatRange_1.hs | YES 6379 |
| tpdb-8.0/FP/full_haskell/Prelude_floor__1.hs | YES 13787 |
| tpdb-8.0/FP/full_haskell/Prelude_floor_1.hs | MAYBE 16308 |
| tpdb-8.0/FP/full_haskell/Prelude_floor_2.hs | YES 12722 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_1.hs | YES 6518 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_2.hs | YES 6280 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_3.hs | YES 6166 |
| tpdb-8.0/FP/full_haskell/Prelude_fmap_4.hs | YES 6195 |
| tpdb-8.0/FP/full_haskell/Prelude_foldl1_1.hs | YES 6302 |
| tpdb-8.0/FP/full_haskell/Prelude_foldl_1.hs | YES 6311 |
| tpdb-8.0/FP/full_haskell/Prelude_foldr1_1.hs | YES 6237 |
| tpdb-8.0/FP/full_haskell/Prelude_foldr_1.hs | YES 6289 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_1.hs | TIMEOUT 60447 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_2.hs | YES 6100 |
| tpdb-8.0/FP/full_haskell/Prelude_fromDouble_3.hs | YES 11923 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_1.hs | YES 7720 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_2.hs | YES 6419 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_3.hs | YES 6196 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_4.hs | YES 6167 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_5.hs | YES 7546 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_6.hs | YES 7618 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_7.hs | YES 6256 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_8.hs | YES 6353 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_1.hs | YES 6246 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_2.hs | YES 6359 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_3.hs | YES 6342 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInt_4.hs | YES 6317 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_1.hs | YES 6463 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_2.hs | YES 6268 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_3.hs | YES 6211 |
| tpdb-8.0/FP/full_haskell/Prelude_fromInteger_4.hs | YES 6271 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_1.hs | YES 6368 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_2.hs | YES 6204 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_3.hs | YES 6399 |
| tpdb-8.0/FP/full_haskell/Prelude_fromIntegral_4.hs | YES 6283 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_1.hs | YES 6436 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_2.hs | YES 6173 |
| tpdb-8.0/FP/full_haskell/Prelude_fromRational_3.hs | YES 6106 |
| tpdb-8.0/FP/full_haskell/Prelude_fst_1.hs | YES 6072 |
| tpdb-8.0/FP/full_haskell/Prelude_gcd_1.hs | YES 34222 |
| tpdb-8.0/FP/full_haskell/Prelude_getChar_1.hs | YES 6050 |
| tpdb-8.0/FP/full_haskell/Prelude_getContents_1.hs | MAYBE 6687 |
| tpdb-8.0/FP/full_haskell/Prelude_getLine_1.hs | MAYBE 9132 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_10.hs | YES 14577 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_11.hs | YES 6343 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_12.hs | YES 15584 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_1.hs | YES 17937 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_2.hs | YES 6217 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_3.hs | YES 6481 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_4.hs | YES 18654 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_5.hs | YES 6426 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_6.hs | YES 6836 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_7.hs | YES 6870 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_8.hs | YES 6314 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_9.hs | YES 14550 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_10.hs | YES 14893 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_11.hs | YES 6527 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_12.hs | YES 15643 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_1.hs | YES 19006 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_2.hs | YES 6237 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_3.hs | YES 6505 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_4.hs | YES 18740 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_5.hs | YES 6412 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_6.hs | YES 7002 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_7.hs | YES 6798 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_8.hs | YES 6309 |
| tpdb-8.0/FP/full_haskell/Prelude_GTEQ_9.hs | YES 14877 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT___1.hs | YES 6547 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_1.hs | YES 6517 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_2.hs | YES 6350 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_3.hs | YES 6379 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ__1.hs | YES 6549 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_1.hs | YES 6369 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_2.hs | YES 6214 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_3.hs | YES 6169 |
| tpdb-8.0/FP/full_haskell/Prelude_head_1.hs | YES 6094 |
| tpdb-8.0/FP/full_haskell/Prelude_id_1.hs | YES 6147 |
| tpdb-8.0/FP/full_haskell/Prelude_index_1.hs | TIMEOUT 60386 |
| tpdb-8.0/FP/full_haskell/Prelude_index_2.hs | YES 6229 |
| tpdb-8.0/FP/full_haskell/Prelude_index_3.hs | YES 7427 |
| tpdb-8.0/FP/full_haskell/Prelude_index_4.hs | YES 8428 |
| tpdb-8.0/FP/full_haskell/Prelude_index_5.hs | YES 8917 |
| tpdb-8.0/FP/full_haskell/Prelude_init_1.hs | YES 6144 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_1.hs | YES 7092 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_2.hs | YES 6250 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_3.hs | YES 6561 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_4.hs | YES 6584 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_5.hs | YES 6653 |
| tpdb-8.0/FP/full_haskell/Prelude_interact_1.hs | MAYBE 7040 |
| tpdb-8.0/FP/full_haskell/Prelude_intToDigit_1.hs | YES 7566 |
| tpdb-8.0/FP/full_haskell/Prelude_ioError_1.hs | YES 6183 |
| tpdb-8.0/FP/full_haskell/Prelude_isAlpha_1.hs | TIMEOUT 60401 |
| tpdb-8.0/FP/full_haskell/Prelude_isAlphaNum_1.hs | TIMEOUT 60326 |
| tpdb-8.0/FP/full_haskell/Prelude_isAscii_1.hs | YES 6566 |
| tpdb-8.0/FP/full_haskell/Prelude_isControl_1.hs | YES 7384 |
| tpdb-8.0/FP/full_haskell/Prelude_isDenormalized_1.hs | YES 6346 |
| tpdb-8.0/FP/full_haskell/Prelude_isDigit_1.hs | YES 6662 |
| tpdb-8.0/FP/full_haskell/Prelude_isHexDigit_1.hs | YES 8276 |
| tpdb-8.0/FP/full_haskell/Prelude_isIEEE_1.hs | YES 6135 |
| tpdb-8.0/FP/full_haskell/Prelude_isInfinite_1.hs | YES 6170 |
| tpdb-8.0/FP/full_haskell/Prelude_isLatin1_1.hs | YES 6555 |
| tpdb-8.0/FP/full_haskell/Prelude_isLower_1.hs | YES 20070 |
| tpdb-8.0/FP/full_haskell/Prelude_isNaN_1.hs | YES 6174 |
| tpdb-8.0/FP/full_haskell/Prelude_isNegativeZero_1.hs | YES 6173 |
| tpdb-8.0/FP/full_haskell/Prelude_isOctDigit_1.hs | YES 6674 |
| tpdb-8.0/FP/full_haskell/Prelude_isPrint_1.hs | YES 8148 |
| tpdb-8.0/FP/full_haskell/Prelude_isSpace_1.hs | YES 8324 |
| tpdb-8.0/FP/full_haskell/Prelude_isUpper_1.hs | YES 17239 |
| tpdb-8.0/FP/full_haskell/Prelude_iterate_1.hs | MAYBE 6489 |
| tpdb-8.0/FP/full_haskell/Prelude_last_1.hs | YES 6211 |
| tpdb-8.0/FP/full_haskell/Prelude_lcm_1.hs | TIMEOUT 60374 |
| tpdb-8.0/FP/full_haskell/Prelude_length_1.hs | YES 6711 |
| tpdb-8.0/FP/full_haskell/Prelude_lex_1.hs | TIMEOUT 60365 |
| tpdb-8.0/FP/full_haskell/Prelude_lexDigits_1.hs | YES 9665 |
| tpdb-8.0/FP/full_haskell/Prelude_lexLitChar_1.hs | TIMEOUT 60322 |
| tpdb-8.0/FP/full_haskell/Prelude_lines_1.hs | YES 25520 |
| tpdb-8.0/FP/full_haskell/Prelude_log_1.hs | YES 6120 |
| tpdb-8.0/FP/full_haskell/Prelude_logBase_1.hs | YES 6445 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_10.hs | YES 10233 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_11.hs | YES 9936 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_12.hs | YES 10238 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_1.hs | YES 10182 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_2.hs | YES 6406 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_3.hs | YES 6804 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_4.hs | YES 11021 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_5.hs | YES 7082 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_6.hs | YES 6374 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_7.hs | YES 6412 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_8.hs | YES 33296 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_9.hs | YES 14039 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_10.hs | YES 15710 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_11.hs | YES 6468 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_12.hs | YES 15722 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_1.hs | YES 18871 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_2.hs | YES 6264 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_3.hs | YES 6566 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_4.hs | YES 18556 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_5.hs | YES 6449 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_6.hs | YES 6928 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_7.hs | YES 6650 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_8.hs | YES 6263 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_9.hs | YES 15452 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_10.hs | YES 15224 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_11.hs | YES 6274 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_12.hs | YES 11555 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_1.hs | YES 15505 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_2.hs | YES 6475 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_3.hs | YES 6534 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_4.hs | YES 18008 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_5.hs | YES 6255 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_6.hs | YES 6988 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_7.hs | YES 6732 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_8.hs | YES 6209 |
| tpdb-8.0/FP/full_haskell/Prelude_LTEQ_9.hs | YES 14804 |
| tpdb-8.0/FP/full_haskell/Prelude_map_1.hs | YES 6433 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__1.hs | YES 6767 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_1.hs | MAYBE 7423 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__2.hs | YES 6510 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_2.hs | MAYBE 7357 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__3.hs | YES 6702 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_3.hs | YES 6710 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__4.hs | YES 6595 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_4.hs | YES 6537 |
| tpdb-8.0/FP/full_haskell/Prelude_max_10.hs | YES 6231 |
| tpdb-8.0/FP/full_haskell/Prelude_max_11.hs | YES 13749 |
| tpdb-8.0/FP/full_haskell/Prelude_max_12.hs | YES 14258 |
| tpdb-8.0/FP/full_haskell/Prelude_max_1.hs | YES 6542 |
| tpdb-8.0/FP/full_haskell/Prelude_max_2.hs | YES 16739 |
| tpdb-8.0/FP/full_haskell/Prelude_max_3.hs | YES 6704 |
| tpdb-8.0/FP/full_haskell/Prelude_max_4.hs | YES 12737 |
| tpdb-8.0/FP/full_haskell/Prelude_max_5.hs | YES 6926 |
| tpdb-8.0/FP/full_haskell/Prelude_max_6.hs | YES 14371 |
| tpdb-8.0/FP/full_haskell/Prelude_max_7.hs | YES 14122 |
| tpdb-8.0/FP/full_haskell/Prelude_max_8.hs | YES 6377 |
| tpdb-8.0/FP/full_haskell/Prelude_max_9.hs | YES 13516 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_1.hs | MAYBE 6583 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_2.hs | YES 6111 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_3.hs | YES 6273 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_4.hs | NO 6608 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_5.hs | YES 6117 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_6.hs | YES 6053 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_10.hs | YES 17042 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_11.hs | YES 6473 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_12.hs | YES 20099 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_1.hs | YES 24260 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_2.hs | YES 6513 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_3.hs | YES 6833 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_4.hs | YES 15057 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_5.hs | YES 7087 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_6.hs | YES 30649 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_7.hs | YES 30948 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_8.hs | YES 6484 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_9.hs | YES 17304 |
| tpdb-8.0/FP/full_haskell/Prelude_maybe_1.hs | YES 6296 |
| tpdb-8.0/FP/full_haskell/Prelude_min_10.hs | YES 15184 |
| tpdb-8.0/FP/full_haskell/Prelude_min_11.hs | YES 13788 |
| tpdb-8.0/FP/full_haskell/Prelude_min_12.hs | YES 14423 |
| tpdb-8.0/FP/full_haskell/Prelude_min_1.hs | YES 16789 |
| tpdb-8.0/FP/full_haskell/Prelude_min_2.hs | YES 6260 |
| tpdb-8.0/FP/full_haskell/Prelude_min_3.hs | YES 6646 |
| tpdb-8.0/FP/full_haskell/Prelude_min_4.hs | YES 12805 |
| tpdb-8.0/FP/full_haskell/Prelude_min_5.hs | YES 7026 |
| tpdb-8.0/FP/full_haskell/Prelude_min_6.hs | YES 13760 |
| tpdb-8.0/FP/full_haskell/Prelude_min_7.hs | YES 14194 |
| tpdb-8.0/FP/full_haskell/Prelude_min_8.hs | YES 6238 |
| tpdb-8.0/FP/full_haskell/Prelude_min_9.hs | YES 6186 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_1.hs | MAYBE 6634 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_2.hs | YES 6116 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_3.hs | YES 6230 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_4.hs | NO 6416 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_5.hs | YES 6159 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_6.hs | YES 6134 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_10.hs | YES 17016 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_11.hs | YES 6397 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_12.hs | YES 13052 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_1.hs | YES 15135 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_2.hs | YES 6685 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_3.hs | YES 6868 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_4.hs | YES 14712 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_5.hs | YES 7087 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_6.hs | YES 31670 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_7.hs | YES 29973 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_8.hs | YES 6398 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_9.hs | YES 16873 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_1.hs | TIMEOUT 60466 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_2.hs | YES 6371 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_3.hs | YES 6331 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_4.hs | TIMEOUT 60387 |
| tpdb-8.0/FP/full_haskell/Prelude_mod_1.hs | YES 7394 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_1.hs | YES 6224 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_2.hs | YES 6222 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_3.hs | YES 6364 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_4.hs | YES 6020 |
| tpdb-8.0/FP/full_haskell/Prelude_not_1.hs | YES 6131 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_10.hs | YES 7838 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_11.hs | YES 7873 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_12.hs | YES 8112 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_1.hs | YES 7511 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_2.hs | YES 6402 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_3.hs | YES 6323 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_4.hs | YES 8020 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_5.hs | YES 6373 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_6.hs | YES 6341 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_7.hs | YES 6528 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_8.hs | YES 6756 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_9.hs | YES 6467 |
| tpdb-8.0/FP/full_haskell/Prelude_null_1.hs | YES 6049 |
| tpdb-8.0/FP/full_haskell/Prelude_numerator_1.hs | YES 6180 |
| tpdb-8.0/FP/full_haskell/Prelude_odd_1.hs | YES 6540 |
| tpdb-8.0/FP/full_haskell/Prelude_or_1.hs | YES 6278 |
| tpdb-8.0/FP/full_haskell/Prelude_ord_1.hs | YES 6266 |
| tpdb-8.0/FP/full_haskell/Prelude_otherwise_1.hs | YES 6091 |
| tpdb-8.0/FP/full_haskell/Prelude_PERCENT_1.hs | YES 11908 |
| tpdb-8.0/FP/full_haskell/Prelude_pi_1.hs | YES 6604 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_1.hs | TIMEOUT 60381 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_2.hs | YES 6291 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_3.hs | YES 6584 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUS_4.hs | TIMEOUT 60431 |
| tpdb-8.0/FP/full_haskell/Prelude_PLUSPLUS_1.hs | YES 6285 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_1.hs | YES 9390 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_2.hs | YES 6407 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_3.hs | YES 6579 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_4.hs | YES 6172 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_5.hs | YES 8675 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_6.hs | YES 8703 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_7.hs | YES 6414 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_8.hs | YES 6430 |
| tpdb-8.0/FP/full_haskell/Prelude_primExitWith_1.hs | YES 6278 |
| tpdb-8.0/FP/full_haskell/Prelude_primThrowException_1.hs | NO 6489 |
| tpdb-8.0/FP/full_haskell/Prelude_print_10.hs | TIMEOUT 60391 |
| tpdb-8.0/FP/full_haskell/Prelude_print_11.hs | TIMEOUT 60309 |
| tpdb-8.0/FP/full_haskell/Prelude_print_12.hs | YES 9277 |
| tpdb-8.0/FP/full_haskell/Prelude_print_1.hs | TIMEOUT 60429 |
| tpdb-8.0/FP/full_haskell/Prelude_print_2.hs | YES 7228 |
| tpdb-8.0/FP/full_haskell/Prelude_print_3.hs | TIMEOUT 60309 |
| tpdb-8.0/FP/full_haskell/Prelude_print_4.hs | TIMEOUT 60358 |
| tpdb-8.0/FP/full_haskell/Prelude_print_5.hs | MAYBE 21046 |
| tpdb-8.0/FP/full_haskell/Prelude_print_6.hs | YES 7173 |
| tpdb-8.0/FP/full_haskell/Prelude_print_7.hs | MAYBE 26447 |
| tpdb-8.0/FP/full_haskell/Prelude_print_8.hs | YES 16507 |
| tpdb-8.0/FP/full_haskell/Prelude_print_9.hs | TIMEOUT 60326 |
| tpdb-8.0/FP/full_haskell/Prelude_product_1.hs | TIMEOUT 60336 |
| tpdb-8.0/FP/full_haskell/Prelude_product_2.hs | YES 6706 |
| tpdb-8.0/FP/full_haskell/Prelude_product_3.hs | YES 6623 |
| tpdb-8.0/FP/full_haskell/Prelude_product_4.hs | TIMEOUT 60457 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_1.hs | YES 8415 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_2.hs | YES 7260 |
| tpdb-8.0/FP/full_haskell/Prelude_properFraction_3.hs | YES 8124 |
| tpdb-8.0/FP/full_haskell/Prelude_putChar_1.hs | YES 6424 |
| tpdb-8.0/FP/full_haskell/Prelude_putStr_1.hs | YES 6524 |
| tpdb-8.0/FP/full_haskell/Prelude_putStrLn_1.hs | YES 6921 |
| tpdb-8.0/FP/full_haskell/Prelude_quot_1.hs | YES 7191 |
| tpdb-8.0/FP/full_haskell/Prelude_quotRem_1.hs | YES 7639 |
| tpdb-8.0/FP/full_haskell/Prelude_range_1.hs | MAYBE 47600 |
| tpdb-8.0/FP/full_haskell/Prelude_range_2.hs | YES 6221 |
| tpdb-8.0/FP/full_haskell/Prelude_range_3.hs | YES 27399 |
| tpdb-8.0/FP/full_haskell/Prelude_range_4.hs | YES 21258 |
| tpdb-8.0/FP/full_haskell/Prelude_range_5.hs | YES 7671 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_1.hs | TIMEOUT 60438 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_2.hs | YES 6294 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_3.hs | YES 8748 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_4.hs | YES 10512 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_5.hs | YES 9806 |
| tpdb-8.0/FP/full_haskell/Prelude_read_1.hs | TIMEOUT 60375 |
| tpdb-8.0/FP/full_haskell/Prelude_read_2.hs | TIMEOUT 60382 |
| tpdb-8.0/FP/full_haskell/Prelude_read_3.hs | TIMEOUT 60362 |
| tpdb-8.0/FP/full_haskell/Prelude_read_4.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/Prelude_read_5.hs | TIMEOUT 60422 |
| tpdb-8.0/FP/full_haskell/Prelude_read_6.hs | TIMEOUT 60340 |
| tpdb-8.0/FP/full_haskell/Prelude_read_7.hs | TIMEOUT 60339 |
| tpdb-8.0/FP/full_haskell/Prelude_read_8.hs | TIMEOUT 60437 |
| tpdb-8.0/FP/full_haskell/Prelude_readDec_1.hs | YES 11992 |
| tpdb-8.0/FP/full_haskell/Prelude_readFile_1.hs | MAYBE 7257 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_1.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_2.hs | TIMEOUT 60372 |
| tpdb-8.0/FP/full_haskell/Prelude_readFloat_3.hs | TIMEOUT 60410 |
| tpdb-8.0/FP/full_haskell/Prelude_readHex_1.hs | TIMEOUT 60383 |
| tpdb-8.0/FP/full_haskell/Prelude_readInt_1.hs | YES 7468 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_1.hs | TIMEOUT 60351 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_2.hs | TIMEOUT 60374 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_3.hs | TIMEOUT 60315 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_4.hs | TIMEOUT 60316 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_5.hs | TIMEOUT 60373 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_6.hs | TIMEOUT 60349 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_7.hs | TIMEOUT 60299 |
| tpdb-8.0/FP/full_haskell/Prelude_readIO_8.hs | TIMEOUT 60366 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_1.hs | TIMEOUT 60371 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_2.hs | TIMEOUT 60356 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_3.hs | TIMEOUT 60300 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_4.hs | TIMEOUT 60341 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_5.hs | TIMEOUT 60369 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_6.hs | TIMEOUT 60329 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_7.hs | TIMEOUT 60333 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_8.hs | TIMEOUT 60457 |
| tpdb-8.0/FP/full_haskell/Prelude_readLitChar_1.hs | TIMEOUT 60280 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_1.hs | TIMEOUT 60407 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_2.hs | TIMEOUT 60369 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_3.hs | TIMEOUT 60346 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_4.hs | TIMEOUT 60461 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_5.hs | TIMEOUT 60401 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_6.hs | TIMEOUT 60321 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_7.hs | TIMEOUT 60350 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_8.hs | TIMEOUT 60332 |
| tpdb-8.0/FP/full_haskell/Prelude_readOct_1.hs | YES 18705 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_1.hs | TIMEOUT 60323 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_2.hs | TIMEOUT 60324 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_3.hs | TIMEOUT 60375 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_4.hs | TIMEOUT 60382 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_5.hs | TIMEOUT 60350 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_6.hs | TIMEOUT 60322 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_7.hs | TIMEOUT 60328 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_8.hs | TIMEOUT 60382 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_1.hs | TIMEOUT 60347 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_2.hs | TIMEOUT 60331 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_3.hs | TIMEOUT 60352 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_4.hs | TIMEOUT 60361 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_5.hs | TIMEOUT 60303 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_6.hs | TIMEOUT 60374 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_7.hs | TIMEOUT 60339 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_8.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_1.hs | TIMEOUT 60333 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_2.hs | TIMEOUT 60294 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_3.hs | TIMEOUT 60367 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_4.hs | TIMEOUT 60339 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_1.hs | TIMEOUT 60414 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_2.hs | TIMEOUT 60307 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_3.hs | TIMEOUT 60303 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_4.hs | TIMEOUT 60476 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_5.hs | TIMEOUT 60394 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_6.hs | TIMEOUT 60408 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_7.hs | TIMEOUT 60383 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_8.hs | TIMEOUT 60320 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_1.hs | MAYBE 12579 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_2.hs | YES 10288 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_3.hs | YES 15744 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_4.hs | YES 6208 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_5.hs | MAYBE 12480 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_6.hs | YES 11089 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_7.hs | MAYBE 25209 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_8.hs | YES 6275 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_1.hs | YES 6333 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_2.hs | YES 6239 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_3.hs | YES 6155 |
| tpdb-8.0/FP/full_haskell/Prelude_rem_1.hs | YES 7224 |
| tpdb-8.0/FP/full_haskell/Prelude_repeat_1.hs | NO 6456 |
| tpdb-8.0/FP/full_haskell/Prelude_replicate_1.hs | YES 6690 |
| tpdb-8.0/FP/full_haskell/Prelude_return_1.hs | YES 6142 |
| tpdb-8.0/FP/full_haskell/Prelude_return_2.hs | YES 6159 |
| tpdb-8.0/FP/full_haskell/Prelude_return_3.hs | YES 6115 |
| tpdb-8.0/FP/full_haskell/Prelude_return_4.hs | YES 6083 |
| tpdb-8.0/FP/full_haskell/Prelude_reverse_1.hs | YES 6512 |
| tpdb-8.0/FP/full_haskell/Prelude_round_1.hs | TIMEOUT 60333 |
| tpdb-8.0/FP/full_haskell/Prelude_round_2.hs | TIMEOUT 60395 |
| tpdb-8.0/FP/full_haskell/Prelude_round_3.hs | TIMEOUT 60471 |
| tpdb-8.0/FP/full_haskell/Prelude_scaleFloat_1.hs | YES 8829 |
| tpdb-8.0/FP/full_haskell/Prelude_scanl1_1.hs | YES 6725 |
| tpdb-8.0/FP/full_haskell/Prelude_scanl_1.hs | YES 6386 |
| tpdb-8.0/FP/full_haskell/Prelude_scanr1_1.hs | YES 6817 |
| tpdb-8.0/FP/full_haskell/Prelude_scanr_1.hs | YES 6398 |
| tpdb-8.0/FP/full_haskell/Prelude_seq_1.hs | YES 6130 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__1.hs | YES 6510 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_1.hs | YES 6697 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__2.hs | YES 6576 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_2.hs | YES 6656 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__3.hs | YES 6426 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_3.hs | YES 6487 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__4.hs | YES 6346 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence_4.hs | YES 6683 |
| tpdb-8.0/FP/full_haskell/Prelude_show_10.hs | TIMEOUT 60318 |
| tpdb-8.0/FP/full_haskell/Prelude_show_11.hs | TIMEOUT 60336 |
| tpdb-8.0/FP/full_haskell/Prelude_show_12.hs | YES 7359 |
| tpdb-8.0/FP/full_haskell/Prelude_show_1.hs | TIMEOUT 60377 |
| tpdb-8.0/FP/full_haskell/Prelude_show_2.hs | YES 6414 |
| tpdb-8.0/FP/full_haskell/Prelude_show_3.hs | TIMEOUT 60301 |
| tpdb-8.0/FP/full_haskell/Prelude_show_4.hs | TIMEOUT 60371 |
| tpdb-8.0/FP/full_haskell/Prelude_show_5.hs | MAYBE 19818 |
| tpdb-8.0/FP/full_haskell/Prelude_show_6.hs | YES 6307 |
| tpdb-8.0/FP/full_haskell/Prelude_show_7.hs | MAYBE 26381 |
| tpdb-8.0/FP/full_haskell/Prelude_show_8.hs | YES 11708 |
| tpdb-8.0/FP/full_haskell/Prelude_show_9.hs | TIMEOUT 60404 |
| tpdb-8.0/FP/full_haskell/Prelude_showChar_1.hs | YES 6057 |
| tpdb-8.0/FP/full_haskell/Prelude_showInt_1.hs | MAYBE 53906 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_10.hs | TIMEOUT 60333 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_11.hs | TIMEOUT 60424 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_12.hs | YES 10332 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_1.hs | TIMEOUT 60317 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_2.hs | YES 6939 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_3.hs | TIMEOUT 60387 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_4.hs | TIMEOUT 60335 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_5.hs | MAYBE 22027 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_6.hs | YES 6872 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_7.hs | MAYBE 25005 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_8.hs | YES 18915 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_9.hs | TIMEOUT 60427 |
| tpdb-8.0/FP/full_haskell/Prelude_showLitChar_1.hs | TIMEOUT 60297 |
| tpdb-8.0/FP/full_haskell/Prelude_showParen_1.hs | YES 6621 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_10.hs | TIMEOUT 60292 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_11.hs | TIMEOUT 60325 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_12.hs | YES 7477 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_1.hs | YES 6420 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_2.hs | TIMEOUT 60415 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_3.hs | TIMEOUT 60331 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_4.hs | TIMEOUT 60320 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_5.hs | MAYBE 20164 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_6.hs | YES 6276 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_7.hs | MAYBE 23693 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_8.hs | YES 11266 |
| tpdb-8.0/FP/full_haskell/Prelude_shows_9.hs | TIMEOUT 60327 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_1.hs | YES 8521 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_2.hs | YES 6681 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_3.hs | YES 8290 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_4.hs | YES 7990 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_10.hs | TIMEOUT 60314 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_11.hs | TIMEOUT 60302 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_12.hs | YES 7753 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_1.hs | TIMEOUT 60341 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_2.hs | YES 6390 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_3.hs | TIMEOUT 60262 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_4.hs | TIMEOUT 60398 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_5.hs | MAYBE 20015 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_6.hs | YES 6262 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_7.hs | MAYBE 24877 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_8.hs | YES 11843 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_9.hs | TIMEOUT 60304 |
| tpdb-8.0/FP/full_haskell/Prelude_showString_1.hs | YES 6394 |
| tpdb-8.0/FP/full_haskell/Prelude_significand_1.hs | YES 7868 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_1.hs | YES 12793 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_2.hs | YES 6820 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_3.hs | YES 9589 |
| tpdb-8.0/FP/full_haskell/Prelude_signum_4.hs | YES 6814 |
| tpdb-8.0/FP/full_haskell/Prelude_sin_1.hs | YES 6200 |
| tpdb-8.0/FP/full_haskell/Prelude_sinh_1.hs | YES 6998 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_1.hs | TIMEOUT 60358 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_2.hs | YES 6454 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASH_3.hs | YES 18817 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_10.hs | YES 7986 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_11.hs | YES 7896 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_12.hs | YES 8257 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_1.hs | YES 7698 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_2.hs | YES 6257 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_3.hs | YES 6333 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_4.hs | YES 7997 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_5.hs | YES 6403 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_6.hs | YES 6228 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_7.hs | YES 6209 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_8.hs | YES 6635 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_9.hs | YES 6464 |
| tpdb-8.0/FP/full_haskell/Prelude_snd_1.hs | YES 6320 |
| tpdb-8.0/FP/full_haskell/Prelude_span_1.hs | YES 6683 |
| tpdb-8.0/FP/full_haskell/Prelude_splitAt_1.hs | YES 7249 |
| tpdb-8.0/FP/full_haskell/Prelude_sqrt_1.hs | YES 6185 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_1.hs | TIMEOUT 60473 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_2.hs | YES 6316 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_3.hs | YES 6421 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_4.hs | TIMEOUT 60552 |
| tpdb-8.0/FP/full_haskell/Prelude_STARSTAR_1.hs | YES 6615 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_1.hs | TIMEOUT 60497 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_2.hs | YES 6376 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_3.hs | YES 6501 |
| tpdb-8.0/FP/full_haskell/Prelude_subtract_4.hs | TIMEOUT 60491 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_1.hs | YES 6591 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_2.hs | YES 8499 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_3.hs | YES 6339 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_4.hs | YES 6211 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_5.hs | YES 8667 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_6.hs | YES 8626 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_7.hs | YES 6495 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_8.hs | YES 6327 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_1.hs | TIMEOUT 60470 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_2.hs | YES 7372 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_3.hs | YES 6830 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_4.hs | TIMEOUT 60322 |
| tpdb-8.0/FP/full_haskell/Prelude_tail_1.hs | YES 6092 |
| tpdb-8.0/FP/full_haskell/Prelude_take_1.hs | YES 6662 |
| tpdb-8.0/FP/full_haskell/Prelude_takeWhile_1.hs | YES 6265 |
| tpdb-8.0/FP/full_haskell/Prelude_tan_1.hs | YES 6164 |
| tpdb-8.0/FP/full_haskell/Prelude_tanh_1.hs | YES 7275 |
| tpdb-8.0/FP/full_haskell/Prelude_threadToIOResult_1.hs | YES 6126 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_1.hs | YES 6477 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_2.hs | YES 6357 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_3.hs | YES 6184 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_4.hs | YES 6375 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_5.hs | YES 6286 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_6.hs | YES 6325 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_7.hs | YES 6304 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_8.hs | YES 6350 |
| tpdb-8.0/FP/full_haskell/Prelude_toInt_1.hs | YES 6205 |
| tpdb-8.0/FP/full_haskell/Prelude_toInteger_1.hs | YES 6373 |
| tpdb-8.0/FP/full_haskell/Prelude_toLower_1.hs | YES 19580 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_1.hs | MAYBE 11909 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_2.hs | YES 9017 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_3.hs | MAYBE 23545 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_4.hs | YES 6191 |
| tpdb-8.0/FP/full_haskell/Prelude_toUpper_1.hs | TIMEOUT 60293 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_1.hs | YES 7625 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_2.hs | YES 7525 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_3.hs | YES 7575 |
| tpdb-8.0/FP/full_haskell/Prelude_uncurry_1.hs | YES 6130 |
| tpdb-8.0/FP/full_haskell/Prelude_undefined_1.hs | YES 6109 |
| tpdb-8.0/FP/full_haskell/Prelude_unlines_1.hs | YES 6497 |
| tpdb-8.0/FP/full_haskell/Prelude_until_1.hs | MAYBE 6703 |
| tpdb-8.0/FP/full_haskell/Prelude_unwords_1.hs | YES 6384 |
| tpdb-8.0/FP/full_haskell/Prelude_unzip_1.hs | YES 6497 |
| tpdb-8.0/FP/full_haskell/Prelude_unzip3_1.hs | YES 6551 |
| tpdb-8.0/FP/full_haskell/Prelude_userError_1.hs | YES 6031 |
| tpdb-8.0/FP/full_haskell/Prelude_words_1.hs | TIMEOUT 60312 |
| tpdb-8.0/FP/full_haskell/Prelude_writeFile_1.hs | YES 6614 |
| tpdb-8.0/FP/full_haskell/Prelude_zip_1.hs | YES 6551 |
| tpdb-8.0/FP/full_haskell/Prelude_zip3_1.hs | YES 6334 |
| tpdb-8.0/FP/full_haskell/Prelude_zipWith_1.hs | YES 6374 |
| tpdb-8.0/FP/full_haskell/Prelude_zipWith3_1.hs | YES 6304 |
| tpdb-8.0/FP/full_haskell/Queue_addToQueue_1.hs | YES 6622 |
| tpdb-8.0/FP/full_haskell/Queue_deQueue_1.hs | YES 6613 |
| tpdb-8.0/FP/full_haskell/Queue_emptyQueue_1.hs | YES 6250 |
| tpdb-8.0/FP/full_haskell/Queue_listToQueue_1.hs | YES 6319 |
| tpdb-8.0/FP/full_haskell/Queue_queueToList_1.hs | YES 6735 | 1319 |