Name | csp/lexHerald/ normalized-crossword-m1-lex-21-07.xml |
MD5SUM | d3bbb87c49a34df4eb9bda6df8940577 |
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.9767 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 368 |
Number of constraints | 2572 |
Maximum constraint arity | 20 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 152 |
Number of constraints which are defined in intension | 2420 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2071348 | SAT | 1.9767 | 2.01306 |
Abscon 112v4 ESAC (complete) | 2095622 | SAT | 21.2408 | 21.4797 |
Abscon 112v4 AC (complete) | 2095621 | SAT | 32.0261 | 32.1374 |
pcs 0.3.2 (complete) | 2071340 | SAT | 33.5239 | 33.8287 |
Choco2.1.1 2009-06-10 (complete) | 2071344 | SAT | 73.8348 | 74.5789 |
pcs-restart 0.3.2 (complete) | 2071341 | SAT | 80.0628 | 80.7948 |
Choco2.1.1b 2009-07-16 (complete) | 2115722 | SAT | 128.718 | 130.005 |
Concrete 2009-07-14 (complete) | 2071342 | SAT | 645.219 | 648.479 |
SAT4J CSP 2.1.1 (complete) | 2071339 | ? | 93.7278 | 92.5778 |
Sugar v1.14.6+picosat (complete) | 2071345 | ? (TO) | 1800.02 | 1802.43 |
bpsolver 09 (complete) | 2071349 | ? (TO) | 1800.04 | 1808.31 |
Sugar v1.14.6+minisat (complete) | 2071346 | ? (TO) | 1800.07 | 1804.21 |
Concrete DC 2009-07-14 (complete) | 2071343 | ? (TO) | 1800.08 | 1813.32 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:19 0 10 4 8 3 0 7 14 0 18 19 14 17 12 0 19 7 14 12 8 19 2 0 17 14 11 18 19 0 6 24 8 3 4 0 17 14 19 7 18 2 7 8 11 3 19 0 1 11 4 2 11 14 19 7 8 18 0 0 2 11 0 12 15 4 17 11 4 7 4 11 4 13 10 13 14 1 3 4 18 4 17 21 4 21 8 18 4 0 13 24 19 17 0 13 18 8 19 4 0 6 0 13 18 19 20 11 0 20 3 14 17 4 17 8 1 20 18 2 18 2 0 19 8 18 18 20 0 13 19 19 8 19 20 18 0 20 6 12 4 13 19 4 19 7 13 8 2 0 0 20 17 14 19 14 17 0 13 6 4 13 24 20 17 7 4 18 20 18 13 2 0 0 0 2 19 14 17 4 3 8 19 7 15 11 20 13 10 18 12 4 0 17 2 4 13 19 17 4 15 4 13 19 0 15 19 2 0 13 19 14 17 13 14 17 14 21 0 2 14 22 15 4 0 14 2 19 14 15 20 18 3 20 0 13 4 0 19 17 14 15 14 18 19 7 4 13 13 8 11 4 21 0 18 2 8 10 4 13 19 19 14 17 0 6 13 4 18 4 11 4 2 19 14 17 0 24 4 15 24 11 4 6 20 0 17 3 8 0 13 4 18 18 1 4 17 4 0 5 8 11 11 24 18 15 0 0 12 0 18 18 8 13 8 12 8 19 0 1 11 4 4 13 20 12 4 17 0 1 11 4 11 8 18 4 4 20 11 4 17 1 4 11 14 22 18 11 14 4 4 3 4 13 0 13 4 13 19 1 17 0 10 4 7 4 22 13