| Name | csp/lexVg/ normalized-crossword-m1c-lex-vg8-11_ext.xml |
| MD5SUM | d91d8e1a8be9eb3084abbb34ba72204f |
| Bench Category | N-ARY-EXT (n-ary constraints in extension) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3.04753 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 88 |
| Number of constraints | 19 |
| Maximum constraint arity | 11 |
| Maximum domain size | 26 |
| Number of constraints which are defined in extension | 19 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Conquer 2009-07-10 (complete) | 2079102 | UNSAT | 3.04753 | 3.25563 |
| Abscon 112v4 AC (complete) | 2097031 | UNSAT | 3.14352 | 3.19085 |
| Mistral 1.545 (complete) | 2079103 | UNSAT | 3.43148 | 3.43488 |
| Abscon 112v4 ESAC (complete) | 2097032 | UNSAT | 3.47347 | 3.53724 |
| Concrete 2009-07-14 (complete) | 2079097 | UNSAT | 15.5986 | 15.7639 |
| Choco2.1.1b 2009-07-16 (complete) | 2116427 | UNSAT | 16.1425 | 16.7827 |
| Choco2.1.1 2009-06-10 (complete) | 2079099 | UNSAT | 18.1562 | 18.1682 |
| pcs-restart 0.3.2 (complete) | 2079096 | UNSAT | 38.9061 | 39.2057 |
| pcs 0.3.2 (complete) | 2079095 | UNSAT | 46.9049 | 47.2699 |
| bpsolver 09 (complete) | 2079104 | UNSAT | 71.1712 | 71.8534 |
| Concrete DC 2009-07-14 (complete) | 2079098 | UNSAT | 150.957 | 151.75 |
| Sugar v1.14.6+minisat (complete) | 2079101 | UNSAT | 389.845 | 390.858 |
| SAT4J CSP 2.1.1 (complete) | 2079094 | ? | 28.6486 | 26.1159 |
| Sugar v1.14.6+picosat (complete) | 2079100 | ? (TO) | 1800.05 | 1805.44 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: