Name | csp/allIntervalSeries/ normalized-series-90.xml |
MD5SUM | 242858ec42c86e732417914a325a0e58 |
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.525919 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 179 |
Number of constraints | 8010 |
Maximum constraint arity | 3 |
Maximum domain size | 90 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8010 |
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:0 89 1 88 2 87 3 86 4 85 5 84 6 83 7 82 8 81 9 80 10 79 11 78 12 77 13 76 14 75 15 74 16 73 17 72 18 71 19 70 20 69 21 68 22 67 23 66 24 65 25 64 26 63 27 62 28 61 29 60 30 59 31 58 32 57 33 56 34 55 35 54 36 53 37 52 38 51 39 50 40 49 41 48 42 47 43 46 44 45 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 0