Name | csp/ogdHerald/ normalized-crossword-m1-ogd-21-01.xml |
MD5SUM | 13ab84778bda8eddba2aeb453ea356d4 |
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 | 2.51662 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 373 |
Number of constraints | 2303 |
Maximum constraint arity | 24 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 138 |
Number of constraints which are defined in intension | 2165 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2076870 | SAT | 2.51662 | 2.54553 |
Abscon 112v4 AC (complete) | 2096625 | SAT | 8.82066 | 8.96555 |
Abscon 112v4 ESAC (complete) | 2096626 | SAT | 12.1651 | 13.9272 |
pcs-restart 0.3.2 (complete) | 2076863 | SAT | 17.4443 | 17.5394 |
pcs 0.3.2 (complete) | 2076862 | SAT | 19.2741 | 19.4692 |
bpsolver 09 (complete) | 2076871 | SAT | 51.2292 | 51.2711 |
Choco2.1.1 2009-06-10 (complete) | 2076866 | SAT | 77.5342 | 77.9564 |
Choco2.1.1b 2009-07-16 (complete) | 2116224 | SAT | 88.5945 | 89.5076 |
Concrete 2009-07-14 (complete) | 2076864 | SAT | 118.4 | 119.586 |
SAT4J CSP 2.1.1 (complete) | 2076861 | ? (exit code) | 89.4214 | 88.2621 |
Sugar v1.14.6+minisat (complete) | 2076868 | ? (MO) | 8.47554 | 8.99312 |
Sugar v1.14.6+picosat (complete) | 2076867 | ? (MO) | 10.7176 | 11.1693 |
Concrete DC 2009-07-14 (complete) | 2076865 | ? (TO) | 1800.04 | 1807.12 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 18 18 4 6 14 19 7 0 6 13 14 13 3 0 2 8 4 17 4 0 2 14 17 0 20 23 17 0 15 4 4 11 0 13 3 8 13 19 17 0 3 4 17 12 14 0 17 19 4 18 8 4 13 13 4 4 19 8 14 11 4 4 18 11 0 13 2 0 14 18 18 4 4 13 20 19 4 18 1 14 11 3 14 9 20 19 4 1 0 3 4 4 18 3 0 19 4 18 3 4 18 4 17 19 4 18 14 19 4 17 0 2 20 1 11 0 2 14 8 18 4 18 4 11 4 17 0 18 0 2 20 2 20 1 0 20 23 21 11 0 13 3 2 0 19 14 11 4 17 0 18 18 4 18 15 11 4 4 13 18 9 0 18 15 0 12 4 18 11 0 14 18 11 24 2 14 18 4 18 0 11 15 4 1 4 20 17 4 2 14 2 20 18 0 6 8 19 4 17 7 0 17 19 18 0 8 4 19 19 4 18 3 4 12 8 3 14 5 0 18 18 8 3 20 8 19 4 4 17 4 14 12 8 19 12 0 19 8 25 8 17 4 1 4 13 8 13 8 11 10 4 17 13 0 18 2 11 4 4 13 0 20 13 4 25 2 17 0 15 14 19 0 19 5 17 8 19 25 17 14 18 18 4 4 4 19 19 3 5 0 4 13 0 15 4 17 18 18 4 7 19 0 17 11 20 23 0 19 18 14 20 19 8 17 4 4 18 15 4 17 12 0 2 4 19 8 4 12 15 4 18 4 17 4 13 19 1 14 20 4 4 14 21 4 4 17 24 0 11 18 14 15 19 4 18 8 17 4 18 8 18 18 13 18 4 12 0 8 13 20 0 18