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}
}