c Standarized MaxSat Instance c{ c "sha1sum": "ef44f70b8368690f74266088d54d65e5e227606f", c "nvars": 36, c "ncls": 210, c "nhards": 0, c "nhard_len_stats": c { "min": 0, "max": 0, "ave": 0.00, c "stddev": 0.00 }, c "nsofts": 210, c "nsoft_len_stats": c { "min": 3, "max": 6, "ave": 4.80, c "stddev": 1.47 }, c "nsoft_wts": 1, c "soft_wt_stats": c { "min": 1, "max": 1, "ave": 1.00, c "stddev": 0.00 } c} c------------------------------------------------------------ p wcnf 36 210 211 1 1 2 9 0 1 1 3 10 0 1 2 3 16 0 1 9 10 16 0 1 1 4 11 0 1 2 4 17 0 1 9 11 17 0 1 3 4 22 0 1 10 11 22 0 1 16 17 22 0 1 1 5 12 0 1 2 5 18 0 1 9 12 18 0 1 3 5 23 0 1 10 12 23 0 1 16 18 23 0 1 4 5 27 0 1 11 12 27 0 1 17 18 27 0 1 22 23 27 0 1 1 6 13 0 1 2 6 19 0 1 9 13 19 0 1 3 6 24 0 1 10 13 24 0 1 16 19 24 0 1 4 6 28 0 1 11 13 28 0 1 17 19 28 0 1 22 24 28 0 1 5 6 31 0 1 12 13 31 0 1 18 19 31 0 1 23 24 31 0 1 27 28 31 0 1 1 7 14 0 1 2 7 20 0 1 9 14 20 0 1 3 7 25 0 1 10 14 25 0 1 16 20 25 0 1 4 7 29 0 1 11 14 29 0 1 17 20 29 0 1 22 25 29 0 1 5 7 32 0 1 12 14 32 0 1 18 20 32 0 1 23 25 32 0 1 27 29 32 0 1 6 7 34 0 1 13 14 34 0 1 19 20 34 0 1 24 25 34 0 1 28 29 34 0 1 31 32 34 0 1 1 8 15 0 1 2 8 21 0 1 9 15 21 0 1 3 8 26 0 1 10 15 26 0 1 16 21 26 0 1 4 8 30 0 1 11 15 30 0 1 17 21 30 0 1 22 26 30 0 1 5 8 33 0 1 12 15 33 0 1 18 21 33 0 1 23 26 33 0 1 27 30 33 0 1 6 8 35 0 1 13 15 35 0 1 19 21 35 0 1 24 26 35 0 1 28 30 35 0 1 31 33 35 0 1 7 8 36 0 1 14 15 36 0 1 20 21 36 0 1 25 26 36 0 1 29 30 36 0 1 32 33 36 0 1 34 35 36 0 1 -1 -2 -3 -9 -10 -16 0 1 -1 -2 -4 -9 -11 -17 0 1 -1 -3 -4 -10 -11 -22 0 1 -2 -3 -4 -16 -17 -22 0 1 -9 -10 -11 -16 -17 -22 0 1 -1 -2 -5 -9 -12 -18 0 1 -1 -3 -5 -10 -12 -23 0 1 -2 -3 -5 -16 -18 -23 0 1 -9 -10 -12 -16 -18 -23 0 1 -1 -4 -5 -11 -12 -27 0 1 -2 -4 -5 -17 -18 -27 0 1 -9 -11 -12 -17 -18 -27 0 1 -3 -4 -5 -22 -23 -27 0 1 -10 -11 -12 -22 -23 -27 0 1 -16 -17 -18 -22 -23 -27 0 1 -1 -2 -6 -9 -13 -19 0 1 -1 -3 -6 -10 -13 -24 0 1 -2 -3 -6 -16 -19 -24 0 1 -9 -10 -13 -16 -19 -24 0 1 -1 -4 -6 -11 -13 -28 0 1 -2 -4 -6 -17 -19 -28 0 1 -9 -11 -13 -17 -19 -28 0 1 -3 -4 -6 -22 -24 -28 0 1 -10 -11 -13 -22 -24 -28 0 1 -16 -17 -19 -22 -24 -28 0 1 -1 -5 -6 -12 -13 -31 0 1 -2 -5 -6 -18 -19 -31 0 1 -9 -12 -13 -18 -19 -31 0 1 -3 -5 -6 -23 -24 -31 0 1 -10 -12 -13 -23 -24 -31 0 1 -16 -18 -19 -23 -24 -31 0 1 -4 -5 -6 -27 -28 -31 0 1 -11 -12 -13 -27 -28 -31 0 1 -17 -18 -19 -27 -28 -31 0 1 -22 -23 -24 -27 -28 -31 0 1 -1 -2 -7 -9 -14 -20 0 1 -1 -3 -7 -10 -14 -25 0 1 -2 -3 -7 -16 -20 -25 0 1 -9 -10 -14 -16 -20 -25 0 1 -1 -4 -7 -11 -14 -29 0 1 -2 -4 -7 -17 -20 -29 0 1 -9 -11 -14 -17 -20 -29 0 1 -3 -4 -7 -22 -25 -29 0 1 -10 -11 -14 -22 -25 -29 0 1 -16 -17 -20 -22 -25 -29 0 1 -1 -5 -7 -12 -14 -32 0 1 -2 -5 -7 -18 -20 -32 0 1 -9 -12 -14 -18 -20 -32 0 1 -3 -5 -7 -23 -25 -32 0 1 -10 -12 -14 -23 -25 -32 0 1 -16 -18 -20 -23 -25 -32 0 1 -4 -5 -7 -27 -29 -32 0 1 -11 -12 -14 -27 -29 -32 0 1 -17 -18 -20 -27 -29 -32 0 1 -22 -23 -25 -27 -29 -32 0 1 -1 -6 -7 -13 -14 -34 0 1 -2 -6 -7 -19 -20 -34 0 1 -9 -13 -14 -19 -20 -34 0 1 -3 -6 -7 -24 -25 -34 0 1 -10 -13 -14 -24 -25 -34 0 1 -16 -19 -20 -24 -25 -34 0 1 -4 -6 -7 -28 -29 -34 0 1 -11 -13 -14 -28 -29 -34 0 1 -17 -19 -20 -28 -29 -34 0 1 -22 -24 -25 -28 -29 -34 0 1 -5 -6 -7 -31 -32 -34 0 1 -12 -13 -14 -31 -32 -34 0 1 -18 -19 -20 -31 -32 -34 0 1 -23 -24 -25 -31 -32 -34 0 1 -27 -28 -29 -31 -32 -34 0 1 -1 -2 -8 -9 -15 -21 0 1 -1 -3 -8 -10 -15 -26 0 1 -2 -3 -8 -16 -21 -26 0 1 -9 -10 -15 -16 -21 -26 0 1 -1 -4 -8 -11 -15 -30 0 1 -2 -4 -8 -17 -21 -30 0 1 -9 -11 -15 -17 -21 -30 0 1 -3 -4 -8 -22 -26 -30 0 1 -10 -11 -15 -22 -26 -30 0 1 -16 -17 -21 -22 -26 -30 0 1 -1 -5 -8 -12 -15 -33 0 1 -2 -5 -8 -18 -21 -33 0 1 -9 -12 -15 -18 -21 -33 0 1 -3 -5 -8 -23 -26 -33 0 1 -10 -12 -15 -23 -26 -33 0 1 -16 -18 -21 -23 -26 -33 0 1 -4 -5 -8 -27 -30 -33 0 1 -11 -12 -15 -27 -30 -33 0 1 -17 -18 -21 -27 -30 -33 0 1 -22 -23 -26 -27 -30 -33 0 1 -1 -6 -8 -13 -15 -35 0 1 -2 -6 -8 -19 -21 -35 0 1 -9 -13 -15 -19 -21 -35 0 1 -3 -6 -8 -24 -26 -35 0 1 -10 -13 -15 -24 -26 -35 0 1 -16 -19 -21 -24 -26 -35 0 1 -4 -6 -8 -28 -30 -35 0 1 -11 -13 -15 -28 -30 -35 0 1 -17 -19 -21 -28 -30 -35 0 1 -22 -24 -26 -28 -30 -35 0 1 -5 -6 -8 -31 -33 -35 0 1 -12 -13 -15 -31 -33 -35 0 1 -18 -19 -21 -31 -33 -35 0 1 -23 -24 -26 -31 -33 -35 0 1 -27 -28 -30 -31 -33 -35 0 1 -1 -7 -8 -14 -15 -36 0 1 -2 -7 -8 -20 -21 -36 0 1 -9 -14 -15 -20 -21 -36 0 1 -3 -7 -8 -25 -26 -36 0 1 -10 -14 -15 -25 -26 -36 0 1 -16 -20 -21 -25 -26 -36 0 1 -4 -7 -8 -29 -30 -36 0 1 -11 -14 -15 -29 -30 -36 0 1 -17 -20 -21 -29 -30 -36 0 1 -22 -25 -26 -29 -30 -36 0 1 -5 -7 -8 -32 -33 -36 0 1 -12 -14 -15 -32 -33 -36 0 1 -18 -20 -21 -32 -33 -36 0 1 -23 -25 -26 -32 -33 -36 0 1 -27 -29 -30 -32 -33 -36 0 1 -6 -7 -8 -34 -35 -36 0 1 -13 -14 -15 -34 -35 -36 0 1 -19 -20 -21 -34 -35 -36 0 1 -24 -25 -26 -34 -35 -36 0 1 -28 -29 -30 -34 -35 -36 0 1 -31 -32 -33 -34 -35 -36 0