Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-4.xml |
MD5SUM | 4156b3ba3cdfc9a24e800d942d559208 |
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 | 1.66675 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 152 |
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:31 11 45 46 76 77 90 91 95 94 4 5 16 17 101 102 113 114 127 128 0 1 33 34 112 113 130 129 138 137 9 8 20 19 32 31 54 55 59 60 23 24 40 41 45 46 62 63 69 70 0 1 12 13 19 20 34 35 82 83 43 44 54 55 62 63 74 75 110 111 70 71 79 80 88 89 99 100 147 148 107 108 118 119 128 129 139 140 161 162 134 135 143 144 147 148 164 165 176 177