Name | PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml |
MD5SUM | 4a86fdd9abdf3f491c5a6082e8161c48 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 211 |
Best CPU time to get the best result obtained on this benchmark | 242.164 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 473 |
Number of constraints | 473 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":473}] |
Minimum variable degree | 5 |
Maximum variable degree | 18 |
Distribution of variable degrees | [{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":473}] |
Optimization problem | YES |
Type of objective | min SUM |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 211<instantiation id='sol11' type='solution' cost='211'> <list> x[] </list> <values> 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 </values> </instantiation>