{
  "ok": true,
  "platform": "darwin",
  "frag_bytes": 512,
  "bounded_cap_bytes": 16384,
  "trials_per_cell": 6,
  "n_flood_sizes": 15,
  "seed": 20260625,
  "headline_flood_bytes": 134217728,
  "naive_law": {
    "slope": 1.0000029340461285,
    "intercept": 29553.43091237545,
    "r2": 0.9999999997467719,
    "slope_stderr": 1.6963516707108953e-06,
    "slope_ci95": [
      0.9999995629036461,
      1.000006305188611
    ],
    "intercept_ci95": [
      27608.538979255252,
      31498.322845495648
    ],
    "theilsen_slope": 1.0,
    "theilsen_slope_ci95": [
      1.0,
      1.0
    ],
    "linear_vs_constant_F": 347512658420.7882,
    "linear_vs_constant_p": 0.0,
    "aic_linear": 1606.8508609815005,
    "aic_constant": 3593.5565712570715,
    "delta_aic_const_minus_lin": 1986.705710275571,
    "n_obs": 90
  },
  "incr_law": {
    "slope": 0.0,
    "intercept": 16384.0,
    "r2": null,
    "slope_stderr": null,
    "slope_ci95": [
      0.0,
      0.0
    ],
    "intercept_ci95": [
      16384.0,
      16384.0
    ],
    "theilsen_slope": 0.0,
    "theilsen_slope_ci95": [
      0.0,
      0.0
    ],
    "linear_vs_constant_F": 0.0,
    "linear_vs_constant_p": 1.0,
    "aic_linear": -2264.0767956549007,
    "aic_constant": -2266.0767956549007,
    "delta_aic_const_minus_lin": -2.0,
    "n_obs": 90
  },
  "reduction_law": {
    "slope": 6.10353353299639e-05,
    "intercept": 1.8037982734604157,
    "r2": 0.9999999997894624,
    "slope_stderr": 2.456260814053817e-10,
    "slope_ci95": [
      6.103480468707642e-05,
      6.103586597285137e-05
    ],
    "intercept_ci95": [
      1.4976578250475523,
      2.109938721873279
    ],
    "theilsen_slope": 6.103515625e-05,
    "theilsen_slope_ci95": [
      6.103515625e-05,
      6.103515625e-05
    ],
    "linear_vs_constant_F": 61746746303.48796,
    "linear_vs_constant_p": 2.7432477497639193e-64,
    "aic_linear": -21.082753728578634,
    "aic_constant": 311.1376127070278,
    "delta_aic_const_minus_lin": 332.2203664356064,
    "n_obs": 15
  },
  "slope_separation_naive_over_incr": 1000002934.0461284,
  "headline_reduction": 8194.0,
  "headline_reduction_ci95": [
    8194.0,
    8194.0
  ],
  "max_flood_bytes": 1610612736,
  "max_flood_reduction": 98306.0,
  "gates": {
    "naive_slope_is_one": true,
    "naive_grows_Ftest": true,
    "incr_slope_is_flat": true,
    "incr_constant_not_rejected": true,
    "incr_bounded_by_cap": true,
    "headline_corroborated": true,
    "reduction_unbounded": true,
    "reduction_law_linear": true
  },
  "cells": [
    {
      "fragments": 4096,
      "flood_bytes": 2097152,
      "naive_trials": [
        2113536,
        2097152,
        2097152,
        2097152,
        2113536,
        2097152
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 2102613.3333333335,
      "naive_ci95": [
        2093734.4139127824,
        2111492.2527538845
      ],
      "naive_std": 8460.661219234975,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 128.33333333333334,
      "reduction_ci95": [
        128.0,
        128.66666666666666
      ]
    },
    {
      "fragments": 8192,
      "flood_bytes": 4194304,
      "naive_trials": [
        4227072,
        4227072,
        4227072,
        4227072,
        4227072,
        4227072
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 4227072.0,
      "naive_ci95": [
        4227072.0,
        4227072.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 258.0,
      "reduction_ci95": [
        258.0,
        258.0
      ]
    },
    {
      "fragments": 16384,
      "flood_bytes": 8388608,
      "naive_trials": [
        8421376,
        8421376,
        8421376,
        8421376,
        8421376,
        8404992
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 8418645.333333334,
      "naive_ci95": [
        8411625.931200823,
        8425664.735465845
      ],
      "naive_std": 6688.739990959932,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 513.8333333333334,
      "reduction_ci95": [
        513.5,
        514.0
      ]
    },
    {
      "fragments": 32768,
      "flood_bytes": 16777216,
      "naive_trials": [
        16809984,
        16809984,
        16809984,
        16809984,
        16809984,
        16809984
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 16809984.0,
      "naive_ci95": [
        16809984.0,
        16809984.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 1026.0,
      "reduction_ci95": [
        1026.0,
        1026.0
      ]
    },
    {
      "fragments": 65536,
      "flood_bytes": 33554432,
      "naive_trials": [
        33587200,
        33587200,
        33587200,
        33587200,
        33587200,
        33587200
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 33587200.0,
      "naive_ci95": [
        33587200.0,
        33587200.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 2050.0,
      "reduction_ci95": [
        2050.0,
        2050.0
      ]
    },
    {
      "fragments": 131072,
      "flood_bytes": 67108864,
      "naive_trials": [
        67141632,
        67141632,
        67141632,
        67141632,
        67141632,
        67141632
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 67141632.0,
      "naive_ci95": [
        67141632.0,
        67141632.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 4098.0,
      "reduction_ci95": [
        4098.0,
        4098.0
      ]
    },
    {
      "fragments": 196608,
      "flood_bytes": 100663296,
      "naive_trials": [
        100696064,
        100696064,
        100696064,
        100696064,
        100696064,
        100696064
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 100696064.0,
      "naive_ci95": [
        100696064.0,
        100696064.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 6146.0,
      "reduction_ci95": [
        6146.0,
        6146.0
      ]
    },
    {
      "fragments": 262144,
      "flood_bytes": 134217728,
      "naive_trials": [
        134250496,
        134250496,
        134250496,
        134250496,
        134250496,
        134250496
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 134250496.0,
      "naive_ci95": [
        134250496.0,
        134250496.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 8194.0,
      "reduction_ci95": [
        8194.0,
        8194.0
      ]
    },
    {
      "fragments": 393216,
      "flood_bytes": 201326592,
      "naive_trials": [
        201359360,
        201359360,
        201359360,
        201359360,
        201359360,
        201359360
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 201359360.0,
      "naive_ci95": [
        201359360.0,
        201359360.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 12290.0,
      "reduction_ci95": [
        12290.0,
        12290.0
      ]
    },
    {
      "fragments": 524288,
      "flood_bytes": 268435456,
      "naive_trials": [
        268468224,
        268468224,
        268468224,
        268468224,
        268468224,
        268468224
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 268468224.0,
      "naive_ci95": [
        268468224.0,
        268468224.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 16386.0,
      "reduction_ci95": [
        16386.0,
        16386.0
      ]
    },
    {
      "fragments": 786432,
      "flood_bytes": 402653184,
      "naive_trials": [
        402685952,
        402685952,
        402685952,
        402685952,
        402685952,
        402685952
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 402685952.0,
      "naive_ci95": [
        402685952.0,
        402685952.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 24578.0,
      "reduction_ci95": [
        24578.0,
        24578.0
      ]
    },
    {
      "fragments": 1048576,
      "flood_bytes": 536870912,
      "naive_trials": [
        536903680,
        536903680,
        536903680,
        536903680,
        536903680,
        536903680
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 536903680.0,
      "naive_ci95": [
        536903680.0,
        536903680.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 32770.0,
      "reduction_ci95": [
        32770.0,
        32770.0
      ]
    },
    {
      "fragments": 1572864,
      "flood_bytes": 805306368,
      "naive_trials": [
        805339136,
        805322752,
        805339136,
        805339136,
        805339136,
        805339136
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 805336405.3333334,
      "naive_ci95": [
        805329385.9312009,
        805343424.7354659
      ],
      "naive_std": 6688.739990959932,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 49153.833333333336,
      "reduction_ci95": [
        49153.5,
        49154.0
      ]
    },
    {
      "fragments": 2097152,
      "flood_bytes": 1073741824,
      "naive_trials": [
        1073774592,
        1073774592,
        1073774592,
        1073774592,
        1073774592,
        1073774592
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 1073774592.0,
      "naive_ci95": [
        1073774592.0,
        1073774592.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 65538.0,
      "reduction_ci95": [
        65538.0,
        65538.0
      ]
    },
    {
      "fragments": 3145728,
      "flood_bytes": 1610612736,
      "naive_trials": [
        1610645504,
        1610645504,
        1610645504,
        1610645504,
        1610645504,
        1610645504
      ],
      "incr_trials": [
        16384,
        16384,
        16384,
        16384,
        16384,
        16384
      ],
      "naive_mean": 1610645504.0,
      "naive_ci95": [
        1610645504.0,
        1610645504.0
      ],
      "naive_std": 0.0,
      "incr_mean": 16384.0,
      "incr_ci95": [
        16384.0,
        16384.0
      ],
      "incr_std": 0.0,
      "reduction": 98306.0,
      "reduction_ci95": [
        98306.0,
        98306.0
      ]
    }
  ]
}