Name | csp/lexHerald/ normalized-crossword-m1-lex-23-07.xml |
MD5SUM | 5fa3ecf421bc4ed00f4c803544e18b01 |
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 | 4.79227 |
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) | 2071260 | SAT | 4.79227 | 4.82296 |
pcs-restart 0.3.2 (complete) | 2071253 | SAT | 41.4627 | 41.8669 |
Abscon 112v4 ESAC (complete) | 2095606 | SAT | 46.016 | 46.4777 |
Abscon 112v4 AC (complete) | 2095605 | SAT | 129.636 | 130.314 |
Choco2.1.1 2009-06-10 (complete) | 2071256 | SAT | 177.675 | 180.615 |
pcs 0.3.2 (complete) | 2071252 | SAT | 347.226 | 347.678 |
Choco2.1.1b 2009-07-16 (complete) | 2115714 | SAT | 400.93 | 404.808 |
Concrete 2009-07-14 (complete) | 2071254 | SAT | 625.867 | 631.867 |
SAT4J CSP 2.1.1 (complete) | 2071251 | ? | 74.6526 | 74.7723 |
Concrete DC 2009-07-14 (complete) | 2071255 | ? (TO) | 1800.02 | 1808.02 |
bpsolver 09 (complete) | 2071261 | ? (TO) | 1800.07 | 1801.02 |
Sugar v1.14.6+picosat (complete) | 2071257 | ? (TO) | 1800.08 | 1817.35 |
Sugar v1.14.6+minisat (complete) | 2071258 | ? (TO) | 1800.12 | 1815.03 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 8 18 18 18 7 14 9 8 15 0 18 19 4 2 17 0 19 4 0 17 4 0 19 0 10 4 13 14 3 8 20 12 17 14 12 0 13 14 0 12 0 11 6 0 12 0 19 4 15 11 0 13 4 19 4 18 8 12 0 11 18 0 19 20 17 3 0 24 23 24 11 4 12 17 0 18 0 15 1 18 19 0 8 11 18 15 4 0 17 3 0 17 19 18 14 11 14 0 17 12 0 19 0 2 11 4 0 17 6 8 11 0 11 8 13 4 13 11 14 8 17 4 15 14 14 17 1 11 4 3 6 24 12 1 20 18 24 12 14 17 0 19 14 17 8 20 12 2 0 17 0 12 4 11 20 18 0 0 2 14 17 13 15 0 13 19 15 20 12 0 4 17 0 12 4 13 0 17 2 7 4 18 8 13 6 0 15 14 17 4 2 17 0 6 19 17 8 14 18 11 20 13 6 12 4 17 4 1 14 8 18 4 0 18 7 11 4 24 15 24 11 4 22 0 17 19 5 14 18 19 4 17 11 0 17 4 18 1 14 11 19 18 8 19 20 18 0 20 19 14 0 23 14 13 15 8 13 4 0 15 15 11 4 12 0 17 6 0 17 4 19 12 14 15 2 11 0 3 13 0 8 11 15 14 17 2 7 8 17 0 14 13 4 17 14 20 18 2 0 13 19 0 11 14 20 15 4 6 14 0 19 4 13 6 11 0 19 4 8 14 19 0 18 0 20 19 4 7 0 13 4 24 22 14 21 4 17 0 13 2 7 19 4 13 18 14 17 4 13 8 3 12 0 2 4 7 4 8 6 7 3 0 13 6 0 13 0 18 14 2 10 7 8 13 3 20 18 4 17 14 11 14 6 24 21 0 2 0 19 8 14 13 11 0 13 3 8 13 19 4 6 17 0 1 11 4 4 11 8 13 14 17 20 18 0 6 4 18 13 0 17 4 13 14 4 11 18 13 8 15 4 19 8 6 4 17 19 4 13 4 19 3 4 4 15