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

4.2 KB · on GitHub

{
  "t": -8.966678437264331,
  "b": [
    -5.900525895861827,
    -7.261024323115043,
    2374.7862761925967,
    1426.589173647603,
    1921.3224433624005,
    39230.038363548614,
    23996.143963548635,
    25771.178595891983,
    0.0,
    6085.217314325421,
    24581.898292807728,
    -724.3876743625221,
    7493.556439630459,
    -13350.965415749206
  ],
  "cT": 39643.09685748681,
  "cV": 19879.21765332939,
  "d": 2079.958277068635,
  "ok": true,
  "Q4": [
    [
      14424.6804,
      8147.649,
      3828.7378000000003,
      9681.732,
      -1852.0474,
      -1996.4124000000002,
      -4585.225800000001,
      -10843.696699999999
    ],
    [
      8147.649,
      4849.245400000001,
      2612.4806,
      5306.0551000000005,
      -1194.6580000000001,
      -718.7762,
      -3245.3100000000004,
      -5975.794
    ],
    [
      3828.7378000000003,
      2612.4806,
      5146.7354,
      883.8383000000003,
      -112.64060000000006,
      1630.4409999999998,
      -3832.7763999999997,
      -3262.2275
    ],
    [
      9681.732,
      5306.0551000000005,
      883.8383000000003,
      7224.7294,
      -1407.451,
      -2238.218,
      -2014.0839000000003,
      -7114.4509
    ],
    [
      -1852.0474,
      -1194.6580000000001,
      -112.64060000000006,
      -1407.451,
      457.4563999999999,
      278.0828,
      713.9196,
      1170.2060000000001
    ],
    [
      -1996.4124000000002,
      -718.7762,
      1630.4409999999998,
      -2238.218,
      278.0828,
      1592.0807999999997,
      -1092.1365999999998,
      1480.1422
    ],
    [
      -4585.225800000001,
      -3245.3100000000004,
      -3832.7763999999997,
      -2014.0839000000003,
      713.9196,
      -1092.1365999999998,
      3841.1498,
      3319.9904
    ],
    [
      -10843.696699999999,
      -5975.794,
      -3262.2275,
      -7114.4509,
      1170.2060000000001,
      1480.1422,
      3319.9904,
      8376.3999
    ]
  ],
  "Q5": [
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ],
    [
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0,
      0.0
    ]
  ],
  "c": 0.3465
}