aim-200-1_6-no-4.cnf

c FILE: aim-200-1_6-no-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: Not Satisfiable
c
p cnf 200 320
33 60 160 0
-60 79 160 0
53 -60 -79 0
-53 -79 160 0
33 61 -160 0
-61 -160 200 0
33 -61 -160 0
-33 78 92 0
-33 78 -92 0
35 144 168 0
67 104 139 0
43 -104 139 0
-43 -104 -144 0
35 56 -139 0
35 -139 -144 0
-35 153 168 0
67 70 -168 0
-70 153 -168 0
2 66 115 0
2 -66 -67 0
-2 9 115 0
-67 71 -115 0
9 -71 -115 0
-9 -67 96 0
-9 -78 -96 0
132 -153 170 0
130 131 -132 0
106 -130 -132 0
-106 -130 170 0
-78 131 -170 0
-131 194 200 0
-153 -194 200 0
26 68 -131 0
26 122 178 0
-68 -122 178 0
26 67 -178 0
-67 -68 -178 0
46 108 -200 0
12 46 -108 0
-46 80 100 0
-46 72 -80 0
12 -46 -80 0
4 100 161 0
92 111 164 0
-111 161 164 0
-12 64 92 0
-64 92 -164 0
-4 -12 -92 0
-26 100 -161 0
-26 -100 -200 0
150 174 175 0
49 -150 175 0
49 72 174 0
31 138 -175 0
-72 -120 146 0
-120 138 -146 0
31 114 -138 0
-114 -138 -175 0
1 109 180 0
-1 109 -188 0
-16 61 152 0
-16 39 -152 0
-16 -108 158 0
39 156 -158 0
22 39 -156 0
-22 -108 -158 0
-17 -89 179 0
4 40 -77 0
28 -52 149 0
-4 55 -178 0
-54 154 156 0
-54 -154 -188 0
60 73 152 0
4 36 -176 0
-36 -176 191 0
84 91 129 0
84 91 -129 0
-45 95 -191 0
39 -108 176 0
18 48 73 0
-18 48 120 0
-48 108 120 0
3 5 188 0
-5 162 188 0
3 162 197 0
-3 8 195 0
8 162 189 0
-8 52 189 0
-8 -154 189 0
52 -162 195 0
17 27 -149 0
-16 -38 -96 0
3 38 -86 0
38 71 89 0
-71 -86 89 0
-21 90 192 0
90 -155 -192 0
150 154 197 0
40 -150 197 0
32 -38 199 0
-30 32 199 0
-44 -138 -189 0
85 102 -139 0
-50 134 158 0
-50 110 -134 0
-5 -52 -100 0
13 42 -118 0
-42 -44 -118 0
-55 165 193 0
-55 150 -193 0
68 -159 -187 0
103 149 163 0
-90 103 -163 0
-3 -95 99 0
-95 99 -159 0
-101 112 165 0
124 -126 178 0
23 -124 -126 0
55 -124 -126 0
83 -128 187 0
10 -65 83 0
-65 -83 179 0
-63 70 88 0
-63 88 -98 0
-17 -25 -107 0
75 106 -155 0
24 -75 -155 0
24 -75 -174 0
107 -152 156 0
-107 132 -152 0
-37 124 147 0
-2 -28 56 0
-19 -42 -183 0
-70 -88 -90 0
76 82 -197 0
-76 102 -197 0
80 116 -141 0
-76 -80 -102 0
-102 -116 -141 0
-32 88 180 0
-20 -59 121 0
51 155 187 0
-21 132 178 0
-69 117 -157 0
27 -101 123 0
-27 -88 123 0
122 -185 190 0
90 110 -162 0
-11 -20 -81 0
-42 62 -81 0
30 74 85 0
30 -74 110 0
-56 -110 -117 0
-7 -22 -76 0
63 80 137 0
-63 80 176 0
45 -106 167 0
22 181 193 0
3 21 166 0
21 45 -166 0
-6 74 130 0
-28 159 172 0
58 159 -172 0
-18 -41 -73 0
-48 -62 143 0
-25 -51 58 0
36 -94 -117 0
-56 107 -157 0
81 121 178 0
-31 -135 -189 0
-74 -137 -191 0
17 148 190 0
-58 -152 192 0
-47 83 -198 0
23 129 -194 0
1 19 191 0
-13 65 -109 0
11 27 -58 0
11 -27 57 0
-27 -57 158 0
44 -91 -97 0
-119 125 -145 0
75 -145 167 0
-59 -142 -173 0
29 -114 -187 0
-29 171 -187 0
37 182 -193 0
37 -182 -193 0
-19 -176 -180 0
20 95 -143 0
10 -80 -85 0
10 -85 -163 0
25 183 190 0
-62 -110 183 0
134 183 -190 0
25 -134 -190 0
-98 -103 -128 0
-6 57 182 0
-93 177 -182 0
-120 177 -182 0
18 -93 -177 0
126 146 -167 0
44 96 -123 0
-15 -87 -121 0
-135 147 -172 0
-123 -147 -172 0
6 11 -180 0
-143 -167 186 0
-77 -122 -149 0
32 -87 -125 0
14 53 172 0
-34 -102 -181 0
-13 28 81 0
50 62 -73 0
54 -112 127 0
16 -29 -111 0
14 37 171 0
-84 93 -133 0
93 -116 -151 0
-65 -77 116 0
29 111 157 0
-34 -35 36 0
51 117 -166 0
65 148 186 0
7 15 96 0
77 -99 -151 0
-43 -47 -100 0
6 15 66 0
6 -15 -142 0
-133 141 166 0
-59 -190 194 0
7 29 -140 0
81 -113 -127 0
64 -66 94 0
-64 94 -156 0
16 125 -126 0
36 196 -198 0
-10 112 -186 0
20 116 136 0
-99 -136 142 0
-14 -34 -91 0
-40 -129 -192 0
-7 141 143 0
-30 -41 80 0
-36 -50 126 0
-40 47 104 0
-31 125 -136 0
50 173 -185 0
-32 -121 -174 0
-40 105 -181 0
-125 -163 -173 0
-83 97 -165 0
-57 -97 -165 0
-43 104 119 0
41 76 82 0
41 -82 97 0
97 129 -182 0
-14 -45 77 0
-82 -134 186 0
-37 69 -136 0
-1 97 103 0
-109 114 126 0
-164 -170 194 0
-83 -94 -191 0
-10 14 -69 0
54 -147 -186 0
-23 125 144 0
-24 127 -161 0
-1 -39 59 0
-112 -140 -152 0
42 -113 -185 0
59 105 173 0
-15 47 135 0
-11 41 142 0
34 79 -106 0
59 -94 -147 0
88 -103 -196 0
-84 -137 -161 0
43 126 -196 0
-113 -137 -184 0
-39 -49 -196 0
43 -127 133 0
-112 -183 -195 0
47 87 93 0
145 155 -169 0
140 -195 198 0
-51 63 -89 0
-24 -49 -53 0
87 135 -171 0
5 86 -119 0
63 -105 169 0
-111 133 145 0
-49 -73 -169 0
119 -148 185 0
58 151 -184 0
118 129 -184 0
69 136 -146 0
13 -195 196 0
98 158 -171 0
-148 181 192 0
42 -53 -174 0
128 -171 198 0
118 155 -170 0
17 113 169 0
135 169 198 0
-24 -148 -179 0
-23 98 163 0
98 128 -186 0
-105 113 157 0
137 -170 -199 0
19 -72 142 0
-119 184 -185 0
101 -140 -164 0
80 169 -177 0
34 101 -199 0
86 171 184 0
19 -179 185 0
-1 151 184 0
34 116 -179 0
-80 140 173 0