Termination Competition 2018: Haskell30102

benchmark AProVE
full_haskell/Prelude_readList_7.hs timeout (wallclock)
full_haskell/Prelude_DOLLAR_1.hs YES 9.50/4.02
full_haskell/Monad_foldM_3.hs YES 11.14/4.44
full_haskell/Prelude_maximum_7.hs YES 31.68/15.58
full_haskell/FiniteMap_addListToFM_C_7.hs YES 113.35/65.63
full_haskell/Prelude_lex_1.hs MAYBE 167.88/149.22
full_haskell/Prelude_signum_1.hs YES 17.30/6.39
full_haskell/Prelude_undefined_1.hs YES 9.39/4.07
full_haskell/Prelude_CARET_4.hs MAYBE 214.57/150.82
full_haskell/Prelude_STAR_2.hs YES 9.90/4.45
full_haskell/Prelude_SLASHEQ_1.hs YES 10.86/4.34
full_haskell/Prelude_GT_6.hs YES 10.77/4.25
full_haskell/Prelude_fromDouble_1.hs MAYBE 102.88/63.20
full_haskell/List_elemIndex_11.hs YES 19.38/7.52
full_haskell/Prelude_sum_1.hs MAYBE 174.99/123.59
full_haskell/FiniteMap_elemFM_12.hs YES 25.69/10.79
full_haskell/Prelude_atan2_1.hs StarExec error
full_haskell/Prelude_GTEQ_11.hs YES 10.17/4.13
full_haskell/Prelude_minBound_1.hs MAYBE 10.30/4.38
full_haskell/Prelude_min_1.hs YES 17.52/6.48
full_haskell/Queue_listToQueue_1.hs YES 9.33/3.89
full_haskell/List_insert_2.hs StarExec error
full_haskell/Maybe_isNothing_1.hs YES 9.23/3.89
full_haskell/Prelude_primExitWith_1.hs YES 9.70/3.91
full_haskell/Monad_replicateM_4.hs YES 11.66/4.59
full_haskell/FiniteMap_maxFM_9.hs YES 11.92/4.89
full_haskell/Prelude_truncate_2.hs YES 11.65/4.45
full_haskell/Maybe_maybe_1.hs YES 9.69/4.18
full_haskell/List_isSuffixOf_1.hs YES 12.94/5.06
full_haskell/FiniteMap_intersectFM_11.hs YES 122.18/77.03
full_haskell/List_nub_2.hs YES 18.42/6.93
full_haskell/Monad_foldM_2.hs MAYBE 11.85/4.49
full_haskell/Prelude_lookup_11.hs YES 12.47/4.86
full_haskell/FiniteMap_addToFM_C_6.hs YES 127.55/77.90
full_haskell/FiniteMap_maxFM_12.hs YES 11.94/4.92
full_haskell/Prelude_fromIntegral_1.hs YES 10.10/3.96
full_haskell/Prelude_compare_6.hs YES 10.06/4.05
full_haskell/Prelude_toRational_4.hs YES 9.77/4.16
full_haskell/Prelude_shows_5.hs MAYBE 31.03/16.25
full_haskell/Monad_liftM3_1.hs YES 11.30/4.44
full_haskell/Prelude_reads_5.hs StarExec error
full_haskell/Prelude_minimum_1.hs YES 27.40/12.99
full_haskell/List_elemIndices_6.hs YES 13.99/5.17
full_haskell/Prelude_chr_1.hs StarExec error
full_haskell/Prelude_max_8.hs YES 9.91/4.82
full_haskell/Prelude_isIEEE_1.hs YES 9.64/4.09
full_haskell/Prelude_showSigned_4.hs YES 11.73/4.53
full_haskell/Prelude_enumFromThen_4.hs MAYBE 11.37/4.42
full_haskell/Prelude_EQEQ_6.hs YES 9.77/3.98
full_haskell/FiniteMap_listToFM_7.hs MAYBE 148.56/116.63
full_haskell/Prelude_print_1.hs timeout (wallclock)
full_haskell/Prelude_pred_2.hs YES 10.09/5.03
full_haskell/FiniteMap_intersectFM_C_4.hs YES 55.80/27.04
full_haskell/Prelude_div_1.hs YES 10.54/4.16
full_haskell/Maybe_fromMaybe_1.hs YES 9.80/4.01
full_haskell/FiniteMap_addToFM_9.hs YES 28.92/13.05
full_haskell/Prelude_max_12.hs YES 21.20/9.21
full_haskell/Monad_zipWithM_3.hs YES 10.77/4.30
full_haskell/FiniteMap_elemFM_1.hs YES 30.67/14.24
full_haskell/Prelude_iterate_1.hs MAYBE 9.81/4.06
full_haskell/Prelude_fromInt_3.hs YES 10.04/3.93
full_haskell/Prelude_dropWhile_1.hs YES 10.15/3.98
full_haskell/FiniteMap_minusFM_2.hs YES 36.35/20.79
full_haskell/Prelude_foldr_1.hs YES 9.60/3.96
full_haskell/Prelude_LTEQ_8.hs YES 9.95/4.17
full_haskell/Prelude_floor_2.hs YES 17.64/6.39
full_haskell/Prelude_notElem_1.hs YES 10.58/4.23
full_haskell/List_intersect_3.hs YES 13.32/5.36
full_haskell/Monad_mapAndUnzipM_4.hs YES 11.97/4.59
full_haskell/Prelude_realToFrac_4.hs YES 10.27/4.20
full_haskell/List_inits_1.hs YES 12.52/5.84
full_haskell/Prelude_LT_1.hs YES 25.24/12.02
full_haskell/List_delete_10.hs YES 15.66/6.16
full_haskell/FiniteMap_delListFromFM_12.hs YES 35.60/16.63
full_haskell/List_delete_11.hs YES 15.48/5.91
full_haskell/Prelude_showsPrec_1.hs StarExec error
full_haskell/Prelude_CARET_2.hs MAYBE 76.67/47.46
full_haskell/FiniteMap_listToFM_10.hs YES 29.60/13.22
full_haskell/FiniteMap_lookupWithDefaultFM_2.hs YES 11.99/4.88
full_haskell/FiniteMap_eltsFM_LE_4.hs YES 23.80/10.90
full_haskell/Prelude_inRange_5.hs YES 10.24/4.36
full_haskell/Prelude_all_1.hs YES 9.39/3.88
full_haskell/Prelude_DOLLARBANG_1.hs YES 9.78/4.12
full_haskell/Prelude_showParen_1.hs YES 10.18/4.04
full_haskell/List_sort_11.hs YES 14.43/5.41
full_haskell/Prelude_range_5.hs YES 11.52/4.48
full_haskell/FiniteMap_addListToFM_1.hs YES 37.12/17.90
full_haskell/Monad_foldM_4.hs YES 11.25/4.63
full_haskell/Prelude_exp_1.hs YES 9.57/4.16
full_haskell/Prelude_decodeFloat_1.hs YES 9.30/3.84
full_haskell/Queue_deQueue_1.hs StarExec error
full_haskell/FiniteMap_foldFM_LE_12.hs YES 26.15/10.70
full_haskell/Prelude_tail_1.hs YES 9.36/3.86
full_haskell/List_group_2.hs YES 12.87/5.02
full_haskell/Prelude_index_5.hs YES 12.68/4.79
full_haskell/Prelude_abs_2.hs YES 12.37/4.91
full_haskell/Prelude_cos_1.hs YES 9.33/3.84
full_haskell/Prelude_SLASHEQ_12.hs YES 12.31/5.31
full_haskell/FiniteMap_minFM_3.hs YES 12.41/5.26
full_haskell/Maybe_listToMaybe_1.hs YES 9.59/3.92
full_haskell/List_isSuffixOf_10.hs YES 14.42/5.61
full_haskell/List_union_3.hs YES 16.64/6.19
full_haskell/Prelude_readList_8.hs pending submission
full_haskell/FiniteMap_addListToFM_C_5.hs YES 87.49/58.29
full_haskell/Prelude_fromInt_1.hs YES 10.06/3.95
full_haskell/Prelude_GTEQ_12.hs YES 19.92/7.93
full_haskell/List_elemIndex_7.hs YES 14.01/5.43
full_haskell/Maybe_mapMaybe_1.hs YES 10.95/4.79
full_haskell/Prelude_unlines_1.hs YES 9.76/3.94
full_haskell/Prelude_mapM__4.hs YES 10.16/4.02
full_haskell/FiniteMap_eltsFM_GE_9.hs YES 28.65/11.56
full_haskell/Prelude_readSigned_1.hs StarExec error
full_haskell/Prelude_notElem_7.hs YES 10.22/4.22
full_haskell/FiniteMap_eltsFM_GE_2.hs YES 12.66/5.04
full_haskell/Prelude_floatRange_1.hs YES 10.34/4.26
full_haskell/Prelude_show_6.hs YES 10.01/3.96
full_haskell/Monad_liftM5_4.hs YES 10.89/4.39
full_haskell/Prelude_compare_2.hs YES 9.82/4.22
full_haskell/FiniteMap_filterFM_11.hs YES 26.52/11.57
full_haskell/Prelude_compare_3.hs YES 9.54/3.91
full_haskell/List_elemIndices_3.hs YES 13.97/5.22
full_haskell/Prelude_maximum_9.hs YES 20.13/8.61
full_haskell/Prelude_isControl_1.hs YES 10.86/4.47
full_haskell/FiniteMap_mapFM_1.hs YES 11.38/4.81
full_haskell/FiniteMap_foldFM_LE_5.hs YES 13.99/5.60
full_haskell/Prelude_readParen_3.hs MAYBE 195.64/167.63
full_haskell/Prelude_appendFile_1.hs YES 10.46/4.34
full_haskell/FiniteMap_eltsFM_LE_7.hs YES 181.97/122.45
full_haskell/FiniteMap_plusFM_C_1.hs YES 61.01/34.47
full_haskell/FiniteMap_addListToFM_C_11.hs MAYBE 116.88/84.95
full_haskell/FiniteMap_fmToList_GE_5.hs YES 15.72/6.18
full_haskell/List_isSuffixOf_6.hs YES 13.66/5.55
full_haskell/Prelude_length_1.hs YES 10.97/4.47
full_haskell/Prelude_EQEQ_5.hs YES 9.90/4.00
full_haskell/List_group_10.hs YES 19.91/7.13
full_haskell/Monad_zipWithM__1.hs YES 11.16/4.42
full_haskell/Prelude_min_6.hs YES 21.29/7.95
full_haskell/Prelude_ceiling_3.hs YES 18.00/6.44
full_haskell/FiniteMap_eltsFM_GE_3.hs YES 13.59/5.35
full_haskell/Prelude_exponent_1.hs YES 10.84/4.21
full_haskell/Prelude_showList_5.hs MAYBE 31.68/16.20
full_haskell/Prelude_LTEQ_10.hs YES 20.85/7.34
full_haskell/Prelude_notElem_11.hs YES 11.35/4.45
full_haskell/Prelude_intToDigit_1.hs YES 11.28/4.43
full_haskell/FiniteMap_elemFM_7.hs YES 66.48/33.54
full_haskell/Prelude_maximum_1.hs YES 30.87/15.86
full_haskell/Prelude_SLASHEQ_2.hs YES 9.60/3.85
full_haskell/Prelude_readLn_3.hs MAYBE 198.59/175.78
full_haskell/FiniteMap_addToFM_4.hs YES 23.84/9.21
full_haskell/FiniteMap_sizeFM_1.hs YES 11.49/4.81
full_haskell/FiniteMap_plusFM_C_5.hs YES 47.25/23.86
full_haskell/Prelude_product_1.hs MAYBE 149.25/106.98
full_haskell/Prelude_subtract_3.hs YES 10.01/4.00
full_haskell/Monad_replicateM__4.hs YES 12.71/5.00
full_haskell/Monad_msum_2.hs YES 10.73/4.26
full_haskell/List_mapAccumR_1.hs YES 12.58/4.90
full_haskell/FiniteMap_foldFM_GE_2.hs YES 12.77/5.03
full_haskell/Prelude_rem_1.hs YES 10.59/5.31
full_haskell/Prelude_isUpper_1.hs YES 18.31/10.84
full_haskell/FiniteMap_maxFM_10.hs YES 12.99/5.38
full_haskell/Prelude_zip3_1.hs YES 10.44/4.03
full_haskell/Prelude_abs_4.hs pending submission
full_haskell/Prelude_showList_4.hs pending submission
full_haskell/FiniteMap_keysFM_GE_1.hs pending submission
full_haskell/Prelude_elem_2.hs YES 9.63/3.93
full_haskell/Monad_ap_4.hs pending submission
full_haskell/List_intersect_4.hs pending submission
full_haskell/Prelude_read_4.hs pending submission
full_haskell/Prelude_min_4.hs YES 16.85/8.25
full_haskell/Prelude_min_10.hs YES 20.78/8.29
full_haskell/FiniteMap_elemFM_8.hs YES 12.65/5.40
full_haskell/FiniteMap_intersectFM_7.hs MAYBE 255.83/212.71
full_haskell/Prelude_fromInteger_2.hs YES 9.32/3.83
full_haskell/Prelude_maximum_8.hs YES 9.59/3.98
full_haskell/Prelude_catchHugsException_1.hs NO 10.46/4.15
full_haskell/List_nub_12.hs StarExec error
full_haskell/Prelude_range_3.hs StarExec error
full_haskell/Prelude_BANGBANG_1.hs YES 10.22/4.12
full_haskell/FiniteMap_plusFM_9.hs YES 44.78/23.05
full_haskell/FiniteMap_maxFM_2.hs YES 11.73/4.85
full_haskell/Prelude_MINUS_1.hs MAYBE 162.65/124.21
full_haskell/Prelude_readList_5.hs timeout (wallclock)
full_haskell/Prelude_isSpace_1.hs YES 12.99/8.21
full_haskell/Prelude_STAR_4.hs MAYBE 104.13/73.15
full_haskell/Prelude_fromIntegral_3.hs YES 10.13/4.24
full_haskell/Prelude_inRange_4.hs YES 9.88/3.98
full_haskell/Prelude_reverse_1.hs YES 10.26/3.98
full_haskell/FiniteMap_filterFM_7.hs YES 58.28/38.45
full_haskell/Prelude_enumFromThen_6.hs MAYBE 67.09/36.81
full_haskell/Prelude_succ_8.hs pending submission
full_haskell/List_nub_3.hs pending submission
full_haskell/List_findIndex_1.hs YES 13.46/5.20
full_haskell/Prelude_showsPrec_7.hs MAYBE 32.92/16.60
full_haskell/Prelude_toLower_1.hs YES 21.46/10.77
full_haskell/Prelude_words_1.hs pending submission
full_haskell/Queue_addToQueue_1.hs YES 10.04/4.17
full_haskell/List_intersect_2.hs YES 12.78/4.97
full_haskell/FiniteMap_foldFM_LE_6.hs YES 132.26/74.97
full_haskell/Prelude_EQEQ_4.hs pending submission
full_haskell/Prelude_EQEQ_1.hs YES 11.72/4.59
full_haskell/FiniteMap_intersectFM_C_1.hs YES 89.19/55.27
full_haskell/Prelude_show_8.hs pending submission
full_haskell/Prelude_reads_7.hs pending submission
full_haskell/List_isSuffixOf_5.hs YES 13.58/5.11
full_haskell/Prelude_show_7.hs pending submission
full_haskell/List_isSuffixOf_8.hs YES 13.30/5.06
full_haskell/Prelude_readLn_5.hs MAYBE 295.01/259.79
full_haskell/FiniteMap_listToFM_3.hs YES 168.00/131.37
full_haskell/FiniteMap_lookupFM_2.hs YES 11.57/5.18
full_haskell/Prelude_fromInteger_1.hs YES 9.74/3.98
full_haskell/List_sort_6.hs YES 21.34/7.65
full_haskell/Prelude_min_7.hs pending submission
full_haskell/Prelude_print_2.hs YES 11.44/4.62
full_haskell/Prelude_PLUS_3.hs YES 10.11/4.01
full_haskell/Monad_guard_3.hs YES 10.30/4.21
full_haskell/Prelude_readFile_1.hs pending submission
full_haskell/Prelude_realToFrac_7.hs MAYBE 39.79/17.50
full_haskell/Prelude_toEnum_7.hs YES 10.40/4.23
full_haskell/FiniteMap_keysFM_LE_3.hs pending submission
full_haskell/List_genericSplitAt_1.hs pending submission
full_haskell/Prelude_showsPrec_5.hs MAYBE 31.89/19.89
full_haskell/List_nub_11.hs YES 18.58/6.85
full_haskell/FiniteMap_fmToList_LE_12.hs YES 26.18/13.42
full_haskell/List_isPrefixOf_7.hs YES 12.33/4.87
full_haskell/List_sort_10.hs YES 37.34/17.13
full_haskell/FiniteMap_filterFM_8.hs YES 25.63/11.47
full_haskell/Prelude_toRational_3.hs YES 19.41/7.14
full_haskell/Prelude_acosh_1.hs YES 10.43/4.11
full_haskell/FiniteMap_lookupWithDefaultFM_1.hs pending submission
full_haskell/FiniteMap_keysFM_GE_5.hs pending submission
full_haskell/Prelude_LTEQ_2.hs pending submission
full_haskell/Prelude_readParen_1.hs pending submission
full_haskell/Prelude_shows_2.hs pending submission
full_haskell/Prelude_readHex_1.hs YES 65.17/47.97
full_haskell/FiniteMap_elemFM_2.hs YES 12.22/5.29
full_haskell/Prelude_LT_5.hs YES 10.36/4.01
full_haskell/FiniteMap_addToFM_C_11.hs MAYBE 112.22/77.49
full_haskell/Prelude_shows_6.hs YES 10.06/4.22
full_haskell/List_elemIndex_10.hs YES 17.48/6.45
full_haskell/Maybe_catMaybes_1.hs YES 10.76/4.28
full_haskell/FiniteMap_delListFromFM_3.hs YES 137.59/95.08
full_haskell/Prelude_show_4.hs pending submission
full_haskell/FiniteMap_plusFM_6.hs MAYBE 215.27/181.21
full_haskell/Prelude_mapM_3.hs YES 10.67/4.34
full_haskell/Prelude_SLASHEQ_5.hs pending submission
full_haskell/List_union_4.hs YES 18.55/8.46
full_haskell/FiniteMap_plusFM_4.hs YES 66.97/37.75
full_haskell/Prelude_showList_2.hs pending submission
full_haskell/Prelude_subtract_2.hs pending submission
full_haskell/Prelude_realToFrac_5.hs MAYBE 17.13/6.13
full_haskell/Prelude_enumFromThenTo_6.hs MAYBE 382.08/285.73
full_haskell/Prelude_notElem_9.hs YES 10.21/4.03
full_haskell/Maybe_fromJust_1.hs YES 9.75/4.20
full_haskell/Prelude_GTGT_2.hs pending submission
full_haskell/List_isPrefixOf_9.hs YES 12.51/4.88
full_haskell/List_delete_6.hs YES 13.14/5.28
full_haskell/Prelude_readList_4.hs pending submission
full_haskell/Prelude_sequence_2.hs pending submission
full_haskell/Prelude_min_9.hs YES 9.79/3.93
full_haskell/FiniteMap_minusFM_5.hs YES 70.75/43.25
full_haskell/Prelude_maximum_3.hs pending submission
full_haskell/FiniteMap_lookupFM_3.hs YES 12.55/5.50
full_haskell/FiniteMap_addToFM_8.hs pending submission
full_haskell/Prelude_lookup_2.hs YES 10.03/4.23
full_haskell/Prelude_print_5.hs pending submission
full_haskell/FiniteMap_elemFM_9.hs YES 26.71/10.71
full_haskell/Prelude_enumFrom_4.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_10.hs YES 41.53/24.70
full_haskell/Prelude_print_4.hs pending submission
full_haskell/Prelude_quot_1.hs YES 10.73/4.24
full_haskell/Prelude_readLn_8.hs MAYBE 200.52/175.30
full_haskell/List_nub_4.hs YES 17.35/6.67
full_haskell/FiniteMap_maxFM_5.hs YES 11.70/4.88
full_haskell/Prelude_fromEnum_6.hs pending submission
full_haskell/Monad_when_1.hs YES 10.73/4.26
full_haskell/Prelude_product_4.hs MAYBE 116.87/77.28
full_haskell/Prelude_product_3.hs YES 10.24/4.04
full_haskell/Prelude_asinh_1.hs YES 10.55/4.32
full_haskell/Prelude_encodeFloat_1.hs YES 10.66/4.16
full_haskell/List_group_3.hs YES 18.04/6.71
full_haskell/Prelude_shows_12.hs YES 11.80/5.07
full_haskell/Monad_ap_1.hs YES 11.57/4.44
full_haskell/Prelude_reads_2.hs pending submission
full_haskell/FiniteMap_minusFM_6.hs MAYBE 133.66/108.04
full_haskell/Prelude_inRange_1.hs YES 11.51/5.06
full_haskell/List_genericLength_1.hs YES 148.59/93.51
full_haskell/Prelude_enumFromThen_8.hs MAYBE 12.87/4.85
full_haskell/Prelude_EQEQ_3.hs YES 9.50/3.87
full_haskell/Prelude_enumFrom_5.hs MAYBE 11.23/4.35
full_haskell/FiniteMap_minusFM_3.hs YES 86.46/52.35
full_haskell/Prelude_readsPrec_5.hs pending submission
full_haskell/Prelude_readIO_2.hs timeout (wallclock)
full_haskell/Prelude_isHexDigit_1.hs YES 11.95/4.70
full_haskell/Prelude_readParen_6.hs MAYBE 190.50/167.80
full_haskell/Prelude_abs_3.hs pending submission
full_haskell/Prelude_scanr1_1.hs pending submission
full_haskell/Prelude_isNaN_1.hs pending submission
full_haskell/FiniteMap_plusFM_3.hs YES 27.94/13.27
full_haskell/Prelude_read_2.hs timeout (wallclock)
full_haskell/Prelude_EQEQ_2.hs pending submission
full_haskell/FiniteMap_addListToFM_3.hs YES 173.70/132.98
full_haskell/FiniteMap_keysFM_LE_7.hs pending submission
full_haskell/Prelude_LT_7.hs YES 10.13/4.05
full_haskell/Prelude_readDec_1.hs YES 17.21/6.28
full_haskell/List_sort_9.hs YES 40.01/18.91
full_haskell/FiniteMap_delListFromFM_5.hs pending submission
full_haskell/Queue_queueToList_1.hs YES 10.01/4.10
full_haskell/FiniteMap_lookupWithDefaultFM_3.hs YES 13.64/5.74
full_haskell/Prelude_concatMap_1.hs YES 9.43/3.82
full_haskell/Prelude_rangeSize_4.hs YES 15.12/5.62
full_haskell/Prelude_SLASHEQ_9.hs YES 10.36/4.25
full_haskell/FiniteMap_keysFM_LE_9.hs YES 39.69/24.04
full_haskell/FiniteMap_keysFM_LE_2.hs YES 12.12/4.96
full_haskell/Prelude_fromEnum_5.hs YES 12.09/4.52
full_haskell/Prelude_max_6.hs YES 19.05/6.92
full_haskell/Monad_join_4.hs pending submission
full_haskell/FiniteMap_foldFM_GE_11.hs YES 12.42/5.42
full_haskell/List_isSuffixOf_4.hs pending submission
full_haskell/Prelude_concat_1.hs pending submission
full_haskell/FiniteMap_delFromFM_9.hs YES 30.73/11.51
full_haskell/FiniteMap_fmToList_GE_1.hs YES 32.82/17.36
full_haskell/FiniteMap_lookupWithDefaultFM_7.hs YES 93.02/46.22
full_haskell/Prelude_read_5.hs pending submission
full_haskell/FiniteMap_addToFM_2.hs YES 14.32/5.47
full_haskell/FiniteMap_filterFM_4.hs YES 57.20/26.55
full_haskell/Prelude_range_2.hs YES 10.18/4.64
full_haskell/Prelude_mapM__1.hs YES 10.32/4.32
full_haskell/FiniteMap_minusFM_12.hs YES 63.40/35.59
full_haskell/FiniteMap_listToFM_8.hs YES 150.32/107.41
full_haskell/List_delete_3.hs YES 13.32/8.08
full_haskell/Prelude_max_2.hs YES 16.00/5.86
full_haskell/FiniteMap_eltsFM_GE_7.hs YES 196.27/134.94
full_haskell/Monad_liftM_3.hs YES 11.02/4.36
full_haskell/FiniteMap_fmToList_GE_7.hs pending submission
full_haskell/FiniteMap_addListToFM_5.hs YES 204.31/162.82
full_haskell/FiniteMap_addToFM_C_7.hs pending submission
full_haskell/Prelude_CARET_1.hs MAYBE 205.77/133.36
full_haskell/Monad_when_4.hs YES 10.72/4.24
full_haskell/Prelude_ceiling_1.hs YES 18.81/6.67
full_haskell/Prelude_compare_5.hs YES 10.39/4.27
full_haskell/FiniteMap_elemFM_11.hs YES 12.31/5.07
full_haskell/Monad_foldM_1.hs MAYBE 11.38/4.52
full_haskell/Prelude_minimum_7.hs pending submission
full_haskell/Prelude_readsPrec_8.hs pending submission
full_haskell/Monad_liftM2_2.hs pending submission
full_haskell/Prelude_notElem_6.hs YES 9.95/3.98
full_haskell/FiniteMap_addToFM_C_8.hs YES 97.68/65.41
full_haskell/FiniteMap_plusFM_8.hs YES 31.78/13.14
full_haskell/FiniteMap_addListToFM_C_12.hs YES 27.50/11.14
full_haskell/List_intersectBy_1.hs YES 13.11/5.02
full_haskell/List_unfoldr_1.hs MAYBE 12.92/5.02
full_haskell/Prelude_significand_1.hs YES 12.58/5.03
full_haskell/Prelude_toEnum_8.hs YES 10.02/3.98
full_haskell/List_nub_6.hs pending submission
full_haskell/Prelude_showSigned_3.hs pending submission
full_haskell/Prelude_fromEnum_3.hs YES 9.46/3.80
full_haskell/FiniteMap_minusFM_8.hs pending submission
full_haskell/List_insert_1.hs YES 31.53/15.90
full_haskell/List_elemIndices_12.hs pending submission
full_haskell/Prelude_isNegativeZero_1.hs YES 9.12/3.79
full_haskell/Prelude_reads_6.hs timeout (wallclock)
full_haskell/Prelude_SLASHEQ_6.hs YES 10.22/4.19
full_haskell/Prelude_max_7.hs pending submission
full_haskell/Monad_guard_2.hs YES 10.44/4.20
full_haskell/FiniteMap_foldFM_LE_4.hs YES 20.26/7.50
full_haskell/FiniteMap_intersectFM_2.hs pending submission
full_haskell/Prelude_sin_1.hs YES 9.44/3.83
full_haskell/Monad_zipWithM__4.hs YES 11.19/4.40
full_haskell/Prelude_enumFromThen_3.hs MAYBE 96.55/58.59
full_haskell/List_intersect_11.hs YES 14.83/5.79
full_haskell/List_isPrefixOf_5.hs YES 12.32/4.82
full_haskell/Prelude_getLine_1.hs MAYBE 13.01/4.81
full_haskell/Prelude_reads_1.hs pending submission
full_haskell/Prelude_foldl_1.hs YES 9.61/3.94
full_haskell/List_unionBy_1.hs pending submission
full_haskell/Prelude_minimum_12.hs YES 17.71/6.56
full_haskell/Prelude_GT_1.hs YES 27.35/12.05
full_haskell/List_BACKSLBACKSL_10.hs YES 19.45/7.63
full_haskell/Prelude_minimum_11.hs YES 10.64/4.32
full_haskell/Prelude_showsPrec_6.hs YES 9.47/3.92
full_haskell/List_genericDrop_1.hs YES 13.20/5.04
full_haskell/Prelude_signum_2.hs YES 10.34/4.09
full_haskell/Prelude_fmap_3.hs YES 9.76/3.85
full_haskell/Prelude_zipWith_1.hs pending submission
full_haskell/Prelude_minBound_3.hs YES 10.01/4.37
full_haskell/List_sort_3.hs YES 14.98/5.60
full_haskell/Monad_mplus_3.hs YES 10.39/4.19
full_haskell/FiniteMap_addListToFM_12.hs YES 28.84/13.00
full_haskell/List_isSuffixOf_7.hs pending submission
full_haskell/FiniteMap_addToFM_C_1.hs YES 33.85/17.71
full_haskell/List_find_1.hs YES 13.15/5.01
full_haskell/FiniteMap_delListFromFM_6.hs MAYBE 150.34/119.20
full_haskell/Prelude_either_1.hs YES 9.80/4.11
full_haskell/List_insert_4.hs YES 22.68/8.38
full_haskell/FiniteMap_minusFM_4.hs YES 91.06/60.90
full_haskell/List_transpose_1.hs YES 12.98/5.01
full_haskell/Prelude_mapM__3.hs YES 10.22/4.24
full_haskell/Prelude_PLUS_2.hs YES 9.71/3.91
full_haskell/Prelude_ceiling_2.hs YES 21.45/7.82
full_haskell/Monad_liftM2_4.hs YES 11.23/4.57
full_haskell/Monad_liftM4_3.hs YES 11.11/4.39
full_haskell/FiniteMap_addToFM_6.hs MAYBE 115.10/88.44
full_haskell/List_elemIndices_2.hs pending submission
full_haskell/List_intersect_5.hs pending submission
full_haskell/Prelude_LTEQ_3.hs YES 9.21/3.91
full_haskell/Prelude_product_2.hs YES 10.05/4.00
full_haskell/Monad_unless_2.hs YES 11.27/4.65
full_haskell/Prelude_min_5.hs YES 10.50/4.16
full_haskell/Prelude_logBase_1.hs YES 9.63/3.92
full_haskell/Prelude_showSigned_2.hs YES 10.55/4.21
full_haskell/FiniteMap_elemFM_10.hs YES 25.87/10.91
full_haskell/Prelude_show_5.hs pending submission
full_haskell/FiniteMap_isEmptyFM_1.hs pending submission
full_haskell/FiniteMap_delFromFM_6.hs MAYBE 140.64/104.90
full_haskell/Prelude_notElem_12.hs pending submission
full_haskell/Prelude_elem_7.hs pending submission
full_haskell/Prelude_numerator_1.hs YES 9.21/3.86
full_haskell/FiniteMap_foldFM_LE_1.hs YES 38.33/24.48
full_haskell/FiniteMap_maxFM_11.hs YES 11.86/4.91
full_haskell/FiniteMap_keysFM_LE_8.hs YES 12.16/5.07
full_haskell/Queue_emptyQueue_1.hs YES 9.25/3.92
full_haskell/Prelude_readLitChar_1.hs MAYBE 158.31/138.77
full_haskell/FiniteMap_lookupWithDefaultFM_4.hs YES 24.44/9.06
full_haskell/Monad_liftM4_2.hs YES 11.62/4.66
full_haskell/Prelude_LTEQ_5.hs YES 9.59/4.97
full_haskell/Prelude_unzip_1.hs pending submission
full_haskell/Prelude_showSigned_1.hs YES 12.91/5.04
full_haskell/Prelude_mapM_1.hs MAYBE 11.28/4.35
full_haskell/List_intersect_12.hs pending submission
full_haskell/Prelude_signum_4.hs YES 10.54/4.17
full_haskell/FiniteMap_keysFM_LE_5.hs YES 15.46/5.93
full_haskell/FiniteMap_minusFM_9.hs YES 58.98/31.06
full_haskell/FiniteMap_delFromFM_1.hs pending submission
full_haskell/Prelude_readsPrec_3.hs timeout (wallclock)
full_haskell/Prelude_isInfinite_1.hs YES 9.66/4.08
full_haskell/FiniteMap_fmToList_LE_4.hs YES 24.46/9.35
full_haskell/Prelude_readFloat_3.hs pending submission
full_haskell/Prelude_reads_3.hs timeout (wallclock)
full_haskell/List_isPrefixOf_6.hs YES 10.81/4.65
full_haskell/Prelude_shows_7.hs MAYBE 33.77/16.54
full_haskell/Prelude_STAR_1.hs MAYBE 161.39/112.04
full_haskell/FiniteMap_listToFM_5.hs YES 186.95/149.10
full_haskell/List_partition_1.hs YES 12.53/4.86
full_haskell/Monad_filterM_4.hs YES 11.49/4.42
full_haskell/Prelude_CARET_3.hs pending submission
full_haskell/Prelude_fromEnum_1.hs pending submission
full_haskell/Prelude_zip_1.hs pending submission
full_haskell/Prelude_LT_10.hs pending submission
full_haskell/FiniteMap_elemFM_3.hs YES 13.23/5.61
full_haskell/FiniteMap_fmToList_GE_10.hs YES 26.33/11.53
full_haskell/Prelude_max_9.hs YES 18.48/6.97
full_haskell/Prelude_showsPrec_12.hs YES 11.85/4.71
full_haskell/Prelude_sequence__4.hs YES 10.55/4.33
full_haskell/Prelude_properFraction_3.hs YES 12.02/4.95
full_haskell/Prelude_show_2.hs pending submission
full_haskell/Prelude_max_11.hs pending submission
full_haskell/List_BACKSLBACKSL_6.hs YES 12.81/4.94
full_haskell/Prelude_fmap_4.hs YES 9.60/4.13
full_haskell/FiniteMap_foldFM_LE_2.hs pending submission
full_haskell/Prelude_MINUS_3.hs pending submission
full_haskell/FiniteMap_minFM_8.hs YES 11.50/4.78
full_haskell/List_elemIndices_8.hs YES 20.10/7.57
full_haskell/Monad_mapAndUnzipM_1.hs MAYBE 45.39/31.63
full_haskell/Prelude_enumFrom_6.hs MAYBE 51.28/28.65
full_haskell/Prelude_readList_6.hs timeout (wallclock)
full_haskell/Prelude_shows_11.hs pending submission
full_haskell/FiniteMap_lookupFM_5.hs pending submission
full_haskell/Monad_guard_1.hs YES 10.36/4.20
full_haskell/Prelude_elem_12.hs YES 11.69/4.42
full_haskell/Prelude_GTEQ_7.hs pending submission
full_haskell/Prelude_const_1.hs pending submission
full_haskell/FiniteMap_delListFromFM_11.hs YES 125.80/82.09
full_haskell/List_intersect_9.hs YES 17.81/6.65
full_haskell/FiniteMap_intersectFM_C_11.hs pending submission
full_haskell/Prelude_SLASHEQ_10.hs YES 11.16/4.33
full_haskell/List_isPrefixOf_1.hs YES 13.44/5.12
full_haskell/List_insert_9.hs pending submission
full_haskell/Prelude_inRange_3.hs YES 10.45/4.35
full_haskell/FiniteMap_elemFM_6.hs YES 187.62/134.20
full_haskell/Prelude_compare_8.hs YES 10.03/3.97
full_haskell/FiniteMap_fmToList_LE_8.hs pending submission
full_haskell/Prelude_lookup_9.hs pending submission
full_haskell/Prelude_range_1.hs MAYBE 56.54/35.47
full_haskell/Prelude_readIO_3.hs pending submission
full_haskell/FiniteMap_foldFM_GE_6.hs YES 153.64/89.66
full_haskell/Prelude_fromIntegral_4.hs YES 10.22/5.46
full_haskell/Prelude_repeat_1.hs pending submission
full_haskell/FiniteMap_listToFM_9.hs YES 29.74/14.97
full_haskell/FiniteMap_filterFM_5.hs YES 36.18/19.59
full_haskell/Prelude_GT_2.hs YES 9.62/3.90
full_haskell/FiniteMap_plusFM_C_2.hs YES 60.61/29.40
full_haskell/List_insert_8.hs YES 12.35/4.84
full_haskell/Prelude_PLUSPLUS_1.hs YES 10.33/4.20
full_haskell/FiniteMap_intersectFM_3.hs pending submission
full_haskell/List_mapAccumL_1.hs YES 12.38/4.94
full_haskell/Prelude_toEnum_2.hs YES 9.93/3.97
full_haskell/Prelude_isDigit_1.hs YES 10.73/4.40
full_haskell/Prelude_quotRem_1.hs YES 10.94/4.30
full_haskell/Prelude_round_3.hs pending submission
full_haskell/List_elemIndices_10.hs pending submission
full_haskell/Prelude_enumFromTo_4.hs YES 32.80/16.29
full_haskell/Prelude_inRange_2.hs YES 9.85/4.19
full_haskell/Prelude_mod_1.hs paused
full_haskell/Prelude_span_1.hs paused
full_haskell/List_BACKSLBACKSL_7.hs paused
full_haskell/Prelude_realToFrac_6.hs paused
full_haskell/FiniteMap_minusFM_7.hs paused
full_haskell/Prelude_pred_5.hs paused
full_haskell/Prelude_GTEQ_10.hs paused
full_haskell/Prelude_GT_10.hs paused
full_haskell/Prelude_fromEnum_8.hs paused
full_haskell/Monad_liftM5_3.hs paused
full_haskell/Prelude_odd_1.hs paused
full_haskell/FiniteMap_addToFM_C_10.hs paused
full_haskell/Prelude_minBound_4.hs pending submission
full_haskell/Prelude_showsPrec_3.hs paused
full_haskell/FiniteMap_listToFM_6.hs paused
full_haskell/Prelude_GTGTEQ_2.hs paused
full_haskell/List_isSuffixOf_2.hs pending submission
full_haskell/List_isSuffixOf_9.hs pending submission
full_haskell/Prelude_return_3.hs pending submission
full_haskell/Prelude_sequence_4.hs pending submission
full_haskell/FiniteMap_delFromFM_12.hs pending submission
full_haskell/List_intersect_1.hs pending submission
full_haskell/Prelude_showLitChar_1.hs paused
full_haskell/List_BACKSLBACKSL_4.hs paused
full_haskell/Prelude_MINUS_2.hs paused
full_haskell/Prelude_toEnum_6.hs paused
full_haskell/Prelude_GT_9.hs paused
full_haskell/Prelude_atanh_1.hs paused
full_haskell/FiniteMap_foldFM_GE_9.hs paused
full_haskell/Prelude_GT_8.hs paused
full_haskell/List_genericIndex_1.hs paused
full_haskell/Prelude_elem_6.hs paused
full_haskell/Monad_mapAndUnzipM_2.hs paused
full_haskell/List_nub_10.hs paused
full_haskell/Prelude_min_3.hs paused
full_haskell/Prelude_realToFrac_3.hs paused
full_haskell/FiniteMap_foldFM_GE_1.hs paused
full_haskell/Prelude_map_1.hs paused
full_haskell/Prelude_flip_1.hs paused
full_haskell/FiniteMap_minFM_9.hs paused
full_haskell/Prelude_show_11.hs paused
full_haskell/Prelude_showChar_1.hs paused
full_haskell/List_elemIndices_4.hs paused
full_haskell/FiniteMap_delFromFM_2.hs paused
full_haskell/List_delete_7.hs paused
full_haskell/Prelude_LT_11.hs paused
full_haskell/List_minimumBy_1.hs paused
full_haskell/List_deleteBy_1.hs paused
full_haskell/Prelude_GTEQ_2.hs paused
full_haskell/FiniteMap_eltsFM_LE_8.hs paused
full_haskell/Prelude_SLASH_1.hs paused
full_haskell/Monad_unless_4.hs paused
full_haskell/Prelude_approxRational_1.hs paused
full_haskell/Prelude_shows_4.hs paused
full_haskell/Prelude_PERCENT_1.hs paused
full_haskell/Prelude_realToFrac_2.hs paused
full_haskell/List_group_12.hs paused
full_haskell/Monad_mzero_2.hs paused
full_haskell/FiniteMap_delFromFM_7.hs paused
full_haskell/Prelude_enumFromTo_5.hs paused
full_haskell/List_delete_8.hs paused
full_haskell/FiniteMap_keysFM_LE_11.hs paused
full_haskell/Prelude_fromEnum_2.hs paused
full_haskell/List_nub_7.hs paused
full_haskell/FiniteMap_intersectFM_C_2.hs paused
full_haskell/FiniteMap_fmToList_GE_11.hs paused
full_haskell/Prelude_fmap_1.hs paused
full_haskell/Prelude_readIO_5.hs paused
full_haskell/List_intersect_10.hs pending submission
full_haskell/FiniteMap_maxFM_8.hs pending submission
full_haskell/List_isSuffixOf_11.hs pending submission
full_haskell/Prelude_enumFrom_1.hs pending submission
full_haskell/FiniteMap_addToFM_7.hs pending submission
full_haskell/FiniteMap_minFM_12.hs pending submission
full_haskell/Prelude_fail_1.hs pending submission
full_haskell/List_BACKSLBACKSL_12.hs pending submission
full_haskell/Prelude_notElem_2.hs pending submission
full_haskell/Prelude_lookup_1.hs pending submission
full_haskell/List_group_11.hs pending submission
full_haskell/Monad_replicateM__2.hs pending submission
full_haskell/Prelude_index_1.hs pending submission
full_haskell/Prelude_AMPAMP_1.hs pending submission
full_haskell/List_elemIndices_11.hs pending submission
full_haskell/List_insert_6.hs pending submission
full_haskell/Prelude_mapM_4.hs paused
full_haskell/Prelude_takeWhile_1.hs paused
full_haskell/Prelude_readIO_7.hs paused
full_haskell/Prelude_SLASHEQ_4.hs paused
full_haskell/List_insert_3.hs pending submission
full_haskell/Prelude_lcm_1.hs pending submission
full_haskell/Prelude_readIO_4.hs pending submission
full_haskell/List_sort_12.hs pending submission
full_haskell/Prelude_read_8.hs pending submission
full_haskell/List_union_5.hs pending submission
full_haskell/Prelude_sqrt_1.hs pending submission
full_haskell/FiniteMap_fmToList_GE_8.hs pending submission
full_haskell/Prelude_floor__1.hs pending submission
full_haskell/List_nubBy_1.hs pending submission
full_haskell/FiniteMap_addListToFM_9.hs pending submission
full_haskell/FiniteMap_plusFM_C_3.hs pending submission
full_haskell/Prelude_max_1.hs pending submission
full_haskell/Prelude_isAscii_1.hs pending submission
full_haskell/Prelude_max_3.hs pending submission
full_haskell/Prelude_GTEQ_5.hs pending submission
full_haskell/Prelude_GT_4.hs pending submission
full_haskell/FiniteMap_fmToList_LE_7.hs pending submission
full_haskell/Prelude_compare_1.hs pending submission
full_haskell/FiniteMap_intersectFM_C_10.hs pending submission
full_haskell/Prelude_lookup_12.hs pending submission
full_haskell/Prelude_enumFromTo_1.hs pending submission
full_haskell/FiniteMap_plusFM_C_10.hs pending submission
full_haskell/Monad_join_2.hs pending submission
full_haskell/Prelude_sum_3.hs pending submission
full_haskell/Prelude_min_8.hs pending submission
full_haskell/FiniteMap_maxFM_3.hs pending submission
full_haskell/Prelude_any_1.hs pending submission
full_haskell/Prelude_GTGT___1.hs pending submission
full_haskell/Prelude_isAlphaNum_1.hs pending submission
full_haskell/Prelude_enumFromThen_5.hs pending submission
full_haskell/FiniteMap_fmToList_LE_6.hs pending submission
full_haskell/Prelude_sequence_3.hs pending submission
full_haskell/Prelude_GTGTEQ__1.hs pending submission
full_haskell/FiniteMap_addListToFM_4.hs pending submission
full_haskell/Prelude_fromInt_4.hs pending submission
full_haskell/FiniteMap_keysFM_LE_10.hs pending submission
full_haskell/FiniteMap_lookupFM_1.hs pending submission
full_haskell/Prelude_pred_6.hs pending submission
full_haskell/Prelude_succ_4.hs pending submission
full_haskell/List_intersect_8.hs pending submission
full_haskell/FiniteMap_addListToFM_7.hs pending submission
full_haskell/Prelude_showList_10.hs pending submission
full_haskell/List_elemIndices_1.hs pending submission
full_haskell/List_genericReplicate_1.hs pending submission
full_haskell/Prelude_EQEQ_8.hs pending submission
full_haskell/Monad_foldM__4.hs pending submission
full_haskell/FiniteMap_addToFM_11.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_5.hs pending submission
full_haskell/FiniteMap_fmToList_LE_2.hs pending submission
full_haskell/FiniteMap_unitFM_1.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_10.hs pending submission
full_haskell/List_insert_12.hs pending submission
full_haskell/Prelude_recip_1.hs pending submission
full_haskell/List_union_1.hs pending submission
full_haskell/FiniteMap_plusFM_1.hs pending submission
full_haskell/Prelude_showList_1.hs pending submission
full_haskell/Prelude_LT_9.hs pending submission
full_haskell/FiniteMap_plusFM_C_8.hs pending submission
full_haskell/Prelude_shows_9.hs pending submission
full_haskell/FiniteMap_delListFromFM_1.hs pending submission
full_haskell/Prelude_mapM__2.hs pending submission
full_haskell/List_elemIndices_9.hs pending submission
full_haskell/Prelude_mapM_2.hs pending submission
full_haskell/FiniteMap_delFromFM_8.hs pending submission
full_haskell/FiniteMap_intersectFM_C_9.hs pending submission
full_haskell/Prelude_showsPrec_2.hs pending submission
full_haskell/FiniteMap_filterFM_2.hs pending submission
full_haskell/FiniteMap_intersectFM_8.hs pending submission
full_haskell/List_elemIndex_3.hs pending submission
full_haskell/Prelude_showList_3.hs pending submission
full_haskell/Prelude_SLASHEQ_3.hs pending submission
full_haskell/Monad_filterM_2.hs pending submission
full_haskell/Prelude_toEnum_5.hs pending submission
full_haskell/Prelude_GTEQ_8.hs pending submission
full_haskell/Prelude_LTEQ_4.hs pending submission
full_haskell/FiniteMap_addToFM_3.hs pending submission
full_haskell/Prelude_fromRational_3.hs pending submission
full_haskell/Prelude_enumFromThen_1.hs pending submission
full_haskell/FiniteMap_addListToFM_C_9.hs pending submission
full_haskell/FiniteMap_delFromFM_5.hs pending submission
full_haskell/List_delete_4.hs pending submission
full_haskell/Prelude_toInt_1.hs pending submission
full_haskell/Prelude_isAlpha_1.hs pending submission
full_haskell/FiniteMap_foldFM_LE_7.hs pending submission
full_haskell/Prelude_fromDouble_3.hs pending submission
full_haskell/Maybe_isJust_1.hs pending submission
full_haskell/FiniteMap_foldFM_LE_11.hs pending submission
full_haskell/FiniteMap_minFM_6.hs pending submission
full_haskell/Prelude_GTEQ_6.hs pending submission
full_haskell/Prelude_toRational_1.hs pending submission
full_haskell/List_delete_12.hs pending submission
full_haskell/FiniteMap_listToFM_2.hs pending submission
full_haskell/Prelude_and_1.hs pending submission
full_haskell/List_union_10.hs pending submission
full_haskell/Prelude_PLUS_4.hs pending submission
full_haskell/FiniteMap_intersectFM_12.hs pending submission
full_haskell/FiniteMap_intersectFM_10.hs pending submission
full_haskell/List_BACKSLBACKSL_2.hs pending submission
full_haskell/FiniteMap_fmToList_GE_3.hs pending submission
full_haskell/FiniteMap_minFM_5.hs pending submission
full_haskell/Prelude_EQLTLT_4.hs pending submission
full_haskell/Monad_replicateM__1.hs pending submission
full_haskell/Prelude_elem_5.hs pending submission
full_haskell/Prelude_readSigned_3.hs pending submission
full_haskell/Monad_zipWithM__3.hs pending submission
full_haskell/Prelude_pi_1.hs pending submission
full_haskell/Prelude_round_1.hs pending submission
full_haskell/FiniteMap_foldFM_LE_9.hs pending submission
full_haskell/FiniteMap_plusFM_C_12.hs pending submission
full_haskell/Prelude_init_1.hs pending submission
full_haskell/Maybe_maybeToList_1.hs pending submission
full_haskell/Prelude_readParen_8.hs pending submission
full_haskell/Prelude_ord_1.hs pending submission
full_haskell/Monad_replicateM__3.hs pending submission
full_haskell/Prelude_EQEQ_10.hs pending submission
full_haskell/Monad_filterM_3.hs pending submission
full_haskell/Prelude_SLASHEQ_11.hs pending submission
full_haskell/Prelude_enumFromThenTo_3.hs pending submission
full_haskell/Prelude_isLatin1_1.hs pending submission
full_haskell/Prelude_fst_1.hs pending submission
full_haskell/Prelude_max_10.hs pending submission
full_haskell/Prelude_GTGTEQ_3.hs pending submission
full_haskell/List_union_7.hs pending submission
full_haskell/Prelude_unwords_1.hs pending submission
full_haskell/FiniteMap_lookupFM_9.hs pending submission
full_haskell/Prelude_read_7.hs pending submission
full_haskell/Prelude_readFloat_1.hs pending submission
full_haskell/Prelude_print_11.hs pending submission
full_haskell/Prelude_minBound_2.hs pending submission
full_haskell/Prelude_LT_3.hs pending submission
full_haskell/Prelude_readParen_4.hs pending submission
full_haskell/Prelude_isLower_1.hs pending submission
full_haskell/FiniteMap_minusFM_11.hs pending submission
full_haskell/Prelude_lookup_10.hs pending submission
full_haskell/Monad_filterM_1.hs pending submission
full_haskell/Prelude_read_3.hs pending submission
full_haskell/Prelude_showList_11.hs pending submission
full_haskell/FiniteMap_plusFM_7.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_12.hs pending submission
full_haskell/FiniteMap_intersectFM_C_12.hs pending submission
full_haskell/Prelude_lexDigits_1.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_8.hs pending submission
full_haskell/FiniteMap_addToFM_C_5.hs pending submission
full_haskell/Prelude_notElem_5.hs pending submission
full_haskell/Prelude_maximum_4.hs pending submission
full_haskell/Prelude_min_11.hs pending submission
full_haskell/FiniteMap_foldFM_GE_8.hs pending submission
full_haskell/Prelude_ioError_1.hs pending submission
full_haskell/Monad_when_2.hs pending submission
full_haskell/FiniteMap_minFM_10.hs pending submission
full_haskell/Prelude_CARETCARET_3.hs pending submission
full_haskell/FiniteMap_elemFM_4.hs pending submission
full_haskell/Prelude_show_12.hs pending submission
full_haskell/List_intersect_7.hs pending submission
full_haskell/Monad_replicateM_1.hs pending submission
full_haskell/Prelude_minimum_5.hs pending submission
full_haskell/Monad_mplus_2.hs pending submission
full_haskell/Prelude_negate_3.hs pending submission
full_haskell/List_group_4.hs pending submission
full_haskell/Prelude_isOctDigit_1.hs pending submission
full_haskell/FiniteMap_lookupFM_4.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_9.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_6.hs pending submission
full_haskell/List_isPrefixOf_11.hs pending submission
full_haskell/List_maximumBy_1.hs pending submission
full_haskell/Monad_liftM2_3.hs pending submission
full_haskell/Prelude_enumFromThenTo_8.hs pending submission
full_haskell/List_intersect_6.hs pending submission
full_haskell/Prelude_head_1.hs pending submission
full_haskell/FiniteMap_filterFM_10.hs pending submission
full_haskell/FiniteMap_plusFM_C_11.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_12.hs pending submission
full_haskell/Monad_liftM2_1.hs pending submission
full_haskell/Prelude_even_1.hs pending submission
full_haskell/FiniteMap_plusFM_C_9.hs pending submission
full_haskell/Prelude_pred_3.hs pending submission
full_haskell/Prelude_index_4.hs pending submission
full_haskell/Prelude_GTGT_1.hs pending submission
full_haskell/Prelude_fromEnum_7.hs pending submission
full_haskell/Prelude_showInt_1.hs pending submission
full_haskell/Prelude_floor_1.hs pending submission
full_haskell/Prelude_STARSTAR_1.hs pending submission
full_haskell/List_delete_5.hs pending submission
full_haskell/Prelude_elem_8.hs pending submission
full_haskell/Prelude_readsPrec_4.hs pending submission
full_haskell/List_union_2.hs pending submission
full_haskell/Prelude_readsPrec_2.hs pending submission
full_haskell/Prelude_take_1.hs pending submission
full_haskell/Prelude_properFraction_2.hs pending submission
full_haskell/Prelude_sequence_1.hs pending submission
full_haskell/List_BACKSLBACKSL_11.hs pending submission
full_haskell/Prelude_elem_9.hs pending submission
full_haskell/List_insertBy_1.hs pending submission
full_haskell/Prelude_shows_1.hs pending submission
full_haskell/FiniteMap_lookupFM_11.hs pending submission
full_haskell/Prelude_notElem_4.hs pending submission
full_haskell/Prelude_LT_4.hs pending submission
full_haskell/Prelude_GTEQ_9.hs pending submission
full_haskell/List_genericLength_4.hs pending submission
full_haskell/Prelude_minimum_10.hs pending submission
full_haskell/Prelude_truncate_1.hs pending submission
full_haskell/Prelude_index_2.hs pending submission
full_haskell/Monad_zipWithM__2.hs pending submission
full_haskell/Prelude_succ_3.hs pending submission
full_haskell/Prelude_replicate_1.hs pending submission
full_haskell/Prelude_print_7.hs pending submission
full_haskell/Prelude_print_8.hs pending submission
full_haskell/Prelude_realToFrac_1.hs pending submission
full_haskell/Prelude_maybe_1.hs pending submission
full_haskell/Prelude_MINUS_4.hs pending submission
full_haskell/Prelude_realToFrac_8.hs pending submission
full_haskell/List_tails_1.hs pending submission
full_haskell/Prelude_shows_8.hs pending submission
full_haskell/Prelude_recip_2.hs pending submission
full_haskell/Prelude_lookup_4.hs pending submission
full_haskell/List_union_9.hs pending submission
full_haskell/List_union_12.hs pending submission
full_haskell/Prelude_last_1.hs pending submission
full_haskell/List_sort_7.hs pending submission
full_haskell/List_insert_10.hs pending submission
full_haskell/Prelude_enumFromTo_8.hs pending submission
full_haskell/List_nub_1.hs pending submission
full_haskell/Monad_ap_3.hs pending submission
full_haskell/Prelude_notElem_3.hs pending submission
full_haskell/Monad_when_3.hs pending submission
full_haskell/List_isPrefixOf_8.hs pending submission
full_haskell/Prelude_min_12.hs pending submission
full_haskell/Prelude_CARETCARET_2.hs pending submission
full_haskell/FiniteMap_listToFM_4.hs pending submission
full_haskell/Prelude_readLn_4.hs pending submission
full_haskell/Prelude_shows_10.hs pending submission
full_haskell/FiniteMap_foldFM_GE_12.hs pending submission
full_haskell/Prelude_readIO_6.hs pending submission
full_haskell/FiniteMap_intersectFM_C_7.hs pending submission
full_haskell/Monad_liftM4_1.hs pending submission
full_haskell/Prelude_toRational_2.hs pending submission
full_haskell/Monad_join_3.hs pending submission
full_haskell/Prelude_PLUS_1.hs pending submission
full_haskell/Prelude_showsPrec_8.hs pending submission
full_haskell/Monad_liftM3_2.hs pending submission
full_haskell/Prelude_fromInteger_3.hs pending submission
full_haskell/Monad_mzero_3.hs pending submission
full_haskell/FiniteMap_intersectFM_C_8.hs pending submission
full_haskell/Prelude_LT_2.hs pending submission
full_haskell/List_union_6.hs pending submission
full_haskell/Monad_liftM5_1.hs pending submission
full_haskell/List_sortBy_1.hs pending submission
full_haskell/FiniteMap_keysFM_LE_12.hs pending submission
full_haskell/Prelude_LTEQ_7.hs pending submission
full_haskell/List_findIndices_1.hs pending submission
full_haskell/FiniteMap_delFromFM_10.hs pending submission
full_haskell/FiniteMap_delListFromFM_7.hs pending submission
full_haskell/Prelude_EQLTLT_2.hs pending submission
full_haskell/Prelude_succ_2.hs pending submission
full_haskell/Prelude_minimum_3.hs pending submission
full_haskell/Monad_mplus_1.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_11.hs pending submission
full_haskell/Prelude_fail_3.hs pending submission
full_haskell/List_sort_5.hs pending submission
full_haskell/Prelude_fail___1.hs pending submission
full_haskell/Prelude_uncurry_1.hs pending submission
full_haskell/Prelude_lookup_3.hs pending submission
full_haskell/Prelude_LT_6.hs pending submission
full_haskell/Prelude_log_1.hs pending submission
full_haskell/Prelude_lexLitChar_1.hs pending submission
full_haskell/Prelude_GTGT_3.hs pending submission
full_haskell/Prelude_range_4.hs pending submission
full_haskell/Prelude_reads_4.hs pending submission
full_haskell/List_insert_11.hs pending submission
full_haskell/FiniteMap_emptyFM_1.hs pending submission
full_haskell/Prelude_showsPrec_11.hs pending submission
full_haskell/Prelude_interact_1.hs pending submission
full_haskell/FiniteMap_keysFM_GE_2.hs pending submission
full_haskell/Monad_foldM__3.hs pending submission
full_haskell/Prelude_fromRational_1.hs pending submission
full_haskell/List_elemIndex_12.hs pending submission
full_haskell/Monad_liftM5_2.hs pending submission
full_haskell/FiniteMap_keysFM_GE_12.hs pending submission
full_haskell/Prelude_fromDouble_2.hs pending submission
full_haskell/List_union_8.hs pending submission
full_haskell/List_delete_2.hs pending submission
full_haskell/Prelude_maximum_6.hs pending submission
full_haskell/Prelude_fromRational_2.hs pending submission
full_haskell/Prelude_cycle_1.hs pending submission
full_haskell/Prelude_min_2.hs pending submission
full_haskell/List_isPrefixOf_10.hs pending submission
full_haskell/FiniteMap_addToFM_12.hs pending submission
full_haskell/List_deleteFirstsBy_1.hs pending submission
full_haskell/Prelude_minimum_9.hs pending submission
full_haskell/Prelude_EQEQ_12.hs pending submission
full_haskell/Prelude_splitAt_1.hs pending submission
full_haskell/Prelude_round_2.hs pending submission
full_haskell/List_nub_8.hs pending submission
full_haskell/Prelude_LTEQ_12.hs pending submission
full_haskell/Prelude_rangeSize_2.hs pending submission
full_haskell/Prelude_enumFromThenTo_2.hs pending submission
full_haskell/Prelude_reads_8.hs pending submission
full_haskell/Prelude_threadToIOResult_1.hs pending submission
full_haskell/Monad_join_1.hs pending submission
full_haskell/List_genericLength_3.hs pending submission
full_haskell/Prelude_fromInt_2.hs pending submission
full_haskell/Prelude_minimum_8.hs pending submission
full_haskell/Prelude_max_4.hs pending submission
full_haskell/FiniteMap_keysFM_1.hs pending submission
full_haskell/FiniteMap_delListFromFM_10.hs pending submission
full_haskell/Monad_liftM3_3.hs pending submission
full_haskell/Prelude_notElem_8.hs pending submission
full_haskell/Prelude_compare_9.hs pending submission
full_haskell/Prelude_lines_1.hs pending submission
full_haskell/Prelude_maximum_11.hs pending submission
full_haskell/FiniteMap_minusFM_1.hs pending submission
full_haskell/Prelude_readsPrec_6.hs pending submission
full_haskell/List_BACKSLBACKSL_3.hs pending submission
full_haskell/List_elemIndex_8.hs pending submission
full_haskell/FiniteMap_keysFM_LE_4.hs pending submission
full_haskell/Prelude_DOT_1.hs pending submission
full_haskell/Prelude_sinh_1.hs pending submission
full_haskell/Prelude_GTEQ_4.hs pending submission
full_haskell/List_sort_1.hs pending submission
full_haskell/Prelude_rangeSize_3.hs pending submission
full_haskell/Prelude_toInteger_1.hs pending submission
full_haskell/Monad_ap_2.hs pending submission
full_haskell/FiniteMap_addToFM_10.hs pending submission
full_haskell/Prelude_toEnum_1.hs pending submission
full_haskell/Prelude_EQLTLT_3.hs pending submission
full_haskell/List_sort_8.hs pending submission
full_haskell/Prelude_compare_12.hs pending submission
full_haskell/Prelude_readIO_1.hs pending submission
full_haskell/FiniteMap_filterFM_9.hs pending submission
full_haskell/List_elemIndex_4.hs pending submission
full_haskell/List_delete_1.hs pending submission
full_haskell/Prelude_notElem_10.hs pending submission
full_haskell/FiniteMap_lookupFM_8.hs pending submission
full_haskell/List_insert_5.hs pending submission
full_haskell/Prelude_showList_9.hs pending submission
full_haskell/Prelude_max_5.hs pending submission
full_haskell/List_elemIndices_5.hs pending submission
full_haskell/List_group_5.hs pending submission
full_haskell/FiniteMap_fmToList_LE_3.hs pending submission
full_haskell/FiniteMap_filterFM_3.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_6.hs pending submission
full_haskell/FiniteMap_plusFM_11.hs pending submission
full_haskell/FiniteMap_foldFM_GE_7.hs pending submission
full_haskell/FiniteMap_maxFM_7.hs pending submission
full_haskell/Monad_mapAndUnzipM_3.hs pending submission
full_haskell/Prelude_break_1.hs pending submission
full_haskell/Prelude_minBound_5.hs pending submission
full_haskell/List_elemIndex_6.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_9.hs pending submission
full_haskell/Prelude_fromIntegral_2.hs pending submission
full_haskell/FiniteMap_keysFM_GE_7.hs pending submission
full_haskell/Prelude_GTEQ_1.hs pending submission
full_haskell/Prelude_pred_7.hs pending submission
full_haskell/Prelude_fromInteger_4.hs pending submission
full_haskell/FiniteMap_intersectFM_9.hs pending submission
full_haskell/FiniteMap_keysFM_GE_3.hs pending submission
full_haskell/Prelude_readParen_5.hs pending submission
full_haskell/List_BACKSLBACKSL_9.hs pending submission
full_haskell/List_isPrefixOf_3.hs pending submission
full_haskell/FiniteMap_fmToList_LE_1.hs pending submission
full_haskell/Prelude_blockIO_1.hs pending submission
full_haskell/FiniteMap_plusFM_5.hs pending submission
full_haskell/Prelude_return_2.hs pending submission
full_haskell/List_group_1.hs pending submission
full_haskell/Prelude_compare_11.hs pending submission
full_haskell/Prelude_unzip3_1.hs pending submission
full_haskell/Prelude_subtract_1.hs pending submission
full_haskell/Prelude_readParen_2.hs pending submission
full_haskell/Prelude_showsPrec_4.hs pending submission
full_haskell/FiniteMap_fmToList_LE_9.hs pending submission
full_haskell/Prelude_lookup_5.hs pending submission
full_haskell/Prelude_atan_1.hs pending submission
full_haskell/Prelude_readList_2.hs pending submission
full_haskell/FiniteMap_minFM_7.hs pending submission
full_haskell/Monad_liftM_1.hs pending submission
full_haskell/Prelude_or_1.hs pending submission
full_haskell/Prelude_approxRational_3.hs pending submission
full_haskell/Prelude_EQLTLT_1.hs pending submission
full_haskell/Prelude_GT_11.hs pending submission
full_haskell/Prelude_not_1.hs pending submission
full_haskell/FiniteMap_plusFM_10.hs pending submission
full_haskell/FiniteMap_delListFromFM_2.hs pending submission
full_haskell/Prelude_print_6.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_2.hs pending submission
full_haskell/Prelude_scanl1_1.hs pending submission
full_haskell/Prelude_foldr1_1.hs pending submission
full_haskell/FiniteMap_delListFromFM_4.hs pending submission
full_haskell/Prelude_asin_1.hs pending submission
full_haskell/Prelude_pred_1.hs pending submission
full_haskell/Prelude_succ_7.hs pending submission
full_haskell/Monad_liftM4_4.hs pending submission
full_haskell/Monad_liftM_2.hs pending submission
full_haskell/Prelude_elem_3.hs pending submission
full_haskell/Prelude_enumFromThenTo_7.hs pending submission
full_haskell/FiniteMap_keysFM_GE_11.hs pending submission
full_haskell/FiniteMap_filterFM_1.hs pending submission
full_haskell/FiniteMap_fmToList_GE_4.hs pending submission
full_haskell/Prelude_GT_3.hs pending submission
full_haskell/List_isPrefixOf_12.hs pending submission
full_haskell/List_groupBy_1.hs pending submission
full_haskell/List_isSuffixOf_12.hs pending submission
full_haskell/Prelude_subtract_4.hs pending submission
full_haskell/Prelude_lookup_7.hs pending submission
full_haskell/FiniteMap_elemFM_5.hs pending submission
full_haskell/FiniteMap_plusFM_C_7.hs pending submission
full_haskell/FiniteMap_listToFM_12.hs pending submission
full_haskell/Prelude_elem_10.hs pending submission
full_haskell/Prelude_compare_10.hs pending submission
full_haskell/Prelude_minBound_6.hs pending submission
full_haskell/Prelude_succ_6.hs pending submission
full_haskell/FiniteMap_foldFM_GE_5.hs pending submission
full_haskell/FiniteMap_minFM_4.hs pending submission
full_haskell/Prelude_scanr_1.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_4.hs pending submission
full_haskell/FiniteMap_keysFM_GE_6.hs pending submission
full_haskell/FiniteMap_fmToList_GE_9.hs pending submission
full_haskell/FiniteMap_keysFM_GE_10.hs pending submission
full_haskell/List_group_8.hs pending submission
full_haskell/Prelude_STAR_3.hs pending submission
full_haskell/Prelude_lookup_6.hs pending submission
full_haskell/List_intersperse_1.hs pending submission
full_haskell/FiniteMap_plusFM_C_6.hs pending submission
full_haskell/FiniteMap_filterFM_6.hs pending submission
full_haskell/Prelude_compare_4.hs pending submission
full_haskell/FiniteMap_keysFM_GE_9.hs pending submission
full_haskell/Prelude_recip_3.hs pending submission
full_haskell/FiniteMap_foldFM_LE_3.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_12.hs pending submission
full_haskell/Prelude_properFraction_1.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_3.hs pending submission
full_haskell/Monad_unless_1.hs pending submission
full_haskell/Prelude_digitToInt_1.hs pending submission
full_haskell/Prelude_maxBound_4.hs pending submission
full_haskell/FiniteMap_intersectFM_6.hs pending submission
full_haskell/Prelude_read_1.hs pending submission
full_haskell/Prelude_basicIORun_1.hs pending submission
full_haskell/Prelude_SLASH_3.hs pending submission
full_haskell/Prelude_readLn_2.hs pending submission
full_haskell/List_nub_9.hs pending submission
full_haskell/Prelude_GTEQ_3.hs pending submission
full_haskell/Prelude_getContents_1.hs pending submission
full_haskell/Prelude_sequence__1.hs pending submission
full_haskell/List_elemIndex_1.hs pending submission
full_haskell/Prelude_minimum_2.hs pending submission
full_haskell/Prelude_toEnum_3.hs pending submission
full_haskell/Prelude_LT_8.hs pending submission
full_haskell/Prelude_enumFromTo_3.hs pending submission
full_haskell/Prelude_cosh_1.hs pending submission
full_haskell/Prelude_writeFile_1.hs pending submission
full_haskell/Prelude_getChar_1.hs pending submission
full_haskell/FiniteMap_keysFM_GE_8.hs pending submission
full_haskell/Prelude_putStr_1.hs pending submission
full_haskell/Prelude_otherwise_1.hs pending submission
full_haskell/Prelude_shows_3.hs pending submission
full_haskell/Prelude_SLASHEQ_8.hs pending submission
full_haskell/FiniteMap_addListToFM_C_6.hs pending submission
full_haskell/Prelude_sum_4.hs pending submission
full_haskell/Prelude_readsPrec_1.hs pending submission
full_haskell/List_isSuffixOf_3.hs pending submission
full_haskell/FiniteMap_fmToList_LE_10.hs pending submission
full_haskell/FiniteMap_addToFM_C_3.hs pending submission
full_haskell/Prelude_print_12.hs pending submission
full_haskell/Prelude_maxBound_3.hs pending submission
full_haskell/Prelude_readIO_8.hs pending submission
full_haskell/Prelude_print_3.hs pending submission
full_haskell/FiniteMap_addListToFM_C_8.hs pending submission
full_haskell/FiniteMap_addToFM_C_4.hs pending submission
full_haskell/FiniteMap_minFM_2.hs pending submission
full_haskell/Prelude_divMod_1.hs pending submission
full_haskell/FiniteMap_minFM_11.hs pending submission
full_haskell/FiniteMap_addListToFM_8.hs pending submission
full_haskell/Prelude_pred_4.hs pending submission
full_haskell/List_isPrefixOf_2.hs pending submission
full_haskell/Prelude_approxRational_2.hs pending submission
full_haskell/Prelude_null_1.hs pending submission
full_haskell/FiniteMap_listToFM_11.hs pending submission
full_haskell/FiniteMap_delFromFM_11.hs pending submission
full_haskell/FiniteMap_addListToFM_C_3.hs pending submission
full_haskell/List_genericLength_2.hs pending submission
full_haskell/Prelude_lookup_8.hs pending submission
full_haskell/Prelude_floatDigits_1.hs pending submission
full_haskell/Prelude_LTEQ_9.hs pending submission
full_haskell/List_sort_4.hs pending submission
full_haskell/FiniteMap_foldFM_GE_10.hs pending submission
full_haskell/Prelude_negate_2.hs pending submission
full_haskell/FiniteMap_lookupFM_12.hs pending submission
full_haskell/Prelude_curry_1.hs pending submission
full_haskell/FiniteMap_listToFM_1.hs pending submission
full_haskell/FiniteMap_fmToList_GE_6.hs pending submission
full_haskell/Prelude_show_10.hs pending submission
full_haskell/FiniteMap_keysFM_LE_6.hs pending submission
full_haskell/Prelude_readParen_7.hs pending submission
full_haskell/Prelude_SLASHEQ_7.hs pending submission
full_haskell/Prelude_readList_3.hs pending submission
full_haskell/Prelude_CARETCARET_1.hs pending submission
full_haskell/Prelude_sequence__2.hs pending submission
full_haskell/Prelude_readSigned_2.hs pending submission
full_haskell/List_delete_9.hs pending submission
full_haskell/Prelude_LTEQ_6.hs pending submission
full_haskell/FiniteMap_delListFromFM_8.hs pending submission
full_haskell/List_union_11.hs pending submission
full_haskell/FiniteMap_maxFM_4.hs pending submission
full_haskell/Prelude_enumFromTo_6.hs pending submission
full_haskell/FiniteMap_addListToFM_C_10.hs pending submission
full_haskell/Prelude_putChar_1.hs pending submission
full_haskell/Prelude_showList_8.hs pending submission
full_haskell/Prelude_enumFromThen_2.hs pending submission
full_haskell/Prelude_readList_1.hs pending submission
full_haskell/Prelude_return_1.hs pending submission
full_haskell/Prelude_id_1.hs pending submission
full_haskell/List_group_7.hs pending submission
full_haskell/FiniteMap_lookupFM_7.hs pending submission
full_haskell/Prelude_enumFromTo_7.hs pending submission
full_haskell/Prelude_showList_7.hs pending submission
full_haskell/FiniteMap_intersectFM_C_3.hs pending submission
full_haskell/Prelude_compare_7.hs pending submission
full_haskell/Prelude_enumFrom_7.hs pending submission
full_haskell/FiniteMap_minFM_1.hs pending submission
full_haskell/Prelude_EQEQ_11.hs pending submission
full_haskell/Monad_mzero_1.hs pending submission
full_haskell/Prelude_read_6.hs pending submission
full_haskell/Prelude_toEnum_4.hs pending submission
full_haskell/FiniteMap_addToFM_5.hs pending submission
full_haskell/Prelude_showsPrec_10.hs pending submission
full_haskell/Prelude_GTGTEQ_1.hs pending submission
full_haskell/Prelude_catch_1.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_8.hs pending submission
full_haskell/Prelude_readsPrec_7.hs pending submission
full_haskell/FiniteMap_delListFromFM_9.hs pending submission
full_haskell/FiniteMap_fmToList_GE_2.hs pending submission
full_haskell/Prelude_succ_1.hs pending submission
full_haskell/List_elemIndex_5.hs pending submission
full_haskell/Prelude_show_3.hs pending submission
full_haskell/FiniteMap_delFromFM_3.hs pending submission
full_haskell/Prelude_fromEnum_4.hs pending submission
full_haskell/Prelude_toUpper_1.hs pending submission
full_haskell/Prelude_LTEQ_11.hs pending submission
full_haskell/FiniteMap_intersectFM_C_5.hs pending submission
full_haskell/Prelude_return_4.hs pending submission
full_haskell/FiniteMap_addToFM_C_12.hs pending submission
full_haskell/FiniteMap_keysFM_GE_4.hs pending submission
full_haskell/Prelude_enumFromThenTo_4.hs pending submission
full_haskell/FiniteMap_addListToFM_C_1.hs pending submission
full_haskell/Prelude_showString_1.hs pending submission
full_haskell/Monad_foldM__2.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_1.hs pending submission
full_haskell/Prelude_maximum_10.hs pending submission
full_haskell/Monad_msum_1.hs pending submission
full_haskell/Prelude_tanh_1.hs pending submission
full_haskell/Prelude_zipWith3_1.hs pending submission
full_haskell/FiniteMap_foldFM_LE_10.hs pending submission
full_haskell/Prelude_enumFrom_2.hs pending submission
full_haskell/Prelude_BARBAR_1.hs pending submission
full_haskell/Prelude_floatRadix_1.hs pending submission
full_haskell/Prelude_denominator_1.hs pending submission
full_haskell/Prelude_sum_2.hs pending submission
full_haskell/Prelude_GT_12.hs pending submission
full_haskell/Prelude_SLASH_2.hs pending submission
full_haskell/Prelude_pred_8.hs pending submission
full_haskell/Prelude_fmap_2.hs pending submission
full_haskell/Monad_foldM__1.hs pending submission
full_haskell/Prelude_until_1.hs pending submission
full_haskell/FiniteMap_intersectFM_4.hs pending submission
full_haskell/Prelude_foldl1_1.hs pending submission
full_haskell/Prelude_isPrint_1.hs pending submission
full_haskell/Prelude_elem_1.hs pending submission
full_haskell/Prelude_readLn_7.hs pending submission
full_haskell/Prelude_enumFromThen_7.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_11.hs pending submission
full_haskell/Prelude_maxBound_2.hs pending submission
full_haskell/List_elemIndex_2.hs pending submission
full_haskell/FiniteMap_addToFM_C_2.hs pending submission
full_haskell/Prelude_readFloat_2.hs pending submission
full_haskell/Prelude_GT_7.hs pending submission
full_haskell/FiniteMap_foldFM_LE_8.hs pending submission
full_haskell/FiniteMap_fmToList_LE_11.hs pending submission
full_haskell/Prelude_enumFrom_8.hs pending submission
full_haskell/FiniteMap_fmToList_LE_5.hs pending submission
full_haskell/Prelude_LT_12.hs pending submission
full_haskell/Prelude_seq_1.hs pending submission
full_haskell/Prelude_showsPrec_9.hs pending submission
full_haskell/Prelude_showList_6.hs pending submission
full_haskell/Prelude_truncate_3.hs pending submission
full_haskell/Monad_replicateM_3.hs pending submission
full_haskell/Prelude_maximum_2.hs pending submission
full_haskell/Prelude_readOct_1.hs pending submission
full_haskell/List_BACKSLBACKSL_1.hs pending submission
full_haskell/FiniteMap_maxFM_1.hs pending submission
full_haskell/Prelude_tan_1.hs pending submission
full_haskell/FiniteMap_foldFM_GE_4.hs pending submission
full_haskell/Prelude_enumFromThenTo_5.hs pending submission
full_haskell/List_BACKSLBACKSL_8.hs pending submission
full_haskell/FiniteMap_keysFM_LE_1.hs pending submission
full_haskell/Prelude_maximum_12.hs pending submission
full_haskell/Prelude_readSigned_4.hs pending submission
full_haskell/Prelude_snd_1.hs pending submission
full_haskell/Prelude_enumFrom_3.hs pending submission
full_haskell/Prelude_negate_1.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_1.hs pending submission
full_haskell/Prelude_maximum_5.hs pending submission
full_haskell/Prelude_rangeSize_5.hs pending submission
full_haskell/Monad_zipWithM_1.hs pending submission
full_haskell/List_insert_7.hs pending submission
full_haskell/List_BACKSLBACKSL_5.hs pending submission
full_haskell/FiniteMap_intersectFM_5.hs pending submission
full_haskell/List_group_9.hs pending submission
full_haskell/FiniteMap_intersectFM_C_6.hs pending submission
full_haskell/FiniteMap_addListToFM_2.hs pending submission
full_haskell/Prelude_GT_5.hs pending submission
full_haskell/Monad_zipWithM_4.hs pending submission
full_haskell/FiniteMap_eltsFM_LE_5.hs pending submission
full_haskell/Monad_msum_3.hs pending submission
full_haskell/Prelude_sequence__3.hs pending submission
full_haskell/Prelude_minimum_4.hs pending submission
full_haskell/FiniteMap_addListToFM_10.hs pending submission
full_haskell/Prelude_gcd_1.hs pending submission
full_haskell/Monad_liftM_4.hs pending submission
full_haskell/Prelude_maxBound_5.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_10.hs pending submission
full_haskell/Prelude_show_9.hs pending submission
full_haskell/FiniteMap_minusFM_10.hs pending submission
full_haskell/FiniteMap_filterFM_12.hs pending submission
full_haskell/FiniteMap_fmToList_1.hs pending submission
full_haskell/Prelude_acos_1.hs pending submission
full_haskell/Prelude_readLn_1.hs pending submission
full_haskell/FiniteMap_foldFM_1.hs pending submission
full_haskell/List_group_6.hs pending submission
full_haskell/Prelude_succ_5.hs pending submission
full_haskell/Monad_liftM3_4.hs pending submission
full_haskell/FiniteMap_plusFM_C_4.hs pending submission
full_haskell/Prelude_primThrowException_1.hs pending submission
full_haskell/Prelude_filter_1.hs pending submission
full_haskell/List_sort_2.hs pending submission
full_haskell/Prelude_enumFromTo_2.hs pending submission
full_haskell/List_nub_5.hs pending submission
full_haskell/Prelude_print_10.hs pending submission
full_haskell/Prelude_LTEQ_1.hs pending submission
full_haskell/Prelude_elem_4.hs pending submission
full_haskell/Prelude_putStrLn_1.hs pending submission
full_haskell/Prelude_EQEQ_9.hs pending submission
full_haskell/Monad_zipWithM_2.hs pending submission
full_haskell/Prelude_error_1.hs pending submission
full_haskell/Prelude_drop_1.hs pending submission
full_haskell/Prelude_enumFromThenTo_1.hs pending submission
full_haskell/FiniteMap_addListToFM_C_2.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_11.hs pending submission
full_haskell/Prelude_index_3.hs pending submission
full_haskell/FiniteMap_intersectFM_1.hs pending submission
full_haskell/Prelude_scanl_1.hs pending submission
full_haskell/Prelude_showList_12.hs pending submission
full_haskell/FiniteMap_addListToFM_C_4.hs pending submission
full_haskell/FiniteMap_maxFM_6.hs pending submission
full_haskell/FiniteMap_lookupWithDefaultFM_5.hs pending submission
full_haskell/Prelude_minimum_6.hs pending submission
full_haskell/Monad_unless_3.hs pending submission
full_haskell/FiniteMap_addToFM_1.hs pending submission
full_haskell/Prelude_scaleFloat_1.hs pending submission
full_haskell/Prelude_maxBound_6.hs pending submission
full_haskell/Prelude_isDenormalized_1.hs pending submission
full_haskell/Prelude_userError_1.hs pending submission
full_haskell/Prelude_maxBound_1.hs pending submission
full_haskell/Prelude_signum_3.hs pending submission
full_haskell/Prelude_print_9.hs pending submission
full_haskell/FiniteMap_plusFM_2.hs pending submission
full_haskell/FiniteMap_lookupFM_6.hs pending submission
full_haskell/FiniteMap_lookupFM_10.hs pending submission
full_haskell/FiniteMap_eltsFM_1.hs pending submission
full_haskell/Monad_replicateM_2.hs pending submission
full_haskell/FiniteMap_foldFM_GE_3.hs pending submission
full_haskell/FiniteMap_delFromFM_4.hs pending submission
full_haskell/Prelude_negate_4.hs pending submission
full_haskell/Prelude_fail_2.hs pending submission
full_haskell/List_elemIndex_9.hs pending submission
full_haskell/Prelude_rangeSize_1.hs pending submission
full_haskell/Prelude_show_1.hs pending submission
full_haskell/Prelude_asTypeOf_1.hs pending submission
full_haskell/Prelude_readLn_6.hs pending submission
full_haskell/FiniteMap_addToFM_C_9.hs pending submission
full_haskell/List_elemIndices_7.hs pending submission
full_haskell/Prelude_EQEQ_7.hs pending submission
full_haskell/Prelude_elem_11.hs pending submission
full_haskell/FiniteMap_plusFM_12.hs pending submission
full_haskell/Prelude_abs_1.hs pending submission
full_haskell/FiniteMap_addListToFM_6.hs pending submission
full_haskell/List_isPrefixOf_4.hs pending submission
full_haskell/List_genericTake_1.hs pending submission
full_haskell/Prelude_readInt_1.hs pending submission
full_haskell/FiniteMap_fmToList_GE_12.hs pending submission
full_haskell/FiniteMap_addListToFM_11.hs pending submission
full_haskell/FiniteMap_eltsFM_GE_6.hs pending submission
basic_haskell/toEnum_1.hs YES 9.36/3.98
basic_haskell/take_1.hs YES 10.50/4.40
basic_haskell/fromInt_2.hs YES 9.68/3.92
basic_haskell/enumFrom_2.hs YES 10.90/4.34
basic_haskell/snd_1.hs YES 9.47/3.92
basic_haskell/fromEnum_7.hs YES 9.76/4.09
basic_haskell/product_2.hs YES 10.11/4.91
basic_haskell/and_1.hs YES 9.37/3.92
basic_haskell/elem_1.hs YES 9.39/4.12
basic_haskell/break_1.hs YES 9.77/4.02
basic_haskell/properFraction_2.hs YES 11.56/4.51
basic_haskell/truncate_2.hs YES 11.64/4.71
basic_haskell/pred_1.hs YES 9.86/4.01
basic_haskell/MINUS_1.hs YES 10.45/4.36
basic_haskell/lines_1.hs YES 51.64/33.59
basic_haskell/GT_4.hs YES 9.93/4.00
basic_haskell/max_2.hs YES 9.42/3.91
basic_haskell/BANGBANG_1.hs YES 10.37/4.18
basic_haskell/sequence__2.hs YES 9.69/4.04
basic_haskell/enumFromThen_7.hs NO 13.65/5.78
basic_haskell/notElem_2.hs YES 9.86/4.81
basic_haskell/flip_1.hs YES 9.18/3.81
basic_haskell/SLASHEQ_1.hs YES 9.20/3.82
basic_haskell/shows_3.hs YES 16.95/7.27
basic_haskell/showSigned_1.hs YES 12.12/4.68
basic_haskell/elem_7.hs YES 9.68/4.02
basic_haskell/enumFromThen_2.hs MAYBE 339.42/238.73
basic_haskell/toInteger_1.hs YES 9.18/3.81
basic_haskell/maybe_1.hs YES 9.37/3.88
basic_haskell/lookup_1.hs YES 9.17/3.92
basic_haskell/EQEQ_7.hs YES 9.09/3.77
basic_haskell/enumFromTo_4.hs YES 36.78/16.16
basic_haskell/readParen_2.hs MAYBE 232.31/208.00
basic_haskell/ceiling_1.hs YES 21.06/7.54
basic_haskell/isAlphaNum_1.hs YES 81.83/65.35
basic_haskell/fromInteger_3.hs YES 9.83/4.11
basic_haskell/inRange_3.hs pending submission
basic_haskell/pred_2.hs YES 12.68/4.92
basic_haskell/notElem_3.hs YES 9.99/4.18
basic_haskell/fromEnum_3.hs YES 9.53/4.12
basic_haskell/map_1.hs YES 9.79/4.19
basic_haskell/range_3.hs YES 31.13/16.02
basic_haskell/words_1.hs StarExec error
basic_haskell/EQEQ_4.hs YES 9.61/3.98
basic_haskell/basicIORun_1.hs MAYBE 10.66/4.36
basic_haskell/maxBound_5.hs YES 9.40/4.03
basic_haskell/rangeSize_1.hs YES 10.01/4.00
basic_haskell/fromIntegral_1.hs YES 10.10/4.70
basic_haskell/blockIO_1.hs NO 10.12/4.11
basic_haskell/LTEQ_7.hs YES 9.40/4.06
basic_haskell/readOct_1.hs YES 24.05/11.19
basic_haskell/EQLTLT_1.hs YES 9.55/4.06
basic_haskell/isLatin1_1.hs YES 10.69/4.21
basic_haskell/foldr1_1.hs StarExec error
basic_haskell/LTEQ_1.hs YES 9.24/3.87
basic_haskell/drop_1.hs YES 9.85/4.80
basic_haskell/enumFromTo_7.hs YES 12.43/4.65
basic_haskell/quot_1.hs YES 10.32/4.16
basic_haskell/succ_6.hs YES 9.74/4.14
basic_haskell/enumFrom_3.hs YES 32.37/16.00
basic_haskell/succ_3.hs YES 10.06/4.22
basic_haskell/isAscii_1.hs YES 9.97/4.29
basic_haskell/range_1.hs YES 9.29/3.81
basic_haskell/lookup_6.hs YES 9.81/3.99
basic_haskell/show_2.hs MAYBE 36.71/16.70
basic_haskell/div_1.hs YES 10.18/4.13
basic_haskell/fmap_1.hs YES 9.08/3.80
basic_haskell/primThrowException_1.hs NO 9.52/3.95
basic_haskell/intToDigit_1.hs YES 12.94/4.75
basic_haskell/enumFromTo_5.hs StarExec error
basic_haskell/elem_6.hs YES 9.97/4.09
basic_haskell/span_1.hs YES 9.93/4.44
basic_haskell/max_1.hs YES 9.70/4.18
basic_haskell/DOLLARBANG_1.hs StarExec error
basic_haskell/replicate_1.hs YES 10.60/4.27
basic_haskell/lookup_2.hs YES 9.61/4.01
basic_haskell/zip_1.hs YES 9.71/4.08
basic_haskell/all_1.hs YES 9.29/3.94
basic_haskell/toUpper_1.hs YES 75.31/59.68
basic_haskell/PLUS_1.hs YES 10.44/4.39
basic_haskell/head_1.hs YES 9.37/3.86
basic_haskell/rem_1.hs YES 11.25/4.56
basic_haskell/isPrint_1.hs YES 13.94/6.99
basic_haskell/showsPrec_4.hs StarExec error
basic_haskell/tail_1.hs YES 8.86/3.78
basic_haskell/showInt_1.hs MAYBE 76.81/41.53
basic_haskell/EQEQ_2.hs YES 10.33/4.29
basic_haskell/CARET_2.hs MAYBE 50.69/28.96
basic_haskell/enumFromTo_2.hs StarExec error
basic_haskell/maximum_6.hs YES 9.79/4.06
basic_haskell/toEnum_3.hs StarExec error
basic_haskell/maxBound_1.hs YES 9.18/3.81
basic_haskell/max_3.hs YES 10.80/4.42
basic_haskell/DOT_1.hs YES 8.88/3.78
basic_haskell/realToFrac_2.hs YES 9.39/3.92
basic_haskell/GT_1.hs StarExec error
basic_haskell/showSigned_3.hs YES 10.24/4.48
basic_haskell/compare_2.hs YES 9.75/4.15
basic_haskell/readsPrec_2.hs timeout (wallclock)
basic_haskell/fromRational_1.hs YES 9.33/3.87
basic_haskell/compare_4.hs YES 10.07/4.03
basic_haskell/max_4.hs YES 15.12/6.08
basic_haskell/pred_5.hs YES 12.91/4.99
basic_haskell/GTEQ_7.hs YES 9.86/4.04
basic_haskell/GT_2.hs YES 10.04/4.10
basic_haskell/showsPrec_1.hs YES 10.06/4.24
basic_haskell/foldr_1.hs YES 9.72/3.98
basic_haskell/or_1.hs YES 9.51/3.93
basic_haskell/foldl_1.hs YES 9.68/4.00
basic_haskell/otherwise_1.hs YES 9.57/4.12
basic_haskell/compare_6.hs YES 10.16/4.23
basic_haskell/last_1.hs YES 9.40/3.92
basic_haskell/divMod_1.hs YES 24.08/8.45
basic_haskell/abs_1.hs YES 9.94/4.05
basic_haskell/signum_3.hs YES 10.04/4.08
basic_haskell/lcm_1.hs StarExec error
basic_haskell/fromEnum_4.hs YES 9.45/3.95
basic_haskell/GTEQ_5.hs YES 10.59/4.13
basic_haskell/readLitChar_1.hs MAYBE 182.67/161.71
basic_haskell/AMPAMP_1.hs YES 9.33/3.90
basic_haskell/uncurry_1.hs YES 9.52/4.02
basic_haskell/notElem_5.hs YES 9.90/4.05
basic_haskell/fst_1.hs YES 9.52/5.19
basic_haskell/min_4.hs YES 19.00/11.19
basic_haskell/fromDouble_1.hs timeout (wallclock)
basic_haskell/min_5.hs YES 10.65/4.56
basic_haskell/readsPrec_1.hs StarExec error
basic_haskell/foldl1_1.hs YES 9.76/4.18
basic_haskell/LTEQ_3.hs YES 9.28/3.85
basic_haskell/seq_1.hs YES 9.63/4.10
basic_haskell/enumFrom_5.hs MAYBE 10.20/4.14
basic_haskell/zipWith3_1.hs YES 9.52/4.39
basic_haskell/truncate_1.hs YES 11.24/4.66
basic_haskell/EQEQ_3.hs YES 9.70/4.19
basic_haskell/readList_1.hs MAYBE 302.34/274.91
basic_haskell/even_1.hs YES 9.51/4.07
basic_haskell/succ_7.hs YES 10.21/4.29
basic_haskell/unzip3_1.hs YES 10.20/5.26
basic_haskell/scanr1_1.hs YES 9.80/4.08
basic_haskell/isSpace_1.hs YES 12.71/5.03
basic_haskell/index_3.hs YES 12.80/5.28
basic_haskell/LTEQ_4.hs YES 9.53/3.95
basic_haskell/scanr_1.hs YES 9.56/4.00
basic_haskell/subtract_2.hs YES 10.35/4.27
basic_haskell/pred_4.hs YES 9.76/4.00
basic_haskell/fromInteger_2.hs YES 9.10/3.82
basic_haskell/readDec_1.hs YES 18.19/6.52
basic_haskell/range_4.hs YES 11.34/5.54
basic_haskell/LT_1.hs StarExec error
basic_haskell/SLASHEQ_6.hs YES 9.84/4.01
basic_haskell/GT_3.hs YES 9.88/5.34
basic_haskell/isNegativeZero_1.hs YES 9.06/3.84
basic_haskell/succ_5.hs YES 14.66/5.44
basic_haskell/readParen_4.hs MAYBE 220.32/198.14
basic_haskell/isIEEE_1.hs YES 8.80/3.81
basic_haskell/chr_1.hs YES 9.22/3.89
basic_haskell/return_1.hs YES 9.35/3.91
basic_haskell/STAR_2.hs YES 9.41/3.93
basic_haskell/curry_1.hs YES 8.96/3.87
basic_haskell/succ_2.hs YES 12.69/5.21
basic_haskell/return_2.hs YES 8.73/3.77
basic_haskell/LTEQ_5.hs YES 10.57/4.21
basic_haskell/enumFromThen_1.hs YES 9.41/3.91
basic_haskell/enumFromTo_3.hs pending submission
basic_haskell/fail_1.hs YES 9.68/4.10
basic_haskell/SLASH_1.hs YES 10.21/5.08
basic_haskell/isOctDigit_1.hs YES 10.34/4.17
basic_haskell/inRange_1.hs YES 9.49/4.13
basic_haskell/minimum_6.hs YES 9.99/4.03
basic_haskell/minimum_2.hs YES 10.46/4.42
basic_haskell/abs_2.hs YES 11.20/4.41
basic_haskell/SLASHEQ_2.hs YES 9.72/4.04
basic_haskell/properFraction_1.hs YES 12.82/5.86
basic_haskell/toEnum_7.hs YES 9.63/3.96
basic_haskell/LTEQ_6.hs YES 9.89/4.01
basic_haskell/ord_1.hs YES 9.16/4.58
basic_haskell/asTypeOf_1.hs YES 9.25/4.03
basic_haskell/fromDouble_2.hs YES 9.00/3.85
basic_haskell/SLASHEQ_5.hs YES 10.42/4.10
basic_haskell/lex_1.hs MAYBE 178.48/155.66
basic_haskell/toEnum_4.hs YES 9.80/4.12
basic_haskell/toInt_1.hs YES 9.51/3.93
basic_haskell/showString_1.hs YES 9.39/3.91
basic_haskell/recip_1.hs YES 9.14/3.81
basic_haskell/compare_5.hs YES 10.25/4.11
basic_haskell/enumFromThen_4.hs MAYBE 34.18/11.82
basic_haskell/encodeFloat_1.hs YES 12.49/4.66
basic_haskell/pred_7.hs YES 10.33/4.43
basic_haskell/floatRadix_1.hs YES 9.15/3.82
basic_haskell/readParen_3.hs pending submission
basic_haskell/negate_1.hs YES 9.31/4.04
basic_haskell/pred_3.hs YES 10.35/4.13
basic_haskell/pred_6.hs YES 9.70/4.20
basic_haskell/DOLLAR_1.hs YES 9.03/3.82
basic_haskell/maximum_2.hs YES 10.06/4.09
basic_haskell/showsPrec_3.hs pending submission
basic_haskell/GT_6.hs YES 10.16/4.22
basic_haskell/either_1.hs pending submission
basic_haskell/LTEQ_2.hs YES 10.58/4.20
basic_haskell/GTGT_1.hs YES 9.43/4.10
basic_haskell/filter_1.hs YES 9.78/4.05
basic_haskell/catchHugsException_1.hs pending submission
basic_haskell/gcd_1.hs YES 22.25/9.72
basic_haskell/isAlpha_1.hs YES 81.77/67.45
basic_haskell/succ_1.hs YES 9.61/3.95
basic_haskell/EQEQ_1.hs YES 9.24/3.83
basic_haskell/min_6.hs YES 9.61/4.29
basic_haskell/realToFrac_1.hs YES 9.40/3.85
basic_haskell/dropWhile_1.hs YES 10.11/4.25
basic_haskell/readParen_1.hs MAYBE 215.99/191.84
basic_haskell/zip3_1.hs YES 9.68/3.97
basic_haskell/toRational_1.hs YES 9.79/4.86
basic_haskell/sequence_2.hs YES 9.95/3.95
basic_haskell/minimum_5.hs YES 11.03/4.54
basic_haskell/SLASHEQ_3.hs pending submission
basic_haskell/unlines_1.hs YES 9.74/3.95
basic_haskell/mapM__1.hs YES 9.43/3.98
basic_haskell/elem_4.hs YES 10.37/4.50
basic_haskell/mapM_1.hs YES 9.89/4.01
basic_haskell/toEnum_2.hs pending submission
basic_haskell/compare_3.hs YES 11.02/4.82
basic_haskell/minimum_4.hs pending submission
basic_haskell/odd_1.hs YES 9.44/4.37
basic_haskell/readInt_1.hs YES 12.50/4.80
basic_haskell/enumFrom_6.hs YES 12.52/4.64
basic_haskell/inRange_4.hs YES 9.95/4.05
basic_haskell/index_4.hs YES 12.74/5.15
basic_haskell/showsPrec_5.hs YES 13.86/5.10
basic_haskell/id_1.hs YES 9.05/3.79
basic_haskell/sum_1.hs YES 10.24/4.15
basic_haskell/EQEQ_6.hs YES 9.40/3.89
basic_haskell/zipWith_1.hs YES 9.79/4.81
basic_haskell/PLUS_2.hs pending submission
basic_haskell/lookup_3.hs YES 10.73/4.25
basic_haskell/elem_3.hs YES 9.47/3.96
basic_haskell/show_5.hs YES 12.75/4.96
basic_haskell/notElem_4.hs YES 10.92/4.45
basic_haskell/concat_1.hs YES 10.17/4.62
basic_haskell/floatDigits_1.hs YES 9.47/3.87
basic_haskell/enumFromThenTo_3.hs MAYBE 173.28/128.19
basic_haskell/succ_4.hs YES 9.85/3.96
basic_haskell/isDigit_1.hs YES 10.76/7.01
basic_haskell/unzip_1.hs YES 9.32/3.92
basic_haskell/scanl_1.hs YES 9.69/4.03
basic_haskell/concatMap_1.hs pending submission
basic_haskell/compare_1.hs YES 9.14/3.80
basic_haskell/recip_2.hs YES 9.96/4.94
basic_haskell/GTEQ_4.hs pending submission
basic_haskell/digitToInt_1.hs YES 17.20/6.46
basic_haskell/maxBound_4.hs NO 9.84/3.98
basic_haskell/enumFromThenTo_1.hs MAYBE 335.03/224.87
basic_haskell/PLUSPLUS_1.hs pending submission
basic_haskell/rangeSize_2.hs pending submission
basic_haskell/fromEnum_6.hs YES 9.03/3.81
basic_haskell/CARET_1.hs MAYBE 157.34/102.73
basic_haskell/rangeSize_4.hs YES 15.56/6.89
basic_haskell/inRange_2.hs YES 10.32/4.11
basic_haskell/enumFromThenTo_4.hs MAYBE 193.53/133.36
basic_haskell/const_1.hs YES 9.41/3.81
basic_haskell/MINUS_2.hs YES 9.78/4.05
basic_haskell/numerator_1.hs pending submission
basic_haskell/LT_4.hs YES 10.41/4.11
basic_haskell/GT_5.hs YES 10.78/4.49
basic_haskell/error_1.hs YES 9.28/3.95
basic_haskell/lexDigits_1.hs pending submission
basic_haskell/toEnum_6.hs YES 9.43/4.15
basic_haskell/read_1.hs pending submission
basic_haskell/negate_2.hs YES 9.64/3.92
basic_haskell/show_4.hs pending submission
basic_haskell/max_6.hs pending submission
basic_haskell/LT_2.hs YES 9.83/4.18
basic_haskell/length_1.hs YES 10.18/4.18
basic_haskell/max_5.hs YES 10.33/5.10
basic_haskell/splitAt_1.hs YES 10.43/4.20
basic_haskell/showParen_1.hs YES 9.84/3.99
basic_haskell/maxBound_2.hs pending submission
basic_haskell/fromEnum_1.hs YES 9.34/4.07
basic_haskell/minimum_1.hs pending submission
basic_haskell/fromRational_2.hs YES 9.57/4.10
basic_haskell/maximum_4.hs pending submission
basic_haskell/fromInteger_1.hs YES 9.62/4.10
basic_haskell/show_1.hs pending submission
basic_haskell/fromEnum_2.hs pending submission
basic_haskell/range_2.hs YES 35.63/16.64
basic_haskell/lookup_4.hs YES 35.29/14.92
basic_haskell/isUpper_1.hs YES 21.83/10.93
basic_haskell/GTGTEQ_1.hs YES 9.77/4.10
basic_haskell/enumFrom_1.hs YES 9.13/4.01
basic_haskell/maximum_5.hs YES 10.86/4.27
basic_haskell/enumFromThen_5.hs MAYBE 11.81/4.72
basic_haskell/read_2.hs pending submission
basic_haskell/STAR_1.hs YES 10.35/4.36
basic_haskell/shows_5.hs YES 12.72/5.01
basic_haskell/isLower_1.hs pending submission
basic_haskell/enumFromThenTo_6.hs MAYBE 26.45/13.47
basic_haskell/fromInt_1.hs YES 9.35/4.78
basic_haskell/fmap_2.hs pending submission
basic_haskell/shows_4.hs MAYBE 29.82/16.03
basic_haskell/index_1.hs pending submission
basic_haskell/isDenormalized_1.hs YES 8.92/3.79
basic_haskell/isNaN_1.hs pending submission
basic_haskell/reads_1.hs pending submission
basic_haskell/elem_2.hs YES 10.16/4.03
basic_haskell/min_3.hs YES 10.30/4.14
basic_haskell/minBound_1.hs YES 9.60/3.91
basic_haskell/GTEQ_3.hs pending submission
basic_haskell/enumFromThen_6.hs MAYBE 11.08/4.60
basic_haskell/readParen_6.hs MAYBE 211.14/189.66
basic_haskell/minBound_4.hs NO 10.44/4.32
basic_haskell/readParen_5.hs MAYBE 221.69/198.37
basic_haskell/lexLitChar_1.hs pending submission
basic_haskell/userError_1.hs YES 9.56/4.11
basic_haskell/showSigned_2.hs YES 14.27/5.22
basic_haskell/SLASHEQ_7.hs YES 9.22/3.82
basic_haskell/signum_1.hs pending submission
basic_haskell/until_1.hs MAYBE 9.46/4.01
basic_haskell/sum_2.hs pending submission
basic_haskell/quotRem_1.hs YES 11.50/4.52
basic_haskell/notElem_6.hs YES 10.19/4.07
basic_haskell/BARBAR_1.hs YES 9.55/4.23
basic_haskell/sequence_1.hs YES 9.52/3.92
basic_haskell/GT_7.hs pending submission
basic_haskell/product_1.hs YES 10.07/4.12
basic_haskell/scanl1_1.hs YES 10.22/4.36
basic_haskell/fromInt_3.hs YES 9.48/4.10
basic_haskell/min_2.hs YES 9.52/3.92
basic_haskell/unwords_1.hs YES 9.59/3.89
basic_haskell/subtract_1.hs YES 10.48/4.38
basic_haskell/sequence__1.hs YES 9.31/3.90
basic_haskell/shows_2.hs MAYBE 35.14/18.88
basic_haskell/undefined_1.hs pending submission
basic_haskell/min_1.hs YES 9.36/3.95
basic_haskell/any_1.hs pending submission
basic_haskell/reads_3.hs pending submission
basic_haskell/minBound_5.hs pending submission
basic_haskell/denominator_1.hs YES 8.85/3.77
basic_haskell/minBound_2.hs YES 9.36/4.36
basic_haskell/enumFromThenTo_5.hs MAYBE 18.79/7.47
basic_haskell/index_2.hs YES 12.52/4.87
basic_haskell/fromIntegral_3.hs pending submission
basic_haskell/maximum_1.hs YES 10.40/4.34
basic_haskell/enumFromThen_3.hs pending submission
basic_haskell/mod_1.hs pending submission
basic_haskell/enumFromThenTo_2.hs NO 14.51/5.41
basic_haskell/maxBound_3.hs YES 9.56/4.07
basic_haskell/minimum_3.hs YES 10.77/4.26
basic_haskell/reads_2.hs pending submission
basic_haskell/LT_6.hs pending submission
basic_haskell/takeWhile_1.hs YES 9.66/3.91
basic_haskell/GTEQ_2.hs YES 10.54/4.18
basic_haskell/cycle_1.hs MAYBE 9.61/3.93
basic_haskell/LT_3.hs YES 10.99/4.44
basic_haskell/compare_7.hs YES 9.42/3.87
basic_haskell/toLower_1.hs YES 25.26/13.10
basic_haskell/null_1.hs YES 9.99/4.36
basic_haskell/isHexDigit_1.hs pending submission
basic_haskell/LT_5.hs YES 9.97/5.37
basic_haskell/floatRange_1.hs YES 9.76/4.03
basic_haskell/init_1.hs YES 9.80/4.19
basic_haskell/GTEQ_1.hs YES 9.80/4.11
basic_haskell/minBound_3.hs YES 9.61/4.17
basic_haskell/enumFrom_4.hs MAYBE 10.61/4.26
basic_haskell/showsPrec_2.hs MAYBE 33.91/16.85
basic_haskell/readHex_1.hs YES 66.49/47.70
basic_haskell/floor_1.hs YES 21.16/12.01
basic_haskell/shows_1.hs YES 9.58/3.98
basic_haskell/readSigned_1.hs pending submission
basic_haskell/lookup_5.hs YES 11.24/4.52
basic_haskell/isInfinite_1.hs YES 9.09/3.82
basic_haskell/iterate_1.hs MAYBE 9.76/4.10
basic_haskell/abs_3.hs YES 10.35/4.33
basic_haskell/reverse_1.hs YES 9.34/3.92
basic_haskell/signum_2.hs YES 16.25/6.20
basic_haskell/rangeSize_3.hs YES 16.36/6.02
basic_haskell/maximum_3.hs YES 10.94/4.33
basic_haskell/GTEQ_6.hs YES 9.81/4.09
basic_haskell/showChar_1.hs pending submission
basic_haskell/elem_5.hs YES 10.25/4.22
basic_haskell/toEnum_5.hs YES 9.83/3.87
basic_haskell/not_1.hs YES 9.37/4.09
basic_haskell/repeat_1.hs NO 10.93/4.80
basic_haskell/enumFromTo_1.hs YES 10.44/4.27
basic_haskell/notElem_1.hs pending submission
basic_haskell/SLASHEQ_4.hs YES 9.85/4.25
basic_haskell/enumFromTo_6.hs YES 30.64/20.54
basic_haskell/isControl_1.hs YES 12.53/5.10
basic_haskell/fromIntegral_2.hs YES 9.37/4.18
basic_haskell/fromEnum_5.hs YES 11.24/4.80
basic_haskell/show_3.hs YES 20.03/8.21
basic_haskell/EQEQ_5.hs YES 10.77/4.21
640