{
  "T1": {
    "n_functions": 256,
    "cost_min": 2.0,
    "cost_max": 28.339850002884624,
    "cost_mean": 19.721417091888902,
    "cost_median": 19.75488750216347,
    "n_symmetric": 16,
    "symmetric_mean": 11.408082813311301,
    "nonsymmetric_mean": 20.275639377127412
  },
  "named": {
    "constant 0": {
      "T1": 2.0,
      "T1prime": 2.0
    },
    "majority(a)": {
      "T1": 10.584962500721156,
      "T1prime": 24.92481250360578
    },
    "parity(a)": {
      "T1": 19.169925001442312,
      "T1prime": 31.509775004326936
    },
    "all-equal": {
      "T1": 17.169925001442312,
      "T1prime": 29.509775004326936
    },
    "singleton {aaa}": {
      "T1": 10.584962500721156,
      "T1prime": 15.754887502163468
    },
    "singleton {aab}": {
      "T1": 15.169925001442312,
      "T1prime": 15.754887502163468
    },
    "dictator x[0]": {
      "T1": 8.584962500721156,
      "T1prime": 8.584962500721156
    },
    "worst random-ish": {
      "T1": 28.339850002884624,
      "T1prime": 29.509775004326936
    }
  },
  "structure_dependence": {
    "mean_T1prime_minus_T1": 3.0330828133113004,
    "n_more_expensive": 158,
    "n_cheaper": 34
  },
  "incremental_vs_exact": {
    "orders_per_function": 10,
    "repair_only_bestof": {
      "frac_optimal": 0.43359375,
      "mean_ratio": 1.1054424125744062,
      "worst_ratio": 2.244210832163557
    },
    "recompressed_bestof": {
      "frac_optimal": 0.921875,
      "mean_ratio": 1.0072120031761582,
      "worst_ratio": 1.1318398080287047
    },
    "greedy_global": {
      "frac_optimal": 0.0859375,
      "mean_ratio": 1.2511808169367398,
      "worst_ratio": 2.8663162482453353
    }
  },
  "incremental_single_order": {
    "repair_only": {
      "mean_ratio": 1.5440766960500936,
      "worst_ratio": 4.488421664327114,
      "frac_optimal": 0.12890625
    },
    "recompressed": {
      "mean_ratio": 1.0555210211395458,
      "worst_ratio": 1.6053777570733285,
      "frac_optimal": 0.6015625
    }
  },
  "planted_recovery_frac_leq": 1.0
}