Name | csp/tdsp/ normalized-C5-1-91.xml |
MD5SUM | 166b656c48baaba962d92b1da6129743 |
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 | 257.173 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 221 |
Number of constraints | 2774 |
Maximum constraint arity | 6 |
Maximum domain size | 92 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2774 |
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:91 60 54 52 1 57 17 1 43 24 1 50 5 0 40 11 0 48 53 0 20 58 0 0 59 1 12 27 0 0 31 1 1 84 0 20 42 1 14 0 1 35 0 1 15 42 0 40 6 1 44 23 0 29 45 1 6 18 0 40 79 1 45 60 1 14 21 0 0 56 0 55 30 1 59 50 1 7 73 1 0 2 1 43 52 1 48 23 1 0 17 1 43 49 0 44 0 0 37 23 1 40 58 1 7 56 1 37 21 0 6 11 0 24 16 0 40 72 0 14 49 0 51 17 1 26 58 1 0 52 0 57 37 1 17 0 1 8 70 0 39 37 1 40 2 1 26 45 1 0 88 1 45 58 0 11 75 0 0 8 0 7 78 1 55 24 1 53 86 1 9 0 0 30 42 1 6 2 0 25 49 1 45 5 1 18 16 0 12 44 0 12 18 0 8 76 1 17 83 1 17 73 1 25 42 1 37 39 1 17 18 1 51 72 0 40 0 1 0 0 1