Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-2.xml |
MD5SUM | e903255bfbda8f76e6400f31b9319dae |
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.790879 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 134 |
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:126 127 131 130 137 136 149 150 157 156 83 36 88 89 93 92 109 110 139 138 22 23 27 26 76 77 91 90 105 106 19 18 29 30 40 39 74 73 89 88 7 6 10 11 49 50 62 61 73 74 0 1 7 6 13 14 22 21 29 30 10 11 19 18 22 23 40 39 45 46 45 46 55 54 62 61 76 88 117 116 93 92 104 105 109 110 120 119 129 130 104 105 121 120 126 127 137 136 147 148