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