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