Submitter | Variables | Constraints | Density | Status | Group | Objective | MPS File |
---|---|---|---|---|---|---|---|

M. Winkler | 2700 | 42620 | 2.67063e-03 | open | – | 258.0* | circ10-3.mps.gz |

Instance from the 2010 SAT conference pseudo-Boolean competition Imported from MIPLIB2010.

Detailed explanation of the following tables can be found here.

Original | Presolved | |
---|---|---|

Variables | 2700 | 2700 |

Constraints | 42620 | 42620 |

Binaries | 2700 | 2700 |

Integers | 0 | 0 |

Continuous | 0 | 0 |

Implicit Integers | 0 | 0 |

Fixed Variables | 0 | 0 |

Nonzero Density | 0.00267063 | 0.00267063 |

Nonzeroes | 307320 | 307320 |

Original | Presolved | |
---|---|---|

Total | 42620 | 42620 |

Empty | 0 | 0 |

Free | 0 | 0 |

Singleton | 0 | 0 |

Aggregations | 0 | 0 |

Precedence | 1800 | 1800 |

Variable Bound | 1530 | 1530 |

Set Partitioning | 450 | 450 |

Set Packing | 0 | 180 |

Set Covering | 16890 | 0 |

Cardinality | 0 | 0 |

Invariant Knapsack | 0 | 17040 |

Equation Knapsack | 0 | 0 |

Bin Packing | 0 | 0 |

Knapsack | 0 | 21600 |

Integer Knapsack | 0 | 0 |

Mixed Binary | 21950 | 20 |

General Linear | 0 | 0 |

Indicator | 0 | 0 |

Available nonzero structure and decomposition information. Further information can be found here.

Decomposed structure of original problem (dec-file)

Decomposed structure after trivial presolving (dec-file)

value | min | median | mean | max | |
---|---|---|---|---|---|

Components | 1.041393 | ||||

Constraint % | 9.17644 | 9.17644 | 9.17644 | 9.17644 | |

Variable % | 10.00000 | 10.00000 | 10.00000 | 10.00000 | |

Score | 0.825880 |

Find solutions below. Download the archive containing all solutions from the Download page.

`## Warning in lapply(df["exactobjval"], as.numeric): NAs introduced by coercion`

ID | Objective | Exact | Int. Viol | Cons. Viol | Obj. Viol | Submitter | Date | Description |
---|---|---|---|---|---|---|---|---|

5 | 258 | 258 | 0 | 0 | 0 | Dongdong Wan | 2024-07-01 | Taylor Solver - Taylor Lab of Huawei Solver |

4 | 276 | 276 | 0 | 0 | 0 | Davletshin Mars | 2024-05-22 | It was obtained with Optverse using ML-based LNS. |

3 | 280 | 280 | 0 | 0 | 0 | Ed Klotz | 2020-08-17 | Obtained with Gurobi. |

2 | 284 | 0 | 0 | 0 | Ed Klotz | 2019-09-26 | Obtained with ODH | |

1 | 378 | 378 | 0 | 0 | 0 | - | 2018-10-12 | Solution found during MIPLIB2017 problem selection. |

The following instances are most similar to circ10-3 in the collection. This similarity analysis is based on 100 scaled instance features describing properties of the variables, objective function, bounds, constraints, and right hand sides.

```
@misc{pseudoboolean,
key = {pseudoboolean},
note = {http://www.cril.univ-artois.fr/PB10/},
title = {{P}seudo-{B}oolean {C}ompetition 2010},
year = {2010}
}
```

Last Update 2024 by Julian Manns

generated with R Markdown

© by Zuse Institute Berlin (ZIB)

Imprint