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

5.2 KB · on GitHub

{
  "published_hkn": 0.3465,
  "personal_communication_3388": 0.3388,
  "linear_scan": [
    {
      "c": 0.36,
      "linear_only_empty": false,
      "t": -8840.79770764237,
      "ok": true
    },
    {
      "c": 0.35757584848484847,
      "linear_only_empty": false,
      "t": -7094.670313761621,
      "ok": true
    },
    {
      "c": 0.35515169696969695,
      "linear_only_empty": false,
      "t": -5385.451091820593,
      "ok": true
    },
    {
      "c": 0.35272754545454543,
      "linear_only_empty": false,
      "t": -3711.263030031253,
      "ok": true
    },
    {
      "c": 0.3503033939393939,
      "linear_only_empty": false,
      "t": -2211.4159005894453,
      "ok": true
    },
    {
      "c": 0.3478792424242424,
      "linear_only_empty": false,
      "t": -755.071277020687,
      "ok": true
    },
    {
      "c": 0.3454550909090909,
      "linear_only_empty": false,
      "t": 64.37072036242496,
      "ok": false
    },
    {
      "c": 0.34303093939393936,
      "linear_only_empty": false,
      "t": 220.49867268742838,
      "ok": false
    },
    {
      "c": 0.34060678787878784,
      "linear_only_empty": false,
      "t": 374.5648142311895,
      "ok": false
    },
    {
      "c": 0.3381826363636363,
      "linear_only_empty": false,
      "t": 526.587008119409,
      "ok": false
    },
    {
      "c": 0.3357584848484848,
      "linear_only_empty": false,
      "t": 676.5847803131481,
      "ok": false
    },
    {
      "c": 0.3333343333333333,
      "linear_only_empty": false,
      "t": 824.5792706275299,
      "ok": false
    }
  ],
  "certificate": {
    "c": 0.34644447067977435,
    "t": -0.02292755955134446,
    "worst_F": -0.0229275594687266,
    "all_negative": true,
    "Q_eigs": [
      9.527376867242648e-09,
      1.0003538236159878e-08,
      1.0063578558022653e-08,
      1.1038497881518951e-08,
      86.04554415298269,
      3547.602385512474,
      24837.23055891561,
      115444.8425676579
    ],
    "Q_min_eig": 9.527376867242648e-09,
    "b": [
      -29.20261165126803,
      -29.20261165132466,
      10674.203416874827,
      7653.907252139246,
      0.0,
      119790.20005946088,
      72019.12680466054,
      86737.38016512505,
      6283.218766808585,
      16305.068923820409,
      77024.15863663288,
      6852.666753480612,
      17217.32027522853,
      -39006.42197900125
    ],
    "cT": 124246.99291786623,
    "cV": 62229.36495656363,
    "d": 6540.547344785617,
    "Q": [
      [
        45233.50667740926,
        25549.733181374704,
        12006.31362635327,
        30360.373812565722,
        -5807.726487635728,
        -6260.432198292773,
        -14378.53984215022,
        -34004.1105581197
      ],
      [
        25549.733181374704,
        15206.46337380151,
        8192.32422402067,
        16638.946038381455,
        -3746.2577417111083,
        -2253.968000722963,
        -10176.776710784572,
        -18739.14085484782
      ],
      [
        12006.31362635327,
        8192.32422402067,
        16139.344763773877,
        2771.576529681114,
        -372.3301557335652,
        5112.804014749996,
        -12018.978034506632,
        -10229.827303795619
      ],
      [
        30360.373812565722,
        16638.946038381455,
        2771.576529681114,
        22651.654232294022,
        -4401.208512761961,
        -7006.980843381698,
        -6333.938929647709,
        -22306.118199442266
      ],
      [
        -5807.726487635728,
        -3746.2577417111083,
        -372.3301557335652,
        -4401.208512761961,
        1430.1671392745648,
        862.3651289929827,
        2246.3060358155003,
        3672.527892959783
      ],
      [
        -6260.432198292773,
        -2253.968000722963,
        5112.804014749996,
        -7006.980843381698,
        862.3651289929827,
        4974.101158778165,
        -3400.58091163687,
        4635.19119690688
      ],
      [
        -14378.53984215022,
        -10176.776710784572,
        -12018.978034506632,
        -6333.938929647709,
        2246.3060358155003,
        -3400.58091163687,
        12015.54680860411,
        10419.499187942765
      ],
      [
        -34004.1105581197,
        -18739.14085484782,
        -10229.827303795619,
        -22306.118199442266,
        3672.527892959783,
        4635.19119690688,
        10419.499187942765,
        26264.93690234405
      ]
    ],
    "F_coords": [
      -0.02292755955134851,
      -0.02292755949783043,
      -13099.143187650356,
      -0.022927559552400112,
      -3413.8934106830247,
      -1824.1334466634657,
      -0.02292755959241788,
      -0.8458270844248545,
      -12538.326705276053,
      -0.0229275594687266,
      -0.022927559570590006,
      -4154.998426815011,
      -8256.518299166772,
      -0.022927559541486175,
      -45622.65524103273,
      -0.022927559599693836,
      -0.02292755956331405,
      -35216.22527819316,
      -0.022927559541486175,
      -48730.28112776598,
      -0.6089788200333714,
      -0.022927559562958777,
      -0.022927559581503942,
      -31114.705405841345,
      -105.5186318631353,
      -0.022927559520212526,
      -0.02292755957114423,
      -0.022927559606969794,
      -0.02292755952693426,
      -9459.872620750732,
      -0.022927559723029844,
      -0.022927559599693836
    ]
  }
}