Name | Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml |
MD5SUM | edb7fc8f5d274005fc89ddd50225e87c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 2520.11 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 3757 |
Number of domains | 7 |
Minimum domain size | 6 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3757}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3757 |
Distribution of constraint types | [{"type":"intension","count":3757}] |
Optimization problem | YES |
Type of objective | min NVALUES |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 18<instantiation id='sol16' type='solution' cost='18'> <list> x[] </list> <values> 30 268 30 268 380 142 72 310 268 30 142 380 142 380 380 142 338 100 652 414 652 414 268 30 30 268 268 30 470 708 380 142 30 268 338 100 240 478 30 268 380 142 456 694 310 72 380 142 268 30 142 380 652 414 694 456 456 694 268 30 100 338 456 694 414 652 764 526 100 338 310 72 764 526 100 338 30 268 30 268 72 310 338 100 380 142 310 72 268 30 100 338 30 268 268 30 100 338 310 72 100 338 142 380 72 310 30 268 338 100 72 310 456 694 72 310 142 380 100 338 380 142 142 380 100 338 310 72 142 380 100 338 268 30 72 310 142 380 100 338 268 30 414 652 310 72 380 142 30 268 100 338 268 30 764 526 414 652 414 652 338 100 100 338 268 30 142 380 380 142 380 142 100 338 310 72 380 142 268 30 310 72 652 414 100 338 310 72 338 100 414 652 652 414 268 30 100 338 142 380 268 30 694 456 380 142 310 72 142 380 694 456 652 414 470 708 338 100 380 142 310 72 142 380 72 310 268 30 338 100 310 72 414 652 338 100 338 100 100 338 100 338 268 30 414 652 268 30 268 30 72 310 240 478 100 338 652 414 456 694 100 338 268 30 100 338 30 268 72 310 526 764 310 72 100 338 310 72 268 30 142 380 380 142 30 268 338 100 380 142 380 142 310 72 652 414 652 414 380 142 30 268 380 142 100 338 72 310 30 268 142 380 142 380 72 310 268 30 142 380 30 268 30 268 380 142 268 30 268 30 142 380 652 414 764 526 142 380 72 310 100 338 142 380 470 708 338 100 414 652 100 338 456 694 100 338 100 338 142 380 72 310 72 310 268 30 100 338 268 30 380 142 240 478 142 380 380 142 380 142 30 268 72 310 708 470 526 764 414 652 100 338 526 764 310 72 268 30 708 470 380 142 456 694 30 268 652 414 268 30 338 100 694 456 72 310 30 268 100 338 380 142 526 764 694 456 72 310 268 30 414 652 456 694 142 380 652 414 30 268 72 310 268 30 414 652 414 652 100 338 380 142 470 708 310 72 30 268 268 30 310 72 30 268 456 694 30 268 30 268 310 72 142 380 72 310 240 478 338 100 694 456 268 30 764 526 142 380 142 380 310 72 268 30 380 142 268 30 694 456 310 72 30 268 764 526 30 268 310 72 526 764 30 268 268 30 470 708 268 30 100 338 72 310 694 456 310 72 470 708 30 268 240 478 414 652 652 414 142 380 310 72 338 100 100 338 380 142 414 652 72 310 470 708 142 380 268 30 72 310 268 30 708 470 694 456 310 72 764 526 470 708 414 652 268 30 652 414 414 652 708 470 708 470 310 72 142 380 526 764 764 526 72 310 694 456 338 100 310 72 268 30 72 310 142 380 30 268 652 414 764 526 72 310 142 380 142 380 310 72 652 414 380 142 142 380 72 310 694 456 470 708 380 142 268 30 338 100 310 72 764 526 694 456 72 310 414 652 526 764 694 456 380 142 72 310 72 310 652 414 30 268 72 310 414 652 456 694 30 268 142 380 72 310 142 380 30 268 100 338 </values> </instantiation>