|
Last change
on this file since 6152 was
6152,
checked in by bfarka, 13 years ago
|
|
added ecj and custom statistics to communicate with the okb services #1441
|
|
File size:
3.2 KB
|
| Line | |
|---|
| 1 | c mkcnf random cnf with seed 522186, max clause length 3 |
|---|
| 2 | c FORCED SATISFIABLE |
|---|
| 3 | c |
|---|
| 4 | p cnf 50 215 |
|---|
| 5 | 49 44 28 0 |
|---|
| 6 | -18 38 7 0 |
|---|
| 7 | -13 26 40 0 |
|---|
| 8 | -23 -16 -6 0 |
|---|
| 9 | 1 6 22 0 |
|---|
| 10 | -26 -6 -20 0 |
|---|
| 11 | -43 -2 14 0 |
|---|
| 12 | -40 21 30 0 |
|---|
| 13 | 36 -21 -27 0 |
|---|
| 14 | 22 -16 6 0 |
|---|
| 15 | -37 29 -26 0 |
|---|
| 16 | -14 -16 18 0 |
|---|
| 17 | -29 -10 -18 0 |
|---|
| 18 | 50 -41 7 0 |
|---|
| 19 | 1 -9 -39 0 |
|---|
| 20 | -4 -43 -50 0 |
|---|
| 21 | 1 42 30 0 |
|---|
| 22 | 19 47 -9 0 |
|---|
| 23 | -41 -17 -34 0 |
|---|
| 24 | -8 -44 36 0 |
|---|
| 25 | 26 -28 41 0 |
|---|
| 26 | -26 35 19 0 |
|---|
| 27 | -35 11 -28 0 |
|---|
| 28 | 10 -42 27 0 |
|---|
| 29 | 37 -50 42 0 |
|---|
| 30 | 23 5 46 0 |
|---|
| 31 | 36 35 8 0 |
|---|
| 32 | -19 45 21 0 |
|---|
| 33 | -39 -30 14 0 |
|---|
| 34 | -29 43 -42 0 |
|---|
| 35 | -43 -28 6 0 |
|---|
| 36 | 6 -31 16 0 |
|---|
| 37 | 4 22 -45 0 |
|---|
| 38 | -4 -39 29 0 |
|---|
| 39 | 46 -18 -23 0 |
|---|
| 40 | 7 -36 -28 0 |
|---|
| 41 | 15 -33 -44 0 |
|---|
| 42 | 23 16 -43 0 |
|---|
| 43 | -30 -41 -1 0 |
|---|
| 44 | -20 -14 26 0 |
|---|
| 45 | 25 44 -50 0 |
|---|
| 46 | 3 -40 2 0 |
|---|
| 47 | -39 -10 -16 0 |
|---|
| 48 | 16 5 42 0 |
|---|
| 49 | -22 -2 32 0 |
|---|
| 50 | -42 44 -25 0 |
|---|
| 51 | -19 -50 -32 0 |
|---|
| 52 | 4 -10 19 0 |
|---|
| 53 | -41 -38 33 0 |
|---|
| 54 | -7 29 -38 0 |
|---|
| 55 | 8 -17 -47 0 |
|---|
| 56 | 30 5 -17 0 |
|---|
| 57 | 43 30 -41 0 |
|---|
| 58 | -17 11 -23 0 |
|---|
| 59 | 13 -32 26 0 |
|---|
| 60 | -39 7 17 0 |
|---|
| 61 | -35 -17 11 0 |
|---|
| 62 | -50 -35 49 0 |
|---|
| 63 | 27 -2 35 0 |
|---|
| 64 | 9 44 -40 0 |
|---|
| 65 | 45 17 -29 0 |
|---|
| 66 | -26 -30 -47 0 |
|---|
| 67 | 3 23 -44 0 |
|---|
| 68 | -38 -48 21 0 |
|---|
| 69 | 12 49 -26 0 |
|---|
| 70 | 47 -38 22 0 |
|---|
| 71 | -45 -22 38 0 |
|---|
| 72 | 23 37 1 0 |
|---|
| 73 | 3 12 16 0 |
|---|
| 74 | -47 35 39 0 |
|---|
| 75 | 16 -44 15 0 |
|---|
| 76 | 42 -14 8 0 |
|---|
| 77 | -45 40 28 0 |
|---|
| 78 | -40 -3 27 0 |
|---|
| 79 | -44 -9 12 0 |
|---|
| 80 | 35 33 19 0 |
|---|
| 81 | -2 -14 12 0 |
|---|
| 82 | -10 26 -14 0 |
|---|
| 83 | -22 12 36 0 |
|---|
| 84 | -19 31 16 0 |
|---|
| 85 | -43 35 -12 0 |
|---|
| 86 | 39 -7 24 0 |
|---|
| 87 | -14 31 10 0 |
|---|
| 88 | -7 -21 10 0 |
|---|
| 89 | 14 41 4 0 |
|---|
| 90 | -7 13 -49 0 |
|---|
| 91 | 5 31 18 0 |
|---|
| 92 | 23 25 30 0 |
|---|
| 93 | -25 -34 -14 0 |
|---|
| 94 | 44 45 1 0 |
|---|
| 95 | -47 -38 -17 0 |
|---|
| 96 | 28 -4 -13 0 |
|---|
| 97 | -36 -4 50 0 |
|---|
| 98 | 8 -15 1 0 |
|---|
| 99 | -45 -8 7 0 |
|---|
| 100 | -9 7 -34 0 |
|---|
| 101 | -2 36 -1 0 |
|---|
| 102 | -15 19 -33 0 |
|---|
| 103 | 11 43 50 0 |
|---|
| 104 | 30 22 34 0 |
|---|
| 105 | 25 -5 -21 0 |
|---|
| 106 | 14 32 17 0 |
|---|
| 107 | 32 -35 39 0 |
|---|
| 108 | 9 -37 42 0 |
|---|
| 109 | 1 -19 -18 0 |
|---|
| 110 | 27 -36 5 0 |
|---|
| 111 | 45 16 32 0 |
|---|
| 112 | 19 30 -46 0 |
|---|
| 113 | 49 19 -32 0 |
|---|
| 114 | -42 45 -32 0 |
|---|
| 115 | 2 -45 -30 0 |
|---|
| 116 | -44 21 12 0 |
|---|
| 117 | 8 5 34 0 |
|---|
| 118 | 41 48 -45 0 |
|---|
| 119 | -27 43 -1 0 |
|---|
| 120 | -23 -30 7 0 |
|---|
| 121 | -18 -47 -15 0 |
|---|
| 122 | 31 -20 -19 0 |
|---|
| 123 | 38 -46 16 0 |
|---|
| 124 | 48 23 -17 0 |
|---|
| 125 | -41 34 -16 0 |
|---|
| 126 | 5 19 -2 0 |
|---|
| 127 | 23 -17 29 0 |
|---|
| 128 | -7 17 -40 0 |
|---|
| 129 | -49 -11 -26 0 |
|---|
| 130 | 48 -49 39 0 |
|---|
| 131 | 17 -33 4 0 |
|---|
| 132 | -12 35 -5 0 |
|---|
| 133 | 18 9 27 0 |
|---|
| 134 | -19 -38 -40 0 |
|---|
| 135 | 35 -42 44 0 |
|---|
| 136 | 17 2 -31 0 |
|---|
| 137 | 35 -5 14 0 |
|---|
| 138 | 14 -35 1 0 |
|---|
| 139 | 43 -9 2 0 |
|---|
| 140 | 50 34 -22 0 |
|---|
| 141 | 43 -1 -15 0 |
|---|
| 142 | -11 -12 -32 0 |
|---|
| 143 | -9 -2 -10 0 |
|---|
| 144 | 14 30 49 0 |
|---|
| 145 | -18 39 -28 0 |
|---|
| 146 | 38 34 -46 0 |
|---|
| 147 | 2 35 -44 0 |
|---|
| 148 | -5 49 42 0 |
|---|
| 149 | 27 -14 -42 0 |
|---|
| 150 | 20 -6 30 0 |
|---|
| 151 | 5 -44 26 0 |
|---|
| 152 | -28 -16 -22 0 |
|---|
| 153 | -43 45 36 0 |
|---|
| 154 | -18 -28 44 0 |
|---|
| 155 | -42 13 -15 0 |
|---|
| 156 | -15 -43 24 0 |
|---|
| 157 | 8 10 7 0 |
|---|
| 158 | 15 -36 -32 0 |
|---|
| 159 | 41 4 -46 0 |
|---|
| 160 | -15 -17 11 0 |
|---|
| 161 | 24 34 -35 0 |
|---|
| 162 | 39 -46 -50 0 |
|---|
| 163 | -12 43 -24 0 |
|---|
| 164 | 9 5 28 0 |
|---|
| 165 | -48 -41 -15 0 |
|---|
| 166 | -7 32 34 0 |
|---|
| 167 | -22 50 -38 0 |
|---|
| 168 | -17 23 -37 0 |
|---|
| 169 | -26 -31 40 0 |
|---|
| 170 | 48 8 -21 0 |
|---|
| 171 | -46 32 37 0 |
|---|
| 172 | 26 39 -38 0 |
|---|
| 173 | -21 -10 -27 0 |
|---|
| 174 | -7 -13 -26 0 |
|---|
| 175 | -17 48 -47 0 |
|---|
| 176 | -12 -17 -32 0 |
|---|
| 177 | -17 43 42 0 |
|---|
| 178 | -43 12 -18 0 |
|---|
| 179 | -39 1 36 0 |
|---|
| 180 | 38 -34 44 0 |
|---|
| 181 | -24 1 -33 0 |
|---|
| 182 | -48 19 18 0 |
|---|
| 183 | 18 23 -30 0 |
|---|
| 184 | 7 11 -49 0 |
|---|
| 185 | 41 -37 26 0 |
|---|
| 186 | 20 47 -15 0 |
|---|
| 187 | 16 -21 26 0 |
|---|
| 188 | 5 -40 43 0 |
|---|
| 189 | 42 -25 16 0 |
|---|
| 190 | -6 -15 -25 0 |
|---|
| 191 | 13 4 22 0 |
|---|
| 192 | 13 43 -45 0 |
|---|
| 193 | -22 -10 -16 0 |
|---|
| 194 | 43 38 -8 0 |
|---|
| 195 | 41 -20 -39 0 |
|---|
| 196 | 14 -9 50 0 |
|---|
| 197 | 50 12 17 0 |
|---|
| 198 | -5 -45 -3 0 |
|---|
| 199 | -23 26 43 0 |
|---|
| 200 | 3 -14 30 0 |
|---|
| 201 | 13 26 19 0 |
|---|
| 202 | -25 35 23 0 |
|---|
| 203 | 44 14 -33 0 |
|---|
| 204 | 33 -37 -1 0 |
|---|
| 205 | -22 -21 -33 0 |
|---|
| 206 | 20 49 18 0 |
|---|
| 207 | -45 -5 39 0 |
|---|
| 208 | 8 21 37 0 |
|---|
| 209 | -37 16 46 0 |
|---|
| 210 | 16 -26 47 0 |
|---|
| 211 | -49 -6 28 0 |
|---|
| 212 | 11 30 48 0 |
|---|
| 213 | -33 -10 -8 0 |
|---|
| 214 | -19 -32 30 0 |
|---|
| 215 | -22 12 -18 0 |
|---|
| 216 | 9 10 46 0 |
|---|
| 217 | -50 -44 -8 0 |
|---|
| 218 | -6 -20 43 0 |
|---|
| 219 | 11 8 26 0 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
