Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-3.xml |
MD5SUM | 0b7b70f6dd692b128bfbda29a471f6cc |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.087986 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 151 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 845 |
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 1 91 82 146 147 155 154 167 166 50 51 57 56 104 75 112 113 125 126 57 56 65 66 121 75 134 135 150 151 31 32 65 82 112 75 121 122 136 135 23 22 29 30 35 34 50 51 62 61 74 75 83 82 134 154 166 146 181 182 5 4 29 30 63 64 76 75 81 82 0 1 5 4 13 14 35 34 46 47 16 17 40 39 88 75 104 105 116 115 13 14 23 22 50 75 88 68 97 96