| Name | csp/tightness0.1/ normalized-rand-2-40-8-753-100-56_ext.xml |
| MD5SUM | 39a0aab9c602f823f57dbbfd85b5cea4 |
| 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 | 1.10383 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 40 |
| Number of constraints | 753 |
| Maximum constraint arity | 2 |
| Maximum domain size | 8 |
| Number of constraints which are defined in extension | 753 |
| 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 |
|---|---|---|---|---|
| bpsolver 09 (complete) | 2091919 | SAT | 1.10383 | 1.12083 |
| Abscon 112v4 AC (complete) | 2099361 | SAT | 1.43978 | 1.47262 |
| Mistral 1.545 (complete) | 2091918 | SAT | 1.60076 | 1.60429 |
| Abscon 112v4 ESAC (complete) | 2099362 | SAT | 2.45463 | 2.5174 |
| Sugar v1.14.6+picosat (complete) | 2091915 | SAT | 2.46462 | 2.58704 |
| Concrete DC 2009-07-14 (complete) | 2091913 | SAT | 2.58561 | 2.65103 |
| Choco2.1.1b 2009-07-16 (complete) | 2117592 | SAT | 6.90995 | 6.93291 |
| Choco2.1.1 2009-06-10 (complete) | 2091914 | SAT | 9.44256 | 9.53497 |
| Sugar v1.14.6+minisat (complete) | 2091916 | SAT | 14.3048 | 14.5589 |
| Concrete 2009-07-14 (complete) | 2091912 | SAT | 19.453 | 19.6921 |
| Conquer 2009-07-10 (complete) | 2091917 | SAT | 22.5256 | 22.9366 |
| pcs-restart 0.3.2 (complete) | 2091911 | SAT | 26.8579 | 27.0917 |
| pcs 0.3.2 (complete) | 2091910 | SAT | 37.2673 | 37.6305 |
| SAT4J CSP 2.1.1 (complete) | 2091909 | SAT | 108.908 | 109.496 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 7 0 7 0 4 5 6 6 5 5 1 2 2 0 2 6 0 2 2 3 0 1 2 4 0 5 5 3 5 2 6 1 7 3 3 0 5 5 6