| Name | csp/primes-15/ normalized-primes-15-40-2-3.xml |
| MD5SUM | df24a19a16a97070d0d1a6368235bfe2 |
| 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.028995 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 40 |
| Maximum constraint arity | 5 |
| Maximum domain size | 46 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 40 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2077915 | SAT | 0.028995 | 0.096741 |
| bpsolver 09 (complete) | 2077916 | SAT | 0.05299 | 0.103214 |
| Choco2.1.1b 2009-07-16 (complete) | 2116319 | SAT | 0.838871 | 0.89659 |
| Choco2.1.1 2009-06-10 (complete) | 2077911 | SAT | 0.951855 | 1.01765 |
| pcs-restart 0.3.2 (complete) | 2077908 | SAT | 1.42478 | 1.44334 |
| pcs 0.3.2 (complete) | 2077907 | SAT | 2.09668 | 2.11838 |
| Sugar v1.14.6+minisat (complete) | 2077913 | SAT | 2.29965 | 2.42816 |
| Abscon 112v4 AC (complete) | 2096815 | SAT | 2.44263 | 2.49925 |
| Abscon 112v4 ESAC (complete) | 2096816 | SAT | 3.53746 | 3.60944 |
| Sugar v1.14.6+picosat (complete) | 2077912 | SAT | 6.38703 | 6.49392 |
| Concrete DC 2009-07-14 (complete) | 2077910 | SAT | 159.081 | 160.512 |
| Concrete 2009-07-14 (complete) | 2077909 | SAT | 159.129 | 160.681 |
| SAT4J CSP 2.1.1 (complete) | 2077906 | ? | 744.636 | 746.868 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:43 3 2 31 23 31 3 2 29 3 5 19 13 2 23 47 2 17 19 3 37 23 41 2 5 2 5 43 19 31 2 41 41 7 47 41 43 3 3 19 2 7 4 47 47 2 23 47 13 2 2 3 3 18 37 7 5 13 3 3 2 2 2 41 37 13 46 2 43 2 29 2 41 2 3 41 47 47 2 13 2 7 2 2 23 2 7 6 47 11 41 2 37 18 34 19 3 17 6 47