files / problems / caccetta-haggkvist-k3 / compute / q2 / certs / keep / soundness_n21_d6_k6.json

4.5 KB · on GitHub

{
  "n": 21,
  "d": 6,
  "indeg0": 6,
  "u_from_1": null,
  "nplus1_from_2": null,
  "exact_in": false,
  "sb": true,
  "header": "p cnf 8476 20734",
  "status": "SAT",
  "time_s": 0.15,
  "timeout_s": 30,
  "returncode": 10,
  "cnf": "ch-21-6-k6.cnf",
  "out": "ch-21-6-k6.out",
  "verified_model": true,
  "min_out": 6,
  "narcs": 126,
  "outdeg": [
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6,
    6
  ],
  "indeg": [
    6,
    6,
    6,
    7,
    7,
    4,
    7,
    6,
    6,
    6,
    7,
    5,
    4,
    7,
    4,
    7,
    7,
    7,
    7,
    5,
    5
  ],
  "two_cycles": [],
  "triangles": [],
  "arcs": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      0,
      5
    ],
    [
      0,
      6
    ],
    [
      1,
      13
    ],
    [
      1,
      14
    ],
    [
      1,
      15
    ],
    [
      1,
      16
    ],
    [
      1,
      17
    ],
    [
      1,
      18
    ],
    [
      2,
      1
    ],
    [
      2,
      13
    ],
    [
      2,
      15
    ],
    [
      2,
      16
    ],
    [
      2,
      17
    ],
    [
      2,
      18
    ],
    [
      3,
      1
    ],
    [
      3,
      2
    ],
    [
      3,
      13
    ],
    [
      3,
      14
    ],
    [
      3,
      15
    ],
    [
      3,
      16
    ],
    [
      4,
      1
    ],
    [
      4,
      2
    ],
    [
      4,
      3
    ],
    [
      4,
      13
    ],
    [
      4,
      15
    ],
    [
      4,
      16
    ],
    [
      5,
      1
    ],
    [
      5,
      2
    ],
    [
      5,
      3
    ],
    [
      5,
      4
    ],
    [
      5,
      14
    ],
    [
      5,
      18
    ],
    [
      6,
      1
    ],
    [
      6,
      2
    ],
    [
      6,
      3
    ],
    [
      6,
      4
    ],
    [
      6,
      5
    ],
    [
      6,
      14
    ],
    [
      7,
      0
    ],
    [
      7,
      6
    ],
    [
      7,
      9
    ],
    [
      7,
      10
    ],
    [
      7,
      11
    ],
    [
      7,
      12
    ],
    [
      8,
      0
    ],
    [
      8,
      6
    ],
    [
      8,
      7
    ],
    [
      8,
      9
    ],
    [
      8,
      10
    ],
    [
      8,
      11
    ],
    [
      9,
      0
    ],
    [
      9,
      3
    ],
    [
      9,
      4
    ],
    [
      9,
      10
    ],
    [
      9,
      11
    ],
    [
      9,
      12
    ],
    [
      10,
      0
    ],
    [
      10,
      3
    ],
    [
      10,
      4
    ],
    [
      10,
      6
    ],
    [
      10,
      11
    ],
    [
      10,
      12
    ],
    [
      11,
      0
    ],
    [
      11,
      3
    ],
    [
      11,
      4
    ],
    [
      11,
      5
    ],
    [
      11,
      6
    ],
    [
      11,
      13
    ],
    [
      12,
      0
    ],
    [
      12,
      2
    ],
    [
      12,
      4
    ],
    [
      12,
      11
    ],
    [
      12,
      13
    ],
    [
      12,
      15
    ],
    [
      13,
      15
    ],
    [
      13,
      16
    ],
    [
      13,
      17
    ],
    [
      13,
      18
    ],
    [
      13,
      19
    ],
    [
      13,
      20
    ],
    [
      14,
      12
    ],
    [
      14,
      13
    ],
    [
      14,
      15
    ],
    [
      14,
      16
    ],
    [
      14,
      17
    ],
    [
      14,
      18
    ],
    [
      15,
      8
    ],
    [
      15,
      16
    ],
    [
      15,
      17
    ],
    [
      15,
      18
    ],
    [
      15,
      19
    ],
    [
      15,
      20
    ],
    [
      16,
      7
    ],
    [
      16,
      8
    ],
    [
      16,
      17
    ],
    [
      16,
      18
    ],
    [
      16,
      19
    ],
    [
      16,
      20
    ],
    [
      17,
      7
    ],
    [
      17,
      8
    ],
    [
      17,
      9
    ],
    [
      17,
      10
    ],
    [
      17,
      19
    ],
    [
      17,
      20
    ],
    [
      18,
      7
    ],
    [
      18,
      8
    ],
    [
      18,
      9
    ],
    [
      18,
      10
    ],
    [
      18,
      17
    ],
    [
      18,
      19
    ],
    [
      19,
      6
    ],
    [
      19,
      7
    ],
    [
      19,
      8
    ],
    [
      19,
      9
    ],
    [
      19,
      10
    ],
    [
      19,
      20
    ],
    [
      20,
      5
    ],
    [
      20,
      6
    ],
    [
      20,
      7
    ],
    [
      20,
      8
    ],
    [
      20,
      9
    ],
    [
      20,
      10
    ]
  ]
}