Name | csp/lexHerald/ normalized-crossword-m1-lex-19-08.xml |
MD5SUM | f6e60b75344303f64528904ec5e0f410 |
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.20782 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 295 |
Number of constraints | 3243 |
Maximum constraint arity | 24 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 130 |
Number of constraints which are defined in intension | 3113 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2071304 | SAT | 1.20782 | 1.22264 |
bpsolver 09 (complete) | 2071305 | SAT | 3.81142 | 3.84212 |
Abscon 112v4 AC (complete) | 2095613 | SAT | 5.75712 | 5.80566 |
Abscon 112v4 ESAC (complete) | 2095614 | SAT | 6.02408 | 6.11795 |
pcs-restart 0.3.2 (complete) | 2071297 | SAT | 9.14961 | 9.2412 |
pcs 0.3.2 (complete) | 2071296 | SAT | 10.0825 | 10.1828 |
Choco2.1.1 2009-06-10 (complete) | 2071300 | SAT | 37.6163 | 37.872 |
Choco2.1.1b 2009-07-16 (complete) | 2115718 | SAT | 50.0094 | 50.4969 |
Concrete 2009-07-14 (complete) | 2071298 | SAT | 445.409 | 447.6 |
SAT4J CSP 2.1.1 (complete) | 2071295 | ? | 101.38 | 100.985 |
Concrete DC 2009-07-14 (complete) | 2071299 | ? (TO) | 1800 | 1810.53 |
Sugar v1.14.6+picosat (complete) | 2071301 | ? (TO) | 1800.09 | 1809.13 |
Sugar v1.14.6+minisat (complete) | 2071302 | ? (TO) | 1800.09 | 1811 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 11 14 15 15 11 0 19 18 14 20 11 19 4 0 12 11 14 1 14 17 20 11 4 0 12 17 0 17 0 17 4 0 11 4 2 8 17 0 13 15 8 4 17 0 17 4 18 12 0 24 14 13 13 0 8 18 4 18 0 21 0 13 13 0 7 13 8 19 4 13 14 18 0 15 18 9 4 17 14 1 14 0 12 3 17 8 1 4 12 2 4 4 20 17 8 18 20 12 0 2 1 14 11 19 14 11 0 21 3 14 5 5 19 4 17 17 0 13 14 17 6 8 21 4 4 18 19 4 18 18 2 0 11 4 2 8 19 17 14 4 13 0 8 3 14 25 14 13 4 15 14 8 18 15 20 19 13 8 10 24 14 3 4 11 14 5 5 0 11 19 0 13 7 18 20 3 5 14 17 20 12 24 20 11 4 4 17 8 4 2 7 8 2 22 8 11 4 24 9 14 4 12 4 19 17 14 13 14 0 7 4 11 18 4 21 8 4 17 1 0 7 2 17 14 22 12 0 14 18 2 0 17 5 0 2 4 2 14 13 2 4 17 19 8 13 0 4 25 17 0 21 0 18 4 17 14 0 17 0 3 4 13 12 0 6 8 14 15 0 11 18 0 17 8 17 4 8 13 8 17 14 13 2 14 13 24 19 0 11 2 24 0 11 4