Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-9.xml |
MD5SUM | e9e563056d40ce612d760eb74577f4e9 |
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.42078 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 132 |
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:94 95 106 105 122 113 134 135 146 147 0 16 22 11 69 68 79 80 85 86 48 47 65 64 94 113 123 124 135 134 10 20 31 14 39 40 53 52 64 97 0 68 83 11 103 104 114 113 124 125 59 60 77 76 134 135 149 148 160 159 6 7 14 15 28 27 39 40 52 51 0 1 12 11 16 17 28 27 37 38 37 38 48 47 54 55 69 68 75 97 54 55 73 74 84 83 94 95 108 105