{
  "summary": {
    "cases": 32,
    "baseline_variables_mean": 44.0,
    "baseline_seconds_mean": 0.00013565375229518395,
    "exact_sign": {
      "variables_mean": 22.0,
      "reduction_fraction_mean": 0.5,
      "fixed_sign_mean": 11.0,
      "contribution_pruned_mean": 0.0,
      "certificate_equal_all": true
    },
    "tau_1e-6": {
      "variables_mean": 22.0,
      "reduction_fraction_mean": 0.5,
      "fixed_sign_mean": 11.0,
      "contribution_pruned_mean": 0.0,
      "certificate_equal_all": null
    },
    "tau_0.1": {
      "variables_mean": 21.9375,
      "reduction_fraction_mean": 0.5014204545454546,
      "fixed_sign_mean": 11.0,
      "contribution_pruned_mean": 0.03125,
      "certificate_equal_all": null
    },
    "tau_0.3": {
      "variables_mean": 21.6875,
      "reduction_fraction_mean": 0.5071022727272727,
      "fixed_sign_mean": 11.0,
      "contribution_pruned_mean": 0.15625,
      "certificate_equal_all": null
    },
    "tau_1.0": {
      "variables_mean": 18.0625,
      "reduction_fraction_mean": 0.5894886363636365,
      "fixed_sign_mean": 11.0,
      "contribution_pruned_mean": 1.96875,
      "certificate_equal_all": null
    }
  },
  "independent_soundness_points": 5000,
  "independent_soundness_violations": 0
}