{
  "ablation": {
    "full": {
      "n_atoms": 523,
      "rows": [
        {
          "n": 125,
          "seed": 0,
          "acc": 0.9381838633807138,
          "bits": 59.08801477903289,
          "rules": 2,
          "repairs": 7,
          "seconds": 1.26
        },
        {
          "n": 125,
          "seed": 1,
          "acc": 0.9460578791287453,
          "bits": 49.27423358781585,
          "rules": 2,
          "repairs": 4,
          "seconds": 0.35
        },
        {
          "n": 125,
          "seed": 2,
          "acc": 0.9725432048266693,
          "bits": 65.24001787247794,
          "rules": 3,
          "repairs": 6,
          "seconds": 0.39
        },
        {
          "n": 250,
          "seed": 0,
          "acc": 0.9728297226367519,
          "bits": 51.01119918198205,
          "rules": 2,
          "repairs": 9,
          "seconds": 1.33
        },
        {
          "n": 250,
          "seed": 1,
          "acc": 0.9725209694848969,
          "bits": 50.84127418053974,
          "rules": 2,
          "repairs": 10,
          "seconds": 1.2
        },
        {
          "n": 250,
          "seed": 2,
          "acc": 0.9754541244275202,
          "bits": 84.71557716146697,
          "rules": 3,
          "repairs": 8,
          "seconds": 1.19
        },
        {
          "n": 500,
          "seed": 0,
          "acc": 0.9789396861804723,
          "bits": 95.87039527051905,
          "rules": 3,
          "repairs": 15,
          "seconds": 3.68
        },
        {
          "n": 500,
          "seed": 1,
          "acc": 0.9882708648282333,
          "bits": 129.67069767000248,
          "rules": 4,
          "repairs": 22,
          "seconds": 9.25
        },
        {
          "n": 500,
          "seed": 2,
          "acc": 0.9952562164416411,
          "bits": 79.90461098585698,
          "rules": 3,
          "repairs": 13,
          "seconds": 2.38
        },
        {
          "n": 1000,
          "seed": 0,
          "acc": 0.9960927045977627,
          "bits": 76.90461098585698,
          "rules": 2,
          "repairs": 22,
          "seconds": 14.59
        },
        {
          "n": 1000,
          "seed": 1,
          "acc": 0.9804635229888133,
          "bits": 201.96842231658357,
          "rules": 6,
          "repairs": 28,
          "seconds": 13.69
        },
        {
          "n": 1000,
          "seed": 2,
          "acc": 0.9993041802708345,
          "bits": 91.30335467779517,
          "rules": 3,
          "repairs": 25,
          "seconds": 9.39
        },
        {
          "n": 2000,
          "seed": 0,
          "acc": 0.9990951761578918,
          "bits": 76.90461098585698,
          "rules": 2,
          "repairs": 40,
          "seconds": 12.13
        },
        {
          "n": 2000,
          "seed": 1,
          "acc": 0.9972855284736752,
          "bits": 109.02402646462073,
          "rules": 3,
          "repairs": 46,
          "seconds": 16.37
        },
        {
          "n": 2000,
          "seed": 2,
          "acc": 0.9958717412203811,
          "bits": 100.9472108675699,
          "rules": 3,
          "repairs": 46,
          "seconds": 22.65
        },
        {
          "n": 4000,
          "seed": 0,
          "acc": 0.999234840272907,
          "bits": 112.102028976622,
          "rules": 3,
          "repairs": 61,
          "seconds": 40.76
        },
        {
          "n": 4000,
          "seed": 1,
          "acc": 0.9993623668940892,
          "bits": 120.57477325000397,
          "rules": 3,
          "repairs": 64,
          "seconds": 32.37
        },
        {
          "n": 4000,
          "seed": 2,
          "acc": 0.999234840272907,
          "bits": 110.93091706022923,
          "rules": 3,
          "repairs": 64,
          "seconds": 26.36
        },
        {
          "n": 8000,
          "seed": 0,
          "acc": 0.9988872721047676,
          "bits": 91.30335467779517,
          "rules": 3,
          "repairs": 75,
          "seconds": 29.29
        },
        {
          "n": 8000,
          "seed": 1,
          "acc": 0.9988872721047676,
          "bits": 166.69700374437477,
          "rules": 5,
          "repairs": 91,
          "seconds": 47.38
        },
        {
          "n": 8000,
          "seed": 2,
          "acc": 0.9994008388256441,
          "bits": 144.46537003827183,
          "rules": 4,
          "repairs": 85,
          "seconds": 26.7
        }
      ]
    },
    "no-cmp": {
      "n_atoms": 376,
      "rows": [
        {
          "n": 125,
          "seed": 0,
          "acc": 0.9129256570201452,
          "bits": 81.29096858086267,
          "rules": 3,
          "repairs": 7,
          "seconds": 1.05
        },
        {
          "n": 125,
          "seed": 1,
          "acc": 0.8944166070150322,
          "bits": 80.30726238820333,
          "rules": 3,
          "repairs": 4,
          "seconds": 0.24
        },
        {
          "n": 125,
          "seed": 2,
          "acc": 0.9376725636568156,
          "bits": 70.04422798236952,
          "rules": 3,
          "repairs": 6,
          "seconds": 0.34
        },
        {
          "n": 250,
          "seed": 0,
          "acc": 0.89934647249524,
          "bits": 142.95437477929127,
          "rules": 5,
          "repairs": 9,
          "seconds": 1.58
        },
        {
          "n": 250,
          "seed": 1,
          "acc": 0.9147326712293521,
          "bits": 157.3351965632322,
          "rules": 5,
          "repairs": 10,
          "seconds": 2.68
        },
        {
          "n": 250,
          "seed": 2,
          "acc": 0.9281119744764061,
          "bits": 136.42667786696705,
          "rules": 5,
          "repairs": 8,
          "seconds": 2.19
        },
        {
          "n": 500,
          "seed": 0,
          "acc": 0.9419798780169942,
          "bits": 234.36313073826108,
          "rules": 7,
          "repairs": 17,
          "seconds": 7.28
        },
        {
          "n": 500,
          "seed": 1,
          "acc": 0.917479017880415,
          "bits": 347.61475563872403,
          "rules": 10,
          "repairs": 25,
          "seconds": 20.86
        },
        {
          "n": 500,
          "seed": 2,
          "acc": 0.9486524526924881,
          "bits": 271.0428307440303,
          "rules": 9,
          "repairs": 24,
          "seconds": 21.7
        },
        {
          "n": 1000,
          "seed": 0,
          "acc": 0.9692233581330622,
          "bits": 269.34846503157706,
          "rules": 8,
          "repairs": 38,
          "seconds": 36.15
        },
        {
          "n": 1000,
          "seed": 1,
          "acc": 0.9800353262324037,
          "bits": 353.07402112037244,
          "rules": 10,
          "repairs": 38,
          "seconds": 40.0
        },
        {
          "n": 1000,
          "seed": 2,
          "acc": 0.9608199967885244,
          "bits": 420.2097304064768,
          "rules": 13,
          "repairs": 41,
          "seconds": 59.2
        },
        {
          "n": 2000,
          "seed": 0,
          "acc": 0.9868235027992988,
          "bits": 362.07402112037244,
          "rules": 10,
          "repairs": 64,
          "seconds": 157.69
        },
        {
          "n": 4000,
          "seed": 0,
          "acc": 0.9952177517056685,
          "bits": 298.65572741978036,
          "rules": 8,
          "repairs": 98,
          "seconds": 66.82
        }
      ]
    },
    "no-lines": {
      "n_atoms": 252,
      "rows": [
        {
          "n": 125,
          "seed": 0,
          "acc": 0.8183352080989876,
          "bits": 132.91271814943684,
          "rules": 5,
          "repairs": 6,
          "seconds": 0.95
        },
        {
          "n": 125,
          "seed": 1,
          "acc": 0.8924736680642192,
          "bits": 75.53376812924448,
          "rules": 3,
          "repairs": 4,
          "seconds": 0.24
        },
        {
          "n": 125,
          "seed": 2,
          "acc": 0.8756519071479701,
          "bits": 103.63132064989962,
          "rules": 4,
          "repairs": 5,
          "seconds": 0.28
        },
        {
          "n": 250,
          "seed": 0,
          "acc": 0.8815417074049298,
          "bits": 184.76678627291207,
          "rules": 6,
          "repairs": 10,
          "seconds": 4.42
        },
        {
          "n": 250,
          "seed": 1,
          "acc": 0.8911645139710801,
          "bits": 146.80450185265516,
          "rules": 5,
          "repairs": 6,
          "seconds": 1.07
        },
        {
          "n": 250,
          "seed": 2,
          "acc": 0.9139093294910718,
          "bits": 174.50612569697915,
          "rules": 6,
          "repairs": 8,
          "seconds": 1.65
        },
        {
          "n": 500,
          "seed": 0,
          "acc": 0.9030391492467289,
          "bits": 373.0063168192061,
          "rules": 11,
          "repairs": 15,
          "seconds": 9.63
        },
        {
          "n": 500,
          "seed": 1,
          "acc": 0.8733774696345723,
          "bits": 462.11394248733905,
          "rules": 14,
          "repairs": 21,
          "seconds": 17.88
        },
        {
          "n": 500,
          "seed": 2,
          "acc": 0.907470155867174,
          "bits": 363.294835808446,
          "rules": 11,
          "repairs": 21,
          "seconds": 15.58
        },
        {
          "n": 1000,
          "seed": 0,
          "acc": 0.929347535192421,
          "bits": 645.7697583283085,
          "rules": 18,
          "repairs": 29,
          "seconds": 26.24
        },
        {
          "n": 1000,
          "seed": 1,
          "acc": 0.9093293368302735,
          "bits": 733.7750838159845,
          "rules": 21,
          "repairs": 30,
          "seconds": 33.13
        },
        {
          "n": 1000,
          "seed": 2,
          "acc": 0.896376384948884,
          "bits": 798.6510757780145,
          "rules": 23,
          "repairs": 38,
          "seconds": 64.09
        },
        {
          "n": 2000,
          "seed": 0,
          "acc": 0.9312333879997738,
          "bits": 2001.2192296230896,
          "rules": 46,
          "repairs": 65,
          "seconds": 231.73
        },
        {
          "n": 4000,
          "seed": 0,
          "acc": 0.9078620161958809,
          "bits": 6019.578270366705,
          "rules": 117,
          "repairs": 148,
          "seconds": 1107.47
        }
      ]
    },
    "cells": {
      "n_atoms": 27,
      "rows": [
        {
          "n": 125,
          "seed": 0,
          "acc": 0.8255445342059515,
          "bits": 141.85263754543283,
          "rules": 6,
          "repairs": 8,
          "seconds": 0.01
        },
        {
          "n": 125,
          "seed": 1,
          "acc": 0.8659372123939053,
          "bits": 95.56842503028855,
          "rules": 4,
          "repairs": 4,
          "seconds": 0.0
        },
        {
          "n": 125,
          "seed": 2,
          "acc": 0.8539727988546886,
          "bits": 121.58797503894243,
          "rules": 5,
          "repairs": 6,
          "seconds": 0.0
        },
        {
          "n": 250,
          "seed": 0,
          "acc": 0.8675448978541656,
          "bits": 211.15640006923098,
          "rules": 8,
          "repairs": 10,
          "seconds": 0.01
        },
        {
          "n": 250,
          "seed": 1,
          "acc": 0.8763958215406782,
          "bits": 185.1368500605771,
          "rules": 7,
          "repairs": 8,
          "seconds": 0.01
        },
        {
          "n": 250,
          "seed": 2,
          "acc": 0.8690886636134411,
          "bits": 211.15640006923098,
          "rules": 8,
          "repairs": 8,
          "seconds": 0.01
        },
        {
          "n": 500,
          "seed": 0,
          "acc": 0.8833863316478132,
          "bits": 580.6947626968756,
          "rules": 18,
          "repairs": 20,
          "seconds": 0.07
        },
        {
          "n": 1000,
          "seed": 0,
          "acc": 0.8840122036075577,
          "bits": 1495.6632255149054,
          "rules": 41,
          "repairs": 42,
          "seconds": 0.3
        },
        {
          "n": 2000,
          "seed": 0,
          "acc": 0.8845218571509359,
          "bits": 2912.5324635103393,
          "rules": 74,
          "repairs": 85,
          "seconds": 0.97
        }
      ]
    }
  },
  "planted": [
    {
      "k": 1,
      "draw": 0,
      "kappa_planted": 17.1548181090521,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.44,
          "occam_err_times_n": 0.0
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.07,
          "occam_err_times_n": 0.0
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.08,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 1,
      "draw": 1,
      "kappa_planted": 17.1548181090521,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 2,
          "seconds": 0.04,
          "occam_err_times_n": 0.0
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.04,
          "occam_err_times_n": 0.0
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 17.1548181090521,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.04,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 2,
      "draw": 0,
      "kappa_planted": 60.67297727975404,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.996809550764164,
          "bits": 27.042599881712917,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.1,
          "occam_err_times_n": 0.7976123089590004
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 0.9960391800032115,
          "bits": 58.91808977759057,
          "rules": 2,
          "repairs": 3,
          "seconds": 0.49,
          "occam_err_times_n": 3.960819996788545
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 60.67297727975404,
          "rules": 2,
          "repairs": 3,
          "seconds": 0.75,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 2,
      "draw": 1,
      "kappa_planted": 38.11941547876375,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 1.0,
          "bits": 38.11941547876375,
          "rules": 2,
          "repairs": 9,
          "seconds": 0.39,
          "occam_err_times_n": 0.0
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 1.0,
          "bits": 38.11941547876375,
          "rules": 2,
          "repairs": 2,
          "seconds": 0.1,
          "occam_err_times_n": 0.0
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 38.11941547876375,
          "rules": 2,
          "repairs": 2,
          "seconds": 0.14,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 4,
      "draw": 0,
      "kappa_planted": 112.61536472580026,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.9989193639685072,
          "bits": 41.19741799076502,
          "rules": 2,
          "repairs": 11,
          "seconds": 0.86,
          "occam_err_times_n": 0.27015900787319413
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 1.0,
          "bits": 64.99609228959184,
          "rules": 3,
          "repairs": 9,
          "seconds": 0.35,
          "occam_err_times_n": 0.0
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 64.99609228959184,
          "rules": 3,
          "repairs": 6,
          "seconds": 0.4,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 4,
      "draw": 1,
      "kappa_planted": 99.45417085628978,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.993001595224618,
          "bits": 48.1031216714231,
          "rules": 2,
          "repairs": 8,
          "seconds": 0.56,
          "occam_err_times_n": 1.7496011938455125
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 0.9961462291923139,
          "bits": 86.5444652450742,
          "rules": 4,
          "repairs": 46,
          "seconds": 16.92,
          "occam_err_times_n": 3.853770807686119
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 0.9978958107504942,
          "bits": 86.30053966218811,
          "rules": 4,
          "repairs": 18,
          "seconds": 1.91,
          "occam_err_times_n": 8.416756998023356
        }
      ]
    },
    {
      "k": 8,
      "draw": 0,
      "kappa_planted": 183.64605303599004,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.981217516595482,
          "bits": 97.04150718691182,
          "rules": 4,
          "repairs": 22,
          "seconds": 5.79,
          "occam_err_times_n": 4.695620851129512
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 0.9994112294599369,
          "bits": 100.19351028035686,
          "rules": 5,
          "repairs": 14,
          "seconds": 1.18,
          "occam_err_times_n": 0.5887705400631216
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 131.46374193761523,
          "rules": 5,
          "repairs": 21,
          "seconds": 4.8,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 8,
      "draw": 1,
      "kappa_planted": 145.55847944266333,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 1.0,
          "bits": 15.813781191217036,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.03,
          "occam_err_times_n": 0.0
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 1.0,
          "bits": 15.813781191217036,
          "rules": 1,
          "repairs": 2,
          "seconds": 0.03,
          "occam_err_times_n": 0.0
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 1.0,
          "bits": 15.813781191217036,
          "rules": 1,
          "repairs": 1,
          "seconds": 0.04,
          "occam_err_times_n": 0.0
        }
      ]
    },
    {
      "k": 16,
      "draw": 0,
      "kappa_planted": 373.5238006585291,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.9668090361755777,
          "bits": 91.03750525635432,
          "rules": 4,
          "repairs": 7,
          "seconds": 0.61,
          "occam_err_times_n": 8.297740956105581
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 0.9985548359471177,
          "bits": 134.46374193761523,
          "rules": 6,
          "repairs": 15,
          "seconds": 3.87,
          "occam_err_times_n": 1.4451640528823084
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 0.9987247337881783,
          "bits": 151.01330180804803,
          "rules": 6,
          "repairs": 38,
          "seconds": 11.47,
          "occam_err_times_n": 5.101064847286896
        }
      ]
    },
    {
      "k": 16,
      "draw": 1,
      "kappa_planted": 335.4524599920969,
      "curve": [
        {
          "n": 250,
          "seed": 7,
          "acc": 0.9044923583594916,
          "bits": 279.92629696028,
          "rules": 12,
          "repairs": 47,
          "seconds": 56.37,
          "occam_err_times_n": 23.8769104101271
        },
        {
          "n": 1000,
          "seed": 7,
          "acc": 0.937269175185998,
          "bits": 727.9427113256588,
          "rules": 28,
          "repairs": 78,
          "seconds": 300.55,
          "occam_err_times_n": 62.73082481400205
        },
        {
          "n": 4000,
          "seed": 7,
          "acc": 0.9604029841229357,
          "bits": 2060.784252960164,
          "rules": 69,
          "repairs": 154,
          "seconds": 2811.82,
          "occam_err_times_n": 158.3880635082573
        }
      ]
    }
  ]
}