files / problems / caccetta-haggkvist-k3 / compute / certs / sdp_bound.json

5.5 KB · on GitHub

{
  "published_hkn": 0.3465,
  "personal_communication_3388": 0.3388,
  "grid": [
    {
      "c": 0.3465,
      "status": "optimal_inaccurate",
      "feasible": true,
      "worst_F_replay": -1.0037748646521152,
      "all_negative": true,
      "Q_min_eig": 0.0004889678850190583
    },
    {
      "c": 0.3464,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.3463,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.3462,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.346,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.3455,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.345,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.344,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.343,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.342,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.34,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    },
    {
      "c": 0.3388,
      "status": "infeasible",
      "feasible": false,
      "worst_F_replay": null,
      "all_negative": null,
      "Q_min_eig": null
    }
  ],
  "sdp_threshold": 0.34643940130869555,
  "certificate": {
    "c": 0.34643940130869555,
    "t_sdp": -0.9968193987770064,
    "worst_F_replay": -0.9968193987770064,
    "all_negative": true,
    "Q_min_eig": -2.1078800075699865e-11,
    "b": [
      -43.87065750166752,
      -43.86951393464236,
      9406.43189192828,
      7.193823452961831e-06,
      -9.791870707877085e-05,
      130490.87516551725,
      140962.20949431867,
      84735.24646385145,
      3.09640528894867e-05,
      24191.375162311255,
      72468.95652493347,
      -8.135936725342422e-05,
      0.00010566437435704495,
      6.78403306555657e-05
    ],
    "cT": 183907.5058496974,
    "cV": 98548.4936949095,
    "d": 9885.252632421278,
    "Q": [
      [
        48518.27171647724,
        48842.00689235316,
        2732.5234358866855,
        31762.851836834012,
        10264.848134159598,
        -14773.046309823105,
        -28575.89246131018,
        -53283.29501595774
      ],
      [
        48842.00689235315,
        52431.677353607505,
        6600.694462096922,
        29583.369442319392,
        9791.40395067889,
        -13414.156386904433,
        -33487.82459914695,
        -53096.879995648465
      ],
      [
        2732.5234358866855,
        6600.694462096922,
        14559.553994798127,
        -3872.5541267254803,
        5725.4487683702755,
        7901.728776801827,
        -14193.143170074141,
        -8148.380673566386
      ],
      [
        31762.851836834012,
        29583.369442319396,
        -3872.55412672548,
        23363.97068329879,
        5450.73888717374,
        -12759.087023626134,
        -13228.169012891503,
        -33613.04740214397
      ],
      [
        10264.848134159598,
        9791.403950678892,
        5725.448768370276,
        5450.73888717374,
        5656.233500689333,
        747.3818103405331,
        -9376.664368809816,
        -14757.600340154071
      ],
      [
        -14773.046309823105,
        -13414.156386904433,
        7901.728776801829,
        -12759.087023626134,
        747.3818103405332,
        10137.046024733014,
        1604.5073759011045,
        12350.940915339062
      ],
      [
        -28575.892461310177,
        -33487.82459914696,
        -14193.143170074143,
        -13228.169012891502,
        -9376.664368809816,
        1604.5073759011038,
        28648.133854139545,
        34713.42155801334
      ],
      [
        -53283.29501595773,
        -53096.87999564847,
        -8148.380673566386,
        -33613.04740214397,
        -14757.600340154071,
        12350.940915339062,
        34713.42155801334,
        62001.02708147225
      ]
    ],
    "F_coords": [
      -0.9995627549477035,
      -1.0002802954363688,
      -21789.503702383987,
      -1.000601010014634,
      -1.000985184145975,
      -15335.317876737125,
      -1.0001213328682752,
      -0.9994060957615147,
      -6431.972551955525,
      -0.9987055020715161,
      -0.9987107018637289,
      -1.0002872208310691,
      -10895.250514378007,
      -0.9991534237447013,
      -56365.72817071325,
      -1.0000767815322433,
      -1.001739331036788,
      -60169.4971381926,
      -1.0013705070991819,
      -81357.56706540765,
      -0.9991500289797841,
      -0.9968193987770064,
      -1.0021074932915326,
      -49275.24626400784,
      -13983.508838323676,
      -0.9994033522089012,
      -1.0018444590023137,
      -1.0015513093198933,
      -1.002040109200152,
      -1.0009674368193373,
      -1.0011316228956275,
      -0.9992394583928217
    ]
  }
}