Name | csp/ukHerald/ normalized-crossword-m1-uk-21-06.xml |
MD5SUM | b7eaa1a6ce2ae448b5a507a71a65348b |
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.3228 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 373 |
Number of constraints | 2643 |
Maximum constraint arity | 22 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 146 |
Number of constraints which are defined in intension | 2497 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2068697 | SAT | 1.3228 | 1.37989 |
Abscon 112v4 AC (complete) | 2095139 | SAT | 5.50916 | 5.60111 |
pcs-restart 0.3.2 (complete) | 2068690 | SAT | 9.51755 | 9.56073 |
Abscon 112v4 ESAC (complete) | 2095140 | SAT | 10.4694 | 10.6033 |
bpsolver 09 (complete) | 2068698 | SAT | 17.6883 | 17.8645 |
pcs 0.3.2 (complete) | 2068689 | SAT | 26.302 | 26.5566 |
Choco2.1.1 2009-06-10 (complete) | 2068693 | SAT | 46.5569 | 46.8165 |
Choco2.1.1b 2009-07-16 (complete) | 2115481 | SAT | 61.5476 | 62.152 |
Concrete 2009-07-14 (complete) | 2068691 | SAT | 377.461 | 381.104 |
SAT4J CSP 2.1.1 (complete) | 2068688 | ? | 92.6629 | 93.2346 |
Sugar v1.14.6+minisat (complete) | 2068695 | ? (MO) | 6.29577 | 6.90263 |
Sugar v1.14.6+picosat (complete) | 2068694 | ? (MO) | 8.5588 | 9.45674 |
Concrete DC 2009-07-14 (complete) | 2068692 | ? (TO) | 1800.07 | 1810.42 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15 4 17 21 0 18 18 4 19 19 0 17 6 4 2 4 15 18 18 15 0 4 6 8 12 12 4 20 18 20 0 11 17 24 0 11 19 4 8 11 6 17 4 4 13 3 17 0 6 14 13 14 17 17 0 18 4 19 18 2 17 4 22 3 14 1 18 11 8 15 22 0 17 4 10 0 14 13 1 17 20 8 19 18 13 0 1 1 8 15 14 3 18 15 11 4 2 19 17 0 14 17 0 19 4 18 0 24 17 4 18 18 0 4 18 7 14 22 18 19 17 4 12 0 11 24 14 13 1 24 19 4 18 18 2 0 20 15 18 11 20 19 14 0 5 2 4 17 8 15 7 18 7 24 3 17 0 4 11 24 14 17 0 19 14 17 8 14 14 0 21 4 18 0 13 18 22 4 17 13 24 0 11 0 18 24 2 4 4 12 8 25 0 17 6 7 0 17 17 8 20 19 20 17 13 19 20 17 0 13 8 0 13 14 20 19 1 14 13 25 0 0 0 17 14 13 8 2 19 22 0 18 19 14 22 25 0 1 17 0 4 0 6 17 4 15 4 0 6 7 8 17 4 3 24 4 13 19 0 11 0 14 19 4 17 17 0 19 0 24 17 0 18 10 8 19 19 8 4 18 5 20 18 18 4 18 6 22 4 13 4 17 8 2 18 1 11 0 7 2 14 12 8 13 6 0 19 0 11 4 22 4 4 13 8 4 18 19 14 3 24 11 20 13 18 4 2 19 0 17 8 0 13 19 0 7 0 15 14 13 3 4 13 0 2 19 23 24 18 19 18 19 20 17 13 4 17 0 18 18 0 17 20 18 4 0 19 7 4 0 18 8 18