| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-26.xml |
| MD5SUM | f8945e9ee38ae25fe131ea9d51f4675a |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 442.279 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 93 |
| Minimum domain size | 1087 |
| Maximum domain size | 1185 |
| Distribution of domain sizes | [{"size":1087,"count":6},{"size":1088,"count":2},{"size":1089,"count":4},{"size":1090,"count":4},{"size":1091,"count":4},{"size":1092,"count":2},{"size":1093,"count":12},{"size":1094,"count":8},{"size":1095,"count":6},{"size":1096,"count":4},{"size":1097,"count":2},{"size":1098,"count":4},{"size":1099,"count":6},{"size":1101,"count":4},{"size":1102,"count":2},{"size":1103,"count":4},{"size":1104,"count":2},{"size":1105,"count":6},{"size":1106,"count":8},{"size":1107,"count":10},{"size":1108,"count":4},{"size":1109,"count":2},{"size":1110,"count":6},{"size":1111,"count":2},{"size":1112,"count":4},"...",{"size":1159,"count":10}, {"size":1160,"count":4}, {"size":1161,"count":4}, {"size":1162,"count":6}, {"size":1163,"count":10}, {"size":1164,"count":2}, {"size":1165,"count":2}, {"size":1166,"count":4}, {"size":1167,"count":2}, {"size":1168,"count":2}, {"size":1170,"count":8}, {"size":1171,"count":2}, {"size":1173,"count":4}, {"size":1174,"count":4}, {"size":1175,"count":4}, {"size":1176,"count":6}, {"size":1177,"count":2}, {"size":1178,"count":4}, {"size":1179,"count":4}, {"size":1180,"count":8}, {"size":1181,"count":10}, {"size":1182,"count":6}, {"size":1183,"count":4}, {"size":1184,"count":6}, {"size":1185,"count":2}] |
| Minimum variable degree | 16 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5580}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5580 |
| Distribution of constraint types | [{"type":"intension","count":5580}] |
| Optimization problem | NO |
| Type of objective |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: