{
 "part_a": {
  "timeout": {
   "cases": 13122,
   "living_releases": 445,
   "unearned_credits": 3726,
   "dead_releases": 13122
  },
  "any_route_open_at_end": {
   "cases": 13122,
   "living_releases": 445,
   "unearned_credits": 3726,
   "dead_releases": 13122
  },
  "announced_open_at_end": {
   "cases": 13122,
   "living_releases": 104,
   "unearned_credits": 1944,
   "dead_releases": 9477
  },
  "certified_opportunity": {
   "cases": 13122,
   "living_releases": 0,
   "unearned_credits": 0,
   "dead_releases": 9841
  },
  "_pair": {
   "AABB": {
    "uptime_A": 2,
    "uptime_B": 2,
    "usable": true
   },
   "ABAB": {
    "uptime_A": 2,
    "uptime_B": 2,
    "usable": false
   }
  }
 },
 "part_b": {
  "horizon_windows": 365,
  "S1_threshold_erasure": {
   "K_LOCK": 1,
   "M": 3,
   "ELL": null,
   "RHO": 0.0,
   "p": [
    0.002,
    0.005,
    0.01,
    0.02,
    0.05,
    0.1
   ],
   "nolock": {
    "released": [
     2.8982038808e-06,
     4.51477503707e-05,
     0.00035931666968,
     0.00284211126442,
     0.0422134612106,
     0.279514111503
    ],
    "locked_at_end": [
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0
    ],
    "mean_locked_windows": [
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0
    ]
   },
   "naive": {
    "released": [
     0.516511122966,
     0.83790175581,
     0.973963917506,
     0.999346770971,
     0.999999991803,
     1.0
    ],
    "locked_at_end": [
     0.00193202155263,
     0.00161692998579,
     0.000518118041629,
     2.58678695583e-05,
     7.99232867724e-10,
     4.66427907521e-18
    ],
    "mean_locked_windows": [
     1.03592124524,
     1.67823093283,
     1.94870631388,
     1.99873247439,
     1.99999998481,
     2.0
    ]
   },
   "censored": {
    "released": [
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0
    ],
    "locked_at_end": [
     0.518443144519,
     0.839518685796,
     0.974482035548,
     0.99937263884,
     0.999999992602,
     1.0
    ],
    "mean_locked_windows": [
     106.296870885,
     197.935781527,
     268.526278481,
     316.030740697,
     346.000000141,
     356.0
    ]
   },
   "reserved": {
    "released": [
     2.8982038808e-06,
     4.51477503707e-05,
     0.00035931666968,
     0.00284211126442,
     0.0422134612106,
     0.279514111503
    ],
    "locked_at_end": [
     0.00199998623558,
     0.00499965051365,
     0.00999542708159,
     0.019935496171,
     0.0477812252881,
     0.0714628838836
    ],
    "mean_locked_windows": [
     0.72999605264,
     1.82491399266,
     3.64899026301,
     7.28686397475,
     17.8229460115,
     30.8830347494
    ]
   },
   "dead_release_delay": {
    "nolock": 3,
    "naive": 3,
    "censored": null,
    "reserved": 3
   },
   "closed_form_check": {
    "naive_dp_p0.05": 0.999999991803,
    "naive_closed_form_p0.05": 0.999999991803
   }
  },
  "S2_daily_bursty": {
   "K_LOCK": 7,
   "M": 30,
   "ELL": 30,
   "p_enter": 0.01,
   "p_stay": 0.8,
   "rho": [
    0.0,
    0.02,
    0.05,
    0.1,
    0.25,
    0.5,
    1.0
   ],
   "nolock": {
    "released": [
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854
    ],
    "locked_at_end": [
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0
    ],
    "mean_locked_windows": [
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0,
     0.0
    ]
   },
   "naive": {
    "released": [
     0.582472045586,
     0.449438077057,
     0.289963395392,
     0.132413683261,
     0.0195405380953,
     0.00716878583381,
     0.00500056958854
    ],
    "locked_at_end": [
     0.0239655418938,
     0.0271132386172,
     0.0286724295808,
     0.0269689755583,
     0.0194958017803,
     0.014855347918,
     0.0123501519454
    ],
    "mean_locked_windows": [
     13.6871535007,
     13.2286183631,
     12.1810018319,
     10.3284923422,
     7.04719674614,
     5.3501374374,
     4.44701401819
    ]
   },
   "censored": {
    "released": [
     0.000259853922943,
     0.000173346240419,
     9.62817827557e-05,
     3.98600226345e-05,
     9.49527755495e-06,
     6.32895593894e-06,
     5.65562825623e-06
    ],
    "locked_at_end": [
     0.0702762740973,
     0.0581364786864,
     0.0453966303338,
     0.0330252585123,
     0.0201077912467,
     0.0150417932347,
     0.0124675274192
    ],
    "mean_locked_windows": [
     24.5986316965,
     20.4013288105,
     15.9946201938,
     11.7047267822,
     7.18932341557,
     5.39524805574,
     4.47632008713
    ]
   },
   "reserved": {
    "released": [
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854,
     0.00500056958854
    ],
    "locked_at_end": [
     0.0123501519454,
     0.0123501519454,
     0.0123501519454,
     0.0123501519454,
     0.0123501519454,
     0.0123501519454,
     0.0123501519454
    ],
    "mean_locked_windows": [
     4.44701401819,
     4.44701401819,
     4.44701401819,
     4.44701401819,
     4.44701401819,
     4.44701401819,
     4.44701401819
    ]
   },
   "dead_release_delay": {
    "nolock": 30,
    "naive": 30,
    "censored": 60,
    "reserved": 30
   }
  },
  "property_checks_independent_windows": {
   "cases": 12,
   "violations": []
  },
  "negative_control_level_triggered_censored_dead_delay": null
 }
}