c FILE: aim-100-3_4-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 100 340 11 21 92 0 11 21 90 0 11 23 -92 0 11 -23 -92 0 -11 21 65 0 -11 55 -65 0 14 -21 71 0 -21 68 -71 0 14 -21 -71 0 -14 -21 55 0 -14 55 -63 0 49 -55 80 0 49 60 -80 0 49 -60 -80 0 20 28 57 0 -20 28 67 0 9 -55 61 0 9 -55 -61 0 -49 -57 78 0 -57 67 -78 0 13 67 76 0 -9 -13 67 0 -9 -49 -76 0 47 -55 -67 0 13 42 -47 0 13 -49 98 0 13 22 -98 0 13 -22 -49 0 29 -67 -93 0 -29 -67 -93 0 -67 -81 -93 0 36 -89 93 0 22 -36 93 0 -47 58 93 0 22 33 -47 0 22 -33 93 0 22 -51 -60 0 -13 -22 86 0 2 -23 86 0 -2 -22 86 0 -22 -42 86 0 -13 -47 -75 0 75 -86 91 0 9 -86 -91 0 29 -86 93 0 -29 75 86 0 -29 -86 -90 0 -4 -29 -90 0 74 75 90 0 -9 -77 90 0 -7 -9 17 0 -7 -17 -29 0 -2 7 77 0 7 -33 -74 0 2 63 -74 0 4 -74 -94 0 4 -51 -74 0 2 33 -72 0 5 -33 -72 0 -5 -63 -72 0 7 -52 77 0 43 77 -79 0 -43 77 -79 0 7 -52 -77 0 7 -77 -87 0 33 71 72 0 15 33 72 0 -63 72 -97 0 52 68 -71 0 21 52 -68 0 -15 52 -57 0 41 83 89 0 57 77 83 0 41 -77 83 0 -41 83 97 0 65 73 79 0 -2 65 73 0 73 -79 97 0 -65 73 97 0 -12 73 97 0 -21 -79 -83 0 -11 32 -73 0 -11 -32 -73 0 11 57 68 0 -51 -69 94 0 69 -83 95 0 69 89 -95 0 58 69 -89 0 -58 69 -83 0 -51 61 -83 0 -51 -61 -83 0 18 55 88 0 18 -55 88 0 -18 79 88 0 -4 6 -88 0 -4 6 -90 0 -6 79 97 0 -68 79 -97 0 4 -31 -68 0 24 38 51 0 -24 31 51 0 37 38 48 0 31 37 -48 0 -6 31 -37 0 -38 51 -76 0 30 76 81 0 30 59 -81 0 30 31 -59 0 56 71 100 0 56 -71 100 0 -40 56 100 0 1 6 51 0 1 -6 51 0 -1 56 -100 0 -1 -96 -100 0 -1 -34 -96 0 46 -54 -100 0 46 -54 -91 0 35 51 -100 0 -35 -54 60 0 25 -56 60 0 4 -25 60 0 -56 57 63 0 -4 -56 -57 0 46 -56 -63 0 -46 -56 60 0 4 -30 -50 0 -30 -38 -62 0 50 76 -92 0 -66 76 -92 0 -42 -66 -92 0 10 50 58 0 50 58 -60 0 9 -58 78 0 -58 -78 81 0 50 -58 81 0 45 -48 -60 0 26 -45 -48 0 -26 -45 96 0 -45 62 -96 0 -62 -81 -96 0 25 32 92 0 25 -32 48 0 48 62 71 0 46 62 -71 0 -25 92 100 0 -25 58 92 0 -46 -81 91 0 -25 -46 -99 0 20 41 -58 0 -41 -61 99 0 2 -61 99 0 -2 -61 99 0 13 -39 -46 0 -13 -39 79 0 -39 61 -79 0 -13 -20 -39 0 39 84 -91 0 -59 61 -91 0 39 78 99 0 39 -40 78 0 59 -84 100 0 -18 71 -78 0 -18 -78 -100 0 29 -84 87 0 -84 -87 89 0 18 -84 89 0 2 -31 -84 0 -2 -31 89 0 18 54 -89 0 8 24 59 0 8 -24 59 0 -8 10 20 0 -8 20 -89 0 -5 -8 20 0 10 -20 31 0 -20 -31 99 0 10 -20 -99 0 -10 47 80 0 -10 -47 80 0 -37 -54 -80 0 37 42 -80 0 -42 69 -80 0 68 -69 70 0 -10 -69 70 0 19 -69 -70 0 15 -70 78 0 15 -69 -78 0 -15 26 -70 0 37 68 -87 0 37 -68 -87 0 12 35 87 0 -12 35 87 0 -17 -26 91 0 -17 -70 -91 0 3 17 -19 0 -3 -19 27 0 -19 27 -52 0 17 -19 -24 0 49 -53 82 0 49 -53 -82 0 30 -49 87 0 30 -53 -67 0 29 -30 -35 0 -30 -35 -53 0 -12 17 -27 0 -12 -17 -35 0 -17 -23 -27 0 -34 53 88 0 12 -34 53 0 -34 53 -88 0 -11 12 -34 0 24 42 77 0 24 42 -77 0 -27 42 -60 0 24 53 -66 0 34 41 66 0 -41 53 95 0 -41 -42 -53 0 34 35 43 0 34 43 48 0 15 -35 43 0 -15 34 -48 0 50 66 88 0 -50 66 88 0 -22 -50 66 0 5 28 81 0 5 28 -88 0 63 -88 95 0 32 40 67 0 -28 32 40 0 -28 -32 40 0 26 -28 -40 0 -26 63 -95 0 4 5 75 0 5 -42 -75 0 -4 -42 -88 0 -43 -44 48 0 -44 -48 -95 0 3 -5 -95 0 3 -5 -30 0 3 -5 -46 0 23 -43 52 0 23 27 -43 0 23 44 -52 0 -3 19 -23 0 -3 -19 -85 0 -43 62 -85 0 -3 -62 -85 0 10 45 85 0 -10 44 74 0 -10 25 44 0 -6 -10 -25 0 -6 44 46 0 27 -46 85 0 -27 -45 85 0 -3 -23 -45 0 6 85 -96 0 6 74 82 0 45 -74 82 0 52 -82 -94 0 21 -52 -82 0 45 -82 -94 0 16 -82 85 0 12 36 96 0 -12 45 96 0 28 39 96 0 28 -39 96 0 1 85 94 0 1 41 -85 0 1 -41 -85 0 62 64 75 0 -62 64 76 0 -16 -63 64 0 14 -75 81 0 14 -68 -75 0 -14 38 94 0 33 36 -81 0 38 59 95 0 -33 -59 95 0 -33 38 -95 0 36 -38 -75 0 -16 64 72 0 -16 -72 83 0 -16 -36 -72 0 36 64 -76 0 61 -76 94 0 -36 -76 94 0 -28 40 66 0 40 47 -66 0 -16 -47 -66 0 15 -36 90 0 -15 65 90 0 57 -64 -90 0 -36 -57 -90 0 -64 92 -94 0 -64 65 -94 0 -1 -65 -98 0 9 44 -65 0 -9 14 -65 0 26 54 59 0 -26 27 54 0 -27 -44 54 0 -44 54 -59 0 -1 -44 -54 0 3 -14 -64 0 -14 56 -64 0 32 -65 98 0 39 -62 -93 0 17 55 70 0 -15 82 84 0 -37 80 98 0 23 -73 98 0 34 -37 82 0 19 -70 -98 0 -32 -38 91 0 -8 74 0 -26 43 84 0 12 -24 63 0 25 70 -97 0 -32 -50 91 0 70 72 80 0 -24 87 91 0 8 -40 -59 0 -11 -73 -89 0 -40 74 84 0 -7 19 -97 0 47 -50 -97 0 -7 8 -38 0 -28 -73 -99 0 -19 29 98 0 16 18 88 0 16 -31 98 0 47 -98 0 -18 -99 0 8 -86 -99 0 19 26 35 0 84 -87 -93 0 16 74 -93 0 -7 16 -37 0