c FILE: aim-50-6_0-yes1-1.cnf c c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp), c and Yuichi Asahiro c c DESCRIPTION: Artifical instances from generator by source. Generators c and more information in sat/contributed/iwama. c c NOTE: Satisfiable c p cnf 50 300 6 17 47 0 6 -17 43 0 -6 43 47 0 19 47 -48 0 -19 28 47 0 -28 43 47 0 -36 46 -48 0 -36 47 -48 0 8 -38 -47 0 -38 -47 48 0 6 -47 -48 0 -6 43 -48 0 -31 43 -47 0 8 28 33 0 -8 33 -43 0 1 38 47 0 1 28 -38 0 18 -43 -47 0 37 40 -47 0 28 -37 40 0 -15 28 40 0 1 22 -40 0 22 -23 -40 0 -22 -38 -40 0 1 -28 -38 0 13 40 49 0 -1 13 -40 0 -13 33 -38 0 -13 -33 49 0 -1 -38 -49 0 4 -27 38 0 28 29 42 0 -27 29 -42 0 16 28 42 0 14 16 42 0 16 29 -42 0 17 25 50 0 -25 34 50 0 -34 45 49 0 38 -45 50 0 -4 49 -50 0 16 41 -49 0 -4 -22 30 0 14 30 -41 0 14 -30 47 0 2 14 -27 0 -2 14 16 0 -4 -17 21 0 -17 -27 45 0 -17 -27 -45 0 -21 41 -49 0 -17 -21 -41 0 -4 -14 16 0 -16 20 38 0 -16 20 -35 0 -16 -20 -27 0 15 27 42 0 -15 21 42 0 -15 38 42 0 19 -37 -42 0 -19 38 -42 0 7 37 -47 0 29 37 -47 0 27 37 -47 0 11 27 37 0 1 27 37 0 7 -42 47 0 -3 8 27 0 -3 4 -8 0 -3 -4 15 0 -3 -8 -15 0 11 17 -42 0 11 -20 -42 0 11 -17 -42 0 23 27 -40 0 -7 -40 48 0 -7 -23 -40 0 -11 40 43 0 -2 3 27 0 -2 -27 30 0 3 -30 42 0 3 12 -30 0 -12 31 -42 0 3 -12 -31 0 3 -13 17 0 3 -13 -43 0 16 34 -43 0 16 22 -34 0 -22 -34 -43 0 2 -16 -48 0 3 -7 11 0 -7 11 26 0 11 -12 -26 0 -11 22 31 0 7 -22 46 0 3 37 46 0 4 -22 37 0 3 -22 -37 0 12 25 31 0 11 12 31 0 -7 -11 31 0 1 -11 -12 0 -1 -11 -12 0 -11 -22 -29 0 2 -31 46 0 -2 15 34 0 -2 -15 -31 0 -31 33 46 0 9 -33 46 0 -9 46 48 0 2 20 -46 0 -11 20 -46 0 -11 20 -39 0 18 27 -46 0 2 18 -46 0 18 -46 48 0 9 18 -46 0 -5 8 36 0 4 13 33 0 4 -13 -46 0 33 -36 39 0 -36 -39 -46 0 -9 -36 38 0 26 32 -33 0 -9 -26 -33 0 -9 -32 -33 0 8 9 -20 0 -8 9 33 0 9 -29 -33 0 -8 -9 -33 0 -9 -20 28 0 -28 -29 32 0 -20 -29 -32 0 -3 -29 39 0 -3 -28 -29 0 21 30 49 0 21 -30 48 0 17 48 -49 0 -18 -21 48 0 10 13 -20 0 -18 -20 36 0 7 8 -15 0 7 -8 -15 0 -7 -15 29 0 6 -9 49 0 -6 -18 49 0 6 -9 40 0 -6 40 -49 0 -9 -40 -49 0 2 -22 29 0 -2 -22 29 0 14 -19 32 0 -10 -19 -32 0 -4 5 22 0 -5 8 41 0 -4 -5 -8 0 2 45 46 0 22 -41 45 0 9 -12 22 0 2 -5 -45 0 -2 -4 24 0 -5 -24 38 0 -2 -5 -38 0 -6 -17 29 0 5 6 35 0 15 32 35 0 -6 15 -32 0 5 25 35 0 5 -20 25 0 -2 25 35 0 5 31 32 0 5 15 -32 0 29 -31 44 0 19 -29 44 0 -19 -29 44 0 -8 24 44 0 15 -24 -31 0 -24 -35 41 0 -31 -35 -41 0 15 17 35 0 4 -17 35 0 -5 15 35 0 -10 -14 38 0 -14 -36 -38 0 5 18 -35 0 5 10 -35 0 7 -10 13 0 7 -13 -35 0 4 -7 44 0 5 -35 -44 0 4 10 50 0 1 9 26 0 9 23 -26 0 1 9 -23 0 -10 44 50 0 -1 7 19 0 -1 26 43 0 -1 -26 -44 0 -3 43 -44 0 -1 -44 50 0 19 -44 50 0 -1 -10 -19 0 8 24 -37 0 17 24 -37 0 10 17 -37 0 -10 17 -27 0 -21 36 -37 0 -24 -36 -37 0 -21 37 45 0 14 41 -45 0 -21 -41 -45 0 14 -37 43 0 33 39 -43 0 -17 -21 -43 0 1 -21 -43 0 -1 -21 -39 0 -5 22 25 0 19 -30 44 0 19 -25 -30 0 19 -29 35 0 19 -30 -35 0 4 30 -45 0 7 24 -25 0 -7 -25 46 0 -7 18 -46 0 -18 44 -50 0 24 -25 32 0 -18 24 36 0 -32 40 44 0 -18 -32 -40 0 -24 -25 -50 0 -25 -48 -50 0 2 -12 -50 0 -12 -35 -50 0 11 21 45 0 12 33 45 0 -11 -12 45 0 10 16 36 0 10 36 -39 0 10 13 -16 0 -13 -16 -39 0 -8 10 -44 0 -10 23 35 0 23 36 -39 0 -10 -23 36 0 36 -43 -44 0 -36 -39 41 0 20 21 -44 0 27 -39 -44 0 21 31 -39 0 21 26 -27 0 21 -26 -31 0 6 -23 48 0 -23 25 48 0 -6 -23 -25 0 -23 -48 50 0 -23 -48 -50 0 23 30 32 0 23 32 39 0 34 41 50 0 34 39 49 0 39 -41 -49 0 18 -25 -50 0 13 32 39 0 13 -32 34 0 -4 13 34 0 -13 34 -50 0 -24 -34 39 0 20 30 -49 0 -24 30 -49 0 -24 30 -33 0 -30 39 41 0 -24 -30 -41 0 10 12 45 0 12 26 -28 0 -10 12 -26 0 -18 -28 -45 0 12 18 -28 0 -18 31 -34 0 -18 -28 -34 0 12 -28 -33 0 6 24 -41 0 -6 14 20 0 -14 20 -41 0 -6 -20 28 0 8 -34 41 0 -32 -34 49 0 23 -26 31 0 23 -26 34 0 23 -26 -34 0 -14 -16 -19 0 -3 -19 25 0 -3 6 -13 0 -14 -16 -36 0 -14 -16 26 0 -5 -14 -15 0 -14 42 0 24 26 -45 0 -19 25 40 0 22 26 -45 0