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