{"contrasts":[{"budget":20,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":100100,"numerator":551,"value":0.0055044955044955},"lower":10002,"monte_carlo_interval":[-0.016188083113721,0.026520114363721],"upper":12000},{"budget":20,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":100100,"numerator":2553,"value":0.025504495504496},"lower":10002,"monte_carlo_interval":[0.0045047584274832,0.046256960322517],"upper":12000},{"budget":20,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":20,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":42900,"numerator":-2297,"value":-0.053543123543124},"lower":10002,"monte_carlo_interval":[-0.077051796901313,-0.032166953098687],"upper":12000},{"budget":20,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":20,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":50,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":40040,"numerator":551,"value":0.013761238761239},"lower":10002,"monte_carlo_interval":[-0.0091204206053989,0.035780576855399],"upper":12000},{"budget":50,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":200200,"numerator":753,"value":0.0037612387612388},"lower":10002,"monte_carlo_interval":[-0.017785847882133,0.024953816632133],"upper":12000},{"budget":50,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":50,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":17160,"numerator":-2297,"value":-0.13385780885781},"lower":10002,"monte_carlo_interval":[-0.15777507577383,-0.11286945547617],"upper":12000},{"budget":50,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":50,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":100,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":7150,"numerator":207,"value":0.028951048951049},"lower":10002,"monte_carlo_interval":[0.0056228834712797,0.05195524152872],"upper":12000},{"budget":100,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":143,"numerator":7,"value":0.048951048951049},"lower":10002,"monte_carlo_interval":[0.028230878735601,0.070108965014399],"upper":12000},{"budget":100,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":100,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":29700,"numerator":-5983,"value":-0.20144781144781},"lower":10002,"monte_carlo_interval":[-0.22379262126288,-0.17855112873712],"upper":12000},{"budget":100,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":3100,"numerator":7,"value":0.002258064516129},"lower":10002,"monte_carlo_interval":[-0.017978412710594,0.022665912710594],"upper":12000},{"budget":100,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":10002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":12000},{"budget":20,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":693000,"numerator":14389,"value":0.020763347763348},"lower":15002,"monte_carlo_interval":[9.2350117896826e-05,0.043559993632103],"upper":17000},{"budget":20,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":693000,"numerator":14389,"value":0.020763347763348},"lower":15002,"monte_carlo_interval":[-0.00032319155712722,0.042432566557127],"upper":17000},{"budget":20,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":500,"numerator":-1,"value":-0.002},"lower":15002,"monte_carlo_interval":[-0.021661505406256,0.017599005406256],"upper":17000},{"budget":20,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":99000,"numerator":-3413,"value":-0.034474747474747},"lower":15002,"monte_carlo_interval":[-0.056976370927947,-0.012730660322053],"upper":17000},{"budget":20,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":15002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":17000},{"budget":20,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":15002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":17000},{"budget":50,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":1386000,"numerator":76103,"value":0.054908369408369},"lower":15002,"monte_carlo_interval":[0.033161945545217,0.078556804454783],"upper":17000},{"budget":50,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":1386000,"numerator":62243,"value":0.044908369408369},"lower":15002,"monte_carlo_interval":[0.02298496775956,0.06687831349044],"upper":17000},{"budget":50,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":500,"numerator":-1,"value":-0.002},"lower":15002,"monte_carlo_interval":[-0.021486098162817,0.017736098162817],"upper":17000},{"budget":50,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":1386000,"numerator":-121237,"value":-0.087472582972583},"lower":15002,"monte_carlo_interval":[-0.10965740623767,-0.064795718762325],"upper":17000},{"budget":50,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":15002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":17000},{"budget":50,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":15002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":17000},{"budget":100,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":57750,"numerator":6143,"value":0.10637229437229},"lower":15002,"monte_carlo_interval":[0.083576809052586,0.12997787844741],"upper":17000},{"budget":100,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":28875,"numerator":2494,"value":0.086372294372294},"lower":15002,"monte_carlo_interval":[0.065242694594503,0.1076088679055],"upper":17000},{"budget":100,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":500,"numerator":-1,"value":-0.002},"lower":15002,"monte_carlo_interval":[-0.021716109733862,0.017555953483862],"upper":17000},{"budget":100,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":13513500,"numerator":-1868533,"value":-0.13827158027158},"lower":15002,"monte_carlo_interval":[-0.1593546731295,-0.1134382956205],"upper":17000},{"budget":100,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":32625,"numerator":-122,"value":-0.0037394636015326},"lower":15002,"monte_carlo_interval":[-0.023861522093962,0.016713084593962],"upper":17000},{"budget":100,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":15002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":17000},{"budget":20,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":1501500,"numerator":28649,"value":0.019080253080253},"lower":18002,"monte_carlo_interval":[-0.0021252430016943,0.041246336751694],"upper":20000},{"budget":20,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":1501500,"numerator":28649,"value":0.019080253080253},"lower":18002,"monte_carlo_interval":[-0.0024482484215616,0.040124029671562],"upper":20000},{"budget":20,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":20,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":1501500,"numerator":-47141,"value":-0.031395937395937},"lower":18002,"monte_carlo_interval":[-0.054304051760581,-0.0096412607394188],"upper":20000},{"budget":20,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":20,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":50,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":600600,"numerator":28649,"value":0.047700632700633},"lower":18002,"monte_carlo_interval":[0.025750447532358,0.071105021217642],"upper":20000},{"budget":50,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":600600,"numerator":10631,"value":0.017700632700633},"lower":18002,"monte_carlo_interval":[-0.0041825495368971,0.039573174536897],"upper":20000},{"budget":50,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":50,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":600600,"numerator":-47141,"value":-0.078489843489843},"lower":18002,"monte_carlo_interval":[-0.10144983089274,-0.056011106607264],"upper":20000},{"budget":50,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":50,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":100,"comparison":"uniform","contains_exact":true,"exact_difference":{"denominator":42900,"numerator":4583,"value":0.10682983682984},"lower":18002,"monte_carlo_interval":[0.084862421550215,0.13128992219979],"upper":20000},{"budget":100,"comparison":"ascending","contains_exact":true,"exact_difference":{"denominator":1716,"numerator":149,"value":0.086829836829837},"lower":18002,"monte_carlo_interval":[0.066030369830268,0.10887197391973],"upper":20000},{"budget":100,"comparison":"without_power_two","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000},{"budget":100,"comparison":"without_twice_prime","contains_exact":true,"exact_difference":{"denominator":12870,"numerator":-1033,"value":-0.08026418026418},"lower":18002,"monte_carlo_interval":[-0.10109363285243,-0.056191523397569],"upper":20000},{"budget":100,"comparison":"without_mod30","contains_exact":true,"exact_difference":{"denominator":5425,"numerator":72,"value":0.013271889400922},"lower":18002,"monte_carlo_interval":[-0.0068024520743467,0.034126670824347],"upper":20000},{"budget":100,"comparison":"without_mod6","contains_exact":true,"exact_difference":{"denominator":1,"numerator":0,"value":0.0},"lower":18002,"monte_carlo_interval":[-0.019083886913749,0.019083886913749],"upper":20000}],"policies":[{"budget":20,"expected_recall":{"denominator":50,"numerator":1,"value":0.02},"identical_to_priority":null,"lower":10002,"policy":"uniform","recall_variance":{"denominator":2475000,"numerator":931,"value":0.00037616161616162},"sample_mean":0.02021484375,"sample_sd":0.018898663615282,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":20,"numerator":1,"value":0.05},"identical_to_priority":null,"lower":10002,"policy":"uniform","recall_variance":{"denominator":396000,"numerator":361,"value":0.00091161616161616},"sample_mean":0.05025390625,"sample_sd":0.030631426725647,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":10,"numerator":1,"value":0.1},"identical_to_priority":null,"lower":10002,"policy":"uniform","recall_variance":{"denominator":11000,"numerator":19,"value":0.0017272727272727},"sample_mean":0.100380859375,"sample_sd":0.041308016030983,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":1,"numerator":0,"value":0.0},"identical_to_priority":null,"lower":10002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.0,"sample_sd":0.0,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":50,"numerator":3,"value":0.06},"identical_to_priority":null,"lower":10002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.06,"sample_sd":0.0,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":25,"numerator":2,"value":0.08},"identical_to_priority":null,"lower":10002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.08,"sample_sd":0.0,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":100100,"numerator":2553,"value":0.025504495504496},"identical_to_priority":null,"lower":10002,"policy":"priority","recall_variance":{"denominator":90180090000,"numerator":36238369,"value":0.00040184445369261},"sample_mean":0.025380859375,"sample_sd":0.019822156651764,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":40040,"numerator":2553,"value":0.063761238761239},"identical_to_priority":null,"lower":10002,"policy":"priority","recall_variance":{"denominator":72144072000,"numerator":46471259,"value":0.00064414521819617},"sample_mean":0.063583984375,"sample_sd":0.025282899162812,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":3575,"numerator":461,"value":0.12895104895105},"identical_to_priority":null,"lower":10002,"policy":"priority","recall_variance":{"denominator":920205000,"numerator":397193,"value":0.00043163534212485},"sample_mean":0.129169921875,"sample_sd":0.020518306756602,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":100100,"numerator":2553,"value":0.025504495504496},"identical_to_priority":1.0,"lower":10002,"policy":"without_power_two","recall_variance":{"denominator":90180090000,"numerator":36238369,"value":0.00040184445369261},"sample_mean":0.025380859375,"sample_sd":0.019822156651764,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":40040,"numerator":2553,"value":0.063761238761239},"identical_to_priority":1.0,"lower":10002,"policy":"without_power_two","recall_variance":{"denominator":72144072000,"numerator":46471259,"value":0.00064414521819617},"sample_mean":0.063583984375,"sample_sd":0.025282899162812,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":3575,"numerator":461,"value":0.12895104895105},"identical_to_priority":1.0,"lower":10002,"policy":"without_power_two","recall_variance":{"denominator":920205000,"numerator":397193,"value":0.00043163534212485},"sample_mean":0.129169921875,"sample_sd":0.020518306756602,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":1050,"numerator":83,"value":0.079047619047619},"identical_to_priority":0.0,"lower":10002,"policy":"without_twice_prime","recall_variance":{"denominator":306250,"numerator":281,"value":0.00091755102040816},"sample_mean":0.079990234375,"sample_sd":0.031179388654014,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":420,"numerator":83,"value":0.19761904761905},"identical_to_priority":0.0,"lower":10002,"policy":"without_twice_prime","recall_variance":{"denominator":490000,"numerator":381,"value":0.00077755102040816},"sample_mean":0.19890625,"sample_sd":0.027605550867367,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":35100,"numerator":11597,"value":0.33039886039886},"identical_to_priority":0.0,"lower":10002,"policy":"without_twice_prime","recall_variance":{"denominator":2053350000,"numerator":2311927,"value":0.0011259293349892},"sample_mean":0.330341796875,"sample_sd":0.033675371576271,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":100100,"numerator":2553,"value":0.025504495504496},"identical_to_priority":1.0,"lower":10002,"policy":"without_mod30","recall_variance":{"denominator":90180090000,"numerator":36238369,"value":0.00040184445369261},"sample_mean":0.025380859375,"sample_sd":0.019822156651764,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":40040,"numerator":2553,"value":0.063761238761239},"identical_to_priority":1.0,"lower":10002,"policy":"without_mod30","recall_variance":{"denominator":72144072000,"numerator":46471259,"value":0.00064414521819617},"sample_mean":0.063583984375,"sample_sd":0.025282899162812,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":443300,"numerator":56163,"value":0.12669298443492},"identical_to_priority":0.00537109375,"lower":10002,"policy":"without_mod30","recall_variance":{"denominator":8843170050000,"numerator":4045787693,"value":0.00045750422870134},"sample_mean":0.126826171875,"sample_sd":0.021128056731151,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":100100,"numerator":2553,"value":0.025504495504496},"identical_to_priority":1.0,"lower":10002,"policy":"without_mod6","recall_variance":{"denominator":90180090000,"numerator":36238369,"value":0.00040184445369261},"sample_mean":0.025380859375,"sample_sd":0.019822156651764,"targets":50,"upper":12000},{"budget":50,"expected_recall":{"denominator":40040,"numerator":2553,"value":0.063761238761239},"identical_to_priority":1.0,"lower":10002,"policy":"without_mod6","recall_variance":{"denominator":72144072000,"numerator":46471259,"value":0.00064414521819617},"sample_mean":0.063583984375,"sample_sd":0.025282899162812,"targets":50,"upper":12000},{"budget":100,"expected_recall":{"denominator":3575,"numerator":461,"value":0.12895104895105},"identical_to_priority":1.0,"lower":10002,"policy":"without_mod6","recall_variance":{"denominator":920205000,"numerator":397193,"value":0.00043163534212485},"sample_mean":0.129169921875,"sample_sd":0.020518306756602,"targets":50,"upper":12000},{"budget":20,"expected_recall":{"denominator":50,"numerator":1,"value":0.02},"identical_to_priority":null,"lower":15002,"policy":"uniform","recall_variance":{"denominator":2475000,"numerator":931,"value":0.00037616161616162},"sample_mean":0.019228515625,"sample_sd":0.019135965502542,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":20,"numerator":1,"value":0.05},"identical_to_priority":null,"lower":15002,"policy":"uniform","recall_variance":{"denominator":396000,"numerator":361,"value":0.00091161616161616},"sample_mean":0.049072265625,"sample_sd":0.030181322291851,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":10,"numerator":1,"value":0.1},"identical_to_priority":null,"lower":15002,"policy":"uniform","recall_variance":{"denominator":11000,"numerator":19,"value":0.0017272727272727},"sample_mean":0.0996484375,"sample_sd":0.041673275408153,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":50,"numerator":1,"value":0.02},"identical_to_priority":null,"lower":15002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.02,"sample_sd":0.0,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":50,"numerator":3,"value":0.06},"identical_to_priority":null,"lower":15002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.06,"sample_sd":0.0,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":25,"numerator":3,"value":0.12},"identical_to_priority":null,"lower":15002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.12,"sample_sd":0.0,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":693000,"numerator":28249,"value":0.040763347763348},"identical_to_priority":null,"lower":15002,"policy":"priority","recall_variance":{"denominator":6243237000000,"numerator":3878432567,"value":0.00062122142199631},"sample_mean":0.0410546875,"sample_sd":0.02537189798049,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":1386000,"numerator":145403,"value":0.10490836940837},"identical_to_priority":null,"lower":15002,"policy":"priority","recall_variance":{"denominator":24972948000000,"numerator":26401117583,"value":0.0010571886660317},"sample_mean":0.104931640625,"sample_sd":0.031662843011885,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":28875,"numerator":5959,"value":0.20637229437229},"identical_to_priority":null,"lower":15002,"policy":"priority","recall_variance":{"denominator":3468465000,"numerator":1945511,"value":0.00056091412195308},"sample_mean":0.20642578125,"sample_sd":0.023217464733718,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":138600,"numerator":5927,"value":0.042763347763348},"identical_to_priority":0.0,"lower":15002,"policy":"without_power_two","recall_variance":{"denominator":6243237000000,"numerator":4053243203,"value":0.00064922142199631},"sample_mean":0.0430859375,"sample_sd":0.025878760532578,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":55440,"numerator":5927,"value":0.10690836940837},"identical_to_priority":0.0,"lower":15002,"policy":"without_power_two","recall_variance":{"denominator":7991343360,"numerator":8480323,"value":0.0010611886660317},"sample_mean":0.106806640625,"sample_sd":0.031783920482143,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":115500,"numerator":24067,"value":0.20837229437229},"identical_to_priority":0.0,"lower":15002,"policy":"without_power_two","recall_variance":{"denominator":173423250000,"numerator":91032313,"value":0.00052491412195308},"sample_mean":0.208505859375,"sample_sd":0.02248190858933,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":1050,"numerator":79,"value":0.075238095238095},"identical_to_priority":0.0,"lower":15002,"policy":"without_twice_prime","recall_variance":{"denominator":918750,"numerator":839,"value":0.00091319727891156},"sample_mean":0.075908203125,"sample_sd":0.0311739900586,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":525,"numerator":101,"value":0.19238095238095},"identical_to_priority":0.0,"lower":15002,"policy":"without_twice_prime","recall_variance":{"denominator":735000,"numerator":619,"value":0.0008421768707483},"sample_mean":0.192158203125,"sample_sd":0.028994387730674,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":35100,"numerator":12097,"value":0.34464387464387},"identical_to_priority":0.0,"lower":15002,"policy":"without_twice_prime","recall_variance":{"denominator":6160050000,"numerator":8184749,"value":0.0013286822347221},"sample_mean":0.342822265625,"sample_sd":0.036313293073992,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":693000,"numerator":28249,"value":0.040763347763348},"identical_to_priority":1.0,"lower":15002,"policy":"without_mod30","recall_variance":{"denominator":6243237000000,"numerator":3878432567,"value":0.00062122142199631},"sample_mean":0.0410546875,"sample_sd":0.02537189798049,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":1386000,"numerator":145403,"value":0.10490836940837},"identical_to_priority":1.0,"lower":15002,"policy":"without_mod30","recall_variance":{"denominator":24972948000000,"numerator":26401117583,"value":0.0010571886660317},"sample_mean":0.104931640625,"sample_sd":0.031662843011885,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":2512125,"numerator":527827,"value":0.21011175797383},"identical_to_priority":0.00341796875,"lower":15002,"policy":"without_mod30","recall_variance":{"denominator":656320289625000,"numerator":412266165739,"value":0.00062814783003974},"sample_mean":0.21,"sample_sd":0.024540725152514,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":693000,"numerator":28249,"value":0.040763347763348},"identical_to_priority":1.0,"lower":15002,"policy":"without_mod6","recall_variance":{"denominator":6243237000000,"numerator":3878432567,"value":0.00062122142199631},"sample_mean":0.0410546875,"sample_sd":0.02537189798049,"targets":50,"upper":17000},{"budget":50,"expected_recall":{"denominator":1386000,"numerator":145403,"value":0.10490836940837},"identical_to_priority":1.0,"lower":15002,"policy":"without_mod6","recall_variance":{"denominator":24972948000000,"numerator":26401117583,"value":0.0010571886660317},"sample_mean":0.104931640625,"sample_sd":0.031662843011885,"targets":50,"upper":17000},{"budget":100,"expected_recall":{"denominator":28875,"numerator":5959,"value":0.20637229437229},"identical_to_priority":1.0,"lower":15002,"policy":"without_mod6","recall_variance":{"denominator":3468465000,"numerator":1945511,"value":0.00056091412195308},"sample_mean":0.20642578125,"sample_sd":0.023217464733718,"targets":50,"upper":17000},{"budget":20,"expected_recall":{"denominator":50,"numerator":1,"value":0.02},"identical_to_priority":null,"lower":18002,"policy":"uniform","recall_variance":{"denominator":2475000,"numerator":931,"value":0.00037616161616162},"sample_mean":0.01927734375,"sample_sd":0.018823875389646,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":20,"numerator":1,"value":0.05},"identical_to_priority":null,"lower":18002,"policy":"uniform","recall_variance":{"denominator":396000,"numerator":361,"value":0.00091161616161616},"sample_mean":0.049267578125,"sample_sd":0.028950890540891,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":10,"numerator":1,"value":0.1},"identical_to_priority":null,"lower":18002,"policy":"uniform","recall_variance":{"denominator":11000,"numerator":19,"value":0.0017272727272727},"sample_mean":0.099375,"sample_sd":0.041036878573167,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":50,"numerator":1,"value":0.02},"identical_to_priority":null,"lower":18002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.02,"sample_sd":0.0,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":25,"numerator":2,"value":0.08},"identical_to_priority":null,"lower":18002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.08,"sample_sd":0.0,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":25,"numerator":3,"value":0.12},"identical_to_priority":null,"lower":18002,"policy":"ascending","recall_variance":{"denominator":1,"numerator":0,"value":0.0},"sample_mean":0.12,"sample_sd":0.0,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":1501500,"numerator":58679,"value":0.039080253080253},"identical_to_priority":null,"lower":18002,"policy":"priority","recall_variance":{"denominator":751500750000,"numerator":446465783,"value":0.00059409891873029},"sample_mean":0.038837890625,"sample_sd":0.024357239671602,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":600600,"numerator":58679,"value":0.097700632700633},"identical_to_priority":null,"lower":18002,"policy":"priority","recall_variance":{"denominator":120240120000,"numerator":117246893,"value":0.00097510625405231},"sample_mean":0.0976953125,"sample_sd":0.030901784903304,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":42900,"numerator":8873,"value":0.20682983682984},"identical_to_priority":null,"lower":18002,"policy":"priority","recall_variance":{"denominator":5112250000,"numerator":3510277,"value":0.00068664032471025},"sample_mean":0.207451171875,"sample_sd":0.025846632676369,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":1501500,"numerator":58679,"value":0.039080253080253},"identical_to_priority":1.0,"lower":18002,"policy":"without_power_two","recall_variance":{"denominator":751500750000,"numerator":446465783,"value":0.00059409891873029},"sample_mean":0.038837890625,"sample_sd":0.024357239671602,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":600600,"numerator":58679,"value":0.097700632700633},"identical_to_priority":1.0,"lower":18002,"policy":"without_power_two","recall_variance":{"denominator":120240120000,"numerator":117246893,"value":0.00097510625405231},"sample_mean":0.0976953125,"sample_sd":0.030901784903304,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":42900,"numerator":8873,"value":0.20682983682984},"identical_to_priority":1.0,"lower":18002,"policy":"without_power_two","recall_variance":{"denominator":5112250000,"numerator":3510277,"value":0.00068664032471025},"sample_mean":0.207451171875,"sample_sd":0.025846632676369,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":525,"numerator":37,"value":0.07047619047619},"identical_to_priority":0.0,"lower":18002,"policy":"without_twice_prime","recall_variance":{"denominator":2756250,"numerator":2267,"value":0.00082249433106576},"sample_mean":0.070810546875,"sample_sd":0.029364332805757,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":210,"numerator":37,"value":0.17619047619048},"identical_to_priority":0.0,"lower":18002,"policy":"without_twice_prime","recall_variance":{"denominator":275625,"numerator":212,"value":0.00076916099773243},"sample_mean":0.17642578125,"sample_sd":0.028057418260908,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":11700,"numerator":3359,"value":0.28709401709402},"identical_to_priority":0.0,"lower":18002,"policy":"without_twice_prime","recall_variance":{"denominator":30800250000,"numerator":24102619,"value":0.00078254621309892},"sample_mean":0.28609375,"sample_sd":0.027824121358275,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":1501500,"numerator":58679,"value":0.039080253080253},"identical_to_priority":1.0,"lower":18002,"policy":"without_mod30","recall_variance":{"denominator":751500750000,"numerator":446465783,"value":0.00059409891873029},"sample_mean":0.038837890625,"sample_sd":0.024357239671602,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":600600,"numerator":58679,"value":0.097700632700633},"identical_to_priority":1.0,"lower":18002,"policy":"without_mod30","recall_variance":{"denominator":120240120000,"numerator":117246893,"value":0.00097510625405231},"sample_mean":0.0976953125,"sample_sd":0.030901784903304,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":9309300,"numerator":1801889,"value":0.19355794742892},"identical_to_priority":0.0,"lower":18002,"policy":"without_mod30","recall_variance":{"denominator":48146148050000,"numerator":29427704233,"value":0.00061121617044917},"sample_mean":0.1937890625,"sample_sd":0.02502365148923,"targets":50,"upper":20000},{"budget":20,"expected_recall":{"denominator":1501500,"numerator":58679,"value":0.039080253080253},"identical_to_priority":1.0,"lower":18002,"policy":"without_mod6","recall_variance":{"denominator":751500750000,"numerator":446465783,"value":0.00059409891873029},"sample_mean":0.038837890625,"sample_sd":0.024357239671602,"targets":50,"upper":20000},{"budget":50,"expected_recall":{"denominator":600600,"numerator":58679,"value":0.097700632700633},"identical_to_priority":1.0,"lower":18002,"policy":"without_mod6","recall_variance":{"denominator":120240120000,"numerator":117246893,"value":0.00097510625405231},"sample_mean":0.0976953125,"sample_sd":0.030901784903304,"targets":50,"upper":20000},{"budget":100,"expected_recall":{"denominator":42900,"numerator":8873,"value":0.20682983682984},"identical_to_priority":1.0,"lower":18002,"policy":"without_mod6","recall_variance":{"denominator":5112250000,"numerator":3510277,"value":0.00068664032471025},"sample_mean":0.207451171875,"sample_sd":0.025846632676369,"targets":50,"upper":20000}],"scope":"Exact expectations on fixed integers under ideal random bucket orderings; simulation bounds are conditional diagnostics, not generalization guarantees.","strata":[{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":12},"lower":10002,"target_count":5,"targets":[10006,10072,10130,10148,10160],"threshold":1.1818499136054,"upper":10200},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":11},"lower":10202,"target_count":5,"targets":[10232,10262,10268,10286,10358],"threshold":1.1888930128002,"upper":10400},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":10},"lower":10402,"target_count":5,"targets":[10442,10484,10496,10544,10568],"threshold":1.1941812744866,"upper":10600},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":10},"lower":10602,"target_count":5,"targets":[10622,10632,10772,10778,10790],"threshold":1.1730965807729,"upper":10800},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":13},"lower":10802,"target_count":5,"targets":[10832,10856,10858,10958,10992],"threshold":1.1879261926331,"upper":11000},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":13},"lower":11002,"target_count":5,"targets":[11048,11114,11156,11170,11194],"threshold":1.175671818272,"upper":11200},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":12},"lower":11202,"target_count":5,"targets":[11246,11252,11278,11342,11394],"threshold":1.1988440732961,"upper":11400},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":10},"lower":11402,"target_count":5,"targets":[11408,11456,11462,11540,11600],"threshold":1.1693500713158,"upper":11600},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":16},"lower":11602,"target_count":5,"targets":[11612,11672,11690,11726,11732],"threshold":1.1780189020925,"upper":11800},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":7},"lower":11802,"target_count":5,"targets":[11810,11846,11912,11954,11978],"threshold":1.1691178460798,"upper":12000},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":15},"lower":15002,"target_count":5,"targets":[15032,15038,15080,15122,15182],"threshold":1.1712024597835,"upper":15200},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":12},"lower":15202,"target_count":5,"targets":[15218,15242,15248,15308,15368],"threshold":1.1799848533132,"upper":15400},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":10},"lower":15402,"target_count":5,"targets":[15428,15476,15494,15536,15542],"threshold":1.1807861341862,"upper":15600},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":10},"lower":15602,"target_count":5,"targets":[15608,15638,15680,15750,15788],"threshold":1.1818668061884,"upper":15800},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":10},"lower":15802,"target_count":5,"targets":[15818,15824,15872,15902,15908],"threshold":1.1866813000166,"upper":16000},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":11},"lower":16002,"target_count":5,"targets":[16016,16100,16142,16178,16190],"threshold":1.2008137493706,"upper":16200},{"family_support":{"mod30":7,"mod6":34,"power_two":1,"twice_prime":10},"lower":16202,"target_count":5,"targets":[16222,16232,16238,16274,16328],"threshold":1.174736556324,"upper":16400},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":14},"lower":16402,"target_count":5,"targets":[16442,16448,16538,16568,16586],"threshold":1.1724587519713,"upper":16600},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":9},"lower":16602,"target_count":5,"targets":[16604,16622,16658,16742,16790],"threshold":1.1681781253594,"upper":16800},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":8},"lower":16802,"target_count":5,"targets":[16808,16862,16904,16928,16988],"threshold":1.1609639835604,"upper":17000},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":11},"lower":18002,"target_count":5,"targets":[18022,18050,18158,18164,18182],"threshold":1.2048265504392,"upper":18200},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":12},"lower":18202,"target_count":5,"targets":[18218,18224,18232,18314,18392],"threshold":1.2020900668229,"upper":18400},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":11},"lower":18402,"target_count":5,"targets":[18410,18562,18566,18578,18582],"threshold":1.2006093474153,"upper":18600},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":11},"lower":18602,"target_count":5,"targets":[18602,18676,18722,18756,18770],"threshold":1.1837120826318,"upper":18800},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":15},"lower":18802,"target_count":5,"targets":[18862,18902,18936,18948,18956],"threshold":1.1879031732476,"upper":19000},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":7},"lower":19002,"target_count":5,"targets":[19008,19022,19142,19150,19184],"threshold":1.1801261470245,"upper":19200},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":13},"lower":19202,"target_count":5,"targets":[19242,19246,19328,19378,19388],"threshold":1.175338547208,"upper":19400},{"family_support":{"mod30":7,"mod6":33,"power_two":0,"twice_prime":11},"lower":19402,"target_count":5,"targets":[19412,19424,19472,19502,19510],"threshold":1.1917985769255,"upper":19600},{"family_support":{"mod30":6,"mod6":33,"power_two":0,"twice_prime":12},"lower":19602,"target_count":5,"targets":[19642,19646,19658,19696,19792],"threshold":1.1907541890172,"upper":19800},{"family_support":{"mod30":7,"mod6":34,"power_two":0,"twice_prime":9},"lower":19802,"target_count":5,"targets":[19808,19892,19930,19940,19952],"threshold":1.1827639538784,"upper":20000}]}