Name | csp/ukHerald/ normalized-crossword-m1-uk-23-07.xml |
MD5SUM | 0c51a17c8729390bd738ed6881b4ff0b |
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.68474 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 446 |
Number of constraints | 3889 |
Maximum constraint arity | 24 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 174 |
Number of constraints which are defined in intension | 3715 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2068675 | SAT | 1.68474 | 1.70426 |
Abscon 112v4 AC (complete) | 2095135 | SAT | 7.58385 | 7.70428 |
Abscon 112v4 ESAC (complete) | 2095136 | SAT | 12.1522 | 12.3161 |
pcs 0.3.2 (complete) | 2068667 | SAT | 25.9791 | 26.1286 |
bpsolver 09 (complete) | 2068676 | SAT | 30.8923 | 31.2131 |
Choco2.1.1 2009-06-10 (complete) | 2068671 | SAT | 91.2891 | 92.2013 |
Choco2.1.1b 2009-07-16 (complete) | 2115479 | SAT | 100.61 | 101.611 |
pcs-restart 0.3.2 (complete) | 2068668 | SAT | 106.837 | 107.816 |
Concrete 2009-07-14 (complete) | 2068669 | SAT | 276.849 | 279.554 |
SAT4J CSP 2.1.1 (complete) | 2068666 | ? | 77.7632 | 76.9224 |
Sugar v1.14.6+picosat (complete) | 2068672 | ? (MO) | 6.8067 | 8.30082 |
Sugar v1.14.6+minisat (complete) | 2068673 | ? (MO) | 7.42768 | 7.84106 |
Concrete DC 2009-07-14 (complete) | 2068670 | ? (TO) | 1800 | 1814.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:20 19 0 7 2 17 4 14 13 18 0 24 4 17 9 20 8 2 4 17 0 1 8 17 14 6 20 4 0 3 4 11 4 4 17 17 14 17 18 6 17 20 6 17 20 22 14 17 12 15 14 11 11 8 2 4 21 4 17 18 14 4 13 19 7 20 18 4 18 4 15 14 15 19 5 20 11 0 13 0 24 19 0 4 11 0 17 4 19 19 15 8 15 24 19 20 19 20 9 20 15 14 13 18 20 11 19 17 0 18 4 4 18 15 25 0 25 25 0 17 0 1 0 20 13 3 4 0 8 0 18 0 8 0 12 0 17 24 8 12 15 4 0 17 11 8 13 6 4 18 19 17 4 15 4 4 17 0 2 14 1 17 0 0 20 3 4 2 0 10 24 11 0 19 18 8 11 11 8 19 14 4 18 19 17 0 22 1 14 18 18 19 4 2 7 4 24 17 0 15 0 15 0 18 11 24 11 24 0 17 2 7 24 4 13 8 0 2 18 0 3 14 18 25 4 17 14 14 1 8 19 0 11 2 0 15 17 0 20 17 0 14 2 14 18 4 18 18 0 0 17 11 4 18 19 18 19 4 17 13 18 14 13 18 18 4 0 2 11 8 5 5 0 21 4 17 24 0 18 1 0 22 3 13 4 17 10 0 2 17 20 19 8 18 18 20 4 18 12 0 18 18 0 18 0 20 6 0 1 4 0 12 4 7 18 20 25 8 18 19 0 12 18 15 17 24 18 4 14 18 2 0 17 0 1 4 19 22 0 8 5 18 18 7 8 4 18 19 17 0 7 18 19 17 4 4 1 4 13 13 8 18 15 4 2 0 22 0 6 20 0 17 3 4 1 0 6 2 7 8 13 10 0 17 0 2 24 2 11 14 15 17 14 15 0 13 4 17 4 8 12 10 4 13 13 0 17 24 4 12 4 13 8 20 18 7 4 17 0 6 11 4 4 14 14 25 4 17 0 25 4 18 18 8 18 19 18 24 14 11 10 18 6 0 25 0