Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-10.xml |
MD5SUM | 849189d0fe44cbb9e5489df72ee9e464 |
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.282956 |
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:0 1 7 6 28 27 38 61 132 65 7 24 41 35 95 94 104 105 114 113 10 9 14 23 38 39 97 47 121 106 33 17 54 55 117 116 132 133 136 135 13 45 54 22 67 66 82 93 105 130 54 45 74 63 82 83 95 114 128 145 0 1 10 9 13 14 47 114 121 63 0 1 17 35 48 47 56 106 141 142 14 15 18 17 56 57 109 66 124 114 26 62 86 63 104 105 117 116 128 141