Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-1.xml |
MD5SUM | 2fbc47b82f94ec24ab606e59962b92e6 |
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.270958 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 150 |
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 61 38 69 70 85 84 93 94 34 29 60 61 85 84 100 142 153 108 71 70 95 82 123 124 150 142 181 180 0 1 12 11 17 18 26 25 34 106 0 1 12 11 26 25 42 43 48 49 8 7 22 23 42 43 54 53 60 106 45 44 69 52 100 101 114 113 122 121 82 83 92 91 114 113 123 124 136 137 131 19 142 143 147 146 157 158 167 168 17 29 34 35 54 53 69 70 76 106