Name | csp/ogdHerald/ normalized-crossword-m1-ogd-21-03.xml |
MD5SUM | 4017db100708ff15ef992f6d96e82e74 |
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 | 1.59176 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 362 |
Number of constraints | 2140 |
Maximum constraint arity | 22 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 144 |
Number of constraints which are defined in intension | 1996 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2076815 | SAT | 1.59176 | 1.61085 |
Abscon 112v4 AC (complete) | 2096615 | SAT | 5.52516 | 5.59066 |
Abscon 112v4 ESAC (complete) | 2096616 | SAT | 7.28189 | 7.21567 |
pcs-restart 0.3.2 (complete) | 2076808 | SAT | 11.5082 | 11.6153 |
bpsolver 09 (complete) | 2076816 | SAT | 31.5082 | 31.804 |
pcs 0.3.2 (complete) | 2076807 | SAT | 42.6455 | 43.0638 |
Choco2.1.1 2009-06-10 (complete) | 2076811 | SAT | 64.6922 | 65.3645 |
Choco2.1.1b 2009-07-16 (complete) | 2116219 | SAT | 83.1624 | 84.0063 |
Concrete 2009-07-14 (complete) | 2076809 | SAT | 172.5 | 173.558 |
SAT4J CSP 2.1.1 (complete) | 2076806 | ? | 80.4338 | 80.4465 |
Sugar v1.14.6+picosat (complete) | 2076812 | ? (MO) | 7.40365 | 8.49645 |
Sugar v1.14.6+minisat (complete) | 2076813 | ? (MO) | 8.12 | 8.37576 |
Concrete DC 2009-07-14 (complete) | 2076810 | ? (TO) | 1800.09 | 1803.32 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15 5 20 19 17 0 12 19 0 19 0 19 12 0 4 17 11 4 17 17 4 19 0 17 14 19 20 4 20 17 8 6 13 4 4 17 8 14 18 0 5 8 13 2 17 0 3 14 11 20 19 0 8 17 19 19 14 19 8 4 25 0 12 4 20 1 11 8 17 4 25 4 4 13 0 19 14 20 19 3 0 19 4 4 18 1 11 2 3 20 19 8 11 4 17 0 8 18 19 8 17 12 14 8 17 4 4 4 18 19 8 12 0 13 19 2 7 8 13 0 0 2 16 20 4 19 18 4 17 13 0 8 18 2 7 4 13 20 18 6 17 20 4 20 19 2 0 19 17 4 19 17 0 2 19 0 13 4 4 18 3 24 11 4 0 8 17 4 17 14 13 19 0 17 18 18 8 11 20 17 4 18 4 12 0 8 19 12 0 19 17 7 4 14 1 0 18 4 25 20 15 18 1 0 19 7 14 3 4 20 17 18 8 18 18 20 18 20 0 0 13 19 4 7 17 8 21 13 0 2 11 0 18 18 0 4 13 2 14 3 0 19 0 1 14 20 19 5 14 11 8 0 8 17 4 19 0 19 0 17 4 19 4 2 1 0 11 4 17 4 12 20 0 17 14 19 0 18 4 19 0 2 14 19 25 0 17 18 24 20 2 2 0 18 15 4 2 8 12 4 13 18 0 8 4 18 0 25 19 6 14 0 11 18 0 1 17 8 4 18 19 4 12 3 17 0 6 0 15 8 14 11 11 8 8 4 25 4 14 13 18 4 19 17 4 11 0 13 2 0 4 13 2 17 4 18 12 18 11 4 18 19