Name | csp/primes-15/ normalized-primes-15-20-3-3.xml |
MD5SUM | 2c0f685b6dffd0b21e9d6ad0f83ab81d |
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.013997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 20 |
Maximum constraint arity | 6 |
Maximum domain size | 46 |
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 35 20 35 47 2 47 2 35 2 2 35 35 2 40 2 47 2 6 47 2 2 2 2 44 7 27 12 14 41 10 2 19 2 2 2 26 2 17 2 2 2 2 2 2 47 2 6 8 11 47 2 2 2 14 21 2 2 5 3 35 2 2 36 2 2 2 44 2 47 2 47 2 2 35 9 40 2 2 2 2 16 23 44 2 2 2 31 2 45 2 32 2 2 32 2 2 2 46