Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-5.xml |
MD5SUM | 8d4012fe18fda41a247f530d31c79f3b |
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.299953 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 155 |
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:27 0 41 40 61 62 125 126 158 157 0 1 12 11 33 34 46 70 77 52 52 53 63 109 143 71 153 154 181 180 19 18 30 31 46 45 61 70 88 67 15 16 39 62 97 70 106 107 122 123 30 31 52 70 118 70 131 132 145 146 48 11 67 68 83 70 97 98 111 110 0 21 33 34 131 70 143 144 168 169 17 4 38 70 106 107 118 117 137 136 6 0 15 16 19 18 71 72 98 99