Name | csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-14.xml |
MD5SUM | 8d57e00bbfa4e395d85cb01253c873fe |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.47977 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Maximum constraint arity | 2 |
Maximum domain size | 606 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2800 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:79 80 0 308 247 248 356 355 173 174 415 414 500 499 530 531 16 17 332 331 490 489 353 354 132 133 504 505 406 407 99 98 272 271 541 540 0 1 217 216 426 425 470 471 49 48 132 133 186 185 0 1 570 571 226 225 319 320 541 540 393 218 317 574 354 353 36 35 233 232 96 95 556 557 503 504 0 1 408 409 369 452 392 393 476 530 0 1 549 574 91 433 497 496 317 318 121 122 233 232 0 556 257 496 76 409 289 290 470 79 332 430 226 225 508 509 127 128 369 566 220 210 490 489 128 409 351 352 272 273 557 556 600 599 0 1 454 198 80 79 272 271 128 553 99 98 121 566 177 178 356 355 76 77 319 320 434 433 0 528 233 595 531 48 244 245 570 571 309 308 165 166 90 89 426 425 393 394 127 128 454 452 528 529 105 89 177 178 504 505 308 232 0 1 233 218 399 398 317 318