Name | csp/os-taillard-10/ normalized-os-taillard-10-100-1.xml |
MD5SUM | b83db8d02d2041055b7635deab62e87a |
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.771881 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 587 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2087584 | SAT | 0.771881 | 0.775743 |
pcs-restart 0.3.2 (complete) | 2087577 | SAT | 2.50862 | 2.5353 |
Sugar v1.14.6+minisat (complete) | 2087582 | SAT | 4.29035 | 4.40277 |
Choco2.1.1 2009-06-10 (complete) | 2087580 | SAT | 4.48732 | 4.56332 |
Choco2.1.1b 2009-07-16 (complete) | 2117198 | SAT | 4.69829 | 4.75661 |
Sugar v1.14.6+picosat (complete) | 2087581 | SAT | 12.3261 | 12.5218 |
Concrete 2009-07-14 (complete) | 2087578 | SAT | 12.4431 | 12.6168 |
Abscon 112v4 AC (complete) | 2098573 | SAT | 12.4891 | 12.5686 |
Abscon 112v4 ESAC (complete) | 2098574 | SAT | 13.36 | 13.5666 |
pcs 0.3.2 (complete) | 2087576 | SAT | 136.881 | 138.185 |
Concrete DC 2009-07-14 (complete) | 2087579 | SAT | 276.152 | 278.814 |
SAT4J CSP 2.1.1 (complete) | 2087575 | ? | 547.085 | 550.951 |
bpsolver 09 (complete) | 2087585 | ? (TO) | 1800.09 | 1811.11 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 263 360 396 147 511 183 233 96 414 295 19 154 66 430 416 393 205 419 511 424 501 305 100 314 205 248 16 131 361 535 114 442 171 309 0 237 424 403 575 497 170 371 263 291 313 87 460 0 208 495 264 0 318 36 414 171 222 112 535 277 419 222 65 18 393 205 154 416 495 459 114 545 360 182 273 91 0 445 578 308 182 95 87 0 454 123 273 4 248 153 569 277 185 0 45 331 435 384 508