| { |
| "E_star": { |
| "1": 123.43344106975269, |
| "2": 12.33047317470573, |
| "3": 3.5540533765934015, |
| "4": 1.504697674656427 |
| }, |
| "totals": { |
| "grid_comparisons": 27, |
| "grid_agree": 27, |
| "rule_comparisons": 36, |
| "rule_agree": 36, |
| "zh_found": 22, |
| "zh_certified": 22 |
| }, |
| "rows": [ |
| { |
| "N": 1, |
| "h": 2.0, |
| "free_coords": 4, |
| "grid_points_box": 400.0, |
| "grid_points_sublevel": 102, |
| "grid_points_sublevel_est": 77.35157439106047, |
| "tests_budget": 102, |
| "tests_togo": 102, |
| "time_budget": 0.0007901191711425781, |
| "time_togo": 0.0015759468078613281, |
| "time_grid": 0.0008141994476318359, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 192.0, |
| "f_ratio": 1.5554941864701002, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.406312843954538e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 1.5, |
| "free_coords": 4, |
| "grid_points_box": 900.0, |
| "grid_points_sublevel": 245, |
| "grid_points_sublevel_est": 244.46917338409222, |
| "tests_budget": 245, |
| "tests_togo": 245, |
| "time_budget": 0.0016047954559326172, |
| "time_togo": 0.0023305416107177734, |
| "time_grid": 0.0015375614166259766, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 255.0, |
| "f_ratio": 2.0658907164056015, |
| "zh_side": "mm", |
| "zh_cert": true, |
| "exact_gap": 0.16266743421255825, |
| "exact_side": "mm", |
| "exact_cert": true, |
| "exact_ok": false |
| }, |
| { |
| "N": 1, |
| "h": 1.25, |
| "free_coords": 4, |
| "grid_points_box": 2401.0, |
| "grid_points_sublevel": 498, |
| "grid_points_sublevel_est": 506.9312779292537, |
| "tests_budget": 498, |
| "tests_togo": 498, |
| "time_budget": 0.0019922256469726562, |
| "time_togo": 0.0028002262115478516, |
| "time_grid": 0.0020782947540283203, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 187.5, |
| "f_ratio": 1.519037291474707, |
| "zh_side": "mm", |
| "zh_cert": true, |
| "exact_gap": 0.1626674236816228, |
| "exact_side": "mm", |
| "exact_cert": true, |
| "exact_ok": false |
| }, |
| { |
| "N": 1, |
| "h": 1.0, |
| "free_coords": 4, |
| "grid_points_box": 5184.0, |
| "grid_points_sublevel": 1308, |
| "grid_points_sublevel_est": 1237.6251902569668, |
| "tests_budget": 1308, |
| "tests_togo": 1308, |
| "time_budget": 0.0035123825073242188, |
| "time_togo": 0.004445314407348633, |
| "time_grid": 0.00395965576171875, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 156.0, |
| "f_ratio": 1.2638390265069563, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 2.3671953286452663e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.75, |
| "free_coords": 4, |
| "grid_points_box": 15972.0, |
| "grid_points_sublevel": 3942, |
| "grid_points_sublevel_est": 3911.506774145477, |
| "tests_budget": 3942, |
| "tests_togo": 3942, |
| "time_budget": 0.008862495422363281, |
| "time_togo": 0.010138273239135742, |
| "time_grid": 0.010339975357055664, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 147.0, |
| "f_ratio": 1.1909252365161704, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.3988810110276972e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.5, |
| "free_coords": 4, |
| "grid_points_box": 83521.0, |
| "grid_points_sublevel": 19818, |
| "grid_points_sublevel_est": 19802.003044111458, |
| "tests_budget": 19818, |
| "tests_togo": 19818, |
| "time_budget": 0.039339542388916016, |
| "time_togo": 0.04361152648925781, |
| "time_grid": 0.04299736022949219, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 138.0, |
| "f_ratio": 1.1180114465253845, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 3.7585712320264975e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.375, |
| "free_coords": 4, |
| "grid_points_box": 279841.0, |
| "grid_points_sublevel": 62559, |
| "grid_points_sublevel_est": 62584.10838632765, |
| "tests_budget": 62559, |
| "tests_togo": 62559, |
| "time_budget": 0.12035465240478516, |
| "time_togo": 0.16672778129577637, |
| "time_grid": 0.14970898628234863, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 130.125, |
| "f_ratio": 1.0542118802834468, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 8.447278432299754e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.25, |
| "free_coords": 4, |
| "grid_points_box": 1416100.0, |
| "grid_points_sublevel": 318387, |
| "grid_points_sublevel_est": 316832.04870578344, |
| "tests_budget": 318387, |
| "tests_togo": 318387, |
| "time_budget": 0.5879766941070557, |
| "time_togo": 0.6644392013549805, |
| "time_grid": 0.49946117401123047, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 126.75, |
| "f_ratio": 1.026869209036902, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 9.807021861263365e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.1875, |
| "free_coords": 4, |
| "grid_points_box": 4284900.0, |
| "grid_points_sublevel": 1000995, |
| "grid_points_sublevel_est": 1001345.7341812428, |
| "tests_budget": 1000995, |
| "tests_togo": 1000995, |
| "time_budget": 1.8563284873962402, |
| "time_togo": 1.865967035293579, |
| "time_grid": 0.6753871440887451, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 125.90625, |
| "f_ratio": 1.020033541225266, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 0.0, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 1, |
| "h": 0.125, |
| "free_coords": 4, |
| "grid_points_box": 22014864.0, |
| "grid_points_sublevel": 5072808, |
| "grid_points_sublevel_est": 5069312.779292528, |
| "tests_budget": 5072808, |
| "tests_togo": 5072808, |
| "time_budget": 8.819361209869385, |
| "time_togo": 9.122315645217896, |
| "time_grid": 2.708487033843994, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 123.43344106975269, |
| "zh_cost": 124.5, |
| "f_ratio": 1.0086407615392055, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 4.55802062759858e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 2.0, |
| "free_coords": 8, |
| "grid_points_box": 216.0, |
| "grid_points_sublevel": 4, |
| "grid_points_sublevel_est": 0.22343808892677866, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0007965564727783203, |
| "time_togo": 0.0009372234344482422, |
| "time_grid": 0.0005917549133300781, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 12.33047317470573 |
| }, |
| { |
| "N": 2, |
| "h": 1.5, |
| "free_coords": 8, |
| "grid_points_box": 12960.0, |
| "grid_points_sublevel": 7, |
| "grid_points_sublevel_est": 2.2318607827930745, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0020406246185302734, |
| "time_togo": 0.003346681594848633, |
| "time_grid": 0.002086162567138672, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 12.33047317470573 |
| }, |
| { |
| "N": 2, |
| "h": 1.25, |
| "free_coords": 8, |
| "grid_points_box": 50625.0, |
| "grid_points_sublevel": 7, |
| "grid_points_sublevel_est": 9.596592846212538, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0015840530395507812, |
| "time_togo": 0.0017330646514892578, |
| "time_grid": 0.0015320777893066406, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 12.33047317470573 |
| }, |
| { |
| "N": 2, |
| "h": 1.0, |
| "free_coords": 8, |
| "grid_points_box": 151200.0, |
| "grid_points_sublevel": 111, |
| "grid_points_sublevel_est": 57.20015076525532, |
| "tests_budget": 412, |
| "tests_togo": 71, |
| "time_budget": 0.004759550094604492, |
| "time_togo": 0.00471186637878418, |
| "time_grid": 0.00419926643371582, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 36.0, |
| "f_ratio": 2.9195959871068897, |
| "zh_side": "mm", |
| "zh_cert": true, |
| "exact_gap": 0.16062456978420725, |
| "exact_side": "mm", |
| "exact_cert": true, |
| "exact_ok": false |
| }, |
| { |
| "N": 2, |
| "h": 0.75, |
| "free_coords": 8, |
| "grid_points_box": 2520000.0, |
| "grid_points_sublevel": 565, |
| "grid_points_sublevel_est": 571.356360395027, |
| "tests_budget": 2327, |
| "tests_togo": 316, |
| "time_budget": 0.006471872329711914, |
| "time_togo": 0.005293846130371094, |
| "time_grid": 0.02143120765686035, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 18.75, |
| "f_ratio": 1.520622909951505, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 3.413247462447089e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 0.5, |
| "free_coords": 8, |
| "grid_points_box": 59195136.0, |
| "grid_points_sublevel": 16426, |
| "grid_points_sublevel_est": 14643.238595905348, |
| "tests_budget": 26013, |
| "tests_togo": 4307, |
| "time_budget": 0.048935651779174805, |
| "time_togo": 0.04636096954345703, |
| "time_grid": 0.4016599655151367, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 21.0, |
| "f_ratio": 1.7030976591456857, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.0271117290017173e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 0.375, |
| "free_coords": 8, |
| "grid_points_box": 740520000.0, |
| "grid_points_sublevel": 148257, |
| "grid_points_sublevel_est": 146267.22826112687, |
| "tests_budget": 149597, |
| "tests_togo": 24505, |
| "time_budget": 0.34412407875061035, |
| "time_togo": 0.11662125587463379, |
| "time_grid": 4.014044523239136, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 16.5, |
| "f_ratio": 1.3381481607573245, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 2.507838381404781e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 0.25, |
| "free_coords": 8, |
| "grid_points_box": 16068375000.0, |
| "grid_points_sublevel": 3613342, |
| "grid_points_sublevel_est": 3748669.0805517714, |
| "tests_budget": 1717038, |
| "tests_togo": 254288, |
| "time_budget": 3.041257381439209, |
| "time_togo": 0.9436490535736084, |
| "time_grid": 73.52647352218628, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 14.25, |
| "f_ratio": 1.1556734115631437, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.0829803720469044e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 0.1875, |
| "free_coords": 8, |
| "grid_points_box": 181900857600.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 37444410.43484844, |
| "tests_budget": 9649277, |
| "tests_togo": 1329112, |
| "time_budget": 16.293273210525513, |
| "time_togo": 4.406949043273926, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 13.96875, |
| "f_ratio": 1.1328640679138713, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 2.415645461439908e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 2, |
| "h": 0.125, |
| "free_coords": 8, |
| "grid_points_box": 4119345720000.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 959659284.6212542, |
| "tests_budget": 106403214, |
| "tests_togo": 12669999, |
| "time_budget": 172.39954161643982, |
| "time_togo": 41.72004461288452, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 12.33047317470573, |
| "zh_cost": 12.9375, |
| "f_ratio": 1.0492298078665385, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 5.391842528013058e-11, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 3, |
| "h": 2.0, |
| "free_coords": 12, |
| "grid_points_box": 7776.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 2.637267180619906e-05, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0002262592315673828, |
| "time_togo": 0.0005619525909423828, |
| "time_grid": 0.0005636215209960938, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 3.5540533765934015 |
| }, |
| { |
| "N": 3, |
| "h": 1.5, |
| "free_coords": 12, |
| "grid_points_box": 15552.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 0.0008325665716226476, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0008857250213623047, |
| "time_togo": 0.0017113685607910156, |
| "time_grid": 0.0018315315246582031, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 3.5540533765934015 |
| }, |
| { |
| "N": 3, |
| "h": 1.25, |
| "free_coords": 12, |
| "grid_points_box": 2592000.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 0.007423247182447647, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.00039315223693847656, |
| "time_togo": 0.0017507076263427734, |
| "time_grid": 0.03600478172302246, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 3.5540533765934015 |
| }, |
| { |
| "N": 3, |
| "h": 1.0, |
| "free_coords": 12, |
| "grid_points_box": 30375000.0, |
| "grid_points_sublevel": 5, |
| "grid_points_sublevel_est": 0.10802246371819128, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.001043558120727539, |
| "time_togo": 0.0016477108001708984, |
| "time_grid": 0.25268125534057617, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 3.5540533765934015 |
| }, |
| { |
| "N": 3, |
| "h": 0.75, |
| "free_coords": 12, |
| "grid_points_box": 311169600.0, |
| "grid_points_sublevel": 4, |
| "grid_points_sublevel_est": 3.410192677366364, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.006761074066162109, |
| "time_togo": 0.003233671188354492, |
| "time_grid": 2.19153094291687, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 3.5540533765934015 |
| }, |
| { |
| "N": 3, |
| "h": 0.5, |
| "free_coords": 12, |
| "grid_points_box": 71874000000.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 442.46001138971116, |
| "tests_budget": 3551, |
| "tests_togo": 367, |
| "time_budget": 0.07894611358642578, |
| "time_togo": 0.023195743560791016, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 3.5540533765934015, |
| "zh_cost": 12.0, |
| "f_ratio": 3.376426499115252, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.2789769243681803e-13, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 3, |
| "h": 0.375, |
| "free_coords": 12, |
| "grid_points_box": 1991416867440.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 13968.149206492622, |
| "tests_budget": 31562, |
| "tests_togo": 2988, |
| "time_budget": 0.39983105659484863, |
| "time_togo": 0.13562369346618652, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 3.5540533765934015, |
| "zh_cost": 8.0625, |
| "f_ratio": 2.26853655409306, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 2.2244406316929144e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 3, |
| "h": 0.25, |
| "free_coords": 12, |
| "grid_points_box": 340502944320000.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 1812316.2066522555, |
| "tests_budget": 865149, |
| "tests_togo": 45446, |
| "time_budget": 10.838900566101074, |
| "time_togo": 2.54145884513855, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 3.5540533765934015, |
| "zh_cost": 4.5, |
| "f_ratio": 1.2661599371682197, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.9184653865522705e-13, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| }, |
| { |
| "N": 4, |
| "h": 2.0, |
| "free_coords": 16, |
| "grid_points_box": 23328.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 3.156566496311912e-10, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.00015020370483398438, |
| "time_togo": 0.0004820823669433594, |
| "time_grid": 0.0020012855529785156, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 1.5, |
| "free_coords": 16, |
| "grid_points_box": 2519424.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 3.149450075258679e-08, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0003871917724609375, |
| "time_togo": 0.0005013942718505859, |
| "time_grid": 0.13295316696166992, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 1.25, |
| "free_coords": 16, |
| "grid_points_box": 29160000.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 5.82283743091118e-07, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0002601146697998047, |
| "time_togo": 0.0006940364837646484, |
| "time_grid": 0.9558346271514893, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 1.0, |
| "free_coords": 16, |
| "grid_points_box": 360000000.0, |
| "grid_points_sublevel": 0, |
| "grid_points_sublevel_est": 2.06868741902297e-05, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.00026869773864746094, |
| "time_togo": 0.0008051395416259766, |
| "time_grid": 6.184225082397461, |
| "same_as_grid": true, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 0.75, |
| "free_coords": 16, |
| "grid_points_box": 233377200000.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 0.002064023601321527, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.0009839534759521484, |
| "time_togo": 0.0023474693298339844, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 0.5, |
| "free_coords": 16, |
| "grid_points_box": 81335585358720.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 1.3557349869308932, |
| "tests_budget": null, |
| "tests_togo": null, |
| "time_budget": 0.03177356719970703, |
| "time_togo": 0.012942314147949219, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": true, |
| "E_star": 1.504697674656427 |
| }, |
| { |
| "N": 4, |
| "h": 0.375, |
| "free_coords": 16, |
| "grid_points_box": 7879889144531250.0, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 135.26785073620755, |
| "tests_budget": 4279, |
| "tests_togo": 462, |
| "time_budget": 0.22973847389221191, |
| "time_togo": 0.061280012130737305, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 1.504697674656427, |
| "zh_cost": 5.8125, |
| "f_ratio": 3.862902228068631, |
| "zh_side": "mm", |
| "zh_cert": true, |
| "exact_gap": 0.16173287697380956, |
| "exact_side": "mm", |
| "exact_cert": true, |
| "exact_ok": false |
| }, |
| { |
| "N": 4, |
| "h": 0.25, |
| "free_coords": 16, |
| "grid_points_box": 5.882921604607162e+18, |
| "grid_points_sublevel": null, |
| "grid_points_sublevel_est": 88849.44810350297, |
| "tests_budget": 208929, |
| "tests_togo": 10144, |
| "time_budget": 8.737711906433105, |
| "time_togo": 1.483459711074829, |
| "time_grid": null, |
| "same_as_grid": null, |
| "same_rules": true, |
| "fail": false, |
| "E_star": 1.504697674656427, |
| "zh_cost": 3.75, |
| "f_ratio": 2.49219498585073, |
| "zh_side": "pp", |
| "zh_cert": true, |
| "exact_gap": 1.175630703897923e-10, |
| "exact_side": "pp", |
| "exact_cert": true, |
| "exact_ok": true |
| } |
| ] |
| } |
