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

5.9 KB · on GitHub

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