| Name | csp/primes-30/ normalized-primes-30-20-3-7.xml |
| MD5SUM | 4cb4de839cc8069903cb9f017ea05757 |
| 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.021996 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 20 |
| Maximum constraint arity | 10 |
| Maximum domain size | 112 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 20 |
| Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 112 2 2 17 83 111 3 94 12 3 113 24 66 3 11 2 2 88 2 52 35 113 2 2 2 2 10 2 111 2 2 2 112 49 113 112 31 3 74 2 42 4 84 2 2 2 2 3 16 2 2 41 39 111 2 99 107 103 2 49 2 3 113 2 2 2 42 2 2 112 2 2 2 113 2 103 24 2 39 2 4 107 2 112 2 2 27 59 2 2 2 7 23 78 2 50 2 2 9