files / problems / caccetta-haggkvist-k3 / compute / q3 / certs / keep / sos_nonedge.json

3.2 KB · on GitHub

{
  "n_labeled_by_type": [
    1,
    12,
    12,
    24,
    12,
    4,
    12,
    12,
    4,
    24,
    12,
    24,
    24,
    24,
    24,
    24,
    24,
    24,
    24,
    24,
    24,
    6,
    12,
    24,
    24,
    12,
    12,
    24,
    6,
    24,
    12,
    24
  ],
  "eta_flags": 9,
  "best_t_by_c": {
    "0.34645": {
      "t": -0.7670877361561836,
      "b": [
        -9.110057487398821,
        -9.110057487381706,
        3394.1327250537784,
        2444.6929394796384,
        0.0,
        38210.17673496437,
        22976.282334964344,
        27691.50277033458,
        2038.5575785034312,
        5181.666157559024,
        24580.923024293326,
        2215.3059493471646,
        5458.49534269224,
        -12448.170747530086
      ],
      "cT": 39638.478613575564,
      "cV": 19881.1405855741,
      "d": 2079.602559716316,
      "ok": true
    },
    "0.346": {
      "t": 72.89161274246476,
      "b": [
        -26.230045542872528,
        -26.23004554286555,
        3397.893204615518,
        2441.0415559765324,
        0.0,
        38201.56975987262,
        22967.675359872617,
        27683.49234016863,
        2041.715177741064,
        5176.6183338899455,
        24575.1817863676,
        2213.3251909831365,
        5479.607115336987,
        -12444.504230096387
      ],
      "cT": 39602.449152673194,
      "cV": 19888.55244863895,
      "d": 2078.458930721509,
      "ok": false
    },
    "0.34": {
      "t": 1037.9450414030841,
      "b": [
        -256.81768225356706,
        -256.8176822535714,
        3447.313905553205,
        2392.2972002157103,
        0.0,
        38086.908256037364,
        22853.01385603736,
        27569.169008921825,
        2089.6537796530642,
        5111.459228818864,
        24501.220909076514,
        2188.7850146297296,
        5763.157053188528,
        -12393.818900118511
      ],
      "cT": 39123.833730464765,
      "cV": 19986.717505337514,
      "d": 2056.4796232227704,
      "ok": false
    },
    "0.3388": {
      "t": 1227.1642386884137,
      "b": [
        -303.4694104917227,
        -303.4694104917274,
        3457.0123037460385,
        2382.5097235387466,
        0.0,
        38063.98776179395,
        22830.093361793944,
        27546.203975436332,
        2099.703406079753,
        5098.8985969195965,
        24486.987668224232,
        2184.25017197029,
        5820.3217892799685,
        -12383.30976217434
      ],
      "cT": 39028.507984385054,
      "cV": 20006.203380207273,
      "d": 2051.4192341904163,
      "ok": false
    },
    "0.335": {
      "t": 1818.1383070212746,
      "b": [
        -452.4249967201942,
        -452.4249967201845,
        3487.2373596630437,
        2351.3525404019115,
        0.0,
        37991.39892044853,
        22757.504520448518,
        27473.14907048099,
        2132.4366234508243,
        5060.1363620206475,
        24443.084729535738,
        2170.5722891987934,
        6002.324693687035,
        -12349.30680271974
      ],
      "cT": 38727.51850540798,
      "cV": 20067.585619261146,
      "d": 2033.9326463278394,
      "ok": false
    }
  },
  "note": "t<0 certifies emptiness at that c. If the best t at c<0.34645 stays nonnegative, the extra SOS did not move the F4 threshold."
}