Name | csp/os-taillard-10/ normalized-os-taillard-10-100-4.xml |
MD5SUM | 318fe5d850c7f4d54d9dc9c2fe16babb |
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 | 2.52661 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 640 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 900 |
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:74 470 564 332 266 40 251 184 407 355 588 601 389 596 253 468 225 315 564 368 471 348 429 315 555 0 182 40 106 222 351 187 497 545 278 428 0 382 55 108 55 72 616 467 0 378 279 98 559 184 48 421 596 108 0 555 343 182 506 254 468 374 559 254 0 628 184 352 105 88 184 88 342 570 332 355 0 389 407 279 490 449 278 545 351 184 471 372 98 0 146 335 382 350 374 497 225 74 0 178