c FILE: aim-50-6_0-yes1-4.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 1 21 24 0 -1 7 11 0 5 -11 48 0 5 7 -11 0 5 21 34 0 -5 24 34 0 -24 34 42 0 21 -24 -42 0 16 17 42 0 16 -17 42 0 15 31 42 0 15 -16 -31 0 15 -34 39 0 38 -39 41 0 -34 -38 -39 0 15 40 -41 0 15 -40 -41 0 21 45 50 0 21 -34 -45 0 -15 28 37 0 -15 21 -50 0 -15 21 -30 0 -28 -34 -50 0 9 -19 50 0 16 -19 -50 0 9 -16 50 0 9 -21 -50 0 -19 -21 32 0 4 -19 -21 0 -4 -19 -21 0 17 23 -32 0 17 -23 -28 0 6 9 26 0 9 -17 26 0 -9 24 26 0 12 22 24 0 12 -22 39 0 12 -22 24 0 7 24 38 0 -7 -19 38 0 -19 24 -26 0 1 -21 -24 0 -1 -21 -24 0 19 24 -41 0 19 -24 44 0 19 -41 -44 0 11 19 20 0 -11 19 20 0 -12 19 20 0 14 -20 41 0 -14 15 41 0 22 27 -45 0 -20 -22 27 0 1 -20 -45 0 -1 -20 -27 0 6 19 41 0 9 31 33 0 -2 27 -31 0 -2 9 -31 0 -2 -9 38 0 -2 -6 -38 0 1 -2 -33 0 -1 -2 -33 0 -15 36 50 0 4 6 31 0 -6 31 -50 0 4 -6 36 0 -15 -36 48 0 -4 -15 50 0 5 -6 50 0 -4 5 -48 0 -5 -6 -48 0 30 38 42 0 -5 30 -38 0 10 30 -42 0 30 -48 50 0 -6 18 -48 0 6 18 -48 0 -6 18 -37 0 -6 -18 50 0 5 10 25 0 2 5 -25 0 2 -5 10 0 -20 23 39 0 2 -23 37 0 -23 30 37 0 -23 37 39 0 -20 37 39 0 4 -10 42 0 4 37 -42 0 -4 -10 18 0 -4 -14 18 0 -20 -23 -39 0 -10 -18 37 0 32 38 41 0 -32 38 -50 0 3 32 -37 0 -2 -17 -37 0 30 39 47 0 -3 14 47 0 -14 -24 47 0 29 -37 43 0 -3 43 47 0 -3 -39 -43 0 2 -3 -47 0 -3 -32 -47 0 2 -37 -47 0 2 -17 48 0 2 26 -32 0 5 -32 -48 0 -26 -32 -48 0 -30 34 44 0 -17 -30 -44 0 24 -30 -34 0 6 -24 -30 0 2 -24 -30 0 -10 -30 -34 0 3 37 45 0 3 -37 45 0 -3 4 45 0 -3 42 45 0 -3 30 45 0 -10 17 -25 0 8 -37 43 0 -8 -37 43 0 20 23 -50 0 23 33 -50 0 28 -33 43 0 28 -33 -43 0 8 -28 -38 0 8 -38 -45 0 -8 23 -28 0 -8 -21 -28 0 17 25 29 0 31 -38 40 0 9 31 -40 0 -9 31 -40 0 -18 31 -40 0 22 25 -43 0 17 -38 44 0 -29 -31 32 0 17 -29 -48 0 -17 -31 35 0 -29 -31 -35 0 25 -29 -47 0 25 -39 -47 0 6 -29 -44 0 -6 32 -44 0 -29 38 -44 0 -25 -29 -38 0 -8 27 47 0 -8 -27 44 0 -8 -22 -44 0 7 8 41 0 7 -41 48 0 13 27 45 0 -7 -13 45 0 -7 15 -45 0 -7 27 -31 0 -7 16 28 0 -7 10 28 0 -7 -28 -31 0 9 -10 -31 0 8 10 -33 0 10 25 -40 0 -25 -33 -40 0 -10 25 -33 0 8 -33 48 0 8 -25 -48 0 23 33 48 0 22 33 48 0 12 -22 33 0 12 -13 14 0 -12 14 39 0 -13 -14 39 0 6 -13 49 0 -13 19 49 0 21 30 -49 0 -13 -21 -49 0 -9 -39 -49 0 4 46 -49 0 -4 22 46 0 -4 -22 37 0 -4 -13 -37 0 -39 -46 -49 0 12 -13 41 0 12 -13 -41 0 -19 33 41 0 -19 33 -41 0 -9 26 -27 0 2 16 -26 0 14 16 -44 0 -14 16 -26 0 -2 16 -26 0 -11 -12 13 0 -11 13 -14 0 3 22 25 0 22 -27 34 0 -25 -27 -34 0 3 -22 -27 0 1 11 12 0 11 -17 19 0 1 11 -17 0 1 -9 -11 0 -1 -9 32 0 7 -9 12 0 -7 -9 32 0 -12 -27 32 0 16 26 44 0 11 -16 30 0 11 -16 44 0 -15 -16 44 0 11 13 26 0 -12 44 45 0 43 44 -45 0 -21 43 -45 0 -12 -43 -45 0 41 42 -44 0 -12 17 -41 0 -12 -17 -41 0 -16 -28 47 0 -16 -28 -47 0 -28 -29 -42 0 -1 -16 25 0 -25 43 50 0 -25 43 -50 0 -1 27 -43 0 -25 36 -43 0 13 -36 -43 0 -27 -36 -43 0 1 10 18 0 10 -42 47 0 -1 10 -47 0 -10 -16 18 0 28 40 47 0 7 27 48 0 3 27 40 0 3 40 -45 0 3 7 -27 0 3 40 -47 0 -23 40 47 0 -23 -26 -47 0 -3 -26 40 0 28 42 -46 0 28 -42 -46 0 -30 38 -46 0 -18 -38 -46 0 -14 -18 -46 0 1 -5 46 0 -5 -12 46 0 -1 -5 46 0 13 23 32 0 13 15 23 0 13 33 -49 0 -2 13 -49 0 23 -32 -42 0 34 -42 -46 0 -23 29 -32 0 15 -23 -29 0 -15 -32 -49 0 28 -34 -42 0 7 29 -35 0 -7 29 -35 0 29 31 -35 0 20 -35 46 0 -20 -35 46 0 -18 33 -39 0 -18 -33 34 0 -18 -34 46 0 4 39 46 0 8 35 -36 0 -8 35 -36 0 11 22 36 0 5 -11 22 0 14 36 40 0 18 36 -40 0 -5 -18 36 0 -5 14 -39 0 14 -22 26 0 14 -22 49 0 -26 36 -49 0 -4 -14 -24 0 21 -30 48 0 18 -20 -36 0 6 -15 -46 0 -10 20 29 0 4 20 -44 0 34 -35 -40 0 35 36 -36 0 29 -35 49 0 -8 -36 0 8 26 34 0 -11 -14 49 0 -8 -26 35 0 -11 35 -43 0 20 29 -40 0 20 35 49 0 17 -35 49 0 35 -46 49 0 6 35 49 0