[
  {
    "track": "exact",
    "inst_num": 0,
    "name": "p26-exact-pub00",
    "trees": 4,
    "leaves": 111,
    "idigest": "13C38FF5504D13298390875CB190A63E",
    "best_known_score": 55,
    "num_best": 88,
    "num_valid": 94,
    "num_invalid": 1,
    "num_timeout": 126,
    "known_since": "2026-02-22T23:32:30",
    "avg_best_compute_time_secs": 15.847897727272727
  },
  {
    "track": "exact",
    "inst_num": 1,
    "name": "p26-exact-pub01",
    "trees": 5,
    "leaves": 45,
    "idigest": "22A83E8084913B3EA727A502C34769B3",
    "best_known_score": 23,
    "num_best": 163,
    "num_valid": 171,
    "num_invalid": 2,
    "num_timeout": 92,
    "known_since": "2026-02-19T18:31:32",
    "avg_best_compute_time_secs": 77.2839012345679
  },
  {
    "track": "exact",
    "inst_num": 2,
    "name": "p26-exact-pub02",
    "trees": 4,
    "leaves": 60,
    "idigest": "1223847D5704B7289F8A391434D8F7FD",
    "best_known_score": 23,
    "num_best": 145,
    "num_valid": 151,
    "num_invalid": 1,
    "num_timeout": 101,
    "known_since": "2026-02-20T06:09:25",
    "avg_best_compute_time_secs": 83.30117361111111
  },
  {
    "track": "exact",
    "inst_num": 3,
    "name": "p26-exact-pub03",
    "trees": 9,
    "leaves": 22,
    "idigest": "31A6FC53EBB800E5D6C7E7AE580D656F",
    "best_known_score": 17,
    "num_best": 389,
    "num_valid": 413,
    "num_invalid": 1,
    "num_timeout": 71,
    "known_since": "2026-02-19T15:35:58",
    "avg_best_compute_time_secs": 11.081005154639175
  },
  {
    "track": "exact",
    "inst_num": 4,
    "name": "p26-exact-pub04",
    "trees": 2,
    "leaves": 309,
    "idigest": "05A29DC793BEA66C514AB5DC5392FC5C",
    "best_known_score": 59,
    "num_best": 66,
    "num_valid": 90,
    "num_invalid": 1,
    "num_timeout": 126,
    "known_since": "2026-02-20T07:51:34",
    "avg_best_compute_time_secs": 16.95837878787879
  },
  {
    "track": "exact",
    "inst_num": 5,
    "name": "p26-exact-pub05",
    "trees": 3,
    "leaves": 87,
    "idigest": "139E0160C1A8C512361E1D4369F2C163",
    "best_known_score": 38,
    "num_best": 68,
    "num_valid": 72,
    "num_invalid": 1,
    "num_timeout": 148,
    "known_since": "2026-02-22T23:39:28",
    "avg_best_compute_time_secs": 159.09736764705883
  },
  {
    "track": "exact",
    "inst_num": 6,
    "name": "p26-exact-pub06",
    "trees": 30,
    "leaves": 130,
    "idigest": "44EE74346998A2295E339E2F6F76E431",
    "best_known_score": 127,
    "num_best": 32,
    "num_valid": 54,
    "num_invalid": 2,
    "num_timeout": 152,
    "known_since": "2026-03-07T23:07:00",
    "avg_best_compute_time_secs": 121.10440625
  },
  {
    "track": "exact",
    "inst_num": 7,
    "name": "p26-exact-pub07",
    "trees": 20,
    "leaves": 11,
    "idigest": "404682CA27C917CDE4528AB6138B1EA3",
    "best_known_score": 10,
    "num_best": 656,
    "num_valid": 678,
    "num_invalid": 10,
    "num_timeout": 7,
    "known_since": "2026-02-19T15:26:13",
    "avg_best_compute_time_secs": 4.839300763358779
  },
  {
    "track": "exact",
    "inst_num": 8,
    "name": "p26-exact-pub08",
    "trees": 5,
    "leaves": 38,
    "idigest": "224939593731EDCBBB8F2632A761A1BC",
    "best_known_score": 21,
    "num_best": 204,
    "num_valid": 222,
    "num_invalid": 3,
    "num_timeout": 102,
    "known_since": "2026-02-19T18:31:20",
    "avg_best_compute_time_secs": 160.12569950738916
  },
  {
    "track": "exact",
    "inst_num": 9,
    "name": "p26-exact-pub09",
    "trees": 9,
    "leaves": 23,
    "idigest": "310A52C8208E2AFDA6CBC7184E1F052B",
    "best_known_score": 16,
    "num_best": 400,
    "num_valid": 441,
    "num_invalid": 4,
    "num_timeout": 65,
    "known_since": "2026-02-19T15:29:01",
    "avg_best_compute_time_secs": 6.791428571428572
  },
  {
    "track": "exact",
    "inst_num": 10,
    "name": "p26-exact-pub10",
    "trees": 5,
    "leaves": 111,
    "idigest": "230F2627D09419F895CF1B931A554CB2",
    "best_known_score": 32,
    "num_best": 94,
    "num_valid": 98,
    "num_invalid": 1,
    "num_timeout": 113,
    "known_since": "2026-02-22T23:36:07",
    "avg_best_compute_time_secs": 65.05470967741935
  },
  {
    "track": "exact",
    "inst_num": 11,
    "name": "p26-exact-pub11",
    "trees": 2,
    "leaves": 318,
    "idigest": "0530BDF5CE2576A8CBF5A433BAD7FD71",
    "best_known_score": 147,
    "num_best": 57,
    "num_valid": 80,
    "num_invalid": 1,
    "num_timeout": 144,
    "known_since": "2026-02-22T23:30:58",
    "avg_best_compute_time_secs": 18.345280701754387
  },
  {
    "track": "exact",
    "inst_num": 12,
    "name": "p26-exact-pub12",
    "trees": 2,
    "leaves": 350,
    "idigest": "055D30FCBB13488A94173913CAC2BC2F",
    "best_known_score": 223,
    "num_best": 24,
    "num_valid": 364,
    "num_invalid": 18,
    "num_timeout": 146,
    "known_since": "2026-03-24T10:48:58",
    "avg_best_compute_time_secs": 14.1885
  },
  {
    "track": "exact",
    "inst_num": 13,
    "name": "p26-exact-pub13",
    "trees": 6,
    "leaves": 28,
    "idigest": "21C6A32C36B3F900FDC101CB0CA43B6B",
    "best_known_score": 20,
    "num_best": 376,
    "num_valid": 406,
    "num_invalid": 3,
    "num_timeout": 77,
    "known_since": "2026-02-19T15:37:57",
    "avg_best_compute_time_secs": 19.95245989304813
  },
  {
    "track": "exact",
    "inst_num": 14,
    "name": "p26-exact-pub14",
    "trees": 13,
    "leaves": 26,
    "idigest": "31D9506D8363F3FF5FD4D5DC919CC070",
    "best_known_score": 18,
    "num_best": 342,
    "num_valid": 372,
    "num_invalid": 2,
    "num_timeout": 94,
    "known_since": "2026-02-19T15:35:26",
    "avg_best_compute_time_secs": 40.29492668621701
  },
  {
    "track": "exact",
    "inst_num": 15,
    "name": "p26-exact-pub15",
    "trees": 2,
    "leaves": 140,
    "idigest": "0426EC39D3D24A1EF899CB87E9584B80",
    "best_known_score": 114,
    "num_best": 100,
    "num_valid": 505,
    "num_invalid": 13,
    "num_timeout": 177,
    "known_since": "2026-03-21T13:29:36",
    "avg_best_compute_time_secs": 24.965142857142858
  },
  {
    "track": "exact",
    "inst_num": 16,
    "name": "p26-exact-pub16",
    "trees": 20,
    "leaves": 20,
    "idigest": "4175DB3A2ADD46B4990358F9CBF76CBB",
    "best_known_score": 14,
    "num_best": 448,
    "num_valid": 465,
    "num_invalid": 6,
    "num_timeout": 52,
    "known_since": "2026-02-19T15:26:33",
    "avg_best_compute_time_secs": 9.61880313199105
  },
  {
    "track": "exact",
    "inst_num": 17,
    "name": "p26-exact-pub17",
    "trees": 2,
    "leaves": 226,
    "idigest": "04365BF4900A5D63E89CDF52743A8848",
    "best_known_score": 43,
    "num_best": 82,
    "num_valid": 115,
    "num_invalid": 2,
    "num_timeout": 120,
    "known_since": "2026-02-20T07:49:50",
    "avg_best_compute_time_secs": 9.612487804878048
  },
  {
    "track": "exact",
    "inst_num": 18,
    "name": "p26-exact-pub18",
    "trees": 21,
    "leaves": 34,
    "idigest": "422B1F774452D9B7647DDA1EA0CC43D0",
    "best_known_score": 25,
    "num_best": 171,
    "num_valid": 198,
    "num_invalid": 1,
    "num_timeout": 142,
    "known_since": "2026-02-19T18:32:06",
    "avg_best_compute_time_secs": 39.639818713450296
  },
  {
    "track": "exact",
    "inst_num": 19,
    "name": "p26-exact-pub19",
    "trees": 5,
    "leaves": 80,
    "idigest": "23886C70F657D1E76070669E53552AE1",
    "best_known_score": 25,
    "num_best": 119,
    "num_valid": 122,
    "num_invalid": 0,
    "num_timeout": 110,
    "known_since": "2026-02-20T06:54:51",
    "avg_best_compute_time_secs": 297.289731092437
  },
  {
    "track": "exact",
    "inst_num": 20,
    "name": "p26-exact-pub20",
    "trees": 3,
    "leaves": 115,
    "idigest": "1310E597A2244016C845EB910503A185",
    "best_known_score": 43,
    "num_best": 58,
    "num_valid": 60,
    "num_invalid": 1,
    "num_timeout": 146,
    "known_since": "2026-02-22T23:37:59",
    "avg_best_compute_time_secs": 58.34789655172414
  },
  {
    "track": "exact",
    "inst_num": 21,
    "name": "p26-exact-pub21",
    "trees": 18,
    "leaves": 204,
    "idigest": "4475A5304E54251A22945997F1AC4CE0",
    "best_known_score": 40,
    "num_best": 71,
    "num_valid": 77,
    "num_invalid": 0,
    "num_timeout": 129,
    "known_since": "2026-02-22T23:36:19",
    "avg_best_compute_time_secs": 106.37457142857143
  },
  {
    "track": "exact",
    "inst_num": 22,
    "name": "p26-exact-pub22",
    "trees": 2,
    "leaves": 100,
    "idigest": "039B54BB9D30DEA6A7F38C1A50D7B62E",
    "best_known_score": 78,
    "num_best": 24,
    "num_valid": 80,
    "num_invalid": 2,
    "num_timeout": 187,
    "known_since": "2026-03-01T20:41:50",
    "avg_best_compute_time_secs": 106.04966666666667
  },
  {
    "track": "exact",
    "inst_num": 23,
    "name": "p26-exact-pub23",
    "trees": 11,
    "leaves": 27,
    "idigest": "31923009A7A7EE0323F2225454914BF1",
    "best_known_score": 16,
    "num_best": 323,
    "num_valid": 353,
    "num_invalid": 2,
    "num_timeout": 99,
    "known_since": "2026-02-19T15:44:30",
    "avg_best_compute_time_secs": 17.10888819875776
  },
  {
    "track": "exact",
    "inst_num": 24,
    "name": "p26-exact-pub24",
    "trees": 6,
    "leaves": 32,
    "idigest": "221AB73E28C11D107505EC4D31D0C28B",
    "best_known_score": 19,
    "num_best": 305,
    "num_valid": 313,
    "num_invalid": 2,
    "num_timeout": 94,
    "known_since": "2026-02-19T15:43:48",
    "avg_best_compute_time_secs": 17.9990625
  },
  {
    "track": "exact",
    "inst_num": 25,
    "name": "p26-exact-pub25",
    "trees": 5,
    "leaves": 45,
    "idigest": "229E32C76490271D2509E8FC13B4D804",
    "best_known_score": 20,
    "num_best": 175,
    "num_valid": 178,
    "num_invalid": 2,
    "num_timeout": 94,
    "known_since": "2026-02-19T16:35:14",
    "avg_best_compute_time_secs": 32.88009826589595
  },
  {
    "track": "exact",
    "inst_num": 26,
    "name": "p26-exact-pub26",
    "trees": 12,
    "leaves": 42,
    "idigest": "3263C339979BA4E7C5B40875AA207289",
    "best_known_score": 29,
    "num_best": 130,
    "num_valid": 143,
    "num_invalid": 1,
    "num_timeout": 123,
    "known_since": "2026-02-20T06:14:17",
    "avg_best_compute_time_secs": 97.27008461538462
  },
  {
    "track": "exact",
    "inst_num": 27,
    "name": "p26-exact-pub27",
    "trees": 11,
    "leaves": 130,
    "idigest": "34847748E79CAB06BF2AEBEBBA91A9EE",
    "best_known_score": 123,
    "num_best": 31,
    "num_valid": 55,
    "num_invalid": 2,
    "num_timeout": 157,
    "known_since": "2026-03-09T13:24:19",
    "avg_best_compute_time_secs": 127.15203225806451
  },
  {
    "track": "exact",
    "inst_num": 28,
    "name": "p26-exact-pub28",
    "trees": 2,
    "leaves": 250,
    "idigest": "046CB72D0FC7D9541FDE8AA13E199630",
    "best_known_score": 154,
    "num_best": 24,
    "num_valid": 50,
    "num_invalid": 2,
    "num_timeout": 160,
    "known_since": "2026-02-23T12:55:07",
    "avg_best_compute_time_secs": 173.397875
  },
  {
    "track": "exact",
    "inst_num": 29,
    "name": "p26-exact-pub29",
    "trees": 2,
    "leaves": 160,
    "idigest": "04D53AAA2BCBA2E6DFA2995A6A91E70E",
    "best_known_score": 128,
    "num_best": 76,
    "num_valid": 506,
    "num_invalid": 15,
    "num_timeout": 176,
    "known_since": "2026-03-06T17:59:54",
    "avg_best_compute_time_secs": 22.923864864864864
  },
  {
    "track": "exact",
    "inst_num": 30,
    "name": "p26-exact-pub30",
    "trees": 2,
    "leaves": 300,
    "idigest": "05969D0ACD09CA7AD758AD38024A63FC",
    "best_known_score": 58,
    "num_best": 67,
    "num_valid": 90,
    "num_invalid": 3,
    "num_timeout": 130,
    "known_since": "2026-02-20T07:58:41",
    "avg_best_compute_time_secs": 20.334044776119406
  },
  {
    "track": "exact",
    "inst_num": 31,
    "name": "p26-exact-pub31",
    "trees": 2,
    "leaves": 300,
    "idigest": "0589492C9A832497E867120E23228EE9",
    "best_known_score": 203,
    "num_best": 15,
    "num_valid": 44,
    "num_invalid": 2,
    "num_timeout": 175,
    "known_since": "2026-03-24T10:46:30",
    "avg_best_compute_time_secs": 2.6492666666666667
  },
  {
    "track": "exact",
    "inst_num": 32,
    "name": "p26-exact-pub32",
    "trees": 3,
    "leaves": 109,
    "idigest": "13FF771B3A2ED03BB76A14507F1B9252",
    "best_known_score": 35,
    "num_best": 69,
    "num_valid": 70,
    "num_invalid": 2,
    "num_timeout": 136,
    "known_since": "2026-02-22T23:33:33",
    "avg_best_compute_time_secs": 71.87184057971014
  },
  {
    "track": "exact",
    "inst_num": 33,
    "name": "p26-exact-pub33",
    "trees": 2,
    "leaves": 100,
    "idigest": "037FBEDCB4BB43A8A6ECF629CD9F8DE7",
    "best_known_score": 78,
    "num_best": 20,
    "num_valid": 85,
    "num_invalid": 2,
    "num_timeout": 182,
    "known_since": "2026-03-01T20:45:18",
    "avg_best_compute_time_secs": 147.20155
  },
  {
    "track": "exact",
    "inst_num": 34,
    "name": "p26-exact-pub34",
    "trees": 2,
    "leaves": 300,
    "idigest": "05773B0E313F6DDC0BF31040739B699F",
    "best_known_score": 254,
    "num_best": 13,
    "num_valid": 70,
    "num_invalid": 2,
    "num_timeout": 174,
    "known_since": "2026-03-24T10:45:57",
    "avg_best_compute_time_secs": 1.9555384615384614
  },
  {
    "track": "exact",
    "inst_num": 35,
    "name": "p26-exact-pub35",
    "trees": 4,
    "leaves": 37,
    "idigest": "12AB454C41A48CD97C4B92AA51F46687",
    "best_known_score": 26,
    "num_best": 222,
    "num_valid": 243,
    "num_invalid": 1,
    "num_timeout": 107,
    "known_since": "2026-02-19T18:29:27",
    "avg_best_compute_time_secs": 237.90339366515838
  },
  {
    "track": "exact",
    "inst_num": 36,
    "name": "p26-exact-pub36",
    "trees": 6,
    "leaves": 32,
    "idigest": "228BB1365C691758AD2DA4267CC81012",
    "best_known_score": 19,
    "num_best": 317,
    "num_valid": 328,
    "num_invalid": 1,
    "num_timeout": 84,
    "known_since": "2026-02-19T15:51:10",
    "avg_best_compute_time_secs": 21.331669841269843
  },
  {
    "track": "exact",
    "inst_num": 37,
    "name": "p26-exact-pub37",
    "trees": 19,
    "leaves": 88,
    "idigest": "4308952A8310F594AB693D9D0857D2E3",
    "best_known_score": 21,
    "num_best": 123,
    "num_valid": 132,
    "num_invalid": 1,
    "num_timeout": 113,
    "known_since": "2026-02-20T06:11:38",
    "avg_best_compute_time_secs": 131.53874590163934
  },
  {
    "track": "exact",
    "inst_num": 38,
    "name": "p26-exact-pub38",
    "trees": 4,
    "leaves": 48,
    "idigest": "12574FD77DBA9BC4DB19249EF47A0EDC",
    "best_known_score": 23,
    "num_best": 167,
    "num_valid": 171,
    "num_invalid": 1,
    "num_timeout": 90,
    "known_since": "2026-02-19T18:28:38",
    "avg_best_compute_time_secs": 65.742921686747
  },
  {
    "track": "exact",
    "inst_num": 39,
    "name": "p26-exact-pub39",
    "trees": 5,
    "leaves": 48,
    "idigest": "2269280B4CA92DD5D4EF48B0D3E09C05",
    "best_known_score": 19,
    "num_best": 176,
    "num_valid": 181,
    "num_invalid": 1,
    "num_timeout": 88,
    "known_since": "2026-02-19T16:40:53",
    "avg_best_compute_time_secs": 35.67928735632184
  },
  {
    "track": "exact",
    "inst_num": 40,
    "name": "p26-exact-pub40",
    "trees": 6,
    "leaves": 37,
    "idigest": "2252C9DADFE0B8EDB9C2426FFF030E56",
    "best_known_score": 20,
    "num_best": 265,
    "num_valid": 274,
    "num_invalid": 3,
    "num_timeout": 93,
    "known_since": "2026-02-19T18:28:15",
    "avg_best_compute_time_secs": 31.151636363636364
  },
  {
    "track": "exact",
    "inst_num": 41,
    "name": "p26-exact-pub41",
    "trees": 3,
    "leaves": 44,
    "idigest": "1258695C5AD8F91AD6C9BEE43F93BB55",
    "best_known_score": 23,
    "num_best": 184,
    "num_valid": 190,
    "num_invalid": 1,
    "num_timeout": 97,
    "known_since": "2026-02-19T18:27:32",
    "avg_best_compute_time_secs": 96.29646994535518
  },
  {
    "track": "exact",
    "inst_num": 42,
    "name": "p26-exact-pub42",
    "trees": 15,
    "leaves": 32,
    "idigest": "32CC1D555B0993FD6D35A8F8A55C0E37",
    "best_known_score": 22,
    "num_best": 229,
    "num_valid": 255,
    "num_invalid": 1,
    "num_timeout": 108,
    "known_since": "2026-02-19T16:31:29",
    "avg_best_compute_time_secs": 221.3988201754386
  },
  {
    "track": "exact",
    "inst_num": 43,
    "name": "p26-exact-pub43",
    "trees": 15,
    "leaves": 116,
    "idigest": "33DEF88EA40E2C637C73D48EE22B3F18",
    "best_known_score": 42,
    "num_best": 90,
    "num_valid": 97,
    "num_invalid": 1,
    "num_timeout": 113,
    "known_since": "2026-02-22T23:36:04",
    "avg_best_compute_time_secs": 107.23361797752808
  },
  {
    "track": "exact",
    "inst_num": 44,
    "name": "p26-exact-pub44",
    "trees": 3,
    "leaves": 115,
    "idigest": "13007137DC5E1089DA9DF2ABABA9195E",
    "best_known_score": 37,
    "num_best": 78,
    "num_valid": 81,
    "num_invalid": 1,
    "num_timeout": 127,
    "known_since": "2026-02-22T23:36:01",
    "avg_best_compute_time_secs": 135.87347435897433
  },
  {
    "track": "exact",
    "inst_num": 45,
    "name": "p26-exact-pub45",
    "trees": 2,
    "leaves": 300,
    "idigest": "051ADDB8FAE16EA5E62C51A8AB666881",
    "best_known_score": 202,
    "num_best": 49,
    "num_valid": 370,
    "num_invalid": 18,
    "num_timeout": 177,
    "known_since": "2026-03-21T14:00:40",
    "avg_best_compute_time_secs": 22.462170212765958
  },
  {
    "track": "exact",
    "inst_num": 46,
    "name": "p26-exact-pub46",
    "trees": 18,
    "leaves": 55,
    "idigest": "420ACF1F6B865C8DA9AE819B53C98571",
    "best_known_score": 16,
    "num_best": 146,
    "num_valid": 157,
    "num_invalid": 2,
    "num_timeout": 94,
    "known_since": "2026-02-20T03:57:41",
    "avg_best_compute_time_secs": 74.66463448275861
  },
  {
    "track": "exact",
    "inst_num": 47,
    "name": "p26-exact-pub47",
    "trees": 3,
    "leaves": 95,
    "idigest": "13749C3EC30031D9C4AB4D62C1685A02",
    "best_known_score": 66,
    "num_best": 25,
    "num_valid": 44,
    "num_invalid": 1,
    "num_timeout": 176,
    "known_since": "2026-03-04T10:18:54",
    "avg_best_compute_time_secs": 58.6014
  },
  {
    "track": "exact",
    "inst_num": 48,
    "name": "p26-exact-pub48",
    "trees": 4,
    "leaves": 32,
    "idigest": "124FCEC6399F59ED7AA9B41BA8361D5B",
    "best_known_score": 20,
    "num_best": 317,
    "num_valid": 329,
    "num_invalid": 0,
    "num_timeout": 85,
    "known_since": "2026-02-19T15:44:04",
    "avg_best_compute_time_secs": 24.790082278481012
  },
  {
    "track": "exact",
    "inst_num": 49,
    "name": "p26-exact-pub49",
    "trees": 20,
    "leaves": 15,
    "idigest": "40F1437078AE1FB7EE312C63ADA79F82",
    "best_known_score": 14,
    "num_best": 565,
    "num_valid": 585,
    "num_invalid": 12,
    "num_timeout": 50,
    "known_since": "2026-02-19T15:26:17",
    "avg_best_compute_time_secs": 7.8543758865248225
  },
  {
    "track": "exact",
    "inst_num": 50,
    "name": "p26-exact-pub50",
    "trees": 3,
    "leaves": 106,
    "idigest": "138EFBCBABB62473B0488662B188FAF1",
    "best_known_score": 34,
    "num_best": 85,
    "num_valid": 92,
    "num_invalid": 1,
    "num_timeout": 120,
    "known_since": "2026-02-22T23:34:33",
    "avg_best_compute_time_secs": 96.03550588235294
  },
  {
    "track": "exact",
    "inst_num": 51,
    "name": "p26-exact-pub51",
    "trees": 28,
    "leaves": 142,
    "idigest": "44282CD38A3D09DA88E3288BC35BD2B7",
    "best_known_score": 138,
    "num_best": 30,
    "num_valid": 52,
    "num_invalid": 1,
    "num_timeout": 151,
    "known_since": "2026-03-07T23:07:32",
    "avg_best_compute_time_secs": 177.0634333333333
  },
  {
    "track": "exact",
    "inst_num": 52,
    "name": "p26-exact-pub52",
    "trees": 2,
    "leaves": 200,
    "idigest": "04A14E6239CEEC8BF101A074F452A800",
    "best_known_score": 125,
    "num_best": 15,
    "num_valid": 56,
    "num_invalid": 2,
    "num_timeout": 169,
    "known_since": "2026-03-24T10:46:03",
    "avg_best_compute_time_secs": 1.6194000000000002
  },
  {
    "track": "exact",
    "inst_num": 53,
    "name": "p26-exact-pub53",
    "trees": 20,
    "leaves": 11,
    "idigest": "40707A49066EC2C55C8D567DDCBAEFD9",
    "best_known_score": 10,
    "num_best": 646,
    "num_valid": 667,
    "num_invalid": 9,
    "num_timeout": 5,
    "known_since": "2026-02-19T15:26:13",
    "avg_best_compute_time_secs": 6.935694573643411
  },
  {
    "track": "exact",
    "inst_num": 54,
    "name": "p26-exact-pub54",
    "trees": 2,
    "leaves": 100,
    "idigest": "033755FB1BB0F3D843509B78085BCBF9",
    "best_known_score": 78,
    "num_best": 28,
    "num_valid": 86,
    "num_invalid": 1,
    "num_timeout": 185,
    "known_since": "2026-03-01T20:33:18",
    "avg_best_compute_time_secs": 156.9246785714286
  },
  {
    "track": "exact",
    "inst_num": 55,
    "name": "p26-exact-pub55",
    "trees": 11,
    "leaves": 32,
    "idigest": "32CEF6E5C33CA634ADF4CD3F5AE24347",
    "best_known_score": 20,
    "num_best": 257,
    "num_valid": 284,
    "num_invalid": 1,
    "num_timeout": 105,
    "known_since": "2026-02-19T16:26:09",
    "avg_best_compute_time_secs": 120.92443359375
  },
  {
    "track": "exact",
    "inst_num": 56,
    "name": "p26-exact-pub56",
    "trees": 2,
    "leaves": 200,
    "idigest": "04DC1BA94EB4AE7D3AFEEC8126B27DE8",
    "best_known_score": 164,
    "num_best": 16,
    "num_valid": 73,
    "num_invalid": 2,
    "num_timeout": 166,
    "known_since": "2026-03-24T10:45:53",
    "avg_best_compute_time_secs": 3.5381875
  },
  {
    "track": "exact",
    "inst_num": 57,
    "name": "p26-exact-pub57",
    "trees": 4,
    "leaves": 42,
    "idigest": "12EFED1EEE7E673D3A7217496571480A",
    "best_known_score": 23,
    "num_best": 199,
    "num_valid": 204,
    "num_invalid": 2,
    "num_timeout": 94,
    "known_since": "2026-02-19T18:28:56",
    "avg_best_compute_time_secs": 87.28537878787878
  },
  {
    "track": "exact",
    "inst_num": 58,
    "name": "p26-exact-pub58",
    "trees": 20,
    "leaves": 10,
    "idigest": "401E68738F6B37DFB59DDFA7839E0182",
    "best_known_score": 9,
    "num_best": 675,
    "num_valid": 696,
    "num_invalid": 15,
    "num_timeout": 5,
    "known_since": "2026-02-19T15:26:13",
    "avg_best_compute_time_secs": 3.1829421364985166
  },
  {
    "track": "exact",
    "inst_num": 59,
    "name": "p26-exact-pub59",
    "trees": 20,
    "leaves": 15,
    "idigest": "40EED0D7EF97D3CF44205B32A661B187",
    "best_known_score": 14,
    "num_best": 568,
    "num_valid": 588,
    "num_invalid": 7,
    "num_timeout": 47,
    "known_since": "2026-02-19T15:26:17",
    "avg_best_compute_time_secs": 5.967477954144621
  },
  {
    "track": "exact",
    "inst_num": 60,
    "name": "p26-exact-pub60",
    "trees": 5,
    "leaves": 30,
    "idigest": "21D00F457087A28A192B7A47731D4CFA",
    "best_known_score": 26,
    "num_best": 297,
    "num_valid": 332,
    "num_invalid": 3,
    "num_timeout": 95,
    "known_since": "2026-02-19T16:14:41",
    "avg_best_compute_time_secs": 140.68998986486486
  },
  {
    "track": "exact",
    "inst_num": 61,
    "name": "p26-exact-pub61",
    "trees": 6,
    "leaves": 32,
    "idigest": "229FA7C38AE13E94C650B7CB21150590",
    "best_known_score": 18,
    "num_best": 317,
    "num_valid": 338,
    "num_invalid": 2,
    "num_timeout": 84,
    "known_since": "2026-02-19T15:46:19",
    "avg_best_compute_time_secs": 19.293927215189875
  },
  {
    "track": "exact",
    "inst_num": 62,
    "name": "p26-exact-pub62",
    "trees": 2,
    "leaves": 217,
    "idigest": "04CB3EFBFA300BF57A18B66E19B6E241",
    "best_known_score": 93,
    "num_best": 74,
    "num_valid": 102,
    "num_invalid": 2,
    "num_timeout": 128,
    "known_since": "2026-02-20T08:58:15",
    "avg_best_compute_time_secs": 64.63636486486487
  },
  {
    "track": "exact",
    "inst_num": 63,
    "name": "p26-exact-pub63",
    "trees": 15,
    "leaves": 157,
    "idigest": "3442A14911D063F7644DCBB13A0E47A9",
    "best_known_score": 31,
    "num_best": 80,
    "num_valid": 87,
    "num_invalid": 1,
    "num_timeout": 119,
    "known_since": "2026-02-22T23:30:40",
    "avg_best_compute_time_secs": 131.9497088607595
  },
  {
    "track": "exact",
    "inst_num": 64,
    "name": "p26-exact-pub64",
    "trees": 5,
    "leaves": 51,
    "idigest": "22365C5372F0CAF329488A9671CCFB9B",
    "best_known_score": 25,
    "num_best": 132,
    "num_valid": 135,
    "num_invalid": 1,
    "num_timeout": 112,
    "known_since": "2026-02-20T04:49:23",
    "avg_best_compute_time_secs": 160.84336641221375
  },
  {
    "track": "exact",
    "inst_num": 65,
    "name": "p26-exact-pub65",
    "trees": 20,
    "leaves": 19,
    "idigest": "41C9B8E7E8E923325343B639802AD85C",
    "best_known_score": 18,
    "num_best": 491,
    "num_valid": 508,
    "num_invalid": 7,
    "num_timeout": 78,
    "known_since": "2026-02-19T15:27:55",
    "avg_best_compute_time_secs": 14.954922448979593
  },
  {
    "track": "exact",
    "inst_num": 66,
    "name": "p26-exact-pub66",
    "trees": 10,
    "leaves": 19,
    "idigest": "31DBC612EA32F97E7165CA8993AAE830",
    "best_known_score": 18,
    "num_best": 513,
    "num_valid": 530,
    "num_invalid": 7,
    "num_timeout": 70,
    "known_since": "2026-02-19T15:27:21",
    "avg_best_compute_time_secs": 6.882763671875
  },
  {
    "track": "exact",
    "inst_num": 67,
    "name": "p26-exact-pub67",
    "trees": 20,
    "leaves": 15,
    "idigest": "4018B53C2A2AA728E4517C689CC8EA2A",
    "best_known_score": 13,
    "num_best": 553,
    "num_valid": 596,
    "num_invalid": 8,
    "num_timeout": 47,
    "known_since": "2026-02-19T15:26:14",
    "avg_best_compute_time_secs": 7.462036231884058
  },
  {
    "track": "exact",
    "inst_num": 68,
    "name": "p26-exact-pub68",
    "trees": 3,
    "leaves": 243,
    "idigest": "14040054D1387BBCF06E53AD8B4339A8",
    "best_known_score": 80,
    "num_best": 66,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 122,
    "known_since": "2026-02-22T23:33:56",
    "avg_best_compute_time_secs": 28.35301515151515
  },
  {
    "track": "exact",
    "inst_num": 69,
    "name": "p26-exact-pub69",
    "trees": 3,
    "leaves": 82,
    "idigest": "13159C2EF1FD9926000775A8DA5A581C",
    "best_known_score": 29,
    "num_best": 105,
    "num_valid": 108,
    "num_invalid": 1,
    "num_timeout": 127,
    "known_since": "2026-02-20T06:37:13",
    "avg_best_compute_time_secs": 76.93782857142857
  },
  {
    "track": "exact",
    "inst_num": 70,
    "name": "p26-exact-pub70",
    "trees": 20,
    "leaves": 72,
    "idigest": "43685277FD00115B60BC33F21D8D3A24",
    "best_known_score": 12,
    "num_best": 199,
    "num_valid": 204,
    "num_invalid": 2,
    "num_timeout": 67,
    "known_since": "2026-02-19T21:22:02",
    "avg_best_compute_time_secs": 32.07420202020202
  },
  {
    "track": "exact",
    "inst_num": 71,
    "name": "p26-exact-pub71",
    "trees": 7,
    "leaves": 35,
    "idigest": "2243F70953441AB82BEF1444D8ABFED2",
    "best_known_score": 22,
    "num_best": 244,
    "num_valid": 263,
    "num_invalid": 3,
    "num_timeout": 101,
    "known_since": "2026-02-19T18:29:59",
    "avg_best_compute_time_secs": 151.2524320987654
  },
  {
    "track": "exact",
    "inst_num": 72,
    "name": "p26-exact-pub72",
    "trees": 5,
    "leaves": 78,
    "idigest": "235AE00DDA02CA6CB502801B9BBC5394",
    "best_known_score": 20,
    "num_best": 169,
    "num_valid": 173,
    "num_invalid": 1,
    "num_timeout": 72,
    "known_since": "2026-02-20T04:16:21",
    "avg_best_compute_time_secs": 32.2
  },
  {
    "track": "exact",
    "inst_num": 73,
    "name": "p26-exact-pub73",
    "trees": 20,
    "leaves": 157,
    "idigest": "44D4642FEEA30A3D7920B6C9BA020F09",
    "best_known_score": 35,
    "num_best": 70,
    "num_valid": 83,
    "num_invalid": 2,
    "num_timeout": 117,
    "known_since": "2026-02-22T23:39:33",
    "avg_best_compute_time_secs": 90.15926086956522
  },
  {
    "track": "exact",
    "inst_num": 74,
    "name": "p26-exact-pub74",
    "trees": 20,
    "leaves": 19,
    "idigest": "41E15FDE21D54D85C3A46FF8A81181EE",
    "best_known_score": 18,
    "num_best": 506,
    "num_valid": 522,
    "num_invalid": 7,
    "num_timeout": 78,
    "known_since": "2026-02-19T15:27:44",
    "avg_best_compute_time_secs": 13.491724752475248
  },
  {
    "track": "exact",
    "inst_num": 75,
    "name": "p26-exact-pub75",
    "trees": 21,
    "leaves": 230,
    "idigest": "446365664D50FCA649078AE19AD2E2D4",
    "best_known_score": 224,
    "num_best": 20,
    "num_valid": 43,
    "num_invalid": 2,
    "num_timeout": 159,
    "known_since": "2026-03-08T22:23:26",
    "avg_best_compute_time_secs": 119.93395
  },
  {
    "track": "exact",
    "inst_num": 76,
    "name": "p26-exact-pub76",
    "trees": 13,
    "leaves": 24,
    "idigest": "31890F50EE92AF239EB9595A33BFDAE4",
    "best_known_score": 15,
    "num_best": 404,
    "num_valid": 428,
    "num_invalid": 5,
    "num_timeout": 64,
    "known_since": "2026-02-19T15:28:38",
    "avg_best_compute_time_secs": 5.884563275434243
  },
  {
    "track": "exact",
    "inst_num": 77,
    "name": "p26-exact-pub77",
    "trees": 10,
    "leaves": 48,
    "idigest": "3263EB8E898F8F922D5C3C39778A8B80",
    "best_known_score": 16,
    "num_best": 186,
    "num_valid": 199,
    "num_invalid": 1,
    "num_timeout": 71,
    "known_since": "2026-02-20T03:45:54",
    "avg_best_compute_time_secs": 14.891648648648648
  },
  {
    "track": "exact",
    "inst_num": 78,
    "name": "p26-exact-pub78",
    "trees": 2,
    "leaves": 100,
    "idigest": "038E8ABE437507F320F60B4FF73D8719",
    "best_known_score": 79,
    "num_best": 19,
    "num_valid": 82,
    "num_invalid": 2,
    "num_timeout": 186,
    "known_since": "2026-03-03T11:35:09",
    "avg_best_compute_time_secs": 150.864
  },
  {
    "track": "exact",
    "inst_num": 79,
    "name": "p26-exact-pub79",
    "trees": 5,
    "leaves": 45,
    "idigest": "22A486DB53E9F6715F9831090F607C6E",
    "best_known_score": 22,
    "num_best": 180,
    "num_valid": 183,
    "num_invalid": 1,
    "num_timeout": 96,
    "known_since": "2026-02-19T16:10:31",
    "avg_best_compute_time_secs": 36.5037877094972
  },
  {
    "track": "exact",
    "inst_num": 80,
    "name": "p26-exact-pub80",
    "trees": 6,
    "leaves": 38,
    "idigest": "2268771D6E8D52B0C903AEFF0EB7F5BB",
    "best_known_score": 22,
    "num_best": 170,
    "num_valid": 188,
    "num_invalid": 0,
    "num_timeout": 111,
    "known_since": "2026-02-19T18:31:48",
    "avg_best_compute_time_secs": 227.72304142011834
  },
  {
    "track": "exact",
    "inst_num": 81,
    "name": "p26-exact-pub81",
    "trees": 2,
    "leaves": 100,
    "idigest": "037BD044ACBE008C4E33220920D5146D",
    "best_known_score": 77,
    "num_best": 82,
    "num_valid": 407,
    "num_invalid": 14,
    "num_timeout": 197,
    "known_since": "2026-02-22T19:52:44",
    "avg_best_compute_time_secs": 37.748075
  },
  {
    "track": "exact",
    "inst_num": 82,
    "name": "p26-exact-pub82",
    "trees": 7,
    "leaves": 49,
    "idigest": "22BC457BE38DEA7296E4DE43DF6DF69E",
    "best_known_score": 20,
    "num_best": 169,
    "num_valid": 172,
    "num_invalid": 1,
    "num_timeout": 92,
    "known_since": "2026-02-19T18:31:45",
    "avg_best_compute_time_secs": 61.58920238095238
  },
  {
    "track": "exact",
    "inst_num": 83,
    "name": "p26-exact-pub83",
    "trees": 20,
    "leaves": 11,
    "idigest": "40A909BF983B73A0C2CF7D2315A0F153",
    "best_known_score": 10,
    "num_best": 649,
    "num_valid": 670,
    "num_invalid": 8,
    "num_timeout": 5,
    "known_since": "2026-02-19T15:26:13",
    "avg_best_compute_time_secs": 3.5552685185185187
  },
  {
    "track": "exact",
    "inst_num": 84,
    "name": "p26-exact-pub84",
    "trees": 15,
    "leaves": 89,
    "idigest": "33791DB437B627D860242122D6FDC80D",
    "best_known_score": 22,
    "num_best": 120,
    "num_valid": 128,
    "num_invalid": 1,
    "num_timeout": 110,
    "known_since": "2026-02-19T22:58:03",
    "avg_best_compute_time_secs": 96.35963865546219
  },
  {
    "track": "exact",
    "inst_num": 85,
    "name": "p26-exact-pub85",
    "trees": 2,
    "leaves": 232,
    "idigest": "04E2ED1C7C0DFC55188F6C67D45B6F01",
    "best_known_score": 43,
    "num_best": 79,
    "num_valid": 103,
    "num_invalid": 2,
    "num_timeout": 120,
    "known_since": "2026-02-20T07:49:55",
    "avg_best_compute_time_secs": 19.760316455696202
  },
  {
    "track": "exact",
    "inst_num": 86,
    "name": "p26-exact-pub86",
    "trees": 2,
    "leaves": 326,
    "idigest": "0588BE1DBC7FB2B0607DCDDA1C7651CD",
    "best_known_score": 114,
    "num_best": 58,
    "num_valid": 87,
    "num_invalid": 1,
    "num_timeout": 138,
    "known_since": "2026-02-22T23:38:28",
    "avg_best_compute_time_secs": 12.211448275862068
  },
  {
    "track": "exact",
    "inst_num": 87,
    "name": "p26-exact-pub87",
    "trees": 3,
    "leaves": 39,
    "idigest": "126DAA14BC318840D654EC8361BAC803",
    "best_known_score": 28,
    "num_best": 178,
    "num_valid": 195,
    "num_invalid": 1,
    "num_timeout": 118,
    "known_since": "2026-02-19T18:29:35",
    "avg_best_compute_time_secs": 227.0964802259887
  },
  {
    "track": "exact",
    "inst_num": 88,
    "name": "p26-exact-pub88",
    "trees": 9,
    "leaves": 43,
    "idigest": "3253E727C393373210330EAC80DF0AD6",
    "best_known_score": 17,
    "num_best": 192,
    "num_valid": 204,
    "num_invalid": 2,
    "num_timeout": 88,
    "known_since": "2026-02-19T18:00:47",
    "avg_best_compute_time_secs": 20.046984293193717
  },
  {
    "track": "exact",
    "inst_num": 89,
    "name": "p26-exact-pub89",
    "trees": 3,
    "leaves": 106,
    "idigest": "13CC811B8C084657D116E31A7AC2AFB6",
    "best_known_score": 34,
    "num_best": 72,
    "num_valid": 74,
    "num_invalid": 2,
    "num_timeout": 140,
    "known_since": "2026-02-22T23:36:38",
    "avg_best_compute_time_secs": 74.72584722222221
  },
  {
    "track": "exact",
    "inst_num": 90,
    "name": "p26-exact-pub90",
    "trees": 19,
    "leaves": 145,
    "idigest": "444E97BFE6D28E8E0DE72D6C2A24FE99",
    "best_known_score": 6,
    "num_best": 182,
    "num_valid": 192,
    "num_invalid": 3,
    "num_timeout": 33,
    "known_since": "2026-02-20T06:15:03",
    "avg_best_compute_time_secs": 37.46668508287293
  },
  {
    "track": "exact",
    "inst_num": 91,
    "name": "p26-exact-pub91",
    "trees": 6,
    "leaves": 33,
    "idigest": "22058A9F5EA866998A2C12F6E21140EA",
    "best_known_score": 19,
    "num_best": 290,
    "num_valid": 304,
    "num_invalid": 1,
    "num_timeout": 87,
    "known_since": "2026-02-19T18:28:38",
    "avg_best_compute_time_secs": 26.436121107266437
  },
  {
    "track": "exact",
    "inst_num": 92,
    "name": "p26-exact-pub92",
    "trees": 4,
    "leaves": 45,
    "idigest": "1242DD3851B5015FE005E198600DF710",
    "best_known_score": 22,
    "num_best": 168,
    "num_valid": 174,
    "num_invalid": 2,
    "num_timeout": 92,
    "known_since": "2026-02-19T16:31:46",
    "avg_best_compute_time_secs": 63.67177245508982
  },
  {
    "track": "exact",
    "inst_num": 93,
    "name": "p26-exact-pub93",
    "trees": 3,
    "leaves": 99,
    "idigest": "134166C2AEBBD0CEF87F4A5A60D809E2",
    "best_known_score": 45,
    "num_best": 59,
    "num_valid": 65,
    "num_invalid": 2,
    "num_timeout": 151,
    "known_since": "2026-02-23T12:23:24",
    "avg_best_compute_time_secs": 119.22054237288137
  },
  {
    "track": "exact",
    "inst_num": 94,
    "name": "p26-exact-pub94",
    "trees": 20,
    "leaves": 15,
    "idigest": "4005D30AD4F4F7801C7E3F0F61F49E3C",
    "best_known_score": 14,
    "num_best": 563,
    "num_valid": 585,
    "num_invalid": 9,
    "num_timeout": 53,
    "known_since": "2026-02-19T15:26:17",
    "avg_best_compute_time_secs": 6.262889679715303
  },
  {
    "track": "exact",
    "inst_num": 95,
    "name": "p26-exact-pub95",
    "trees": 11,
    "leaves": 38,
    "idigest": "32FB7A04D4C24D5FC069D86CDA68838A",
    "best_known_score": 27,
    "num_best": 161,
    "num_valid": 180,
    "num_invalid": 1,
    "num_timeout": 125,
    "known_since": "2026-02-20T06:11:22",
    "avg_best_compute_time_secs": 30.171099378881987
  },
  {
    "track": "exact",
    "inst_num": 96,
    "name": "p26-exact-pub96",
    "trees": 4,
    "leaves": 43,
    "idigest": "12DDF35CD5A3DC20945318F8191DF8F7",
    "best_known_score": 26,
    "num_best": 166,
    "num_valid": 170,
    "num_invalid": 2,
    "num_timeout": 112,
    "known_since": "2026-02-19T18:31:52",
    "avg_best_compute_time_secs": 190.84433333333334
  },
  {
    "track": "exact",
    "inst_num": 97,
    "name": "p26-exact-pub97",
    "trees": 2,
    "leaves": 300,
    "idigest": "0585AF2E666218FC22E105CBF8CDAB72",
    "best_known_score": 175,
    "num_best": 71,
    "num_valid": 296,
    "num_invalid": 18,
    "num_timeout": 177,
    "known_since": "2026-02-23T12:11:22",
    "avg_best_compute_time_secs": 63.8558115942029
  },
  {
    "track": "exact",
    "inst_num": 98,
    "name": "p26-exact-pub98",
    "trees": 21,
    "leaves": 172,
    "idigest": "44DDEC67BCD9E2F586FF839E095ED62B",
    "best_known_score": 167,
    "num_best": 28,
    "num_valid": 51,
    "num_invalid": 1,
    "num_timeout": 151,
    "known_since": "2026-03-08T22:20:54",
    "avg_best_compute_time_secs": 101.74396428571428
  },
  {
    "track": "exact",
    "inst_num": 99,
    "name": "p26-exact-pub99",
    "trees": 21,
    "leaves": 40,
    "idigest": "42E20BDD8D1A6547EA36C19E16796D5F",
    "best_known_score": 30,
    "num_best": 140,
    "num_valid": 158,
    "num_invalid": 2,
    "num_timeout": 123,
    "known_since": "2026-02-20T06:14:34",
    "avg_best_compute_time_secs": 79.24837142857142
  },
  {
    "track": "heuristic",
    "inst_num": 0,
    "name": "p26-heuristic-pub00",
    "trees": 2,
    "leaves": 616,
    "idigest": "063024603E8EE0D30C3B274BAF903029",
    "best_known_score": 424,
    "num_best": 9,
    "num_valid": 332,
    "num_invalid": 15,
    "num_timeout": 16,
    "known_since": "2026-04-02T19:52:44",
    "avg_best_compute_time_secs": 5.529375
  },
  {
    "track": "heuristic",
    "inst_num": 1,
    "name": "p26-heuristic-pub01",
    "trees": 2,
    "leaves": 80,
    "idigest": "03CFA6D28B3FF79D0FB36AB06D394DA7",
    "best_known_score": 61,
    "num_best": 75,
    "num_valid": 340,
    "num_invalid": 13,
    "num_timeout": 22,
    "known_since": "2026-03-06T17:55:09",
    "avg_best_compute_time_secs": 446.8245205479452
  },
  {
    "track": "heuristic",
    "inst_num": 2,
    "name": "p26-heuristic-pub02",
    "trees": 2,
    "leaves": 621,
    "idigest": "06CC2DD33CB561D14302DDB91BC14054",
    "best_known_score": 317,
    "num_best": 58,
    "num_valid": 175,
    "num_invalid": 21,
    "num_timeout": 16,
    "known_since": "2026-03-06T17:53:43",
    "avg_best_compute_time_secs": 28.829285714285714
  },
  {
    "track": "heuristic",
    "inst_num": 3,
    "name": "p26-heuristic-pub03",
    "trees": 2,
    "leaves": 401,
    "idigest": "050B347A5E4BC40A11374080A20B996C",
    "best_known_score": 147,
    "num_best": 33,
    "num_valid": 261,
    "num_invalid": 16,
    "num_timeout": 13,
    "known_since": "2026-03-27T09:36:19",
    "avg_best_compute_time_secs": 70.55709677419354
  },
  {
    "track": "heuristic",
    "inst_num": 4,
    "name": "p26-heuristic-pub04",
    "trees": 2,
    "leaves": 1019,
    "idigest": "068D5ADE5B7921EC7FB13585A63DFEAB",
    "best_known_score": 697,
    "num_best": 4,
    "num_valid": 342,
    "num_invalid": 18,
    "num_timeout": 17,
    "known_since": "2026-04-04T07:17:15",
    "avg_best_compute_time_secs": 6.01175
  },
  {
    "track": "heuristic",
    "inst_num": 5,
    "name": "p26-heuristic-pub05",
    "trees": 2,
    "leaves": 350,
    "idigest": "05D03C65465EB27FEA647B4C368CDD55",
    "best_known_score": 289,
    "num_best": 12,
    "num_valid": 407,
    "num_invalid": 11,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:56:00",
    "avg_best_compute_time_secs": 28.125416666666666
  },
  {
    "track": "heuristic",
    "inst_num": 6,
    "name": "p26-heuristic-pub06",
    "trees": 2,
    "leaves": 1244,
    "idigest": "07F92E0D9376E372197563A77EFCD6B1",
    "best_known_score": 831,
    "num_best": 6,
    "num_valid": 331,
    "num_invalid": 17,
    "num_timeout": 16,
    "known_since": "2026-04-04T07:18:12",
    "avg_best_compute_time_secs": 18.1045
  },
  {
    "track": "heuristic",
    "inst_num": 7,
    "name": "p26-heuristic-pub07",
    "trees": 2,
    "leaves": 300,
    "idigest": "05E6F90540FEE724489F87C1DDD076E6",
    "best_known_score": 245,
    "num_best": 15,
    "num_valid": 400,
    "num_invalid": 10,
    "num_timeout": 16,
    "known_since": "2026-03-21T14:21:06",
    "avg_best_compute_time_secs": 51.43157142857143
  },
  {
    "track": "heuristic",
    "inst_num": 8,
    "name": "p26-heuristic-pub08",
    "trees": 2,
    "leaves": 621,
    "idigest": "06137BBFAECD047B442E004A87622E21",
    "best_known_score": 322,
    "num_best": 57,
    "num_valid": 168,
    "num_invalid": 15,
    "num_timeout": 18,
    "known_since": "2026-02-26T14:30:54",
    "avg_best_compute_time_secs": 34.925436363636365
  },
  {
    "track": "heuristic",
    "inst_num": 9,
    "name": "p26-heuristic-pub09",
    "trees": 2,
    "leaves": 453,
    "idigest": "0586DAE0322FB4816FAFFACF2CED7081",
    "best_known_score": 146,
    "num_best": 59,
    "num_valid": 277,
    "num_invalid": 15,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:59:04",
    "avg_best_compute_time_secs": 23.263157894736842
  },
  {
    "track": "heuristic",
    "inst_num": 10,
    "name": "p26-heuristic-pub10",
    "trees": 2,
    "leaves": 421,
    "idigest": "05D14C1E23CAE052B70D76DFF9DC0C15",
    "best_known_score": 134,
    "num_best": 61,
    "num_valid": 244,
    "num_invalid": 15,
    "num_timeout": 7,
    "known_since": "2026-03-06T17:48:57",
    "avg_best_compute_time_secs": 20.234542372881354
  },
  {
    "track": "heuristic",
    "inst_num": 11,
    "name": "p26-heuristic-pub11",
    "trees": 2,
    "leaves": 261,
    "idigest": "053DBE92B9A373746B9BCFDCB383AFF7",
    "best_known_score": 165,
    "num_best": 53,
    "num_valid": 277,
    "num_invalid": 15,
    "num_timeout": 14,
    "known_since": "2026-03-06T17:57:37",
    "avg_best_compute_time_secs": 31.662156862745096
  },
  {
    "track": "heuristic",
    "inst_num": 12,
    "name": "p26-heuristic-pub12",
    "trees": 2,
    "leaves": 80,
    "idigest": "03FB7B404B9EE79327411C2674E99790",
    "best_known_score": 62,
    "num_best": 76,
    "num_valid": 354,
    "num_invalid": 11,
    "num_timeout": 22,
    "known_since": "2026-03-01T23:29:10",
    "avg_best_compute_time_secs": 263.0406216216216
  },
  {
    "track": "heuristic",
    "inst_num": 13,
    "name": "p26-heuristic-pub13",
    "trees": 2,
    "leaves": 1243,
    "idigest": "071194FBF7D7A3BDCC6566A59C7EF63C",
    "best_known_score": 798,
    "num_best": 1,
    "num_valid": 305,
    "num_invalid": 17,
    "num_timeout": 20,
    "known_since": "2026-04-04T13:16:47",
    "avg_best_compute_time_secs": 13.761
  },
  {
    "track": "heuristic",
    "inst_num": 14,
    "name": "p26-heuristic-pub14",
    "trees": 2,
    "leaves": 250,
    "idigest": "040CEF2DD236A79CB42802FC4AD8F0EB",
    "best_known_score": 200,
    "num_best": 38,
    "num_valid": 408,
    "num_invalid": 12,
    "num_timeout": 14,
    "known_since": "2026-03-21T13:32:32",
    "avg_best_compute_time_secs": 35.59872222222222
  },
  {
    "track": "heuristic",
    "inst_num": 15,
    "name": "p26-heuristic-pub15",
    "trees": 2,
    "leaves": 80,
    "idigest": "038D893CEB820720C36E8CDB75865179",
    "best_known_score": 59,
    "num_best": 79,
    "num_valid": 342,
    "num_invalid": 10,
    "num_timeout": 24,
    "known_since": "2026-03-06T17:58:01",
    "avg_best_compute_time_secs": 154.74576623376626
  },
  {
    "track": "heuristic",
    "inst_num": 16,
    "name": "p26-heuristic-pub16",
    "trees": 2,
    "leaves": 773,
    "idigest": "062845F63C349DD3931680E85A59343D",
    "best_known_score": 515,
    "num_best": 6,
    "num_valid": 317,
    "num_invalid": 16,
    "num_timeout": 17,
    "known_since": "2026-04-03T21:25:00",
    "avg_best_compute_time_secs": 5.092333333333333
  },
  {
    "track": "heuristic",
    "inst_num": 17,
    "name": "p26-heuristic-pub17",
    "trees": 2,
    "leaves": 621,
    "idigest": "0664A035116AA4BB54DBA095F7DEE67A",
    "best_known_score": 312,
    "num_best": 63,
    "num_valid": 164,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-02-26T12:45:47",
    "avg_best_compute_time_secs": 38.67208196721312
  },
  {
    "track": "heuristic",
    "inst_num": 18,
    "name": "p26-heuristic-pub18",
    "trees": 2,
    "leaves": 267,
    "idigest": "05F19DDDA801A327EFC4D9CFF1BA1C29",
    "best_known_score": 135,
    "num_best": 63,
    "num_valid": 270,
    "num_invalid": 19,
    "num_timeout": 18,
    "known_since": "2026-02-26T13:51:16",
    "avg_best_compute_time_secs": 41.728147540983606
  },
  {
    "track": "heuristic",
    "inst_num": 19,
    "name": "p26-heuristic-pub19",
    "trees": 2,
    "leaves": 165,
    "idigest": "04666DA8AE45BE4E10F8BAE2AE1D4B57",
    "best_known_score": 134,
    "num_best": 58,
    "num_valid": 418,
    "num_invalid": 10,
    "num_timeout": 17,
    "known_since": "2026-03-21T14:06:48",
    "avg_best_compute_time_secs": 28.63185714285714
  },
  {
    "track": "heuristic",
    "inst_num": 20,
    "name": "p26-heuristic-pub20",
    "trees": 2,
    "leaves": 100,
    "idigest": "037BD044ACBE008C4E33220920D5146D",
    "best_known_score": 77,
    "num_best": 82,
    "num_valid": 407,
    "num_invalid": 14,
    "num_timeout": 197,
    "known_since": "2026-02-22T19:52:44",
    "avg_best_compute_time_secs": 37.748075
  },
  {
    "track": "heuristic",
    "inst_num": 21,
    "name": "p26-heuristic-pub21",
    "trees": 2,
    "leaves": 160,
    "idigest": "0422642513894E901FF86B444A2F9BAF",
    "best_known_score": 131,
    "num_best": 69,
    "num_valid": 426,
    "num_invalid": 12,
    "num_timeout": 16,
    "known_since": "2026-03-06T17:50:19",
    "avg_best_compute_time_secs": 34.71368656716418
  },
  {
    "track": "heuristic",
    "inst_num": 22,
    "name": "p26-heuristic-pub22",
    "trees": 2,
    "leaves": 150,
    "idigest": "0484E1F2EF0892FD35CCB8DA9D3A4C91",
    "best_known_score": 121,
    "num_best": 33,
    "num_valid": 412,
    "num_invalid": 9,
    "num_timeout": 15,
    "known_since": "2026-03-21T13:33:58",
    "avg_best_compute_time_secs": 55.987545454545455
  },
  {
    "track": "heuristic",
    "inst_num": 23,
    "name": "p26-heuristic-pub23",
    "trees": 2,
    "leaves": 776,
    "idigest": "06207F5FC371E7F116F60CC12A500F56",
    "best_known_score": 474,
    "num_best": 8,
    "num_valid": 307,
    "num_invalid": 15,
    "num_timeout": 15,
    "known_since": "2026-04-04T07:25:24",
    "avg_best_compute_time_secs": 5.457142857142857
  },
  {
    "track": "heuristic",
    "inst_num": 24,
    "name": "p26-heuristic-pub24",
    "trees": 2,
    "leaves": 140,
    "idigest": "0426EC39D3D24A1EF899CB87E9584B80",
    "best_known_score": 114,
    "num_best": 100,
    "num_valid": 505,
    "num_invalid": 13,
    "num_timeout": 177,
    "known_since": "2026-03-21T13:29:36",
    "avg_best_compute_time_secs": 24.965142857142858
  },
  {
    "track": "heuristic",
    "inst_num": 25,
    "name": "p26-heuristic-pub25",
    "trees": 2,
    "leaves": 1759,
    "idigest": "07BFD3CEA705BBBC3BA95E05083B6221",
    "best_known_score": 587,
    "num_best": 38,
    "num_valid": 238,
    "num_invalid": 13,
    "num_timeout": 14,
    "known_since": "2026-03-06T17:58:37",
    "avg_best_compute_time_secs": 39.36408333333333
  },
  {
    "track": "heuristic",
    "inst_num": 26,
    "name": "p26-heuristic-pub26",
    "trees": 2,
    "leaves": 14734,
    "idigest": "0AB5D44FC5C35C27DEA2B8F1A39D221E",
    "best_known_score": 6421,
    "num_best": 1,
    "num_valid": 207,
    "num_invalid": 16,
    "num_timeout": 22,
    "known_since": "2026-04-06T17:45:12",
    "avg_best_compute_time_secs": 3600.009
  },
  {
    "track": "heuristic",
    "inst_num": 27,
    "name": "p26-heuristic-pub27",
    "trees": 2,
    "leaves": 120,
    "idigest": "03AA1FD1D923147853CBDE21F0E2AA33",
    "best_known_score": 96,
    "num_best": 73,
    "num_valid": 411,
    "num_invalid": 11,
    "num_timeout": 17,
    "known_since": "2026-03-06T17:58:45",
    "avg_best_compute_time_secs": 26.335352112676055
  },
  {
    "track": "heuristic",
    "inst_num": 28,
    "name": "p26-heuristic-pub28",
    "trees": 2,
    "leaves": 15692,
    "idigest": "0A91AAE7F4C41A257354FFC73DD2C7E6",
    "best_known_score": 7053,
    "num_best": 1,
    "num_valid": 211,
    "num_invalid": 20,
    "num_timeout": 17,
    "known_since": "2026-04-06T17:45:12",
    "avg_best_compute_time_secs": 3600.009
  },
  {
    "track": "heuristic",
    "inst_num": 29,
    "name": "p26-heuristic-pub29",
    "trees": 2,
    "leaves": 14482,
    "idigest": "0AE1A0BE1A72AEA174E8B317E49AE9D1",
    "best_known_score": 6607,
    "num_best": 1,
    "num_valid": 254,
    "num_invalid": 17,
    "num_timeout": 23,
    "known_since": "2026-04-06T17:45:12",
    "avg_best_compute_time_secs": 3600.007
  },
  {
    "track": "heuristic",
    "inst_num": 30,
    "name": "p26-heuristic-pub30",
    "trees": 2,
    "leaves": 180,
    "idigest": "04170B7F2EDC90DFD62044E8E597EE31",
    "best_known_score": 146,
    "num_best": 67,
    "num_valid": 422,
    "num_invalid": 14,
    "num_timeout": 16,
    "known_since": "2026-03-06T17:59:46",
    "avg_best_compute_time_secs": 33.18598461538461
  },
  {
    "track": "heuristic",
    "inst_num": 31,
    "name": "p26-heuristic-pub31",
    "trees": 2,
    "leaves": 14015,
    "idigest": "0AF29D528E61911BB518EA1691A0047C",
    "best_known_score": 6296,
    "num_best": 1,
    "num_valid": 224,
    "num_invalid": 20,
    "num_timeout": 24,
    "known_since": "2026-04-06T17:45:12",
    "avg_best_compute_time_secs": 3600.009
  },
  {
    "track": "heuristic",
    "inst_num": 32,
    "name": "p26-heuristic-pub32",
    "trees": 2,
    "leaves": 160,
    "idigest": "04D53AAA2BCBA2E6DFA2995A6A91E70E",
    "best_known_score": 128,
    "num_best": 76,
    "num_valid": 506,
    "num_invalid": 15,
    "num_timeout": 176,
    "known_since": "2026-03-06T17:59:54",
    "avg_best_compute_time_secs": 22.923864864864864
  },
  {
    "track": "heuristic",
    "inst_num": 33,
    "name": "p26-heuristic-pub33",
    "trees": 2,
    "leaves": 14063,
    "idigest": "0A389D42B2D21F77F035AB74F4CB477F",
    "best_known_score": 6611,
    "num_best": 1,
    "num_valid": 248,
    "num_invalid": 15,
    "num_timeout": 23,
    "known_since": "2026-04-06T17:45:12",
    "avg_best_compute_time_secs": 3600.008
  },
  {
    "track": "heuristic",
    "inst_num": 34,
    "name": "p26-heuristic-pub34",
    "trees": 2,
    "leaves": 150,
    "idigest": "04CED439D92904D351CA8E9C23F96341",
    "best_known_score": 121,
    "num_best": 9,
    "num_valid": 411,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-03-21T13:33:15",
    "avg_best_compute_time_secs": 50.35333333333334
  },
  {
    "track": "heuristic",
    "inst_num": 35,
    "name": "p26-heuristic-pub35",
    "trees": 2,
    "leaves": 250,
    "idigest": "0416CCCFE7CA3597B16CCB597137210D",
    "best_known_score": 199,
    "num_best": 5,
    "num_valid": 404,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-04-03T21:18:32",
    "avg_best_compute_time_secs": 0.382
  },
  {
    "track": "heuristic",
    "inst_num": 36,
    "name": "p26-heuristic-pub36",
    "trees": 2,
    "leaves": 120,
    "idigest": "031F436E06B75C64A6563EB997483E4A",
    "best_known_score": 93,
    "num_best": 72,
    "num_valid": 404,
    "num_invalid": 12,
    "num_timeout": 18,
    "known_since": "2026-03-06T17:58:35",
    "avg_best_compute_time_secs": 28.68305714285714
  },
  {
    "track": "heuristic",
    "inst_num": 37,
    "name": "p26-heuristic-pub37",
    "trees": 2,
    "leaves": 1440,
    "idigest": "070BFD1FACF5A9B07A0B04194A9A9651",
    "best_known_score": 495,
    "num_best": 62,
    "num_valid": 259,
    "num_invalid": 14,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:59:49",
    "avg_best_compute_time_secs": 57.81288333333333
  },
  {
    "track": "heuristic",
    "inst_num": 38,
    "name": "p26-heuristic-pub38",
    "trees": 2,
    "leaves": 1361,
    "idigest": "07CDC2B5C7E57CF7B286860C56D706DF",
    "best_known_score": 439,
    "num_best": 45,
    "num_valid": 258,
    "num_invalid": 19,
    "num_timeout": 15,
    "known_since": "2026-03-21T14:41:39",
    "avg_best_compute_time_secs": 25.443558139534886
  },
  {
    "track": "heuristic",
    "inst_num": 39,
    "name": "p26-heuristic-pub39",
    "trees": 2,
    "leaves": 307,
    "idigest": "052ACE92B625FA5F21EE28D41260F76D",
    "best_known_score": 120,
    "num_best": 72,
    "num_valid": 267,
    "num_invalid": 16,
    "num_timeout": 5,
    "known_since": "2026-03-21T13:18:22",
    "avg_best_compute_time_secs": 19.94355714285714
  },
  {
    "track": "heuristic",
    "inst_num": 40,
    "name": "p26-heuristic-pub40",
    "trees": 2,
    "leaves": 200,
    "idigest": "04D7B2C8212E8434CFE125E904ACBA79",
    "best_known_score": 160,
    "num_best": 65,
    "num_valid": 411,
    "num_invalid": 12,
    "num_timeout": 15,
    "known_since": "2026-03-21T13:33:37",
    "avg_best_compute_time_secs": 31.021047619047618
  },
  {
    "track": "heuristic",
    "inst_num": 41,
    "name": "p26-heuristic-pub41",
    "trees": 2,
    "leaves": 4465,
    "idigest": "0940C6F02842983FDA7E2B20FB7B405A",
    "best_known_score": 2717,
    "num_best": 1,
    "num_valid": 283,
    "num_invalid": 13,
    "num_timeout": 21,
    "known_since": "2026-04-10T16:57:58",
    "avg_best_compute_time_secs": null
  },
  {
    "track": "heuristic",
    "inst_num": 42,
    "name": "p26-heuristic-pub42",
    "trees": 2,
    "leaves": 1999,
    "idigest": "0726512D915AE77FD08BF9AC16F55125",
    "best_known_score": 1275,
    "num_best": 1,
    "num_valid": 315,
    "num_invalid": 19,
    "num_timeout": 22,
    "known_since": "2026-04-06T16:34:45",
    "avg_best_compute_time_secs": 30.002
  },
  {
    "track": "heuristic",
    "inst_num": 43,
    "name": "p26-heuristic-pub43",
    "trees": 2,
    "leaves": 2453,
    "idigest": "089EF833245C4B440D209F4376BACA6B",
    "best_known_score": 1528,
    "num_best": 1,
    "num_valid": 306,
    "num_invalid": 14,
    "num_timeout": 21,
    "known_since": "2026-04-03T21:18:56",
    "avg_best_compute_time_secs": 22.446
  },
  {
    "track": "heuristic",
    "inst_num": 44,
    "name": "p26-heuristic-pub44",
    "trees": 2,
    "leaves": 1133,
    "idigest": "0750E52D52D58013B1DD7A419F2BB64A",
    "best_known_score": 680,
    "num_best": 14,
    "num_valid": 303,
    "num_invalid": 17,
    "num_timeout": 21,
    "known_since": "2026-03-21T14:04:45",
    "avg_best_compute_time_secs": 51.90084615384615
  },
  {
    "track": "heuristic",
    "inst_num": 45,
    "name": "p26-heuristic-pub45",
    "trees": 2,
    "leaves": 80,
    "idigest": "03EAD351F3727B6FC0E2D17FE38C645E",
    "best_known_score": 59,
    "num_best": 70,
    "num_valid": 309,
    "num_invalid": 11,
    "num_timeout": 21,
    "known_since": "2026-03-06T17:49:33",
    "avg_best_compute_time_secs": 189.53782352941178
  },
  {
    "track": "heuristic",
    "inst_num": 46,
    "name": "p26-heuristic-pub46",
    "trees": 2,
    "leaves": 100,
    "idigest": "033B0ED6120C716D1F6C93F653E21EFA",
    "best_known_score": 63,
    "num_best": 78,
    "num_valid": 297,
    "num_invalid": 12,
    "num_timeout": 18,
    "known_since": "2026-03-06T17:57:29",
    "avg_best_compute_time_secs": 29.398473684210526
  },
  {
    "track": "heuristic",
    "inst_num": 47,
    "name": "p26-heuristic-pub47",
    "trees": 2,
    "leaves": 350,
    "idigest": "055D30FCBB13488A94173913CAC2BC2F",
    "best_known_score": 223,
    "num_best": 24,
    "num_valid": 364,
    "num_invalid": 18,
    "num_timeout": 146,
    "known_since": "2026-03-24T10:48:58",
    "avg_best_compute_time_secs": 14.1885
  },
  {
    "track": "heuristic",
    "inst_num": 48,
    "name": "p26-heuristic-pub48",
    "trees": 2,
    "leaves": 300,
    "idigest": "0585AF2E666218FC22E105CBF8CDAB72",
    "best_known_score": 175,
    "num_best": 71,
    "num_valid": 296,
    "num_invalid": 18,
    "num_timeout": 177,
    "known_since": "2026-02-23T12:11:22",
    "avg_best_compute_time_secs": 63.8558115942029
  },
  {
    "track": "heuristic",
    "inst_num": 49,
    "name": "p26-heuristic-pub49",
    "trees": 2,
    "leaves": 100,
    "idigest": "0364AE0C4AE11FD02111CBFFDB5893D8",
    "best_known_score": 65,
    "num_best": 79,
    "num_valid": 297,
    "num_invalid": 14,
    "num_timeout": 18,
    "known_since": "2026-03-07T11:50:19",
    "avg_best_compute_time_secs": 25.95881818181818
  },
  {
    "track": "heuristic",
    "inst_num": 50,
    "name": "p26-heuristic-pub50",
    "trees": 2,
    "leaves": 300,
    "idigest": "057C8C12927683C506DC9711061C9B10",
    "best_known_score": 173,
    "num_best": 44,
    "num_valid": 246,
    "num_invalid": 14,
    "num_timeout": 14,
    "known_since": "2026-03-06T17:55:59",
    "avg_best_compute_time_secs": 15.726738095238096
  },
  {
    "track": "heuristic",
    "inst_num": 51,
    "name": "p26-heuristic-pub51",
    "trees": 2,
    "leaves": 1543,
    "idigest": "07300664289AE09F839EF8E05B88314F",
    "best_known_score": 992,
    "num_best": 6,
    "num_valid": 314,
    "num_invalid": 17,
    "num_timeout": 16,
    "known_since": "2026-04-03T21:27:15",
    "avg_best_compute_time_secs": 8.654
  },
  {
    "track": "heuristic",
    "inst_num": 52,
    "name": "p26-heuristic-pub52",
    "trees": 2,
    "leaves": 602,
    "idigest": "06194756F09C4A70E074D29743D88A03",
    "best_known_score": 386,
    "num_best": 13,
    "num_valid": 327,
    "num_invalid": 15,
    "num_timeout": 15,
    "known_since": "2026-03-21T14:21:06",
    "avg_best_compute_time_secs": 40.2035
  },
  {
    "track": "heuristic",
    "inst_num": 53,
    "name": "p26-heuristic-pub53",
    "trees": 2,
    "leaves": 100,
    "idigest": "03841DEE3321E3ECECFD4AB5AC1B4F4E",
    "best_known_score": 62,
    "num_best": 68,
    "num_valid": 300,
    "num_invalid": 16,
    "num_timeout": 18,
    "known_since": "2026-03-06T17:54:47",
    "avg_best_compute_time_secs": 32.05109090909091
  },
  {
    "track": "heuristic",
    "inst_num": 54,
    "name": "p26-heuristic-pub54",
    "trees": 2,
    "leaves": 300,
    "idigest": "051ADDB8FAE16EA5E62C51A8AB666881",
    "best_known_score": 202,
    "num_best": 49,
    "num_valid": 370,
    "num_invalid": 18,
    "num_timeout": 177,
    "known_since": "2026-03-21T14:00:40",
    "avg_best_compute_time_secs": 22.462170212765958
  },
  {
    "track": "heuristic",
    "inst_num": 55,
    "name": "p26-heuristic-pub55",
    "trees": 2,
    "leaves": 200,
    "idigest": "0441851B8180F896C8B4026463023958",
    "best_known_score": 108,
    "num_best": 59,
    "num_valid": 277,
    "num_invalid": 16,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:50:33",
    "avg_best_compute_time_secs": 28.423140350877194
  },
  {
    "track": "heuristic",
    "inst_num": 56,
    "name": "p26-heuristic-pub56",
    "trees": 2,
    "leaves": 180,
    "idigest": "04406BD9225DDC080A753D2980426DFA",
    "best_known_score": 150,
    "num_best": 49,
    "num_valid": 413,
    "num_invalid": 14,
    "num_timeout": 16,
    "known_since": "2026-03-06T17:49:17",
    "avg_best_compute_time_secs": 29.098787234042554
  },
  {
    "track": "heuristic",
    "inst_num": 57,
    "name": "p26-heuristic-pub57",
    "trees": 2,
    "leaves": 2868,
    "idigest": "08A33C7487AC72E675BD59D1D9E3B1FA",
    "best_known_score": 1770,
    "num_best": 1,
    "num_valid": 289,
    "num_invalid": 21,
    "num_timeout": 22,
    "known_since": "2026-04-02T20:46:26",
    "avg_best_compute_time_secs": 60.002
  },
  {
    "track": "heuristic",
    "inst_num": 58,
    "name": "p26-heuristic-pub58",
    "trees": 2,
    "leaves": 1337,
    "idigest": "07E90ECA04FAAE58252D3C9372BCA6F1",
    "best_known_score": 847,
    "num_best": 8,
    "num_valid": 319,
    "num_invalid": 16,
    "num_timeout": 15,
    "known_since": "2026-03-21T14:21:06",
    "avg_best_compute_time_secs": 58.740375
  },
  {
    "track": "heuristic",
    "inst_num": 59,
    "name": "p26-heuristic-pub59",
    "trees": 2,
    "leaves": 140,
    "idigest": "0480A6E78B752415AC560D502CCC4960",
    "best_known_score": 108,
    "num_best": 72,
    "num_valid": 407,
    "num_invalid": 12,
    "num_timeout": 18,
    "known_since": "2026-03-06T17:59:58",
    "avg_best_compute_time_secs": 31.195014285714286
  },
  {
    "track": "heuristic",
    "inst_num": 60,
    "name": "p26-heuristic-pub60",
    "trees": 2,
    "leaves": 160,
    "idigest": "04B6A5E8736A80FC6C9D31118C853AFF",
    "best_known_score": 131,
    "num_best": 65,
    "num_valid": 421,
    "num_invalid": 13,
    "num_timeout": 14,
    "known_since": "2026-03-21T13:33:15",
    "avg_best_compute_time_secs": 26.757444444444445
  },
  {
    "track": "heuristic",
    "inst_num": 61,
    "name": "p26-heuristic-pub61",
    "trees": 2,
    "leaves": 1986,
    "idigest": "071AA0903B2799CF9A0ED4E6DB6B663C",
    "best_known_score": 1167,
    "num_best": 3,
    "num_valid": 307,
    "num_invalid": 11,
    "num_timeout": 21,
    "known_since": "2026-04-03T21:22:18",
    "avg_best_compute_time_secs": 65.18266666666666
  },
  {
    "track": "heuristic",
    "inst_num": 62,
    "name": "p26-heuristic-pub62",
    "trees": 2,
    "leaves": 985,
    "idigest": "06B9873BE9C43B52C96984FC4FDB99BC",
    "best_known_score": 606,
    "num_best": 5,
    "num_valid": 300,
    "num_invalid": 16,
    "num_timeout": 18,
    "known_since": "2026-03-25T22:43:00",
    "avg_best_compute_time_secs": 15.2218
  },
  {
    "track": "heuristic",
    "inst_num": 63,
    "name": "p26-heuristic-pub63",
    "trees": 2,
    "leaves": 640,
    "idigest": "06376A7C664685771403D6E2B052BDAA",
    "best_known_score": 349,
    "num_best": 61,
    "num_valid": 325,
    "num_invalid": 12,
    "num_timeout": 4,
    "known_since": "2026-03-21T13:31:28",
    "avg_best_compute_time_secs": 25.959406779661016
  },
  {
    "track": "heuristic",
    "inst_num": 64,
    "name": "p26-heuristic-pub64",
    "trees": 2,
    "leaves": 1212,
    "idigest": "07D67B8249D7A1B3C146409C83774EEF",
    "best_known_score": 481,
    "num_best": 33,
    "num_valid": 258,
    "num_invalid": 20,
    "num_timeout": 13,
    "known_since": "2026-03-25T16:54:06",
    "avg_best_compute_time_secs": 35.65964516129033
  },
  {
    "track": "heuristic",
    "inst_num": 65,
    "name": "p26-heuristic-pub65",
    "trees": 2,
    "leaves": 3011,
    "idigest": "08A3B60F0D0145B42B74176156BE4E05",
    "best_known_score": 1846,
    "num_best": 1,
    "num_valid": 290,
    "num_invalid": 22,
    "num_timeout": 23,
    "known_since": "2026-04-04T08:50:20",
    "avg_best_compute_time_secs": 139.343
  },
  {
    "track": "heuristic",
    "inst_num": 66,
    "name": "p26-heuristic-pub66",
    "trees": 2,
    "leaves": 100,
    "idigest": "0306AB3E7AA6432814EF2A655A9E2B0E",
    "best_known_score": 78,
    "num_best": 68,
    "num_valid": 412,
    "num_invalid": 13,
    "num_timeout": 21,
    "known_since": "2026-03-06T17:58:30",
    "avg_best_compute_time_secs": 31.681454545454542
  },
  {
    "track": "heuristic",
    "inst_num": 67,
    "name": "p26-heuristic-pub67",
    "trees": 2,
    "leaves": 806,
    "idigest": "064909ABEF284C46F4DFF31088A070E3",
    "best_known_score": 482,
    "num_best": 7,
    "num_valid": 316,
    "num_invalid": 17,
    "num_timeout": 14,
    "known_since": "2026-04-03T21:27:23",
    "avg_best_compute_time_secs": 3.942142857142857
  },
  {
    "track": "heuristic",
    "inst_num": 68,
    "name": "p26-heuristic-pub68",
    "trees": 2,
    "leaves": 2592,
    "idigest": "0888D498BE1A28A424B87AA71C6A67D5",
    "best_known_score": 1568,
    "num_best": 4,
    "num_valid": 275,
    "num_invalid": 23,
    "num_timeout": 20,
    "known_since": "2026-03-25T15:30:01",
    "avg_best_compute_time_secs": 25.834
  },
  {
    "track": "heuristic",
    "inst_num": 69,
    "name": "p26-heuristic-pub69",
    "trees": 2,
    "leaves": 2550,
    "idigest": "083C3C7C3D5ECCBE7C644785AE3F3ADE",
    "best_known_score": 1450,
    "num_best": 7,
    "num_valid": 266,
    "num_invalid": 18,
    "num_timeout": 21,
    "known_since": "2026-03-06T17:53:09",
    "avg_best_compute_time_secs": 50.3125
  },
  {
    "track": "heuristic",
    "inst_num": 70,
    "name": "p26-heuristic-pub70",
    "trees": 2,
    "leaves": 55,
    "idigest": "02B09A50FCD1B67D87CEDF14F5ED5FC5",
    "best_known_score": 40,
    "num_best": 87,
    "num_valid": 321,
    "num_invalid": 11,
    "num_timeout": 25,
    "known_since": "2026-03-04T18:15:09",
    "avg_best_compute_time_secs": 117.71001176470588
  },
  {
    "track": "heuristic",
    "inst_num": 71,
    "name": "p26-heuristic-pub71",
    "trees": 2,
    "leaves": 180,
    "idigest": "04CD3A08DC8ADD1A4C8D708732AD6E08",
    "best_known_score": 145,
    "num_best": 14,
    "num_valid": 409,
    "num_invalid": 13,
    "num_timeout": 17,
    "known_since": "2026-03-25T15:35:54",
    "avg_best_compute_time_secs": 40.371307692307695
  },
  {
    "track": "heuristic",
    "inst_num": 72,
    "name": "p26-heuristic-pub72",
    "trees": 2,
    "leaves": 175,
    "idigest": "049BBA8EF70036F3E00522295A443785",
    "best_known_score": 141,
    "num_best": 13,
    "num_valid": 414,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:58:28",
    "avg_best_compute_time_secs": 13.99676923076923
  },
  {
    "track": "heuristic",
    "inst_num": 73,
    "name": "p26-heuristic-pub73",
    "trees": 2,
    "leaves": 160,
    "idigest": "041E572A4A1AA58E7C8281638653AC36",
    "best_known_score": 131,
    "num_best": 66,
    "num_valid": 423,
    "num_invalid": 10,
    "num_timeout": 15,
    "known_since": "2026-03-21T13:33:15",
    "avg_best_compute_time_secs": 42.987140625
  },
  {
    "track": "heuristic",
    "inst_num": 74,
    "name": "p26-heuristic-pub74",
    "trees": 2,
    "leaves": 60,
    "idigest": "02596BAA958A07A7A8CA114E962C5479",
    "best_known_score": 46,
    "num_best": 71,
    "num_valid": 347,
    "num_invalid": 11,
    "num_timeout": 24,
    "known_since": "2026-03-06T17:55:29",
    "avg_best_compute_time_secs": 434.3675652173913
  },
  {
    "track": "heuristic",
    "inst_num": 75,
    "name": "p26-heuristic-pub75",
    "trees": 2,
    "leaves": 12718,
    "idigest": "0A13C7507B64289BD7ADBD93F6E8D023",
    "best_known_score": 5262,
    "num_best": 2,
    "num_valid": 273,
    "num_invalid": 18,
    "num_timeout": 23,
    "known_since": "2026-04-02T20:37:08",
    "avg_best_compute_time_secs": 2100.007
  },
  {
    "track": "heuristic",
    "inst_num": 76,
    "name": "p26-heuristic-pub76",
    "trees": 2,
    "leaves": 5874,
    "idigest": "09AD08FFE9A2063EB9ACEFA9836A839F",
    "best_known_score": 3374,
    "num_best": 1,
    "num_valid": 216,
    "num_invalid": 21,
    "num_timeout": 23,
    "known_since": "2026-04-11T10:45:39",
    "avg_best_compute_time_secs": null
  },
  {
    "track": "heuristic",
    "inst_num": 77,
    "name": "p26-heuristic-pub77",
    "trees": 2,
    "leaves": 12348,
    "idigest": "0AC3363DA7BBB432EA825E4213CF7552",
    "best_known_score": 5299,
    "num_best": 1,
    "num_valid": 205,
    "num_invalid": 17,
    "num_timeout": 25,
    "known_since": "2026-04-02T20:37:08",
    "avg_best_compute_time_secs": 600.006
  },
  {
    "track": "heuristic",
    "inst_num": 78,
    "name": "p26-heuristic-pub78",
    "trees": 2,
    "leaves": 60,
    "idigest": "02986E3E0ED27225069BFCECA9E16086",
    "best_known_score": 42,
    "num_best": 96,
    "num_valid": 307,
    "num_invalid": 11,
    "num_timeout": 23,
    "known_since": "2026-02-28T17:23:13",
    "avg_best_compute_time_secs": 126.81112903225807
  },
  {
    "track": "heuristic",
    "inst_num": 79,
    "name": "p26-heuristic-pub79",
    "trees": 2,
    "leaves": 190,
    "idigest": "04770C998C3F561A57DF19CB0AD2743F",
    "best_known_score": 141,
    "num_best": 65,
    "num_valid": 337,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:56:16",
    "avg_best_compute_time_secs": 27.649555555555555
  },
  {
    "track": "heuristic",
    "inst_num": 80,
    "name": "p26-heuristic-pub80",
    "trees": 2,
    "leaves": 120,
    "idigest": "0329AC55232C8976CC9C3643D32DD1CD",
    "best_known_score": 98,
    "num_best": 58,
    "num_valid": 417,
    "num_invalid": 13,
    "num_timeout": 18,
    "known_since": "2026-03-06T17:59:21",
    "avg_best_compute_time_secs": 29.323642857142858
  },
  {
    "track": "heuristic",
    "inst_num": 81,
    "name": "p26-heuristic-pub81",
    "trees": 2,
    "leaves": 100,
    "idigest": "03DF8F4D4814133E080C762E3CDD77CA",
    "best_known_score": 78,
    "num_best": 70,
    "num_valid": 405,
    "num_invalid": 13,
    "num_timeout": 20,
    "known_since": "2026-03-21T13:19:57",
    "avg_best_compute_time_secs": 31.37808823529412
  },
  {
    "track": "heuristic",
    "inst_num": 82,
    "name": "p26-heuristic-pub82",
    "trees": 2,
    "leaves": 165,
    "idigest": "047BE5FDA5F69254303CEE7BF47A3DFC",
    "best_known_score": 126,
    "num_best": 34,
    "num_valid": 402,
    "num_invalid": 12,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:50:38",
    "avg_best_compute_time_secs": 47.46579411764706
  },
  {
    "track": "heuristic",
    "inst_num": 83,
    "name": "p26-heuristic-pub83",
    "trees": 2,
    "leaves": 150,
    "idigest": "04EADD2DEDC41362A17A84D2BB8E9BE0",
    "best_known_score": 120,
    "num_best": 73,
    "num_valid": 426,
    "num_invalid": 13,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:54:54",
    "avg_best_compute_time_secs": 30.16274647887324
  },
  {
    "track": "heuristic",
    "inst_num": 84,
    "name": "p26-heuristic-pub84",
    "trees": 2,
    "leaves": 60,
    "idigest": "02C7034AF55C15CFFB5E4DCC386C0422",
    "best_known_score": 43,
    "num_best": 97,
    "num_valid": 315,
    "num_invalid": 12,
    "num_timeout": 24,
    "known_since": "2026-02-28T18:55:10",
    "avg_best_compute_time_secs": 243.27697894736843
  },
  {
    "track": "heuristic",
    "inst_num": 85,
    "name": "p26-heuristic-pub85",
    "trees": 2,
    "leaves": 3483,
    "idigest": "089616CC428FC3A310B71B9ECE70B0AA",
    "best_known_score": 2036,
    "num_best": 2,
    "num_valid": 285,
    "num_invalid": 27,
    "num_timeout": 24,
    "known_since": "2026-04-02T21:06:10",
    "avg_best_compute_time_secs": 45.003
  },
  {
    "track": "heuristic",
    "inst_num": 86,
    "name": "p26-heuristic-pub86",
    "trees": 2,
    "leaves": 150,
    "idigest": "045E7EBFA7A332C6E1CF452BD17BFD12",
    "best_known_score": 116,
    "num_best": 67,
    "num_valid": 380,
    "num_invalid": 11,
    "num_timeout": 15,
    "known_since": "2026-03-21T13:27:49",
    "avg_best_compute_time_secs": 28.088753846153846
  },
  {
    "track": "heuristic",
    "inst_num": 87,
    "name": "p26-heuristic-pub87",
    "trees": 2,
    "leaves": 8273,
    "idigest": "0AF8E0FC550C0B4843ACBF295015C189",
    "best_known_score": 3385,
    "num_best": 6,
    "num_valid": 220,
    "num_invalid": 9,
    "num_timeout": 21,
    "known_since": "2026-04-02T20:37:08",
    "avg_best_compute_time_secs": 1452.0066000000002
  },
  {
    "track": "heuristic",
    "inst_num": 88,
    "name": "p26-heuristic-pub88",
    "trees": 2,
    "leaves": 3723,
    "idigest": "08F8BEEC068C453F4CA75A2295CDFE95",
    "best_known_score": 2225,
    "num_best": 1,
    "num_valid": 281,
    "num_invalid": 14,
    "num_timeout": 24,
    "known_since": "2026-04-11T10:51:07",
    "avg_best_compute_time_secs": null
  },
  {
    "track": "heuristic",
    "inst_num": 89,
    "name": "p26-heuristic-pub89",
    "trees": 2,
    "leaves": 1658,
    "idigest": "07225C97BE25D581592AE6F9B1DAF8CF",
    "best_known_score": 990,
    "num_best": 4,
    "num_valid": 302,
    "num_invalid": 18,
    "num_timeout": 18,
    "known_since": "2026-04-04T13:17:34",
    "avg_best_compute_time_secs": 5.0565
  },
  {
    "track": "heuristic",
    "inst_num": 90,
    "name": "p26-heuristic-pub90",
    "trees": 2,
    "leaves": 145,
    "idigest": "0464DCFE85FA6F346261182ACA05C599",
    "best_known_score": 112,
    "num_best": 70,
    "num_valid": 395,
    "num_invalid": 15,
    "num_timeout": 17,
    "known_since": "2026-03-06T17:55:02",
    "avg_best_compute_time_secs": 27.172323529411766
  },
  {
    "track": "heuristic",
    "inst_num": 91,
    "name": "p26-heuristic-pub91",
    "trees": 2,
    "leaves": 60,
    "idigest": "028761E3020F6DFC355990D3B3ABDD42",
    "best_known_score": 44,
    "num_best": 88,
    "num_valid": 317,
    "num_invalid": 13,
    "num_timeout": 26,
    "known_since": "2026-03-01T23:20:13",
    "avg_best_compute_time_secs": 219.30552325581397
  },
  {
    "track": "heuristic",
    "inst_num": 92,
    "name": "p26-heuristic-pub92",
    "trees": 2,
    "leaves": 100,
    "idigest": "03D74678CC25BBD483AAB1DBDD53A144",
    "best_known_score": 76,
    "num_best": 43,
    "num_valid": 332,
    "num_invalid": 14,
    "num_timeout": 19,
    "known_since": "2026-03-06T17:57:43",
    "avg_best_compute_time_secs": 45.929488372093026
  },
  {
    "track": "heuristic",
    "inst_num": 93,
    "name": "p26-heuristic-pub93",
    "trees": 2,
    "leaves": 150,
    "idigest": "046A54016D526DF472EC2C1B3894241A",
    "best_known_score": 118,
    "num_best": 57,
    "num_valid": 405,
    "num_invalid": 11,
    "num_timeout": 15,
    "known_since": "2026-03-06T17:50:57",
    "avg_best_compute_time_secs": 27.07572727272727
  },
  {
    "track": "heuristic",
    "inst_num": 94,
    "name": "p26-heuristic-pub94",
    "trees": 2,
    "leaves": 170,
    "idigest": "04326826ACF70FAC78BE8C101CF6A00F",
    "best_known_score": 131,
    "num_best": 49,
    "num_valid": 394,
    "num_invalid": 12,
    "num_timeout": 17,
    "known_since": "2026-03-21T14:00:40",
    "avg_best_compute_time_secs": 31.697936170212763
  },
  {
    "track": "heuristic",
    "inst_num": 95,
    "name": "p26-heuristic-pub95",
    "trees": 2,
    "leaves": 160,
    "idigest": "041E1EFBC5069B06EF029C3D57B92319",
    "best_known_score": 125,
    "num_best": 63,
    "num_valid": 418,
    "num_invalid": 9,
    "num_timeout": 16,
    "known_since": "2026-03-06T17:48:56",
    "avg_best_compute_time_secs": 28.31983606557377
  },
  {
    "track": "heuristic",
    "inst_num": 96,
    "name": "p26-heuristic-pub96",
    "trees": 2,
    "leaves": 2069,
    "idigest": "0898396E479FD6EB75BABF79BB69844D",
    "best_known_score": 1237,
    "num_best": 3,
    "num_valid": 288,
    "num_invalid": 24,
    "num_timeout": 21,
    "known_since": "2026-04-03T21:29:53",
    "avg_best_compute_time_secs": 58.738
  },
  {
    "track": "heuristic",
    "inst_num": 97,
    "name": "p26-heuristic-pub97",
    "trees": 2,
    "leaves": 160,
    "idigest": "04B2C575884D0E1152A5A467DCD3A122",
    "best_known_score": 127,
    "num_best": 65,
    "num_valid": 394,
    "num_invalid": 13,
    "num_timeout": 14,
    "known_since": "2026-03-06T17:56:25",
    "avg_best_compute_time_secs": 27.300698412698413
  },
  {
    "track": "heuristic",
    "inst_num": 98,
    "name": "p26-heuristic-pub98",
    "trees": 2,
    "leaves": 10037,
    "idigest": "0A9BF1301AF2898E0E32A9B54AB5CCD1",
    "best_known_score": 4196,
    "num_best": 2,
    "num_valid": 219,
    "num_invalid": 16,
    "num_timeout": 23,
    "known_since": "2026-04-02T23:26:18",
    "avg_best_compute_time_secs": 2100.0055
  },
  {
    "track": "heuristic",
    "inst_num": 99,
    "name": "p26-heuristic-pub99",
    "trees": 2,
    "leaves": 100,
    "idigest": "0331B5A504BD5C2B45A67733CEC32F09",
    "best_known_score": 78,
    "num_best": 79,
    "num_valid": 380,
    "num_invalid": 14,
    "num_timeout": 20,
    "known_since": "2026-03-03T23:57:59",
    "avg_best_compute_time_secs": 31.318428571428573
  },
  {
    "track": "lower",
    "inst_num": 0,
    "name": "p26-lower-pub00",
    "trees": 2,
    "leaves": 617,
    "idigest": "06F525AFC81F32E01029817179935BD3",
    "best_known_score": 257,
    "num_best": 34,
    "num_valid": 39,
    "num_invalid": 1,
    "num_timeout": 30,
    "known_since": "2026-03-11T11:14:09",
    "avg_best_compute_time_secs": 3.105264705882353
  },
  {
    "track": "lower",
    "inst_num": 1,
    "name": "p26-lower-pub01",
    "trees": 2,
    "leaves": 121,
    "idigest": "03E1FA1ABC7BE31E29D872252124BF56",
    "best_known_score": 66,
    "num_best": 61,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 13,
    "known_since": "2026-03-11T11:15:09",
    "avg_best_compute_time_secs": 0.8551475409836066
  },
  {
    "track": "lower",
    "inst_num": 2,
    "name": "p26-lower-pub02",
    "trees": 2,
    "leaves": 223,
    "idigest": "049F4E2EFCBD507B8E34CA625CBC9633",
    "best_known_score": 100,
    "num_best": 58,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:18:38",
    "avg_best_compute_time_secs": 1.076551724137931
  },
  {
    "track": "lower",
    "inst_num": 3,
    "name": "p26-lower-pub03",
    "trees": 2,
    "leaves": 244,
    "idigest": "04D19761A72F25A99C97C441AB9C0C5F",
    "best_known_score": 106,
    "num_best": 61,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:16",
    "avg_best_compute_time_secs": 0.988639344262295
  },
  {
    "track": "lower",
    "inst_num": 4,
    "name": "p26-lower-pub04",
    "trees": 2,
    "leaves": 250,
    "idigest": "042A507919F68592414C2FC8E0A84C8C",
    "best_known_score": 153,
    "num_best": 61,
    "num_valid": 69,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:54",
    "avg_best_compute_time_secs": 1.100344262295082
  },
  {
    "track": "lower",
    "inst_num": 5,
    "name": "p26-lower-pub05",
    "trees": 2,
    "leaves": 60,
    "idigest": "024BE62B16EF40FBB52F6B7D6D5730E0",
    "best_known_score": 47,
    "num_best": 76,
    "num_valid": 81,
    "num_invalid": 0,
    "num_timeout": 19,
    "known_since": "2026-03-09T12:23:05",
    "avg_best_compute_time_secs": 391.65455263157895
  },
  {
    "track": "lower",
    "inst_num": 6,
    "name": "p26-lower-pub06",
    "trees": 2,
    "leaves": 200,
    "idigest": "045C4B1A9D4878C1863307DC16E0A958",
    "best_known_score": 106,
    "num_best": 40,
    "num_valid": 49,
    "num_invalid": 1,
    "num_timeout": 19,
    "known_since": "2026-03-25T10:12:48",
    "avg_best_compute_time_secs": 6.691225
  },
  {
    "track": "lower",
    "inst_num": 7,
    "name": "p26-lower-pub07",
    "trees": 2,
    "leaves": 190,
    "idigest": "048BC1FA94F897FFB72B5703BE04E8FD",
    "best_known_score": 141,
    "num_best": 55,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:56",
    "avg_best_compute_time_secs": 0.9722363636363637
  },
  {
    "track": "lower",
    "inst_num": 8,
    "name": "p26-lower-pub08",
    "trees": 2,
    "leaves": 267,
    "idigest": "0549BC050A7C5FCD1CB18EE062345D8A",
    "best_known_score": 135,
    "num_best": 56,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:18:05",
    "avg_best_compute_time_secs": 1.218357142857143
  },
  {
    "track": "lower",
    "inst_num": 9,
    "name": "p26-lower-pub09",
    "trees": 2,
    "leaves": 150,
    "idigest": "04BBB4942A1FB5C47A63385C18FC2F8F",
    "best_known_score": 125,
    "num_best": 69,
    "num_valid": 76,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:16:22",
    "avg_best_compute_time_secs": 0.8906376811594202
  },
  {
    "track": "lower",
    "inst_num": 10,
    "name": "p26-lower-pub10",
    "trees": 2,
    "leaves": 149,
    "idigest": "041AAFBEC7F37732B8196FE172B1BEB2",
    "best_known_score": 73,
    "num_best": 61,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:15:33",
    "avg_best_compute_time_secs": 1.1761475409836066
  },
  {
    "track": "lower",
    "inst_num": 11,
    "name": "p26-lower-pub11",
    "trees": 2,
    "leaves": 668,
    "idigest": "06E1984D94A43EC6BDBD3347B42D6FF3",
    "best_known_score": 285,
    "num_best": 46,
    "num_valid": 51,
    "num_invalid": 1,
    "num_timeout": 21,
    "known_since": "2026-03-11T11:15:19",
    "avg_best_compute_time_secs": 3.563608695652174
  },
  {
    "track": "lower",
    "inst_num": 12,
    "name": "p26-lower-pub12",
    "trees": 2,
    "leaves": 160,
    "idigest": "04DB50D1D256FA10607DF63E1CEC3D2C",
    "best_known_score": 128,
    "num_best": 64,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:17:00",
    "avg_best_compute_time_secs": 0.77553125
  },
  {
    "track": "lower",
    "inst_num": 13,
    "name": "p26-lower-pub13",
    "trees": 2,
    "leaves": 160,
    "idigest": "045FFBC839F69DBA09225023976F4B0E",
    "best_known_score": 131,
    "num_best": 69,
    "num_valid": 77,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:17:50",
    "avg_best_compute_time_secs": 0.4516231884057971
  },
  {
    "track": "lower",
    "inst_num": 14,
    "name": "p26-lower-pub14",
    "trees": 2,
    "leaves": 250,
    "idigest": "044D5AD76F60B1D8388419ADE4A7DF3C",
    "best_known_score": 200,
    "num_best": 63,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:16:25",
    "avg_best_compute_time_secs": 0.7791587301587302
  },
  {
    "track": "lower",
    "inst_num": 15,
    "name": "p26-lower-pub15",
    "trees": 2,
    "leaves": 379,
    "idigest": "052D37B7DC13AEA1B768A199C5DF9677",
    "best_known_score": 155,
    "num_best": 50,
    "num_valid": 55,
    "num_invalid": 1,
    "num_timeout": 17,
    "known_since": "2026-03-11T11:17:53",
    "avg_best_compute_time_secs": 4.3332
  },
  {
    "track": "lower",
    "inst_num": 16,
    "name": "p26-lower-pub16",
    "trees": 2,
    "leaves": 120,
    "idigest": "035067EEB8D32B235FE9FD37D5AA09BC",
    "best_known_score": 98,
    "num_best": 65,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 12,
    "known_since": "2026-03-25T10:17:50",
    "avg_best_compute_time_secs": 0.33689230769230766
  },
  {
    "track": "lower",
    "inst_num": 17,
    "name": "p26-lower-pub17",
    "trees": 2,
    "leaves": 200,
    "idigest": "0491A0C2E65235F7597C036E0FB24651",
    "best_known_score": 125,
    "num_best": 61,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:23:26",
    "avg_best_compute_time_secs": 0.41075409836065574
  },
  {
    "track": "lower",
    "inst_num": 18,
    "name": "p26-lower-pub18",
    "trees": 2,
    "leaves": 150,
    "idigest": "04BE93BD6072D94A7910350FFCE79218",
    "best_known_score": 99,
    "num_best": 60,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:44",
    "avg_best_compute_time_secs": 0.9008999999999999
  },
  {
    "track": "lower",
    "inst_num": 19,
    "name": "p26-lower-pub19",
    "trees": 2,
    "leaves": 200,
    "idigest": "041D0D0E933E95F556BAFDDEABCE6996",
    "best_known_score": 164,
    "num_best": 56,
    "num_valid": 70,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:28:35",
    "avg_best_compute_time_secs": 0.907375
  },
  {
    "track": "lower",
    "inst_num": 20,
    "name": "p26-lower-pub20",
    "trees": 2,
    "leaves": 124,
    "idigest": "030028B10843674607119C928F5F24DD",
    "best_known_score": 64,
    "num_best": 62,
    "num_valid": 68,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:15:37",
    "avg_best_compute_time_secs": 0.9309354838709677
  },
  {
    "track": "lower",
    "inst_num": 21,
    "name": "p26-lower-pub21",
    "trees": 2,
    "leaves": 188,
    "idigest": "042DC98D6215FF7A58DC0C5FC848D5C3",
    "best_known_score": 87,
    "num_best": 61,
    "num_valid": 66,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:15:38",
    "avg_best_compute_time_secs": 0.9004918032786885
  },
  {
    "track": "lower",
    "inst_num": 22,
    "name": "p26-lower-pub22",
    "trees": 2,
    "leaves": 165,
    "idigest": "04DA4D3B51B2D9FEAA6ACEF9D438226F",
    "best_known_score": 134,
    "num_best": 67,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:22",
    "avg_best_compute_time_secs": 0.7148805970149253
  },
  {
    "track": "lower",
    "inst_num": 23,
    "name": "p26-lower-pub23",
    "trees": 2,
    "leaves": 160,
    "idigest": "04649F1703E265E1FB50A57D59790EB1",
    "best_known_score": 131,
    "num_best": 67,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:18:37",
    "avg_best_compute_time_secs": 0.7725970149253731
  },
  {
    "track": "lower",
    "inst_num": 24,
    "name": "p26-lower-pub24",
    "trees": 2,
    "leaves": 200,
    "idigest": "0465FB59422040FB095BA90B30C53746",
    "best_known_score": 108,
    "num_best": 64,
    "num_valid": 71,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:59",
    "avg_best_compute_time_secs": 2.705
  },
  {
    "track": "lower",
    "inst_num": 25,
    "name": "p26-lower-pub25",
    "trees": 2,
    "leaves": 150,
    "idigest": "04D4E883018A9164305DF95C972EA5F5",
    "best_known_score": 72,
    "num_best": 61,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:18",
    "avg_best_compute_time_secs": 1.042327868852459
  },
  {
    "track": "lower",
    "inst_num": 26,
    "name": "p26-lower-pub26",
    "trees": 2,
    "leaves": 237,
    "idigest": "046CC84F6E4D4013D1CD1FCB57D69843",
    "best_known_score": 77,
    "num_best": 59,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:15:46",
    "avg_best_compute_time_secs": 0.9397627118644069
  },
  {
    "track": "lower",
    "inst_num": 27,
    "name": "p26-lower-pub27",
    "trees": 2,
    "leaves": 300,
    "idigest": "05A7997B74F33535557D8D9FD6BD0A55",
    "best_known_score": 205,
    "num_best": 57,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:28:57",
    "avg_best_compute_time_secs": 1.8565964912280701
  },
  {
    "track": "lower",
    "inst_num": 28,
    "name": "p26-lower-pub28",
    "trees": 2,
    "leaves": 350,
    "idigest": "0540164197FBD4B6600118935F8E5EBF",
    "best_known_score": 297,
    "num_best": 58,
    "num_valid": 68,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-25T10:36:27",
    "avg_best_compute_time_secs": 0.7151206896551724
  },
  {
    "track": "lower",
    "inst_num": 29,
    "name": "p26-lower-pub29",
    "trees": 2,
    "leaves": 100,
    "idigest": "03D38F48706D9C120E8126C9EC471681",
    "best_known_score": 78,
    "num_best": 67,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:13:42",
    "avg_best_compute_time_secs": 0.7278805970149254
  },
  {
    "track": "lower",
    "inst_num": 30,
    "name": "p26-lower-pub30",
    "trees": 2,
    "leaves": 847,
    "idigest": "06864E69FF09CB4FA7CDC60DE18A2140",
    "best_known_score": 343,
    "num_best": 30,
    "num_valid": 34,
    "num_invalid": 1,
    "num_timeout": 36,
    "known_since": "2026-03-11T11:16:28",
    "avg_best_compute_time_secs": 12.219266666666666
  },
  {
    "track": "lower",
    "inst_num": 31,
    "name": "p26-lower-pub31",
    "trees": 2,
    "leaves": 193,
    "idigest": "04F00A85CD5904D371833BF983639C4A",
    "best_known_score": 91,
    "num_best": 58,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:48",
    "avg_best_compute_time_secs": 0.8843448275862069
  },
  {
    "track": "lower",
    "inst_num": 32,
    "name": "p26-lower-pub32",
    "trees": 2,
    "leaves": 166,
    "idigest": "04BF321A8B120758EF1FE400644638D6",
    "best_known_score": 82,
    "num_best": 61,
    "num_valid": 66,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:14:25",
    "avg_best_compute_time_secs": 0.8844426229508197
  },
  {
    "track": "lower",
    "inst_num": 33,
    "name": "p26-lower-pub33",
    "trees": 2,
    "leaves": 174,
    "idigest": "04C7E27D08B0BB912A4EB43CCBA3E761",
    "best_known_score": 76,
    "num_best": 60,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:33",
    "avg_best_compute_time_secs": 0.9018833333333334
  },
  {
    "track": "lower",
    "inst_num": 34,
    "name": "p26-lower-pub34",
    "trees": 2,
    "leaves": 539,
    "idigest": "067C7480E3CDFF852714A29C723ACC09",
    "best_known_score": 227,
    "num_best": 42,
    "num_valid": 48,
    "num_invalid": 1,
    "num_timeout": 24,
    "known_since": "2026-03-11T11:17:33",
    "avg_best_compute_time_secs": 3.133714285714286
  },
  {
    "track": "lower",
    "inst_num": 35,
    "name": "p26-lower-pub35",
    "trees": 2,
    "leaves": 191,
    "idigest": "047502CE66F41A57E22E10C7D0B8CDF5",
    "best_known_score": 86,
    "num_best": 60,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:13:54",
    "avg_best_compute_time_secs": 0.88615
  },
  {
    "track": "lower",
    "inst_num": 36,
    "name": "p26-lower-pub36",
    "trees": 2,
    "leaves": 250,
    "idigest": "04F21E8464529C2BA9ECC39ED2AC60D8",
    "best_known_score": 133,
    "num_best": 51,
    "num_valid": 56,
    "num_invalid": 1,
    "num_timeout": 15,
    "known_since": "2026-03-11T11:18:10",
    "avg_best_compute_time_secs": 2.3285686274509803
  },
  {
    "track": "lower",
    "inst_num": 37,
    "name": "p26-lower-pub37",
    "trees": 2,
    "leaves": 165,
    "idigest": "046ABE95B4793C75A302E6EB4D468241",
    "best_known_score": 78,
    "num_best": 60,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:15:22",
    "avg_best_compute_time_secs": 0.8927
  },
  {
    "track": "lower",
    "inst_num": 38,
    "name": "p26-lower-pub38",
    "trees": 2,
    "leaves": 107,
    "idigest": "038CC72D2496D4F8AF10D6E59A3FB098",
    "best_known_score": 57,
    "num_best": 66,
    "num_valid": 69,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:00",
    "avg_best_compute_time_secs": 1.0638181818181818
  },
  {
    "track": "lower",
    "inst_num": 39,
    "name": "p26-lower-pub39",
    "trees": 2,
    "leaves": 120,
    "idigest": "03B7BEBF52A4EAB97A04A6663AA438E7",
    "best_known_score": 96,
    "num_best": 68,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 14,
    "known_since": "2026-03-11T11:18:42",
    "avg_best_compute_time_secs": 0.6099705882352942
  },
  {
    "track": "lower",
    "inst_num": 40,
    "name": "p26-lower-pub40",
    "trees": 2,
    "leaves": 166,
    "idigest": "0434B1DD659D081783FD78F013751B32",
    "best_known_score": 75,
    "num_best": 59,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 13,
    "known_since": "2026-03-11T11:18:32",
    "avg_best_compute_time_secs": 1.8947966101694915
  },
  {
    "track": "lower",
    "inst_num": 41,
    "name": "p26-lower-pub41",
    "trees": 2,
    "leaves": 621,
    "idigest": "067FF7E6D1C950477A32E666D1C975B2",
    "best_known_score": 322,
    "num_best": 43,
    "num_valid": 52,
    "num_invalid": 1,
    "num_timeout": 21,
    "known_since": "2026-03-11T11:13:38",
    "avg_best_compute_time_secs": 6.811813953488372
  },
  {
    "track": "lower",
    "inst_num": 42,
    "name": "p26-lower-pub42",
    "trees": 2,
    "leaves": 138,
    "idigest": "045F5385263CAE7907B6899C5CB5DA3E",
    "best_known_score": 69,
    "num_best": 63,
    "num_valid": 69,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:17:03",
    "avg_best_compute_time_secs": 1.9182698412698411
  },
  {
    "track": "lower",
    "inst_num": 43,
    "name": "p26-lower-pub43",
    "trees": 2,
    "leaves": 350,
    "idigest": "05931A3F4C1F6E34C25605718011CBF2",
    "best_known_score": 223,
    "num_best": 54,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:18:05",
    "avg_best_compute_time_secs": 2.2671851851851854
  },
  {
    "track": "lower",
    "inst_num": 44,
    "name": "p26-lower-pub44",
    "trees": 2,
    "leaves": 171,
    "idigest": "0494FDEB2FF517807BC828230C6C4335",
    "best_known_score": 79,
    "num_best": 62,
    "num_valid": 67,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:16:02",
    "avg_best_compute_time_secs": 0.8493387096774194
  },
  {
    "track": "lower",
    "inst_num": 45,
    "name": "p26-lower-pub45",
    "trees": 2,
    "leaves": 183,
    "idigest": "0449A92F16E959C066CAF24E52A67A4A",
    "best_known_score": 83,
    "num_best": 54,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:01",
    "avg_best_compute_time_secs": 0.9687777777777778
  },
  {
    "track": "lower",
    "inst_num": 46,
    "name": "p26-lower-pub46",
    "trees": 2,
    "leaves": 150,
    "idigest": "04C059B3EFACEB69E07551DB7EF4852E",
    "best_known_score": 120,
    "num_best": 65,
    "num_valid": 70,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:25",
    "avg_best_compute_time_secs": 0.7911692307692308
  },
  {
    "track": "lower",
    "inst_num": 47,
    "name": "p26-lower-pub47",
    "trees": 2,
    "leaves": 150,
    "idigest": "0400C73275BA08FD740CBB1FAB24CB64",
    "best_known_score": 121,
    "num_best": 65,
    "num_valid": 77,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T09:52:13",
    "avg_best_compute_time_secs": 0.28789230769230767
  },
  {
    "track": "lower",
    "inst_num": 48,
    "name": "p26-lower-pub48",
    "trees": 2,
    "leaves": 350,
    "idigest": "05FF2B52CCEAE857B2E3F88C8EFFAE06",
    "best_known_score": 287,
    "num_best": 62,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-25T10:28:50",
    "avg_best_compute_time_secs": 1.0617258064516129
  },
  {
    "track": "lower",
    "inst_num": 49,
    "name": "p26-lower-pub49",
    "trees": 2,
    "leaves": 100,
    "idigest": "032773C28AE210614EBF080B665F4C4F",
    "best_known_score": 76,
    "num_best": 66,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 15,
    "known_since": "2026-03-11T11:15:03",
    "avg_best_compute_time_secs": 0.7773333333333333
  },
  {
    "track": "lower",
    "inst_num": 50,
    "name": "p26-lower-pub50",
    "trees": 2,
    "leaves": 155,
    "idigest": "04B1F3EEE410D550581EC948D07291F6",
    "best_known_score": 76,
    "num_best": 58,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:18:23",
    "avg_best_compute_time_secs": 0.8683793103448275
  },
  {
    "track": "lower",
    "inst_num": 51,
    "name": "p26-lower-pub51",
    "trees": 2,
    "leaves": 170,
    "idigest": "045BD9AC84D42DBD14EEEED08596ED42",
    "best_known_score": 140,
    "num_best": 62,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:16:14",
    "avg_best_compute_time_secs": 1.106516129032258
  },
  {
    "track": "lower",
    "inst_num": 52,
    "name": "p26-lower-pub52",
    "trees": 2,
    "leaves": 300,
    "idigest": "05A68C8131F1585A13E1836AA545DF2D",
    "best_known_score": 192,
    "num_best": 63,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:12:29",
    "avg_best_compute_time_secs": 0.9878412698412699
  },
  {
    "track": "lower",
    "inst_num": 53,
    "name": "p26-lower-pub53",
    "trees": 2,
    "leaves": 350,
    "idigest": "0582D7369F10B558D3472DBF79FE0812",
    "best_known_score": 221,
    "num_best": 57,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:17:16",
    "avg_best_compute_time_secs": 2.3534912280701756
  },
  {
    "track": "lower",
    "inst_num": 54,
    "name": "p26-lower-pub54",
    "trees": 2,
    "leaves": 300,
    "idigest": "0527B63FC9667B21F7EB7A197B4BB1DE",
    "best_known_score": 254,
    "num_best": 62,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-31T09:48:25",
    "avg_best_compute_time_secs": 0.6195161290322581
  },
  {
    "track": "lower",
    "inst_num": 55,
    "name": "p26-lower-pub55",
    "trees": 2,
    "leaves": 146,
    "idigest": "040C716785B94A4A17E378BF9BF003FD",
    "best_known_score": 67,
    "num_best": 60,
    "num_valid": 66,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:19",
    "avg_best_compute_time_secs": 0.9609833333333333
  },
  {
    "track": "lower",
    "inst_num": 56,
    "name": "p26-lower-pub56",
    "trees": 2,
    "leaves": 100,
    "idigest": "03B4C62C54D922DE298BBFA0122EC981",
    "best_known_score": 79,
    "num_best": 67,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 15,
    "known_since": "2026-03-11T11:16:22",
    "avg_best_compute_time_secs": 0.6042985074626865
  },
  {
    "track": "lower",
    "inst_num": 57,
    "name": "p26-lower-pub57",
    "trees": 2,
    "leaves": 150,
    "idigest": "04E5F82A7934981A1F93FC021D9C90C3",
    "best_known_score": 117,
    "num_best": 67,
    "num_valid": 74,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:16:36",
    "avg_best_compute_time_secs": 0.6362985074626866
  },
  {
    "track": "lower",
    "inst_num": 58,
    "name": "p26-lower-pub58",
    "trees": 2,
    "leaves": 189,
    "idigest": "0413AE43D8327298D47E085FE59ABE1D",
    "best_known_score": 97,
    "num_best": 60,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:16",
    "avg_best_compute_time_secs": 0.9955499999999999
  },
  {
    "track": "lower",
    "inst_num": 59,
    "name": "p26-lower-pub59",
    "trees": 2,
    "leaves": 350,
    "idigest": "05ED00D7A581378E4D2E27B504C3F3FE",
    "best_known_score": 219,
    "num_best": 55,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-31T09:52:49",
    "avg_best_compute_time_secs": 1.9661090909090908
  },
  {
    "track": "lower",
    "inst_num": 60,
    "name": "p26-lower-pub60",
    "trees": 2,
    "leaves": 250,
    "idigest": "04149A0541B7C97CE913C1D6FDEAD172",
    "best_known_score": 199,
    "num_best": 61,
    "num_valid": 70,
    "num_invalid": 0,
    "num_timeout": 12,
    "known_since": "2026-03-25T10:12:25",
    "avg_best_compute_time_secs": 0.5952131147540983
  },
  {
    "track": "lower",
    "inst_num": 61,
    "name": "p26-lower-pub61",
    "trees": 2,
    "leaves": 334,
    "idigest": "053709B7F8BB4104BBDBD20126E80A45",
    "best_known_score": 166,
    "num_best": 49,
    "num_valid": 55,
    "num_invalid": 1,
    "num_timeout": 20,
    "known_since": "2026-03-11T11:18:23",
    "avg_best_compute_time_secs": 1.7877346938775511
  },
  {
    "track": "lower",
    "inst_num": 62,
    "name": "p26-lower-pub62",
    "trees": 2,
    "leaves": 130,
    "idigest": "04EA800D414A3522C3441CEAA4AEFFA1",
    "best_known_score": 96,
    "num_best": 57,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:14:21",
    "avg_best_compute_time_secs": 0.8489473684210526
  },
  {
    "track": "lower",
    "inst_num": 63,
    "name": "p26-lower-pub63",
    "trees": 2,
    "leaves": 161,
    "idigest": "0452680A479E9E8910683A3EE6DA84AB",
    "best_known_score": 72,
    "num_best": 63,
    "num_valid": 67,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:12",
    "avg_best_compute_time_secs": 0.9466825396825397
  },
  {
    "track": "lower",
    "inst_num": 64,
    "name": "p26-lower-pub64",
    "trees": 2,
    "leaves": 200,
    "idigest": "04916F12238DD7314E62A042201D9205",
    "best_known_score": 127,
    "num_best": 66,
    "num_valid": 75,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:54",
    "avg_best_compute_time_secs": 0.7602575757575758
  },
  {
    "track": "lower",
    "inst_num": 65,
    "name": "p26-lower-pub65",
    "trees": 2,
    "leaves": 122,
    "idigest": "037B4A6163A478EA6AFFDF8E24E97A10",
    "best_known_score": 67,
    "num_best": 61,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:14:11",
    "avg_best_compute_time_secs": 0.7427868852459016
  },
  {
    "track": "lower",
    "inst_num": 66,
    "name": "p26-lower-pub66",
    "trees": 2,
    "leaves": 150,
    "idigest": "04EDBAB369AEEF1A69387F682A104B72",
    "best_known_score": 97,
    "num_best": 65,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:07:22",
    "avg_best_compute_time_secs": 0.6471384615384616
  },
  {
    "track": "lower",
    "inst_num": 67,
    "name": "p26-lower-pub67",
    "trees": 2,
    "leaves": 160,
    "idigest": "045C963DFE3CB64D4CBC0F12DE2F4A2F",
    "best_known_score": 125,
    "num_best": 59,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:40",
    "avg_best_compute_time_secs": 0.8885762711864407
  },
  {
    "track": "lower",
    "inst_num": 68,
    "name": "p26-lower-pub68",
    "trees": 2,
    "leaves": 178,
    "idigest": "04258D01D564F35778075F3DAFB7C6AF",
    "best_known_score": 78,
    "num_best": 60,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:13:38",
    "avg_best_compute_time_secs": 0.84925
  },
  {
    "track": "lower",
    "inst_num": 69,
    "name": "p26-lower-pub69",
    "trees": 2,
    "leaves": 621,
    "idigest": "0629AD8408935F6B715BD2855625A3F0",
    "best_known_score": 318,
    "num_best": 45,
    "num_valid": 51,
    "num_invalid": 1,
    "num_timeout": 21,
    "known_since": "2026-03-11T11:18:38",
    "avg_best_compute_time_secs": 9.068955555555556
  },
  {
    "track": "lower",
    "inst_num": 70,
    "name": "p26-lower-pub70",
    "trees": 2,
    "leaves": 253,
    "idigest": "0493DA0D44923B072400D1A482DAD96C",
    "best_known_score": 120,
    "num_best": 59,
    "num_valid": 65,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:14:37",
    "avg_best_compute_time_secs": 1.275
  },
  {
    "track": "lower",
    "inst_num": 71,
    "name": "p26-lower-pub71",
    "trees": 2,
    "leaves": 575,
    "idigest": "067AC618EBD9E86ED7A4140C1A005542",
    "best_known_score": 202,
    "num_best": 48,
    "num_valid": 54,
    "num_invalid": 1,
    "num_timeout": 18,
    "known_since": "2026-03-11T11:14:33",
    "avg_best_compute_time_secs": 1.6320833333333333
  },
  {
    "track": "lower",
    "inst_num": 72,
    "name": "p26-lower-pub72",
    "trees": 2,
    "leaves": 126,
    "idigest": "03C256EC432686D2AB0919D8D0CA31EE",
    "best_known_score": 65,
    "num_best": 62,
    "num_valid": 67,
    "num_invalid": 1,
    "num_timeout": 13,
    "known_since": "2026-03-11T11:14:54",
    "avg_best_compute_time_secs": 1.0944193548387098
  },
  {
    "track": "lower",
    "inst_num": 73,
    "name": "p26-lower-pub73",
    "trees": 2,
    "leaves": 100,
    "idigest": "03C24A8539CD62ABBC475B362C3A462E",
    "best_known_score": 76,
    "num_best": 68,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 15,
    "known_since": "2026-03-11T11:15:17",
    "avg_best_compute_time_secs": 0.8209264705882352
  },
  {
    "track": "lower",
    "inst_num": 74,
    "name": "p26-lower-pub74",
    "trees": 2,
    "leaves": 200,
    "idigest": "0424D45A59277EFF7DB684073D9BFBDA",
    "best_known_score": 125,
    "num_best": 60,
    "num_valid": 67,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:15:37",
    "avg_best_compute_time_secs": 0.9599833333333333
  },
  {
    "track": "lower",
    "inst_num": 75,
    "name": "p26-lower-pub75",
    "trees": 2,
    "leaves": 198,
    "idigest": "0475107086B1A04D8F669AA8FC3B2230",
    "best_known_score": 88,
    "num_best": 57,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:17:59",
    "avg_best_compute_time_secs": 1.114701754385965
  },
  {
    "track": "lower",
    "inst_num": 76,
    "name": "p26-lower-pub76",
    "trees": 2,
    "leaves": 178,
    "idigest": "0474CACEA23DFE103B5CF2E4EA82A9E2",
    "best_known_score": 91,
    "num_best": 53,
    "num_valid": 59,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:16:12",
    "avg_best_compute_time_secs": 1.0492830188679245
  },
  {
    "track": "lower",
    "inst_num": 77,
    "name": "p26-lower-pub77",
    "trees": 2,
    "leaves": 121,
    "idigest": "030A2368768DFE2F6AA72669B4133B0E",
    "best_known_score": 60,
    "num_best": 58,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:17:36",
    "avg_best_compute_time_secs": 0.9353965517241379
  },
  {
    "track": "lower",
    "inst_num": 78,
    "name": "p26-lower-pub78",
    "trees": 2,
    "leaves": 778,
    "idigest": "06A1AE587ECB6C5A937D84A0E390DF2C",
    "best_known_score": 330,
    "num_best": 28,
    "num_valid": 34,
    "num_invalid": 1,
    "num_timeout": 37,
    "known_since": "2026-03-11T11:13:38",
    "avg_best_compute_time_secs": 3.469392857142857
  },
  {
    "track": "lower",
    "inst_num": 79,
    "name": "p26-lower-pub79",
    "trees": 2,
    "leaves": 145,
    "idigest": "04E0A6269CAEF132A58F37FB74353139",
    "best_known_score": 73,
    "num_best": 59,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 14,
    "known_since": "2026-03-11T11:14:42",
    "avg_best_compute_time_secs": 0.7925593220338983
  },
  {
    "track": "lower",
    "inst_num": 80,
    "name": "p26-lower-pub80",
    "trees": 2,
    "leaves": 621,
    "idigest": "06DEF99F674C2B8A2382B297F01C89DB",
    "best_known_score": 317,
    "num_best": 44,
    "num_valid": 52,
    "num_invalid": 1,
    "num_timeout": 23,
    "known_since": "2026-03-11T11:16:36",
    "avg_best_compute_time_secs": 5.185022727272727
  },
  {
    "track": "lower",
    "inst_num": 81,
    "name": "p26-lower-pub81",
    "trees": 2,
    "leaves": 100,
    "idigest": "03F43A6BBCE1E302554692363E0DFF91",
    "best_known_score": 77,
    "num_best": 71,
    "num_valid": 75,
    "num_invalid": 0,
    "num_timeout": 14,
    "known_since": "2026-03-11T11:18:25",
    "avg_best_compute_time_secs": 0.6984788732394367
  },
  {
    "track": "lower",
    "inst_num": 82,
    "name": "p26-lower-pub82",
    "trees": 2,
    "leaves": 100,
    "idigest": "03CBECC852214F1A16E3DF43E64DE07C",
    "best_known_score": 78,
    "num_best": 70,
    "num_valid": 76,
    "num_invalid": 0,
    "num_timeout": 16,
    "known_since": "2026-03-11T11:17:47",
    "avg_best_compute_time_secs": 0.6794
  },
  {
    "track": "lower",
    "inst_num": 83,
    "name": "p26-lower-pub83",
    "trees": 2,
    "leaves": 200,
    "idigest": "044C71F63311E9775099484E9CDF7237",
    "best_known_score": 128,
    "num_best": 59,
    "num_valid": 72,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:15:56",
    "avg_best_compute_time_secs": 0.9173220338983051
  },
  {
    "track": "lower",
    "inst_num": 84,
    "name": "p26-lower-pub84",
    "trees": 2,
    "leaves": 621,
    "idigest": "065BC2A69F403147F344E28A238696AC",
    "best_known_score": 312,
    "num_best": 43,
    "num_valid": 48,
    "num_invalid": 1,
    "num_timeout": 22,
    "known_since": "2026-03-11T11:18:29",
    "avg_best_compute_time_secs": 5.8702093023255815
  },
  {
    "track": "lower",
    "inst_num": 85,
    "name": "p26-lower-pub85",
    "trees": 2,
    "leaves": 140,
    "idigest": "04AD6BE90166B51C443D2022586852BE",
    "best_known_score": 113,
    "num_best": 64,
    "num_valid": 73,
    "num_invalid": 0,
    "num_timeout": 13,
    "known_since": "2026-03-25T09:57:18",
    "avg_best_compute_time_secs": 0.2805625
  },
  {
    "track": "lower",
    "inst_num": 86,
    "name": "p26-lower-pub86",
    "trees": 2,
    "leaves": 193,
    "idigest": "04FA3D702B753C7C88AB2A9CB440A280",
    "best_known_score": 88,
    "num_best": 58,
    "num_valid": 66,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:17:01",
    "avg_best_compute_time_secs": 1.246655172413793
  },
  {
    "track": "lower",
    "inst_num": 87,
    "name": "p26-lower-pub87",
    "trees": 2,
    "leaves": 139,
    "idigest": "04C0FABC209F559705E7FF32561EC982",
    "best_known_score": 67,
    "num_best": 66,
    "num_valid": 71,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:18:15",
    "avg_best_compute_time_secs": 1.6602272727272727
  },
  {
    "track": "lower",
    "inst_num": 88,
    "name": "p26-lower-pub88",
    "trees": 2,
    "leaves": 111,
    "idigest": "03B941E99F8590798A9FDA156FAD4D7C",
    "best_known_score": 60,
    "num_best": 57,
    "num_valid": 61,
    "num_invalid": 1,
    "num_timeout": 13,
    "known_since": "2026-03-11T11:13:54",
    "avg_best_compute_time_secs": 0.7183508771929825
  },
  {
    "track": "lower",
    "inst_num": 89,
    "name": "p26-lower-pub89",
    "trees": 2,
    "leaves": 253,
    "idigest": "0475D8E397034F5E4156E860921ABA3E",
    "best_known_score": 105,
    "num_best": 57,
    "num_valid": 66,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:17:44",
    "avg_best_compute_time_secs": 0.6293684210526316
  },
  {
    "track": "lower",
    "inst_num": 90,
    "name": "p26-lower-pub90",
    "trees": 2,
    "leaves": 100,
    "idigest": "036BD497CC569268F673E774DAFAA40E",
    "best_known_score": 76,
    "num_best": 65,
    "num_valid": 71,
    "num_invalid": 0,
    "num_timeout": 15,
    "known_since": "2026-03-11T11:14:52",
    "avg_best_compute_time_secs": 0.563246153846154
  },
  {
    "track": "lower",
    "inst_num": 91,
    "name": "p26-lower-pub91",
    "trees": 2,
    "leaves": 183,
    "idigest": "0470A1A6052507A8D8D7879947C09EA0",
    "best_known_score": 86,
    "num_best": 57,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 12,
    "known_since": "2026-03-11T11:13:38",
    "avg_best_compute_time_secs": 0.9631052631578947
  },
  {
    "track": "lower",
    "inst_num": 92,
    "name": "p26-lower-pub92",
    "trees": 2,
    "leaves": 187,
    "idigest": "040946A1CBDF263CD84B9ECF14AF0C4F",
    "best_known_score": 91,
    "num_best": 58,
    "num_valid": 63,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:18:13",
    "avg_best_compute_time_secs": 1.089758620689655
  },
  {
    "track": "lower",
    "inst_num": 93,
    "name": "p26-lower-pub93",
    "trees": 2,
    "leaves": 621,
    "idigest": "06CB0B36EABD751022D3262A46B3E7DA",
    "best_known_score": 313,
    "num_best": 46,
    "num_valid": 50,
    "num_invalid": 1,
    "num_timeout": 20,
    "known_since": "2026-03-11T11:15:05",
    "avg_best_compute_time_secs": 7.0315
  },
  {
    "track": "lower",
    "inst_num": 94,
    "name": "p26-lower-pub94",
    "trees": 2,
    "leaves": 350,
    "idigest": "0520C30F95927A101AB34F48A45C1D0B",
    "best_known_score": 289,
    "num_best": 67,
    "num_valid": 75,
    "num_invalid": 0,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:14:01",
    "avg_best_compute_time_secs": 1.500223880597015
  },
  {
    "track": "lower",
    "inst_num": 95,
    "name": "p26-lower-pub95",
    "trees": 2,
    "leaves": 180,
    "idigest": "04AF3181C98D73300F29CBB14CF70FEB",
    "best_known_score": 89,
    "num_best": 55,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:13:58",
    "avg_best_compute_time_secs": 2.457618181818182
  },
  {
    "track": "lower",
    "inst_num": 96,
    "name": "p26-lower-pub96",
    "trees": 2,
    "leaves": 200,
    "idigest": "043375DE0A283F0B0D3BCB3CF6246EF1",
    "best_known_score": 159,
    "num_best": 62,
    "num_valid": 69,
    "num_invalid": 0,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:28:57",
    "avg_best_compute_time_secs": 0.40151612903225803
  },
  {
    "track": "lower",
    "inst_num": 97,
    "name": "p26-lower-pub97",
    "trees": 2,
    "leaves": 250,
    "idigest": "04DEFECB9F845D7E9FDE459461829534",
    "best_known_score": 154,
    "num_best": 56,
    "num_valid": 62,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-11T11:16:46",
    "avg_best_compute_time_secs": 2.119464285714286
  },
  {
    "track": "lower",
    "inst_num": 98,
    "name": "p26-lower-pub98",
    "trees": 2,
    "leaves": 164,
    "idigest": "04F164E50B9429C465DDEF6DF8D73765",
    "best_known_score": 83,
    "num_best": 56,
    "num_valid": 64,
    "num_invalid": 1,
    "num_timeout": 11,
    "known_since": "2026-03-25T10:46:47",
    "avg_best_compute_time_secs": 0.5618035714285714
  },
  {
    "track": "lower",
    "inst_num": 99,
    "name": "p26-lower-pub99",
    "trees": 2,
    "leaves": 575,
    "idigest": "06EE4C3CA2870D97982D60867FBAE053",
    "best_known_score": 218,
    "num_best": 53,
    "num_valid": 61,
    "num_invalid": 1,
    "num_timeout": 10,
    "known_since": "2026-03-11T11:15:51",
    "avg_best_compute_time_secs": 10.338301886792452
  },
  {
    "track": "tiny",
    "inst_num": 0,
    "name": "p26-tiny-pub00",
    "trees": 2,
    "leaves": 6,
    "idigest": "0010B172A28D0664D5521E1296FC3586",
    "best_known_score": 4,
    "num_best": 1359,
    "num_valid": 1526,
    "num_invalid": 20,
    "num_timeout": 2,
    "known_since": "2026-01-15T09:26:51",
    "avg_best_compute_time_secs": 0.4165944881889764
  },
  {
    "track": "tiny",
    "inst_num": 1,
    "name": "p26-tiny-pub01",
    "trees": 4,
    "leaves": 8,
    "idigest": "10FC2300FAE9577AD4296F1C8B8B16D9",
    "best_known_score": 1,
    "num_best": 654,
    "num_valid": 661,
    "num_invalid": 0,
    "num_timeout": 0,
    "known_since": "2026-01-15T11:10:45",
    "avg_best_compute_time_secs": 0.2756543778801843
  },
  {
    "track": "tiny",
    "inst_num": 2,
    "name": "p26-tiny-pub02",
    "trees": 4,
    "leaves": 8,
    "idigest": "10CC91161CA13497EFA530C5239D2446",
    "best_known_score": 7,
    "num_best": 599,
    "num_valid": 691,
    "num_invalid": 38,
    "num_timeout": 5,
    "known_since": "2026-01-15T11:10:25",
    "avg_best_compute_time_secs": 0.5920687919463087
  },
  {
    "track": "tiny",
    "inst_num": 3,
    "name": "p26-tiny-pub03",
    "trees": 2,
    "leaves": 8,
    "idigest": "004BE79895DC5BFDB2B22E5DDE781804",
    "best_known_score": 5,
    "num_best": 1144,
    "num_valid": 1283,
    "num_invalid": 24,
    "num_timeout": 1,
    "known_since": "2026-01-15T09:27:05",
    "avg_best_compute_time_secs": 0.4501218229623138
  },
  {
    "track": "tiny",
    "inst_num": 4,
    "name": "p26-tiny-pub04",
    "trees": 2,
    "leaves": 4,
    "idigest": "008F20E0AF36C203FFDD3182439A814E",
    "best_known_score": 3,
    "num_best": 1324,
    "num_valid": 1387,
    "num_invalid": 14,
    "num_timeout": 1,
    "known_since": "2026-01-15T09:27:35",
    "avg_best_compute_time_secs": 0.383887963663891
  },
  {
    "track": "tiny",
    "inst_num": 5,
    "name": "p26-tiny-pub05",
    "trees": 2,
    "leaves": 6,
    "idigest": "0094F6A3B54554767E43E70FAADFD361",
    "best_known_score": 3,
    "num_best": 1273,
    "num_valid": 1368,
    "num_invalid": 15,
    "num_timeout": 3,
    "known_since": "2025-12-29T16:26:02",
    "avg_best_compute_time_secs": 0.39366719242902204
  },
  {
    "track": "tiny",
    "inst_num": 6,
    "name": "p26-tiny-pub06",
    "trees": 2,
    "leaves": 12,
    "idigest": "00BCD6D5ED8FA0FC426208D4FD4D6698",
    "best_known_score": 8,
    "num_best": 1094,
    "num_valid": 1173,
    "num_invalid": 30,
    "num_timeout": 6,
    "known_since": "2026-01-15T09:27:35",
    "avg_best_compute_time_secs": 0.7835371219065078
  },
  {
    "track": "tiny",
    "inst_num": 7,
    "name": "p26-tiny-pub07",
    "trees": 2,
    "leaves": 17,
    "idigest": "01E632BE9EF4C8F9ECADB9C83815D966",
    "best_known_score": 12,
    "num_best": 935,
    "num_valid": 1071,
    "num_invalid": 22,
    "num_timeout": 11,
    "known_since": "2026-01-15T10:15:35",
    "avg_best_compute_time_secs": 2.3550772532188837
  },
  {
    "track": "tiny",
    "inst_num": 8,
    "name": "p26-tiny-pub08",
    "trees": 4,
    "leaves": 7,
    "idigest": "10C76D3EC96D89397F4E78D0F1CEC803",
    "best_known_score": 5,
    "num_best": 597,
    "num_valid": 722,
    "num_invalid": 30,
    "num_timeout": 1,
    "known_since": "2026-01-15T11:10:20",
    "avg_best_compute_time_secs": 0.5073350168350168
  },
  {
    "track": "tiny",
    "inst_num": 9,
    "name": "p26-tiny-pub09",
    "trees": 2,
    "leaves": 11,
    "idigest": "00E2AAF8D7B2B44F578E162CD5B6B904",
    "best_known_score": 6,
    "num_best": 1081,
    "num_valid": 1136,
    "num_invalid": 14,
    "num_timeout": 3,
    "known_since": "2026-01-15T09:27:35",
    "avg_best_compute_time_secs": 0.470082560296846
  }
]