{ "exact_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 20, "in_domain": 0.8633333333333333, "out_domain": 0.29, "short_range": 0.985, "medium_range": 0.8025, "long_range": 0.43166666666666664, "very_long_range": 0.14833333333333334 }, "add_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 11, "in_domain": 0.7033333333333334, "out_domain": 0.09416666666666666, "short_range": 0.93, "medium_range": 0.59, "long_range": 0.17, "very_long_range": 0.018333333333333333 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.0775, "out_domain": 0.0, "short_range": 0.155, "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": 1, "in_domain": 0.09125, "out_domain": 0.0, "short_range": 0.1825, "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.055, "out_domain": 0.006666666666666667, "short_range": 0.08, "medium_range": 0.0425, "long_range": 0.01, "very_long_range": 0.0033333333333333335 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 6, "has_performance_digit": 20, "in_domain": 0.9, "out_domain": 0.38, "short_range": 0.995, "medium_range": 0.8525, "long_range": 0.535, "very_long_range": 0.225 }, "sub_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 15, "in_domain": 0.8716666666666667, "out_domain": 0.19833333333333333, "short_range": 0.96, "medium_range": 0.8275, "long_range": 0.3383333333333333, "very_long_range": 0.058333333333333334 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.0925, "out_domain": 0.0, "short_range": 0.185, "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": 100, "has_performance_digit": 100, "in_domain": 0.971875, "out_domain": 0.883875, "short_range": 0.975, "medium_range": 0.97, "long_range": 0.914, "very_long_range": 0.85375 }, "max_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 100, "in_domain": 0.5538888888888889, "out_domain": 0.45075, "short_range": 0.8575, "medium_range": 0.311, "long_range": 0.409, "very_long_range": 0.4925 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.5075, "out_domain": 0.25833333333333336, "short_range": 0.5675, "medium_range": 0.4475, "long_range": 0.29, "very_long_range": 0.22666666666666666 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 15, "has_performance_digit": 100, "in_domain": 0.8783333333333333, "out_domain": 0.342875, "short_range": 0.9725, "medium_range": 0.803, "long_range": 0.391, "very_long_range": 0.29475 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 99, "has_performance_digit": 100, "in_domain": 0.986875, "out_domain": 0.942125, "short_range": 0.9866666666666667, "medium_range": 0.987, "long_range": 0.95875, "very_long_range": 0.9255 }, "max_hard_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 100, "in_domain": 0.5022222222222222, "out_domain": 0.454, "short_range": 0.83375, "medium_range": 0.237, "long_range": 0.405, "very_long_range": 0.503 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 15, "has_performance_digit": 100, "in_domain": 0.8294444444444444, "out_domain": 0.24375, "short_range": 0.95, "medium_range": 0.733, "long_range": 0.248, "very_long_range": 0.2395 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.12666666666666668, "out_domain": 0.0, "short_range": 0.36, "medium_range": 0.01, "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.005, "out_domain": 0.0, "short_range": 0.015, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.205, "out_domain": 0.0, "short_range": 0.41, "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.0033333333333333335, "out_domain": 0.0, "short_range": 0.01, "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": 4, "in_domain": 0.16666666666666666, "out_domain": 0.019166666666666665, "short_range": 0.405, "medium_range": 0.0475, "long_range": 0.016666666666666666, "very_long_range": 0.021666666666666667 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.008333333333333333, "out_domain": 0.0, "short_range": 0.025, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.225, "out_domain": 0.0016666666666666668, "short_range": 0.45, "medium_range": 0.0, "long_range": 0.0016666666666666668, "very_long_range": 0.0016666666666666668 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.006666666666666667, "out_domain": 0.0, "short_range": 0.02, "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.0275, "out_domain": 0.0, "short_range": 0.06666666666666667, "medium_range": 0.004, "long_range": 0.0, "very_long_range": 0.0 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.021666666666666667, "out_domain": 0.0, "short_range": 0.04875, "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.006875, "out_domain": 0.0, "short_range": 0.018333333333333333, "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.0005555555555555556, "out_domain": 0.0, "short_range": 0.00125, "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": 100, "in_domain": 0.6625, "out_domain": 0.24975, "short_range": 0.8166666666666667, "medium_range": 0.57, "long_range": 0.30125, "very_long_range": 0.19825 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.5088888888888888, "out_domain": 0.18475, "short_range": 0.67, "medium_range": 0.38, "long_range": 0.22125, "very_long_range": 0.14825 }, "length_Integer_none_int": { "well_learned_digit": 39, "has_performance_digit": 100, "in_domain": 0.98375, "out_domain": 0.1835, "short_range": 0.9916666666666667, "medium_range": 0.979, "long_range": 0.30425, "very_long_range": 0.06275 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 21, "in_domain": 0.22055555555555556, "out_domain": 0.015625, "short_range": 0.36375, "medium_range": 0.106, "long_range": 0.02525, "very_long_range": 0.006 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.49833333333333335, "out_domain": 0.24416666666666667, "short_range": 0.65, "medium_range": 0.4225, "long_range": 0.30833333333333335, "very_long_range": 0.18 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.19375, "out_domain": 0.0, "short_range": 0.385, "medium_range": 0.0025, "long_range": 0.0, "very_long_range": 0.0 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 4, "has_performance_digit": 20, "in_domain": 0.8066666666666666, "out_domain": 0.33166666666666667, "short_range": 0.965, "medium_range": 0.7275, "long_range": 0.38333333333333336, "very_long_range": 0.28 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.145, "out_domain": 0.0, "short_range": 0.415, "medium_range": 0.01, "long_range": 0.0, "very_long_range": 0.0 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.17833333333333334, "out_domain": 0.029166666666666667, "short_range": 0.425, "medium_range": 0.055, "long_range": 0.03, "very_long_range": 0.028333333333333332 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.5475, "out_domain": 0.085, "short_range": 0.615, "medium_range": 0.48, "long_range": 0.14833333333333334, "very_long_range": 0.021666666666666667 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 22, "in_domain": 0.22, "out_domain": 0.01375, "short_range": 0.32375, "medium_range": 0.137, "long_range": 0.02725, "very_long_range": 0.00025 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 18, "has_performance_digit": 37, "in_domain": 0.926875, "out_domain": 0.063375, "short_range": 0.9766666666666667, "medium_range": 0.897, "long_range": 0.1235, "very_long_range": 0.00325 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 7, "has_performance_digit": 22, "in_domain": 0.4861111111111111, "out_domain": 0.03175, "short_range": 0.85, "medium_range": 0.195, "long_range": 0.04575, "very_long_range": 0.01775 }, "count_Integer_int_int": { "well_learned_digit": 7, "has_performance_digit": 100, "in_domain": 0.715, "out_domain": 0.222375, "short_range": 0.8916666666666667, "medium_range": 0.609, "long_range": 0.286, "very_long_range": 0.15875 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 37, "in_domain": 0.511875, "out_domain": 0.035875, "short_range": 0.6283333333333333, "medium_range": 0.442, "long_range": 0.07025, "very_long_range": 0.0015 } }, "digit_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 10, "has_performance_digit": 20, "in_domain": 0.9748624338624338, "out_domain": 0.7402473637402042, "short_range": 0.99375, "medium_range": 0.9654186507936506, "long_range": 0.8341187978687977, "very_long_range": 0.6463759296116107 }, "add_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 20, "in_domain": 0.93625085127291, "out_domain": 0.6619955778187726, "short_range": 0.9929583333333332, "medium_range": 0.9078971102426984, "long_range": 0.7424871501994678, "very_long_range": 0.5815040054380776 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.266292647017896, "out_domain": 0.07001099342341136, "short_range": 0.43027973109406936, "medium_range": 0.10230556294172262, "long_range": 0.0722019299583324, "very_long_range": 0.06782005688849031 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 0.26132823370919595, "out_domain": 0.06706201905150988, "short_range": 0.4343298923298923, "medium_range": 0.0883265750884996, "long_range": 0.06955167300088091, "very_long_range": 0.06457236510213885 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.5397594535094534, "out_domain": 0.46139208302303236, "short_range": 0.5746868686868686, "medium_range": 0.5222957459207458, "long_range": 0.4921461992814547, "very_long_range": 0.43063796676461 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 11, "has_performance_digit": 20, "in_domain": 0.9744603174603174, "out_domain": 0.7716511925932398, "short_range": 0.99875, "medium_range": 0.9623154761904762, "long_range": 0.8635322316572316, "very_long_range": 0.6797701535292479 }, "sub_Float_Float_Float": { "well_learned_digit": 10, "has_performance_digit": 20, "in_domain": 0.976643789081289, "out_domain": 0.7627821366316986, "short_range": 0.994375, "medium_range": 0.9677781836219336, "long_range": 0.8349489830688125, "very_long_range": 0.6906152901945848 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.22109562889940051, "out_domain": 0.05071291960355137, "short_range": 0.370409031940282, "medium_range": 0.07178222585851905, "long_range": 0.053523238525319435, "very_long_range": 0.04790260068178331 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.43271763653013656, "out_domain": 0.3054293926443157, "short_range": 0.4868347763347765, "medium_range": 0.4056590666278166, "long_range": 0.3414550508043153, "very_long_range": 0.26940373448431615 }, "max_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9773197100591402, "out_domain": 0.8952998529270695, "short_range": 0.9810238095238096, "medium_range": 0.9750972503803386, "long_range": 0.9236794279560998, "very_long_range": 0.866920277898039 }, "max_Float_Float_Float": { "well_learned_digit": 10, "has_performance_digit": 100, "in_domain": 0.8477238784465339, "out_domain": 0.6281923375968406, "short_range": 0.968178848730174, "medium_range": 0.7513599022196216, "long_range": 0.6514545487685945, "very_long_range": 0.6049301264250866 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.5681001810689311, "out_domain": 0.34057291575270554, "short_range": 0.6215625, "medium_range": 0.5146378621378621, "long_range": 0.36819287797644146, "very_long_range": 0.31295295352896957 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 19, "has_performance_digit": 98, "in_domain": 0.9652105572702416, "out_domain": 0.583186818567447, "short_range": 0.9889923652736152, "medium_range": 0.9461851108675428, "long_range": 0.6842391228194212, "very_long_range": 0.4821345143154729 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9920518109207399, "out_domain": 0.9763353348030759, "short_range": 0.990574074074074, "medium_range": 0.9929384530287393, "long_range": 0.9810803241660894, "very_long_range": 0.971590345440063 }, "max_hard_Float_Float_Float": { "well_learned_digit": 8, "has_performance_digit": 100, "in_domain": 0.8282105320171663, "out_domain": 0.6597310331758561, "short_range": 0.9617744113793841, "medium_range": 0.7213594285273922, "long_range": 0.67049403671712, "very_long_range": 0.648968029634592 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 16, "has_performance_digit": 100, "in_domain": 0.9512584386166548, "out_domain": 0.543144537029192, "short_range": 0.9781267551892553, "medium_range": 0.9297637853585744, "long_range": 0.6264858451491909, "very_long_range": 0.4598032289091932 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.5480471195471194, "out_domain": 0.18989292300124871, "short_range": 0.7549285714285713, "medium_range": 0.44460639360639354, "long_range": 0.2336286089129399, "very_long_range": 0.1461572370895575 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.2569083351822151, "out_domain": 0.09879854325819479, "short_range": 0.35814078282828277, "medium_range": 0.20629211135918132, "long_range": 0.12008408430204981, "very_long_range": 0.07751300221433977 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 0.36227699412055847, "out_domain": 0.08802646575945614, "short_range": 0.5623815767565769, "medium_range": 0.16217241148454015, "long_range": 0.09444852965475106, "very_long_range": 0.08160440186416121 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.44444993590717274, "out_domain": 0.21283452648129214, "short_range": 0.5690583305583307, "medium_range": 0.3821457385815938, "long_range": 0.24671501437643523, "very_long_range": 0.17895403858614897 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.6116100288600286, "out_domain": 0.33178149020312325, "short_range": 0.7952023809523806, "medium_range": 0.5198138528138527, "long_range": 0.3697241953308129, "very_long_range": 0.2938387850754336 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.27943612789858907, "out_domain": 0.13916621081194158, "short_range": 0.3891153152403152, "medium_range": 0.22459653422772605, "long_range": 0.16011641145509334, "very_long_range": 0.11821601016878984 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.390979284260631, "out_domain": 0.1103379216219363, "short_range": 0.6024418775668776, "medium_range": 0.1795166909543844, "long_range": 0.11783842900769512, "very_long_range": 0.10283741423617745 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.4779356014356013, "out_domain": 0.2849235697249563, "short_range": 0.569222582972583, "medium_range": 0.4322921106671106, "long_range": 0.31798625619736287, "very_long_range": 0.2518608832525498 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.6137827499593415, "out_domain": 0.5559842078032916, "short_range": 0.6341335978835978, "medium_range": 0.6015722412047876, "long_range": 0.5606602876763136, "very_long_range": 0.5513081279302694 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.6369865138746162, "out_domain": 0.566365481525226, "short_range": 0.6689787543253101, "medium_range": 0.6113927215140611, "long_range": 0.5796937569816604, "very_long_range": 0.5530372060687917 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.22592296262066963, "out_domain": 0.08568445401231216, "short_range": 0.33162103174603175, "medium_range": 0.16250412114545232, "long_range": 0.10186769378370161, "very_long_range": 0.06950121424092276 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.07183953512683179, "out_domain": 0.016877872675709258, "short_range": 0.11664878347594097, "medium_range": 0.03599213644754446, "long_range": 0.020749133773500787, "very_long_range": 0.013006611577917744 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 25, "in_domain": 0.6625, "out_domain": 0.24975, "short_range": 0.8166666666666667, "medium_range": 0.57, "long_range": 0.30125, "very_long_range": 0.19825 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 10, "in_domain": 0.5088888888888888, "out_domain": 0.18475, "short_range": 0.67, "medium_range": 0.38, "long_range": 0.22125, "very_long_range": 0.14825 }, "length_Integer_none_int": { "well_learned_digit": 39, "has_performance_digit": 78, "in_domain": 0.9896875, "out_domain": 0.3221458333333333, "short_range": 0.9916666666666667, "medium_range": 0.9885, "long_range": 0.46825, "very_long_range": 0.17604166666666665 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 0.44666666666666666, "out_domain": 0.15502083333333327, "short_range": 0.536875, "medium_range": 0.3745, "long_range": 0.16974999999999998, "very_long_range": 0.14029166666666662 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.5515075271950273, "out_domain": 0.3007188620017537, "short_range": 0.6915714285714286, "medium_range": 0.48147557650682643, "long_range": 0.36093143454784277, "very_long_range": 0.2405062894556645 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 0.2847900180847842, "out_domain": 0.057356694149820635, "short_range": 0.49117394758019756, "medium_range": 0.07840608858937084, "long_range": 0.06128494313195927, "very_long_range": 0.05342844516768199 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 15, "in_domain": 0.9118333333333336, "out_domain": 0.5189909812409813, "short_range": 0.9758333333333334, "medium_range": 0.8798333333333335, "long_range": 0.6179464285714286, "very_long_range": 0.420035533910534 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.2980555555555555, "out_domain": 0.11628096209346206, "short_range": 0.545, "medium_range": 0.17458333333333328, "long_range": 0.12117129629629626, "very_long_range": 0.11139062789062787 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.32944444444444443, "out_domain": 0.19875, "short_range": 0.5291666666666667, "medium_range": 0.22958333333333328, "long_range": 0.1988888888888889, "very_long_range": 0.1986111111111111 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 0.6349395326895327, "out_domain": 0.19422773867793783, "short_range": 0.6298452380952381, "medium_range": 0.6400338272838273, "long_range": 0.290933960028993, "very_long_range": 0.09752151732688256 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 0.36558110731717547, "out_domain": 0.05691020340910457, "short_range": 0.5124234758297259, "medium_range": 0.24810721250713508, "long_range": 0.08801797139054439, "very_long_range": 0.02580243542766477 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 23, "has_performance_digit": 71, "in_domain": 0.9855084519668499, "out_domain": 0.5486164610216958, "short_range": 0.9961952861952862, "medium_range": 0.979096351429788, "long_range": 0.6685398576239879, "very_long_range": 0.42869306441940414 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 8, "has_performance_digit": 28, "in_domain": 0.7996344649624025, "out_domain": 0.33951580714480045, "short_range": 0.9597539446814793, "medium_range": 0.6715388811871411, "long_range": 0.4026695554413091, "very_long_range": 0.27636205884829207 }, "count_Integer_int_int": { "well_learned_digit": 7, "has_performance_digit": 18, "in_domain": 0.715, "out_domain": 0.2486875, "short_range": 0.8916666666666667, "medium_range": 0.609, "long_range": 0.287375, "very_long_range": 0.21 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 31, "has_performance_digit": 100, "in_domain": 0.9604498090059235, "out_domain": 0.7771637546855789, "short_range": 0.9585998677248676, "medium_range": 0.961559773774557, "long_range": 0.8310471718761558, "very_long_range": 0.7232803374950019 } }, "dlength": { "add_Integer_Integer_Integer": { "well_learned_digit": 20, "has_performance_digit": 20, "in_domain": 0.0016666666666666668, "out_domain": 0.0225, "short_range": 0.0, "medium_range": 0.0025, "long_range": 0.03333333333333333, "very_long_range": 0.011666666666666667 }, "add_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 7, "in_domain": 0.47833333333333333, "out_domain": 6.44, "short_range": 0.05, "medium_range": 0.6925, "long_range": 4.088333333333333, "very_long_range": 8.791666666666666 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 4.1375, "out_domain": 18.700833333333332, "short_range": 1.3625, "medium_range": 6.9125, "long_range": 13.926666666666666, "very_long_range": 23.475 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 4.0925, "out_domain": 16.664166666666667, "short_range": 1.53, "medium_range": 6.655, "long_range": 13.275, "very_long_range": 20.053333333333335 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 1.7366666666666666, "out_domain": 3.8566666666666665, "short_range": 1.635, "medium_range": 1.7875, "long_range": 2.591666666666667, "very_long_range": 5.121666666666667 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 20, "has_performance_digit": 20, "in_domain": 0.02, "out_domain": 0.03833333333333333, "short_range": 0.005, "medium_range": 0.0275, "long_range": 0.02666666666666667, "very_long_range": 0.05 }, "sub_Float_Float_Float": { "well_learned_digit": 5, "has_performance_digit": 10, "in_domain": 0.14166666666666666, "out_domain": 3.470833333333333, "short_range": 0.035, "medium_range": 0.195, "long_range": 2.2583333333333333, "very_long_range": 4.683333333333334 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 7.08625, "out_domain": 26.933333333333334, "short_range": 3.0775, "medium_range": 11.095, "long_range": 21.126666666666665, "very_long_range": 32.74 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.3916666666666666, "out_domain": 3.9141666666666666, "short_range": 3.85, "medium_range": 3.1625, "long_range": 3.0883333333333334, "very_long_range": 4.74 }, "max_Integer_Integer_Integer": { "well_learned_digit": 31, "has_performance_digit": 72, "in_domain": 0.038125, "out_domain": 1.297125, "short_range": 0.02, "medium_range": 0.049, "long_range": 0.34925, "very_long_range": 2.245 }, "max_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 9, "in_domain": 3.4683333333333333, "out_domain": 21.0405, "short_range": 0.40125, "medium_range": 5.922, "long_range": 15.016, "very_long_range": 27.065 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 1.2625, "out_domain": 6.120833333333334, "short_range": 0.71, "medium_range": 1.815, "long_range": 4.391666666666667, "very_long_range": 7.85 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 12, "has_performance_digit": 17, "in_domain": 0.4088888888888889, "out_domain": 25.67825, "short_range": 0.025, "medium_range": 0.716, "long_range": 12.75625, "very_long_range": 38.60025 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.000625, "out_domain": 0.008875, "short_range": 0.0, "medium_range": 0.001, "long_range": 0.0015, "very_long_range": 0.01625 }, "max_hard_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 8, "in_domain": 3.7583333333333333, "out_domain": 19.36825, "short_range": 0.5025, "medium_range": 6.363, "long_range": 14.371, "very_long_range": 24.3655 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 8, "has_performance_digit": 16, "in_domain": 0.6011111111111112, "out_domain": 27.271875, "short_range": 0.08875, "medium_range": 1.011, "long_range": 14.95925, "very_long_range": 39.5845 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 7, "has_performance_digit": 11, "in_domain": 0.055, "out_domain": 1.7858333333333334, "short_range": 0.035, "medium_range": 0.065, "long_range": 1.0316666666666667, "very_long_range": 2.54 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 5.1466666666666665, "out_domain": 20.093333333333334, "short_range": 2.365, "medium_range": 6.5375, "long_range": 14.645, "very_long_range": 25.541666666666668 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 3.145, "out_domain": 14.475, "short_range": 1.5525, "medium_range": 4.7375, "long_range": 10.385, "very_long_range": 18.565 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.6233333333333335, "out_domain": 14.289166666666667, "short_range": 1.94, "medium_range": 4.465, "long_range": 10.496666666666666, "very_long_range": 18.081666666666667 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 16, "has_performance_digit": 20, "in_domain": 0.03333333333333333, "out_domain": 0.33, "short_range": 0.0, "medium_range": 0.05, "long_range": 0.19, "very_long_range": 0.47 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 4.071666666666666, "out_domain": 12.3, "short_range": 2.2, "medium_range": 5.0075, "long_range": 9.716666666666667, "very_long_range": 14.883333333333333 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 2.3875, "out_domain": 6.516666666666667, "short_range": 1.4175, "medium_range": 3.3575, "long_range": 5.203333333333333, "very_long_range": 7.83 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 2.63, "out_domain": 6.760833333333333, "short_range": 2.105, "medium_range": 2.8925, "long_range": 4.945, "very_long_range": 8.576666666666666 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 10, "has_performance_digit": 16, "in_domain": 0.595, "out_domain": 6.548875, "short_range": 0.18666666666666668, "medium_range": 0.84, "long_range": 3.93725, "very_long_range": 9.1605 }, "digit_max_Float_Float_Float": { "well_learned_digit": 3, "has_performance_digit": 7, "in_domain": 1.8605555555555555, "out_domain": 14.853, "short_range": 0.66625, "medium_range": 2.816, "long_range": 8.9715, "very_long_range": 20.7345 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 2.798125, "out_domain": 20.846875, "short_range": 1.1066666666666667, "medium_range": 3.813, "long_range": 11.0815, "very_long_range": 30.61225 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 15.702222222222222, "out_domain": 90.9205, "short_range": 7.98625, "medium_range": 21.875, "long_range": 59.15, "very_long_range": 122.691 }, "get_digit_Integer_int_int": { "well_learned_digit": 100, "has_performance_digit": 100, "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 }, "get_digit_Float_int_int": { "well_learned_digit": 100, "has_performance_digit": 100, "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 }, "length_Integer_none_int": { "well_learned_digit": 99, "has_performance_digit": 100, "in_domain": 0.0025, "out_domain": 0.036875, "short_range": 0.006666666666666667, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.07375 }, "length_Float_none_int": { "well_learned_digit": 52, "has_performance_digit": 100, "in_domain": 0.034444444444444444, "out_domain": 0.303375, "short_range": 0.0775, "medium_range": 0.0, "long_range": 0.05775, "very_long_range": 0.549 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.61, "out_domain": 9.0975, "short_range": 0.485, "medium_range": 2.1725, "long_range": 6.125, "very_long_range": 12.07 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 5.78625, "out_domain": 23.61, "short_range": 2.795, "medium_range": 8.7775, "long_range": 17.425, "very_long_range": 29.795 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 8, "has_performance_digit": 14, "in_domain": 0.03833333333333333, "out_domain": 1.0591666666666666, "short_range": 0.015, "medium_range": 0.05, "long_range": 0.59, "very_long_range": 1.5283333333333333 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 15, "in_domain": 0.37, "out_domain": 1.1583333333333334, "short_range": 0.15, "medium_range": 0.48, "long_range": 0.98, "very_long_range": 1.3366666666666667 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 20, "in_domain": 0.27666666666666667, "out_domain": 0.3441666666666667, "short_range": 0.16, "medium_range": 0.335, "long_range": 0.3416666666666667, "very_long_range": 0.3466666666666667 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 1.66, "out_domain": 10.383333333333333, "short_range": 1.0025, "medium_range": 2.3175, "long_range": 6.776666666666666, "very_long_range": 13.99 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 15, "in_domain": 1.5355555555555556, "out_domain": 44.628625, "short_range": 0.86125, "medium_range": 2.075, "long_range": 24.88625, "very_long_range": 64.371 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 9, "has_performance_digit": 21, "in_domain": 0.25625, "out_domain": 22.901, "short_range": 0.04666666666666667, "medium_range": 0.382, "long_range": 11.197, "very_long_range": 34.605 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 3, "has_performance_digit": 8, "in_domain": 4.953333333333333, "out_domain": 59.92, "short_range": 0.49875, "medium_range": 8.517, "long_range": 36.018, "very_long_range": 83.822 }, "count_Integer_int_int": { "well_learned_digit": 66, "has_performance_digit": 100, "in_domain": 0.0, "out_domain": 0.148625, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.02675, "very_long_range": 0.2705 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 23, "in_domain": 0.5425, "out_domain": 14.046, "short_range": 0.35, "medium_range": 0.658, "long_range": 5.833, "very_long_range": 22.259 } } }