{
  "class_counts": [
    1302540,
    1098240,
    123552,
    54912,
    10200,
    5108,
    3744,
    624,
    36,
    4
  ],
  "n_atoms": 240,
  "certificate": {
    "stratified-5": {
      "n_train": 49,
      "bits": 126.86639333996158,
      "rules": 9,
      "acc": 0.9999984608938128,
      "per_class": {
        "HighCard": {
          "n": 1302535,
          "acc": 1.0
        },
        "Pair": {
          "n": 1098235,
          "acc": 1.0
        },
        "TwoPair": {
          "n": 123547,
          "acc": 1.0
        },
        "Trips": {
          "n": 54907,
          "acc": 1.0
        },
        "Straight": {
          "n": 10195,
          "acc": 1.0
        },
        "Flush": {
          "n": 5103,
          "acc": 1.0
        },
        "FullHouse": {
          "n": 3739,
          "acc": 1.0
        },
        "Quads": {
          "n": 619,
          "acc": 1.0
        },
        "StraightFlush": {
          "n": 31,
          "acc": 0.8709677419354839
        },
        "RoyalFlush": {
          "n": 0,
          "acc": null
        }
      },
      "seconds": 10.622762203216553
    },
    "stratified-20": {
      "n_train": 184,
      "bits": 126.86639333996158,
      "rules": 9,
      "acc": 0.9998383854553067,
      "per_class": {
        "HighCard": {
          "n": 1302520,
          "acc": 1.0
        },
        "Pair": {
          "n": 1098220,
          "acc": 1.0
        },
        "TwoPair": {
          "n": 123532,
          "acc": 1.0
        },
        "Trips": {
          "n": 54892,
          "acc": 1.0
        },
        "Straight": {
          "n": 10180,
          "acc": 0.9587426326129665
        },
        "Flush": {
          "n": 5088,
          "acc": 1.0
        },
        "FullHouse": {
          "n": 3724,
          "acc": 1.0
        },
        "Quads": {
          "n": 604,
          "acc": 1.0
        },
        "StraightFlush": {
          "n": 16,
          "acc": 1.0
        },
        "RoyalFlush": {
          "n": 0,
          "acc": null
        }
      },
      "seconds": 1.2744407653808594,
      "text": "START: everything -> HighCard   [4.32 bits]\n  OVERWRITE maxmult>=2 -> Pair   [11.91 bits, |S|=1281072]\n  OVERWRITE N1=1 -> TwoPair   [13.49 bits, |S|=124176]\n  OVERWRITE maxmult>=3 -> Trips   [11.91 bits, |S|=59280]\n  OVERWRITE straight -> Straight   [9.49 bits, |S|=10240]\n  OVERWRITE maxsuit=5 -> Flush   [12.23 bits, |S|=5148]\n  OVERWRITE N1=0 -> FullHouse   [13.49 bits, |S|=3744]\n  OVERWRITE maxmult=4 -> Quads   [11.91 bits, |S|=624]\n  OVERWRITE straight & maxsuit=5 -> StraightFlush   [17.40 bits, |S|=40]\n  OVERWRITE maxsuit>=3 & runtop=A -> RoyalFlush   [20.72 bits, |S|=424]\nTOTAL: 126.87 bits, 9 rules"
    },
    "stratified-100": {
      "n_train": 840,
      "bits": 126.86639333996158,
      "rules": 9,
      "acc": 0.9999769063784583,
      "per_class": {
        "HighCard": {
          "n": 1302440,
          "acc": 1.0
        },
        "Pair": {
          "n": 1098140,
          "acc": 1.0
        },
        "TwoPair": {
          "n": 123452,
          "acc": 1.0
        },
        "Trips": {
          "n": 54812,
          "acc": 1.0
        },
        "Straight": {
          "n": 10100,
          "acc": 0.994059405940594
        },
        "Flush": {
          "n": 5008,
          "acc": 1.0
        },
        "FullHouse": {
          "n": 3644,
          "acc": 1.0
        },
        "Quads": {
          "n": 524,
          "acc": 1.0
        },
        "StraightFlush": {
          "n": 0,
          "acc": null
        },
        "RoyalFlush": {
          "n": 0,
          "acc": null
        }
      },
      "seconds": 1.1817145347595215
    },
    "random-1000": {
      "n_train": 1000,
      "bits": 76.84008726558929,
      "rules": 6,
      "acc": 0.9997444148485735,
      "per_class": {
        "HighCard": {
          "n": 1302009,
          "acc": 1.0
        },
        "Pair": {
          "n": 1097850,
          "acc": 1.0
        },
        "TwoPair": {
          "n": 123501,
          "acc": 1.0
        },
        "Trips": {
          "n": 54891,
          "acc": 1.0
        },
        "Straight": {
          "n": 10198,
          "acc": 1.0
        },
        "Flush": {
          "n": 5107,
          "acc": 1.0
        },
        "FullHouse": {
          "n": 3740,
          "acc": 1.0
        },
        "Quads": {
          "n": 624,
          "acc": 0.0
        },
        "StraightFlush": {
          "n": 36,
          "acc": 0.0
        },
        "RoyalFlush": {
          "n": 4,
          "acc": 0.0
        }
      },
      "seconds": 0.5996608734130859
    },
    "random-5000": {
      "n_train": 5000,
      "bits": 101.56075905241485,
      "rules": 8,
      "acc": 0.9995929004302302,
      "per_class": {
        "HighCard": {
          "n": 1299976,
          "acc": 1.0
        },
        "Pair": {
          "n": 1096175,
          "acc": 1.0
        },
        "TwoPair": {
          "n": 123308,
          "acc": 1.0
        },
        "Trips": {
          "n": 54818,
          "acc": 1.0
        },
        "Straight": {
          "n": 10186,
          "acc": 0.8998625564500294
        },
        "Flush": {
          "n": 5099,
          "acc": 1.0
        },
        "FullHouse": {
          "n": 3736,
          "acc": 1.0
        },
        "Quads": {
          "n": 623,
          "acc": 1.0
        },
        "StraightFlush": {
          "n": 36,
          "acc": 0.0
        },
        "RoyalFlush": {
          "n": 3,
          "acc": 1.0
        }
      },
      "seconds": 0.9535419940948486
    }
  },
  "mlp": {
    "stratified-100": {
      "n_train": 840,
      "params": 10314,
      "acc": 0.19873062060258956,
      "per_class": {
        "HighCard": {
          "n": 1302440,
          "acc": 0.22901016553545653
        },
        "Pair": {
          "n": 1098140,
          "acc": 0.15980931393082848
        },
        "TwoPair": {
          "n": 123452,
          "acc": 0.16513300716067783
        },
        "Trips": {
          "n": 54812,
          "acc": 0.21650368532438152
        },
        "Straight": {
          "n": 10100,
          "acc": 0.43356435643564356
        },
        "Flush": {
          "n": 5008,
          "acc": 0.9394968051118211
        },
        "FullHouse": {
          "n": 3644,
          "acc": 0.23819978046103182
        },
        "Quads": {
          "n": 524,
          "acc": 0.6793893129770993
        },
        "StraightFlush": {
          "n": 0,
          "acc": null
        },
        "RoyalFlush": {
          "n": 0,
          "acc": null
        }
      },
      "seconds": 8.656961441040039
    },
    "random-5000": {
      "n_train": 5000,
      "params": 10314,
      "acc": 0.6463654027047449,
      "per_class": {
        "HighCard": {
          "n": 1300074,
          "acc": 0.6571625922832085
        },
        "Pair": {
          "n": 1096081,
          "acc": 0.7148732621038044
        },
        "TwoPair": {
          "n": 123318,
          "acc": 0.2129778296761219
        },
        "Trips": {
          "n": 54810,
          "acc": 0.19416164933406313
        },
        "Straight": {
          "n": 10186,
          "acc": 0.013057137247202042
        },
        "Flush": {
          "n": 5096,
          "acc": 0.3135792778649921
        },
        "FullHouse": {
          "n": 3733,
          "acc": 0.01928743637824806
        },
        "Quads": {
          "n": 622,
          "acc": 0.028938906752411574
        },
        "StraightFlush": {
          "n": 36,
          "acc": 0.0
        },
        "RoyalFlush": {
          "n": 4,
          "acc": 0.0
        }
      },
      "seconds": 10.300556659698486
    },
    "random-25000": {
      "n_train": 25000,
      "params": 10314,
      "acc": 0.9357814418250477,
      "per_class": {
        "HighCard": {
          "n": 1289985,
          "acc": 0.9675492350686248
        },
        "Pair": {
          "n": 1087697,
          "acc": 0.9325253264466115
        },
        "TwoPair": {
          "n": 122373,
          "acc": 0.778071960318044
        },
        "Trips": {
          "n": 54400,
          "acc": 0.8122242647058824
        },
        "Straight": {
          "n": 10090,
          "acc": 0.23657086223984142
        },
        "Flush": {
          "n": 5052,
          "acc": 0.8557007125890737
        },
        "FullHouse": {
          "n": 3708,
          "acc": 0.029395900755124056
        },
        "Quads": {
          "n": 615,
          "acc": 0.026016260162601626
        },
        "StraightFlush": {
          "n": 36,
          "acc": 0.0
        },
        "RoyalFlush": {
          "n": 4,
          "acc": 0.0
        }
      },
      "seconds": 22.046938180923462
    }
  },
  "mlp_ttt": {
    "acc": 0.9624550207074479,
    "per_class": {
      "Illegal": {
        "n": 14010,
        "acc": 0.9838686652391149
      },
      "XWon": {
        "n": 471,
        "acc": 0.6220806794055201
      },
      "OWon": {
        "n": 236,
        "acc": 0.4194915254237288
      },
      "Draw": {
        "n": 12,
        "acc": 0.0
      }
    },
    "params": 6212
  }
}