{ "exact_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.32, "out_domain": 0.0, "short_range": 0.745, "medium_range": 0.1075, "long_range": 0.0, "very_long_range": 0.0 }, "add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.16333333333333333, "out_domain": 0.0008333333333333334, "short_range": 0.29, "medium_range": 0.1, "long_range": 0.0016666666666666668, "very_long_range": 0.0 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.005, "out_domain": 0.0, "short_range": 0.01, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.00625, "out_domain": 0.0, "short_range": 0.0125, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0033333333333333335, "out_domain": 0.0, "short_range": 0.005, "medium_range": 0.0025, "long_range": 0.0, "very_long_range": 0.0 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.3416666666666667, "out_domain": 0.0008333333333333334, "short_range": 0.76, "medium_range": 0.1325, "long_range": 0.0016666666666666668, "very_long_range": 0.0 }, "sub_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.14666666666666667, "out_domain": 0.0008333333333333334, "short_range": 0.28, "medium_range": 0.08, "long_range": 0.0016666666666666668, "very_long_range": 0.0 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.01875, "out_domain": 0.0, "short_range": 0.0375, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0016666666666666668, "out_domain": 0.0, "short_range": 0.005, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.596875, "out_domain": 0.43725, "short_range": 0.6866666666666666, "medium_range": 0.543, "long_range": 0.4535, "very_long_range": 0.421 }, "max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.4588888888888889, "out_domain": 0.216375, "short_range": 0.43875, "medium_range": 0.475, "long_range": 0.28275, "very_long_range": 0.15 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.03625, "out_domain": 0.03916666666666667, "short_range": 0.03, "medium_range": 0.0425, "long_range": 0.04666666666666667, "very_long_range": 0.03166666666666667 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.3411111111111111, "out_domain": 0.27375, "short_range": 0.27875, "medium_range": 0.391, "long_range": 0.27975, "very_long_range": 0.26775 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 25, "has_performance_digit": 100, "in_domain": 0.704375, "out_domain": 0.722625, "short_range": 0.6033333333333334, "medium_range": 0.765, "long_range": 0.7525, "very_long_range": 0.69275 }, "max_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.46555555555555556, "out_domain": 0.250125, "short_range": 0.44875, "medium_range": 0.479, "long_range": 0.3135, "very_long_range": 0.18675 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.5977777777777777, "out_domain": 0.578625, "short_range": 0.55625, "medium_range": 0.631, "long_range": 0.58175, "very_long_range": 0.5755 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.023333333333333334, "out_domain": 0.0, "short_range": 0.07, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0, "out_domain": 0.0, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.01625, "out_domain": 0.0, "short_range": 0.0325, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0, "out_domain": 0.0, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.021666666666666667, "out_domain": 0.0025, "short_range": 0.045, "medium_range": 0.01, "long_range": 0.0033333333333333335, "very_long_range": 0.0016666666666666668 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0, "out_domain": 0.0, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.01625, "out_domain": 0.0, "short_range": 0.0325, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0, "out_domain": 0.0, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.014375, "out_domain": 0.0, "short_range": 0.03666666666666667, "medium_range": 0.001, "long_range": 0.0, "very_long_range": 0.0 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.005555555555555556, "out_domain": 0.0, "short_range": 0.0125, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.000625, "out_domain": 0.0, "short_range": 0.0016666666666666668, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0044444444444444444, "out_domain": 0.0, "short_range": 0.01, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 0.061875, "out_domain": 0.00875, "short_range": 0.11833333333333333, "medium_range": 0.028, "long_range": 0.0095, "very_long_range": 0.008 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.06277777777777778, "out_domain": 0.012125, "short_range": 0.0975, "medium_range": 0.035, "long_range": 0.0115, "very_long_range": 0.01275 }, "length_Integer_none_int": { "well_learned_digit": 0, "has_performance_digit": 12, "in_domain": 0.10625, "out_domain": 0.0, "short_range": 0.165, "medium_range": 0.071, "long_range": 0.0, "very_long_range": 0.0 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 0.06444444444444444, "out_domain": 0.0, "short_range": 0.14125, "medium_range": 0.003, "long_range": 0.0, "very_long_range": 0.0 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0016666666666666668, "out_domain": 0.0, "short_range": 0.005, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.0175, "out_domain": 0.0, "short_range": 0.035, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.14, "out_domain": 0.0016666666666666668, "short_range": 0.345, "medium_range": 0.0375, "long_range": 0.0033333333333333335, "very_long_range": 0.0 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.023333333333333334, "out_domain": 0.0, "short_range": 0.065, "medium_range": 0.0025, "long_range": 0.0, "very_long_range": 0.0 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.04833333333333333, "out_domain": 0.0008333333333333334, "short_range": 0.125, "medium_range": 0.01, "long_range": 0.0, "very_long_range": 0.0016666666666666668 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.32125, "out_domain": 0.010833333333333334, "short_range": 0.5025, "medium_range": 0.14, "long_range": 0.015, "very_long_range": 0.006666666666666667 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 0.08833333333333333, "out_domain": 0.03025, "short_range": 0.15125, "medium_range": 0.038, "long_range": 0.03175, "very_long_range": 0.02875 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 21, "in_domain": 0.1675, "out_domain": 0.002375, "short_range": 0.325, "medium_range": 0.073, "long_range": 0.00475, "very_long_range": 0.0 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.027777777777777776, "out_domain": 0.00175, "short_range": 0.025, "medium_range": 0.03, "long_range": 0.0035, "very_long_range": 0.0 }, "count_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 32, "in_domain": 0.148125, "out_domain": 0.0375, "short_range": 0.11333333333333333, "medium_range": 0.169, "long_range": 0.042, "very_long_range": 0.033 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0, "out_domain": 0.0, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 } }, "digit_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 6, "in_domain": 0.6139583333333333, "out_domain": 0.18221464759583947, "short_range": 0.8767499999999999, "medium_range": 0.48256249999999995, "long_range": 0.20622829022829017, "very_long_range": 0.1582010049633888 }, "add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 0.6408931271615095, "out_domain": 0.3204065495900739, "short_range": 0.7513392857142855, "medium_range": 0.5856700478851214, "long_range": 0.3828497452385089, "very_long_range": 0.25796335394163894 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0718407098005664, "out_domain": 0.04499849727234844, "short_range": 0.08788011845180962, "medium_range": 0.055801301149323156, "long_range": 0.04935058589870364, "very_long_range": 0.04064640864599325 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.06379485883419748, "out_domain": 0.04348002235840563, "short_range": 0.0779538517038517, "medium_range": 0.04963586596454326, "long_range": 0.04560276840927209, "very_long_range": 0.04135727630753916 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.10845893458393457, "out_domain": 0.14352810064335947, "short_range": 0.06691702741702742, "medium_range": 0.12922988816738815, "long_range": 0.14801294574591778, "very_long_range": 0.13904325554080116 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 5, "in_domain": 0.5929781746031745, "out_domain": 0.25259685698288636, "short_range": 0.8620833333333334, "medium_range": 0.4584255952380951, "long_range": 0.28432050357050354, "very_long_range": 0.22087321039526914 }, "sub_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 0.6874532250157251, "out_domain": 0.3776147015237874, "short_range": 0.7828035714285713, "medium_range": 0.6397780518093019, "long_range": 0.44755872331095503, "very_long_range": 0.3076706797366198 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.08815774940360065, "out_domain": 0.04730003076774338, "short_range": 0.11956154609279608, "medium_range": 0.056753952714405205, "long_range": 0.0482580586265348, "very_long_range": 0.046342002908951956 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.07468849541058485, "out_domain": 0.11744557640672845, "short_range": 0.05765882761168088, "medium_range": 0.08320332931003685, "long_range": 0.10958121757494821, "very_long_range": 0.1253099352385087 }, "max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.6299216406953686, "out_domain": 0.48080320532412496, "short_range": 0.7155846560846562, "medium_range": 0.5785238314617961, "long_range": 0.49481741549356206, "very_long_range": 0.46678899515468747 }, "max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 22, "in_domain": 0.5824574644461458, "out_domain": 0.24634814324298568, "short_range": 0.6180814891270578, "medium_range": 0.5539582447014161, "long_range": 0.3210804825573595, "very_long_range": 0.1716158039286118 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.09779080988455988, "out_domain": 0.09252106031276094, "short_range": 0.08539583333333332, "medium_range": 0.11018578643578641, "long_range": 0.09400099563929488, "very_long_range": 0.09104112498622702 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 17, "in_domain": 0.4019264288399267, "out_domain": 0.30560135522306225, "short_range": 0.35754116716616724, "medium_range": 0.43743463817893424, "long_range": 0.3140924828460215, "very_long_range": 0.2971102276001033 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 99, "has_performance_digit": 100, "in_domain": 0.834455901640499, "out_domain": 0.8800691185147741, "short_range": 0.7776547619047618, "medium_range": 0.8685365854819416, "long_range": 0.8902654810269546, "very_long_range": 0.8698727560025936 }, "max_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 38, "in_domain": 0.6390529731510495, "out_domain": 0.3479719888525165, "short_range": 0.6639333613797623, "medium_range": 0.619148662568079, "long_range": 0.43181639080573975, "very_long_range": 0.2641275868992931 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.7466830702905376, "out_domain": 0.7295196483457163, "short_range": 0.7197568820068818, "medium_range": 0.7682240209174621, "long_range": 0.7205013575136742, "very_long_range": 0.7385379391777588 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.15392066729566728, "out_domain": 0.1057229208722291, "short_range": 0.2167857142857143, "medium_range": 0.12248814380064378, "long_range": 0.10738032827039365, "very_long_range": 0.1040655134740646 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.11615277118666367, "out_domain": 0.03496367438882307, "short_range": 0.17319236319236317, "medium_range": 0.08763297518381392, "long_range": 0.04405378662444513, "very_long_range": 0.02587356215320101 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.06943829739494799, "out_domain": 0.015843959946099963, "short_range": 0.104281805000555, "medium_range": 0.03459478978934098, "long_range": 0.019073149221253763, "very_long_range": 0.012614770670946171 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.10751434950641604, "out_domain": 0.07133962221971563, "short_range": 0.10549898712398711, "medium_range": 0.1085220306976305, "long_range": 0.08023614267988527, "very_long_range": 0.062443101759545976 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.1711361832611832, "out_domain": 0.11336624588926796, "short_range": 0.1954166666666666, "medium_range": 0.1589959415584415, "long_range": 0.11443760651113588, "very_long_range": 0.11229488526740004 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.11525504629529394, "out_domain": 0.058114881602481495, "short_range": 0.13491257353757352, "medium_range": 0.10542628267415415, "long_range": 0.06600995436607243, "very_long_range": 0.05021980883889055 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0847735616368066, "out_domain": 0.027703143109735037, "short_range": 0.12660984154734153, "medium_range": 0.042937281726271655, "long_range": 0.02711554730293299, "very_long_range": 0.028290738916537085 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.13773618279868274, "out_domain": 0.09844350097483648, "short_range": 0.15378661616161615, "medium_range": 0.12971096611721605, "long_range": 0.11003363443688516, "very_long_range": 0.08685336751278781 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.5229989411952212, "out_domain": 0.49071062711953295, "short_range": 0.5641937830687831, "medium_range": 0.49828203607108407, "long_range": 0.4916954128792039, "very_long_range": 0.4897258413598618 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 42, "in_domain": 0.5189002534937989, "out_domain": 0.4434235516089484, "short_range": 0.5228961596807474, "medium_range": 0.5157035285442401, "long_range": 0.4931893747619251, "very_long_range": 0.39365772845597163 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.23258763287742099, "out_domain": 0.11500168739832667, "short_range": 0.300063492063492, "medium_range": 0.19210211736577837, "long_range": 0.12836929952045528, "very_long_range": 0.10163407527619804 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.30512287457054604, "out_domain": 0.08424467225496969, "short_range": 0.37626493239302844, "medium_range": 0.24820922831256007, "long_range": 0.11895382175140926, "very_long_range": 0.04953552275853021 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.19875, "out_domain": 0.118625, "short_range": 0.23333333333333334, "medium_range": 0.178, "long_range": 0.1265, "very_long_range": 0.11075 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.18333333333333332, "out_domain": 0.115, "short_range": 0.23625, "medium_range": 0.141, "long_range": 0.123, "very_long_range": 0.107 }, "length_Integer_none_int": { "well_learned_digit": 0, "has_performance_digit": 19, "in_domain": 0.379375, "out_domain": 0.0514375, "short_range": 0.1925, "medium_range": 0.4915, "long_range": 0.0575, "very_long_range": 0.045375 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 0.26361111111111113, "out_domain": 0.10341666666666667, "short_range": 0.36, "medium_range": 0.1865, "long_range": 0.05375, "very_long_range": 0.15308333333333335 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.02530433224183224, "out_domain": 0.025307761850732986, "short_range": 0.02526190476190476, "medium_range": 0.025325545981795986, "long_range": 0.029560463548020756, "very_long_range": 0.021055060153445212 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.04893005772706543, "out_domain": 0.016749757325322745, "short_range": 0.08841262903762903, "medium_range": 0.0094474864165018, "long_range": 0.015140460217671882, "very_long_range": 0.018359054432973608 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.2673888888888889, "out_domain": 0.09665067340067339, "short_range": 0.47833333333333333, "medium_range": 0.16191666666666665, "long_range": 0.11020833333333334, "very_long_range": 0.08309301346801347 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.1452222222222222, "out_domain": 0.07427606652606653, "short_range": 0.21916666666666665, "medium_range": 0.10825, "long_range": 0.09055753968253967, "very_long_range": 0.05799459336959335 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.20472222222222222, "out_domain": 0.17, "short_range": 0.2791666666666666, "medium_range": 0.16750000000000004, "long_range": 0.1675, "very_long_range": 0.1725 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.48337098318348326, "out_domain": 0.07469814890473032, "short_range": 0.6430178571428571, "medium_range": 0.3237241092241092, "long_range": 0.09915971201751585, "very_long_range": 0.05023658579194482 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.14311238613276797, "out_domain": 0.09393111478311521, "short_range": 0.21350563672438672, "medium_range": 0.08679778565947294, "long_range": 0.09149092919794363, "very_long_range": 0.09637130036828676 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 34, "in_domain": 0.7101795573492552, "out_domain": 0.1861758287671774, "short_range": 0.5467194564694564, "medium_range": 0.8082556178771342, "long_range": 0.36612151158629264, "very_long_range": 0.00623014594806211 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 22, "in_domain": 0.4407342942987909, "out_domain": 0.06305358012995187, "short_range": 0.25499387216777886, "medium_range": 0.5893266320036005, "long_range": 0.11720576624102963, "very_long_range": 0.008901394018874045 }, "count_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.175, "out_domain": 0.1105625, "short_range": 0.12666666666666668, "medium_range": 0.204, "long_range": 0.10175, "very_long_range": 0.119375 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.2449601141516293, "out_domain": 0.01894594678380006, "short_range": 0.3296556036556037, "medium_range": 0.19414282044924458, "long_range": 0.03313516218589582, "very_long_range": 0.004756731381704295 } }, "dlength": { "add_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 12, "in_domain": 0.115, "out_domain": 2.2666666666666666, "short_range": 0.025, "medium_range": 0.16, "long_range": 0.925, "very_long_range": 3.6083333333333334 }, "add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 0.6633333333333333, "out_domain": 2.8475, "short_range": 0.695, "medium_range": 0.6475, "long_range": 1.4683333333333333, "very_long_range": 4.226666666666667 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 7.625, "out_domain": 29.18, "short_range": 4.6175, "medium_range": 10.6325, "long_range": 20.99, "very_long_range": 37.37 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 7.5875, "out_domain": 25.750833333333333, "short_range": 4.69, "medium_range": 10.485, "long_range": 20.11, "very_long_range": 31.391666666666666 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.93, "out_domain": 2.7358333333333333, "short_range": 5.865, "medium_range": 2.9625, "long_range": 2.513333333333333, "very_long_range": 2.9583333333333335 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 4, "has_performance_digit": 20, "in_domain": 0.12333333333333334, "out_domain": 0.7125, "short_range": 0.03, "medium_range": 0.17, "long_range": 0.365, "very_long_range": 1.06 }, "sub_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 0.6966666666666667, "out_domain": 1.9633333333333334, "short_range": 0.735, "medium_range": 0.6775, "long_range": 1.005, "very_long_range": 2.921666666666667 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 7.26875, "out_domain": 26.609166666666667, "short_range": 4.0475, "medium_range": 10.49, "long_range": 21.093333333333334, "very_long_range": 32.125 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 34.416666666666664, "out_domain": 33.8225, "short_range": 33.95, "medium_range": 34.65, "long_range": 33.62166666666667, "very_long_range": 34.02333333333333 }, "max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 1.376875, "out_domain": 13.091375, "short_range": 0.6083333333333333, "medium_range": 1.838, "long_range": 7.391, "very_long_range": 18.79175 }, "max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.053888888888889, "out_domain": 59.309875, "short_range": 1.7125, "medium_range": 4.127, "long_range": 32.1515, "very_long_range": 86.46825 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 4.89125, "out_domain": 18.453333333333333, "short_range": 2.655, "medium_range": 7.1275, "long_range": 14.266666666666667, "very_long_range": 22.64 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.2955555555555556, "out_domain": 28.864625, "short_range": 2.5275, "medium_range": 3.91, "long_range": 18.5, "very_long_range": 39.22925 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.015, "out_domain": 0.139375, "short_range": 0.03833333333333333, "medium_range": 0.001, "long_range": 0.051, "very_long_range": 0.22775 }, "max_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 2.901111111111111, "out_domain": 52.602125, "short_range": 1.64875, "medium_range": 3.903, "long_range": 27.167, "very_long_range": 78.03725 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 1.7977777777777777, "out_domain": 11.502125, "short_range": 1.2525, "medium_range": 2.234, "long_range": 8.03775, "very_long_range": 14.9665 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 1.7583333333333333, "out_domain": 3.9383333333333335, "short_range": 1.66, "medium_range": 1.8075, "long_range": 3.31, "very_long_range": 4.566666666666666 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 8.12, "out_domain": 28.906666666666666, "short_range": 5.89, "medium_range": 9.235, "long_range": 21.325, "very_long_range": 36.48833333333334 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 9.38625, "out_domain": 42.104166666666664, "short_range": 4.365, "medium_range": 14.4075, "long_range": 31.72833333333333, "very_long_range": 52.48 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 8.346666666666666, "out_domain": 17.838333333333335, "short_range": 6.96, "medium_range": 9.04, "long_range": 13.858333333333333, "very_long_range": 21.81833333333333 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.3833333333333333, "out_domain": 7.616666666666666, "short_range": 1.795, "medium_range": 1.1775, "long_range": 4.536666666666667, "very_long_range": 10.696666666666667 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 6.016666666666667, "out_domain": 15.670833333333333, "short_range": 5.86, "medium_range": 6.095, "long_range": 11.428333333333333, "very_long_range": 19.913333333333334 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 7.47375, "out_domain": 25.045, "short_range": 3.905, "medium_range": 11.0425, "long_range": 21.22, "very_long_range": 28.87 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 6.711666666666667, "out_domain": 11.570833333333333, "short_range": 5.23, "medium_range": 7.4525, "long_range": 10.013333333333334, "very_long_range": 13.128333333333334 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 2.294375, "out_domain": 11.864375, "short_range": 1.145, "medium_range": 2.984, "long_range": 7.9415, "very_long_range": 15.78725 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 3.9194444444444443, "out_domain": 31.742125, "short_range": 2.24875, "medium_range": 5.256, "long_range": 15.45425, "very_long_range": 48.03 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 3.33375, "out_domain": 43.029375, "short_range": 0.765, "medium_range": 4.875, "long_range": 24.514, "very_long_range": 61.54475 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 3.5444444444444443, "out_domain": 72.878625, "short_range": 1.15375, "medium_range": 5.457, "long_range": 39.12675, "very_long_range": 106.6305 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 5.75, "out_domain": 30.65125, "short_range": 2.5216666666666665, "medium_range": 7.687, "long_range": 22.20825, "very_long_range": 39.09425 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 5.518888888888889, "out_domain": 29.93575, "short_range": 2.6375, "medium_range": 7.824, "long_range": 21.4355, "very_long_range": 38.436 }, "length_Integer_none_int": { "well_learned_digit": 99, "has_performance_digit": 100, "in_domain": 0.236875, "out_domain": 0.0155, "short_range": 0.5966666666666667, "medium_range": 0.021, "long_range": 0.006, "very_long_range": 0.025 }, "length_Float_none_int": { "well_learned_digit": 52, "has_performance_digit": 65, "in_domain": 0.15611111111111112, "out_domain": 3.27075, "short_range": 0.35125, "medium_range": 0.0, "long_range": 0.0545, "very_long_range": 6.487 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 7.636666666666667, "out_domain": 21.5475, "short_range": 5.055, "medium_range": 8.9275, "long_range": 16.178333333333335, "very_long_range": 26.916666666666668 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 12.085, "out_domain": 40.81583333333333, "short_range": 5.4175, "medium_range": 18.7525, "long_range": 32.92166666666667, "very_long_range": 48.71 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 2.45, "out_domain": 9.160833333333333, "short_range": 0.92, "medium_range": 3.215, "long_range": 7.445, "very_long_range": 10.876666666666667 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.9783333333333334, "out_domain": 5.3341666666666665, "short_range": 0.445, "medium_range": 1.245, "long_range": 3.5883333333333334, "very_long_range": 7.08 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 1.01, "out_domain": 4.9625, "short_range": 0.415, "medium_range": 1.3075, "long_range": 3.7883333333333336, "very_long_range": 6.136666666666667 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 1.6625, "out_domain": 10.1625, "short_range": 0.75, "medium_range": 2.575, "long_range": 6.881666666666667, "very_long_range": 13.443333333333333 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 93, "has_performance_digit": 98, "in_domain": 1.5544444444444445, "out_domain": 1.763125, "short_range": 1.575, "medium_range": 1.538, "long_range": 1.14425, "very_long_range": 2.382 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 2.54125, "out_domain": 42.692, "short_range": 2.9966666666666666, "medium_range": 2.268, "long_range": 23.29375, "very_long_range": 62.09025 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 9.846666666666666, "out_domain": 90.210375, "short_range": 8.2875, "medium_range": 11.094, "long_range": 58.2675, "very_long_range": 122.15325 }, "count_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 3.435625, "out_domain": 66.073, "short_range": 0.5083333333333333, "medium_range": 5.192, "long_range": 36.3755, "very_long_range": 95.7705 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 8.035625, "out_domain": 32.74625, "short_range": 4.7683333333333335, "medium_range": 9.996, "long_range": 23.248, "very_long_range": 42.2445 } } }