files / problems / seymour-second-neighborhood / compute / certs / pisa8_irregular2.json

2.4 KB · on GitHub

{
  "status": "FEASIBLE",
  "n": 8,
  "miss_deg": null,
  "witness": {
    "n": 8,
    "arcs": [
      [
        0,
        5
      ],
      [
        0,
        6
      ],
      [
        1,
        0
      ],
      [
        1,
        5
      ],
      [
        1,
        6
      ],
      [
        2,
        0
      ],
      [
        2,
        1
      ],
      [
        3,
        0
      ],
      [
        3,
        1
      ],
      [
        4,
        2
      ],
      [
        4,
        3
      ],
      [
        4,
        7
      ],
      [
        5,
        4
      ],
      [
        5,
        6
      ],
      [
        5,
        7
      ],
      [
        6,
        4
      ],
      [
        6,
        7
      ],
      [
        7,
        2
      ],
      [
        7,
        3
      ]
    ],
    "missing": [
      [
        0,
        4
      ],
      [
        0,
        7
      ],
      [
        1,
        4
      ],
      [
        1,
        7
      ],
      [
        2,
        3
      ],
      [
        2,
        5
      ],
      [
        2,
        6
      ],
      [
        3,
        5
      ],
      [
        3,
        6
      ]
    ],
    "outdegrees": [
      2,
      3,
      2,
      2,
      3,
      3,
      2,
      2
    ],
    "margins": [
      0,
      -1,
      0,
      0,
      -1,
      -1,
      0,
      0
    ],
    "delta": 0,
    "strong": true,
    "pisa": true,
    "tight": false,
    "missing_deg": [
      2,
      2,
      2,
      2,
      2,
      2,
      3,
      3
    ],
    "underlying_deg": [
      4,
      4,
      5,
      5,
      5,
      5,
      5,
      5
    ],
    "matching_missing": false,
    "code": 145923119419
  },
  "code": 145923119419,
  "rounds": [
    {
      "round": 0,
      "status": "OPTIMAL",
      "time": 0.057423523000000004,
      "conflicts": 27
    },
    {
      "round": 1,
      "status": "OPTIMAL",
      "time": 0.051133248000000006,
      "conflicts": 0
    },
    {
      "round": 2,
      "status": "OPTIMAL",
      "time": 0.037947277,
      "conflicts": 0
    },
    {
      "round": 3,
      "status": "OPTIMAL",
      "time": 0.045263715,
      "conflicts": 28
    },
    {
      "round": 4,
      "status": "OPTIMAL",
      "time": 0.050376630000000006,
      "conflicts": 51
    },
    {
      "round": 5,
      "status": "OPTIMAL",
      "time": 0.035912996,
      "conflicts": 53
    }
  ],
  "total_time": 0.2780573889999971
}