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