Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-7.xml |
MD5SUM | 3d212b518200a202089f2dda1551e6b0 |
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.115982 |
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:8 7 37 36 135 62 143 144 152 151 21 0 27 28 41 62 71 51 75 76 18 17 33 34 71 62 86 87 93 92 75 76 93 92 143 123 155 156 161 160 0 1 6 5 12 13 25 24 33 34 6 5 13 14 25 24 43 44 52 51 0 1 33 47 95 123 135 107 172 173 13 14 18 17 50 51 63 62 113 114 27 0 40 39 86 62 95 96 105 104 43 0 55 51 107 108 124 123 134 135