| Name | csp/primes-30/ normalized-primes-30-40-3-3.xml |
| MD5SUM | 4f15245721c7f3fcf70089d146331321 |
| 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 | 14.8287 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 40 |
| Maximum constraint arity | 6 |
| Maximum domain size | 112 |
| 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) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 109 97 90 89 101 48 64 2 13 2 23 55 64 105 69 102 73 105 9 28 2 95 9 2 46 71 75 24 109 113 83 2 9 78 55 39 10 3 71 12 2 2 103 95 60 7 2 6 28 39 30 98 52 92 64 35 2 45 25 86 63 2 77 63 57 2 2 59 41 102 37 28 2 2 43 103 93 2 73 85 67 24 20 19 71 5 2 40 103 62 8 106 70 84 68 2 2 11 98