Name | csp/rlfapScensMod/ normalized-scen7-w1-f4.xml |
MD5SUM | 58203295438d5f1bb71965e586335b10 |
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.143977 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 660 |
Maximum constraint arity | 2 |
Maximum domain size | 40 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 660 |
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:30 268 100 338 324 86 652 414 652 414 254 16 722 484 456 694 254 16 254 16 16 254 254 16 652 414 414 652 254 16 16 254 16 254 16 254 652 414 456 694 394 156 16 254 16 254 722 484 652 414 16 254 254 16 16 254 484 722 254 16 86 324 16 254 254 16 16 254 16 254 694 456 296 58 442 680 694 456 16 254 16 254 254 16 414 652 456 694 652 414 16 254 86 324 254 16 30 268 100 338 16 254 254 16 16 254 16 254 44 282 254 16 324 86 16 254 484 722 16 254 16 254 254 16 652 414 16 254 86 324 16 254 254 16 324 86 16 254 16 254 254 16 254 16 652 414 128 366 352 114 30 268 114 352 100 338 268 30 428 666 268 30 666 428 268 30 470 708 30 268 310 72 680 442 16 254 484 722 352 114 268 30 16 254 484 722 456 694 498 736 428 666 428 666 428 666 666 428 254 16 498 736 30 268 428 666 666 428 30 268 708 470 16 254 268 30 666 428 268 30 680 442 428 666 428 666 666 428 414 652 694 456 470 708 30 268 16 254 16 254 16 254 30 268 268 30 498 736 442 680 30 268 428 666 666 428 30 268 428 666 428 666 268 30 30 268 428 666 44 282 268 30 44 282 428 666 268 30 428 666 86 324 708 470 268 30 268 30 310 72 254 16 86 324 484 722 652 414 16 254 16 254 254 16 72 310 128 366 456 694 156 394 254 16 296 58 652 414 16 254 470 708 456 694 666 428 484 722 30 268 100 338 268 30 30 268 16 254 16 254 30 268 72 310 16 254 268 30 16 254 428 666 428 666 30 268 428 666 30 268 680 442 268 30 666 428 428 666 30 268 16 254 254 16 428 666 30 268 428 666 666 428 268 30 30 268 114 352 666 428 268 30 100 338 268 30 16 254 16 254