| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs | NO 5809 |
| tpdb-8.0/FP/basic_haskell/concatMap_1.hs | YES 5250 |
| tpdb-8.0/FP/basic_haskell/denominator_1.hs | YES 5217 |
| tpdb-8.0/FP/basic_haskell/div_1.hs | YES 5834 |
| tpdb-8.0/FP/basic_haskell/DOT_1.hs | YES 5085 |
| tpdb-8.0/FP/basic_haskell/enumFrom_1.hs | YES 5136 |
| tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs | MAYBE 6649 |
| tpdb-8.0/FP/basic_haskell/enumFromThenTo_2.hs | NO 7163 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_6.hs | YES 18973 |
| tpdb-8.0/FP/basic_haskell/even_1.hs | YES 5221 |
| tpdb-8.0/FP/basic_haskell/floatRadix_1.hs | YES 4985 |
| tpdb-8.0/FP/basic_haskell/fromDouble_2.hs | YES 5076 |
| tpdb-8.0/FP/basic_haskell/fromRational_1.hs | YES 5085 |
| tpdb-8.0/FP/basic_haskell/inRange_2.hs | YES 5544 |
| tpdb-8.0/FP/basic_haskell/isNaN_1.hs | YES 5027 |
| tpdb-8.0/FP/basic_haskell/lookup_2.hs | YES 5346 |
| tpdb-8.0/FP/basic_haskell/mapM__1.hs | YES 5661 |
| tpdb-8.0/FP/basic_haskell/max_3.hs | YES 5841 |
| tpdb-8.0/FP/basic_haskell/min_4.hs | YES 11113 |
| tpdb-8.0/FP/basic_haskell/min_6.hs | YES 5242 |
| tpdb-8.0/FP/basic_haskell/minimum_6.hs | YES 5548 |
| tpdb-8.0/FP/basic_haskell/not_1.hs | YES 5069 |
| tpdb-8.0/FP/basic_haskell/notElem_1.hs | YES 5352 |
| tpdb-8.0/FP/basic_haskell/null_1.hs | YES 5316 |
| tpdb-8.0/FP/basic_haskell/product_2.hs | YES 5483 |
| tpdb-8.0/FP/basic_haskell/quot_1.hs | YES 5850 |
| tpdb-8.0/FP/basic_haskell/read_2.hs | TIMEOUT 60402 |
| tpdb-8.0/FP/basic_haskell/readHex_1.hs | TIMEOUT 60345 |
| tpdb-8.0/FP/basic_haskell/sequence__2.hs | YES 5711 |
| tpdb-8.0/FP/basic_haskell/show_5.hs | YES 7062 |
| tpdb-8.0/FP/basic_haskell/showSigned_2.hs | YES 7153 |
| tpdb-8.0/FP/basic_haskell/showsPrec_1.hs | YES 5361 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_2.hs | YES 5416 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs | YES 5040 |
| tpdb-8.0/FP/basic_haskell/snd_1.hs | YES 5242 |
| tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_9.hs | YES 22146 |
| tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs | YES 16508 |
| tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs | YES 7785 |
| tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs | TIMEOUT 60431 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs | YES 29985 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_5.hs | TIMEOUT 60461 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_8.hs | YES 7563 |
| tpdb-8.0/FP/full_haskell/FiniteMap_minFM_12.hs | YES 7979 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_4.hs | YES 54952 |
| tpdb-8.0/FP/full_haskell/FiniteMap_plusFM_C_6.hs | TIMEOUT 60509 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_1.hs | YES 11017 |
| tpdb-8.0/FP/full_haskell/List_delete_4.hs | YES 10627 |
| tpdb-8.0/FP/full_haskell/List_delete_7.hs | YES 7444 |
| tpdb-8.0/FP/full_haskell/List_elemIndex_12.hs | YES 10652 |
| tpdb-8.0/FP/full_haskell/List_isPrefixOf_10.hs | YES 8379 |
| tpdb-8.0/FP/full_haskell/List_mapAccumL_1.hs | YES 7402 |
| tpdb-8.0/FP/full_haskell/Monad_foldM__3.hs | YES 6196 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_3.hs | YES 5960 |
| tpdb-8.0/FP/full_haskell/Prelude_CARET_4.hs | TIMEOUT 60417 |
| tpdb-8.0/FP/full_haskell/Prelude_elem_5.hs | YES 5224 |
| tpdb-8.0/FP/full_haskell/Prelude_getChar_1.hs | YES 5134 |
| tpdb-8.0/FP/full_haskell/Prelude_GTGTEQ_2.hs | YES 4984 |
| tpdb-8.0/FP/full_haskell/Prelude_index_2.hs | YES 5097 |
| tpdb-8.0/FP/full_haskell/Prelude_interact_1.hs | MAYBE 5593 |
| tpdb-8.0/FP/full_haskell/Prelude_isLatin1_1.hs | YES 5514 |
| tpdb-8.0/FP/full_haskell/Prelude_lex_1.hs | TIMEOUT 60304 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_9.hs | YES 11518 |
| tpdb-8.0/FP/full_haskell/Prelude_readSigned_3.hs | TIMEOUT 60338 |
| tpdb-8.0/FP/full_haskell/Prelude_showList_10.hs | TIMEOUT 60374 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_2.hs | YES 5114 |
| tpdb-8.0/FP/full_haskell/Prelude_STAR_4.hs | TIMEOUT 60490 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_2.hs | YES 5447 |
| tpdb-8.0/FP/full_haskell/Prelude_sum_4.hs | TIMEOUT 60441 |
| tpdb-8.0/FP/full_haskell/Prelude_undefined_1.hs | YES 4918 |
| tpdb-8.0/FP/full_haskell/Queue_queueToList_1.hs | YES 5363 | 57 |