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