Name | csp/lexPuzzle/ normalized-crossword-m1-lex-puzzle21.xml |
MD5SUM | 54e0d6737af3447f12513dae4ecf7dbf |
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 | 0.146977 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 672 |
Maximum constraint arity | 12 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 64 |
Number of constraints which are defined in intension | 608 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2076287 | SAT | 0.146977 | 0.154412 |
pcs 0.3.2 (complete) | 2076279 | SAT | 0.526919 | 0.533284 |
pcs-restart 0.3.2 (complete) | 2076280 | SAT | 0.962853 | 0.969832 |
bpsolver 09 (complete) | 2076288 | SAT | 1.17982 | 1.19719 |
Abscon 112v4 ESAC (complete) | 2096520 | SAT | 1.92371 | 1.93889 |
Choco2.1.1b 2009-07-16 (complete) | 2116171 | SAT | 5.62015 | 5.62951 |
Choco2.1.1 2009-06-10 (complete) | 2076283 | SAT | 5.99509 | 6.07582 |
Sugar v1.14.6+minisat (complete) | 2076285 | SAT | 33.4019 | 33.8523 |
Sugar v1.14.6+picosat (complete) | 2076284 | SAT | 61.5666 | 62.2364 |
Concrete 2009-07-14 (complete) | 2076281 | SAT | 73.5658 | 74.5459 |
Concrete DC 2009-07-14 (complete) | 2076282 | SAT | 258.064 | 260.586 |
SAT4J CSP 2.1.1 (complete) | 2076278 | ? | 90.0393 | 89.5367 |
Abscon 112v4 AC (complete) | 2096519 | ? (MO) | 1.2918 | 1.29798 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 13 13 4 15 21 2 7 24 3 4 17 14 14 12 24 0 7 4 4 14 2 8 19 4 12 17 13 0 17 0 18 7 3 4 11 4 19 4 18 19 4 17 4 14 19 22 23 12 14 14 3 4 11 19 0 14 5 5 0 11 0 24 4 0 13 0 1 4 6 4 19 19 14 0 3 24 24 20 7 0 22 11 18 2 7 4 12 0 2 14 4 17 2 4 14 11 0 5 13 24 20 5 0 11 11 11 20 11 20 14 0 19 8 18 8 18 3 4 11 11 8 10 4 13 0 15 4