c Generated from grid-pbl-0015.cnf by pebble-unsat2sat.pl
c Pebbling clauses for the grid graph
c 15 layers
c 120 nodes, 210 edges, 240 variables, 437 clauses
p cnf 240 436
-3 -5 1 2 0
-3 -6 1 2 0
-4 -5 1 2 0
-4 -6 1 2 0
-7 -9 3 4 0
-7 -10 3 4 0
-8 -9 3 4 0
-8 -10 3 4 0
-9 -11 5 6 0
-9 -12 5 6 0
-10 -11 5 6 0
-10 -12 5 6 0
-13 -15 7 8 0
-13 -16 7 8 0
-14 -15 7 8 0
-14 -16 7 8 0
-15 -17 9 10 0
-15 -18 9 10 0
-16 -17 9 10 0
-16 -18 9 10 0
-17 -19 11 12 0
-17 -20 11 12 0
-18 -19 11 12 0
-18 -20 11 12 0
-21 -23 13 14 0
-21 -24 13 14 0
-22 -23 13 14 0
-22 -24 13 14 0
-23 -25 15 16 0
-23 -26 15 16 0
-24 -25 15 16 0
-24 -26 15 16 0
-25 -27 17 18 0
-25 -28 17 18 0
-26 -27 17 18 0
-26 -28 17 18 0
-27 -29 19 20 0
-27 -30 19 20 0
-28 -29 19 20 0
-28 -30 19 20 0
-31 -33 21 22 0
-31 -34 21 22 0
-32 -33 21 22 0
-32 -34 21 22 0
-33 -35 23 24 0
-33 -36 23 24 0
-34 -35 23 24 0
-34 -36 23 24 0
-35 -37 25 26 0
-35 -38 25 26 0
-36 -37 25 26 0
-36 -38 25 26 0
-37 -39 27 28 0
-37 -40 27 28 0
-38 -39 27 28 0
-38 -40 27 28 0
-39 -41 29 30 0
-39 -42 29 30 0
-40 -41 29 30 0
-40 -42 29 30 0
-43 -45 31 32 0
-43 -46 31 32 0
-44 -45 31 32 0
-44 -46 31 32 0
-45 -47 33 34 0
-45 -48 33 34 0
-46 -47 33 34 0
-46 -48 33 34 0
-47 -49 35 36 0
-47 -50 35 36 0
-48 -49 35 36 0
-48 -50 35 36 0
-49 -51 37 38 0
-49 -52 37 38 0
-50 -51 37 38 0
-50 -52 37 38 0
-51 -53 39 40 0
-51 -54 39 40 0
-52 -53 39 40 0
-52 -54 39 40 0
-53 -55 41 42 0
-53 -56 41 42 0
-54 -55 41 42 0
-54 -56 41 42 0
-57 -59 43 44 0
-57 -60 43 44 0
-58 -59 43 44 0
-58 -60 43 44 0
-59 -61 45 46 0
-59 -62 45 46 0
-60 -61 45 46 0
-60 -62 45 46 0
-61 -63 47 48 0
-61 -64 47 48 0
-62 -63 47 48 0
-62 -64 47 48 0
-63 -65 49 50 0
-63 -66 49 50 0
-64 -65 49 50 0
-64 -66 49 50 0
-65 -67 51 52 0
-65 -68 51 52 0
-66 -67 51 52 0
-66 -68 51 52 0
-67 -69 53 54 0
-67 -70 53 54 0
-68 -69 53 54 0
-68 -70 53 54 0
-69 -71 55 56 0
-69 -72 55 56 0
-70 -71 55 56 0
-70 -72 55 56 0
-73 -75 57 58 0
-73 -76 57 58 0
-74 -75 57 58 0
-74 -76 57 58 0
-75 -77 59 60 0
-75 -78 59 60 0
-76 -77 59 60 0
-76 -78 59 60 0
-77 -79 61 62 0
-77 -80 61 62 0
-78 -79 61 62 0
-78 -80 61 62 0
-79 -81 63 64 0
-79 -82 63 64 0
-80 -81 63 64 0
-80 -82 63 64 0
-81 -83 65 66 0
-81 -84 65 66 0
-82 -83 65 66 0
-82 -84 65 66 0
-83 -85 67 68 0
-83 -86 67 68 0
-84 -85 67 68 0
-84 -86 67 68 0
-85 -87 69 70 0
-85 -88 69 70 0
-86 -87 69 70 0
-86 -88 69 70 0
-87 -89 71 72 0
-87 -90 71 72 0
-88 -89 71 72 0
-88 -90 71 72 0
-91 -93 73 74 0
-91 -94 73 74 0
-92 -93 73 74 0
-92 -94 73 74 0
-93 -95 75 76 0
-93 -96 75 76 0
-94 -95 75 76 0
-94 -96 75 76 0
-95 -97 77 78 0
-95 -98 77 78 0
-96 -97 77 78 0
-96 -98 77 78 0
-97 -99 79 80 0
-97 -100 79 80 0
-98 -99 79 80 0
c The following clause commented out by pebble-unsat2sat.pl
c -98 -100 79 80 0
-99 -101 81 82 0
-99 -102 81 82 0
-100 -101 81 82 0
-100 -102 81 82 0
-101 -103 83 84 0
-101 -104 83 84 0
-102 -103 83 84 0
-102 -104 83 84 0
-103 -105 85 86 0
-103 -106 85 86 0
-104 -105 85 86 0
-104 -106 85 86 0
-105 -107 87 88 0
-105 -108 87 88 0
-106 -107 87 88 0
-106 -108 87 88 0
-107 -109 89 90 0
-107 -110 89 90 0
-108 -109 89 90 0
-108 -110 89 90 0
-111 -113 91 92 0
-111 -114 91 92 0
-112 -113 91 92 0
-112 -114 91 92 0
-113 -115 93 94 0
-113 -116 93 94 0
-114 -115 93 94 0
-114 -116 93 94 0
-115 -117 95 96 0
-115 -118 95 96 0
-116 -117 95 96 0
-116 -118 95 96 0
-117 -119 97 98 0
-117 -120 97 98 0
-118 -119 97 98 0
-118 -120 97 98 0
-119 -121 99 100 0
-119 -122 99 100 0
-120 -121 99 100 0
-120 -122 99 100 0
-121 -123 101 102 0
-121 -124 101 102 0
-122 -123 101 102 0
-122 -124 101 102 0
-123 -125 103 104 0
-123 -126 103 104 0
-124 -125 103 104 0
-124 -126 103 104 0
-125 -127 105 106 0
-125 -128 105 106 0
-126 -127 105 106 0
-126 -128 105 106 0
-127 -129 107 108 0
-127 -130 107 108 0
-128 -129 107 108 0
-128 -130 107 108 0
-129 -131 109 110 0
-129 -132 109 110 0
-130 -131 109 110 0
-130 -132 109 110 0
-133 -135 111 112 0
-133 -136 111 112 0
-134 -135 111 112 0
-134 -136 111 112 0
-135 -137 113 114 0
-135 -138 113 114 0
-136 -137 113 114 0
-136 -138 113 114 0
-137 -139 115 116 0
-137 -140 115 116 0
-138 -139 115 116 0
-138 -140 115 116 0
-139 -141 117 118 0
-139 -142 117 118 0
-140 -141 117 118 0
-140 -142 117 118 0
-141 -143 119 120 0
-141 -144 119 120 0
-142 -143 119 120 0
-142 -144 119 120 0
-143 -145 121 122 0
-143 -146 121 122 0
-144 -145 121 122 0
-144 -146 121 122 0
-145 -147 123 124 0
-145 -148 123 124 0
-146 -147 123 124 0
-146 -148 123 124 0
-147 -149 125 126 0
-147 -150 125 126 0
-148 -149 125 126 0
-148 -150 125 126 0
-149 -151 127 128 0
-149 -152 127 128 0
-150 -151 127 128 0
-150 -152 127 128 0
-151 -153 129 130 0
-151 -154 129 130 0
-152 -153 129 130 0
-152 -154 129 130 0
-153 -155 131 132 0
-153 -156 131 132 0
-154 -155 131 132 0
-154 -156 131 132 0
-157 -159 133 134 0
-157 -160 133 134 0
-158 -159 133 134 0
-158 -160 133 134 0
-159 -161 135 136 0
-159 -162 135 136 0
-160 -161 135 136 0
-160 -162 135 136 0
-161 -163 137 138 0
-161 -164 137 138 0
-162 -163 137 138 0
-162 -164 137 138 0
-163 -165 139 140 0
-163 -166 139 140 0
-164 -165 139 140 0
-164 -166 139 140 0
-165 -167 141 142 0
-165 -168 141 142 0
-166 -167 141 142 0
-166 -168 141 142 0
-167 -169 143 144 0
-167 -170 143 144 0
-168 -169 143 144 0
-168 -170 143 144 0
-169 -171 145 146 0
-169 -172 145 146 0
-170 -171 145 146 0
-170 -172 145 146 0
-171 -173 147 148 0
-171 -174 147 148 0
-172 -173 147 148 0
-172 -174 147 148 0
-173 -175 149 150 0
-173 -176 149 150 0
-174 -175 149 150 0
-174 -176 149 150 0
-175 -177 151 152 0
-175 -178 151 152 0
-176 -177 151 152 0
-176 -178 151 152 0
-177 -179 153 154 0
-177 -180 153 154 0
-178 -179 153 154 0
-178 -180 153 154 0
-179 -181 155 156 0
-179 -182 155 156 0
-180 -181 155 156 0
-180 -182 155 156 0
-183 -185 157 158 0
-183 -186 157 158 0
-184 -185 157 158 0
-184 -186 157 158 0
-185 -187 159 160 0
-185 -188 159 160 0
-186 -187 159 160 0
-186 -188 159 160 0
-187 -189 161 162 0
-187 -190 161 162 0
-188 -189 161 162 0
-188 -190 161 162 0
-189 -191 163 164 0
-189 -192 163 164 0
-190 -191 163 164 0
-190 -192 163 164 0
-191 -193 165 166 0
-191 -194 165 166 0
-192 -193 165 166 0
-192 -194 165 166 0
-193 -195 167 168 0
-193 -196 167 168 0
-194 -195 167 168 0
-194 -196 167 168 0
-195 -197 169 170 0
-195 -198 169 170 0
-196 -197 169 170 0
-196 -198 169 170 0
-197 -199 171 172 0
-197 -200 171 172 0
-198 -199 171 172 0
-198 -200 171 172 0
-199 -201 173 174 0
-199 -202 173 174 0
-200 -201 173 174 0
-200 -202 173 174 0
-201 -203 175 176 0
-201 -204 175 176 0
-202 -203 175 176 0
-202 -204 175 176 0
-203 -205 177 178 0
-203 -206 177 178 0
-204 -205 177 178 0
-204 -206 177 178 0
-205 -207 179 180 0
-205 -208 179 180 0
-206 -207 179 180 0
-206 -208 179 180 0
-207 -209 181 182 0
-207 -210 181 182 0
-208 -209 181 182 0
-208 -210 181 182 0
-211 -213 183 184 0
-211 -214 183 184 0
-212 -213 183 184 0
-212 -214 183 184 0
-213 -215 185 186 0
-213 -216 185 186 0
-214 -215 185 186 0
-214 -216 185 186 0
-215 -217 187 188 0
-215 -218 187 188 0
-216 -217 187 188 0
-216 -218 187 188 0
-217 -219 189 190 0
-217 -220 189 190 0
-218 -219 189 190 0
-218 -220 189 190 0
-219 -221 191 192 0
-219 -222 191 192 0
-220 -221 191 192 0
-220 -222 191 192 0
-221 -223 193 194 0
-221 -224 193 194 0
-222 -223 193 194 0
-222 -224 193 194 0
-223 -225 195 196 0
-223 -226 195 196 0
-224 -225 195 196 0
-224 -226 195 196 0
-225 -227 197 198 0
-225 -228 197 198 0
-226 -227 197 198 0
-226 -228 197 198 0
-227 -229 199 200 0
-227 -230 199 200 0
-228 -229 199 200 0
-228 -230 199 200 0
-229 -231 201 202 0
-229 -232 201 202 0
-230 -231 201 202 0
-230 -232 201 202 0
-231 -233 203 204 0
-231 -234 203 204 0
-232 -233 203 204 0
-232 -234 203 204 0
-233 -235 205 206 0
-233 -236 205 206 0
-234 -235 205 206 0
-234 -236 205 206 0
-235 -237 207 208 0
-235 -238 207 208 0
-236 -237 207 208 0
-236 -238 207 208 0
-237 -239 209 210 0
-237 -240 209 210 0
-238 -239 209 210 0
-238 -240 209 210 0
211 212 0
213 214 0
215 216 0
217 218 0
219 220 0
221 222 0
223 224 0
225 226 0
227 228 0
229 230 0
231 232 0
233 234 0
235 236 0
237 238 0
239 240 0
-1 0
-2 0