aim-200-3_4-yes1-1.cnf

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