c Standarized MaxSat Instance
c{
c "sha1sum": "939ed7c57194913ddffeb6a741705b2111243796",
c "nvars": 28,
c "ncls": 196,
c "nhards": 168,
c "nhard_len_stats":
c    { "min": 2, "max": 2, "ave": 2.00,
c      "stddev": 0.00 },
c "nsofts": 28,
c "nsoft_len_stats":
c    { "min": 1, "max": 1, "ave": 1.00,
c      "stddev": 0.00 },
c "nsoft_wts": 1,
c "soft_wt_stats":
c    { "min": 1, "max": 1, "ave": 1.00,
c      "stddev": 0.00 }
c}
c------------------------------------------------------------
c File:  johnson8-2-4.clq
c
c Source: Panos Pardalos pardalos@math.ufl.edu
c
c Reference: Johnson graph: johnsona-b-c is generated by
c            binary vectors of length a and weight b, with
c            two vertices adjacent if the hamming distance
c            between them is at least d.
c
c PSEUDOBOOLEAN 28
p wcnf 28 196 29
1 -1 0
1 -2 0
1 -3 0
1 -4 0
1 -5 0
1 -6 0
1 -7 0
1 -8 0
1 -9 0
1 -10 0
1 -11 0
1 -12 0
1 -13 0
1 -14 0
1 -15 0
1 -16 0
1 -17 0
1 -18 0
1 -19 0
1 -20 0
1 -21 0
1 -22 0
1 -23 0
1 -24 0
1 -25 0
1 -26 0
1 -27 0
1 -28 0
29 1 2 0
29 1 3 0
29 1 4 0
29 1 5 0
29 1 7 0
29 1 8 0
29 1 11 0
29 1 12 0
29 1 16 0
29 1 17 0
29 1 22 0
29 1 23 0
29 2 3 0
29 2 4 0
29 2 6 0
29 2 7 0
29 2 9 0
29 2 11 0
29 2 13 0
29 2 16 0
29 2 18 0
29 2 22 0
29 2 24 0
29 3 5 0
29 3 6 0
29 3 8 0
29 3 9 0
29 3 12 0
29 3 13 0
29 3 17 0
29 3 18 0
29 3 23 0
29 3 24 0
29 4 5 0
29 4 6 0
29 4 7 0
29 4 10 0
29 4 11 0
29 4 14 0
29 4 16 0
29 4 19 0
29 4 22 0
29 4 25 0
29 5 6 0
29 5 8 0
29 5 10 0
29 5 12 0
29 5 14 0
29 5 17 0
29 5 19 0
29 5 23 0
29 5 25 0
29 6 9 0
29 6 10 0
29 6 13 0
29 6 14 0
29 6 18 0
29 6 19 0
29 6 24 0
29 6 25 0
29 7 8 0
29 7 9 0
29 7 10 0
29 7 11 0
29 7 15 0
29 7 16 0
29 7 20 0
29 7 22 0
29 7 26 0
29 8 9 0
29 8 10 0
29 8 12 0
29 8 15 0
29 8 17 0
29 8 20 0
29 8 23 0
29 8 26 0
29 9 10 0
29 9 13 0
29 9 15 0
29 9 18 0
29 9 20 0
29 9 24 0
29 9 26 0
29 10 14 0
29 10 15 0
29 10 19 0
29 10 20 0
29 10 25 0
29 10 26 0
29 11 12 0
29 11 13 0
29 11 14 0
29 11 15 0
29 11 16 0
29 11 21 0
29 11 22 0
29 11 27 0
29 12 13 0
29 12 14 0
29 12 15 0
29 12 17 0
29 12 21 0
29 12 23 0
29 12 27 0
29 13 14 0
29 13 15 0
29 13 18 0
29 13 21 0
29 13 24 0
29 13 27 0
29 14 15 0
29 14 19 0
29 14 21 0
29 14 25 0
29 14 27 0
29 15 20 0
29 15 21 0
29 15 26 0
29 15 27 0
29 16 17 0
29 16 18 0
29 16 19 0
29 16 20 0
29 16 21 0
29 16 22 0
29 16 28 0
29 17 18 0
29 17 19 0
29 17 20 0
29 17 21 0
29 17 23 0
29 17 28 0
29 18 19 0
29 18 20 0
29 18 21 0
29 18 24 0
29 18 28 0
29 19 20 0
29 19 21 0
29 19 25 0
29 19 28 0
29 20 21 0
29 20 26 0
29 20 28 0
29 21 27 0
29 21 28 0
29 22 23 0
29 22 24 0
29 22 25 0
29 22 26 0
29 22 27 0
29 22 28 0
29 23 24 0
29 23 25 0
29 23 26 0
29 23 27 0
29 23 28 0
29 24 25 0
29 24 26 0
29 24 27 0
29 24 28 0
29 25 26 0
29 25 27 0
29 25 28 0
29 26 27 0
29 26 28 0
29 27 28 0