1{
 2  "summary": {
 3    "cases": 32,
 4    "baseline_variables_mean": 44.0,
 5    "baseline_seconds_mean": 0.00013565375229518395,
 6    "exact_sign": {
 7      "variables_mean": 22.0,
 8      "reduction_fraction_mean": 0.5,
 9      "fixed_sign_mean": 11.0,
10      "contribution_pruned_mean": 0.0,
11      "certificate_equal_all": true
12    },
13    "tau_1e-6": {
14      "variables_mean": 22.0,
15      "reduction_fraction_mean": 0.5,
16      "fixed_sign_mean": 11.0,
17      "contribution_pruned_mean": 0.0,
18      "certificate_equal_all": null
19    },
20    "tau_0.1": {
21      "variables_mean": 21.9375,
22      "reduction_fraction_mean": 0.5014204545454546,
23      "fixed_sign_mean": 11.0,
24      "contribution_pruned_mean": 0.03125,
25      "certificate_equal_all": null
26    },
27    "tau_0.3": {
28      "variables_mean": 21.6875,
29      "reduction_fraction_mean": 0.5071022727272727,
30      "fixed_sign_mean": 11.0,
31      "contribution_pruned_mean": 0.15625,
32      "certificate_equal_all": null
33    },
34    "tau_1.0": {
35      "variables_mean": 18.0625,
36      "reduction_fraction_mean": 0.5894886363636365,
37      "fixed_sign_mean": 11.0,
38      "contribution_pruned_mean": 1.96875,
39      "certificate_equal_all": null
40    }
41  },
42  "independent_soundness_points": 5000,
43  "independent_soundness_violations": 0
44}