Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-6.xml |
MD5SUM | c27b1c26289e0ba03dc0a1b18b0438f1 |
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.064989 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 129 |
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:89 83 94 93 104 105 113 114 117 116 21 0 29 28 72 71 83 84 94 135 0 1 7 32 113 112 127 128 136 151 27 83 94 35 137 136 149 150 158 157 66 65 70 116 127 128 137 136 143 144 12 6 15 83 89 83 104 116 125 126 0 1 9 15 41 42 57 58 158 157 0 1 10 9 20 21 33 32 41 42 10 9 20 21 33 32 41 42 51 50 20 21 47 46 55 56 72 71 83 103