{
  "classical_propagation": 1.0,
  "full/aug": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "full/plain": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "mdlm/aug": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "mdlm/plain": {
    "mean": 1.0,
    "per_seed": [
      1.0,
      1.0
    ],
    "ci": [
      0.9961731014136095,
      1.0
    ],
    "p_vs_satnet": 3.576990874029317e-08
  },
  "harder": {
    "30": {
      "n": 120,
      "clues": 30.0,
      "classical_propagation": 0.275
    },
    "26": {
      "n": 120,
      "clues": 26.033333333333335,
      "classical_propagation": 0.041666666666666664
    },
    "22": {
      "n": 120,
      "clues": 23.583333333333332,
      "classical_propagation": 0.03333333333333333
    }
  }
}