Name | csp/primes-10/ normalized-primes-10-40-2-3.xml |
MD5SUM | 1866632d839b156c7c2250799bfd9750 |
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.023995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Maximum constraint arity | 5 |
Maximum domain size | 28 |
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:3 17 2 13 12 13 20 2 29 3 5 17 2 2 7 19 2 17 5 17 3 17 20 2 5 2 27 7 25 7 2 5 5 23 29 19 26 8 9 5 2 28 5 23 18 2 21 11 7 22 2 17 3 2 17 6 21 2 7 3 13 13 2 19 16 10 15 2 12 2 11 2 2 13 2 19 20 27 2 2 2 16 2 2 26 2 24 5 28 29 3 2 18 23 29 2 7 4 5 29