{ "records": [ { "limit_with_incumbent": 31, "limit_without_incumbent": 3, "max_proved_solver_seconds": 24.229815006256104, "median_proved_solver_seconds": 15.448654532432556, "method": "CB-SSD", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 31, "limit_without_incumbent": 3, "max_proved_solver_seconds": 20.574342966079712, "median_proved_solver_seconds": 13.541873455047607, "method": "CB-ASD", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 1, "max_proved_solver_seconds": 3533.569811105728, "median_proved_solver_seconds": 131.43952441215515, "method": "CB-SSD", "proof_rate": 0.6666666666666666, "proved": 24, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 28, "limit_without_incumbent": 3, "max_proved_solver_seconds": 128.32693600654602, "median_proved_solver_seconds": 28.50729990005493, "method": "CB-ASD", "proof_rate": 0.1388888888888889, "proved": 5, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 12, "limit_without_incumbent": 1, "max_proved_solver_seconds": 3211.2030210494995, "median_proved_solver_seconds": 152.13150000572205, "method": "CB-SSD", "proof_rate": 0.6388888888888888, "proved": 23, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 25, "limit_without_incumbent": 3, "max_proved_solver_seconds": 2222.9264991283417, "median_proved_solver_seconds": 36.13149392604828, "method": "CB-ASD", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 13, "limit_without_incumbent": 0, "max_proved_solver_seconds": 2445.3398010730743, "median_proved_solver_seconds": 140.26106691360474, "method": "CB-SSD", "proof_rate": 0.4583333333333333, "proved": 11, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 21, "limit_without_incumbent": 2, "max_proved_solver_seconds": 6.48785400390625, "median_proved_solver_seconds": 6.48785400390625, "method": "CB-ASD", "proof_rate": 0.041666666666666664, "proved": 1, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 12, "limit_without_incumbent": 0, "max_proved_solver_seconds": 468.2979440689087, "median_proved_solver_seconds": 124.19413006305695, "method": "CB-SSD", "proof_rate": 0.5, "proved": 12, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 21, "limit_without_incumbent": 1, "max_proved_solver_seconds": 183.02533411979675, "median_proved_solver_seconds": 167.3143426179886, "method": "CB-ASD", "proof_rate": 0.08333333333333333, "proved": 2, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 1, "max_proved_solver_seconds": 1833.610969781876, "median_proved_solver_seconds": 270.4303640127182, "method": "CB-SSD", "proof_rate": 0.5, "proved": 12, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 21, "limit_without_incumbent": 2, "max_proved_solver_seconds": 2004.5933899879456, "median_proved_solver_seconds": 2004.5933899879456, "method": "CB-ASD", "proof_rate": 0.041666666666666664, "proved": 1, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 33, "limit_without_incumbent": 3, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "SSD", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 30, "limit_without_incumbent": 6, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "ASD", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 16, "limit_without_incumbent": 11, "max_proved_solver_seconds": 2319.300290822983, "median_proved_solver_seconds": 168.34736895561218, "method": "KKT-BigM", "proof_rate": 0.25, "proved": 9, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 16, "limit_without_incumbent": 20, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "KKT-SOS1", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 17, "limit_without_incumbent": 6, "max_proved_solver_seconds": 2380.1712279319763, "median_proved_solver_seconds": 223.1774458885193, "method": "CB-KKT-BigM", "proof_rate": 0.3611111111111111, "proved": 13, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 19, "limit_without_incumbent": 15, "max_proved_solver_seconds": 29.711600065231323, "median_proved_solver_seconds": 16.51542103290558, "method": "CB-KKT-SOS1", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 13, "limit_without_incumbent": 3, "max_proved_solver_seconds": 2999.850681066513, "median_proved_solver_seconds": 165.04633951187134, "method": "SSD", "proof_rate": 0.5555555555555556, "proved": 20, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 29, "limit_without_incumbent": 6, "max_proved_solver_seconds": 85.23474287986755, "median_proved_solver_seconds": 85.23474287986755, "method": "ASD", "proof_rate": 0.027777777777777776, "proved": 1, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 6, "max_proved_solver_seconds": 1460.4800119400024, "median_proved_solver_seconds": 185.11457705497745, "method": "KKT-BigM", "proof_rate": 0.5277777777777778, "proved": 19, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 26, "limit_without_incumbent": 9, "max_proved_solver_seconds": 1.1935579776763916, "median_proved_solver_seconds": 1.1935579776763916, "method": "KKT-SOS1", "proof_rate": 0.027777777777777776, "proved": 1, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 5, "limit_without_incumbent": 5, "max_proved_solver_seconds": 3209.1969590187077, "median_proved_solver_seconds": 96.8159749507904, "method": "CB-KKT-BigM", "proof_rate": 0.7222222222222222, "proved": 26, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 17, "limit_without_incumbent": 11, "max_proved_solver_seconds": 9.185012102127075, "median_proved_solver_seconds": 3.67363440990448, "method": "CB-KKT-SOS1", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 16, "limit_without_incumbent": 3, "max_proved_solver_seconds": 949.3601529598236, "median_proved_solver_seconds": 147.0862979888916, "method": "SSD", "proof_rate": 0.4722222222222222, "proved": 17, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 24, "limit_without_incumbent": 6, "max_proved_solver_seconds": 1687.6376059055328, "median_proved_solver_seconds": 120.84115660190582, "method": "ASD", "proof_rate": 0.16666666666666666, "proved": 6, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 11, "max_proved_solver_seconds": 1337.428544998169, "median_proved_solver_seconds": 43.48684787750244, "method": "KKT-BigM", "proof_rate": 0.5, "proved": 18, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 16, "limit_without_incumbent": 13, "max_proved_solver_seconds": 652.594889163971, "median_proved_solver_seconds": 0.6123919486999512, "method": "KKT-SOS1", "proof_rate": 0.19444444444444445, "proved": 7, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 5, "max_proved_solver_seconds": 3317.602514028549, "median_proved_solver_seconds": 29.956414103507996, "method": "CB-KKT-BigM", "proof_rate": 0.6666666666666666, "proved": 24, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 13, "limit_without_incumbent": 14, "max_proved_solver_seconds": 514.1715059280396, "median_proved_solver_seconds": 0.2516779899597168, "method": "CB-KKT-SOS1", "proof_rate": 0.25, "proved": 9, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 10, "limit_without_incumbent": 4, "max_proved_solver_seconds": 628.9687750339508, "median_proved_solver_seconds": 135.3034839630127, "method": "SSD", "proof_rate": 0.4166666666666667, "proved": 10, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 19, "limit_without_incumbent": 5, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "ASD", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 6, "max_proved_solver_seconds": 3053.147819042206, "median_proved_solver_seconds": 180.95192313194275, "method": "KKT-BigM", "proof_rate": 0.4583333333333333, "proved": 11, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 15, "limit_without_incumbent": 9, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "KKT-SOS1", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 10, "limit_without_incumbent": 1, "max_proved_solver_seconds": 2064.8729560375214, "median_proved_solver_seconds": 137.001207113266, "method": "CB-KKT-BigM", "proof_rate": 0.5416666666666666, "proved": 13, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 15, "limit_without_incumbent": 6, "max_proved_solver_seconds": 3.058478116989136, "median_proved_solver_seconds": 2.7379729747772217, "method": "CB-KKT-SOS1", "proof_rate": 0.125, "proved": 3, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 4, "max_proved_solver_seconds": 2837.5986840724945, "median_proved_solver_seconds": 293.37847089767456, "method": "SSD", "proof_rate": 0.375, "proved": 9, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 19, "limit_without_incumbent": 5, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "ASD", "proof_rate": 0.0, "proved": 0, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 9, "limit_without_incumbent": 4, "max_proved_solver_seconds": 1771.6385080814362, "median_proved_solver_seconds": 220.57066011428836, "method": "KKT-BigM", "proof_rate": 0.4583333333333333, "proved": 11, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 14, "limit_without_incumbent": 8, "max_proved_solver_seconds": 32.26671814918518, "median_proved_solver_seconds": 16.863853573799133, "method": "KKT-SOS1", "proof_rate": 0.08333333333333333, "proved": 2, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 6, "limit_without_incumbent": 3, "max_proved_solver_seconds": 1682.7784521579742, "median_proved_solver_seconds": 173.04128408432007, "method": "CB-KKT-BigM", "proof_rate": 0.625, "proved": 15, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 13, "limit_without_incumbent": 6, "max_proved_solver_seconds": 57.97120499610901, "median_proved_solver_seconds": 10.419574975967407, "method": "CB-KKT-SOS1", "proof_rate": 0.20833333333333334, "proved": 5, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 9, "limit_without_incumbent": 3, "max_proved_solver_seconds": 1276.8464179039, "median_proved_solver_seconds": 220.2510280609131, "method": "SSD", "proof_rate": 0.5, "proved": 12, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 20, "limit_without_incumbent": 4, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "ASD", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 8, "limit_without_incumbent": 7, "max_proved_solver_seconds": 3512.457010984421, "median_proved_solver_seconds": 129.9159460067749, "method": "KKT-BigM", "proof_rate": 0.375, "proved": 9, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 13, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "KKT-SOS1", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 4, "max_proved_solver_seconds": 3491.5185368061066, "median_proved_solver_seconds": 444.31651496887207, "method": "CB-KKT-BigM", "proof_rate": 0.5416666666666666, "proved": 13, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 14, "limit_without_incumbent": 9, "max_proved_solver_seconds": 2.9767038822174072, "median_proved_solver_seconds": 2.9767038822174072, "method": "CB-KKT-SOS1", "proof_rate": 0.041666666666666664, "proved": 1, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 22, "limit_without_incumbent": 6, "max_proved_solver_seconds": 2320.853142024018, "median_proved_solver_seconds": 15.523334582569078, "method": "IOM-Top1 (SSD)", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 27, "limit_without_incumbent": 7, "max_proved_solver_seconds": 1.7308142690453678, "median_proved_solver_seconds": 1.459456823533401, "method": "IOM-Top1 (ASD)", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 36, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 36, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 19, "limit_without_incumbent": 0, "max_proved_solver_seconds": 1980.4588539340768, "median_proved_solver_seconds": 63.24212107807398, "method": "IOM-Top1 (SSD)", "proof_rate": 0.4722222222222222, "proved": 17, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 31, "limit_without_incumbent": 0, "max_proved_solver_seconds": 3483.782910918002, "median_proved_solver_seconds": 53.509179632063024, "method": "IOM-Top1 (ASD)", "proof_rate": 0.1388888888888889, "proved": 5, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 25, "limit_without_incumbent": 9, "max_proved_solver_seconds": 624.3692907090299, "median_proved_solver_seconds": 438.1907804280054, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 6, "limit_without_incumbent": 30, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 5, "limit_without_incumbent": 14, "max_proved_solver_seconds": 2987.450236264965, "median_proved_solver_seconds": 0.9293436988955364, "method": "IOM-Top1 (SSD)", "proof_rate": 0.4722222222222222, "proved": 17, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 15, "limit_without_incumbent": 14, "max_proved_solver_seconds": 3561.040282055037, "median_proved_solver_seconds": 13.294662444037384, "method": "IOM-Top1 (ASD)", "proof_rate": 0.19444444444444445, "proved": 7, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 8, "limit_without_incumbent": 20, "max_proved_solver_seconds": 1128.2401409739396, "median_proved_solver_seconds": 7.280264482978964, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 22, "max_proved_solver_seconds": 49.50303665990941, "median_proved_solver_seconds": 5.471295216004364, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.19444444444444445, "proved": 7, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 7, "max_proved_solver_seconds": 1275.9663320749532, "median_proved_solver_seconds": 125.68091600749176, "method": "IOM-Top1 (SSD)", "proof_rate": 0.25, "proved": 6, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 17, "limit_without_incumbent": 7, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 17, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 3, "limit_without_incumbent": 21, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 15, "limit_without_incumbent": 2, "max_proved_solver_seconds": 2130.1944088710006, "median_proved_solver_seconds": 23.597548306104727, "method": "IOM-Top1 (SSD)", "proof_rate": 0.2916666666666667, "proved": 7, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 22, "limit_without_incumbent": 2, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 11, "limit_without_incumbent": 12, "max_proved_solver_seconds": 116.47799470706376, "median_proved_solver_seconds": 116.47799470706376, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.041666666666666664, "proved": 1, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 5, "limit_without_incumbent": 19, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 4, "limit_without_incumbent": 20, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (SSD)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 4, "limit_without_incumbent": 20, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 1, "limit_without_incumbent": 23, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 24, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 19, "limit_without_incumbent": 6, "max_proved_solver_seconds": 3270.3855775620323, "median_proved_solver_seconds": 181.90701650595287, "method": "IOM-All (SSD)", "proof_rate": 0.3055555555555556, "proved": 11, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 27, "limit_without_incumbent": 7, "max_proved_solver_seconds": 1.7167437899624929, "median_proved_solver_seconds": 1.4943743200274184, "method": "IOM-All (ASD)", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 36, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 36, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 30, "tasks": 36 }, { "limit_with_incumbent": 14, "limit_without_incumbent": 0, "max_proved_solver_seconds": 3578.5253192620585, "median_proved_solver_seconds": 71.86745879199589, "method": "IOM-All (SSD)", "proof_rate": 0.6111111111111112, "proved": 22, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 31, "limit_without_incumbent": 0, "max_proved_solver_seconds": 3528.095798744005, "median_proved_solver_seconds": 48.67368139600149, "method": "IOM-All (ASD)", "proof_rate": 0.1388888888888889, "proved": 5, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 25, "limit_without_incumbent": 9, "max_proved_solver_seconds": 611.4600823959918, "median_proved_solver_seconds": 435.65573990900884, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.05555555555555555, "proved": 2, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 6, "limit_without_incumbent": 30, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 35, "tasks": 36 }, { "limit_with_incumbent": 5, "limit_without_incumbent": 14, "max_proved_solver_seconds": 2063.146697757067, "median_proved_solver_seconds": 0.5999069130048156, "method": "IOM-All (SSD)", "proof_rate": 0.4722222222222222, "proved": 17, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 14, "limit_without_incumbent": 14, "max_proved_solver_seconds": 2162.3556458799867, "median_proved_solver_seconds": 28.648453773988876, "method": "IOM-All (ASD)", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 8, "limit_without_incumbent": 20, "max_proved_solver_seconds": 566.3747601889772, "median_proved_solver_seconds": 9.013197085499996, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.2222222222222222, "proved": 8, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 22, "max_proved_solver_seconds": 43.32358592899982, "median_proved_solver_seconds": 4.903595220996067, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.19444444444444445, "proved": 7, "source_size": 40, "tasks": 36 }, { "limit_with_incumbent": 10, "limit_without_incumbent": 7, "max_proved_solver_seconds": 1263.137480293983, "median_proved_solver_seconds": 93.92928541591392, "method": "IOM-All (SSD)", "proof_rate": 0.2916666666666667, "proved": 7, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 17, "limit_without_incumbent": 7, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 7, "limit_without_incumbent": 17, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 3, "limit_without_incumbent": 21, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 45, "tasks": 24 }, { "limit_with_incumbent": 14, "limit_without_incumbent": 2, "max_proved_solver_seconds": 1371.6117957240203, "median_proved_solver_seconds": 16.47359754354693, "method": "IOM-All (SSD)", "proof_rate": 0.3333333333333333, "proved": 8, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 22, "limit_without_incumbent": 2, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 10, "limit_without_incumbent": 12, "max_proved_solver_seconds": 1674.0650777469857, "median_proved_solver_seconds": 899.8562049714966, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.08333333333333333, "proved": 2, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 5, "limit_without_incumbent": 19, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 50, "tasks": 24 }, { "limit_with_incumbent": 3, "limit_without_incumbent": 20, "max_proved_solver_seconds": 836.463751014031, "median_proved_solver_seconds": 836.463751014031, "method": "IOM-All (SSD)", "proof_rate": 0.041666666666666664, "proved": 1, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 4, "limit_without_incumbent": 20, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (ASD)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 1, "limit_without_incumbent": 23, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 0, "limit_without_incumbent": 24, "max_proved_solver_seconds": null, "median_proved_solver_seconds": null, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.0, "proved": 0, "source_size": 55, "tasks": 24 }, { "limit_with_incumbent": 90, "limit_without_incumbent": 6, "max_proved_solver_seconds": 3533.569811105728, "median_proved_solver_seconds": 132.76027750968933, "method": "CB-SSD", "proof_rate": 0.4666666666666667, "proved": 84, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 147, "limit_without_incumbent": 14, "max_proved_solver_seconds": 2222.9264991283417, "median_proved_solver_seconds": 28.50729990005493, "method": "CB-ASD", "proof_rate": 0.10555555555555556, "proved": 19, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 92, "limit_without_incumbent": 20, "max_proved_solver_seconds": 2999.850681066513, "median_proved_solver_seconds": 166.19253945350647, "method": "SSD", "proof_rate": 0.37777777777777777, "proved": 68, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 141, "limit_without_incumbent": 32, "max_proved_solver_seconds": 1687.6376059055328, "median_proved_solver_seconds": 85.23474287986755, "method": "ASD", "proof_rate": 0.03888888888888889, "proved": 7, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 58, "limit_without_incumbent": 45, "max_proved_solver_seconds": 3512.457010984421, "median_proved_solver_seconds": 131.146625995636, "method": "KKT-BigM", "proof_rate": 0.42777777777777776, "proved": 77, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 98, "limit_without_incumbent": 72, "max_proved_solver_seconds": 652.594889163971, "median_proved_solver_seconds": 1.3272734880447388, "method": "KKT-SOS1", "proof_rate": 0.05555555555555555, "proved": 10, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 52, "limit_without_incumbent": 24, "max_proved_solver_seconds": 3491.5185368061066, "median_proved_solver_seconds": 129.28349351882935, "method": "CB-KKT-BigM", "proof_rate": 0.5777777777777777, "proved": 104, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 91, "limit_without_incumbent": 61, "max_proved_solver_seconds": 514.1715059280396, "median_proved_solver_seconds": 3.188860058784485, "method": "CB-KKT-SOS1", "proof_rate": 0.15555555555555556, "proved": 28, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 76, "limit_without_incumbent": 49, "max_proved_solver_seconds": 2987.450236264965, "median_proved_solver_seconds": 23.597548306104727, "method": "IOM-Top1 (SSD)", "proof_rate": 0.3055555555555556, "proved": 55, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 116, "limit_without_incumbent": 50, "max_proved_solver_seconds": 3561.040282055037, "median_proved_solver_seconds": 12.109005731035722, "method": "IOM-Top1 (ASD)", "proof_rate": 0.07777777777777778, "proved": 14, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 52, "limit_without_incumbent": 117, "max_proved_solver_seconds": 1128.2401409739396, "median_proved_solver_seconds": 45.55842949997168, "method": "IOM-Top1 (KKT-BigM)", "proof_rate": 0.06111111111111111, "proved": 11, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 21, "limit_without_incumbent": 152, "max_proved_solver_seconds": 49.50303665990941, "median_proved_solver_seconds": 5.471295216004364, "method": "IOM-Top1 (KKT-SOS1)", "proof_rate": 0.03888888888888889, "proved": 7, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 65, "limit_without_incumbent": 49, "max_proved_solver_seconds": 3578.5253192620585, "median_proved_solver_seconds": 45.51006978645455, "method": "IOM-All (SSD)", "proof_rate": 0.36666666666666664, "proved": 66, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 115, "limit_without_incumbent": 50, "max_proved_solver_seconds": 3528.095798744005, "median_proved_solver_seconds": 15.198461462976413, "method": "IOM-All (ASD)", "proof_rate": 0.08333333333333333, "proved": 15, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 51, "limit_without_incumbent": 117, "max_proved_solver_seconds": 1674.0650777469857, "median_proved_solver_seconds": 87.34565843152814, "method": "IOM-All (KKT-BigM)", "proof_rate": 0.06666666666666667, "proved": 12, "source_size": "all", "tasks": 180 }, { "limit_with_incumbent": 21, "limit_without_incumbent": 152, "max_proved_solver_seconds": 43.32358592899982, "median_proved_solver_seconds": 4.903595220996067, "method": "IOM-All (KKT-SOS1)", "proof_rate": 0.03888888888888889, "proved": 7, "source_size": "all", "tasks": 180 } ], "schema_version": 1 }