Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-9.xml |
MD5SUM | 7154251d322d3aeca403294bf50a7b43 |
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.291955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 122 |
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:99 98 105 106 125 126 139 138 150 151 69 36 77 78 113 112 125 126 135 134 0 1 20 19 44 45 56 55 85 84 18 19 63 64 76 77 85 84 95 96 30 31 60 61 85 84 116 115 135 134 7 6 60 36 139 138 150 151 156 155 0 1 14 15 29 28 44 45 67 101 0 1 6 5 14 15 49 28 60 68 39 21 49 50 60 59 76 77 95 96 80 79 84 85 100 101 113 112 120 121