Name | csp/ogdPuzzle/ normalized-crossword-m1-ogd-puzzle16.xml |
MD5SUM | 9d45c5e9650243c44508acf520e4742e |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.306952 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 135 |
Number of constraints | 802 |
Maximum constraint arity | 14 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 68 |
Number of constraints which are defined in intension | 734 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2078949 | SAT | 0.306952 | 0.314393 |
pcs-restart 0.3.2 (complete) | 2078942 | SAT | 0.6549 | 0.666055 |
pcs 0.3.2 (complete) | 2078941 | SAT | 0.701892 | 0.719333 |
Abscon 112v4 AC (complete) | 2097003 | SAT | 2.20067 | 2.24727 |
Abscon 112v4 ESAC (complete) | 2097004 | SAT | 2.80357 | 2.87694 |
bpsolver 09 (complete) | 2078950 | SAT | 4.86926 | 4.92116 |
Choco2.1.1b 2009-07-16 (complete) | 2116413 | SAT | 8.5397 | 8.56324 |
Choco2.1.1 2009-06-10 (complete) | 2078945 | SAT | 8.65268 | 8.70478 |
Sugar v1.14.6+minisat (complete) | 2078947 | SAT | 215.912 | 217.278 |
Sugar v1.14.6+picosat (complete) | 2078946 | SAT | 234.572 | 237.028 |
Concrete 2009-07-14 (complete) | 2078943 | SAT | 360.143 | 363.597 |
Concrete DC 2009-07-14 (complete) | 2078944 | SAT | 874.559 | 880.584 |
SAT4J CSP 2.1.1 (complete) | 2078940 | ? | 113.314 | 112.331 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 12 20 0 17 0 2 6 20 18 18 12 4 21 18 0 20 17 0 11 4 0 20 18 0 19 0 23 8 20 12 19 18 19 0 11 22 4 6 18 21 15 14 17 18 15 8 4 19 4 25 9 0 2 10 18 11 8 0 0 6 0 0 3 0 18 5 20 13 18 19 0 17 11 18 3 5 0 23 18 19 8 11 1 4 11 8 17 4 25 21 0 20 4 25 4 0 11 2 0 3 4 0 17 4 6 13 20 11 18 9 0 17 19 20 19 20 3 17 20 4 20 19 4 19 25 0 17 0 11 4 18 19 0 18