c Standarized MaxSat Instance
c{
c "sha1sum": "d67de400c8a297d3170f53b53469a10ff0622e84",
c "nvars": 32,
c "ncls": 200,
c "nhards": 168,
c "nhard_nlits": 440,
c "nhard_len_stats":
c    { "min": 2, "max": 15, "ave": 2.6190,
c      "stddev": 1.9267 },
c "nsofts": 32,
c "nsoft_nlits": 32,
c "nsoft_len_stats":
c    { "min": 1, "max": 1, "ave": 1.0000,
c      "stddev": 0.0000 },
c "nsoft_wts": 1,
c "soft_wt_stats":
c    { "min": 1, "max": 1, "ave": 1.0000,
c      "stddev": 0.0000 }
c}
c------------------------------------------------------------
c Triangle-Driven Community Detection in Large Graphs
c jabbour@cril.fr, badran.raddaoui@gmail.com, sais@cril.fr
c
p wcnf 32 200 33
33 -2 -3 0
33 -2 -4 0
33 -2 -8 0
33 -2 -12 0
33 -2 -16 0
33 -2 -18 0
33 -2 -20 0
33 -2 -1 0
33 2 3 4 8 12 16 18 20 1 0
33 -1 -3 0
33 -1 -4 0
33 -1 -8 0
33 -1 -12 0
33 -1 -16 0
33 -1 -18 0
33 -1 -20 0
33 -1 -2 0
33 -1 -9 0
33 -1 -11 0
33 -1 -7 0
33 -1 -10 0
33 -1 -5 0
33 -1 -6 0
33 1 3 4 8 12 16 18 20 2 9 11 7 10 5 6 0
33 -3 -2 0
33 -3 -4 0
33 -3 -8 0
33 -3 -9 0
33 -3 -12 0
33 -3 -1 0
33 -3 -31 0
33 3 2 4 8 9 12 1 31 0
33 -4 -2 0
33 -4 -3 0
33 -4 -8 0
33 -4 -11 0
33 -4 -12 0
33 -4 -1 0
33 4 2 3 8 11 12 1 0
33 -5 -7 0
33 -5 -10 0
33 -5 -1 0
33 5 7 10 1 0
33 -6 -7 0
33 -6 -10 0
33 -6 -1 0
33 -6 -15 0
33 6 7 10 1 15 0
33 -7 -5 0
33 -7 -6 0
33 -7 -1 0
33 -7 -15 0
33 7 5 6 1 15 0
33 -8 -2 0
33 -8 -3 0
33 -8 -4 0
33 -8 -1 0
33 8 2 3 4 1 0
33 -9 -3 0
33 -9 -1 0
33 -9 -31 0
33 -9 -32 0
33 -9 -29 0
33 9 3 1 31 32 29 0
33 -10 -5 0
33 -10 -6 0
33 -10 -1 0
33 10 5 6 1 0
33 -11 -4 0
33 -11 -1 0
33 11 4 1 0
33 -12 -2 0
33 -12 -3 0
33 -12 -4 0
33 -12 -1 0
33 12 2 3 4 1 0
33 -15 -7 0
33 -15 -6 0
33 15 7 6 0
33 -16 -2 0
33 -16 -1 0
33 16 2 1 0
33 -18 -2 0
33 -18 -1 0
33 18 2 1 0
33 -20 -2 0
33 -20 -1 0
33 20 2 1 0
33 -24 -30 0
33 -24 -23 0
33 -24 -27 0
33 24 30 23 27 0
33 -23 -30 0
33 -23 -24 0
33 23 30 24 0
33 -27 -30 0
33 -27 -24 0
33 -27 -32 0
33 27 30 24 32 0
33 -26 -32 0
33 -26 -22 0
33 26 32 22 0
33 -22 -32 0
33 -22 -31 0
33 -22 -28 0
33 -22 -26 0
33 22 32 31 28 26 0
33 -28 -31 0
33 -28 -32 0
33 -28 -22 0
33 -28 -25 0
33 28 31 32 22 25 0
33 -25 -32 0
33 -25 -28 0
33 25 32 28 0
33 -29 -31 0
33 -29 -32 0
33 -29 -9 0
33 29 31 32 9 0
33 -30 -24 0
33 -30 -23 0
33 -30 -27 0
33 -30 -32 0
33 -30 -31 0
33 30 24 23 27 32 31 0
33 -31 -9 0
33 -31 -3 0
33 -31 -29 0
33 -31 -32 0
33 -31 -28 0
33 -31 -22 0
33 -31 -13 0
33 -31 -14 0
33 -31 -17 0
33 -31 -19 0
33 -31 -21 0
33 -31 -30 0
33 31 9 3 29 32 28 22 13 14 17 19 21 30 0
33 -13 -32 0
33 -13 -31 0
33 13 32 31 0
33 -14 -32 0
33 -14 -31 0
33 14 32 31 0
33 -17 -32 0
33 -17 -31 0
33 17 32 31 0
33 -19 -32 0
33 -19 -31 0
33 19 32 31 0
33 -21 -32 0
33 -21 -31 0
33 21 32 31 0
33 -32 -29 0
33 -32 -31 0
33 -32 -26 0
33 -32 -28 0
33 -32 -22 0
33 -32 -30 0
33 -32 -25 0
33 -32 -9 0
33 -32 -27 0
33 -32 -13 0
33 -32 -14 0
33 -32 -17 0
33 -32 -19 0
33 -32 -21 0
33 32 29 31 26 28 22 30 25 9 27 13 14 17 19 21 0
1 -2 0
1 -1 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 -15 0
1 -16 0
1 -18 0
1 -20 0
1 -24 0
1 -23 0
1 -27 0
1 -26 0
1 -22 0
1 -28 0
1 -25 0
1 -29 0
1 -30 0
1 -31 0
1 -13 0
1 -14 0
1 -17 0
1 -19 0
1 -21 0
1 -32 0