Name | csp/ukHerald/ normalized-crossword-m1-uk-19-03.xml |
MD5SUM | ecef281170e0ab90a52432dbe9212a7a |
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.54077 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 307 |
Number of constraints | 1429 |
Maximum constraint arity | 16 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 118 |
Number of constraints which are defined in intension | 1311 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2068752 | SAT | 1.54077 | 1.55709 |
Abscon 112v4 AC (complete) | 2095149 | SAT | 3.9164 | 3.97065 |
Abscon 112v4 ESAC (complete) | 2095150 | SAT | 8.38272 | 9.98205 |
bpsolver 09 (complete) | 2068753 | SAT | 16.1345 | 16.1472 |
pcs-restart 0.3.2 (complete) | 2068745 | SAT | 19.0441 | 19.2281 |
Choco2.1.1b 2009-07-16 (complete) | 2115486 | SAT | 44.7502 | 44.8328 |
Choco2.1.1 2009-06-10 (complete) | 2068748 | SAT | 47.9507 | 48.2347 |
pcs 0.3.2 (complete) | 2068744 | SAT | 72.455 | 73.1445 |
Concrete 2009-07-14 (complete) | 2068746 | SAT | 363.259 | 364.985 |
SAT4J CSP 2.1.1 (complete) | 2068743 | ? | 73.6708 | 72.8686 |
Sugar v1.14.6+minisat (complete) | 2068750 | ? (MO) | 6.26 | 6.43471 |
Sugar v1.14.6+picosat (complete) | 2068749 | ? (MO) | 6.29679 | 6.62104 |
Concrete DC 2009-07-14 (complete) | 2068747 | ? (TO) | 1800.07 | 1809.32 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:17 8 15 18 0 22 14 18 7 0 2 7 4 20 6 7 18 0 2 7 0 8 0 11 11 0 13 14 14 18 19 17 4 0 15 14 14 13 0 2 4 0 18 4 11 18 19 20 0 17 19 8 13 13 18 10 14 0 11 12 20 18 19 7 15 4 0 3 8 4 1 4 20 17 14 14 1 8 0 20 15 14 13 18 2 17 0 15 9 8 12 4 13 4 25 1 7 0 13 6 9 4 3 3 0 19 4 17 4 5 0 7 18 20 1 0 17 4 0 20 17 18 3 8 18 20 18 4 3 2 17 14 13 8 13 5 17 0 6 20 17 10 7 0 11 8 17 4 19 3 17 0 8 13 15 8 15 4 11 8 25 14 13 19 7 4 17 20 13 6 24 15 1 4 25 0 25 25 3 0 18 24 15 14 3 17 4 4 5 0 17 0 3 0 24 15 8 13 4 19 0 17 2 0 17 8 1 19 0 17 14 2 1 4 1 4 4 17 20 2 17 0 25 24 4 17 14 18 3 14 0 1 18 24 13 2 0 1 24 4 0 6 0 11 0 24 19 14 10 14 0 11 0 20 12 18 18 24 17 8 0 2 8 13 10 8 13 8 13 6 17 0 12 4 11 4 13 2 7 12 8 0 12 8 12 14 20 18 18 4 17 4 3 18 4 0 4 18 19 14 2 1 0 19 19 4 13