c FILE: MANN_a27.clq.b c c By: Carlo Mannino (mannino@iasi.rm.cnr.it) c c DESCRIPTION: Clique formulation of the Steiner Triple Problem, c translated from the set covering formulation c c Graph Size: 378 Clique Size: 126 c c Clique Elements are: c 2 4 6 8 10 11 13 14 19 30 32 36 39 40 45 c 48 49 54 57 59 63 66 69 70 75 77 81 83 87 90 c 93 96 98 101 103 106 110 113 115 118 121 124 128 130 133 c 138 141 144 147 150 153 156 159 162 165 168 171 174 177 180 c 183 186 189 192 195 198 201 204 207 210 213 216 219 222 225 c 228 231 234 237 240 243 245 249 252 254 257 261 264 267 270 c 272 276 279 282 285 288 291 294 297 300 303 306 309 312 315 c 316 321 324 325 329 333 336 339 342 343 348 351 352 357 360 c 363 366 369 372 375 378 * c c EDGE DENSITY: 0.9901 c PSEUDOBOOLEAN 378 p wcnf 378 1080 378 1 -1 0 1 -2 0 1 -3 0 1 -4 0 1 -5 0 1 -6 0 1 -7 0 1 -8 0 1 -9 0 1 -10 0 1 -11 0 1 -12 0 1 -13 0 1 -14 0 1 -15 0 1 -16 0 1 -17 0 1 -18 0 1 -19 0 1 -20 0 1 -21 0 1 -22 0 1 -23 0 1 -24 0 1 -25 0 1 -26 0 1 -27 0 1 -28 0 1 -29 0 1 -30 0 1 -31 0 1 -32 0 1 -33 0 1 -34 0 1 -35 0 1 -36 0 1 -37 0 1 -38 0 1 -39 0 1 -40 0 1 -41 0 1 -42 0 1 -43 0 1 -44 0 1 -45 0 1 -46 0 1 -47 0 1 -48 0 1 -49 0 1 -50 0 1 -51 0 1 -52 0 1 -53 0 1 -54 0 1 -55 0 1 -56 0 1 -57 0 1 -58 0 1 -59 0 1 -60 0 1 -61 0 1 -62 0 1 -63 0 1 -64 0 1 -65 0 1 -66 0 1 -67 0 1 -68 0 1 -69 0 1 -70 0 1 -71 0 1 -72 0 1 -73 0 1 -74 0 1 -75 0 1 -76 0 1 -77 0 1 -78 0 1 -79 0 1 -80 0 1 -81 0 1 -82 0 1 -83 0 1 -84 0 1 -85 0 1 -86 0 1 -87 0 1 -88 0 1 -89 0 1 -90 0 1 -91 0 1 -92 0 1 -93 0 1 -94 0 1 -95 0 1 -96 0 1 -97 0 1 -98 0 1 -99 0 1 -100 0 1 -101 0 1 -102 0 1 -103 0 1 -104 0 1 -105 0 1 -106 0 1 -107 0 1 -108 0 1 -109 0 1 -110 0 1 -111 0 1 -112 0 1 -113 0 1 -114 0 1 -115 0 1 -116 0 1 -117 0 1 -118 0 1 -119 0 1 -120 0 1 -121 0 1 -122 0 1 -123 0 1 -124 0 1 -125 0 1 -126 0 1 -127 0 1 -128 0 1 -129 0 1 -130 0 1 -131 0 1 -132 0 1 -133 0 1 -134 0 1 -135 0 1 -136 0 1 -137 0 1 -138 0 1 -139 0 1 -140 0 1 -141 0 1 -142 0 1 -143 0 1 -144 0 1 -145 0 1 -146 0 1 -147 0 1 -148 0 1 -149 0 1 -150 0 1 -151 0 1 -152 0 1 -153 0 1 -154 0 1 -155 0 1 -156 0 1 -157 0 1 -158 0 1 -159 0 1 -160 0 1 -161 0 1 -162 0 1 -163 0 1 -164 0 1 -165 0 1 -166 0 1 -167 0 1 -168 0 1 -169 0 1 -170 0 1 -171 0 1 -172 0 1 -173 0 1 -174 0 1 -175 0 1 -176 0 1 -177 0 1 -178 0 1 -179 0 1 -180 0 1 -181 0 1 -182 0 1 -183 0 1 -184 0 1 -185 0 1 -186 0 1 -187 0 1 -188 0 1 -189 0 1 -190 0 1 -191 0 1 -192 0 1 -193 0 1 -194 0 1 -195 0 1 -196 0 1 -197 0 1 -198 0 1 -199 0 1 -200 0 1 -201 0 1 -202 0 1 -203 0 1 -204 0 1 -205 0 1 -206 0 1 -207 0 1 -208 0 1 -209 0 1 -210 0 1 -211 0 1 -212 0 1 -213 0 1 -214 0 1 -215 0 1 -216 0 1 -217 0 1 -218 0 1 -219 0 1 -220 0 1 -221 0 1 -222 0 1 -223 0 1 -224 0 1 -225 0 1 -226 0 1 -227 0 1 -228 0 1 -229 0 1 -230 0 1 -231 0 1 -232 0 1 -233 0 1 -234 0 1 -235 0 1 -236 0 1 -237 0 1 -238 0 1 -239 0 1 -240 0 1 -241 0 1 -242 0 1 -243 0 1 -244 0 1 -245 0 1 -246 0 1 -247 0 1 -248 0 1 -249 0 1 -250 0 1 -251 0 1 -252 0 1 -253 0 1 -254 0 1 -255 0 1 -256 0 1 -257 0 1 -258 0 1 -259 0 1 -260 0 1 -261 0 1 -262 0 1 -263 0 1 -264 0 1 -265 0 1 -266 0 1 -267 0 1 -268 0 1 -269 0 1 -270 0 1 -271 0 1 -272 0 1 -273 0 1 -274 0 1 -275 0 1 -276 0 1 -277 0 1 -278 0 1 -279 0 1 -280 0 1 -281 0 1 -282 0 1 -283 0 1 -284 0 1 -285 0 1 -286 0 1 -287 0 1 -288 0 1 -289 0 1 -290 0 1 -291 0 1 -292 0 1 -293 0 1 -294 0 1 -295 0 1 -296 0 1 -297 0 1 -298 0 1 -299 0 1 -300 0 1 -301 0 1 -302 0 1 -303 0 1 -304 0 1 -305 0 1 -306 0 1 -307 0 1 -308 0 1 -309 0 1 -310 0 1 -311 0 1 -312 0 1 -313 0 1 -314 0 1 -315 0 1 -316 0 1 -317 0 1 -318 0 1 -319 0 1 -320 0 1 -321 0 1 -322 0 1 -323 0 1 -324 0 1 -325 0 1 -326 0 1 -327 0 1 -328 0 1 -329 0 1 -330 0 1 -331 0 1 -332 0 1 -333 0 1 -334 0 1 -335 0 1 -336 0 1 -337 0 1 -338 0 1 -339 0 1 -340 0 1 -341 0 1 -342 0 1 -343 0 1 -344 0 1 -345 0 1 -346 0 1 -347 0 1 -348 0 1 -349 0 1 -350 0 1 -351 0 1 -352 0 1 -353 0 1 -354 0 1 -355 0 1 -356 0 1 -357 0 1 -358 0 1 -359 0 1 -360 0 1 -361 0 1 -362 0 1 -363 0 1 -364 0 1 -365 0 1 -366 0 1 -367 0 1 -368 0 1 -369 0 1 -370 0 1 -371 0 1 -372 0 1 -373 0 1 -374 0 1 -375 0 1 -376 0 1 -377 0 1 -378 0 378 1 28 0 378 1 37 0 378 1 40 0 378 1 55 0 378 1 136 0 378 1 145 0 378 1 148 0 378 1 163 0 378 1 172 0 378 1 181 0 378 1 184 0 378 1 199 0 378 1 352 0 378 2 29 0 378 2 43 0 378 2 46 0 378 2 58 0 378 2 151 0 378 2 154 0 378 2 166 0 378 2 187 0 378 2 190 0 378 2 202 0 378 2 208 0 378 2 244 0 378 2 355 0 378 3 30 0 378 3 49 0 378 3 52 0 378 3 61 0 378 3 157 0 378 3 160 0 378 3 169 0 378 3 193 0 378 3 196 0 378 3 205 0 378 3 280 0 378 3 316 0 378 3 358 0 378 4 31 0 378 4 44 0 378 4 50 0 378 4 56 0 378 4 139 0 378 4 175 0 378 4 223 0 378 4 229 0 378 4 235 0 378 4 259 0 378 4 265 0 378 4 271 0 378 4 361 0 378 5 32 0 378 5 38 0 378 5 53 0 378 5 59 0 378 5 211 0 378 5 217 0 378 5 232 0 378 5 238 0 378 5 247 0 378 5 253 0 378 5 268 0 378 5 274 0 378 5 364 0 378 6 33 0 378 6 41 0 378 6 47 0 378 6 62 0 378 6 220 0 378 6 226 0 378 6 241 0 378 6 256 0 378 6 262 0 378 6 277 0 378 6 283 0 378 6 319 0 378 6 367 0 378 7 34 0 378 7 48 0 378 7 54 0 378 7 57 0 378 7 142 0 378 7 178 0 378 7 298 0 378 7 304 0 378 7 307 0 378 7 334 0 378 7 340 0 378 7 343 0 378 7 370 0 378 8 35 0 378 8 42 0 378 8 51 0 378 8 60 0 378 8 214 0 378 8 250 0 378 8 292 0 378 8 301 0 378 8 310 0 378 8 328 0 378 8 337 0 378 8 346 0 378 8 373 0 378 9 36 0 378 9 39 0 378 9 45 0 378 9 63 0 378 9 286 0 378 9 289 0 378 9 295 0 378 9 313 0 378 9 322 0 378 9 325 0 378 9 331 0 378 9 349 0 378 9 376 0 378 10 64 0 378 10 73 0 378 10 76 0 378 10 91 0 378 10 209 0 378 10 218 0 378 10 221 0 378 10 236 0 378 10 281 0 378 10 290 0 378 10 293 0 378 10 308 0 378 10 353 0 378 11 65 0 378 11 79 0 378 11 82 0 378 11 94 0 378 11 137 0 378 11 224 0 378 11 227 0 378 11 239 0 378 11 296 0 378 11 299 0 378 11 311 0 378 11 317 0 378 11 356 0 378 12 66 0 378 12 85 0 378 12 88 0 378 12 97 0 378 12 173 0 378 12 230 0 378 12 233 0 378 12 242 0 378 12 245 0 378 12 302 0 378 12 305 0 378 12 314 0 378 12 359 0 378 13 67 0 378 13 80 0 378 13 86 0 378 13 92 0 378 13 152 0 378 13 158 0 378 13 164 0 378 13 212 0 378 13 284 0 378 13 332 0 378 13 338 0 378 13 344 0 378 13 362 0 378 14 68 0 378 14 74 0 378 14 89 0 378 14 95 0 378 14 140 0 378 14 146 0 378 14 161 0 378 14 167 0 378 14 320 0 378 14 326 0 378 14 341 0 378 14 347 0 378 14 365 0 378 15 69 0 378 15 77 0 378 15 83 0 378 15 98 0 378 15 149 0 378 15 155 0 378 15 170 0 378 15 176 0 378 15 248 0 378 15 329 0 378 15 335 0 378 15 350 0 378 15 368 0 378 16 70 0 378 16 84 0 378 16 90 0 378 16 93 0 378 16 191 0 378 16 197 0 378 16 200 0 378 16 215 0 378 16 263 0 378 16 269 0 378 16 272 0 378 16 287 0 378 16 371 0 378 17 71 0 378 17 78 0 378 17 87 0 378 17 96 0 378 17 143 0 378 17 185 0 378 17 194 0 378 17 203 0 378 17 257 0 378 17 266 0 378 17 275 0 378 17 323 0 378 17 374 0 378 18 72 0 378 18 75 0 378 18 81 0 378 18 99 0 378 18 179 0 378 18 182 0 378 18 188 0 378 18 206 0 378 18 251 0 378 18 254 0 378 18 260 0 378 18 278 0 378 18 377 0 378 19 100 0 378 19 109 0 378 19 112 0 378 19 127 0 378 19 246 0 378 19 255 0 378 19 258 0 378 19 273 0 378 19 318 0 378 19 327 0 378 19 330 0 378 19 345 0 378 19 354 0 378 20 101 0 378 20 115 0 378 20 118 0 378 20 130 0 378 20 174 0 378 20 261 0 378 20 264 0 378 20 276 0 378 20 282 0 378 20 333 0 378 20 336 0 378 20 348 0 378 20 357 0 378 21 102 0 378 21 121 0 378 21 124 0 378 21 133 0 378 21 138 0 378 21 210 0 378 21 267 0 378 21 270 0 378 21 279 0 378 21 339 0 378 21 342 0 378 21 351 0 378 21 360 0 378 22 103 0 378 22 116 0 378 22 122 0 378 22 128 0 378 22 189 0 378 22 195 0 378 22 201 0 378 22 249 0 378 22 297 0 378 22 303 0 378 22 309 0 378 22 321 0 378 22 363 0 378 23 104 0 378 23 110 0 378 23 125 0 378 23 131 0 378 23 177 0 378 23 183 0 378 23 198 0 378 23 204 0 378 23 285 0 378 23 291 0 378 23 306 0 378 23 312 0 378 23 366 0 378 24 105 0 378 24 113 0 378 24 119 0 378 24 134 0 378 24 141 0 378 24 186 0 378 24 192 0 378 24 207 0 378 24 213 0 378 24 294 0 378 24 300 0 378 24 315 0 378 24 369 0 378 25 106 0 378 25 120 0 378 25 126 0 378 25 129 0 378 25 156 0 378 25 162 0 378 25 165 0 378 25 228 0 378 25 234 0 378 25 237 0 378 25 252 0 378 25 324 0 378 25 372 0 378 26 107 0 378 26 114 0 378 26 123 0 378 26 132 0 378 26 150 0 378 26 159 0 378 26 168 0 378 26 180 0 378 26 222 0 378 26 231 0 378 26 240 0 378 26 288 0 378 26 375 0 378 27 108 0 378 27 111 0 378 27 117 0 378 27 135 0 378 27 144 0 378 27 147 0 378 27 153 0 378 27 171 0 378 27 216 0 378 27 219 0 378 27 225 0 378 27 243 0 378 27 378 0 378 28 29 0 378 28 30 0 378 29 30 0 378 31 32 0 378 31 33 0 378 32 33 0 378 34 35 0 378 34 36 0 378 35 36 0 378 37 38 0 378 37 39 0 378 38 39 0 378 40 41 0 378 40 42 0 378 41 42 0 378 43 44 0 378 43 45 0 378 44 45 0 378 46 47 0 378 46 48 0 378 47 48 0 378 49 50 0 378 49 51 0 378 50 51 0 378 52 53 0 378 52 54 0 378 53 54 0 378 55 56 0 378 55 57 0 378 56 57 0 378 58 59 0 378 58 60 0 378 59 60 0 378 61 62 0 378 61 63 0 378 62 63 0 378 64 65 0 378 64 66 0 378 65 66 0 378 67 68 0 378 67 69 0 378 68 69 0 378 70 71 0 378 70 72 0 378 71 72 0 378 73 74 0 378 73 75 0 378 74 75 0 378 76 77 0 378 76 78 0 378 77 78 0 378 79 80 0 378 79 81 0 378 80 81 0 378 82 83 0 378 82 84 0 378 83 84 0 378 85 86 0 378 85 87 0 378 86 87 0 378 88 89 0 378 88 90 0 378 89 90 0 378 91 92 0 378 91 93 0 378 92 93 0 378 94 95 0 378 94 96 0 378 95 96 0 378 97 98 0 378 97 99 0 378 98 99 0 378 100 101 0 378 100 102 0 378 101 102 0 378 103 104 0 378 103 105 0 378 104 105 0 378 106 107 0 378 106 108 0 378 107 108 0 378 109 110 0 378 109 111 0 378 110 111 0 378 112 113 0 378 112 114 0 378 113 114 0 378 115 116 0 378 115 117 0 378 116 117 0 378 118 119 0 378 118 120 0 378 119 120 0 378 121 122 0 378 121 123 0 378 122 123 0 378 124 125 0 378 124 126 0 378 125 126 0 378 127 128 0 378 127 129 0 378 128 129 0 378 130 131 0 378 130 132 0 378 131 132 0 378 133 134 0 378 133 135 0 378 134 135 0 378 136 137 0 378 136 138 0 378 137 138 0 378 139 140 0 378 139 141 0 378 140 141 0 378 142 143 0 378 142 144 0 378 143 144 0 378 145 146 0 378 145 147 0 378 146 147 0 378 148 149 0 378 148 150 0 378 149 150 0 378 151 152 0 378 151 153 0 378 152 153 0 378 154 155 0 378 154 156 0 378 155 156 0 378 157 158 0 378 157 159 0 378 158 159 0 378 160 161 0 378 160 162 0 378 161 162 0 378 163 164 0 378 163 165 0 378 164 165 0 378 166 167 0 378 166 168 0 378 167 168 0 378 169 170 0 378 169 171 0 378 170 171 0 378 172 173 0 378 172 174 0 378 173 174 0 378 175 176 0 378 175 177 0 378 176 177 0 378 178 179 0 378 178 180 0 378 179 180 0 378 181 182 0 378 181 183 0 378 182 183 0 378 184 185 0 378 184 186 0 378 185 186 0 378 187 188 0 378 187 189 0 378 188 189 0 378 190 191 0 378 190 192 0 378 191 192 0 378 193 194 0 378 193 195 0 378 194 195 0 378 196 197 0 378 196 198 0 378 197 198 0 378 199 200 0 378 199 201 0 378 200 201 0 378 202 203 0 378 202 204 0 378 203 204 0 378 205 206 0 378 205 207 0 378 206 207 0 378 208 209 0 378 208 210 0 378 209 210 0 378 211 212 0 378 211 213 0 378 212 213 0 378 214 215 0 378 214 216 0 378 215 216 0 378 217 218 0 378 217 219 0 378 218 219 0 378 220 221 0 378 220 222 0 378 221 222 0 378 223 224 0 378 223 225 0 378 224 225 0 378 226 227 0 378 226 228 0 378 227 228 0 378 229 230 0 378 229 231 0 378 230 231 0 378 232 233 0 378 232 234 0 378 233 234 0 378 235 236 0 378 235 237 0 378 236 237 0 378 238 239 0 378 238 240 0 378 239 240 0 378 241 242 0 378 241 243 0 378 242 243 0 378 244 245 0 378 244 246 0 378 245 246 0 378 247 248 0 378 247 249 0 378 248 249 0 378 250 251 0 378 250 252 0 378 251 252 0 378 253 254 0 378 253 255 0 378 254 255 0 378 256 257 0 378 256 258 0 378 257 258 0 378 259 260 0 378 259 261 0 378 260 261 0 378 262 263 0 378 262 264 0 378 263 264 0 378 265 266 0 378 265 267 0 378 266 267 0 378 268 269 0 378 268 270 0 378 269 270 0 378 271 272 0 378 271 273 0 378 272 273 0 378 274 275 0 378 274 276 0 378 275 276 0 378 277 278 0 378 277 279 0 378 278 279 0 378 280 281 0 378 280 282 0 378 281 282 0 378 283 284 0 378 283 285 0 378 284 285 0 378 286 287 0 378 286 288 0 378 287 288 0 378 289 290 0 378 289 291 0 378 290 291 0 378 292 293 0 378 292 294 0 378 293 294 0 378 295 296 0 378 295 297 0 378 296 297 0 378 298 299 0 378 298 300 0 378 299 300 0 378 301 302 0 378 301 303 0 378 302 303 0 378 304 305 0 378 304 306 0 378 305 306 0 378 307 308 0 378 307 309 0 378 308 309 0 378 310 311 0 378 310 312 0 378 311 312 0 378 313 314 0 378 313 315 0 378 314 315 0 378 316 317 0 378 316 318 0 378 317 318 0 378 319 320 0 378 319 321 0 378 320 321 0 378 322 323 0 378 322 324 0 378 323 324 0 378 325 326 0 378 325 327 0 378 326 327 0 378 328 329 0 378 328 330 0 378 329 330 0 378 331 332 0 378 331 333 0 378 332 333 0 378 334 335 0 378 334 336 0 378 335 336 0 378 337 338 0 378 337 339 0 378 338 339 0 378 340 341 0 378 340 342 0 378 341 342 0 378 343 344 0 378 343 345 0 378 344 345 0 378 346 347 0 378 346 348 0 378 347 348 0 378 349 350 0 378 349 351 0 378 350 351 0 378 352 353 0 378 352 354 0 378 353 354 0 378 355 356 0 378 355 357 0 378 356 357 0 378 358 359 0 378 358 360 0 378 359 360 0 378 361 362 0 378 361 363 0 378 362 363 0 378 364 365 0 378 364 366 0 378 365 366 0 378 367 368 0 378 367 369 0 378 368 369 0 378 370 371 0 378 370 372 0 378 371 372 0 378 373 374 0 378 373 375 0 378 374 375 0 378 376 377 0 378 376 378 0 378 377 378 0