Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-7.xml |
MD5SUM | 7f90ae65f94133a5d801af8c8d4f4168 |
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.753884 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 124 |
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 23 24 40 41 54 53 65 123 21 20 24 53 63 64 80 91 98 92 34 27 50 51 54 53 63 92 96 123 35 53 72 45 80 79 88 89 106 107 87 65 91 92 113 112 129 130 140 139 0 1 6 5 10 11 126 27 133 134 16 15 63 53 88 89 100 99 106 123 0 32 45 80 100 99 115 116 133 123 6 5 10 11 21 20 76 31 136 137 9 10 21 20 31 129 138 72 142 143