c ./../WCSP/WQUEENS/wqueens8_6.wcsp
p wcnf 64 560 9
9 1 2 3 4 5 6 7 8 0
9 9 10 11 12 13 14 15 16 0
9 17 18 19 20 21 22 23 24 0
9 25 26 27 28 29 30 31 32 0
9 33 34 35 36 37 38 39 40 0
9 41 42 43 44 45 46 47 48 0
9 49 50 51 52 53 54 55 56 0
9 57 58 59 60 61 62 63 64 0
9 -1 -9 0
9 -1 -10 0
9 -2 -9 0
9 -2 -10 0
9 -2 -11 0
9 -3 -10 0
9 -3 -11 0
9 -3 -12 0
9 -4 -11 0
9 -4 -12 0
9 -4 -13 0
9 -5 -12 0
9 -5 -13 0
9 -5 -14 0
9 -6 -13 0
9 -6 -14 0
9 -6 -15 0
9 -7 -14 0
9 -7 -15 0
9 -7 -16 0
9 -8 -15 0
9 -8 -16 0
9 -1 -17 0
9 -1 -19 0
9 -2 -18 0
9 -2 -20 0
9 -3 -17 0
9 -3 -19 0
9 -3 -21 0
9 -4 -18 0
9 -4 -20 0
9 -4 -22 0
9 -5 -19 0
9 -5 -21 0
9 -5 -23 0
9 -6 -20 0
9 -6 -22 0
9 -6 -24 0
9 -7 -21 0
9 -7 -23 0
9 -8 -22 0
9 -8 -24 0
9 -1 -25 0
9 -1 -28 0
9 -2 -26 0
9 -2 -29 0
9 -3 -27 0
9 -3 -30 0
9 -4 -25 0
9 -4 -28 0
9 -4 -31 0
9 -5 -26 0
9 -5 -29 0
9 -5 -32 0
9 -6 -27 0
9 -6 -30 0
9 -7 -28 0
9 -7 -31 0
9 -8 -29 0
9 -8 -32 0
9 -1 -33 0
9 -1 -37 0
9 -2 -34 0
9 -2 -38 0
9 -3 -35 0
9 -3 -39 0
9 -4 -36 0
9 -4 -40 0
9 -5 -33 0
9 -5 -37 0
9 -6 -34 0
9 -6 -38 0
9 -7 -35 0
9 -7 -39 0
9 -8 -36 0
9 -8 -40 0
9 -1 -41 0
9 -1 -46 0
9 -2 -42 0
9 -2 -47 0
9 -3 -43 0
9 -3 -48 0
9 -4 -44 0
9 -5 -45 0
9 -6 -41 0
9 -6 -46 0
9 -7 -42 0
9 -7 -47 0
9 -8 -43 0
9 -8 -48 0
9 -1 -49 0
9 -1 -55 0
9 -2 -50 0
9 -2 -56 0
9 -3 -51 0
9 -4 -52 0
9 -5 -53 0
9 -6 -54 0
9 -7 -49 0
9 -7 -55 0
9 -8 -50 0
9 -8 -56 0
9 -1 -57 0
9 -1 -64 0
9 -2 -58 0
9 -3 -59 0
9 -4 -60 0
9 -5 -61 0
9 -6 -62 0
9 -7 -63 0
9 -8 -57 0
9 -8 -64 0
9 -9 -17 0
9 -9 -18 0
9 -10 -17 0
9 -10 -18 0
9 -10 -19 0
9 -11 -18 0
9 -11 -19 0
9 -11 -20 0
9 -12 -19 0
9 -12 -20 0
9 -12 -21 0
9 -13 -20 0
9 -13 -21 0
9 -13 -22 0
9 -14 -21 0
9 -14 -22 0
9 -14 -23 0
9 -15 -22 0
9 -15 -23 0
9 -15 -24 0
9 -16 -23 0
9 -16 -24 0
9 -9 -25 0
9 -9 -27 0
9 -10 -26 0
9 -10 -28 0
9 -11 -25 0
9 -11 -27 0
9 -11 -29 0
9 -12 -26 0
9 -12 -28 0
9 -12 -30 0
9 -13 -27 0
9 -13 -29 0
9 -13 -31 0
9 -14 -28 0
9 -14 -30 0
9 -14 -32 0
9 -15 -29 0
9 -15 -31 0
9 -16 -30 0
9 -16 -32 0
9 -9 -33 0
9 -9 -36 0
9 -10 -34 0
9 -10 -37 0
9 -11 -35 0
9 -11 -38 0
9 -12 -33 0
9 -12 -36 0
9 -12 -39 0
9 -13 -34 0
9 -13 -37 0
9 -13 -40 0
9 -14 -35 0
9 -14 -38 0
9 -15 -36 0
9 -15 -39 0
9 -16 -37 0
9 -16 -40 0
9 -9 -41 0
9 -9 -45 0
9 -10 -42 0
9 -10 -46 0
9 -11 -43 0
9 -11 -47 0
9 -12 -44 0
9 -12 -48 0
9 -13 -41 0
9 -13 -45 0
9 -14 -42 0
9 -14 -46 0
9 -15 -43 0
9 -15 -47 0
9 -16 -44 0
9 -16 -48 0
9 -9 -49 0
9 -9 -54 0
9 -10 -50 0
9 -10 -55 0
9 -11 -51 0
9 -11 -56 0
9 -12 -52 0
9 -13 -53 0
9 -14 -49 0
9 -14 -54 0
9 -15 -50 0
9 -15 -55 0
9 -16 -51 0
9 -16 -56 0
9 -9 -57 0
9 -9 -63 0
9 -10 -58 0
9 -10 -64 0
9 -11 -59 0
9 -12 -60 0
9 -13 -61 0
9 -14 -62 0
9 -15 -57 0
9 -15 -63 0
9 -16 -58 0
9 -16 -64 0
9 -17 -25 0
9 -17 -26 0
9 -18 -25 0
9 -18 -26 0
9 -18 -27 0
9 -19 -26 0
9 -19 -27 0
9 -19 -28 0
9 -20 -27 0
9 -20 -28 0
9 -20 -29 0
9 -21 -28 0
9 -21 -29 0
9 -21 -30 0
9 -22 -29 0
9 -22 -30 0
9 -22 -31 0
9 -23 -30 0
9 -23 -31 0
9 -23 -32 0
9 -24 -31 0
9 -24 -32 0
9 -17 -33 0
9 -17 -35 0
9 -18 -34 0
9 -18 -36 0
9 -19 -33 0
9 -19 -35 0
9 -19 -37 0
9 -20 -34 0
9 -20 -36 0
9 -20 -38 0
9 -21 -35 0
9 -21 -37 0
9 -21 -39 0
9 -22 -36 0
9 -22 -38 0
9 -22 -40 0
9 -23 -37 0
9 -23 -39 0
9 -24 -38 0
9 -24 -40 0
9 -17 -41 0
9 -17 -44 0
9 -18 -42 0
9 -18 -45 0
9 -19 -43 0
9 -19 -46 0
9 -20 -41 0
9 -20 -44 0
9 -20 -47 0
9 -21 -42 0
9 -21 -45 0
9 -21 -48 0
9 -22 -43 0
9 -22 -46 0
9 -23 -44 0
9 -23 -47 0
9 -24 -45 0
9 -24 -48 0
9 -17 -49 0
9 -17 -53 0
9 -18 -50 0
9 -18 -54 0
9 -19 -51 0
9 -19 -55 0
9 -20 -52 0
9 -20 -56 0
9 -21 -49 0
9 -21 -53 0
9 -22 -50 0
9 -22 -54 0
9 -23 -51 0
9 -23 -55 0
9 -24 -52 0
9 -24 -56 0
9 -17 -57 0
9 -17 -62 0
9 -18 -58 0
9 -18 -63 0
9 -19 -59 0
9 -19 -64 0
9 -20 -60 0
9 -21 -61 0
9 -22 -57 0
9 -22 -62 0
9 -23 -58 0
9 -23 -63 0
9 -24 -59 0
9 -24 -64 0
9 -25 -33 0
9 -25 -34 0
9 -26 -33 0
9 -26 -34 0
9 -26 -35 0
9 -27 -34 0
9 -27 -35 0
9 -27 -36 0
9 -28 -35 0
9 -28 -36 0
9 -28 -37 0
9 -29 -36 0
9 -29 -37 0
9 -29 -38 0
9 -30 -37 0
9 -30 -38 0
9 -30 -39 0
9 -31 -38 0
9 -31 -39 0
9 -31 -40 0
9 -32 -39 0
9 -32 -40 0
9 -25 -41 0
9 -25 -43 0
9 -26 -42 0
9 -26 -44 0
9 -27 -41 0
9 -27 -43 0
9 -27 -45 0
9 -28 -42 0
9 -28 -44 0
9 -28 -46 0
9 -29 -43 0
9 -29 -45 0
9 -29 -47 0
9 -30 -44 0
9 -30 -46 0
9 -30 -48 0
9 -31 -45 0
9 -31 -47 0
9 -32 -46 0
9 -32 -48 0
9 -25 -49 0
9 -25 -52 0
9 -26 -50 0
9 -26 -53 0
9 -27 -51 0
9 -27 -54 0
9 -28 -49 0
9 -28 -52 0
9 -28 -55 0
9 -29 -50 0
9 -29 -53 0
9 -29 -56 0
9 -30 -51 0
9 -30 -54 0
9 -31 -52 0
9 -31 -55 0
9 -32 -53 0
9 -32 -56 0
9 -25 -57 0
9 -25 -61 0
9 -26 -58 0
9 -26 -62 0
9 -27 -59 0
9 -27 -63 0
9 -28 -60 0
9 -28 -64 0
9 -29 -57 0
9 -29 -61 0
9 -30 -58 0
9 -30 -62 0
9 -31 -59 0
9 -31 -63 0
9 -32 -60 0
9 -32 -64 0
9 -33 -41 0
9 -33 -42 0
9 -34 -41 0
9 -34 -42 0
9 -34 -43 0
9 -35 -42 0
9 -35 -43 0
9 -35 -44 0
9 -36 -43 0
9 -36 -44 0
9 -36 -45 0
9 -37 -44 0
9 -37 -45 0
9 -37 -46 0
9 -38 -45 0
9 -38 -46 0
9 -38 -47 0
9 -39 -46 0
9 -39 -47 0
9 -39 -48 0
9 -40 -47 0
9 -40 -48 0
9 -33 -49 0
9 -33 -51 0
9 -34 -50 0
9 -34 -52 0
9 -35 -49 0
9 -35 -51 0
9 -35 -53 0
9 -36 -50 0
9 -36 -52 0
9 -36 -54 0
9 -37 -51 0
9 -37 -53 0
9 -37 -55 0
9 -38 -52 0
9 -38 -54 0
9 -38 -56 0
9 -39 -53 0
9 -39 -55 0
9 -40 -54 0
9 -40 -56 0
9 -33 -57 0
9 -33 -60 0
9 -34 -58 0
9 -34 -61 0
9 -35 -59 0
9 -35 -62 0
9 -36 -57 0
9 -36 -60 0
9 -36 -63 0
9 -37 -58 0
9 -37 -61 0
9 -37 -64 0
9 -38 -59 0
9 -38 -62 0
9 -39 -60 0
9 -39 -63 0
9 -40 -61 0
9 -40 -64 0
9 -41 -49 0
9 -41 -50 0
9 -42 -49 0
9 -42 -50 0
9 -42 -51 0
9 -43 -50 0
9 -43 -51 0
9 -43 -52 0
9 -44 -51 0
9 -44 -52 0
9 -44 -53 0
9 -45 -52 0
9 -45 -53 0
9 -45 -54 0
9 -46 -53 0
9 -46 -54 0
9 -46 -55 0
9 -47 -54 0
9 -47 -55 0
9 -47 -56 0
9 -48 -55 0
9 -48 -56 0
9 -41 -57 0
9 -41 -59 0
9 -42 -58 0
9 -42 -60 0
9 -43 -57 0
9 -43 -59 0
9 -43 -61 0
9 -44 -58 0
9 -44 -60 0
9 -44 -62 0
9 -45 -59 0
9 -45 -61 0
9 -45 -63 0
9 -46 -60 0
9 -46 -62 0
9 -46 -64 0
9 -47 -61 0
9 -47 -63 0
9 -48 -62 0
9 -48 -64 0
9 -49 -57 0
9 -49 -58 0
9 -50 -57 0
9 -50 -58 0
9 -50 -59 0
9 -51 -58 0
9 -51 -59 0
9 -51 -60 0
9 -52 -59 0
9 -52 -60 0
9 -52 -61 0
9 -53 -60 0
9 -53 -61 0
9 -53 -62 0
9 -54 -61 0
9 -54 -62 0
9 -54 -63 0
9 -55 -62 0
9 -55 -63 0
9 -55 -64 0
9 -56 -63 0
9 -56 -64 0
1 -1 0
1 -2 0
1 -3 0
1 -4 0
1 -5 0
1 -6 0
1 -9 0
1 -10 0
1 -11 0
1 -12 0
1 -14 0
1 -15 0
1 -17 0
1 -18 0
1 -20 0
1 -22 0
1 -23 0
1 -24 0
1 -26 0
1 -27 0
1 -28 0
1 -29 0
1 -31 0
1 -32 0
1 -33 0
1 -34 0
1 -35 0
1 -36 0
1 -37 0
1 -40 0
1 -41 0
1 -42 0
1 -43 0
1 -44 0
1 -46 0
1 -47 0
1 -49 0
1 -51 0
1 -52 0
1 -53 0
1 -54 0
1 -56 0
1 -57 0
1 -58 0
1 -59 0
1 -60 0
1 -62 0
1 -64 0