Submitter Variables Constraints Density Status Group Objective MPS File
Iulian Ober 10404 40962 1.2134e-03 easy 81 ex9.mps.gz

Formulations of Boolean SAT instance

Imported from MIPLIB2010.

Instance Statistics

Detailed explanation of the following tables can be found here.

Size Related Properties
Original Presolved
Variables 10404 8560
Constraints 40962 33846
Binaries 0 8560
Integers 10404 0
Continuous 0 0
Implicit Integers 0 0
Fixed Variables 0 0
Nonzero Density 0.00121340 0.00139133
Nonzeroes 517112 403100
Constraint Classification Properties
Original Presolved
Total 41124 33846
Empty 0 0
Free 0 0
Singleton 1120 0
Aggregations 0 0
Precedence 1152 1720
Variable Bound 0 0
Set Partitioning 0 162
Set Packing 0 0
Set Covering 0 0
Cardinality 0 0
Invariant Knapsack 0 31964
Equation Knapsack 0 0
Bin Packing 0 0
Knapsack 0 0
Integer Knapsack 162 0
Mixed Binary 0 0
General Linear 38690 0
Indicator 0 0

Structure

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

value min median mean max
Components 1.785330
Constraint % 0.0059100 0.0846974 0.0295456 0.768185
Variable % 0.0233645 0.3021810 0.1285050 2.476640
Score 0.050004

Best Known Solution(s)

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

ID Objective Exact Int. Viol Cons. Viol Obj. Viol Submitter Date Description
2 81 81 0 0 0 - 2018-10-29 Solution found during MIPLIB2017 problem selection.
1 81 81 0 0 0 - 2018-10-11 Solution imported from MIPLIB2010.

Similar instances in collection

The following instances are most similar to ex9 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.

Instance Variables Binaries Integers Continuous Constraints Nonz. Submitter Group Status Objective
ex10 17680 0 17680 0 69608 1162000 Iulian Ober easy 100
supportcase10 14770 14770 0 0 165684 555082 Michael Winkler hard 7
tw-myciel4 760 759 1 0 8146 27961 Arie Koster hard 10
supportcase22 7129 7129 0 0 260602 2228830 Michael Winkler hard Infeasible
graph20-80-1rand 16263 16263 0 0 55107 191997 Michael Bastubbe graphs open -6*

Reference

No bibliographic information available

Last Update Nov 09, 2018 by Gregor Hendel
generated with R Markdown
© 2018 by Konrad-Zuse-Zentrum für Informationstechnik Berlin (ZIB)
Imprint