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

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