Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-10.xml |
MD5SUM | 2e1a96a215dbee196ad45178247d22f3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 12940 |
Number of domains | 96 |
Minimum domain size | 1518 |
Maximum domain size | 1616 |
Distribution of domain sizes | [{"size":1518,"count":10},{"size":1519,"count":4},{"size":1520,"count":16},{"size":1521,"count":2},{"size":1522,"count":6},{"size":1523,"count":8},{"size":1524,"count":6},{"size":1525,"count":6},{"size":1526,"count":6},{"size":1527,"count":16},{"size":1528,"count":6},{"size":1529,"count":6},{"size":1530,"count":8},{"size":1531,"count":24},{"size":1532,"count":6},{"size":1533,"count":8},{"size":1535,"count":8},{"size":1536,"count":14},{"size":1537,"count":6},{"size":1538,"count":8},{"size":1539,"count":6},{"size":1540,"count":8},{"size":1541,"count":10},{"size":1542,"count":8},{"size":1543,"count":10},"...",{"size":1591,"count":14}, {"size":1592,"count":4}, {"size":1593,"count":8}, {"size":1594,"count":4}, {"size":1595,"count":6}, {"size":1596,"count":8}, {"size":1597,"count":10}, {"size":1598,"count":8}, {"size":1599,"count":10}, {"size":1600,"count":14}, {"size":1601,"count":10}, {"size":1602,"count":14}, {"size":1603,"count":2}, {"size":1604,"count":10}, {"size":1605,"count":10}, {"size":1606,"count":10}, {"size":1607,"count":2}, {"size":1608,"count":16}, {"size":1609,"count":8}, {"size":1610,"count":8}, {"size":1612,"count":8}, {"size":1613,"count":8}, {"size":1614,"count":14}, {"size":1615,"count":10}, {"size":1616,"count":8}] |
Minimum variable degree | 21 |
Maximum variable degree | 43 |
Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12940}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12940 |
Distribution of constraint types | [{"type":"intension","count":12940}] |
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: