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.157975 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081787 | SAT | 0.157975 | 0.166565 |
bpsolver 09 (complete) | 2081788 | SAT | 0.178972 | 0.194921 |
Abscon 112v4 AC (complete) | 2097519 | SAT | 1.45878 | 1.52276 |
Abscon 112v4 ESAC (complete) | 2097520 | SAT | 1.80972 | 1.83746 |
Choco2.1.1b 2009-07-16 (complete) | 2116671 | SAT | 2.36164 | 2.43197 |
Choco2.1.1 2009-06-10 (complete) | 2081783 | SAT | 2.48162 | 2.51719 |
Sugar v1.14.6+minisat (complete) | 2081785 | SAT | 2.56561 | 2.66581 |
Concrete 2009-07-14 (complete) | 2081781 | SAT | 2.85456 | 2.81384 |
Sugar v1.14.6+picosat (complete) | 2081784 | SAT | 3.34649 | 3.47934 |
SAT4J CSP 2.1.1 (complete) | 2081778 | SAT | 5.19321 | 5.25958 |
pcs-restart 0.3.2 (complete) | 2081780 | SAT | 7.30489 | 7.3455 |
pcs 0.3.2 (complete) | 2081779 | SAT | 9.73852 | 9.79066 |
Concrete DC 2009-07-14 (complete) | 2081782 | SAT | 49.6315 | 49.878 |
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 722 484 268 30 694 456 736 498 380 142 666 428 484 722 254 16 16 254 16 254 666 428 254 16 470 708 324 86 16 254 16 254 16 254 652 414 736 498 666 428 254 16 254 16 736 498 666 428 16 254 254 16 254 16 254 16 498 736 722 484 254 16 16 254 16 254 16 254 30 268 310 72 498 736 736 498 254 16 254 16 16 254 456 694 470 708 708 470 16 254 380 142 498 736 470 708 254 16 254 16 254 16 254 16 254 16 142 380 484 722 254 16 652 414 254 16 16 254 16 254 16 254 694 456 680 442 498 736 16 254 254 16 366 128 254 16 484 722 254 16 666 428 254 16 142 380 380 142 128 366 30 268 30 268 366 128 470 708 352 114 680 442 484 722 254 16 736 498 428 666 736 498 16 254 428 666 470 708 268 30 254 16 268 30 708 470 428 666 324 86 498 736 470 708 722 484 268 30 456 694 268 30 268 30 128 366 736 498 736 498 16 254 268 30 722 484 268 30 736 498 428 666 442 680 708 470 484 722 736 498 72 310 72 310 16 254 16 254 254 16 58 296 268 30 708 470 484 722 30 268 470 708 708 470 30 268 442 680 428 666 680 442 268 30 268 30 30 268 282 44 44 282 268 30 456 694 456 694 114 352 30 268 470 708 268 30 352 114 254 16 86 324 86 324 680 442 16 254 30 268 254 16 16 254 254 16 456 694 254 16 484 722 498 736 254 16 254 16 456 694 366 128 680 442 736 498 114 352 268 30 296 58 30 268 16 254 254 16 30 268 254 16 254 16 268 30 30 268 442 680 456 694 30 268 722 484 30 268 680 442 268 30 736 498 30 268 268 30 16 254 254 16 484 722 44 282 498 736 736 498 268 30 100 338 44 282 666 428 268 30 30 268 442 680 44 282 16 254