Name | csp/tdsp/ normalized-C5-2-91.xml |
MD5SUM | 47946473c43a0c517dbef8b6f98d48d6 |
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 | 588.036 |
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 0 51 0 0 38 1 44 7 1 33 85 0 23 16 1 25 27 0 59 69 1 20 55 1 23 81 0 14 37 0 57 45 0 20 0 1 23 23 1 44 5 1 12 85 0 35 23 0 7 51 0 12 83 0 13 0 0 53 7 1 27 39 1 28 85 1 5 51 0 8 10 1 5 75 0 49 75 1 44 0 0 56 45 1 24 34 1 0 4 1 30 39 0 12 81 1 12 16 1 49 78 1 5 4 0 59 67 0 44 48 1 5 10 1 33 66 0 40 71 1 9 16 0 0 0 0 25 85 0 33 48 0 50 71 0 0 77 0 30 45 1 28 23 1 23 27 1 12 74 0 0 41 1 6 55 1 33 62 0 30 48 1 0 54 1 13 86 0 45 0 1 0 32 1 6 74 1 35 72 1 19 81 1 53 45 1 33 71 1 46 4 1 48 46 1 0 24 1 12 10 1 10 32 0 27 34 1 31 85 0 7 26 0 57 78 0 13 83 1