Name | csp/rlfapScensMod/ normalized-scen6-w1.xml |
MD5SUM | 5fcf1b567ccbc0fe4804b04f5a0a591b |
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 | 0.067988 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 319 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 319 |
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:16 254 428 666 254 16 16 254 254 16 254 16 652 414 100 338 324 86 16 254 694 456 30 268 680 442 254 16 254 16 708 470 254 16 526 764 652 414 736 498 16 254 652 414 254 16 30 268 254 16 16 254 16 254 16 254 254 16 352 114 254 16 30 268 254 16 254 16 44 282 16 254 324 86 254 16 30 268 512 750 268 30 428 666 16 254 666 428 540 778 268 30 268 30 30 268 30 268 268 30 414 652 764 526 722 484 254 16 708 470 16 254 526 764 764 526 268 30 338 100 30 268 484 722 526 764 268 30 428 666 324 86 750 512 428 666 666 428 268 30 428 666 30 268 268 30 708 470 254 16 16 254 296 58 16 254 456 694 442 680 254 16 86 324 778 540 254 16 268 30 764 526 456 694 428 666 254 16 254 16 324 86 428 666 428 666 268 30 708 470 30 268 666 428 268 30 680 442 30 268