| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/CARET_2.hs | TIMEOUT 60706 |
| tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs | NO 2505 |
| tpdb-8.0/FP/basic_haskell/concatMap_1.hs | YES 2147 |
| tpdb-8.0/FP/basic_haskell/curry_1.hs | YES 2021 |
| tpdb-8.0/FP/basic_haskell/DOLLAR_1.hs | YES 1881 |
| tpdb-8.0/FP/basic_haskell/drop_1.hs | YES 2400 |
| tpdb-8.0/FP/basic_haskell/elem_4.hs | YES 2287 |
| tpdb-8.0/FP/basic_haskell/enumFrom_1.hs | YES 1886 |
| tpdb-8.0/FP/basic_haskell/enumFrom_2.hs | YES 2712 |
| tpdb-8.0/FP/basic_haskell/enumFrom_6.hs | YES 2952 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs | MAYBE 5095 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_1.hs | TIMEOUT 60511 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_2.hs | TIMEOUT 60574 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_4.hs | MAYBE 42368 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_7.hs | YES 3360 |
| tpdb-8.0/FP/basic_haskell/EQEQ_3.hs | YES 1882 |
| tpdb-8.0/FP/basic_haskell/EQEQ_7.hs | YES 1938 |
| tpdb-8.0/FP/basic_haskell/fail_1.hs | YES 1922 |
| tpdb-8.0/FP/basic_haskell/filter_1.hs | YES 2261 |
| tpdb-8.0/FP/basic_haskell/floatRadix_1.hs | YES 2479 |
| tpdb-8.0/FP/basic_haskell/fmap_1.hs | YES 1926 |
| tpdb-8.0/FP/basic_haskell/foldl_1.hs | YES 1977 |
| tpdb-8.0/FP/basic_haskell/fromInteger_3.hs | YES 2084 |
| tpdb-8.0/FP/basic_haskell/fromIntegral_3.hs | YES 1975 |
| tpdb-8.0/FP/basic_haskell/GT_5.hs | YES 2612 |
| tpdb-8.0/FP/basic_haskell/GT_7.hs | YES 2138 |
| tpdb-8.0/FP/basic_haskell/GTEQ_1.hs | YES 2201 |
| tpdb-8.0/FP/basic_haskell/GTEQ_3.hs | YES 2139 |
| tpdb-8.0/FP/basic_haskell/GTEQ_6.hs | YES 2187 |
| tpdb-8.0/FP/basic_haskell/head_1.hs | YES 1939 |
| tpdb-8.0/FP/basic_haskell/index_1.hs | YES 1926 |
| tpdb-8.0/FP/basic_haskell/index_2.hs | YES 5791 |
| tpdb-8.0/FP/basic_haskell/isAlphaNum_1.hs | TIMEOUT 60564 |
| tpdb-8.0/FP/basic_haskell/isNegativeZero_1.hs | YES 1927 |
| tpdb-8.0/FP/basic_haskell/last_1.hs | YES 1975 |
| tpdb-8.0/FP/basic_haskell/lex_1.hs | TIMEOUT 60656 |
| tpdb-8.0/FP/basic_haskell/lookup_2.hs | YES 2190 |
| tpdb-8.0/FP/basic_haskell/lookup_3.hs | YES 3293 |
| tpdb-8.0/FP/basic_haskell/LT_1.hs | YES 1992 |
| tpdb-8.0/FP/basic_haskell/LTEQ_1.hs | YES 2032 |
| tpdb-8.0/FP/basic_haskell/LTEQ_2.hs | YES 2760 |
| tpdb-8.0/FP/basic_haskell/LTEQ_3.hs | YES 1921 |
| tpdb-8.0/FP/basic_haskell/max_2.hs | YES 1977 |
| tpdb-8.0/FP/basic_haskell/max_3.hs | YES 3311 |
| tpdb-8.0/FP/basic_haskell/maximum_1.hs | YES 2204 |
| tpdb-8.0/FP/basic_haskell/min_1.hs | YES 2091 |
| tpdb-8.0/FP/basic_haskell/minBound_1.hs | YES 1953 |
| tpdb-8.0/FP/basic_haskell/minimum_1.hs | YES 2209 |
| tpdb-8.0/FP/basic_haskell/minimum_2.hs | YES 2144 |
| tpdb-8.0/FP/basic_haskell/minimum_3.hs | YES 3294 |
| tpdb-8.0/FP/basic_haskell/MINUS_2.hs | YES 2142 |
| tpdb-8.0/FP/basic_haskell/mod_1.hs | YES 3886 |
| tpdb-8.0/FP/basic_haskell/negate_1.hs | YES 1924 |
| tpdb-8.0/FP/basic_haskell/odd_1.hs | YES 2102 |
| tpdb-8.0/FP/basic_haskell/or_1.hs | YES 2040 |
| tpdb-8.0/FP/basic_haskell/primThrowException_1.hs | NO 2118 |
| tpdb-8.0/FP/basic_haskell/product_1.hs | YES 2303 |
| tpdb-8.0/FP/basic_haskell/properFraction_1.hs | YES 4418 |
| tpdb-8.0/FP/basic_haskell/range_2.hs | MAYBE 43263 |
| tpdb-8.0/FP/basic_haskell/rangeSize_2.hs | YES 7792 |
| tpdb-8.0/FP/basic_haskell/rangeSize_4.hs | YES 5981 |
| tpdb-8.0/FP/basic_haskell/readParen_2.hs | TIMEOUT 60522 |
| tpdb-8.0/FP/basic_haskell/shows_5.hs | YES 4335 |
| tpdb-8.0/FP/basic_haskell/showsPrec_1.hs | YES 2192 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_1.hs | YES 1932 |
| tpdb-8.0/FP/basic_haskell/span_1.hs | YES 2305 |
| tpdb-8.0/FP/basic_haskell/STAR_1.hs | YES 2189 |
| tpdb-8.0/FP/basic_haskell/subtract_2.hs | YES 2149 |
| tpdb-8.0/FP/basic_haskell/succ_3.hs | YES 2243 |
| tpdb-8.0/FP/basic_haskell/toEnum_5.hs | YES 1927 |
| tpdb-8.0/FP/basic_haskell/toEnum_6.hs | YES 1932 |
| tpdb-8.0/FP/basic_haskell/toRational_1.hs | YES 1926 |
| tpdb-8.0/FP/basic_haskell/undefined_1.hs | YES 2141 |
| tpdb-8.0/FP/basic_haskell/userError_1.hs | YES 1985 |
| tpdb-8.0/FP/basic_haskell/zipWith3_1.hs | YES 2048 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_11.hs | TIMEOUT 60689 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_C_12.hs | YES 18235 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_2.hs | YES 9569 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_5.hs | TIMEOUT 60757 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addToFM_C_8.hs | TIMEOUT 60688 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_1.hs | YES 21468 |
| tpdb-8.0/FP/full_haskell/FiniteMap_elemFM_4.hs | YES 27404 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_GE_7.hs | TIMEOUT 60705 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_7.hs | TIMEOUT 60750 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_3.hs | TIMEOUT 60780 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs | YES 50376 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_7.hs | TIMEOUT 60662 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_2.hs | YES 24935 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_10.hs | YES 36154 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_6.hs | TIMEOUT 60767 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_7.hs | TIMEOUT 60678 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_5.hs | YES 10143 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_7.hs | YES 9345 |
| tpdb-8.0/FP/full_haskell/List_insert_7.hs | YES 18844 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_5.hs | YES 8529 |
| tpdb-8.0/FP/full_haskell/List_isSuffixOf_8.hs | YES 8701 |
| tpdb-8.0/FP/full_haskell/Maybe_isNothing_1.hs | YES 5994 |
| tpdb-8.0/FP/full_haskell/Maybe_maybe_1.hs | YES 5984 |
| tpdb-8.0/FP/full_haskell/Monad_ap_3.hs | YES 6859 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__1.hs | MAYBE 8104 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_1.hs | MAYBE 7259 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_4.hs | YES 6966 |
| tpdb-8.0/FP/full_haskell/Monad_replicateM__4.hs | YES 8146 |
| tpdb-8.0/FP/full_haskell/Monad_unless_2.hs | YES 6787 |
| tpdb-8.0/FP/full_haskell/Prelude_BANGBANG_1.hs | YES 6185 |
| tpdb-8.0/FP/full_haskell/Prelude_compare_6.hs | YES 6197 |
| tpdb-8.0/FP/full_haskell/Prelude_drop_1.hs | YES 6187 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_10.hs | YES 7707 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_2.hs | YES 5900 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_6.hs | YES 5924 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_9.hs | YES 6009 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_5.hs | TIMEOUT 60746 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_11.hs | YES 8478 |
| tpdb-8.0/FP/full_haskell/Prelude_EQEQ_9.hs | YES 6000 |
| tpdb-8.0/FP/full_haskell/Prelude_foldl_1.hs | YES 5736 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGT_3.hs | YES 5985 |
| tpdb-8.0/FP/full_haskell/Prelude_index_1.hs | TIMEOUT 61020 |
| tpdb-8.0/FP/full_haskell/Prelude_inRange_3.hs | YES 6344 |
| tpdb-8.0/FP/full_haskell/Prelude_isAlpha_1.hs | TIMEOUT 60575 |
| tpdb-8.0/FP/full_haskell/Prelude_isAscii_1.hs | YES 6025 |
| tpdb-8.0/FP/full_haskell/Prelude_isHexDigit_1.hs | YES 8333 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_1.hs | YES 14791 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_7.hs | YES 6496 |
| tpdb-8.0/FP/full_haskell/Prelude_max_8.hs | YES 6141 |
| tpdb-8.0/FP/full_haskell/Prelude_maxBound_5.hs | YES 5862 |
| tpdb-8.0/FP/full_haskell/Prelude_maximum_3.hs | YES 6294 |
| tpdb-8.0/FP/full_haskell/Prelude_min_1.hs | YES 12588 |
| tpdb-8.0/FP/full_haskell/Prelude_min_8.hs | YES 5769 |
| tpdb-8.0/FP/full_haskell/Prelude_MINUS_2.hs | YES 5872 |
| tpdb-8.0/FP/full_haskell/Prelude_negate_3.hs | YES 5774 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_3.hs | YES 5830 |
| tpdb-8.0/FP/full_haskell/Prelude_notElem_9.hs | YES 6123 |
| tpdb-8.0/FP/full_haskell/Prelude_primExitWith_1.hs | YES 6026 |
| tpdb-8.0/FP/full_haskell/Prelude_product_2.hs | YES 6704 |
| tpdb-8.0/FP/full_haskell/Prelude_range_4.hs | TIMEOUT 60361 |
| tpdb-8.0/FP/full_haskell/Prelude_rangeSize_3.hs | YES 10335 |
| tpdb-8.0/FP/full_haskell/Prelude_read_1.hs | TIMEOUT 60751 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_3.hs | TIMEOUT 60562 |
| tpdb-8.0/FP/full_haskell/Prelude_readList_5.hs | TIMEOUT 60722 |
| tpdb-8.0/FP/full_haskell/Prelude_readLitChar_1.hs | TIMEOUT 60616 |
| tpdb-8.0/FP/full_haskell/Prelude_readParen_2.hs | TIMEOUT 60698 |
| tpdb-8.0/FP/full_haskell/Prelude_recip_3.hs | YES 6190 |
| tpdb-8.0/FP/full_haskell/Prelude_sequence__4.hs | YES 5979 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_8.hs | YES 20779 |
| tpdb-8.0/FP/full_haskell/Prelude_SLASHEQ_8.hs | YES 6515 |
| tpdb-8.0/FP/full_haskell/Prelude_snd_1.hs | YES 5842 |
| tpdb-8.0/FP/full_haskell/Prelude_splitAt_1.hs | YES 6597 |
| tpdb-8.0/FP/full_haskell/Prelude_toRational_2.hs | YES 10522 |
| tpdb-8.0/FP/full_haskell/Prelude_truncate_2.hs | YES 7227 |
| tpdb-8.0/FP/full_haskell/Queue_emptyQueue_1.hs | YES 6136 | 121 |