Name | csp/primes-30/ normalized-primes-30-40-2-7.xml |
MD5SUM | 2785aab9aaac7b7201a44e769841c423 |
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 | 278.366 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Maximum constraint arity | 9 |
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:22 2 56 34 2 101 14 20 95 47 104 105 48 80 85 17 2 10 44 60 108 79 2 12 23 113 27 112 2 110 82 85 12 111 73 105 63 50 80 78 113 5 101 84 54 21 11 64 3 2 96 38 2 14 109 2 31 81 2 3 102 91 2 113 103 49 82 110 33 74 2 53 113 109 49 109 2 2 2 68 2 63 23 42 91 89 2 64 63 96 3 57 103 108 69 113 2 38 97 98