Name | csp/ukHerald/ normalized-crossword-m1-uk-21-08.xml |
MD5SUM | ecaa590dc9f9c58145a0df6af0364dfb |
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.19082 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 365 |
Number of constraints | 3584 |
Maximum constraint arity | 18 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 150 |
Number of constraints which are defined in intension | 3434 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2068763 | SAT | 1.19082 | 1.20924 |
pcs-restart 0.3.2 (complete) | 2068756 | SAT | 4.72728 | 4.77712 |
Abscon 112v4 AC (complete) | 2095151 | SAT | 6.19106 | 6.2763 |
Abscon 112v4 ESAC (complete) | 2095152 | SAT | 7.8988 | 8.04453 |
pcs 0.3.2 (complete) | 2068755 | SAT | 8.02178 | 8.10347 |
bpsolver 09 (complete) | 2068764 | SAT | 16.0806 | 16.244 |
Choco2.1.1b 2009-07-16 (complete) | 2115487 | SAT | 45.78 | 46.2387 |
Choco2.1.1 2009-06-10 (complete) | 2068759 | SAT | 52.0891 | 52.6141 |
Concrete 2009-07-14 (complete) | 2068757 | SAT | 104.254 | 105.431 |
SAT4J CSP 2.1.1 (complete) | 2068754 | ? | 111.441 | 109.622 |
Concrete DC 2009-07-14 (complete) | 2068758 | ? (TO) | 1800.01 | 1809.02 |
Sugar v1.14.6+picosat (complete) | 2068760 | ? (TO) | 1800.15 | 1812.16 |
Sugar v1.14.6+minisat (complete) | 2068761 | ? (TO) | 1800.18 | 1808.34 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:21 0 0 11 10 8 17 14 21 18 0 3 7 20 18 14 21 18 0 6 7 0 7 14 20 17 8 1 17 0 20 13 7 24 11 4 8 12 0 12 0 3 12 4 13 8 21 8 4 3 19 4 4 17 17 0 1 1 14 13 8 18 19 4 17 0 18 4 6 4 17 8 0 3 14 20 2 18 13 0 17 11 6 17 0 19 3 4 5 14 17 12 0 22 4 19 14 7 24 22 4 11 3 3 0 18 11 20 8 19 6 0 17 18 18 24 17 8 0 18 8 1 14 15 4 3 18 11 0 19 18 18 0 3 0 19 1 14 17 0 12 4 11 6 11 24 15 7 2 7 20 17 11 2 0 1 0 18 14 4 18 19 17 20 18 4 18 0 20 19 14 15 0 9 14 2 10 1 0 1 4 3 0 11 4 25 17 0 18 11 14 14 15 18 3 0 20 1 0 13 3 0 11 20 18 8 0 24 0 22 13 24 18 0 13 19 0 12 14 13 25 0 19 0 22 17 20 18 4 15 20 19 19 24 11 0 15 0 25 8 17 12 0 0 17 4 2 14 12 20 18 18 14 3 0 18 13 8 1 18 7 0 13 3 11 14 14 12 15 0 17 14 11 17 4 7 0 18 7 17 0 15 18 20 7 20 17 20 11 0 13 0 11 14 12 14 13 3 8 19 0 11 0 18 7 12 0 11 19 25 24 14 20 25 14 4 0 6 4 17 8 13 2 0 18 0 1 24 4 18 15 4 10 2 11 0 17 14 13 24 0 18 0 13 0 12 18 18 7 4 18 10 0 3 8 18 4 12 1 0 24 19 17 4 19