Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-6.xml |
MD5SUM | ec9ce0cd50588da9acafc484ca61c5c7 |
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.120981 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 157 |
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 10 14 33 43 36 49 50 14 15 42 41 76 77 92 91 173 172 48 49 60 59 136 91 144 145 150 149 34 35 42 41 64 91 103 76 112 113 64 65 68 67 127 91 136 137 140 139 0 1 11 10 24 25 49 50 65 64 21 22 28 27 43 37 59 58 74 75 22 6 27 28 115 91 127 128 164 165 6 5 60 59 103 91 115 116 125 124 0 1 28 27 56 34 76 77 83 82