Submitter Variables Constraints Density Status Group Objective MPS File
Iulian Ober 17680 69608 9.44202e-04 easy 100 ex10.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 17680 15936
Constraints 69608 63016
Binaries 0 15936
Integers 17680 0
Continuous 0 0
Implicit Integers 0 0
Fixed Variables 0 0
Nonzero Density 0.000944202 0.001028060
Nonzeroes 1162000 1032400
Constraint Classification Properties
Original Presolved
Total 69808 63016
Empty 0 0
Free 0 0
Singleton 608 0
Aggregations 0 0
Precedence 2224 2920
Variable Bound 0 0
Set Partitioning 0 200
Set Packing 0 0
Set Covering 0 0
Cardinality 0 0
Invariant Knapsack 0 59896
Equation Knapsack 0 0
Bin Packing 0 0
Knapsack 0 0
Integer Knapsack 200 0
Mixed Binary 0 0
General Linear 66776 0
Indicator 0 0

Structure

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

value min median mean max
Components 2.037427
Constraint % 0.0031700 0.042905 0.0253904 0.677606
Variable % 0.0125502 0.164082 0.1066770 2.397090
Score 0.045668

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
1 100 100 0 0 0 - 2018-10-13 Solution found during MIPLIB2017 problem selection.

Similar instances in collection

The following instances are most similar to ex10 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
ex9 10404 0 10404 0 40962 517112 Iulian Ober easy 81
supportcase10 14770 14770 0 0 165684 555082 Michael Winkler hard 7
supportcase22 7129 7129 0 0 260602 2228830 Michael Winkler hard Infeasible
supportcase2 2912 2912 0 0 597385 7653930 Michael Winkler open 372*
tw-myciel4 760 759 1 0 8146 27961 Arie Koster hard 10

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