Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.xml |
MD5SUM | 16828d5b306d2e949e22316dd26b1589 |
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 | 2.01669 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 149 |
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:52 51 62 122 140 141 155 154 171 172 94 61 104 105 125 154 169 140 180 179 18 12 27 28 41 42 52 65 156 155 0 1 7 6 12 13 34 33 41 73 14 13 19 20 28 27 42 43 57 56 0 1 41 42 62 51 77 78 88 87 7 56 62 12 77 78 90 89 118 119 51 50 68 69 90 89 98 99 107 106 0 19 27 77 98 99 114 113 129 128 3 4 38 13 114 51 125 126 139 140