Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-5.xml |
MD5SUM | cf6cb10154c91b27aba123e93ab25157 |
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.89071 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 123 |
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:32 10 43 44 54 53 94 101 122 121 13 12 59 60 71 70 94 95 99 98 2 5 13 14 23 22 73 104 112 144 25 6 35 36 45 46 81 82 98 97 80 81 88 102 112 113 132 133 151 150 2 1 9 10 14 15 120 121 127 126 20 21 28 29 36 37 60 59 146 147 80 79 92 91 96 95 121 120 138 149 68 33 78 79 85 86 111 131 143 142 21 109 120 119 125 124 140 141 148 147