Name | csp/ukPuzzle/ normalized-crossword-m1-uk-puzzle09.xml |
MD5SUM | 33255ab1db6eee138a2f933ce51e63f1 |
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.153975 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 35 |
Number of constraints | 55 |
Maximum constraint arity | 14 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 17 |
Number of constraints which are defined in intension | 38 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2073768 | SAT | 0.153975 | 0.157083 |
pcs 0.3.2 (complete) | 2073760 | SAT | 0.468927 | 0.474102 |
pcs-restart 0.3.2 (complete) | 2073761 | SAT | 0.469928 | 0.482275 |
Abscon 112v4 ESAC (complete) | 2096062 | SAT | 1.11383 | 1.15017 |
Abscon 112v4 AC (complete) | 2096061 | SAT | 1.11683 | 1.14929 |
Choco2.1.1 2009-06-10 (complete) | 2073764 | SAT | 3.12552 | 3.57289 |
bpsolver 09 (complete) | 2073769 | SAT | 3.13352 | 3.16273 |
Choco2.1.1b 2009-07-16 (complete) | 2115942 | SAT | 3.76643 | 3.8098 |
Concrete 2009-07-14 (complete) | 2073762 | SAT | 56.7424 | 57.0835 |
Concrete DC 2009-07-14 (complete) | 2073763 | SAT | 128.698 | 129.689 |
Sugar v1.14.6+minisat (complete) | 2073766 | SAT | 227.397 | 229.718 |
Sugar v1.14.6+picosat (complete) | 2073765 | SAT | 231.507 | 233.027 |
SAT4J CSP 2.1.1 (complete) | 2073759 | ? | 109.772 | 109.047 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3 0 18 12 4 0 19 7 19 8 20 17 4 2 22 0 19 19 4 0 20 15 14 25 0 3 25 22 8 13 10 18 0 24 18