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