| benchmark | AProVE |
|---|---|
| tpdb-8.0/FP/basic_haskell/chr_1.hs | YES 2189 |
| tpdb-8.0/FP/basic_haskell/compare_2.hs | YES 2181 |
| tpdb-8.0/FP/basic_haskell/const_1.hs | YES 2079 |
| tpdb-8.0/FP/basic_haskell/divMod_1.hs | YES 13526 |
| tpdb-8.0/FP/basic_haskell/enumFrom_6.hs | MAYBE 66 |
| tpdb-8.0/FP/basic_haskell/enumFromTo_7.hs | YES 3955 |
| tpdb-8.0/FP/basic_haskell/EQEQ_1.hs | YES 2054 |
| tpdb-8.0/FP/basic_haskell/EQEQ_7.hs | YES 2113 |
| tpdb-8.0/FP/basic_haskell/floatRadix_1.hs | YES 2082 |
| tpdb-8.0/FP/basic_haskell/gcd_1.hs | YES 15642 |
| tpdb-8.0/FP/basic_haskell/GTEQ_2.hs | YES 3315 |
| tpdb-8.0/FP/basic_haskell/GTEQ_4.hs | YES 2337 |
| tpdb-8.0/FP/basic_haskell/isInfinite_1.hs | YES 2021 |
| tpdb-8.0/FP/basic_haskell/iterate_1.hs | MAYBE 2186 |
| tpdb-8.0/FP/basic_haskell/max_5.hs | YES 3507 |
| tpdb-8.0/FP/basic_haskell/maximum_2.hs | YES 2245 |
| tpdb-8.0/FP/basic_haskell/maximum_4.hs | YES 16719 |
| tpdb-8.0/FP/basic_haskell/maybe_1.hs | YES 2050 |
| tpdb-8.0/FP/basic_haskell/min_3.hs | YES 3413 |
| tpdb-8.0/FP/basic_haskell/min_4.hs | YES 11595 |
| tpdb-8.0/FP/basic_haskell/minBound_2.hs | YES 2111 |
| tpdb-8.0/FP/basic_haskell/minimum_3.hs | YES 3619 |
| tpdb-8.0/FP/basic_haskell/primThrowException_1.hs | NO 2171 |
| tpdb-8.0/FP/basic_haskell/product_1.hs | YES 2444 |
| tpdb-8.0/FP/basic_haskell/quot_1.hs | YES 2710 |
| tpdb-8.0/FP/basic_haskell/range_1.hs | YES 2159 |
| tpdb-8.0/FP/basic_haskell/range_2.hs | MAYBE 31436 |
| tpdb-8.0/FP/basic_haskell/read_2.hs | TIMEOUT 60433 |
| tpdb-8.0/FP/basic_haskell/realToFrac_1.hs | YES 2149 |
| tpdb-8.0/FP/basic_haskell/seq_1.hs | YES 2013 |
| tpdb-8.0/FP/basic_haskell/showsPrec_4.hs | TIMEOUT 61326 |
| tpdb-8.0/FP/basic_haskell/SLASHEQ_6.hs | YES 2225 |
| tpdb-8.0/FP/basic_haskell/STAR_2.hs | YES 2224 |
| tpdb-8.0/FP/basic_haskell/undefined_1.hs | YES 2054 |
| tpdb-8.0/FP/basic_haskell/unzip_1.hs | YES 2252 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_12.hs | YES 21645 |
| tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_7.hs | TIMEOUT 60493 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_1.hs | YES 9573 |
| tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_4.hs | YES 28242 |
| tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_11.hs | YES 11138 |
| tpdb-8.0/FP/full_haskell/FiniteMap_listToFM_6.hs | TIMEOUT 60618 |
| tpdb-8.0/FP/full_haskell/FiniteMap_maxFM_1.hs | YES 9000 |
| tpdb-8.0/FP/full_haskell/List_BACKSLBACKSL_5.hs | YES 10049 |
| tpdb-8.0/FP/full_haskell/List_delete_3.hs | YES 8530 |
| tpdb-8.0/FP/full_haskell/List_elemIndices_5.hs | YES 11798 |
| tpdb-8.0/FP/full_haskell/List_nub_5.hs | YES 34109 |
| tpdb-8.0/FP/full_haskell/Monad_ap_2.hs | YES 7349 |
| tpdb-8.0/FP/full_haskell/Monad_foldM_3.hs | YES 7226 |
| tpdb-8.0/FP/full_haskell/Monad_liftM3_2.hs | YES 7089 |
| tpdb-8.0/FP/full_haskell/Monad_liftM5_3.hs | YES 7257 |
| tpdb-8.0/FP/full_haskell/Prelude_dropWhile_1.hs | YES 6622 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFrom_3.hs | MAYBE 27621 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromThenTo_5.hs | TIMEOUT 60755 |
| tpdb-8.0/FP/full_haskell/Prelude_enumFromTo_1.hs | TIMEOUT 60455 |
| tpdb-8.0/FP/full_haskell/Prelude_isHexDigit_1.hs | YES 8975 |
| tpdb-8.0/FP/full_haskell/Prelude_lookup_11.hs | YES 10601 |
| tpdb-8.0/FP/full_haskell/Prelude_LT_5.hs | YES 6264 |
| tpdb-8.0/FP/full_haskell/Prelude_mapM__3.hs | YES 6556 |
| tpdb-8.0/FP/full_haskell/Prelude_max_3.hs | YES 6442 |
| tpdb-8.0/FP/full_haskell/Prelude_pred_1.hs | YES 10762 |
| tpdb-8.0/FP/full_haskell/Prelude_print_1.hs | TIMEOUT 60512 |
| tpdb-8.0/FP/full_haskell/Prelude_print_5.hs | TIMEOUT 61414 |
| tpdb-8.0/FP/full_haskell/Prelude_reads_1.hs | TIMEOUT 60470 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_3.hs | TIMEOUT 60430 |
| tpdb-8.0/FP/full_haskell/Prelude_readsPrec_5.hs | TIMEOUT 60548 |
| tpdb-8.0/FP/full_haskell/Prelude_repeat_1.hs | NO 6355 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_12.hs | YES 7790 |
| tpdb-8.0/FP/full_haskell/Prelude_showsPrec_2.hs | YES 6200 |
| tpdb-8.0/FP/full_haskell/Prelude_STARSTAR_1.hs | YES 6252 |
| tpdb-8.0/FP/full_haskell/Prelude_toEnum_5.hs | YES 6289 | 55 |