{
 "records": [
  {
   "limit_with_incumbent": 41,
   "limit_without_incumbent": 2,
   "max_proved_solver_seconds": 3526.002451181412,
   "median_proved_solver_seconds": 68.31604194641113,
   "method": "CB-SSD",
   "proof_rate": 0.4880952380952381,
   "proved": 41,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 49,
   "limit_without_incumbent": 9,
   "max_proved_solver_seconds": 1675.3482851982117,
   "median_proved_solver_seconds": 80.69618558883667,
   "method": "CB-ASD",
   "proof_rate": 0.30952380952380953,
   "proved": 26,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 61,
   "limit_without_incumbent": 23,
   "max_proved_solver_seconds": 1375.9717028141022,
   "median_proved_solver_seconds": 341.1898354291916,
   "method": "CB-SSD",
   "proof_rate": 0.125,
   "proved": 12,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 63,
   "limit_without_incumbent": 22,
   "max_proved_solver_seconds": 1613.9615650177002,
   "median_proved_solver_seconds": 187.3018159866333,
   "method": "CB-ASD",
   "proof_rate": 0.11458333333333333,
   "proved": 11,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 39,
   "limit_without_incumbent": 9,
   "max_proved_solver_seconds": 2758.358155965805,
   "median_proved_solver_seconds": 129.05655443668365,
   "method": "SSD",
   "proof_rate": 0.42857142857142855,
   "proved": 36,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 51,
   "limit_without_incumbent": 18,
   "max_proved_solver_seconds": 3420.0164270401,
   "median_proved_solver_seconds": 123.22344493865968,
   "method": "ASD",
   "proof_rate": 0.17857142857142858,
   "proved": 15,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 2,
   "limit_without_incumbent": 7,
   "max_proved_solver_seconds": 1092.9879031181335,
   "median_proved_solver_seconds": 1.1187620162963867,
   "method": "KKT-BigM",
   "proof_rate": 0.8928571428571429,
   "proved": 75,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 2,
   "limit_without_incumbent": 8,
   "max_proved_solver_seconds": 1370.4564049243927,
   "median_proved_solver_seconds": 4.258900046348572,
   "method": "KKT-SOS1",
   "proof_rate": 0.8809523809523809,
   "proved": 74,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 1,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 1153.1085650920868,
   "median_proved_solver_seconds": 0.4654028415679931,
   "method": "CB-KKT-BigM",
   "proof_rate": 0.9880952380952381,
   "proved": 83,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 2,
   "max_proved_solver_seconds": 1602.102222919464,
   "median_proved_solver_seconds": 2.3459540605545044,
   "method": "CB-KKT-SOS1",
   "proof_rate": 0.9761904761904762,
   "proved": 82,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 48,
   "limit_without_incumbent": 39,
   "max_proved_solver_seconds": 1888.822791814804,
   "median_proved_solver_seconds": 427.2731111049652,
   "method": "SSD",
   "proof_rate": 0.09375,
   "proved": 9,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 47,
   "limit_without_incumbent": 42,
   "max_proved_solver_seconds": 1579.9906928539276,
   "median_proved_solver_seconds": 503.6163129806519,
   "method": "ASD",
   "proof_rate": 0.07291666666666667,
   "proved": 7,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 47,
   "max_proved_solver_seconds": 2590.800747871399,
   "median_proved_solver_seconds": 137.79310011863708,
   "method": "KKT-BigM",
   "proof_rate": 0.5104166666666666,
   "proved": 49,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 1,
   "limit_without_incumbent": 47,
   "max_proved_solver_seconds": 1938.4594359397888,
   "median_proved_solver_seconds": 95.65440499782562,
   "method": "KKT-SOS1",
   "proof_rate": 0.5,
   "proved": 48,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 30,
   "max_proved_solver_seconds": 2685.458169937134,
   "median_proved_solver_seconds": 55.22943902015686,
   "method": "CB-KKT-BigM",
   "proof_rate": 0.6875,
   "proved": 66,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 34,
   "max_proved_solver_seconds": 2692.687584877014,
   "median_proved_solver_seconds": 14.078888893127441,
   "method": "CB-KKT-SOS1",
   "proof_rate": 0.6458333333333334,
   "proved": 62,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 19,
   "limit_without_incumbent": 11,
   "max_proved_solver_seconds": 3485.699872566969,
   "median_proved_solver_seconds": 2.7051175535307266,
   "method": "IOM-Top1 (SSD)",
   "proof_rate": 0.6428571428571429,
   "proved": 54,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 33,
   "limit_without_incumbent": 16,
   "max_proved_solver_seconds": 1954.4020463600757,
   "median_proved_solver_seconds": 4.5662260669632815,
   "method": "IOM-Top1 (ASD)",
   "proof_rate": 0.4166666666666667,
   "proved": 35,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 28.94954697601497,
   "median_proved_solver_seconds": 0.4928345669177361,
   "method": "IOM-Top1 (KKT-BigM)",
   "proof_rate": 1.0,
   "proved": 84,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 483.37796520104166,
   "median_proved_solver_seconds": 0.4396378625242505,
   "method": "IOM-Top1 (KKT-SOS1)",
   "proof_rate": 1.0,
   "proved": 84,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 38,
   "limit_without_incumbent": 42,
   "max_proved_solver_seconds": 2.595189803978428,
   "median_proved_solver_seconds": 0.5661027554888278,
   "method": "IOM-Top1 (SSD)",
   "proof_rate": 0.16666666666666666,
   "proved": 16,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 36,
   "limit_without_incumbent": 44,
   "max_proved_solver_seconds": 3.847801679978147,
   "median_proved_solver_seconds": 1.7352228059899062,
   "method": "IOM-Top1 (ASD)",
   "proof_rate": 0.16666666666666666,
   "proved": 16,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 13,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2301.8271380109945,
   "median_proved_solver_seconds": 9.93725366005674,
   "method": "IOM-Top1 (KKT-BigM)",
   "proof_rate": 0.8645833333333334,
   "proved": 83,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 16,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2558.052703551948,
   "median_proved_solver_seconds": 3.402885405521374,
   "method": "IOM-Top1 (KKT-SOS1)",
   "proof_rate": 0.8333333333333334,
   "proved": 80,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 22,
   "limit_without_incumbent": 12,
   "max_proved_solver_seconds": 2691.0954701049486,
   "median_proved_solver_seconds": 6.4884419575100765,
   "method": "IOM-All (SSD)",
   "proof_rate": 0.5952380952380952,
   "proved": 50,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 34,
   "limit_without_incumbent": 21,
   "max_proved_solver_seconds": 1946.681434914004,
   "median_proved_solver_seconds": 9.608031664043663,
   "method": "IOM-All (ASD)",
   "proof_rate": 0.34523809523809523,
   "proved": 29,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 114.67502179194707,
   "median_proved_solver_seconds": 0.6769742654287256,
   "method": "IOM-All (KKT-BigM)",
   "proof_rate": 1.0,
   "proved": 84,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 1,
   "max_proved_solver_seconds": 704.689533947967,
   "median_proved_solver_seconds": 0.6590566999511793,
   "method": "IOM-All (KKT-SOS1)",
   "proof_rate": 0.9880952380952381,
   "proved": 83,
   "source_size": 10,
   "tasks": 84
  },
  {
   "limit_with_incumbent": 38,
   "limit_without_incumbent": 42,
   "max_proved_solver_seconds": 3.4043804359971546,
   "median_proved_solver_seconds": 0.9641531170054805,
   "method": "IOM-All (SSD)",
   "proof_rate": 0.16666666666666666,
   "proved": 16,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 36,
   "limit_without_incumbent": 44,
   "max_proved_solver_seconds": 3.908897217013873,
   "median_proved_solver_seconds": 1.8690680940053426,
   "method": "IOM-All (ASD)",
   "proof_rate": 0.16666666666666666,
   "proved": 16,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 21,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2079.5993170719594,
   "median_proved_solver_seconds": 18.044336415012367,
   "method": "IOM-All (KKT-BigM)",
   "proof_rate": 0.78125,
   "proved": 75,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 29,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2433.180358184036,
   "median_proved_solver_seconds": 9.782540037995204,
   "method": "IOM-All (KKT-SOS1)",
   "proof_rate": 0.6979166666666666,
   "proved": 67,
   "source_size": 60,
   "tasks": 96
  },
  {
   "limit_with_incumbent": 102,
   "limit_without_incumbent": 25,
   "max_proved_solver_seconds": 3526.002451181412,
   "median_proved_solver_seconds": 90.13738989830016,
   "method": "CB-SSD",
   "proof_rate": 0.29444444444444445,
   "proved": 53,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 112,
   "limit_without_incumbent": 31,
   "max_proved_solver_seconds": 1675.3482851982117,
   "median_proved_solver_seconds": 107.34730195999146,
   "method": "CB-ASD",
   "proof_rate": 0.20555555555555555,
   "proved": 37,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 87,
   "limit_without_incumbent": 48,
   "max_proved_solver_seconds": 2758.358155965805,
   "median_proved_solver_seconds": 154.313560962677,
   "method": "SSD",
   "proof_rate": 0.25,
   "proved": 45,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 98,
   "limit_without_incumbent": 60,
   "max_proved_solver_seconds": 3420.0164270401,
   "median_proved_solver_seconds": 176.78066551685333,
   "method": "ASD",
   "proof_rate": 0.12222222222222222,
   "proved": 22,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 2,
   "limit_without_incumbent": 54,
   "max_proved_solver_seconds": 2590.800747871399,
   "median_proved_solver_seconds": 14.548555612564087,
   "method": "KKT-BigM",
   "proof_rate": 0.6888888888888889,
   "proved": 124,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 3,
   "limit_without_incumbent": 55,
   "max_proved_solver_seconds": 1938.4594359397888,
   "median_proved_solver_seconds": 14.398768424987793,
   "method": "KKT-SOS1",
   "proof_rate": 0.6777777777777778,
   "proved": 122,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 1,
   "limit_without_incumbent": 30,
   "max_proved_solver_seconds": 2685.458169937134,
   "median_proved_solver_seconds": 4.229682922363281,
   "method": "CB-KKT-BigM",
   "proof_rate": 0.8277777777777777,
   "proved": 149,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 0,
   "limit_without_incumbent": 36,
   "max_proved_solver_seconds": 2692.687584877014,
   "median_proved_solver_seconds": 4.081922888755798,
   "method": "CB-KKT-SOS1",
   "proof_rate": 0.8,
   "proved": 144,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 57,
   "limit_without_incumbent": 53,
   "max_proved_solver_seconds": 3485.699872566969,
   "median_proved_solver_seconds": 1.755892371525988,
   "method": "IOM-Top1 (SSD)",
   "proof_rate": 0.3888888888888889,
   "proved": 70,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 69,
   "limit_without_incumbent": 60,
   "max_proved_solver_seconds": 1954.4020463600757,
   "median_proved_solver_seconds": 1.803257677005604,
   "method": "IOM-Top1 (ASD)",
   "proof_rate": 0.2833333333333333,
   "proved": 51,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 13,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2301.8271380109945,
   "median_proved_solver_seconds": 1.030972982989624,
   "method": "IOM-Top1 (KKT-BigM)",
   "proof_rate": 0.9277777777777778,
   "proved": 167,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 16,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2558.052703551948,
   "median_proved_solver_seconds": 0.8030027149943635,
   "method": "IOM-Top1 (KKT-SOS1)",
   "proof_rate": 0.9111111111111111,
   "proved": 164,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 60,
   "limit_without_incumbent": 54,
   "max_proved_solver_seconds": 2691.0954701049486,
   "median_proved_solver_seconds": 2.57270223100204,
   "method": "IOM-All (SSD)",
   "proof_rate": 0.36666666666666664,
   "proved": 66,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 70,
   "limit_without_incumbent": 65,
   "max_proved_solver_seconds": 1946.681434914004,
   "median_proved_solver_seconds": 2.834906473988667,
   "method": "IOM-All (ASD)",
   "proof_rate": 0.25,
   "proved": 45,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 21,
   "limit_without_incumbent": 0,
   "max_proved_solver_seconds": 2079.5993170719594,
   "median_proved_solver_seconds": 1.0260952080134302,
   "method": "IOM-All (KKT-BigM)",
   "proof_rate": 0.8833333333333333,
   "proved": 159,
   "source_size": "all",
   "tasks": 180
  },
  {
   "limit_with_incumbent": 29,
   "limit_without_incumbent": 1,
   "max_proved_solver_seconds": 2433.180358184036,
   "median_proved_solver_seconds": 0.925975625985302,
   "method": "IOM-All (KKT-SOS1)",
   "proof_rate": 0.8333333333333334,
   "proved": 150,
   "source_size": "all",
   "tasks": 180
  }
 ],
 "schema_version": 1
}