| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs | YES 1936 |
| tpdb-8.0/FP/basic_haskell/CARET_2.hs | TIMEOUT 60674 |
| tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs | NO 2579 |
| tpdb-8.0/FP/basic_haskell/ceiling_1.hs | YES 10164 |
| tpdb-8.0/FP/basic_haskell/chr_1.hs | YES 1989 |
| tpdb-8.0/FP/basic_haskell/compare_5.hs | YES 2672 |
| tpdb-8.0/FP/basic_haskell/compare_7.hs | YES 2142 |
| tpdb-8.0/FP/basic_haskell/div_1.hs | YES 3026 |
| tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs | YES 1991 |
| tpdb-8.0/FP/basic_haskell/elem_6.hs | YES 2304 |
| tpdb-8.0/FP/basic_haskell/elem_7.hs | YES 2250 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_1.hs | YES 1945 |
| tpdb-8.0/FP/basic_haskell/EQEQ_3.hs | YES 1937 |
| tpdb-8.0/FP/basic_haskell/floor_1.hs | YES 11335 |
| tpdb-8.0/FP/basic_haskell/fmap_1.hs | YES 1992 |
| tpdb-8.0/FP/basic_haskell/fromEnum_3.hs | YES 1942 |
| tpdb-8.0/FP/basic_haskell/fromEnum_4.hs | YES 1987 |
| tpdb-8.0/FP/basic_haskell/fromEnum_6.hs | YES 1943 |
| tpdb-8.0/FP/basic_haskell/fromInt_3.hs | YES 1934 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_1.hs | YES 2040 |
| tpdb-8.0/FP/basic_haskell/GT_1.hs | YES 2013 |
| tpdb-8.0/FP/basic_haskell/GT_7.hs | YES 2204 |
| tpdb-8.0/FP/basic_haskell/GTEQ_5.hs | YES 2891 |
| tpdb-8.0/FP/basic_haskell/index_2.hs | YES 5805 |
| tpdb-8.0/FP/basic_haskell/isHexDigit_1.hs | YES 4970 |
| tpdb-8.0/FP/basic_haskell/isSpace_1.hs | YES 4763 |
| tpdb-8.0/FP/basic_haskell/isUpper_1.hs | YES 19375 |
| tpdb-8.0/FP/basic_haskell/iterate_1.hs | MAYBE 2209 |
| tpdb-8.0/FP/basic_haskell/lookup_2.hs | YES 2252 |
| tpdb-8.0/FP/basic_haskell/LT_3.hs | YES 2249 |
| tpdb-8.0/FP/basic_haskell/LT_5.hs | YES 2248 |
| tpdb-8.0/FP/basic_haskell/LTEQ_2.hs | YES 2827 |
| tpdb-8.0/FP/basic_haskell/LTEQ_6.hs | YES 2247 |
| tpdb-8.0/FP/basic_haskell/max_4.hs | YES 9378 |
| tpdb-8.0/FP/basic_haskell/max_5.hs | YES 3092 |
| tpdb-8.0/FP/basic_haskell/maxBound_1.hs | YES 1927 |
| tpdb-8.0/FP/basic_haskell/maxBound_2.hs | YES 1940 |
| tpdb-8.0/FP/basic_haskell/maxBound_4.hs | NO 2511 |
| tpdb-8.0/FP/basic_haskell/maximum_3.hs | YES 3353 |
| tpdb-8.0/FP/basic_haskell/maximum_6.hs | YES 2298 |
| tpdb-8.0/FP/basic_haskell/minimum_4.hs | YES 15845 |
| tpdb-8.0/FP/basic_haskell/negate_1.hs | YES 1989 |
| tpdb-8.0/FP/basic_haskell/notElem_6.hs | YES 2257 |
| tpdb-8.0/FP/basic_haskell/ord_1.hs | YES 1990 |
| tpdb-8.0/FP/basic_haskell/product_2.hs | YES 2307 |
| tpdb-8.0/FP/basic_haskell/properFraction_2.hs | YES 3058 |
| tpdb-8.0/FP/basic_haskell/rangeSize_2.hs | YES 8008 |
| tpdb-8.0/FP/basic_haskell/rangeSize_3.hs | YES 6580 |
| tpdb-8.0/FP/basic_haskell/readLitChar_1.hs | TIMEOUT 60563 |
| tpdb-8.0/FP/basic_haskell/readParen_2.hs | TIMEOUT 60633 |
| tpdb-8.0/FP/basic_haskell/readParen_3.hs | TIMEOUT 60563 |
| tpdb-8.0/FP/basic_haskell/readParen_4.hs | TIMEOUT 60608 |
| tpdb-8.0/FP/basic_haskell/repeat_1.hs | NO 2201 |
| tpdb-8.0/FP/basic_haskell/replicate_1.hs | YES 2467 |
| tpdb-8.0/FP/basic_haskell/return_1.hs | YES 1935 |
| tpdb-8.0/FP/basic_haskell/sequence__1.hs | YES 2142 |
| tpdb-8.0/FP/basic_haskell/show_2.hs | TIMEOUT 61578 |
| tpdb-8.0/FP/basic_haskell/shows_3.hs | YES 9936 |
| tpdb-8.0/FP/basic_haskell/showSigned_1.hs | YES 4426 |
| tpdb-8.0/FP/basic_haskell/showsPrec_3.hs | YES 10583 |
| tpdb-8.0/FP/basic_haskell/showString_1.hs | YES 2056 |
| tpdb-8.0/FP/basic_haskell/signum_1.hs | YES 2476 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs | YES 2000 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_4.hs | YES 2198 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_5.hs | YES 2729 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_6.hs | YES 2197 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_7.hs | YES 1999 |
| tpdb-8.0/FP/basic_haskell/snd_1.hs | YES 1939 |
| tpdb-8.0/FP/basic_haskell/succ_2.hs | YES 4639 |
| tpdb-8.0/FP/basic_haskell/tail_1.hs | YES 1935 |
| tpdb-8.0/FP/basic_haskell/toEnum_2.hs | YES 1983 |
| tpdb-8.0/FP/basic_haskell/toEnum_3.hs | YES 2143 |
| tpdb-8.0/FP/basic_haskell/words_1.hs | TIMEOUT 60677 |
| tpdb-8.0/FP/basic_haskell/zip_1.hs | YES 2096 |
| tpdb-8.0/FP/basic_haskell/zip3_1.hs | YES 2142 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_2.hs | YES 10448 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_10.hs | YES 24553 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_5.hs | TIMEOUT 60704 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_5.hs | YES 11614 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs | YES 8952 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_2.hs | YES 39104 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_3.hs | TIMEOUT 60797 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_8.hs | TIMEOUT 60755 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_5.hs | YES 12776 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_2.hs | YES 10279 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_4.hs | YES 36794 |
| tpdb-8.0/FP/full_haskell/FiniteMap_lookupFM_1.hs | YES 21473 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_11.hs | YES 8779 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_5.hs | YES 8811 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_3.hs | YES 8826 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_4.hs | YES 60861 |
| tpdb-8.0/FP/full_haskell/List_deleteBy_1.hs | YES 8468 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_6.hs | YES 9504 |
| tpdb-8.0/FP/full_haskell/List_group_4.hs | YES 18117 |
| tpdb-8.0/FP/full_haskell/List_intersect_11.hs | YES 12648 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_8.hs | YES 8667 |
| tpdb-8.0/FP/full_haskell/List_nubBy_1.hs | YES 8929 |
| tpdb-8.0/FP/full_haskell/List_partition_1.hs | YES 8499 |
| tpdb-8.0/FP/full_haskell/List_sort_4.hs | YES 43183 |
| tpdb-8.0/FP/full_haskell/List_sort_9.hs | YES 37658 |
| tpdb-8.0/FP/full_haskell/List_union_2.hs | YES 9050 |
| tpdb-8.0/FP/full_haskell/Maybe_mapMaybe_1.hs | YES 6598 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_4.hs | YES 7192 |
| tpdb-8.0/FP/full_haskell/Monad_liftM2_3.hs | YES 6983 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_3.hs | YES 7210 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM_4.hs | YES 7603 |
| tpdb-8.0/FP/full_haskell/Monad_unless_3.hs | YES 7009 |
| tpdb-8.0/FP/full_haskell/Monad_zipWithM_2.hs | MAYBE 7770 |
| tpdb-8.0/FP/full_haskell/Prelude_abs_3.hs | YES 8193 |
| tpdb-8.0/FP/full_haskell/Prelude_asTypeOf_1.hs | YES 5717 |
| tpdb-8.0/FP/full_haskell/Prelude_BANGBANG_1.hs | YES 6344 |
| tpdb-8.0/FP/full_haskell/Prelude_BARBAR_1.hs | YES 5999 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_3.hs | YES 5936 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_8.hs | YES 6003 |
| tpdb-8.0/FP/full_haskell/Prelude_const_1.hs | YES 5881 |
| tpdb-8.0/FP/full_haskell/Prelude_EQLTLT_1.hs | YES 6096 |
| tpdb-8.0/FP/full_haskell/Prelude_flip_1.hs | YES 5991 |
| tpdb-8.0/FP/full_haskell/Prelude_fromEnum_5.hs | YES 7313 |
| tpdb-8.0/FP/full_haskell/Prelude_GT_8.hs | YES 6046 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_1.hs | YES 6206 |
| tpdb-8.0/FP/full_haskell/Prelude_index_3.hs | YES 7459 |
| tpdb-8.0/FP/full_haskell/Prelude_init_1.hs | YES 5942 |
| tpdb-8.0/FP/full_haskell/Prelude_intToDigit_1.hs | YES 7999 |
| tpdb-8.0/FP/full_haskell/Prelude_isDigit_1.hs | YES 6336 |
| tpdb-8.0/FP/full_haskell/Prelude_lcm_1.hs | TIMEOUT 60712 |
| tpdb-8.0/FP/full_haskell/Prelude_logBase_1.hs | YES 6086 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_1.hs | YES 8885 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM_2.hs | MAYBE 6657 |
| tpdb-8.0/FP/full_haskell/Prelude_max_12.hs | YES 13676 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_1.hs | YES 22995 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_5.hs | YES 5985 |
| tpdb-8.0/FP/full_haskell/Prelude_minBound_6.hs | YES 6007 |
| tpdb-8.0/FP/full_haskell/Prelude_minimum_10.hs | YES 14167 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_1.hs | YES 5979 |
| tpdb-8.0/FP/full_haskell/Prelude_print_12.hs | YES 7710 |
| tpdb-8.0/FP/full_haskell/Prelude_range_3.hs | MAYBE 28296 |
| tpdb-8.0/FP/full_haskell/Prelude_range_4.hs | MAYBE 60469 |
| tpdb-8.0/FP/full_haskell/Prelude_read_7.hs | TIMEOUT 60675 |
| tpdb-8.0/FP/full_haskell/Prelude_readInt_1.hs | YES 7103 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_8.hs | TIMEOUT 60678 |
| tpdb-8.0/FP/full_haskell/Prelude_readLn_4.hs | TIMEOUT 60698 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_1.hs | TIMEOUT 60752 |
| tpdb-8.0/FP/full_haskell/Prelude_realToFrac_7.hs | YES 25344 |
| tpdb-8.0/FP/full_haskell/Prelude_show_3.hs | TIMEOUT 60681 |
| tpdb-8.0/FP/full_haskell/Prelude_showLitChar_1.hs | TIMEOUT 60669 |
| tpdb-8.0/FP/full_haskell/Prelude_showSigned_1.hs | YES 8456 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_5.hs | TIMEOUT 61715 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_9.hs | YES 6199 |
| tpdb-8.0/FP/full_haskell/Prelude_succ_3.hs | YES 6138 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_4.hs | YES 5932 | 127 |