Test/pp/c5.out

   1 ---------------------------------------
   2 Domain :
   3          Q - T  >= 0
   4          T  >= 0
   5          S - T  >= 0
   6          R - T  >= 0
   7          P - T  >= 0
   8           1 >= 0
   9
  10 Vertices :
  11 [ T,  T,  T,  T,  T ]
  12 [ -P,  T,  T,  T,  T ]
  13 [ -P,  -P,  T,  T,  T ]
  14 [ -P,  -P,  -P,  T,  T ]
  15 [ -P,  -P,  -P,  -P,  T ]
  16 [ -P,  -P,  -P,  -P,  -P ]
  17 ---------------------------------------
  18 Domain :
  19          Q - S  >= 0
  20          - S + T  >= 0
  21          S  >= 0
  22          R - S  >= 0
  23          P - S  >= 0
  24           1 >= 0
  25
  26 Vertices :
  27 [ S,  S,  S,  S,  T ]
  28 [ S,  S,  S,  S,  S ]
  29 [ -P,  S,  S,  S,  T ]
  30 [ -P,  S,  S,  S,  S ]
  31 [ -P,  -P,  S,  S,  T ]
  32 [ -P,  -P,  S,  S,  S ]
  33 [ -P,  -P,  -P,  S,  T ]
  34 [ -P,  -P,  -P,  S,  S ]
  35 [ -P,  -P,  -P,  -P,  T ]
  36 [ -P,  -P,  -P,  -P,  -P ]
  37 ---------------------------------------
  38 Domain :
  39          Q - R  >= 0
  40          - R + T  >= 0
  41          R  >= 0
  42          S - T  >= 0
  43          P - R  >= 0
  44           1 >= 0
  45
  46 Vertices :
  47 [ R,  R,  R,  T,  T ]
  48 [ R,  R,  R,  R,  T ]
  49 [ R,  R,  R,  R,  R ]
  50 [ -P,  R,  R,  T,  T ]
  51 [ -P,  R,  R,  R,  T ]
  52 [ -P,  R,  R,  R,  R ]
  53 [ -P,  -P,  R,  T,  T ]
  54 [ -P,  -P,  R,  R,  T ]
  55 [ -P,  -P,  R,  R,  R ]
  56 [ -P,  -P,  -P,  T,  T ]
  57 [ -P,  -P,  -P,  -P,  T ]
  58 [ -P,  -P,  -P,  -P,  -P ]
  59 ---------------------------------------
  60 Domain :
  61          Q - R  >= 0
  62          - S + T  >= 0
  63          - R + S  >= 0
  64          R  >= 0
  65          P - R  >= 0
  66           1 >= 0
  67
  68 Vertices :
  69 [ R,  R,  R,  S,  T ]
  70 [ R,  R,  R,  S,  S ]
  71 [ R,  R,  R,  R,  T ]
  72 [ R,  R,  R,  R,  R ]
  73 [ -P,  R,  R,  S,  T ]
  74 [ -P,  R,  R,  S,  S ]
  75 [ -P,  R,  R,  R,  T ]
  76 [ -P,  R,  R,  R,  R ]
  77 [ -P,  -P,  R,  S,  T ]
  78 [ -P,  -P,  R,  S,  S ]
  79 [ -P,  -P,  R,  R,  T ]
  80 [ -P,  -P,  R,  R,  R ]
  81 [ -P,  -P,  -P,  S,  T ]
  82 [ -P,  -P,  -P,  S,  S ]
  83 [ -P,  -P,  -P,  -P,  T ]
  84 [ -P,  -P,  -P,  -P,  -P ]
  85 ---------------------------------------
  86 Domain :
  87          P - Q  >= 0
  88          Q  >= 0
  89          - Q + T  >= 0
  90          S - T  >= 0
  91          R - T  >= 0
  92           1 >= 0
  93
  94 Vertices :
  95 [ Q,  Q,  T,  T,  T ]
  96 [ Q,  Q,  Q,  T,  T ]
  97 [ Q,  Q,  Q,  Q,  T ]
  98 [ Q,  Q,  Q,  Q,  Q ]
  99 [ -P,  Q,  T,  T,  T ]
 100 [ -P,  Q,  Q,  T,  T ]
 101 [ -P,  Q,  Q,  Q,  T ]
 102 [ -P,  Q,  Q,  Q,  Q ]
 103 [ -P,  -P,  T,  T,  T ]
 104 [ -P,  -P,  -P,  T,  T ]
 105 [ -P,  -P,  -P,  -P,  T ]
 106 [ -P,  -P,  -P,  -P,  -P ]
 107 ---------------------------------------
 108 Domain :
 109          P - Q  >= 0
 110          - S + T  >= 0
 111          Q  >= 0
 112          - Q + S  >= 0
 113          R - S  >= 0
 114           1 >= 0
 115
 116 Vertices :
 117 [ Q,  Q,  S,  S,  T ]
 118 [ Q,  Q,  S,  S,  S ]
 119 [ Q,  Q,  Q,  S,  T ]
 120 [ Q,  Q,  Q,  S,  S ]
 121 [ Q,  Q,  Q,  Q,  T ]
 122 [ Q,  Q,  Q,  Q,  Q ]
 123 [ -P,  Q,  S,  S,  T ]
 124 [ -P,  Q,  S,  S,  S ]
 125 [ -P,  Q,  Q,  S,  T ]
 126 [ -P,  Q,  Q,  S,  S ]
 127 [ -P,  Q,  Q,  Q,  T ]
 128 [ -P,  Q,  Q,  Q,  Q ]
 129 [ -P,  -P,  S,  S,  T ]
 130 [ -P,  -P,  S,  S,  S ]
 131 [ -P,  -P,  -P,  S,  T ]
 132 [ -P,  -P,  -P,  S,  S ]
 133 [ -P,  -P,  -P,  -P,  T ]
 134 [ -P,  -P,  -P,  -P,  -P ]
 135 ---------------------------------------
 136 Domain :
 137          P - Q  >= 0
 138          - R + T  >= 0
 139          Q  >= 0
 140          - Q + R  >= 0
 141          S - T  >= 0
 142           1 >= 0
 143
 144 Vertices :
 145 [ Q,  Q,  R,  T,  T ]
 146 [ Q,  Q,  R,  R,  T ]
 147 [ Q,  Q,  R,  R,  R ]
 148 [ Q,  Q,  Q,  T,  T ]
 149 [ Q,  Q,  Q,  Q,  T ]
 150 [ Q,  Q,  Q,  Q,  Q ]
 151 [ -P,  Q,  R,  T,  T ]
 152 [ -P,  Q,  R,  R,  T ]
 153 [ -P,  Q,  R,  R,  R ]
 154 [ -P,  Q,  Q,  T,  T ]
 155 [ -P,  Q,  Q,  Q,  T ]
 156 [ -P,  Q,  Q,  Q,  Q ]
 157 [ -P,  -P,  R,  T,  T ]
 158 [ -P,  -P,  R,  R,  T ]
 159 [ -P,  -P,  R,  R,  R ]
 160 [ -P,  -P,  -P,  T,  T ]
 161 [ -P,  -P,  -P,  -P,  T ]
 162 [ -P,  -P,  -P,  -P,  -P ]
 163 ---------------------------------------
 164 Domain :
 165          P - Q  >= 0
 166          - S + T  >= 0
 167          - R + S  >= 0
 168          Q  >= 0
 169          - Q + R  >= 0
 170           1 >= 0
 171
 172 Vertices :
 173 [ Q,  Q,  R,  S,  T ]
 174 [ Q,  Q,  R,  S,  S ]
 175 [ Q,  Q,  R,  R,  T ]
 176 [ Q,  Q,  R,  R,  R ]
 177 [ Q,  Q,  Q,  S,  T ]
 178 [ Q,  Q,  Q,  S,  S ]
 179 [ Q,  Q,  Q,  Q,  T ]
 180 [ Q,  Q,  Q,  Q,  Q ]
 181 [ -P,  Q,  R,  S,  T ]
 182 [ -P,  Q,  R,  S,  S ]
 183 [ -P,  Q,  R,  R,  T ]
 184 [ -P,  Q,  R,  R,  R ]
 185 [ -P,  Q,  Q,  S,  T ]
 186 [ -P,  Q,  Q,  S,  S ]
 187 [ -P,  Q,  Q,  Q,  T ]
 188 [ -P,  Q,  Q,  Q,  Q ]
 189 [ -P,  -P,  R,  S,  T ]
 190 [ -P,  -P,  R,  S,  S ]
 191 [ -P,  -P,  R,  R,  T ]
 192 [ -P,  -P,  R,  R,  R ]
 193 [ -P,  -P,  -P,  S,  T ]
 194 [ -P,  -P,  -P,  S,  S ]
 195 [ -P,  -P,  -P,  -P,  T ]
 196 [ -P,  -P,  -P,  -P,  -P ]
 197 ---------------------------------------
 198 Domain :
 199          Q - T  >= 0
 200          - P + T  >= 0
 201          P  >= 0
 202          S - T  >= 0
 203          R - T  >= 0
 204           1 >= 0
 205
 206 Vertices :
 207 [ P,  T,  T,  T,  T ]
 208 [ P,  P,  T,  T,  T ]
 209 [ P,  P,  P,  T,  T ]
 210 [ P,  P,  P,  P,  T ]
 211 [ P,  P,  P,  P,  P ]
 212 [ -P,  T,  T,  T,  T ]
 213 [ -P,  -P,  T,  T,  T ]
 214 [ -P,  -P,  -P,  T,  T ]
 215 [ -P,  -P,  -P,  -P,  T ]
 216 [ -P,  -P,  -P,  -P,  -P ]
 217 ---------------------------------------
 218 Domain :
 219          Q - S  >= 0
 220          - S + T  >= 0
 221          - P + S  >= 0
 222          P  >= 0
 223          R - S  >= 0
 224           1 >= 0
 225
 226 Vertices :
 227 [ P,  S,  S,  S,  T ]
 228 [ P,  S,  S,  S,  S ]
 229 [ P,  P,  S,  S,  T ]
 230 [ P,  P,  S,  S,  S ]
 231 [ P,  P,  P,  S,  T ]
 232 [ P,  P,  P,  S,  S ]
 233 [ P,  P,  P,  P,  T ]
 234 [ P,  P,  P,  P,  P ]
 235 [ -P,  S,  S,  S,  T ]
 236 [ -P,  S,  S,  S,  S ]
 237 [ -P,  -P,  S,  S,  T ]
 238 [ -P,  -P,  S,  S,  S ]
 239 [ -P,  -P,  -P,  S,  T ]
 240 [ -P,  -P,  -P,  S,  S ]
 241 [ -P,  -P,  -P,  -P,  T ]
 242 [ -P,  -P,  -P,  -P,  -P ]
 243 ---------------------------------------
 244 Domain :
 245          Q - R  >= 0
 246          - R + T  >= 0
 247          - P + R  >= 0
 248          P  >= 0
 249          S - T  >= 0
 250           1 >= 0
 251
 252 Vertices :
 253 [ P,  R,  R,  T,  T ]
 254 [ P,  R,  R,  R,  T ]
 255 [ P,  R,  R,  R,  R ]
 256 [ P,  P,  R,  T,  T ]
 257 [ P,  P,  R,  R,  T ]
 258 [ P,  P,  R,  R,  R ]
 259 [ P,  P,  P,  T,  T ]
 260 [ P,  P,  P,  P,  T ]
 261 [ P,  P,  P,  P,  P ]
 262 [ -P,  R,  R,  T,  T ]
 263 [ -P,  R,  R,  R,  T ]
 264 [ -P,  R,  R,  R,  R ]
 265 [ -P,  -P,  R,  T,  T ]
 266 [ -P,  -P,  R,  R,  T ]
 267 [ -P,  -P,  R,  R,  R ]
 268 [ -P,  -P,  -P,  T,  T ]
 269 [ -P,  -P,  -P,  -P,  T ]
 270 [ -P,  -P,  -P,  -P,  -P ]
 271 ---------------------------------------
 272 Domain :
 273          Q - R  >= 0
 274          - S + T  >= 0
 275          - R + S  >= 0
 276          - P + R  >= 0
 277          P  >= 0
 278           1 >= 0
 279
 280 Vertices :
 281 [ P,  R,  R,  S,  T ]
 282 [ P,  R,  R,  S,  S ]
 283 [ P,  R,  R,  R,  T ]
 284 [ P,  R,  R,  R,  R ]
 285 [ P,  P,  R,  S,  T ]
 286 [ P,  P,  R,  S,  S ]
 287 [ P,  P,  R,  R,  T ]
 288 [ P,  P,  R,  R,  R ]
 289 [ P,  P,  P,  S,  T ]
 290 [ P,  P,  P,  S,  S ]
 291 [ P,  P,  P,  P,  T ]
 292 [ P,  P,  P,  P,  P ]
 293 [ -P,  R,  R,  S,  T ]
 294 [ -P,  R,  R,  S,  S ]
 295 [ -P,  R,  R,  R,  T ]
 296 [ -P,  R,  R,  R,  R ]
 297 [ -P,  -P,  R,  S,  T ]
 298 [ -P,  -P,  R,  S,  S ]
 299 [ -P,  -P,  R,  R,  T ]
 300 [ -P,  -P,  R,  R,  R ]
 301 [ -P,  -P,  -P,  S,  T ]
 302 [ -P,  -P,  -P,  S,  S ]
 303 [ -P,  -P,  -P,  -P,  T ]
 304 [ -P,  -P,  -P,  -P,  -P ]
 305 ---------------------------------------
 306 Domain :
 307          R - T  >= 0
 308          - P + Q  >= 0
 309          P  >= 0
 310          - Q + T  >= 0
 311          S - T  >= 0
 312           1 >= 0
 313
 314 Vertices :
 315 [ P,  Q,  T,  T,  T ]
 316 [ P,  Q,  Q,  T,  T ]
 317 [ P,  Q,  Q,  Q,  T ]
 318 [ P,  Q,  Q,  Q,  Q ]
 319 [ P,  P,  T,  T,  T ]
 320 [ P,  P,  P,  T,  T ]
 321 [ P,  P,  P,  P,  T ]
 322 [ P,  P,  P,  P,  P ]
 323 [ -P,  Q,  T,  T,  T ]
 324 [ -P,  Q,  Q,  T,  T ]
 325 [ -P,  Q,  Q,  Q,  T ]
 326 [ -P,  Q,  Q,  Q,  Q ]
 327 [ -P,  -P,  T,  T,  T ]
 328 [ -P,  -P,  -P,  T,  T ]
 329 [ -P,  -P,  -P,  -P,  T ]
 330 [ -P,  -P,  -P,  -P,  -P ]
 331 ---------------------------------------
 332 Domain :
 333          R - S  >= 0
 334          - S + T  >= 0
 335          - P + Q  >= 0
 336          P  >= 0
 337          - Q + S  >= 0
 338           1 >= 0
 339
 340 Vertices :
 341 [ P,  Q,  S,  S,  T ]
 342 [ P,  Q,  S,  S,  S ]
 343 [ P,  Q,  Q,  S,  T ]
 344 [ P,  Q,  Q,  S,  S ]
 345 [ P,  Q,  Q,  Q,  T ]
 346 [ P,  Q,  Q,  Q,  Q ]
 347 [ P,  P,  S,  S,  T ]
 348 [ P,  P,  S,  S,  S ]
 349 [ P,  P,  P,  S,  T ]
 350 [ P,  P,  P,  S,  S ]
 351 [ P,  P,  P,  P,  T ]
 352 [ P,  P,  P,  P,  P ]
 353 [ -P,  Q,  S,  S,  T ]
 354 [ -P,  Q,  S,  S,  S ]
 355 [ -P,  Q,  Q,  S,  T ]
 356 [ -P,  Q,  Q,  S,  S ]
 357 [ -P,  Q,  Q,  Q,  T ]
 358 [ -P,  Q,  Q,  Q,  Q ]
 359 [ -P,  -P,  S,  S,  T ]
 360 [ -P,  -P,  S,  S,  S ]
 361 [ -P,  -P,  -P,  S,  T ]
 362 [ -P,  -P,  -P,  S,  S ]
 363 [ -P,  -P,  -P,  -P,  T ]
 364 [ -P,  -P,  -P,  -P,  -P ]
 365 ---------------------------------------
 366 Domain :
 367          S - T  >= 0
 368          - R + T  >= 0
 369          - P + Q  >= 0
 370          P  >= 0
 371          - Q + R  >= 0
 372           1 >= 0
 373
 374 Vertices :
 375 [ P,  Q,  R,  T,  T ]
 376 [ P,  Q,  R,  R,  T ]
 377 [ P,  Q,  R,  R,  R ]
 378 [ P,  Q,  Q,  T,  T ]
 379 [ P,  Q,  Q,  Q,  T ]
 380 [ P,  Q,  Q,  Q,  Q ]
 381 [ P,  P,  R,  T,  T ]
 382 [ P,  P,  R,  R,  T ]
 383 [ P,  P,  R,  R,  R ]
 384 [ P,  P,  P,  T,  T ]
 385 [ P,  P,  P,  P,  T ]
 386 [ P,  P,  P,  P,  P ]
 387 [ -P,  Q,  R,  T,  T ]
 388 [ -P,  Q,  R,  R,  T ]
 389 [ -P,  Q,  R,  R,  R ]
 390 [ -P,  Q,  Q,  T,  T ]
 391 [ -P,  Q,  Q,  Q,  T ]
 392 [ -P,  Q,  Q,  Q,  Q ]
 393 [ -P,  -P,  R,  T,  T ]
 394 [ -P,  -P,  R,  R,  T ]
 395 [ -P,  -P,  R,  R,  R ]
 396 [ -P,  -P,  -P,  T,  T ]
 397 [ -P,  -P,  -P,  -P,  T ]
 398 [ -P,  -P,  -P,  -P,  -P ]
 399 ---------------------------------------
 400 Domain :
 401          - Q + R  >= 0
 402          - S + T  >= 0
 403          - R + S  >= 0
 404          - P + Q  >= 0
 405          P  >= 0
 406           1 >= 0
 407
 408 Vertices :
 409 [ P,  Q,  R,  S,  T ]
 410 [ P,  Q,  R,  S,  S ]
 411 [ P,  Q,  R,  R,  T ]
 412 [ P,  Q,  R,  R,  R ]
 413 [ P,  Q,  Q,  S,  T ]
 414 [ P,  Q,  Q,  S,  S ]
 415 [ P,  Q,  Q,  Q,  T ]
 416 [ P,  Q,  Q,  Q,  Q ]
 417 [ P,  P,  R,  S,  T ]
 418 [ P,  P,  R,  S,  S ]
 419 [ P,  P,  R,  R,  T ]
 420 [ P,  P,  R,  R,  R ]
 421 [ P,  P,  P,  S,  T ]
 422 [ P,  P,  P,  S,  S ]
 423 [ P,  P,  P,  P,  T ]
 424 [ P,  P,  P,  P,  P ]
 425 [ -P,  Q,  R,  S,  T ]
 426 [ -P,  Q,  R,  S,  S ]
 427 [ -P,  Q,  R,  R,  T ]
 428 [ -P,  Q,  R,  R,  R ]
 429 [ -P,  Q,  Q,  S,  T ]
 430 [ -P,  Q,  Q,  S,  S ]
 431 [ -P,  Q,  Q,  Q,  T ]
 432 [ -P,  Q,  Q,  Q,  Q ]
 433 [ -P,  -P,  R,  S,  T ]
 434 [ -P,  -P,  R,  S,  S ]
 435 [ -P,  -P,  R,  R,  T ]
 436 [ -P,  -P,  R,  R,  R ]
 437 [ -P,  -P,  -P,  S,  T ]
 438 [ -P,  -P,  -P,  S,  S ]
 439 [ -P,  -P,  -P,  -P,  T ]
 440 [ -P,  -P,  -P,  -P,  -P ]