Name | csp/ukHerald/ normalized-crossword-m1-uk-19-05.xml |
MD5SUM | 7673da9bb2ec89d6ebeb64aba0b3e8de |
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.735887 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 291 |
Number of constraints | 2544 |
Maximum constraint arity | 32 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 126 |
Number of constraints which are defined in intension | 2418 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2068664 | SAT | 0.735887 | 0.74354 |
pcs 0.3.2 (complete) | 2068656 | SAT | 2.41763 | 2.4381 |
pcs-restart 0.3.2 (complete) | 2068657 | SAT | 2.73458 | 2.75089 |
Abscon 112v4 AC (complete) | 2095133 | SAT | 4.01339 | 4.08053 |
Abscon 112v4 ESAC (complete) | 2095134 | SAT | 5.67514 | 5.73993 |
bpsolver 09 (complete) | 2068665 | SAT | 7.62484 | 7.69785 |
Choco2.1.1b 2009-07-16 (complete) | 2115478 | SAT | 33.3219 | 33.38 |
Choco2.1.1 2009-06-10 (complete) | 2068660 | SAT | 36.0175 | 36.2183 |
Concrete 2009-07-14 (complete) | 2068658 | SAT | 155.841 | 156.636 |
SAT4J CSP 2.1.1 (complete) | 2068655 | ? | 84.4682 | 83.6104 |
Sugar v1.14.6+picosat (complete) | 2068661 | ? (TO) | 1800 | 1815.85 |
Concrete DC 2009-07-14 (complete) | 2068659 | ? (TO) | 1800.03 | 1806.42 |
Sugar v1.14.6+minisat (complete) | 2068662 | ? (TO) | 1800.11 | 1808.26 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:18 7 12 14 15 20 1 12 0 11 12 6 0 17 1 7 0 0 17 2 0 21 24 24 6 14 4 14 1 8 0 4 17 18 4 0 17 0 17 13 0 19 18 17 24 14 19 0 25 20 11 4 9 14 11 0 7 19 0 11 4 18 19 4 11 11 0 17 4 21 14 11 20 19 8 14 13 20 15 7 4 0 15 0 22 4 4 11 21 4 3 3 0 12 0 24 11 20 19 25 19 17 4 5 23 24 18 19 1 20 11 1 19 17 20 6 8 11 11 18 11 14 14 4 11 4 0 8 11 8 20 12 0 20 10 18 11 8 6 7 19 4 12 8 19 19 8 13 6 3 8 14 3 4 18 19 0 2 19 4 20 10 4 3 11 0 11 14 18 8 18 1 20 0 19 4 6 0 3 14 21 20 12 24 0 22 11 1 0 4 25 0 24 17 4 8 19 0 13 6 0 8 14 2 11 0 18 19 0 15 14 3 4 18 2 14 12 1 8 13 4 7 0 17 21 4 18 19 4 17 0 18 0 17 18 0 4 20 19 4 13 18 8 11 4 19 0 19 6 0 8 19 11 0 13 4 0 22 13 24 1 0 18 4 0 18 2 8 19 24 13 3 19 0 19 0 1 4 0 3 18 4 4 13 4 18 18 4 3 14 12