{
  "exact_runs": [
    {
      "n": 6,
      "runs": 20,
      "cap": 60,
      "completed": 20,
      "censored": 0,
      "clipped_sample_mean": "647/20",
      "clipped_sample_variance": "38771/380"
    },
    {
      "n": 10,
      "runs": 20,
      "cap": 100,
      "completed": 20,
      "censored": 0,
      "clipped_sample_mean": "1133/20",
      "clipped_sample_variance": "2609/20"
    },
    {
      "n": 16,
      "runs": 20,
      "cap": 160,
      "completed": 20,
      "censored": 0,
      "clipped_sample_mean": "1611/20",
      "clipped_sample_variance": "3561/20"
    }
  ],
  "coupon_caps": [
    {
      "n": 3,
      "k": 3,
      "cap": 8,
      "clipped_mean": "8",
      "clipped_variance": "0",
      "uncapped_mean": "761/35",
      "uncapped_variance": "838034/11025",
      "no_replacement_H": 8,
      "no_replacement_variance": 0
    },
    {
      "n": 3,
      "k": 3,
      "cap": 16,
      "clipped_mean": "32706740903/2147483648",
      "clipped_variance": "11847227127412258575/4611686018427387904",
      "uncapped_mean": "761/35",
      "uncapped_variance": "838034/11025",
      "no_replacement_H": 8,
      "no_replacement_variance": 0
    },
    {
      "n": 3,
      "k": 3,
      "cap": 24,
      "clipped_mean": "5550438118633570581/288230376151711744",
      "clipped_variance": "1698312993936728569712941146689557575/83076749736557242056487941267521536",
      "uncapped_mean": "761/35",
      "uncapped_variance": "838034/11025",
      "no_replacement_H": 8,
      "no_replacement_variance": 0
    },
    {
      "n": 3,
      "k": 3,
      "cap": 32,
      "clipped_mean": "50441013909185430930333169/2417851639229258349412352",
      "clipped_variance": "256408792712660347766399597577899657230811965915935/5846006549323611672814739330865132078623730171904",
      "uncapped_mean": "761/35",
      "uncapped_variance": "838034/11025",
      "no_replacement_H": 8,
      "no_replacement_variance": 0
    }
  ],
  "solver": [
    {
      "n": 6,
      "seed": 0,
      "summary": {
        "independent_H_lower": 31,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 31,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 60,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 6,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.04471170800388791,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 6,
      "seed": 1,
      "summary": {
        "independent_H_lower": 15,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 15,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 60,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 2,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.00015820900443941355,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 6,
      "seed": 2,
      "summary": {
        "independent_H_lower": 19,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 19,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 60,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 7,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0007184580026660115,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 10,
      "seed": 0,
      "summary": {
        "independent_H_lower": 50,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 50,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 100,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 8,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0007732920057605952,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 10,
      "seed": 1,
      "summary": {
        "independent_H_lower": 49,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 49,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 100,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 8,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0008805000106804073,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 10,
      "seed": 2,
      "summary": {
        "independent_H_lower": 62,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 62,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 100,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 6,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0008768340048845857,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 16,
      "seed": 0,
      "summary": {
        "independent_H_lower": 84,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 84,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 160,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 7,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0011411250015953556,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 16,
      "seed": 1,
      "summary": {
        "independent_H_lower": 79,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 79,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 160,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 9,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0011378749914001673,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 16,
      "seed": 2,
      "summary": {
        "independent_H_lower": 68,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 68,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 160,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 13,
        "per_call_seconds": 0.05,
        "total_seconds": 10,
        "elapsed_seconds": 0.0015054160030558705,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 40,
      "seed": 0,
      "summary": {
        "independent_H_lower": 164,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 164,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 240,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 26,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.006102166997152381,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 40,
      "seed": 1,
      "summary": {
        "independent_H_lower": 181,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 181,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 240,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 24,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.005376166998757981,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 40,
      "seed": 2,
      "summary": {
        "independent_H_lower": 211,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 211,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 240,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 19,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.004386957996757701,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 80,
      "seed": 0,
      "summary": {
        "independent_H_lower": 317,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 317,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 480,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 43,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.036258124993764795,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 80,
      "seed": 1,
      "summary": {
        "independent_H_lower": 344,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 344,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 480,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 39,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.031009124999400228,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    },
    {
      "n": 80,
      "seed": 2,
      "summary": {
        "independent_H_lower": 325,
        "independent_H_upper": null,
        "solver_claimed_H_upper": 325,
        "independently_exact_H": null,
        "independently_exact_last_sat": null,
        "independently_exact_clipped_H": null,
        "cap": 480,
        "observed_survival_through_stream": false,
        "right_censored_after_stream": false,
        "unknown_prefixes": [],
        "first_failure_determined": false
      },
      "run": {
        "stop": "solver_unsat",
        "solver": "OR-Tools CP-SAT",
        "version": "9.15.6755",
        "calls": 36,
        "per_call_seconds": 0.03,
        "total_seconds": 5,
        "elapsed_seconds": 0.03713229100685567,
        "independent_unsat_proof_checked": false,
        "note": "Model retained, but each solve is a fresh CP-SAT call; no retained learned state. Time limits are not a hard process watchdog."
      }
    }
  ],
  "no_limiting_threshold_or_variance_fit": true,
  "source_programs_executed": false
}