Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-8.xml |
MD5SUM | 31da94f2e356bf95fd869137b551c4a1 |
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.12698 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 127 |
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:0 1 11 12 121 24 134 133 144 145 28 8 37 116 133 134 146 145 149 150 87 55 93 94 110 109 121 137 149 128 5 4 35 55 69 70 85 84 93 94 6 7 17 37 57 56 69 70 93 76 0 16 25 26 46 47 60 61 64 101 44 45 56 76 96 97 110 109 128 129 15 16 41 55 85 84 99 98 144 137 16 15 25 26 36 30 48 101 124 59 0 1 5 4 11 12 71 37 76 135