{ "exact_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 4, "has_performance_digit": 12, "in_domain": 0.7483333333333333, "out_domain": 0.06166666666666667, "short_range": 0.95, "medium_range": 0.6475, "long_range": 0.11833333333333333, "very_long_range": 0.005 }, "add_Float_Float_Float": { "well_learned_digit": 5, "has_performance_digit": 17, "in_domain": 0.7883333333333333, "out_domain": 0.17583333333333334, "short_range": 0.955, "medium_range": 0.705, "long_range": 0.27166666666666667, "very_long_range": 0.08 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.05, "out_domain": 0.0, "short_range": 0.1, "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.02625, "out_domain": 0.0, "short_range": 0.0525, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.08, "out_domain": 0.008333333333333333, "short_range": 0.09, "medium_range": 0.075, "long_range": 0.015, "very_long_range": 0.0016666666666666668 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 4, "has_performance_digit": 12, "in_domain": 0.7766666666666666, "out_domain": 0.11, "short_range": 0.985, "medium_range": 0.6725, "long_range": 0.20333333333333334, "very_long_range": 0.016666666666666666 }, "sub_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 17, "in_domain": 0.8516666666666667, "out_domain": 0.235, "short_range": 0.965, "medium_range": 0.795, "long_range": 0.395, "very_long_range": 0.075 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 0.06125, "out_domain": 0.0, "short_range": 0.1225, "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.006666666666666667, "out_domain": 0.0008333333333333334, "short_range": 0.01, "medium_range": 0.005, "long_range": 0.0016666666666666668, "very_long_range": 0.0 }, "max_Integer_Integer_Integer": { "well_learned_digit": 83, "has_performance_digit": 100, "in_domain": 0.99625, "out_domain": 0.837625, "short_range": 1.0, "medium_range": 0.994, "long_range": 0.89775, "very_long_range": 0.7775 }, "max_Float_Float_Float": { "well_learned_digit": 75, "has_performance_digit": 100, "in_domain": 0.9988888888888889, "out_domain": 0.878625, "short_range": 1.0, "medium_range": 0.998, "long_range": 0.936, "very_long_range": 0.82125 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.60875, "out_domain": 0.5475, "short_range": 0.5925, "medium_range": 0.625, "long_range": 0.5516666666666666, "very_long_range": 0.5433333333333333 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9994444444444445, "out_domain": 0.99525, "short_range": 0.99875, "medium_range": 1.0, "long_range": 0.999, "very_long_range": 0.9915 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9975, "out_domain": 0.953375, "short_range": 0.9983333333333333, "medium_range": 0.997, "long_range": 0.96425, "very_long_range": 0.9425 }, "max_hard_Float_Float_Float": { "well_learned_digit": 59, "has_performance_digit": 100, "in_domain": 0.995, "out_domain": 0.867875, "short_range": 1.0, "medium_range": 0.991, "long_range": 0.92425, "very_long_range": 0.8115 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 98, "has_performance_digit": 100, "in_domain": 0.9855555555555555, "out_domain": 0.899625, "short_range": 0.98875, "medium_range": 0.983, "long_range": 0.94475, "very_long_range": 0.8545 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.07, "out_domain": 0.0, "short_range": 0.2, "medium_range": 0.005, "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.0033333333333333335, "out_domain": 0.0, "short_range": 0.01, "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": 3, "in_domain": 0.1125, "out_domain": 0.0, "short_range": 0.225, "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.105, "out_domain": 0.0075, "short_range": 0.25, "medium_range": 0.0325, "long_range": 0.006666666666666667, "very_long_range": 0.008333333333333333 }, "multiply_easy_Float_Float_Float": { "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_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.21625, "out_domain": 0.0008333333333333334, "short_range": 0.4325, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0016666666666666668 }, "multiply_easy_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 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 12, "in_domain": 0.135, "out_domain": 0.000375, "short_range": 0.2833333333333333, "medium_range": 0.046, "long_range": 0.00075, "very_long_range": 0.0 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 18, "in_domain": 0.35388888888888886, "out_domain": 0.002, "short_range": 0.58125, "medium_range": 0.172, "long_range": 0.004, "very_long_range": 0.0 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 0.10875, "out_domain": 0.0, "short_range": 0.25333333333333335, "medium_range": 0.022, "long_range": 0.0, "very_long_range": 0.0 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 0.16333333333333333, "out_domain": 0.000375, "short_range": 0.305, "medium_range": 0.05, "long_range": 0.00075, "very_long_range": 0.0 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.548125, "out_domain": 0.220125, "short_range": 0.6783333333333333, "medium_range": 0.47, "long_range": 0.26925, "very_long_range": 0.171 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.44722222222222224, "out_domain": 0.1725, "short_range": 0.52875, "medium_range": 0.382, "long_range": 0.2085, "very_long_range": 0.1365 }, "length_Integer_none_int": { "well_learned_digit": 18, "has_performance_digit": 100, "in_domain": 0.740625, "out_domain": 0.062375, "short_range": 0.99, "medium_range": 0.591, "long_range": 0.10725, "very_long_range": 0.0175 }, "length_Float_none_int": { "well_learned_digit": 4, "has_performance_digit": 28, "in_domain": 0.46444444444444444, "out_domain": 0.030875, "short_range": 0.635, "medium_range": 0.328, "long_range": 0.0575, "very_long_range": 0.00425 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 3, "has_performance_digit": 20, "in_domain": 0.715, "out_domain": 0.5875, "short_range": 0.825, "medium_range": 0.66, "long_range": 0.58, "very_long_range": 0.595 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.14125, "out_domain": 0.0, "short_range": 0.2825, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.0 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 4, "has_performance_digit": 20, "in_domain": 0.7933333333333333, "out_domain": 0.315, "short_range": 0.92, "medium_range": 0.73, "long_range": 0.37, "very_long_range": 0.26 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.09333333333333334, "out_domain": 0.0, "short_range": 0.245, "medium_range": 0.0175, "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.12833333333333333, "out_domain": 0.023333333333333334, "short_range": 0.285, "medium_range": 0.05, "long_range": 0.03333333333333333, "very_long_range": 0.013333333333333334 }, "to_float_Fraction_none_Float": { "well_learned_digit": 3, "has_performance_digit": 11, "in_domain": 0.55, "out_domain": 0.06833333333333333, "short_range": 0.7575, "medium_range": 0.3425, "long_range": 0.09333333333333334, "very_long_range": 0.043333333333333335 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 8, "has_performance_digit": 99, "in_domain": 0.7838888888888889, "out_domain": 0.181875, "short_range": 0.90375, "medium_range": 0.688, "long_range": 0.2645, "very_long_range": 0.09925 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 18, "has_performance_digit": 39, "in_domain": 0.950625, "out_domain": 0.019125, "short_range": 0.9866666666666667, "medium_range": 0.929, "long_range": 0.037, "very_long_range": 0.00125 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 17, "has_performance_digit": 79, "in_domain": 0.9172222222222223, "out_domain": 0.18375, "short_range": 0.97625, "medium_range": 0.87, "long_range": 0.2935, "very_long_range": 0.074 }, "count_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 94, "in_domain": 0.55375, "out_domain": 0.120625, "short_range": 0.7483333333333333, "medium_range": 0.437, "long_range": 0.1715, "very_long_range": 0.06975 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.108125, "out_domain": 0.00025, "short_range": 0.17833333333333334, "medium_range": 0.066, "long_range": 0.0005, "very_long_range": 0.0 } }, "digit_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 6, "has_performance_digit": 16, "in_domain": 0.9424854497354496, "out_domain": 0.5800477536631754, "short_range": 0.98675, "medium_range": 0.9203531746031746, "long_range": 0.669980944980945, "very_long_range": 0.49011456234540596 }, "add_Float_Float_Float": { "well_learned_digit": 9, "has_performance_digit": 20, "in_domain": 0.9676948126764302, "out_domain": 0.833486185672711, "short_range": 0.9912857142857143, "medium_range": 0.9558993618717883, "long_range": 0.8741510960648359, "very_long_range": 0.7928212752805862 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.3112455009083849, "out_domain": 0.10054204431008192, "short_range": 0.4049206532846239, "medium_range": 0.2175703485321458, "long_range": 0.1155397937428139, "very_long_range": 0.08554429487734992 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.26542469381445266, "out_domain": 0.10111786525580675, "short_range": 0.31949895243645243, "medium_range": 0.21135043519245295, "long_range": 0.11462988554109661, "very_long_range": 0.08760584497051689 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.5141966621341619, "out_domain": 0.3909053965614911, "short_range": 0.4700642135642134, "medium_range": 0.5362628864191364, "long_range": 0.42988157309809777, "very_long_range": 0.35192922002488447 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 6, "has_performance_digit": 19, "in_domain": 0.9391984126984126, "out_domain": 0.6268625651631649, "short_range": 0.9945833333333334, "medium_range": 0.9115059523809523, "long_range": 0.7264268509268509, "very_long_range": 0.5272982793994789 }, "sub_Float_Float_Float": { "well_learned_digit": 12, "has_performance_digit": 20, "in_domain": 0.9795826280201281, "out_domain": 0.8615032866429726, "short_range": 0.9919940476190476, "medium_range": 0.973376918220668, "long_range": 0.9133862476894046, "very_long_range": 0.8096203255965405 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.324186424148357, "out_domain": 0.09008831826596753, "short_range": 0.44360831529581524, "medium_range": 0.20476453300089884, "long_range": 0.10536440837059778, "very_long_range": 0.07481222816133729 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0855246878656939, "out_domain": 0.1827132093146147, "short_range": 0.08460794261036568, "medium_range": 0.08598306049335801, "long_range": 0.14194384221961506, "very_long_range": 0.22348257640961441 }, "max_Integer_Integer_Integer": { "well_learned_digit": 83, "has_performance_digit": 100, "in_domain": 0.9966047794117646, "out_domain": 0.8513748336092817, "short_range": 1.0, "medium_range": 0.9945676470588236, "long_range": 0.9068594613248513, "very_long_range": 0.7958902058937123 }, "max_Float_Float_Float": { "well_learned_digit": 75, "has_performance_digit": 100, "in_domain": 0.998975403975404, "out_domain": 0.8890632091493426, "short_range": 1.0, "medium_range": 0.9981557271557272, "long_range": 0.9416155313912596, "very_long_range": 0.8365108869074255 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.6414097950660449, "out_domain": 0.5904994977316321, "short_range": 0.6180208333333334, "medium_range": 0.6647987567987568, "long_range": 0.5933530495033054, "very_long_range": 0.5876459459599588 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9995370370370371, "out_domain": 0.9970523877388017, "short_range": 0.9989583333333334, "medium_range": 1.0, "long_range": 0.9993096443367182, "very_long_range": 0.9947951311408852 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9988750000000001, "out_domain": 0.9813609339725425, "short_range": 0.9997619047619049, "medium_range": 0.9983428571428572, "long_range": 0.985998067720662, "very_long_range": 0.9767238002244234 }, "max_hard_Float_Float_Float": { "well_learned_digit": 79, "has_performance_digit": 100, "in_domain": 0.9974247004263691, "out_domain": 0.9036084149082262, "short_range": 1.0, "medium_range": 0.9953644607674645, "long_range": 0.9458655045088132, "very_long_range": 0.861351325307639 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9964532100190638, "out_domain": 0.9618722197885913, "short_range": 0.9968387896825397, "medium_range": 0.9961447462882834, "long_range": 0.9818625772364177, "very_long_range": 0.9418818623407644 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.4989846588596587, "out_domain": 0.20835760379224377, "short_range": 0.6730238095238092, "medium_range": 0.41196508352758343, "long_range": 0.25525500630642517, "very_long_range": 0.16146020127806235 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.31777509122517217, "out_domain": 0.13443235300535084, "short_range": 0.4371484557109557, "medium_range": 0.25808840898228036, "long_range": 0.15357330788521423, "very_long_range": 0.11529139812548744 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.36099849782805493, "out_domain": 0.1421757221870826, "short_range": 0.4480326513764015, "medium_range": 0.2739643442797084, "long_range": 0.1636219240320032, "very_long_range": 0.12072952034216193 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.4070029426627723, "out_domain": 0.2509364152571432, "short_range": 0.3999235070485071, "medium_range": 0.4105426604699049, "long_range": 0.2861527916043177, "very_long_range": 0.21572003890996883 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.5746534992784991, "out_domain": 0.3098199451197161, "short_range": 0.7205238095238093, "medium_range": 0.501718344155844, "long_range": 0.3513737426788895, "very_long_range": 0.2682661475605428 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.3517208709046943, "out_domain": 0.1938303791621413, "short_range": 0.44595222832722825, "medium_range": 0.3046051921934273, "long_range": 0.2160907223761125, "very_long_range": 0.17157003594817014 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.4745626851917003, "out_domain": 0.19358222139803094, "short_range": 0.6352636391386393, "medium_range": 0.31386173124476135, "long_range": 0.22885438238613331, "very_long_range": 0.15831006040992857 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.5073506724756723, "out_domain": 0.3098743712612304, "short_range": 0.5920510461760461, "medium_range": 0.46500048562548557, "long_range": 0.3459556904725247, "very_long_range": 0.2737930520499361 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.71960048451237, "out_domain": 0.5199879500766356, "short_range": 0.7796534391534389, "medium_range": 0.6835687117277288, "long_range": 0.5448816887151738, "very_long_range": 0.49509421143809684 }, "digit_max_Float_Float_Float": { "well_learned_digit": 13, "has_performance_digit": 100, "in_domain": 0.912247408641426, "out_domain": 0.6807634249108845, "short_range": 0.9375741736065359, "medium_range": 0.8919859966693379, "long_range": 0.744242064374223, "very_long_range": 0.6172847854475462 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.6534902240566665, "out_domain": 0.247513257202956, "short_range": 0.7798366402116399, "medium_range": 0.5776823743636823, "long_range": 0.29405570304795914, "very_long_range": 0.20097081135795308 }, "digit_add_Float_Float_Float": { "well_learned_digit": 5, "has_performance_digit": 73, "in_domain": 0.8608253351801332, "out_domain": 0.5555810700269785, "short_range": 0.89034461128719, "medium_range": 0.8372099142944877, "long_range": 0.6665975713612682, "very_long_range": 0.44456456869268945 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 18, "in_domain": 0.548125, "out_domain": 0.220125, "short_range": 0.6783333333333333, "medium_range": 0.47, "long_range": 0.26925, "very_long_range": 0.171 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 0.44722222222222224, "out_domain": 0.1725, "short_range": 0.52875, "medium_range": 0.382, "long_range": 0.2085, "very_long_range": 0.1365 }, "length_Integer_none_int": { "well_learned_digit": 18, "has_performance_digit": 45, "in_domain": 0.8615625, "out_domain": 0.25275, "short_range": 0.99, "medium_range": 0.7845, "long_range": 0.382875, "very_long_range": 0.122625 }, "length_Float_none_int": { "well_learned_digit": 4, "has_performance_digit": 22, "in_domain": 0.6738888888888889, "out_domain": 0.23756249999999998, "short_range": 0.753125, "medium_range": 0.6105, "long_range": 0.275375, "very_long_range": 0.19975 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 3, "has_performance_digit": 20, "in_domain": 0.7827516465016465, "out_domain": 0.6417586266476443, "short_range": 0.8720714285714286, "medium_range": 0.7380917554667554, "long_range": 0.6409850006416279, "very_long_range": 0.6425322526536608 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.3523385111231951, "out_domain": 0.08800130675852376, "short_range": 0.4969103465978465, "medium_range": 0.20776667564854376, "long_range": 0.10577240114380422, "very_long_range": 0.0702302123732433 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 6, "has_performance_digit": 18, "in_domain": 0.9043333333333333, "out_domain": 0.5415906084656085, "short_range": 0.9541666666666668, "medium_range": 0.8794166666666666, "long_range": 0.6329523809523809, "very_long_range": 0.4502288359788359 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.24727777777777774, "out_domain": 0.11923001304251303, "short_range": 0.3866666666666667, "medium_range": 0.1775833333333333, "long_range": 0.13019444444444442, "very_long_range": 0.10826558164058163 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.2808333333333333, "out_domain": 0.19194444444444442, "short_range": 0.4133333333333333, "medium_range": 0.21458333333333332, "long_range": 0.18805555555555553, "very_long_range": 0.1958333333333333 }, "to_float_Fraction_none_Float": { "well_learned_digit": 3, "has_performance_digit": 8, "in_domain": 0.74527253996004, "out_domain": 0.24639503927090034, "short_range": 0.8141904761904761, "medium_range": 0.6763546037296038, "long_range": 0.31663708214163355, "very_long_range": 0.17615299640016713 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 10, "has_performance_digit": 36, "in_domain": 0.8643151853855542, "out_domain": 0.3322976576236257, "short_range": 0.9633871302308802, "medium_range": 0.7850576295092936, "long_range": 0.421360944178837, "very_long_range": 0.2432343710684144 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 95, "has_performance_digit": 100, "in_domain": 0.9966935597619614, "out_domain": 0.8930369667881917, "short_range": 1.0, "medium_range": 0.9947096956191384, "long_range": 0.9125607628332462, "very_long_range": 0.8735131707431376 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 25, "has_performance_digit": 83, "in_domain": 0.9857091238216789, "out_domain": 0.6555336889908497, "short_range": 0.9947879160528155, "medium_range": 0.9784460900367694, "long_range": 0.80417017323581, "very_long_range": 0.5068972047458892 }, "count_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.55375, "out_domain": 0.16225, "short_range": 0.7483333333333333, "medium_range": 0.437, "long_range": 0.18625, "very_long_range": 0.13825 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 19, "has_performance_digit": 100, "in_domain": 0.9287764071583728, "out_domain": 0.7918865571131936, "short_range": 0.9236917989417989, "medium_range": 0.9318271720883173, "long_range": 0.8212032630716181, "very_long_range": 0.7625698511547689 } }, "dlength": { "add_Integer_Integer_Integer": { "well_learned_digit": 19, "has_performance_digit": 20, "in_domain": 0.0033333333333333335, "out_domain": 0.09583333333333334, "short_range": 0.0, "medium_range": 0.005, "long_range": 0.051666666666666666, "very_long_range": 0.14 }, "add_Float_Float_Float": { "well_learned_digit": 11, "has_performance_digit": 20, "in_domain": 0.03833333333333333, "out_domain": 0.2608333333333333, "short_range": 0.0, "medium_range": 0.0575, "long_range": 0.16333333333333333, "very_long_range": 0.35833333333333334 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.8675, "out_domain": 9.649166666666666, "short_range": 0.9525, "medium_range": 0.7825, "long_range": 5.7283333333333335, "very_long_range": 13.57 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.2725, "out_domain": 8.2, "short_range": 1.37, "medium_range": 1.175, "long_range": 5.185, "very_long_range": 11.215 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 1.605, "out_domain": 1.6491666666666667, "short_range": 2.905, "medium_range": 0.955, "long_range": 1.55, "very_long_range": 1.7483333333333333 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 20, "has_performance_digit": 20, "in_domain": 0.011666666666666667, "out_domain": 0.0475, "short_range": 0.005, "medium_range": 0.015, "long_range": 0.03333333333333333, "very_long_range": 0.06166666666666667 }, "sub_Float_Float_Float": { "well_learned_digit": 13, "has_performance_digit": 20, "in_domain": 0.01, "out_domain": 0.21666666666666667, "short_range": 0.005, "medium_range": 0.0125, "long_range": 0.12166666666666667, "very_long_range": 0.31166666666666665 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.31375, "out_domain": 14.005833333333333, "short_range": 0.8925, "medium_range": 1.735, "long_range": 8.011666666666667, "very_long_range": 20.0 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 38.91166666666667, "out_domain": 37.69083333333333, "short_range": 36.185, "medium_range": 40.275, "long_range": 38.825, "very_long_range": 36.556666666666665 }, "max_Integer_Integer_Integer": { "well_learned_digit": 47, "has_performance_digit": 83, "in_domain": 0.0075, "out_domain": 1.89875, "short_range": 0.0, "medium_range": 0.012, "long_range": 0.507, "very_long_range": 3.2905 }, "max_Float_Float_Float": { "well_learned_digit": 35, "has_performance_digit": 54, "in_domain": 0.0044444444444444444, "out_domain": 2.86725, "short_range": 0.0, "medium_range": 0.008, "long_range": 0.82, "very_long_range": 4.9145 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.075, "out_domain": 3.379166666666667, "short_range": 0.77, "medium_range": 1.38, "long_range": 2.5566666666666666, "very_long_range": 4.201666666666667 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 97, "has_performance_digit": 100, "in_domain": 0.0005555555555555556, "out_domain": 0.05375, "short_range": 0.00125, "medium_range": 0.0, "long_range": 0.01275, "very_long_range": 0.09475 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.0, "out_domain": 0.00525, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0015, "very_long_range": 0.009 }, "max_hard_Float_Float_Float": { "well_learned_digit": 25, "has_performance_digit": 52, "in_domain": 0.011666666666666667, "out_domain": 3.042125, "short_range": 0.0, "medium_range": 0.021, "long_range": 0.958, "very_long_range": 5.12625 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 35, "has_performance_digit": 69, "in_domain": 0.06166666666666667, "out_domain": 1.6575, "short_range": 0.02125, "medium_range": 0.094, "long_range": 0.62925, "very_long_range": 2.68575 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 11, "has_performance_digit": 18, "in_domain": 0.035, "out_domain": 0.5283333333333333, "short_range": 0.02, "medium_range": 0.0425, "long_range": 0.18, "very_long_range": 0.8766666666666667 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 3, "has_performance_digit": 9, "in_domain": 0.47333333333333333, "out_domain": 3.8233333333333333, "short_range": 0.165, "medium_range": 0.6275, "long_range": 2.453333333333333, "very_long_range": 5.193333333333333 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 11, "in_domain": 1.025, "out_domain": 2.51, "short_range": 1.185, "medium_range": 0.865, "long_range": 1.6583333333333334, "very_long_range": 3.361666666666667 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 1.6083333333333334, "out_domain": 2.316666666666667, "short_range": 3.245, "medium_range": 0.79, "long_range": 1.53, "very_long_range": 3.1033333333333335 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 16, "has_performance_digit": 19, "in_domain": 0.006666666666666667, "out_domain": 0.24416666666666667, "short_range": 0.0, "medium_range": 0.01, "long_range": 0.06666666666666667, "very_long_range": 0.4216666666666667 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 8, "has_performance_digit": 17, "in_domain": 0.205, "out_domain": 1.0258333333333334, "short_range": 0.13, "medium_range": 0.2425, "long_range": 0.65, "very_long_range": 1.4016666666666666 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 15, "in_domain": 0.74375, "out_domain": 1.5708333333333333, "short_range": 0.77, "medium_range": 0.7175, "long_range": 0.9883333333333333, "very_long_range": 2.1533333333333333 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.4266666666666667, "out_domain": 0.9133333333333333, "short_range": 0.495, "medium_range": 0.3925, "long_range": 0.7066666666666667, "very_long_range": 1.12 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 23, "has_performance_digit": 61, "in_domain": 0.04375, "out_domain": 3.080375, "short_range": 0.015, "medium_range": 0.061, "long_range": 0.73225, "very_long_range": 5.4285 }, "digit_max_Float_Float_Float": { "well_learned_digit": 19, "has_performance_digit": 29, "in_domain": 0.04, "out_domain": 7.542875, "short_range": 0.01, "medium_range": 0.064, "long_range": 3.0825, "very_long_range": 12.00325 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 26, "has_performance_digit": 61, "in_domain": 0.044375, "out_domain": 4.115, "short_range": 0.051666666666666666, "medium_range": 0.04, "long_range": 1.13225, "very_long_range": 7.09775 }, "digit_add_Float_Float_Float": { "well_learned_digit": 29, "has_performance_digit": 45, "in_domain": 0.04666666666666667, "out_domain": 5.327375, "short_range": 0.03875, "medium_range": 0.053, "long_range": 1.22825, "very_long_range": 9.4265 }, "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": 82, "has_performance_digit": 100, "in_domain": 0.00625, "out_domain": 0.086875, "short_range": 0.0, "medium_range": 0.01, "long_range": 0.0, "very_long_range": 0.17375 }, "length_Float_none_int": { "well_learned_digit": 52, "has_performance_digit": 100, "in_domain": 0.012222222222222223, "out_domain": 0.215625, "short_range": 0.0275, "medium_range": 0.0, "long_range": 0.045, "very_long_range": 0.38625 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 3, "has_performance_digit": 20, "in_domain": 0.35333333333333333, "out_domain": 0.5541666666666667, "short_range": 0.195, "medium_range": 0.4325, "long_range": 0.56, "very_long_range": 0.5483333333333333 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 1.50375, "out_domain": 15.12, "short_range": 1.1575, "medium_range": 1.85, "long_range": 7.75, "very_long_range": 22.49 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 9, "has_performance_digit": 18, "in_domain": 0.02666666666666667, "out_domain": 0.7791666666666667, "short_range": 0.0, "medium_range": 0.04, "long_range": 0.46, "very_long_range": 1.0983333333333334 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 15, "in_domain": 0.39, "out_domain": 1.1991666666666667, "short_range": 0.3, "medium_range": 0.435, "long_range": 0.7033333333333334, "very_long_range": 1.695 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 17, "in_domain": 0.42, "out_domain": 0.795, "short_range": 0.265, "medium_range": 0.4975, "long_range": 0.5716666666666667, "very_long_range": 1.0183333333333333 }, "to_float_Fraction_none_Float": { "well_learned_digit": 3, "has_performance_digit": 9, "in_domain": 0.37625, "out_domain": 4.036666666666667, "short_range": 0.3525, "medium_range": 0.4, "long_range": 1.715, "very_long_range": 6.358333333333333 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 14, "has_performance_digit": 78, "in_domain": 0.18333333333333332, "out_domain": 1.669875, "short_range": 0.06625, "medium_range": 0.277, "long_range": 0.88675, "very_long_range": 2.453 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 27, "has_performance_digit": 33, "in_domain": 0.019375, "out_domain": 10.6045, "short_range": 0.018333333333333333, "medium_range": 0.02, "long_range": 4.166, "very_long_range": 17.043 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 16, "has_performance_digit": 38, "in_domain": 0.09388888888888888, "out_domain": 21.614, "short_range": 0.02125, "medium_range": 0.152, "long_range": 4.22125, "very_long_range": 39.00675 }, "count_Integer_int_int": { "well_learned_digit": 40, "has_performance_digit": 100, "in_domain": 0.000625, "out_domain": 0.262625, "short_range": 0.0, "medium_range": 0.001, "long_range": 0.17075, "very_long_range": 0.3545 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 5.185625, "out_domain": 28.481375, "short_range": 2.6533333333333333, "medium_range": 6.705, "long_range": 18.75125, "very_long_range": 38.2115 } } }