c Standarized MaxSat Instance
c{
c "sha1sum": "bab0c4a189167018a01e7487ef2ff88067889e12",
c "nvars": 42,
c "ncls": 240,
c "nhards": 198,
c "nhard_nlits": 510,
c "nhard_len_stats":
c    { "min": 2, "max": 7, "ave": 2.5758,
c      "stddev": 1.2680 },
c "nsofts": 42,
c "nsoft_nlits": 42,
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 42 240 43
43 -1 -4 0
43 -1 -2 0
43 1 4 2 0
43 -2 -4 0
43 -2 -5 0
43 -2 -1 0
43 -2 -3 0
43 2 4 5 1 3 0
43 -4 -2 0
43 -4 -1 0
43 -4 -5 0
43 -4 -7 0
43 4 2 1 5 7 0
43 -3 -5 0
43 -3 -2 0
43 -3 -6 0
43 3 5 2 6 0
43 -5 -3 0
43 -5 -4 0
43 -5 -2 0
43 -5 -6 0
43 -5 -7 0
43 -5 -8 0
43 5 3 4 2 6 7 8 0
43 -6 -5 0
43 -6 -3 0
43 -6 -8 0
43 6 5 3 8 0
43 -7 -5 0
43 -7 -4 0
43 -7 -8 0
43 -7 -9 0
43 7 5 4 8 9 0
43 -8 -6 0
43 -8 -7 0
43 -8 -5 0
43 -8 -9 0
43 8 6 7 5 9 0
43 -9 -8 0
43 -9 -7 0
43 9 8 7 0
43 -29 -31 0
43 -29 -30 0
43 29 31 30 0
43 -30 -31 0
43 -30 -29 0
43 -30 -32 0
43 30 31 29 32 0
43 -31 -30 0
43 -31 -29 0
43 -31 -32 0
43 31 30 29 32 0
43 -32 -31 0
43 -32 -30 0
43 32 31 30 0
43 -33 -16 0
43 -33 -34 0
43 -33 -15 0
43 -33 -36 0
43 -33 -35 0
43 33 16 34 15 36 35 0
43 -15 -16 0
43 -15 -14 0
43 -15 -13 0
43 -15 -33 0
43 15 16 14 13 33 0
43 -16 -34 0
43 -16 -15 0
43 -16 -33 0
43 -16 -26 0
43 -16 -14 0
43 -16 -12 0
43 16 34 15 33 26 14 12 0
43 -34 -36 0
43 -34 -16 0
43 -34 -33 0
43 -34 -26 0
43 34 36 16 33 26 0
43 -35 -36 0
43 -35 -33 0
43 -35 -37 0
43 35 36 33 37 0
43 -36 -34 0
43 -36 -35 0
43 -36 -33 0
43 -36 -26 0
43 -36 -37 0
43 -36 -38 0
43 36 34 35 33 26 37 38 0
43 -26 -36 0
43 -26 -16 0
43 -26 -34 0
43 -26 -22 0
43 -26 -12 0
43 -26 -27 0
43 26 36 16 34 22 12 27 0
43 -37 -36 0
43 -37 -35 0
43 -37 -38 0
43 37 36 35 38 0
43 -38 -37 0
43 -38 -36 0
43 38 37 36 0
43 -10 -13 0
43 -10 -11 0
43 10 13 11 0
43 -11 -13 0
43 -11 -14 0
43 -11 -10 0
43 -11 -12 0
43 11 13 14 10 12 0
43 -13 -11 0
43 -13 -10 0
43 -13 -14 0
43 -13 -15 0
43 13 11 10 14 15 0
43 -12 -14 0
43 -12 -11 0
43 -12 -16 0
43 -12 -26 0
43 -12 -22 0
43 -12 -17 0
43 12 14 11 16 26 22 17 0
43 -14 -12 0
43 -14 -13 0
43 -14 -11 0
43 -14 -16 0
43 -14 -15 0
43 14 12 13 11 16 15 0
43 -17 -22 0
43 -17 -12 0
43 -17 -23 0
43 -17 -18 0
43 17 22 12 23 18 0
43 -22 -26 0
43 -22 -17 0
43 -22 -12 0
43 -22 -27 0
43 -22 -23 0
43 22 26 17 12 27 23 0
43 -39 -41 0
43 -39 -40 0
43 39 41 40 0
43 -40 -41 0
43 -40 -39 0
43 -40 -42 0
43 40 41 39 42 0
43 -41 -40 0
43 -41 -39 0
43 -41 -42 0
43 41 40 39 42 0
43 -42 -41 0
43 -42 -40 0
43 42 41 40 0
43 -27 -22 0
43 -27 -26 0
43 -27 -23 0
43 -27 -28 0
43 27 22 26 23 28 0
43 -23 -27 0
43 -23 -17 0
43 -23 -22 0
43 -23 -28 0
43 -23 -18 0
43 -23 -24 0
43 23 27 17 22 28 18 24 0
43 -28 -23 0
43 -28 -27 0
43 28 23 27 0
43 -18 -23 0
43 -18 -17 0
43 -18 -24 0
43 -18 -19 0
43 -18 -21 0
43 18 23 17 24 19 21 0
43 -24 -18 0
43 -24 -23 0
43 -24 -21 0
43 -24 -20 0
43 -24 -25 0
43 24 18 23 21 20 25 0
43 -21 -24 0
43 -21 -19 0
43 -21 -18 0
43 -21 -20 0
43 21 24 19 18 20 0
43 -19 -21 0
43 -19 -18 0
43 -19 -20 0
43 19 21 18 20 0
43 -25 -20 0
43 -25 -24 0
43 25 20 24 0
43 -20 -25 0
43 -20 -21 0
43 -20 -24 0
43 -20 -19 0
43 20 25 21 24 19 0
1 -1 0
1 -2 0
1 -4 0
1 -3 0
1 -5 0
1 -6 0
1 -7 0
1 -8 0
1 -9 0
1 -29 0
1 -30 0
1 -31 0
1 -32 0
1 -33 0
1 -15 0
1 -16 0
1 -34 0
1 -35 0
1 -36 0
1 -26 0
1 -37 0
1 -38 0
1 -10 0
1 -11 0
1 -13 0
1 -12 0
1 -14 0
1 -17 0
1 -22 0
1 -39 0
1 -40 0
1 -41 0
1 -42 0
1 -27 0
1 -23 0
1 -28 0
1 -18 0
1 -24 0
1 -21 0
1 -19 0
1 -25 0
1 -20 0