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

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