Name | csp/lexHerald/ normalized-crossword-m1-lex-15-06.xml |
MD5SUM | eef8a570e01fe338475a47402241861f |
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 | 1673.48 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 195 |
Number of constraints | 567 |
Maximum constraint arity | 18 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 72 |
Number of constraints which are defined in intension | 495 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2095618 | SAT | 1673.48 | 1689.38 |
Choco2.1.1 2009-06-10 (complete) | 2071322 | SAT | 1755.49 | 1756.2 |
SAT4J CSP 2.1.1 (complete) | 2071317 | ? | 89.2884 | 88.5566 |
pcs 0.3.2 (complete) | 2071318 | ? (TO) | 1800.03 | 1812.21 |
Sugar v1.14.6+minisat (complete) | 2071324 | ? (TO) | 1800.04 | 1816.58 |
Concrete 2009-07-14 (complete) | 2071320 | ? (TO) | 1800.07 | 1800.62 |
pcs-restart 0.3.2 (complete) | 2071319 | ? (TO) | 1800.07 | 1803.21 |
Abscon 112v4 AC (complete) | 2095617 | ? (TO) | 1800.07 | 1808.94 |
Sugar v1.14.6+picosat (complete) | 2071323 | ? (TO) | 1800.07 | 1804.63 |
Mistral 1.545 (complete) | 2071326 | ? (TO) | 1800.08 | 1808.41 |
Concrete DC 2009-07-14 (complete) | 2071321 | ? (TO) | 1800.08 | 1805.22 |
bpsolver 09 (complete) | 2071327 | ? (TO) | 1800.08 | 1816.41 |
Choco2.1.1b 2009-07-16 (complete) | 2115720 | ? (TO) | 1800.1 | 1809.48 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8 13 18 15 4 2 19 0 11 12 0 13 0 2 3 4 11 8 11 0 7 6 8 0 2 14 12 14 11 4 14 13 8 13 4 0 13 19 0 17 4 18 4 3 4 13 19 0 18 19 4 3 0 18 7 0 12 8 15 4 0 2 4 12 20 18 19 0 2 7 4 11 0 12 1 3 0 8 13 19 4 11 11 4 2 19 15 4 17 8 11 3 8 4 19 4 18 19 0 19 4 14 2 19 18 19 4 21 4 18 0 19 4 11 11 8 19 4 19 4 17 4 18 0 2 4 11 11 20 11 0 17 17 4 13 0 11 11 0 6 24 22 2 0 6 17 4 0 19 6 14 5 5 12 4 0 13 3 4 17 1 0 21 0 17 8 0 2 0 13 3 4 11 0 4 11 4 6 8 0 2 0 17 4 0 22 0 24 3 4 19 4 13 19 4