| Name | csp/tightness0.8/ normalized-rand-2-40-80-103-800-52_ext.xml |
| MD5SUM | 518f122a0f289c859513203eb0c2ab6c |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 6.17506 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 40 |
| Number of constraints | 103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 80 |
| Number of constraints which are defined in extension | 103 |
| 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 |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2092149 | SAT | 6.17506 | 6.23641 |
| Concrete 2009-07-14 (complete) | 2092143 | SAT | 9.12161 | 9.22728 |
| Concrete DC 2009-07-14 (complete) | 2092144 | SAT | 11.1883 | 11.2687 |
| Choco2.1.1b 2009-07-16 (complete) | 2117613 | SAT | 15.9336 | 16.1089 |
| pcs-restart 0.3.2 (complete) | 2092142 | SAT | 26.6449 | 26.6544 |
| Sugar v1.14.6+picosat (complete) | 2092146 | SAT | 32.862 | 33.2944 |
| Choco2.1.1 2009-06-10 (complete) | 2092145 | SAT | 46.7969 | 47.3068 |
| SAT4J CSP 2.1.1 (complete) | 2092140 | SAT | 95.0036 | 95.5309 |
| bpsolver 09 (complete) | 2092150 | SAT | 206.914 | 208.878 |
| Abscon 112v4 ESAC (complete) | 2099404 | SAT | 306.954 | 309.89 |
| Abscon 112v4 AC (complete) | 2099403 | SAT | 308.237 | 311.191 |
| Sugar v1.14.6+minisat (complete) | 2092147 | SAT | 904.736 | 905.649 |
| pcs 0.3.2 (complete) | 2092141 | ? (TO) | 1800.08 | 1807.75 |
| Conquer 2009-07-10 (complete) | 2092148 | ? (TO) | 1800.13 | 1802.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:42 65 74 38 32 33 70 38 12 7 63 12 42 18 25 31 12 14 43 24 58 15 58 75 43 19 50 60 65 10 63 6 6 59 29 49 34 2 65 28