Name | csp/os-taillard-10/ normalized-os-taillard-10-105-0.xml |
MD5SUM | 19af59ef491e51a4f7a48130718bf9ce |
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.239962 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 900 |
Maximum constraint arity | 2 |
Maximum domain size | 675 |
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) | 2087606 | SAT | 0.239962 | 0.241421 |
pcs 0.3.2 (complete) | 2087598 | SAT | 1.03984 | 1.05713 |
pcs-restart 0.3.2 (complete) | 2087599 | SAT | 1.66974 | 1.69112 |
Concrete 2009-07-14 (complete) | 2087600 | SAT | 2.34764 | 2.42495 |
Choco2.1.1b 2009-07-16 (complete) | 2117200 | SAT | 3.36849 | 3.43324 |
Choco2.1.1 2009-06-10 (complete) | 2087602 | SAT | 4.15137 | 4.25337 |
Sugar v1.14.6+minisat (complete) | 2087604 | SAT | 4.33134 | 4.40868 |
Abscon 112v4 AC (complete) | 2098577 | SAT | 6.07408 | 6.16408 |
Abscon 112v4 ESAC (complete) | 2098578 | SAT | 6.09007 | 6.16507 |
Sugar v1.14.6+picosat (complete) | 2087603 | SAT | 13.353 | 13.5403 |
Concrete DC 2009-07-14 (complete) | 2087601 | SAT | 352.801 | 356.186 |
SAT4J CSP 2.1.1 (complete) | 2087597 | ? | 335.793 | 337.783 |
bpsolver 09 (complete) | 2087607 | ? (TO) | 1800.08 | 1806.61 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:557 198 130 363 0 609 472 294 47 392 563 105 407 467 655 83 26 203 10 275 243 90 589 436 128 198 525 460 0 343 102 235 71 339 639 130 542 0 405 473 620 346 44 494 553 419 171 448 125 191 47 343 10 605 128 492 260 405 616 214 44 433 361 276 458 0 137 634 191 578 265 506 268 524 621 429 105 191 25 361 578 45 525 186 102 84 361 458 304 258 617 55 105 576 542 178 260 0 458 363