{ "exact_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 20, "in_domain": 0.8666666666666667, "out_domain": 0.285, "short_range": 0.995, "medium_range": 0.8025, "long_range": 0.42333333333333334, "very_long_range": 0.14666666666666667 }, "add_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 11, "in_domain": 0.6966666666666667, "out_domain": 0.08833333333333333, "short_range": 0.93, "medium_range": 0.58, "long_range": 0.15, "very_long_range": 0.02666666666666667 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.07875, "out_domain": 0.0, "short_range": 0.1575, "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": 2, "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 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.05333333333333334, "out_domain": 0.01, "short_range": 0.085, "medium_range": 0.0375, "long_range": 0.016666666666666666, "very_long_range": 0.0033333333333333335 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 6, "has_performance_digit": 20, "in_domain": 0.8983333333333333, "out_domain": 0.375, "short_range": 0.99, "medium_range": 0.8525, "long_range": 0.535, "very_long_range": 0.215 }, "sub_Float_Float_Float": { "well_learned_digit": 5, "has_performance_digit": 15, "in_domain": 0.87, "out_domain": 0.2, "short_range": 0.965, "medium_range": 0.8225, "long_range": 0.3433333333333333, "very_long_range": 0.056666666666666664 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.08875, "out_domain": 0.0, "short_range": 0.1775, "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.0, "out_domain": 0.0, "short_range": 0.0, "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.9725, "out_domain": 0.881375, "short_range": 0.9716666666666667, "medium_range": 0.973, "long_range": 0.91075, "very_long_range": 0.852 }, "max_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 100, "in_domain": 0.5477777777777778, "out_domain": 0.442875, "short_range": 0.86375, "medium_range": 0.295, "long_range": 0.40275, "very_long_range": 0.483 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.5075, "out_domain": 0.25666666666666665, "short_range": 0.56, "medium_range": 0.455, "long_range": 0.28, "very_long_range": 0.23333333333333334 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 15, "has_performance_digit": 100, "in_domain": 0.8738888888888889, "out_domain": 0.33575, "short_range": 0.96875, "medium_range": 0.798, "long_range": 0.3685, "very_long_range": 0.303 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 99, "has_performance_digit": 100, "in_domain": 0.986875, "out_domain": 0.941625, "short_range": 0.9866666666666667, "medium_range": 0.987, "long_range": 0.95625, "very_long_range": 0.927 }, "max_hard_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 100, "in_domain": 0.5083333333333333, "out_domain": 0.45975, "short_range": 0.83125, "medium_range": 0.25, "long_range": 0.406, "very_long_range": 0.5135 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 12, "has_performance_digit": 100, "in_domain": 0.8338888888888889, "out_domain": 0.24, "short_range": 0.94375, "medium_range": 0.746, "long_range": 0.243, "very_long_range": 0.237 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.12833333333333333, "out_domain": 0.0, "short_range": 0.365, "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.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": 1, "has_performance_digit": 3, "in_domain": 0.21, "out_domain": 0.0, "short_range": 0.42, "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.0016666666666666668, "out_domain": 0.0, "short_range": 0.005, "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.17666666666666667, "out_domain": 0.02, "short_range": 0.445, "medium_range": 0.0425, "long_range": 0.016666666666666666, "very_long_range": 0.023333333333333334 }, "multiply_easy_Float_Float_Float": { "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 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.23375, "out_domain": 0.0016666666666666668, "short_range": 0.465, "medium_range": 0.0025, "long_range": 0.0, "very_long_range": 0.0033333333333333335 }, "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": 5, "in_domain": 0.02375, "out_domain": 0.0, "short_range": 0.058333333333333334, "medium_range": 0.003, "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.00625, "out_domain": 0.0, "short_range": 0.016666666666666666, "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.0016666666666666668, "out_domain": 0.0, "short_range": 0.00375, "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.67, "out_domain": 0.24975, "short_range": 0.8283333333333334, "medium_range": 0.575, "long_range": 0.30525, "very_long_range": 0.19425 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.5066666666666667, "out_domain": 0.19625, "short_range": 0.64625, "medium_range": 0.395, "long_range": 0.2315, "very_long_range": 0.161 }, "length_Integer_none_int": { "well_learned_digit": 39, "has_performance_digit": 100, "in_domain": 0.985625, "out_domain": 0.186875, "short_range": 0.995, "medium_range": 0.98, "long_range": 0.311, "very_long_range": 0.06275 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 21, "in_domain": 0.215, "out_domain": 0.017875, "short_range": 0.35875, "medium_range": 0.1, "long_range": 0.03, "very_long_range": 0.00575 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 20, "in_domain": 0.49333333333333335, "out_domain": 0.245, "short_range": 0.66, "medium_range": 0.41, "long_range": 0.295, "very_long_range": 0.195 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 3, "in_domain": 0.18875, "out_domain": 0.0, "short_range": 0.375, "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.815, "out_domain": 0.3325, "short_range": 0.98, "medium_range": 0.7325, "long_range": 0.39, "very_long_range": 0.275 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.14166666666666666, "out_domain": 0.0, "short_range": 0.4, "medium_range": 0.0125, "long_range": 0.0, "very_long_range": 0.0 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.17, "out_domain": 0.025833333333333333, "short_range": 0.41, "medium_range": 0.05, "long_range": 0.028333333333333332, "very_long_range": 0.023333333333333334 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.5375, "out_domain": 0.07833333333333334, "short_range": 0.6125, "medium_range": 0.4625, "long_range": 0.135, "very_long_range": 0.021666666666666667 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 22, "in_domain": 0.19166666666666668, "out_domain": 0.01525, "short_range": 0.27, "medium_range": 0.129, "long_range": 0.02875, "very_long_range": 0.00175 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 18, "has_performance_digit": 37, "in_domain": 0.9225, "out_domain": 0.06125, "short_range": 0.975, "medium_range": 0.891, "long_range": 0.11925, "very_long_range": 0.00325 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 8, "has_performance_digit": 36, "in_domain": 0.4911111111111111, "out_domain": 0.0345, "short_range": 0.8675, "medium_range": 0.19, "long_range": 0.04875, "very_long_range": 0.02025 }, "count_Integer_int_int": { "well_learned_digit": 7, "has_performance_digit": 100, "in_domain": 0.715625, "out_domain": 0.220875, "short_range": 0.885, "medium_range": 0.614, "long_range": 0.289, "very_long_range": 0.15275 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 40, "in_domain": 0.501875, "out_domain": 0.035, "short_range": 0.6133333333333333, "medium_range": 0.435, "long_range": 0.06975, "very_long_range": 0.00025 } }, "digit_match": { "add_Integer_Integer_Integer": { "well_learned_digit": 9, "has_performance_digit": 20, "in_domain": 0.9763478835978835, "out_domain": 0.7398626616582303, "short_range": 0.99875, "medium_range": 0.9651468253968253, "long_range": 0.8310158730158729, "very_long_range": 0.648709450300588 }, "add_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 20, "in_domain": 0.9355638626079802, "out_domain": 0.6591393231063905, "short_range": 0.9927083333333333, "medium_range": 0.9069916272453037, "long_range": 0.7404311094288809, "very_long_range": 0.5778475367838999 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 0.2641769337094141, "out_domain": 0.07112433905849064, "short_range": 0.4323584738382533, "medium_range": 0.09599539358057475, "long_range": 0.07590493455004621, "very_long_range": 0.06634374356693507 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 0.2580122866437709, "out_domain": 0.06593174957695211, "short_range": 0.4337320873570873, "medium_range": 0.08229248593045452, "long_range": 0.06835255673176656, "very_long_range": 0.06351094242213769 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 14, "in_domain": 0.5500602106227105, "out_domain": 0.4614668508429857, "short_range": 0.5898161976911976, "medium_range": 0.5301822170884669, "long_range": 0.49607495446446687, "very_long_range": 0.4268587472215047 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 11, "has_performance_digit": 20, "in_domain": 0.9727420634920634, "out_domain": 0.775773681960311, "short_range": 0.99625, "medium_range": 0.9609880952380953, "long_range": 0.8628011386761384, "very_long_range": 0.6887462252444835 }, "sub_Float_Float_Float": { "well_learned_digit": 9, "has_performance_digit": 20, "in_domain": 0.9776125703000702, "out_domain": 0.75971411382591, "short_range": 0.99625, "medium_range": 0.9682938554501055, "long_range": 0.835392678544652, "very_long_range": 0.6840355491071679 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 0.22362887517728122, "out_domain": 0.05236427777897854, "short_range": 0.3708472326284826, "medium_range": 0.0764105177260798, "long_range": 0.05400877261268033, "very_long_range": 0.050719782945276765 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.43554401616901617, "out_domain": 0.30584336754283037, "short_range": 0.48792496392496404, "medium_range": 0.40935354229104226, "long_range": 0.345445792991265, "very_long_range": 0.26624094209439575 }, "max_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9764154312239403, "out_domain": 0.8933087381218824, "short_range": 0.9775092592592594, "medium_range": 0.975759134402749, "long_range": 0.9211007563412341, "very_long_range": 0.8655167199025311 }, "max_Float_Float_Float": { "well_learned_digit": 10, "has_performance_digit": 100, "in_domain": 0.8439361732836583, "out_domain": 0.6243980137886896, "short_range": 0.9705857462272419, "medium_range": 0.7426165149287915, "long_range": 0.6476356984477504, "very_long_range": 0.601160329129629 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 0.5669000235875237, "out_domain": 0.3419574467253552, "short_range": 0.6205208333333334, "medium_range": 0.5132792138417139, "long_range": 0.3625933691265321, "very_long_range": 0.32132152432417826 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 19, "has_performance_digit": 98, "in_domain": 0.9629847610730498, "out_domain": 0.5796968394961799, "short_range": 0.9882526293151294, "medium_range": 0.9427704664793859, "long_range": 0.6730539393306367, "very_long_range": 0.48633973966172317 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.9920726442540732, "out_domain": 0.9758486550542804, "short_range": 0.990574074074074, "medium_range": 0.9929717863620727, "long_range": 0.98053638699361, "very_long_range": 0.9711609231149506 }, "max_hard_Float_Float_Float": { "well_learned_digit": 8, "has_performance_digit": 100, "in_domain": 0.8309250595323133, "out_domain": 0.6627138639918264, "short_range": 0.962477111408758, "medium_range": 0.7256834180311577, "long_range": 0.6703249467367798, "very_long_range": 0.6551027812468722 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 18, "has_performance_digit": 100, "in_domain": 0.9571999445180195, "out_domain": 0.5404742257844073, "short_range": 0.9818550893550892, "medium_range": 0.9374758286483637, "long_range": 0.623633177914329, "very_long_range": 0.45731527365448577 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.5428379814629813, "out_domain": 0.18844867097878035, "short_range": 0.7565357142857142, "medium_range": 0.43598911505161486, "long_range": 0.2308978954991512, "very_long_range": 0.14599944645840954 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.2563800414909027, "out_domain": 0.10090492373140152, "short_range": 0.3655655525030525, "medium_range": 0.2017872859848278, "long_range": 0.12192610969643011, "very_long_range": 0.0798837377663729 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 0.36610025360442267, "out_domain": 0.08528474701419429, "short_range": 0.5655585664335664, "medium_range": 0.1666419407752789, "long_range": 0.09144029684136204, "very_long_range": 0.07912919718702656 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.4360611606602318, "out_domain": 0.21556134515001726, "short_range": 0.550740911865912, "medium_range": 0.3787212850573918, "long_range": 0.25118795845357456, "very_long_range": 0.17993473184646003 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 6, "in_domain": 0.6147405603655601, "out_domain": 0.3283489219658958, "short_range": 0.8005357142857139, "medium_range": 0.5218429834054834, "long_range": 0.35977232571350193, "very_long_range": 0.2969255182182897 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.2760977424421696, "out_domain": 0.137073427103118, "short_range": 0.3775714424464425, "medium_range": 0.22536089244003313, "long_range": 0.15670392206340156, "very_long_range": 0.1174429321428345 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 0.3869209414381627, "out_domain": 0.11030592758972775, "short_range": 0.5990171633921634, "medium_range": 0.17482471948416212, "long_range": 0.12238507671169761, "very_long_range": 0.09822677846775789 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 0.4785369722869723, "out_domain": 0.284544168918245, "short_range": 0.5682436868686869, "medium_range": 0.43368361499611496, "long_range": 0.3189147450846365, "very_long_range": 0.2501735927518536 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.6204524700955862, "out_domain": 0.5563703127857278, "short_range": 0.6443458994708994, "medium_range": 0.6061164124703985, "long_range": 0.5611946237963108, "very_long_range": 0.5515460017751448 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 100, "in_domain": 0.6373604976622788, "out_domain": 0.5670135496405492, "short_range": 0.670965173774239, "medium_range": 0.6104767567727106, "long_range": 0.5797403017432646, "very_long_range": 0.5542867975378329 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.22299875243543002, "out_domain": 0.08580103753309093, "short_range": 0.3355945767195767, "medium_range": 0.15544125786494203, "long_range": 0.10247553051301403, "very_long_range": 0.06912654455316773 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 0.0749287703772823, "out_domain": 0.018756105882077434, "short_range": 0.12090156709690375, "medium_range": 0.038150533001585184, "long_range": 0.0235209457869798, "very_long_range": 0.013991265977175071 }, "get_digit_Integer_int_int": { "well_learned_digit": 0, "has_performance_digit": 23, "in_domain": 0.67, "out_domain": 0.24975, "short_range": 0.8283333333333334, "medium_range": 0.575, "long_range": 0.30525, "very_long_range": 0.19425 }, "get_digit_Float_int_int": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 0.5066666666666667, "out_domain": 0.19625, "short_range": 0.64625, "medium_range": 0.395, "long_range": 0.2315, "very_long_range": 0.161 }, "length_Integer_none_int": { "well_learned_digit": 39, "has_performance_digit": 78, "in_domain": 0.99125, "out_domain": 0.32585416666666667, "short_range": 0.995, "medium_range": 0.989, "long_range": 0.471625, "very_long_range": 0.18008333333333335 }, "length_Float_none_int": { "well_learned_digit": 0, "has_performance_digit": 12, "in_domain": 0.44305555555555554, "out_domain": 0.15858333333333335, "short_range": 0.544375, "medium_range": 0.362, "long_range": 0.176875, "very_long_range": 0.1402916666666667 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 0.5512431133681134, "out_domain": 0.30288747098927815, "short_range": 0.7105119047619048, "medium_range": 0.4716087176712177, "long_range": 0.3522032436379937, "very_long_range": 0.2535716983405625 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 0.28836787022087074, "out_domain": 0.05630504274053319, "short_range": 0.49055994005994, "medium_range": 0.08617580038180138, "long_range": 0.06210862605613026, "very_long_range": 0.050501459424936106 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 15, "in_domain": 0.9181388888888891, "out_domain": 0.5174902296777297, "short_range": 0.9883333333333334, "medium_range": 0.8830416666666667, "long_range": 0.6175, "very_long_range": 0.41748045935545947 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.2994444444444444, "out_domain": 0.11408727614977612, "short_range": 0.5266666666666666, "medium_range": 0.18583333333333324, "long_range": 0.12286838624338621, "very_long_range": 0.10530616605616605 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 3, "in_domain": 0.3261111111111111, "out_domain": 0.1948611111111111, "short_range": 0.5475, "medium_range": 0.21541666666666667, "long_range": 0.19444444444444448, "very_long_range": 0.19527777777777777 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 0.6299291853979354, "out_domain": 0.18794940896696344, "short_range": 0.6257142857142857, "medium_range": 0.6341440850815852, "long_range": 0.2788851243878839, "very_long_range": 0.09701369354604303 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 9, "in_domain": 0.32137967371513565, "out_domain": 0.0587817867775883, "short_range": 0.43110628607503615, "medium_range": 0.23359838382721512, "long_range": 0.08948929078555154, "very_long_range": 0.028074282769625064 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 23, "has_performance_digit": 67, "in_domain": 0.9832284957206108, "out_domain": 0.5509051433188927, "short_range": 0.9967878787878789, "medium_range": 0.9750928658802498, "long_range": 0.6700003650654868, "very_long_range": 0.43180992157229875 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 8, "has_performance_digit": 24, "in_domain": 0.7986083709312543, "out_domain": 0.3389294447440875, "short_range": 0.9592056373816242, "medium_range": 0.6701305577709582, "long_range": 0.3991473792371211, "very_long_range": 0.2787115102510539 }, "count_Integer_int_int": { "well_learned_digit": 7, "has_performance_digit": 22, "in_domain": 0.715625, "out_domain": 0.24775, "short_range": 0.885, "medium_range": 0.614, "long_range": 0.2905, "very_long_range": 0.205 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 31, "has_performance_digit": 100, "in_domain": 0.9580494535403106, "out_domain": 0.7775952315730261, "short_range": 0.9555932539682539, "medium_range": 0.9595231732835445, "long_range": 0.8329321041548372, "very_long_range": 0.7222583589912144 } }, "dlength": { "add_Integer_Integer_Integer": { "well_learned_digit": 20, "has_performance_digit": 20, "in_domain": 0.005, "out_domain": 0.01, "short_range": 0.0, "medium_range": 0.0075, "long_range": 0.005, "very_long_range": 0.015 }, "add_Float_Float_Float": { "well_learned_digit": 4, "has_performance_digit": 8, "in_domain": 0.5083333333333333, "out_domain": 6.403333333333333, "short_range": 0.055, "medium_range": 0.735, "long_range": 4.083333333333333, "very_long_range": 8.723333333333333 }, "add_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 2, "in_domain": 4.1875, "out_domain": 19.114166666666666, "short_range": 1.455, "medium_range": 6.92, "long_range": 13.896666666666667, "very_long_range": 24.331666666666667 }, "add_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 4.225, "out_domain": 17.191666666666666, "short_range": 1.59, "medium_range": 6.86, "long_range": 13.44, "very_long_range": 20.94333333333333 }, "add_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 1.7833333333333334, "out_domain": 3.904166666666667, "short_range": 1.65, "medium_range": 1.85, "long_range": 2.7283333333333335, "very_long_range": 5.08 }, "sub_Integer_Integer_Integer": { "well_learned_digit": 20, "has_performance_digit": 20, "in_domain": 0.025, "out_domain": 0.035, "short_range": 0.005, "medium_range": 0.035, "long_range": 0.023333333333333334, "very_long_range": 0.04666666666666667 }, "sub_Float_Float_Float": { "well_learned_digit": 5, "has_performance_digit": 9, "in_domain": 0.14, "out_domain": 3.5308333333333333, "short_range": 0.035, "medium_range": 0.1925, "long_range": 2.1866666666666665, "very_long_range": 4.875 }, "sub_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 1, "in_domain": 6.78375, "out_domain": 26.653333333333332, "short_range": 3.1225, "medium_range": 10.445, "long_range": 20.758333333333333, "very_long_range": 32.54833333333333 }, "sub_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.345, "out_domain": 3.96, "short_range": 3.91, "medium_range": 3.0625, "long_range": 3.118333333333333, "very_long_range": 4.801666666666667 }, "max_Integer_Integer_Integer": { "well_learned_digit": 39, "has_performance_digit": 98, "in_domain": 0.03875, "out_domain": 1.278875, "short_range": 0.02, "medium_range": 0.05, "long_range": 0.3485, "very_long_range": 2.20925 }, "max_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 9, "in_domain": 3.5494444444444446, "out_domain": 21.027, "short_range": 0.3925, "medium_range": 6.075, "long_range": 15.0115, "very_long_range": 27.0425 }, "max_Fraction_Fraction_Fraction": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 1.2225, "out_domain": 6.204166666666667, "short_range": 0.695, "medium_range": 1.75, "long_range": 4.47, "very_long_range": 7.9383333333333335 }, "max_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 13, "has_performance_digit": 17, "in_domain": 0.43555555555555553, "out_domain": 25.726375, "short_range": 0.03875, "medium_range": 0.753, "long_range": 13.06725, "very_long_range": 38.3855 }, "max_hard_Integer_Integer_Integer": { "well_learned_digit": 100, "has_performance_digit": 100, "in_domain": 0.000625, "out_domain": 0.014, "short_range": 0.0, "medium_range": 0.001, "long_range": 0.0125, "very_long_range": 0.0155 }, "max_hard_Float_Float_Float": { "well_learned_digit": 6, "has_performance_digit": 8, "in_domain": 3.668888888888889, "out_domain": 19.04425, "short_range": 0.49875, "medium_range": 6.205, "long_range": 14.3695, "very_long_range": 23.719 }, "max_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 6, "has_performance_digit": 16, "in_domain": 0.56, "out_domain": 27.4105, "short_range": 0.095, "medium_range": 0.932, "long_range": 15.177, "very_long_range": 39.644 }, "multiply_hard_Integer_Integer_Integer": { "well_learned_digit": 7, "has_performance_digit": 11, "in_domain": 0.075, "out_domain": 1.7791666666666666, "short_range": 0.045, "medium_range": 0.09, "long_range": 0.9466666666666667, "very_long_range": 2.611666666666667 }, "multiply_hard_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 5.156666666666666, "out_domain": 19.908333333333335, "short_range": 2.28, "medium_range": 6.595, "long_range": 14.643333333333333, "very_long_range": 25.173333333333332 }, "multiply_hard_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 3.125, "out_domain": 14.870833333333334, "short_range": 1.5725, "medium_range": 4.6775, "long_range": 10.348333333333333, "very_long_range": 19.393333333333334 }, "multiply_hard_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 3.723333333333333, "out_domain": 14.238333333333333, "short_range": 1.97, "medium_range": 4.6, "long_range": 10.305, "very_long_range": 18.171666666666667 }, "multiply_easy_Integer_Integer_Integer": { "well_learned_digit": 9, "has_performance_digit": 20, "in_domain": 0.021666666666666667, "out_domain": 0.345, "short_range": 0.005, "medium_range": 0.03, "long_range": 0.25166666666666665, "very_long_range": 0.43833333333333335 }, "multiply_easy_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 4.033333333333333, "out_domain": 12.478333333333333, "short_range": 2.245, "medium_range": 4.9275, "long_range": 9.823333333333334, "very_long_range": 15.133333333333333 }, "multiply_easy_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 2.53, "out_domain": 6.441666666666666, "short_range": 1.4225, "medium_range": 3.6375, "long_range": 5.068333333333333, "very_long_range": 7.815 }, "multiply_easy_ScientificNotation_ScientificNotation_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 2.5933333333333333, "out_domain": 6.703333333333333, "short_range": 1.85, "medium_range": 2.965, "long_range": 4.983333333333333, "very_long_range": 8.423333333333334 }, "digit_max_Integer_Integer_Integer": { "well_learned_digit": 5, "has_performance_digit": 16, "in_domain": 0.570625, "out_domain": 6.51825, "short_range": 0.19333333333333333, "medium_range": 0.797, "long_range": 3.8255, "very_long_range": 9.211 }, "digit_max_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 7, "in_domain": 1.9144444444444444, "out_domain": 14.70025, "short_range": 0.6725, "medium_range": 2.908, "long_range": 8.92775, "very_long_range": 20.47275 }, "digit_add_Integer_Integer_Integer": { "well_learned_digit": 0, "has_performance_digit": 8, "in_domain": 2.81, "out_domain": 20.678625, "short_range": 1.0916666666666666, "medium_range": 3.841, "long_range": 11.2555, "very_long_range": 30.10175 }, "digit_add_Float_Float_Float": { "well_learned_digit": 0, "has_performance_digit": 0, "in_domain": 15.653333333333334, "out_domain": 90.686, "short_range": 7.99, "medium_range": 21.784, "long_range": 59.03675, "very_long_range": 122.33525 }, "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.001875, "out_domain": 0.035625, "short_range": 0.005, "medium_range": 0.0, "long_range": 0.0, "very_long_range": 0.07125 }, "length_Float_none_int": { "well_learned_digit": 52, "has_performance_digit": 100, "in_domain": 0.03, "out_domain": 0.29825, "short_range": 0.0675, "medium_range": 0.0, "long_range": 0.061, "very_long_range": 0.5355 }, "truediv_Integer_Integer_Fraction": { "well_learned_digit": 0, "has_performance_digit": 5, "in_domain": 1.4583333333333333, "out_domain": 8.600833333333334, "short_range": 0.445, "medium_range": 1.965, "long_range": 5.63, "very_long_range": 11.571666666666667 }, "truediv_Fraction_Fraction_Fraction": { "well_learned_digit": 1, "has_performance_digit": 2, "in_domain": 5.89375, "out_domain": 23.85333333333333, "short_range": 2.9175, "medium_range": 8.87, "long_range": 17.3, "very_long_range": 30.406666666666666 }, "floordiv_Integer_Integer_Integer": { "well_learned_digit": 8, "has_performance_digit": 14, "in_domain": 0.025, "out_domain": 1.0641666666666667, "short_range": 0.0, "medium_range": 0.0375, "long_range": 0.5633333333333334, "very_long_range": 1.565 }, "mod_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 15, "in_domain": 0.4066666666666667, "out_domain": 1.2608333333333333, "short_range": 0.145, "medium_range": 0.5375, "long_range": 0.98, "very_long_range": 1.5416666666666667 }, "mod_easy_Integer_Integer_Integer": { "well_learned_digit": 3, "has_performance_digit": 20, "in_domain": 0.25833333333333336, "out_domain": 0.33, "short_range": 0.165, "medium_range": 0.305, "long_range": 0.305, "very_long_range": 0.355 }, "to_float_Fraction_none_Float": { "well_learned_digit": 0, "has_performance_digit": 4, "in_domain": 1.62375, "out_domain": 10.556666666666667, "short_range": 0.9875, "medium_range": 2.26, "long_range": 7.071666666666666, "very_long_range": 14.041666666666666 }, "to_float_ScientificNotation_none_Float": { "well_learned_digit": 0, "has_performance_digit": 15, "in_domain": 1.4994444444444444, "out_domain": 44.6155, "short_range": 0.80875, "medium_range": 2.052, "long_range": 24.776, "very_long_range": 64.455 }, "to_scient_Integer_none_ScientificNotation": { "well_learned_digit": 9, "has_performance_digit": 21, "in_domain": 0.298125, "out_domain": 22.768, "short_range": 0.04, "medium_range": 0.453, "long_range": 11.13475, "very_long_range": 34.40125 }, "to_scient_Float_none_ScientificNotation": { "well_learned_digit": 5, "has_performance_digit": 8, "in_domain": 4.9944444444444445, "out_domain": 59.9855, "short_range": 0.5025, "medium_range": 8.588, "long_range": 36.36, "very_long_range": 83.611 }, "count_Integer_int_int": { "well_learned_digit": 61, "has_performance_digit": 100, "in_domain": 0.0, "out_domain": 0.149375, "short_range": 0.0, "medium_range": 0.0, "long_range": 0.0295, "very_long_range": 0.26925 }, "sig_Integer_int_ScientificNotation": { "well_learned_digit": 0, "has_performance_digit": 23, "in_domain": 0.52125, "out_domain": 13.9805, "short_range": 0.3566666666666667, "medium_range": 0.62, "long_range": 5.673, "very_long_range": 22.288 } } }