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

4.5 KB · on GitHub

{
  "n": 21,
  "d": 6,
  "indeg0": null,
  "u_from_1": null,
  "nplus1_from_2": null,
  "exact_in": false,
  "sb": true,
  "header": "p cnf 8743 21303",
  "status": "SAT",
  "time_s": 8.755,
  "timeout_s": 30,
  "returncode": 10,
  "cnf": "ch-21-6.cnf",
  "out": "ch-21-6.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": [
    1,
    5,
    6,
    6,
    8,
    7,
    8,
    6,
    4,
    6,
    5,
    5,
    7,
    6,
    8,
    7,
    5,
    6,
    5,
    8,
    7
  ],
  "two_cycles": [],
  "triangles": [],
  "arcs": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      0,
      5
    ],
    [
      0,
      6
    ],
    [
      1,
      7
    ],
    [
      1,
      12
    ],
    [
      1,
      13
    ],
    [
      1,
      14
    ],
    [
      1,
      15
    ],
    [
      1,
      16
    ],
    [
      2,
      5
    ],
    [
      2,
      7
    ],
    [
      2,
      12
    ],
    [
      2,
      13
    ],
    [
      2,
      14
    ],
    [
      2,
      15
    ],
    [
      3,
      4
    ],
    [
      3,
      6
    ],
    [
      3,
      9
    ],
    [
      3,
      11
    ],
    [
      3,
      18
    ],
    [
      3,
      19
    ],
    [
      4,
      2
    ],
    [
      4,
      5
    ],
    [
      4,
      6
    ],
    [
      4,
      16
    ],
    [
      4,
      17
    ],
    [
      4,
      19
    ],
    [
      5,
      1
    ],
    [
      5,
      7
    ],
    [
      5,
      12
    ],
    [
      5,
      13
    ],
    [
      5,
      14
    ],
    [
      5,
      15
    ],
    [
      6,
      1
    ],
    [
      6,
      2
    ],
    [
      6,
      5
    ],
    [
      6,
      7
    ],
    [
      6,
      16
    ],
    [
      6,
      17
    ],
    [
      7,
      8
    ],
    [
      7,
      12
    ],
    [
      7,
      13
    ],
    [
      7,
      14
    ],
    [
      7,
      15
    ],
    [
      7,
      20
    ],
    [
      8,
      4
    ],
    [
      8,
      9
    ],
    [
      8,
      10
    ],
    [
      8,
      11
    ],
    [
      8,
      19
    ],
    [
      8,
      20
    ],
    [
      9,
      4
    ],
    [
      9,
      6
    ],
    [
      9,
      16
    ],
    [
      9,
      17
    ],
    [
      9,
      18
    ],
    [
      9,
      19
    ],
    [
      10,
      4
    ],
    [
      10,
      6
    ],
    [
      10,
      9
    ],
    [
      10,
      18
    ],
    [
      10,
      19
    ],
    [
      10,
      20
    ],
    [
      11,
      4
    ],
    [
      11,
      6
    ],
    [
      11,
      9
    ],
    [
      11,
      10
    ],
    [
      11,
      18
    ],
    [
      11,
      19
    ],
    [
      12,
      3
    ],
    [
      12,
      10
    ],
    [
      12,
      11
    ],
    [
      12,
      14
    ],
    [
      12,
      15
    ],
    [
      12,
      20
    ],
    [
      13,
      3
    ],
    [
      13,
      8
    ],
    [
      13,
      12
    ],
    [
      13,
      14
    ],
    [
      13,
      15
    ],
    [
      13,
      20
    ],
    [
      14,
      3
    ],
    [
      14,
      8
    ],
    [
      14,
      10
    ],
    [
      14,
      11
    ],
    [
      14,
      15
    ],
    [
      14,
      20
    ],
    [
      15,
      3
    ],
    [
      15,
      8
    ],
    [
      15,
      9
    ],
    [
      15,
      10
    ],
    [
      15,
      11
    ],
    [
      15,
      20
    ],
    [
      16,
      2
    ],
    [
      16,
      7
    ],
    [
      16,
      12
    ],
    [
      16,
      13
    ],
    [
      16,
      14
    ],
    [
      16,
      17
    ],
    [
      17,
      2
    ],
    [
      17,
      5
    ],
    [
      17,
      7
    ],
    [
      17,
      12
    ],
    [
      17,
      13
    ],
    [
      17,
      14
    ],
    [
      18,
      1
    ],
    [
      18,
      4
    ],
    [
      18,
      5
    ],
    [
      18,
      6
    ],
    [
      18,
      17
    ],
    [
      18,
      19
    ],
    [
      19,
      1
    ],
    [
      19,
      2
    ],
    [
      19,
      5
    ],
    [
      19,
      6
    ],
    [
      19,
      16
    ],
    [
      19,
      17
    ],
    [
      20,
      0
    ],
    [
      20,
      3
    ],
    [
      20,
      4
    ],
    [
      20,
      9
    ],
    [
      20,
      18
    ],
    [
      20,
      19
    ]
  ]
}