Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-8.xml |
MD5SUM | cabb6d4bbf0c17b67d9604b726382443 |
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.298954 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 133 |
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:113 112 124 123 134 133 143 144 155 156 0 1 7 6 13 14 26 25 35 36 53 54 75 74 92 93 107 108 121 120 13 14 57 35 120 121 134 133 147 146 42 41 64 65 79 78 97 96 107 108 0 1 16 17 38 39 51 50 57 58 7 6 16 17 26 25 56 38 73 72 23 22 46 34 51 50 66 67 81 82 34 35 49 50 66 67 79 78 93 92 86 87 97 96 107 106 120 121 131 132