c Generated from grid-pbl-0010.cnf by pebble-unsat2sat.pl
c Pebbling clauses for the grid graph
c 10 layers
c 55 nodes, 90 edges, 110 variables, 192 clauses
p cnf 110 191
-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
c The following clause commented out by pebble-unsat2sat.pl
c -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
-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
91 92 0
93 94 0
95 96 0
97 98 0
99 100 0
101 102 0
103 104 0
105 106 0
107 108 0
109 110 0
-1 0
-2 0