Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-8.xml |
MD5SUM | aff89a3c376f9d649716b708df99d09e |
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.508922 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 153 |
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 7 6 12 13 153 68 165 164 32 33 41 42 143 48 155 156 177 178 26 25 32 89 100 48 114 115 120 119 79 47 120 119 130 129 143 144 156 157 0 1 12 13 23 22 36 37 47 46 0 1 12 11 36 37 49 48 60 61 47 48 57 56 87 88 100 99 108 130 57 56 68 69 114 115 130 129 145 140 18 19 26 47 75 48 87 88 95 130 7 6 39 38 62 48 75 76 79 130