PB'10 competition: satisfaction and optimization track: results by benchmark

Results by benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade, subsubcategory MPS to OPB

This page displays the results of the different solvers for each benchmark for category optimisation, big integers, linear constraints (OPT-BIGINT-LIN), subcategory Handmade, subsubcategory MPS to OPB

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

ColorMeaning
textthe solver cannot handle this instance
textthe solver gave no answer
textthe solver could give an answer (SAT)
textthe solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
textthe solver performed better than the other ones on that instance (complete solvers point of view)
textthe solver performed better than the other ones on that instance (incomplete solvers point of view)
textthe solver was ended by a signal or other problem
textthe solver gave an incomplete answer
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
PB/CT 0.1 (complete)
PB/CT 0.1 fixed (complete)
PBPASSolver 2010-06-13 (complete)
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 (complete)
SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)
SAT4J PB Resolution 2.2.0 2010-05-26 (complete)
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)

Bench nameBest results
on this
instance
PB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-25fv47.opb
UNSAT

TT=6.127

? (TO)

TT=1800.24

? (TO)

TT=1800.25

? (MO)

TT=17.39

UNSAT

TT=6.861

UNSAT

TT=7.933

UNSAT

TT=6.127

UNSAT

TT=1.759

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-80bau3b.opb
UNSAT

TT=9.354

? (MO)

TT=81.238

? (MO)

TT=84.668

? (MO)

TT=17.79

UNSAT

TT=9.506

UNSAT

TT=12.619

UNSAT

TT=9.354

UNSAT

TT=6.378

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-adlittle.opb




UNSAT

TT=1.26

? (TO)

TT=1800.1

UNSAT

TT=7.478

? (TO)

TT=1800.25

? (TO)

TT=1800.45

? (TO)

TT=1800.21

?

TT=1789.51

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-afiro.opb
OPT
f=-11897496
TT=8.393
T1=5.1
Wrong Opt.
f=-11878833
TT=275.789
T1=275.79
OPT
f=-11897496
TT=290.582
T1=290.58
? (TO)

TT=1800.09

SAT (TO)
f=-11698151
TT=1800.31
T1=46.74
OPT
f=-11897496
TT=26.79
T1=33.01
OPT
f=-11897496
TT=8.393
T1=5.1
OPT
f=-11897496
TT=58.936
T1=51.24
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-agg2.opb




? (TO)

TT=1800.14

? (TO)

TT=1800.11

? (MO)

TT=55.06

? (TO)

TT=1800.18

? (TO)

TT=1803.84

? (TO)

TT=1800.18

? (exit code)

TT=773.691

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-agg3.opb




? (TO)

TT=1800.17

? (TO)

TT=1800.09

? (MO)

TT=60.87

? (TO)

TT=1800.17

? (TO)

TT=1800.49

? (TO)

TT=1800.24

UNSAT

TT=54.443

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-agg.opb




? (TO)

TT=1800.07

? (TO)

TT=1800.09

? (MO)

TT=68.38

? (TO)

TT=1800.24

? (TO)

TT=1800.61

? (TO)

TT=1800.22

?

TT=1789.54

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-bandm.opb
UNSAT

TT=3.468

UNSAT

TT=8.768

UNSAT

TT=8.066

UNSAT

TT=12.77

UNSAT

TT=3.468

UNSAT

TT=4.986

UNSAT

TT=3.782

UNSAT

TT=0.463

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-beaconfd.opb
UNSAT

TT=4.174

? (TO)

TT=1800.12

? (TO)

TT=1800.14

? (MO)

TT=52.56

UNSAT

TT=4.174

UNSAT

TT=4.821

UNSAT

TT=4.235

UNSAT

TT=0.561

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-blend.opb
OPT
f=0
TT=256.701
T1=2.78
? (TO)

TT=1800.08

? (TO)

TT=1800.12

? (MO)

TT=89.55

? (TO)

TT=1800.27

OPT
f=0
TT=589.416
T1=4.07
OPT
f=0
TT=256.701
T1=2.78
SAT
f=0
TT=1790.87
T1=0.07
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-bnl1.opb




UNSAT

TT=18.155

? (TO)

TT=1800.11

? (MO)

TT=30.57

? (TO)

TT=1800.15

? (TO)

TT=1800.53

? (TO)

TT=1800.19

?

TT=1789.83

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-bnl2.opb
UNSAT

TT=7.235

? (MO)

TT=29.159

? (MO)

TT=31.986

? (MO)

TT=18.39

UNSAT

TT=7.235

UNSAT

TT=9.753

UNSAT

TT=7.424

UNSAT

TT=3.426

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-boeing1.opb




? (TO)

TT=1800.12

? (TO)

TT=1800.1

? (MO)

TT=64.07

? (TO)

TT=1800.19

? (TO)

TT=1800.41

? (TO)

TT=1800.2

UNSAT

TT=582.611

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-boeing2.opb




? (TO)

TT=1800.11

? (TO)

TT=1800.1

? (MO)

TT=88.87

? (TO)

TT=1800.3

? (TO)

TT=1800.42

? (TO)

TT=1800.15

UNSAT

TT=3.646

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-bore3d.opb
UNSAT

TT=2.805

UNSAT

TT=4.421

UNSAT

TT=697.934

? (MO)

TT=82.48

UNSAT

TT=2.805

UNSAT

TT=4.506

UNSAT

TT=3.343

UNSAT

TT=0.318

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-brandy.opb
UNSAT

TT=3.053

UNSAT

TT=5.97

UNSAT

TT=4.99

UNSAT

TT=11.397

UNSAT

TT=3.461

UNSAT

TT=3.834

UNSAT

TT=3.053

UNSAT

TT=0.31

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-capri.opb
UNSAT

TT=2.552

UNSAT

TT=8.686

UNSAT

TT=6.057

UNSAT

TT=39.867

UNSAT

TT=2.753

UNSAT

TT=2.552

UNSAT

TT=2.854

UNSAT

TT=0.272

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-cycle.opb




? (MO)

TT=32.448

? (MO)

TT=29.891

? (MO)

TT=17.88

? (TO)

TT=1800.21

? (TO)

TT=1800.32

? (TO)

TT=1800.17

?

TT=1790.46

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-czprob.opb
SAT
f=232914362812081
TT=1800.46
T1=84.3
Wrong UNSAT

TT=39.37

? (MO)

TT=1647.27

? (MO)

TT=18.51

SAT (TO)
f=232914362812081
TT=1800.46
T1=84.3
SAT (TO)
f=232914362812081
TT=1800.78
T1=91.45
? (TO)

TT=1800.2

?

TT=1790.09

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-d2q06c.opb
UNSAT

TT=11.622

? (MO)

TT=40.777

? (MO)

TT=39.37

? (MO)

TT=18.99

UNSAT

TT=11.622

UNSAT

TT=16.442

UNSAT

TT=12.161

UNSAT

TT=5.848

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-d6cube.opb




? (MO)

TT=31.551

? (MO)

TT=29.181

? (MO)

TT=15.85

? (TO)

TT=1800.21

? (TO)

TT=1800.33

? (TO)

TT=1800.12

?

TT=1791.24

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-degen2.opb




? (TO)

TT=1800.16

? (TO)

TT=1800.15

? (MO)

TT=43.98

? (TO)

TT=1800.18

? (TO)

TT=1800.48

? (TO)

TT=1800.29

?

TT=1789.73

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-degen3.opb




? (MO)

TT=36.966

? (MO)

TT=31.784

? (MO)

TT=17.19

? (TO)

TT=1800.18

? (TO)

TT=1800.21

? (TO)

TT=1800.13

?

TT=1789.92

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-dfl001.opb




? (MO)

TT=33.382

? (MO)

TT=30.832

? (MO)

TT=17.49

? (TO)

TT=1800.24

? (TO)

TT=1800.33

? (TO)

TT=1800.23

?

TT=1794.02

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-e226.opb
UNSAT

TT=2.823

UNSAT

TT=7.629

UNSAT

TT=265.759

UNSAT

TT=12.672

UNSAT

TT=2.823

UNSAT

TT=4.092

UNSAT

TT=3.159

UNSAT

TT=0.392

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-etamacro.opb
UNSAT

TT=2.72

UNSAT

TT=5.163

? (TO)

TT=1800.11

UNSAT

TT=62.901

UNSAT

TT=2.72

UNSAT

TT=3.629

UNSAT

TT=3.123

UNSAT

TT=0.461

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-fffff800.opb
UNSAT

TT=3.478

? (TO)

TT=1800.14

? (TO)

TT=1800.17

? (MO)

TT=19.49

UNSAT

TT=3.478

UNSAT

TT=4.397

UNSAT

TT=3.585

UNSAT

TT=1.01

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-fit1p.opb
SAT
f=14462855
TT=1800.61
T1=34.02
? (TO)

TT=1800.19

? (TO)

TT=1800.18

? (MO)

TT=19.38

SAT (TO)
f=197042018754
TT=1800.52
T1=119.91
SAT (TO)
f=14462855
TT=1800.7
T1=44.72
SAT (TO)
f=14462855
TT=1800.61
T1=34.02
?

TT=1789.73

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-fit2d.opb




? (MO)

TT=32.56

? (MO)

TT=30.276

? (MO)

TT=15.49

? (TO)

TT=1800.17

? (TO)

TT=1800.4

? (TO)

TT=1800.14

SAT
f=0
TT=1797.16
T1=6.45
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-fit2p.opb




? (MO)

TT=36.276

? (MO)

TT=31.166

? (MO)

TT=18.8

? (TO)

TT=1800.25

? (TO)

TT=1800.52

? (TO)

TT=1800.25

?

TT=1798.78

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-forplan.opb




? (TO)

TT=1800.21

? (TO)

TT=1800.11

? (MO)

TT=40.18

? (TO)

TT=1800.16

? (TO)

TT=1800.45

? (TO)

TT=1800.25

UNSAT

TT=50.935

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ganges.opb
UNSAT

TT=4.214

? (TO)

TT=1800.16

? (TO)

TT=1800.13

? (MO)

TT=25.89

UNSAT

TT=4.23

UNSAT

TT=5.137

UNSAT

TT=4.214

UNSAT

TT=1.313

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-gfrd-pnc.opb




? (TO)

TT=1800.14

? (TO)

TT=1800.16

? (MO)

TT=76.55

? (TO)

TT=1800.31

? (TO)

TT=1801.62

? (TO)

TT=1800.17

?

TT=1789.91

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-greenbea.opb




? (MO)

TT=34.468

? (MO)

TT=30.178

? (MO)

TT=18.79

? (TO)

TT=1800.11

? (TO)

TT=1800.45

? (TO)

TT=1800.24

?

TT=1794.73

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-greenbeb.opb




? (MO)

TT=34.575

? (MO)

TT=31.874

? (MO)

TT=18.71

? (TO)

TT=1800.09

? (TO)

TT=1800.35

? (TO)

TT=1800.18

?

TT=1794.15

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-grow15.opb




? (TO)

TT=1800.1

? (TO)

TT=1800.17

? (MO)

TT=50.68

? (TO)

TT=1800.29

? (TO)

TT=1800.35

? (TO)

TT=1800.26

OPT
f=0
TT=79.761
T1=0.51
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-grow22.opb




? (TO)

TT=1800.2

? (TO)

TT=1800.16

? (MO)

TT=28.66

? (TO)

TT=1800.21

? (TO)

TT=1800.32

? (TO)

TT=1800.22

OPT
f=0
TT=117.863
T1=0.76
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-grow7.opb




? (TO)

TT=1800.07

? (TO)

TT=1800.05

? (MO)

TT=78.87

? (TO)

TT=1800.27

? (TO)

TT=1801.6

? (TO)

TT=1800.17

OPT
f=0
TT=24.872
T1=0.24
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-israel.opb
SAT
f=-310031148983
TT=1800.3
T1=1736.84
SAT (TO)
f=-92485082362
TT=1800.15
T1=1293.77
? (TO)

TT=1800.14

? (MO)

TT=65.17

SAT (TO)
f=-310031148983
TT=1800.3
T1=1736.84
SAT (TO)
f=-265708341479
TT=1800.51
T1=19.87
? (TO)

TT=1800.08

?

TT=1789.82

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-kb2.opb
SAT
f=0
TT=1800.23
T1=1.85
? (TO)

TT=1800.1

? (TO)

TT=1800.02

? (MO)

TT=91.18

SAT (TO)
f=0
TT=1800.25
T1=3.09
SAT (TO)
f=0
TT=1802.38
T1=3.17
SAT (TO)
f=0
TT=1800.23
T1=1.85
SAT
f=0
TT=1790.62
T1=0.04
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-lotfi.opb




? (TO)

TT=1800.14

? (TO)

TT=1800.11

? (MO)

TT=85.26

? (TO)

TT=1800.17

? (TO)

TT=1800.48

? (TO)

TT=1800.27

? (TO)

TT=1802.1

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-maros.opb




UNSAT

TT=29.278

? (TO)

TT=1800.2

? (MO)

TT=17.89

? (TO)

TT=1800.13

? (TO)

TT=1800.52

? (TO)

TT=1800.19

UNSAT

TT=552.91

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-maros-r7.opb




? (MO)

TT=43.264

? (MO)

TT=39.685

? (MO)

TT=16.11

? (TO)

TT=1800.3

? (TO)

TT=1800.54

? (TO)

TT=1800.22

?

TT=1799.4

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-modszk1.opb




? (TO)

TT=1800.17

? (TO)

TT=1800.19

UNSAT

TT=40.415

? (TO)

TT=1800.26

? (TO)

TT=1800.88

? (TO)

TT=1800.26

UNSAT

TT=3.883

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-nesm.opb
UNSAT

TT=5.768

UNSAT

TT=1373.32

UNSAT

TT=1275.42

? (MO)

TT=17.79

UNSAT

TT=5.768

UNSAT

TT=7.407

UNSAT

TT=5.923

UNSAT

TT=2.216

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-perold.opb
UNSAT

TT=4.045

UNSAT

TT=15.297

? (TO)

TT=1800.2

? (MO)

TT=29.78

UNSAT

TT=4.045

UNSAT

TT=5.186

UNSAT

TT=4.128

UNSAT

TT=1.157

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-pilot4.opb
UNSAT

TT=3.832

UNSAT

TT=13.588

? (TO)

TT=1800.11

? (MO)

TT=40.68

UNSAT

TT=3.832

UNSAT

TT=4.646

UNSAT

TT=3.866

UNSAT

TT=0.94

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-pilot87.opb
UNSAT

TT=8.752

? (MO)

TT=45.645

? (MO)

TT=45.472

? (MO)

TT=18.51

UNSAT

TT=8.752

UNSAT

TT=10.922

UNSAT

TT=9.045

UNSAT

TT=7.348

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-pilot.opb
UNSAT

TT=4.946

? (MO)

TT=49.363

? (MO)

TT=50.475

? (MO)

TT=17.6

UNSAT

TT=4.946

UNSAT

TT=5.819

UNSAT

TT=4.986

UNSAT

TT=4.614

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-pilot.we.opb
UNSAT

TT=25.862

UNSAT

TT=23.949

? (TO)

TT=1800.19

? (MO)

TT=19.29

UNSAT

TT=25.862

UNSAT

TT=45.32

? (TO)

TT=1800.14

UNSAT

TT=222.083

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-recipe.opb
OPT
f=-136341504
TT=175.861
T1=9.38
? (TO)

TT=1800.05

? (TO)

TT=1800.1

? (MO)

TT=89.57

SAT (TO)
f=-63247360
TT=1800.48
T1=2.7
OPT
f=-136341504
TT=175.861
T1=9.38
SAT (TO)
f=-124865381
TT=1800.26
T1=447.81
OPT
f=-136341504
TT=20.279
T1=20.24
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-sc105.opb
OPT
f=0
TT=20.01
T1=2.38
Wrong UNSAT

TT=75.441

? (TO)

TT=1800.03

? (MO)

TT=1279.86

SAT (TO)
f=0
TT=1800.35
T1=2.38
OPT
f=0
TT=32.951
T1=2.93
OPT
f=0
TT=20.01
T1=2.54
OPT
f=0
TT=436.274
T1=0.06
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-sc205.opb
OPT
f=0
TT=21.506
T1=2.37
Wrong UNSAT

TT=41.753

? (TO)

TT=1800.05

? (MO)

TT=91.18

SAT (TO)
f=0
TT=1800.42
T1=2.97
OPT
f=0
TT=41.025
T1=3.48
OPT
f=0
TT=21.506
T1=2.37
SAT
f=0
TT=1789.6
T1=0.12
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-sc50a.opb
OPT
f=-60000
TT=14.178
T1=7.08
Wrong Opt.
f=0
TT=9.501
T1=9.4
SAT (TO)
f=-60000
TT=1800.08
T1=362.61
? (TO)

TT=1800.04

SAT (TO)
f=-30000
TT=1800.36
T1=926.15
OPT
f=-60000
TT=27.864
T1=10.76
OPT
f=-60000
TT=14.178
T1=7.08
OPT
f=-60000
TT=39.933
T1=39.91
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-sc50b.opb
OPT
f=-70000
TT=319.034
T1=316
Wrong Opt.
f=-10000
TT=55.197
T1=50.96
SAT (TO)
f=-60000
TT=1800.06
T1=28.02
? (TO)

TT=1800.03

SAT (TO)
f=0
TT=1800.3
T1=3.54
OPT
f=-70000
TT=667.933
T1=347.53
OPT
f=-70000
TT=319.034
T1=316
OPT
f=-70000
TT=39.528
T1=39.41
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-scagr25.opb
UNSAT

TT=3.105

? (TO)

TT=1800.07

? (TO)

TT=1800.07

UNSAT

TT=13.713

UNSAT

TT=3.594

UNSAT

TT=4.888

UNSAT

TT=3.105

UNSAT

TT=0.425

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-scagr7.opb
UNSAT

TT=1.852

UNSAT

TT=1613.72

? (TO)

TT=1800.12

UNSAT

TT=4.478

UNSAT

TT=1.852

UNSAT

TT=2.857

UNSAT

TT=2.645

UNSAT

TT=0.13

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-scfxm1.opb
UNSAT

TT=3.001

? (TO)

TT=1800.14

? (TO)

TT=1800.14

? (MO)

TT=61.8

UNSAT

TT=3.647

UNSAT

TT=3.858

UNSAT

TT=3.001

UNSAT

TT=0.464

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-scfxm2.opb
UNSAT

TT=4.263

? (TO)

TT=1800.1

? (TO)

TT=1800.14

? (MO)

TT=36.58

UNSAT

TT=4.576

UNSAT

TT=5.11

UNSAT

TT=4.263

UNSAT

TT=0.827

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-scfxm3.opb
UNSAT

TT=4.189

? (TO)

TT=1800.18

? (TO)

TT=1800.15

? (MO)

TT=17.89

UNSAT

TT=4.189

UNSAT

TT=5.524

UNSAT

TT=5.332

UNSAT

TT=1.291

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-scorpion.opb




UNSAT

TT=4.947

? (TO)

TT=1800.05

? (MO)

TT=75.47

? (TO)

TT=1800.24

? (TO)

TT=1800.32

? (TO)

TT=1800.13

UNSAT

TT=5.365

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-scrs8.opb




UNSAT

TT=13.013

? (TO)

TT=1800.17

? (MO)

TT=60.97

? (TO)

TT=1800.1

? (TO)

TT=1800.36

? (TO)

TT=1800.18

UNSAT

TT=5.124

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-scsd1.opb




? (TO)

TT=1800.18

? (TO)

TT=1800.17

? (MO)

TT=75.88

? (TO)

TT=1800.23

? (TO)

TT=1800.37

? (TO)

TT=1800.26

UNSAT

TT=1.585

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-scsd6.opb




? (TO)

TT=1800.27

? (TO)

TT=1800.26

? (MO)

TT=43.08

? (TO)

TT=1800.16

? (TO)

TT=1800.33

? (TO)

TT=1800.15

UNSAT

TT=2.652

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-scsd8.opb




? (MO)

TT=695.672

? (MO)

TT=666.766

? (MO)

TT=20.18

? (TO)

TT=1800.15

? (TO)

TT=1800.49

? (TO)

TT=1800.23

UNSAT

TT=5.471

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-sctap1.opb
SAT
f=1847899095
TT=1800.5
T1=697.97
? (TO)

TT=1800.15

? (TO)

TT=1800.11

? (MO)

TT=75.97

SAT (TO)
f=1847899095
TT=1800.5
T1=697.97
SAT (TO)
f=2151315699
TT=1800.61
T1=952.35
SAT (TO)
f=1882598583
TT=1800.37
T1=1225.52
?

TT=1789.54

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-sctap2.opb
SAT
f=3992318216
TT=1800.46
T1=1473.52
? (TO)

TT=1800.2

? (TO)

TT=1800.18

? (MO)

TT=20.9

SAT (TO)
f=239104885124
TT=1800.49
T1=999.82
SAT (TO)
f=6477558203
TT=1800.81
T1=987.8
SAT (TO)
f=3992318216
TT=1800.46
T1=1473.52
?

TT=1789.89

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-sctap3.opb
SAT
f=10025257960
TT=1800.68
T1=1383.57
? (TO)

TT=1800.26

? (TO)

TT=1800.17

? (MO)

TT=21.69

? (TO)

TT=1800.21

SAT (TO)
f=10073718114
TT=1800.76
T1=972.48
SAT (TO)
f=10025257960
TT=1800.68
T1=1383.57
?

TT=1790.14

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-seba.opb




? (TO)

TT=1800.09

? (TO)

TT=1800.12

? (MO)

TT=41.17

? (TO)

TT=1800.2

? (TO)

TT=1800.48

? (TO)

TT=1800.28

?

TT=1789.71

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-share1b.opb
UNSAT

TT=2.317

UNSAT

TT=1413.21

UNSAT

TT=566.802

UNSAT

TT=8.636

UNSAT

TT=2.317

UNSAT

TT=4.016

UNSAT

TT=2.989

UNSAT

TT=0.224

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-share2b.opb
SAT
f=-42278850
TT=1800.31
T1=1716.8
? (TO)

TT=1800.12

? (TO)

TT=1800.08

? (MO)

TT=88.57

SAT (TO)
f=-42278850
TT=1800.31
T1=1716.8
SAT (TO)
f=-42192248
TT=1800.54
T1=923.41
? (TO)

TT=1800.17

SAT
f=-44455288
TT=1790.2
T1=997.53
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-shell.opb




? (TO)

TT=1800.18

? (TO)

TT=1800.13

? (MO)

TT=88.77

? (TO)

TT=1800.14

? (TO)

TT=1800.47

? (TO)

TT=1800.19

UNSAT

TT=109.669

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship04l.opb
UNSAT

TT=4.563

UNSAT

TT=513.161

UNSAT

TT=220.162

? (MO)

TT=18.19

UNSAT

TT=4.746

UNSAT

TT=5.838

UNSAT

TT=4.563

UNSAT

TT=1.803

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship04s.opb
UNSAT

TT=1.802

UNSAT

TT=99.02

UNSAT

TT=79.839

? (MO)

TT=42.67

UNSAT

TT=1.802

UNSAT

TT=2.077

UNSAT

TT=1.862

UNSAT

TT=1.164

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship08l.opb
UNSAT

TT=6.944

? (MO)

TT=29.174

? (MO)

TT=26.932

? (MO)

TT=17.29

UNSAT

TT=7.266

UNSAT

TT=8.808

UNSAT

TT=6.944

UNSAT

TT=3.539

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship08s.opb
UNSAT

TT=5.014

UNSAT

TT=118.608

UNSAT

TT=132.403

? (MO)

TT=17.98

UNSAT

TT=6.003

UNSAT

TT=6.919

UNSAT

TT=5.014

UNSAT

TT=1.961

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship12l.opb
UNSAT

TT=4.932

? (MO)

TT=31.075

? (MO)

TT=28.686

? (MO)

TT=18.09

UNSAT

TT=4.945

UNSAT

TT=6.036

UNSAT

TT=4.932

UNSAT

TT=4.702

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-ship12s.opb
UNSAT

TT=3.742

UNSAT

TT=147.672

UNSAT

TT=146.669

? (MO)

TT=18.09

UNSAT

TT=4.094

UNSAT

TT=4.798

UNSAT

TT=3.742

UNSAT

TT=2.28

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-sierra.opb




? (TO)

TT=1800.22

? (TO)

TT=1800.16

? (MO)

TT=16.58

? (TO)

TT=1800.22

? (TO)

TT=1803.73

? (TO)

TT=1800.22

?

TT=1789.96

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-stair.opb
UNSAT

TT=11.278

? (TO)

TT=1800.15

? (TO)

TT=1800.11

? (MO)

TT=64.86

? (TO)

TT=1800.18

UNSAT

TT=20.038

UNSAT

TT=11.278

UNSAT

TT=692.049

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-standata.opb




? (TO)

TT=1800.16

? (TO)

TT=1800.16

? (MO)

TT=59.18

? (TO)

TT=1800.16

? (TO)

TT=1800.15

? (TO)

TT=1800.12

?

TT=1789.58

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-standgub.opb




? (TO)

TT=1800.1

? (TO)

TT=1800.11

? (MO)

TT=58.87

? (TO)

TT=1800.12

? (TO)

TT=1800.31

? (TO)

TT=1800.19

?

TT=1789.93

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-stocfor1.opb
UNSAT

TT=1.078

UNSAT

TT=1.181

UNSAT

TT=1.078

UNSAT

TT=33.22

UNSAT

TT=1.426

UNSAT

TT=3.349

UNSAT

TT=1.838

UNSAT

TT=0.106

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-stocfor2.opb
UNSAT

TT=5.433

UNSAT

TT=27.731

UNSAT

TT=24.423

? (MO)

TT=17.79

UNSAT

TT=5.717

UNSAT

TT=7.444

UNSAT

TT=5.433

UNSAT

TT=1.896

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-tuff.opb




? (TO)

TT=1800.14

? (TO)

TT=1800.09

? (MO)

TT=39.89

? (TO)

TT=1800.16

? (TO)

TT=1800.36

? (TO)

TT=1800.15

?

TT=1789.78

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-vtp.base.opb




? (TO)

TT=1800.03

? (TO)

TT=1800.09

? (MO)

TT=91.57

? (TO)

TT=1800.15

? (TO)

TT=1800.24

? (TO)

TT=1800.22

?

TT=1789.71

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/
data/normalized-mps-v2-20-10-wood1p.opb




? (MO)

TT=42.275

? (MO)

TT=38.778

? (MO)

TT=17.3

? (TO)

TT=1800.19

? (TO)

TT=1800.23

? (TO)

TT=1800.14

UNSAT

TT=1590.09

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-woodw.opb
UNSAT

TT=20.962

? (MO)

TT=35.998

? (MO)

TT=41.59

? (MO)

TT=17.99

UNSAT

TT=21.582

UNSAT

TT=36.208

UNSAT

TT=20.962

UNSAT

TT=9.505

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-a1c1s1.opb




? (TO)

TT=1800.19

? (TO)

TT=1800.15

? (MO)

TT=18.09

? (TO)

TT=1800.22

? (TO)

TT=1801.69

? (TO)

TT=1800.21

UNSAT

TT=127.889

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-arki001.opb
UNSAT

TT=4.123

UNSAT

TT=11.058

? (TO)

TT=1800.09

? (MO)

TT=45.91

UNSAT

TT=4.123

UNSAT

TT=5.922

? (TO)

TT=1800.23

UNSAT

TT=1621.38

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-atlanta-ip.opb
SAT
f=9201230968262
TT=1800.65
T1=341.45
? (MO)

TT=27.678

? (MO)

TT=25.432

? (MO)

TT=15.79

SAT (TO)
f=10801460580757
TT=1800.61
T1=223.54
SAT (TO)
f=9201230968262
TT=1800.87
T1=626.53
SAT (TO)
f=9201230968262
TT=1800.65
T1=341.45
?

TT=1792.81

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-dano3mip.opb




? (MO)

TT=33.026

? (MO)

TT=32.511

? (MO)

TT=16.78

? (TO)

TT=1800.24

? (TO)

TT=1800.36

? (TO)

TT=1800.13

?

TT=1792.97

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-danoint.opb




? (TO)

TT=1800.14

? (TO)

TT=1800.16

? (MO)

TT=61.02

? (TO)

TT=1800.23

? (TO)

TT=1800.32

? (TO)

TT=1800.15

?

TT=1789.71

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-ds.opb




? (MO)

TT=84.826

? (MO)

TT=77.516

? (MO)

TT=72.63

?

TT=328.717

?

TT=296.059

?

TT=328.988

? (MO)

TT=99.98

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-fiber.opb
SAT
f=48060583
TT=1800.24
T1=1407.2
? (TO)

TT=1800.09

? (TO)

TT=1800.05

? (TO)

TT=1800.05

SAT (TO)
f=85906480
TT=1800.23
T1=78.01
SAT (TO)
f=98430113
TT=1800.34
T1=6.87
SAT (TO)
f=48060583
TT=1800.24
T1=1407.2
OPT
f=40593518
TT=106.776
T1=106.5
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-fixnet6.opb
SAT
f=13355800
TT=1800.5
T1=12.76
? (TO)

TT=1800.06

? (TO)

TT=1800.14

? (MO)

TT=78.17

SAT (TO)
f=42577045
TT=1800.48
T1=108.81
SAT (TO)
f=13355800
TT=1800.73
T1=12.76
SAT (TO)
f=13355800
TT=1800.5
T1=14.06
SAT
f=47443218
TT=1789.74
T1=726.33
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-gesa2-o.opb




? (TO)

TT=1800.13

? (TO)

TT=1800.14

? (MO)

TT=69.46

? (TO)

TT=1800.19

? (TO)

TT=1803.26

? (TO)

TT=1800.19

?

TT=1789.63

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-gesa2.opb
SAT
f=4871992012260
TT=1800.43
T1=30.6
? (TO)

TT=1800.12

SAT (TO)
f=10076577371605
TT=1800.07
T1=1359.6
? (MO)

TT=73.33

? (TO)

TT=1800.25

SAT (TO)
f=4871992012260
TT=1800.71
T1=86.76
SAT (TO)
f=4871992012260
TT=1800.43
T1=30.6
?

TT=1789.49

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-glass4.opb
OPT
f=1228810444800
TT=53.925
T1=50.19
OPT
f=1228810444800
TT=1490.08
T1=1456.95
OPT
f=1228810444800
TT=696.461
T1=695.47
? (MO)

TT=82.16

SAT (TO)
f=3080214206652
TT=1800.3
T1=1703.24
OPT
f=1228810444800
TT=112.26
T1=66.72
OPT
f=1228810444800
TT=53.925
T1=50.19
Wrong UNSAT

TT=0.165

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-harp2.opb
SAT
f=-68638685
TT=1800.45
T1=3.3
Wrong UNSAT

TT=0.912

SAT (TO)
f=-64028999
TT=1800.05
T1=1462.72
? (TO)

TT=1800.1

SAT (TO)
f=-68638685
TT=1800.45
T1=3.3
SAT (TO)
f=-68638685
TT=1800.47
T1=3.82
SAT (TO)
f=-65450908
TT=1800.19
T1=1.56
?

TT=576.775

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-liu.opb
SAT
f=8912896
TT=1800.24
T1=770.6
? (TO)

TT=1800.13

? (TO)

TT=1800.08

? (MO)

TT=35.88

? (TO)

TT=1800.33

SAT (TO)
f=8912896
TT=1800.53
T1=911.19
SAT (TO)
f=8912896
TT=1800.24
T1=770.6
Wrong UNSAT

TT=79.595

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-markshare1.opb
SAT
f=21504
TT=1800.12
T1=1533.95
SAT (TO)
f=34816
TT=1800.03
T1=124.25
SAT (TO)
f=37888
TT=1800.02
T1=1476.11
? (TO)

TT=1800.09

SAT (TO)
f=272384
TT=1800.11
T1=19.02
SAT (TO)
f=25600
TT=1800.37
T1=1034.61
SAT (TO)
f=21504
TT=1800.12
T1=1533.95
SAT
f=9216
TT=1790.91
T1=937.19
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-markshare2.opb
SAT
f=48128
TT=1800.19
T1=451.28
SAT (TO)
f=87040
TT=1800.02
T1=1631.25
SAT (TO)
f=99328
TT=1800.06
T1=615.23
? (TO)

TT=1800.01

SAT (TO)
f=316416
TT=1800.19
T1=22.77
SAT (TO)
f=48128
TT=1800.48
T1=762.97
SAT (TO)
f=48128
TT=1800.19
T1=451.28
SAT
f=22528
TT=1793.3
T1=1008.94
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mas74.opb
SAT
f=54886400640
TT=1800.16
T1=588.65
SAT (TO)
f=63710256890
TT=1800.02
T1=1166.46
SAT (TO)
f=117287063140
TT=1800.02
T1=4.09
? (TO)

TT=1800.02

SAT (TO)
f=3200000000000000640
TT=1801.09
T1=313.46
SAT (TO)
f=54886400640
TT=1800.46
T1=982.85
SAT (TO)
f=54886400640
TT=1800.16
T1=588.65
Wrong UNSAT

TT=0.079

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mas76.opb
SAT
f=148070400480
TT=1800.13
T1=315.17
SAT (TO)
f=173433800480
TT=1800.1
T1=510.37
SAT (TO)
f=169779200480
TT=1800.09
T1=676.5
? (TO)

TT=1800.06

SAT (TO)
f=209715197355
TT=1800.18
T1=12.74
SAT (TO)
f=148070400480
TT=1800.31
T1=587.21
SAT (TO)
f=148070400480
TT=1800.13
T1=315.17
Wrong UNSAT

TT=0.074

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-misc07.opb
SAT
f=1076618240
TT=1800.18
T1=1048.82
SAT (TO)
f=1076874240
TT=1800.07
T1=1388.1
SAT (TO)
f=1076966400
TT=1800.1
T1=1004.13
? (TO)

TT=1800.03

SAT (TO)
f=1076618240
TT=1800.19
T1=1048.82
? (TO)

TT=1803.63

SAT (TO)
f=1076618240
TT=1800.18
T1=1322.35
Wrong Cert.

TT=50.717

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mkc.opb
SAT
f=-59125
TT=1800.13
T1=445.32
Wrong UNSAT

TT=1.519

SAT (TO)
f=-59125
TT=1800.13
T1=445.32
? (TO)

TT=1800.07

? (TO)

TT=1800.2

? (TO)

TT=1800.69

? (TO)

TT=1800.24

SAT
f=0
TT=1789.78
T1=0.16
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mod011.opb




? (MO)

TT=33.967

? (MO)

TT=31.183

? (MO)

TT=19.4

? (TO)

TT=1800.2

? (TO)

TT=1800.44

? (TO)

TT=1800.18

? (MO)

TT=992.407

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-modglob.opb




? (TO)

TT=1800.08

? (TO)

TT=1800.05

UNSAT

TT=12.194

? (TO)

TT=1800.29

? (TO)

TT=1803.59

? (TO)

TT=1800.24

UNSAT

TT=0.865

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-momentum1.opb
UNSAT

TT=6.57

UNSAT

TT=35.367

UNSAT

TT=34.058

? (MO)

TT=15.59

UNSAT

TT=6.57

UNSAT

TT=8.221

UNSAT

TT=6.724

UNSAT

TT=2.855

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-momentum2.opb
UNSAT

TT=27.294

? (MO)

TT=64.785

? (MO)

TT=61.77

? (MO)

TT=17.58

UNSAT

TT=27.294

UNSAT

TT=36.864

UNSAT

TT=28.653

UNSAT

TT=10.912

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-momentum3.opb
OPT
f=10752000000
TT=258.146
T1=105.04
? (MO)

TT=138.243

? (MO)

TT=127.19

? (MO)

TT=17.007

SAT (TO)
f=10752000000
TT=1800.73
T1=222.2
?

TT=266.45

OPT
f=10752000000
TT=258.146
T1=105.04
Wrong UNSAT

TT=47.19

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-msc98-ip.opb
SAT
f=2307342500864557759
TT=1800.61
T1=1562.92
? (TO)

TT=1800.18

? (TO)

TT=1800.02

? (MO)

TT=15.3

SAT (TO)
f=2307342500864557759
TT=1800.61
T1=1562.92
SAT (TO)
f=2541176700879075034
TT=1800.6
T1=325.25
SAT (TO)
f=2526894400705536416
TT=1800.53
T1=137.69
? (TO)

TT=1802.04

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-noswot.opb
OPT
f=-41
TT=279.231
T1=2.05
Wrong UNSAT

TT=0.889

SAT (TO)
f=-41
TT=1800.03
T1=395.52
? (MO)

TT=89.86

SAT (TO)
f=-41
TT=1800.32
T1=2.99
OPT
f=-41
TT=506.823
T1=6.1
OPT
f=-41
TT=279.231
T1=2.05
Wrong Cert.

TT=88.43

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-nsrand-ipx.opb
SAT
f=1207959552
TT=1802.1
T1=231.85
SAT (TO)
f=1224736768
TT=1800.16
T1=262.16
SAT (TO)
f=1215626240
TT=1800.12
T1=546.54
? (MO)

TT=14.88

SAT (TO)
f=2147483536
TT=1800.28
T1=1772.58
SAT (TO)
f=1207959552
TT=1802.1
T1=231.85
? (TO)

TT=1800.12

SAT
f=1134361600
TT=1789.95
T1=1459.64
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-pk1.opb
SAT
f=54272
TT=1800.24
T1=1731.94
SAT (TO)
f=56337
TT=1800.07
T1=1791.02
SAT (TO)
f=57344
TT=1800.05
T1=1683.33
? (TO)

TT=1800.02

? (TO)

TT=1800.16

SAT (TO)
f=57344
TT=1800.57
T1=678.98
SAT (TO)
f=54272
TT=1800.24
T1=1731.94
SAT
f=19456
TT=1789.87
T1=102.92
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-pp08aCUTS.opb




? (TO)

TT=1800.08

? (TO)

TT=1800.12

? (MO)

TT=88.67

? (TO)

TT=1800.23

? (TO)

TT=1803.46

? (TO)

TT=1800.21

?

TT=1789.79

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-pp08a.opb




? (TO)

TT=1800.07

? (TO)

TT=1800.14

? (MO)

TT=86.59

? (TO)

TT=1800.25

? (TO)

TT=1803.65

? (TO)

TT=1800.19

?

TT=1789.5

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-qiu.opb




? (TO)

TT=1800.15

? (TO)

TT=1800.08

UNSAT

TT=9.36

? (TO)

TT=1800.16

? (TO)

TT=1800.38

? (TO)

TT=1800.16

?

TT=1789.71

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-rd-rplusc-21.opb
UNSAT

TT=64.052

? (MO)

TT=72.586

? (MO)

TT=68.054

? (MO)

TT=22.14

UNSAT

TT=64.052

UNSAT

TT=83.515

UNSAT

TT=64.366

? (MO)

TT=28.922

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-roll3000.opb




UNSAT

TT=6.63

? (TO)

TT=1800.06

? (MO)

TT=62.35

? (TO)

TT=1800.14

? (TO)

TT=1800.52

? (TO)

TT=1800.3

?

TT=1789.67

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-rout.opb
SAT
f=1075022336
TT=1800.35
T1=834.13
Wrong UNSAT

TT=1.526

SAT (TO)
f=1075136768
TT=1800.07
T1=1418.61
? (MO)

TT=83.57

SAT (TO)
f=1075218944
TT=1800.38
T1=634.61
SAT (TO)
f=1075128832
TT=1800.34
T1=724.53
SAT (TO)
f=1075022336
TT=1800.35
T1=834.13
Wrong Cert.

TT=1789.85

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-set1ch.opb
SAT
f=329053861
TT=1800.45
T1=101.45
? (TO)

TT=1800.13

? (TO)

TT=1800.09

? (MO)

TT=77.37

SAT (TO)
f=64837557142
TT=1800.52
T1=5.36
SAT (TO)
f=329053861
TT=1800.77
T1=181.05
SAT (TO)
f=329053861
TT=1800.45
T1=101.45
?

TT=1789.7

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-sp97ar.opb
SAT
f=43990864208
TT=1800.81
T1=162.01
? (TO)

TT=1800.06

? (TO)

TT=1800.1

? (MO)

TT=24.06

SAT (TO)
f=44201940720
TT=1800.9
T1=1004.78
SAT (TO)
f=43990864208
TT=1801.29
T1=193.83
SAT (TO)
f=43990864208
TT=1800.81
T1=162.01
SAT
f=38804091452
TT=1794.45
T1=1793.65
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-stp3d.opb




? (MO)

TT=27.976

? (MO)

TT=25.788

? (MO)

TT=14.99

? (TO)

TT=1800.25

? (TO)

TT=1800.4

? (TO)

TT=1800.25

?

TT=1797.29

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-swath.opb




? (TO)

TT=1800.1

? (TO)

TT=1800.1

? (MO)

TT=37.48

? (TO)

TT=1800.15

? (TO)

TT=1800.34

? (TO)

TT=1800.22

? (TO)

TT=1801.77

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-timtab1.opb




? (TO)

TT=1800.04

? (TO)

TT=1800.05

UNSAT

TT=41.415

? (TO)

TT=1800.27

? (TO)

TT=1800.31

? (TO)

TT=1800.18

?

TT=1789.64

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-timtab2.opb
SAT
f=159425264299921103
TT=1800.33
T1=1046.04
? (TO)

TT=1800.06

? (TO)

TT=1800.07

? (MO)

TT=84.68

? (TO)

TT=1800.25

SAT (TO)
f=170292130899920126
TT=1800.36
T1=390.03
SAT (TO)
f=159425264299921103
TT=1800.33
T1=1046.04
Wrong UNSAT

TT=3.775

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-tr12-30.opb




? (TO)

TT=1800.07

? (TO)

TT=1800.07

? (MO)

TT=66.27

? (TO)

TT=1800.2

? (TO)

TT=1800.38

? (TO)

TT=1800.16

?

TT=1789.92

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-van.opb
SAT
f=24193312742
TT=1800.71
T1=248.59
? (MO)

TT=43.227

? (MO)

TT=39.972

? (MO)

TT=15.37

SAT (TO)
f=24193312742
TT=1800.74
T1=865.16
SAT (TO)
f=25442247019
TT=1801.03
T1=57.05
SAT (TO)
f=24193312742
TT=1800.71
T1=248.59
? (MO)

TT=1676.09

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-blend2.opb
SAT
f=46020508
TT=1800.37
T1=937.19
? (TO)

TT=1800.12

? (TO)

TT=1800.16

? (MO)

TT=78.76

? (TO)

TT=1800.3

SAT (TO)
f=47238464
TT=1800.59
T1=58.91
SAT (TO)
f=46020508
TT=1800.37
T1=937.19
? (exit code)

TT=434.193

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-gesa3_o.opb




UNSAT

TT=4.904

? (TO)

TT=1800.13

? (MO)

TT=70.65

? (TO)

TT=1800.27

? (TO)

TT=1800.34

? (TO)

TT=1800.24

?

TT=1789.62

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-gesa3.opb
SAT
f=5531010133646
TT=1800.46
T1=50.14
Wrong UNSAT

TT=5.926

SAT (TO)
f=11750815436515
TT=1800.11
T1=297.39
? (MO)

TT=70.55

? (TO)

TT=1800.27

SAT (TO)
f=5531010133646
TT=1800.59
T1=55.67
SAT (TO)
f=5531010133646
TT=1800.46
T1=50.14
?

TT=1789.78

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-qnet1_o.opb
UNSAT

TT=5.4

UNSAT

TT=680.312

UNSAT

TT=482.557

? (TO)

TT=1800

UNSAT

TT=5.4

UNSAT

TT=7.301

UNSAT

TT=5.704

UNSAT

TT=0.235

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-qnet1.opb
UNSAT

TT=4.543

UNSAT

TT=15.098

UNSAT

TT=382.131

? (TO)

TT=1800.1

UNSAT

TT=90.612

UNSAT

TT=5.759

UNSAT

TT=4.543

UNSAT

TT=0.246

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-bell3a.opb
SAT
f=105006356304400
TT=1800.15
T1=22.29
SAT (TO)
f=123970438486800
TT=1800.08
T1=1065.9
SAT (TO)
f=129581872342300
TT=1800.07
T1=1060.56
? (TO)

TT=1800.04

SAT (TO)
f=180773664521500
TT=1800.22
T1=119.63
SAT (TO)
f=122588961837590
TT=1800.5
T1=4.78
SAT (TO)
f=105006356304400
TT=1800.15
T1=22.29
Wrong UNSAT

TT=0.341

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-bell3b.opb
SAT
f=1268353751751630
TT=1800.26
T1=62.3
SAT (TO)
f=1351255291085075
TT=1800.04
T1=1586.77
SAT (TO)
f=1355256952965348
TT=1800.06
T1=1549.42
? (TO)

TT=1800.09

SAT (TO)
f=1299937030872100
TT=1800.24
T1=80.59
SAT (TO)
f=1268353751751630
TT=1800.36
T1=69.99
SAT (TO)
f=1268353751751630
TT=1800.26
T1=62.3
Wrong UNSAT

TT=0.334

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-bell4.opb
SAT
f=194505094762798
TT=1800.4
T1=236.05
SAT (TO)
f=204753374256749
TT=1800.04
T1=1646.3
SAT (TO)
f=198825650116654
TT=1800.04
T1=500.45
? (TO)

TT=1800.04

SAT (TO)
f=195364307577754
TT=1800.33
T1=1691.44
SAT (TO)
f=194505094762798
TT=1800.4
T1=236.05
SAT (TO)
f=202184424499114
TT=1800.21
T1=10.08
Wrong UNSAT

TT=0.298

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-bell5.opb
SAT
f=938830260671609
TT=1800.21
T1=22.87
Wrong UNSAT

TT=0.609

SAT (TO)
f=1015346835157339
TT=1800.06
T1=1766.35
? (TO)

TT=1800.03

SAT (TO)
f=938830260671609
TT=1800.21
T1=22.87
SAT (TO)
f=956329134218874
TT=1800.41
T1=5.89
SAT (TO)
f=940504911738069
TT=1800.26
T1=1077.29
Wrong UNSAT

TT=0.164

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-dcmulti.opb




? (TO)

TT=1800.06

? (TO)

TT=1800.08

? (MO)

TT=88.27

? (TO)

TT=1800.27

? (TO)

TT=1800.53

? (TO)

TT=1800.15

?

TT=1789.82

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-egout.opb
OPT
f=471047168
TT=84.448
T1=70.49
SAT (TO)
f=904720478
TT=1800.11
T1=1151.73
OPT
f=471047168
TT=124.821
T1=76.62
Wrong UNSAT

TT=1675.26

SAT (TO)
f=492900352
TT=1800.44
T1=46.23
OPT
f=471047168
TT=191.372
T1=209.5
OPT
f=471047168
TT=84.448
T1=70.49
OPT
f=471047168
TT=25.088
T1=23.73
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-fixnet3.opb
SAT
f=138878980
TT=1800.48
T1=1210.96
? (TO)

TT=1800.13

? (TO)

TT=1800.09

? (MO)

TT=81.58

? (TO)

TT=1800.21

SAT (TO)
f=142383596
TT=1800.57
T1=659.79
SAT (TO)
f=138878980
TT=1800.48
T1=1210.96
?

TT=1789.72

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-fixnet4.opb
SAT
f=26762036
TT=1800.45
T1=102.97
? (TO)

TT=1800.14

? (TO)

TT=1800.06

? (MO)

TT=77.17

? (TO)

TT=1800.17

SAT (TO)
f=26762036
TT=1803.9
T1=139.43
SAT (TO)
f=26762036
TT=1800.45
T1=102.97
?

TT=1789.71

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-flugpl.opb
OPT
f=14745600
TT=0.258
T1=0.23
OPT
f=14745600
TT=0.241
T1=0.22
OPT
f=14745600
TT=0.258
T1=0.23
? (TO)

TT=1800.02

OPT
f=14745600
TT=4.296
T1=1.48
OPT
f=14745600
TT=3.948
T1=4.4
OPT
f=14745600
TT=1.247
T1=0.7
OPT
f=14745600
TT=0.785
T1=0.77
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-gen.opb
SAT
f=59412689511365
TT=1800.45
T1=578.29
Wrong UNSAT

TT=4.342

? (TO)

TT=1800.05

? (MO)

TT=77.57

SAT (TO)
f=65264315763332
TT=1800.62
T1=321.76
SAT (TO)
f=59572366081054
TT=1801.5
T1=394.56
SAT (TO)
f=59412689511365
TT=1800.45
T1=578.29
?

TT=1789.77

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-khb05250.opb
SAT
f=253571972295
TT=1800.51
T1=955.22
? (TO)

TT=1800.15

? (TO)

TT=1800.18

? (MO)

TT=89.48

SAT (TO)
f=253571972295
TT=1800.51
T1=955.22
SAT (TO)
f=335942735822
TT=1800.68
T1=904.55
? (TO)

TT=1800.2

Wrong UNSAT

TT=17.953

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc01.opb
OPT
f=1074317824
TT=1.773
T1=0.63
Wrong UNSAT

TT=0.047

OPT
f=1074317824
TT=1.773
T1=0.63
? (TO)

TT=1800.1

OPT
f=1074317824
TT=13.192
T1=7.31
OPT
f=1074317824
TT=5.249
T1=3.32
OPT
f=1074317824
TT=2.019
T1=0.96
Wrong Cert.

TT=1.951

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc02.opb
OPT
f=1075471360
TT=0.545
T1=0.4
OPT
f=1075471360
TT=0.249
T1=0.04
OPT
f=1075471360
TT=0.545
T1=0.4
? (TO)

TT=1800.05

OPT
f=1075471360
TT=7.266
T1=3.58
OPT
f=1075471360
TT=6.019
T1=4.3
OPT
f=1075471360
TT=2.434
T1=0.95
Wrong Cert.

TT=0.472

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc03.opb
OPT
f=1077181440
TT=5.737
T1=1.29
OPT
f=1077181440
TT=101.965
T1=12.69
OPT
f=1077181440
TT=272.007
T1=14.54
? (TO)

TT=1800.09

OPT
f=1077181440
TT=78.461
T1=11.67
OPT
f=1077181440
TT=12.66
T1=5.61
OPT
f=1077181440
TT=5.737
T1=1.29
Wrong Cert.

TT=8.491

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc04.opb




? (MO)

TT=38.968

? (MO)

TT=34.67

? (MO)

TT=17.79

? (TO)

TT=1800.16

? (TO)

TT=1800.45

? (TO)

TT=1800.2

UNSAT

TT=57.277

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc05.opb
OPT
f=1076796928
TT=481.022
T1=68.25
Wrong Opt.
f=1076903936
TT=50.857
T1=38.42
SAT (TO)
f=1076796928
TT=1800.07
T1=115.13
? (TO)

TT=1800.03

SAT (TO)
f=1076914176
TT=1800.25
T1=17.34
OPT
f=1076796928
TT=1077.44
T1=81.63
OPT
f=1076796928
TT=481.022
T1=68.25
Wrong Cert.

TT=29.283

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-misc06.opb




UNSAT

TT=17.424

? (TO)

TT=1800.18

? (MO)

TT=23.89

? (TO)

TT=1800.05

? (TO)

TT=1800.43

? (TO)

TT=1800.22

UNSAT

TT=2.051

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-mod013.opb
SAT
f=30807040
TT=1800.16
T1=1713.42
SAT (TO)
f=79012156
TT=1800.09
T1=1766.19
SAT (TO)
f=41365504
TT=1800.06
T1=1388.54
? (TO)

TT=1800.08

SAT (TO)
f=33049600
TT=1800.26
T1=3.75
SAT (TO)
f=30940160
TT=1800.29
T1=883.98
SAT (TO)
f=30807040
TT=1800.16
T1=1713.42
OPT
f=28769280
TT=62.997
T1=57.38
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-rgn.opb




? (TO)

TT=1800.05

? (TO)

TT=1800.08

? (TO)

TT=1800.08

? (TO)

TT=1800.29

? (TO)

TT=1800.56

? (TO)

TT=1800.2

?

TT=1789.63

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-sample2.opb
OPT
f=384000
TT=6.799
T1=1.32
Wrong Opt.
f=414720
TT=116.633
T1=116.17
OPT
f=384000
TT=68.886
T1=68.72
? (TO)

TT=1800.03

OPT
f=384000
TT=949.663
T1=24.44
OPT
f=384000
TT=49.514
T1=16.66
OPT
f=384000
TT=6.799
T1=1.32
OPT
f=384000
TT=5.078
T1=4.99
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-set1al.opb
SAT
f=160099728
TT=1800.44
T1=1754.25
? (TO)

TT=1800.11

? (TO)

TT=1800.08

? (MO)

TT=78.57

? (TO)

TT=1800.22

SAT (TO)
f=316702419
TT=1801.21
T1=670.9
SAT (TO)
f=160099728
TT=1800.44
T1=1754.25
?

TT=1789.77

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-set1cl.opb
SAT
f=27591564
TT=1800.36
T1=35.25
? (TO)

TT=1800.08

? (TO)

TT=1800.09

? (MO)

TT=84.67

? (TO)

TT=1800.25

SAT (TO)
f=27591564
TT=1800.83
T1=41.5
SAT (TO)
f=27591564
TT=1800.36
T1=35.25
?

TT=1789.77

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
fctp/normalized-mps-v2-20-10-bal8x12.opb
SAT
f=82683104
TT=1800.18
T1=300.57
SAT (TO)
f=204957827
TT=1800.07
T1=1315.7
SAT (TO)
f=208509050
TT=1800.07
T1=1448.55
? (TO)

TT=1800.01

SAT (TO)
f=129269660
TT=1800.34
T1=47.29
SAT (TO)
f=82683104
TT=1800.45
T1=361.77
SAT (TO)
f=82683104
TT=1800.18
T1=300.57
OPT
f=48286720
TT=41.239
T1=40.63
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-bk4x3.opb
OPT
f=358400
TT=2.914
T1=1.8
Wrong Opt.
f=387072
TT=3.815
T1=1.28
OPT
f=358400
TT=2.914
T1=1.8
? (TO)

TT=1800.07

SAT (TO)
f=358400
TT=1800.23
T1=1201.67
OPT
f=358400
TT=19.183
T1=23.63
OPT
f=358400
TT=5.265
T1=2.39
OPT
f=358400
TT=3.055
T1=3.03
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-gr4x6.opb
OPT
f=20720640
TT=272.328
T1=22.02
SAT (TO)
f=20720640
TT=1800.03
T1=69.16
SAT (TO)
f=20720640
TT=1800.05
T1=22.02
? (TO)

TT=1800.04

SAT (TO)
f=21145600
TT=1800.16
T1=204.29
OPT
f=20720640
TT=622.482
T1=84.03
OPT
f=20720640
TT=272.328
T1=70.77
OPT
f=20720640
TT=12.831
T1=11.82
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3700.opb




? (MO)

TT=56.763

? (MO)

TT=55.968

? (MO)

TT=15.99

? (TO)

TT=1800.15

? (TO)

TT=1800.25

? (TO)

TT=1800.22

Wrong UNSAT

TT=571.547

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3701.opb




? (MO)

TT=56.571

? (MO)

TT=51.873

? (MO)

TT=16.49

? (TO)

TT=1800.17

? (TO)

TT=1800.31

? (TO)

TT=1800.22

? (TO)

TT=1802.1

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3702.opb




? (MO)

TT=110.042

? (MO)

TT=50.265

? (MO)

TT=17.21

? (TO)

TT=1800.13

? (TO)

TT=1800.53

? (TO)

TT=1800.24

?

TT=1791.13

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3703.opb




? (MO)

TT=52.874

? (MO)

TT=50.567

? (MO)

TT=15.81

? (TO)

TT=1800.17

? (TO)

TT=1800.52

? (TO)

TT=1800.27

?

TT=1798.96

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3704.opb




? (MO)

TT=52.663

? (MO)

TT=51.362

? (MO)

TT=17.06

? (TO)

TT=1800.2

? (TO)

TT=1800.48

? (TO)

TT=1800.23

?

TT=1792.63

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3705.opb
SAT
f=12665835129
TT=1800.8
T1=1202.79
? (MO)

TT=56.483

? (MO)

TT=52.092

? (MO)

TT=15.94

? (TO)

TT=1800.24

? (TO)

TT=1800.47

SAT (TO)
f=12665835129
TT=1800.8
T1=1202.79
Wrong UNSAT

TT=1046.18

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3706.opb




? (MO)

TT=57.834

? (MO)

TT=56.766

? (MO)

TT=16.51

? (TO)

TT=1800.12

? (TO)

TT=1800.27

? (TO)

TT=1800.34

Wrong UNSAT

TT=407.63

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3707.opb




? (MO)

TT=55.78

? (MO)

TT=50.773

? (MO)

TT=16.68

? (TO)

TT=1800.18

? (TO)

TT=1800.25

? (TO)

TT=1800.22

Wrong UNSAT

TT=1062.87

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3708.opb




? (MO)

TT=54.66

? (MO)

TT=49.366

? (MO)

TT=15.96

? (TO)

TT=1800.19

? (TO)

TT=1800.44

? (TO)

TT=1800.31

?

TT=1794.83

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n3709.opb




? (MO)

TT=55.723

? (MO)

TT=52.025

? (MO)

TT=16.5

? (TO)

TT=1800.1

? (TO)

TT=1800.39

? (TO)

TT=1800.25

Wrong UNSAT

TT=346.034

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n370a.opb




? (MO)

TT=52.829

? (MO)

TT=50.508

? (MO)

TT=16.49

? (TO)

TT=1800.11

? (TO)

TT=1800.35

? (TO)

TT=1800.14

? (TO)

TT=1801.66

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n370b.opb




? (MO)

TT=57.167

? (MO)

TT=52.957

? (MO)

TT=17.01

? (TO)

TT=1800.2

? (TO)

TT=1800.38

? (TO)

TT=1800.2

Wrong UNSAT

TT=916.347

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n370c.opb




? (MO)

TT=58.089

? (MO)

TT=51.771

? (MO)

TT=16.58

? (TO)

TT=1800.31

? (TO)

TT=1800.92

? (TO)

TT=1800.27

Wrong UNSAT

TT=426.94

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-n370e.opb
SAT
f=11864971985
TT=1800.74
T1=1386.28
? (MO)

TT=54.326

? (MO)

TT=50.362

? (MO)

TT=16.96

? (TO)

TT=1800.17

? (TO)

TT=1800.46

SAT (TO)
f=11864971985
TT=1800.74
T1=1386.28
Wrong UNSAT

TT=1774.99

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran10x10a.opb
SAT
f=1751040
TT=1800.27
T1=8.07
SAT (TO)
f=13510868
TT=1800.04
T1=1607.48
SAT (TO)
f=13359645
TT=1800.12
T1=1609.29
? (TO)

TT=1800.09

SAT (TO)
f=1751040
TT=1800.27
T1=33.68
SAT (TO)
f=1751040
TT=1800.29
T1=8.07
SAT (TO)
f=2033647
TT=1800.19
T1=1.96
OPT
f=1534976
TT=396.784
T1=187.25
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran10x10b.opb
SAT
f=3729408
TT=1800.3
T1=274.77
SAT (TO)
f=25615286
TT=1800.05
T1=1483.89
SAT (TO)
f=26279711
TT=1800.04
T1=1307.67
? (TO)

TT=1800.01

SAT (TO)
f=3729408
TT=1800.3
T1=632.83
SAT (TO)
f=3729408
TT=1800.47
T1=274.77
SAT (TO)
f=3757056
TT=1800.28
T1=982.08
OPT
f=3146752
TT=270.385
T1=216.46
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran10x10c.opb
SAT
f=14191616
TT=1800.21
T1=13.53
SAT (TO)
f=89460444
TT=1800.12
T1=1214.8
SAT (TO)
f=93671564
TT=1800.06
T1=1536.09
? (TO)

TT=1800.08

SAT (TO)
f=15246336
TT=1800.33
T1=484.42
SAT (TO)
f=14191616
TT=1800.44
T1=26.3
SAT (TO)
f=14191616
TT=1800.21
T1=13.53
OPT
f=13474816
TT=1048.59
T1=420.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran10x12.opb
SAT
f=3243008
TT=1800.3
T1=4.17
SAT (TO)
f=21686505
TT=1800.07
T1=498.29
SAT (TO)
f=22565811
TT=1800.11
T1=1214.98
? (TO)

TT=1800.08

SAT (TO)
f=3243008
TT=1800.3
T1=13.51
SAT (TO)
f=3243008
TT=1800.55
T1=17.65
SAT (TO)
f=3243008
TT=1800.3
T1=4.17
OPT
f=2779136
TT=256.798
T1=245.69
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran10x26.opb
SAT
f=6204422
TT=1800.22
T1=59.26
? (TO)

TT=1800.08

? (TO)

TT=1800.08

? (TO)

TT=1800.02

SAT (TO)
f=6204422
TT=1800.22
T1=59.26
SAT (TO)
f=7346924
TT=1800.71
T1=84.26
SAT (TO)
f=8325300
TT=1800.39
T1=808.84
SAT
f=5228553
TT=1789.61
T1=1483.24
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran12x12.opb
SAT
f=3081216
TT=1800.33
T1=14.39
? (TO)

TT=1800.07

? (TO)

TT=1800.08

? (TO)

TT=1800.04

SAT (TO)
f=5020678
TT=1800.31
T1=116.71
SAT (TO)
f=3081216
TT=1800.33
T1=14.39
SAT (TO)
f=3559199
TT=1800.23
T1=661.87
SAT
f=2930697
TT=1789.69
T1=24.33
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran12x21.opb
SAT
f=7894394
TT=1800.52
T1=1202.54
? (TO)

TT=1800.04

? (TO)

TT=1800.08

? (TO)

TT=1800.04

SAT (TO)
f=9456651
TT=1800.33
T1=104.33
SAT (TO)
f=7898587
TT=1800.4
T1=6.62
SAT (TO)
f=7894394
TT=1800.52
T1=1202.54
SAT
f=5789071
TT=1789.62
T1=1233.59
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran13x13.opb
SAT
f=3492864
TT=1800.29
T1=46.59
? (TO)

TT=1800.02

? (TO)

TT=1800.03

? (TO)

TT=1800.06

SAT (TO)
f=3492864
TT=1800.29
T1=46.59
SAT (TO)
f=3492864
TT=1800.38
T1=158.8
SAT (TO)
f=3538944
TT=1800.26
T1=2.7
Wrong Opt.
f=4770157
TT=919.966
T1=15.74
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran14x18.opb
SAT
f=4382720
TT=1800.4
T1=49.44
? (TO)

TT=1800.04

? (TO)

TT=1800.04

? (TO)

TT=1800.08

SAT (TO)
f=4382720
TT=1800.4
T1=49.44
SAT (TO)
f=4900864
TT=1800.41
T1=15.52
SAT (TO)
f=7279722
TT=1800.31
T1=25.47
SAT
f=5535740
TT=1789.72
T1=203.99
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran16x16.opb
SAT
f=8072122
TT=1800.28
T1=202.51
? (TO)

TT=1800.05

? (TO)

TT=1800.06

? (TO)

TT=1800.05

SAT (TO)
f=9096275
TT=1800.33
T1=123.97
SAT (TO)
f=8095222
TT=1800.51
T1=634.92
SAT (TO)
f=8072122
TT=1800.28
T1=202.51
SAT
f=5821539
TT=1789.58
T1=1783.71
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/fctp/
normalized-mps-v2-20-10-ran17x17.opb
SAT
f=2223045
TT=1800.31
T1=7.59
? (TO)

TT=1800.07

? (TO)

TT=1800.09

? (TO)

TT=1800.06

SAT (TO)
f=3750915
TT=1800.35
T1=134.01
SAT (TO)
f=2223045
TT=1800.55
T1=8.47
SAT (TO)
f=2223045
TT=1800.31
T1=7.59
SAT
f=1676288
TT=1789.7
T1=27.28
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
fctp/normalized-mps-v2-20-10-ran4x64.opb
SAT
f=11443218
TT=1800.5
T1=98.32
? (TO)

TT=1800.17

? (TO)

TT=1800.07

? (TO)

TT=1800.1

SAT (TO)
f=11682811
TT=1800.46
T1=75.62
SAT (TO)
f=11443218
TT=1800.5
T1=98.32
SAT (TO)
f=12799584
TT=1800.4
T1=8.41
OPT
f=9944064
TT=146.03
T1=143.77
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
fctp/normalized-mps-v2-20-10-ran6x43.opb
SAT
f=8904699
TT=1800.51
T1=50.7
? (TO)

TT=1800.08

? (TO)

TT=1800.12

? (TO)

TT=1800.01

SAT (TO)
f=11847160
TT=1800.32
T1=84.47
SAT (TO)
f=8904699
TT=1800.51
T1=50.7
SAT (TO)
f=11572257
TT=1800.37
T1=6.54
Wrong Opt.
f=11999572
TT=60.271
T1=39.74
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
fctp/normalized-mps-v2-20-10-ran8x32.opb
SAT
f=9003915
TT=1800.3
T1=12.41
? (TO)

TT=1800.06

? (TO)

TT=1800.09

? (TO)

TT=1800.03

SAT (TO)
f=9767035
TT=1800.42
T1=87.55
SAT (TO)
f=9003915
TT=1800.56
T1=12.41
SAT (TO)
f=9003915
TT=1800.3
T1=13.36
SAT
f=7704629
TT=1789.61
T1=1594.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/
normalized-mps-v2-20-10-fome11.opb




? (MO)

TT=35.728

? (MO)

TT=31.268

? (MO)

TT=28.28

? (TO)

TT=1800.29

? (TO)

TT=1800.38

? (TO)

TT=1800.3

? (MO)

TT=143.321

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/
normalized-mps-v2-20-10-fome12.opb




? (MO)

TT=41.213

? (MO)

TT=36.023

? (MO)

TT=53.67

? (TO)

TT=1800.18

?

TT=210.899

? (TO)

TT=1800.27

? (MO)

TT=25.951

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/lptestset/fome/
normalized-mps-v2-20-10-fome13.opb




? (MO)

TT=51.818

? (MO)

TT=46.605

? (MO)

TT=95.22

?

TT=217.311

? (exit code)

TT=221.058

?

TT=220.403

? (MO)

TT=47.776

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-bc1.opb




? (MO)

TT=51.544

? (MO)

TT=48.075

? (MO)

TT=19.06

? (TO)

TT=1800.2

? (TO)

TT=1800.32

? (TO)

TT=1800.2

UNSAT

TT=24.512

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-bienst1.opb




? (TO)

TT=1800.05

? (TO)

TT=1800.06

? (MO)

TT=75.67

? (TO)

TT=1800.43

? (TO)

TT=1800.68

? (TO)

TT=1800.18

?

TT=1789.67

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-bienst2.opb




? (TO)

TT=1800.15

? (TO)

TT=1800.08

? (MO)

TT=72.56

? (TO)

TT=1800.23

? (TO)

TT=1800.47

? (TO)

TT=1800.2

?

TT=1789.9

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-dano3_3.opb




? (MO)

TT=35.204

? (MO)

TT=32.073

? (MO)

TT=16.91

? (TO)

TT=1800.25

? (TO)

TT=1800.34

? (TO)

TT=1800.28

?

TT=1794.61

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-dano3_4.opb




? (MO)

TT=34.688

? (MO)

TT=32.221

? (MO)

TT=15.88

? (TO)

TT=1800.29

? (TO)

TT=1800.52

? (TO)

TT=1800.16

?

TT=1794.46

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-dano3_5.opb




? (MO)

TT=34.204

? (MO)

TT=31.975

? (MO)

TT=16.8

? (TO)

TT=1800.25

? (TO)

TT=1800.54

? (TO)

TT=1800.27

?

TT=1794.8

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-markshare1_1.opb
SAT
f=9662
TT=1800.19
T1=1628.38
SAT (TO)
f=43720
TT=1800.07
T1=566.34
SAT (TO)
f=49961
TT=1800.04
T1=1313.02
? (TO)

TT=1800.07

SAT (TO)
f=228352
TT=1800.31
T1=18.55
SAT (TO)
f=16767
TT=1800.32
T1=1022.5
SAT (TO)
f=9662
TT=1800.19
T1=1628.38
SAT
f=108
TT=1789.48
T1=1178.14
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-markshare2_1.opb
SAT
f=25995
TT=1800.18
T1=1640.7
SAT (TO)
f=159570
TT=1800.04
T1=786.8
SAT (TO)
f=166400
TT=1800.07
T1=589.06
? (TO)

TT=1800.04

? (TO)

TT=1800.96

SAT (TO)
f=57811
TT=1800.62
T1=1249.58
SAT (TO)
f=25995
TT=1800.18
T1=1640.7
SAT
f=76
TT=1789.66
T1=1058.93
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-mkc1.opb
SAT
f=0
TT=1800.43
T1=13.38
? (MO)

TT=565.307

? (MO)

TT=606.21

? (MO)

TT=23.39

? (TO)

TT=1800.17

SAT (TO)
f=0
TT=1800.46
T1=115.92
SAT (TO)
f=0
TT=1800.43
T1=13.38
SAT
f=0
TT=1790.2
T1=0.8
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos11.opb
OPT
f=9216
TT=366.403
T1=33
Wrong UNSAT

TT=28.509

SAT (TO)
f=9216
TT=1800.13
T1=418.85
? (MO)

TT=70.67

SAT (TO)
f=2147495934
TT=1800.25
T1=131.84
OPT
f=9216
TT=793.078
T1=48.58
OPT
f=9216
TT=366.403
T1=33
SAT
f=11264
TT=1789.68
T1=1114.65
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos12.opb
SAT
f=23552
TT=1800.42
T1=23.72
Wrong UNSAT

TT=298.081

? (TO)

TT=1800.16

? (MO)

TT=15.99

SAT (TO)
f=23552
TT=1800.42
T1=23.72
SAT (TO)
f=23552
TT=1800.63
T1=29.65
SAT (TO)
f=27648
TT=1800.56
T1=154.93
?

TT=1789.82

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos13.opb
SAT
f=-88321224
TT=1800.27
T1=1612.15
? (MO)

TT=33.877

? (MO)

TT=32.378

? (MO)

TT=27.31

SAT (TO)
f=-75742937
TT=1800.32
T1=1294.09
SAT (TO)
f=-15884449
TT=1800.48
T1=889.4
SAT (TO)
f=-88321224
TT=1800.27
T1=1612.15
?

TT=1791.53

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos14.opb




? (TO)

TT=1800.05

? (TO)

TT=1800.06

? (MO)

TT=74.67

? (TO)

TT=1800.18

? (TO)

TT=1801.88

? (TO)

TT=1800.18

? (exit code)

TT=113.888

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos15.opb
SAT
f=2593180922877200009284
TT=1800.46
T1=1222.12
? (TO)

TT=1800.08

? (TO)

TT=1800.1

? (MO)

TT=70.78

? (TO)

TT=1800.22

? (TO)

TT=1800.48

SAT (TO)
f=2593180922877200009284
TT=1800.46
T1=1222.12
? (exit code)

TT=534.06

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos17.opb
SAT
f=7077496
TT=1800.32
T1=96.63
SAT (TO)
f=17922741
TT=1800.12
T1=1398.52
SAT (TO)
f=10891882
TT=1800.1
T1=1357.65
? (MO)

TT=56.27

SAT (TO)
f=11281890
TT=1800.24
T1=609.58
SAT (TO)
f=7077496
TT=1800.51
T1=109.89
SAT (TO)
f=7077496
TT=1800.32
T1=96.63
SAT
f=8600271
TT=1789.65
T1=1789.23
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos20.opb
OPT
f=-468992
TT=13.402
T1=9.23
Wrong Opt.
f=-309248
TT=831.16
T1=828.84
OPT
f=-468992
TT=1005.09
T1=998.4
? (TO)

TT=1800.04

SAT (TO)
f=-405504
TT=1800.4
T1=686.87
OPT
f=-468992
TT=32.513
T1=21.21
OPT
f=-468992
TT=13.402
T1=9.23
OPT
f=-468992
TT=173.149
T1=104.14
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos2.opb




UNSAT

TT=14.416

? (TO)

TT=1800.16

? (MO)

TT=40.18

? (TO)

TT=1800.19

? (TO)

TT=1800.37

? (TO)

TT=1800.24

UNSAT

TT=56.3

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos3.opb




UNSAT

TT=17.728

? (TO)

TT=1800.2

? (MO)

TT=21.18

? (TO)

TT=1800.11

? (TO)

TT=1800.29

? (TO)

TT=1800.25

UNSAT

TT=78.395

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos6.opb




Wrong UNSAT

TT=21.637

? (TO)

TT=1800.25

? (MO)

TT=16.09

? (TO)

TT=1800.31

? (TO)

TT=1801.07

? (TO)

TT=1800.28

SAT
f=86972388352
TT=1789.81
T1=1790.11
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos7.opb
SAT
f=1920918611
TT=1800.44
T1=1486.56
Wrong UNSAT

TT=9.797

? (TO)

TT=1800.14

? (MO)

TT=46.29

? (TO)

TT=1800.2

SAT (TO)
f=2318232576
TT=1800.71
T1=500.35
SAT (TO)
f=1920918611
TT=1800.44
T1=1486.56
?

TT=1789.7

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-nug08.opb
OPT
f=107
TT=253.12
T1=76.46
OPT
f=107
TT=766.109
T1=573.85
OPT
f=107
TT=822.773
T1=734.43
? (MO)

TT=24.2

SAT (TO)
f=116
TT=1800.37
T1=64.52
OPT
f=107
TT=970.619
T1=201.96
OPT
f=107
TT=253.12
T1=76.46
OPT
f=107
TT=39.62
T1=20.84
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-qap10.opb
SAT
f=170
TT=1802.15
T1=150.88
? (TO)

TT=1800.26

? (TO)

TT=1800.2

? (MO)

TT=18.98

SAT (TO)
f=177
TT=1800.5
T1=997.17
SAT (TO)
f=170
TT=1802.15
T1=150.88
SAT (TO)
f=175
TT=1800.63
T1=14.13
? (TO)

TT=1802.12

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-swath1.opb




? (TO)

TT=1800.19

? (TO)

TT=1800.17

? (MO)

TT=16.29

? (TO)

TT=1800.12

? (TO)

TT=1800.21

? (TO)

TT=1800.18

?

TT=1791.12

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-swath2.opb




? (MO)

TT=976.603

? (MO)

TT=981.869

? (MO)

TT=15.68

? (TO)

TT=1800.11

? (TO)

TT=1800.22

? (TO)

TT=1800.31

?

TT=1790.31

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-swath3.opb




? (TO)

TT=1800.19

? (TO)

TT=1800.18

? (MO)

TT=15.69

? (TO)

TT=1800.2

? (TO)

TT=1800.31

? (TO)

TT=1800.18

?

TT=1790.09

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-A1C1S1.opb




? (TO)

TT=1800.19

? (TO)

TT=1800.2

? (MO)

TT=19.08

? (TO)

TT=1800.31

? (TO)

TT=1800.51

? (TO)

TT=1800.26

?

TT=1790.96

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-A2C1S1.opb




? (TO)

TT=1800.24

? (TO)

TT=1800.23

? (MO)

TT=18.39

? (TO)

TT=1800.3

? (TO)

TT=1800.46

? (TO)

TT=1800.16

?

TT=1791.06

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-B1C1S1.opb




? (TO)

TT=1800.19

? (TO)

TT=1800.16

? (MO)

TT=22.59

? (TO)

TT=1800.23

? (TO)

TT=1800.59

? (TO)

TT=1800.07

?

TT=1790.23

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-B2C1S1.opb




? (TO)

TT=1800.22

? (TO)

TT=1800.15

? (MO)

TT=22.68

? (TO)

TT=1800.3

? (TO)

TT=1800.5

? (TO)

TT=1800.2

?

TT=1794.89

Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-berlin_5_8_0.opb
SAT
f=63488
TT=1800.12
T1=160.91
SAT (TO)
f=63488
TT=1800.07
T1=339.18
SAT (TO)
f=63488
TT=1800.12
T1=208.47
? (MO)

TT=59.67

? (TO)

TT=1800.32

SAT (TO)
f=63488
TT=1800.59
T1=180.6
SAT (TO)
f=63488
TT=1800.3
T1=160.91
?

TT=1798.2

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-bg512142.opb
SAT
f=23049518932911
TT=1800.45
T1=1746.66
? (TO)

TT=1800.09

? (TO)

TT=1800.07

? (MO)

TT=63.97

? (TO)

TT=1800.31

? (TO)

TT=1800.38

SAT (TO)
f=23049518932911
TT=1800.45
T1=1746.66
Wrong UNSAT

TT=311.127

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-biella1.opb
SAT
f=42689681106329600
TT=1800.41
T1=1147.19
? (TO)

TT=1800.18

? (TO)

TT=1800.12

? (MO)

TT=17.81

? (TO)

TT=1800.21

? (TO)

TT=1800.23

SAT (TO)
f=42689681106329600
TT=1800.41
T1=1147.19
Wrong UNSAT

TT=551.224

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-blp-ar98.opb




? (MO)

TT=767.571

? (MO)

TT=788.42

? (MO)

TT=15.68

? (TO)

TT=1800.17

? (TO)

TT=1800.2

? (TO)

TT=1800.19

?

TT=1789.96

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-blp-ic97.opb




? (TO)

TT=1800.17

? (TO)

TT=1800.14

? (MO)

TT=43.98

? (TO)

TT=1800.18

? (TO)

TT=1800.32

? (TO)

TT=1800.39

?

TT=1789.85

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-blp-ic98.opb




? (MO)

TT=504.365

? (MO)

TT=524.869

? (MO)

TT=16.09

? (TO)

TT=1800.17

? (TO)

TT=1800.3

? (TO)

TT=1800.19

?

TT=1789.87

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-blp-ir98.opb




? (TO)

TT=1800.12

? (TO)

TT=1800.14

? (MO)

TT=56.68

? (TO)

TT=1800.17

? (TO)

TT=1800.36

? (TO)

TT=1800.16

Wrong Cert.

TT=1789.66

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-CMS750_4.opb
SAT
f=646144
TT=1800.77
T1=1562.4
? (MO)

TT=32.548

? (MO)

TT=29.655

? (MO)

TT=15.99

? (TO)

TT=1800.23

SAT (TO)
f=711680
TT=1800.99
T1=844.64
SAT (TO)
f=646144
TT=1800.77
T1=1562.4
?

TT=1791.04

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-core2536-691.opb
SAT
f=944128000000000
TT=1800.46
T1=3.46
SAT (TO)
f=1126400000000000
TT=1800.12
T1=155.02
SAT (TO)
f=1126400000000000
TT=1800.08
T1=155.57
? (MO)

TT=18.19

SAT (TO)
f=945152000000000
TT=1800.47
T1=1452.14
SAT (TO)
f=944128000000000
TT=1800.51
T1=15.31
SAT (TO)
f=944128000000000
TT=1800.46
T1=3.46
SAT
f=706560000000000
TT=1789.67
T1=1790.1
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-core2586-950.opb
SAT
f=1262592000000000
TT=1800.45
T1=1638.27
SAT (TO)
f=1436672000000000
TT=1800.06
T1=293.62
SAT (TO)
f=1436672000000000
TT=1800.07
T1=294.77
? (MO)

TT=733.66

SAT (TO)
f=1262592000000000
TT=1800.45
T1=1638.27
SAT (TO)
f=1265664000000000
TT=1800.65
T1=701.57
SAT (TO)
f=1268736000000000
TT=1800.42
T1=2.08
SAT
f=977920000000000
TT=1789.76
T1=1790.07
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-core4284-1064.opb
SAT
f=1424384000000000
TT=1800.45
T1=6.91
SAT (TO)
f=1716224000000000
TT=1800.16
T1=131.55
SAT (TO)
f=1716224000000000
TT=1800.16
T1=130.31
? (MO)

TT=15.19

SAT (TO)
f=1436672000000000
TT=1800.47
T1=303.32
SAT (TO)
f=1424384000000000
TT=1800.76
T1=60.11
SAT (TO)
f=1424384000000000
TT=1800.45
T1=6.91
SAT
f=1193984000000000
TT=1789.7
T1=1790.16
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-core4872-1529.opb
SAT
f=2012160000000000
TT=1800.69
T1=1452.44
SAT (TO)
f=2404352000000000
TT=1800.11
T1=560.57
SAT (TO)
f=2404352000000000
TT=1800.15
T1=560.16
? (MO)

TT=15.59

SAT (TO)
f=2012160000000000
TT=1800.69
T1=1452.44
SAT (TO)
f=2014208000000000
TT=1800.55
T1=3.42
SAT (TO)
f=2014208000000000
TT=1800.56
T1=2.96
SAT
f=1805312000000000
TT=1791.24
T1=1791.44
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-dc1c.opb




? (TO)

TT=1800.21

? (TO)

TT=1800.16

? (MO)

TT=17.77

? (TO)

TT=1800.15

? (TO)

TT=1800.3

? (TO)

TT=1800.24

Wrong UNSAT

TT=368.307

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-dc1l.opb
SAT
f=322124436347890954240
TT=1800.58
T1=1108.08
? (MO)

TT=30.378

? (MO)

TT=26.303

? (MO)

TT=18.38

SAT (TO)
f=322124436347890954240
TT=1800.58
T1=1108.08
SAT (TO)
f=332884967382965888000
TT=1800.7
T1=845.75
? (TO)

TT=1800.17

Wrong UNSAT

TT=728.203

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-dg012142.opb




? (TO)

TT=1800.06

? (TO)

TT=1800.13

? (MO)

TT=17.9

? (TO)

TT=1800.19

? (TO)

TT=1800.36

? (TO)

TT=1800.28

?

TT=1796.49

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-dolom1.opb




? (TO)

TT=1800.18

? (TO)

TT=1800.21

? (MO)

TT=17.49

? (TO)

TT=1800.15

? (TO)

TT=1800.4

? (TO)

TT=1800.23

Wrong UNSAT

TT=39.733

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-glass4.opb
OPT
f=1228810444800
TT=24.771
T1=18.2
OPT
f=1228810444800
TT=1169.32
T1=1168.79
SAT (TO)
f=1537291343024
TT=1800.04
T1=1750.1
? (MO)

TT=82.38

SAT (TO)
f=535958052245550
TT=1800.28
T1=1704.56
OPT
f=1228810444800
TT=49.906
T1=25.3
OPT
f=1228810444800
TT=24.771
T1=18.2
Wrong UNSAT

TT=0.16

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-NSR8K.opb




? (MO)

TT=31.483

? (MO)

TT=27.772

? (MO)

TT=21.09

? (TO)

TT=1800.26

? (TO)

TT=1800.58

? (TO)

TT=1800.24

UNSAT

TT=188.94

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-nsrand_ipx.opb
SAT
f=1275068416
TT=1800.11
T1=1551.06
SAT (TO)
f=1308622848
TT=1800.17
T1=497.72
SAT (TO)
f=1275068416
TT=1800.11
T1=1551.06
? (MO)

TT=14.99

SAT (TO)
f=2147483514
TT=1800.33
T1=691.05
SAT (TO)
f=1610612625
TT=1800.44
T1=792.55
? (TO)

TT=1800.23

SAT
f=1133542400
TT=1789.81
T1=907.53
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-rail507.opb
SAT
f=264192000000000
TT=1800.59
T1=15.61
? (TO)

TT=1800.22

? (TO)

TT=1800.21

? (MO)

TT=16.09

SAT (TO)
f=265216000000000
TT=1800.52
T1=215.07
SAT (TO)
f=264192000000000
TT=1800.71
T1=512.25
SAT (TO)
f=264192000000000
TT=1800.59
T1=15.61
SAT
f=180224000000000
TT=1790.51
T1=1790.34
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-railway_8_1_0.opb
SAT
f=409600
TT=1800.4
T1=497.68
SAT (TO)
f=421888
TT=1800.16
T1=1775.68
SAT (TO)
f=430080
TT=1800.15
T1=1796.9
? (MO)

TT=28.39

? (TO)

TT=1800.22

SAT (TO)
f=409600
TT=1800.68
T1=1156.92
SAT (TO)
f=409600
TT=1800.4
T1=497.68
?

TT=1790.08

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-roll3000.opb




Wrong UNSAT

TT=6.67

? (TO)

TT=1800.07

? (MO)

TT=62.48

? (TO)

TT=1800.2

? (TO)

TT=1800.39

? (TO)

TT=1800.24

?

TT=1789.69

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-siena1.opb




? (MO)

TT=26.717

? (MO)

TT=26.276

? (MO)

TT=17.69

? (TO)

TT=1800.18

? (TO)

TT=1800.3

? (TO)

TT=1800.15

Wrong UNSAT

TT=76.305

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-sp97ar.opb
SAT
f=2740285619
TT=1800.42
T1=105.24
SAT (TO)
f=4066543482
TT=1800.15
T1=1573.99
SAT (TO)
f=3836512252
TT=1800.19
T1=1328.1
? (MO)

TT=14.59

SAT (TO)
f=2740285619
TT=1800.42
T1=554.14
SAT (TO)
f=2740285619
TT=1800.69
T1=105.24
SAT (TO)
f=2746234016
TT=1800.43
T1=7.45
SAT
f=2176445857
TT=1790.02
T1=1790.15
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-sp97ic.opb
SAT
f=3523081465
TT=1800.38
T1=10.29
SAT (TO)
f=4804723446
TT=1800.25
T1=1773.75
SAT (TO)
f=4258348047
TT=1800.21
T1=1420.61
? (MO)

TT=14.58

SAT (TO)
f=3523081465
TT=1800.38
T1=13.8
SAT (TO)
f=3523081465
TT=1800.62
T1=13.58
SAT (TO)
f=3523081465
TT=1800.41
T1=10.29
SAT
f=2877069994
TT=1790.12
T1=1790.17
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-sp98ar.opb
SAT
f=4210086003
TT=1800.48
T1=458.28
SAT (TO)
f=7136580134
TT=1800.24
T1=1616.43
SAT (TO)
f=6542420514
TT=1800.19
T1=1057.69
? (MO)

TT=14.59

SAT (TO)
f=4210086003
TT=1800.48
T1=458.28
SAT (TO)
f=4210416996
TT=1803.29
T1=18.17
SAT (TO)
f=4210416996
TT=1800.43
T1=9.88
SAT
f=3486024126
TT=1790.73
T1=1790.73
normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-sp98ic.opb
SAT
f=3860756214
TT=1800.63
T1=769.54
SAT (TO)
f=5435908032
TT=1800.22
T1=942.6
SAT (TO)
f=4476235079
TT=1800.19
T1=1558.81
? (MO)

TT=14.19

SAT (TO)
f=3897566335
TT=1800.5
T1=11.17
SAT (TO)
f=3860756214
TT=1800.63
T1=769.54
SAT (TO)
f=3897566335
TT=1800.45
T1=7.53
SAT
f=2945929940
TT=1790.12
T1=1790.18
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-tr12-30.opb




? (TO)

TT=1800.1

? (TO)

TT=1800.11

? (MO)

TT=74.97

? (TO)

TT=1800.32

? (TO)

TT=1800.68

? (TO)

TT=1800.22

?

TT=1789.71

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-trento1.opb




? (TO)

TT=1800.03

? (TO)

TT=1800.08

? (MO)

TT=19.29

? (TO)

TT=1800.18

? (TO)

TT=1800.32

? (TO)

TT=1800.18

Wrong UNSAT

TT=66.586

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-UMTS.opb
SAT
f=32998130
TT=1800.53
T1=284.88
Wrong UNSAT

TT=3.048

? (TO)

TT=1800.13

? (MO)

TT=73.96

SAT (TO)
f=41053975
TT=1800.38
T1=1765.52
SAT (TO)
f=32998130
TT=1800.53
T1=284.88
SAT (TO)
f=36250445
TT=1800.36
T1=1239.18
SAT
f=34327012
TT=1789.67
T1=1649.48
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
SAT
f=126976
TT=1800.57
T1=1514.55
SAT (TO)
f=152576
TT=1800.11
T1=1693.07
SAT (TO)
f=149504
TT=1800.13
T1=1726.22
? (MO)

TT=15.09

? (TO)

TT=1800.27

SAT (TO)
f=130048
TT=1800.63
T1=917.32
SAT (TO)
f=126976
TT=1800.57
T1=1514.55
?

TT=1789.63

normalized-PB06/OPT-BIGINT/
mps-v2-20-10/plato.asu.edu/pub/unibo/
normalized-mps-v2-20-10-van.opb
SAT
f=25442247019
TT=1800.66
T1=78.89
? (MO)

TT=44.637

? (MO)

TT=41.589

? (MO)

TT=15.7

SAT (TO)
f=25442247019
TT=1800.7
T1=1091.53
SAT (TO)
f=25442247019
TT=1801.05
T1=396.1
SAT (TO)
f=25442247019
TT=1800.66
T1=78.89
?

TT=1793.98

normalized-PB06/OPT-BIGINT/mps-v2-20-10/
www.csit.fsu.edu/~burkardt/datasets/
mps/normalized-mps-v2-20-10-maros.opb
OPT
f=344750
TT=3.686
T1=2.09
Wrong Opt.
f=344836
TT=5.588
T1=4.46
OPT
f=344750
TT=6.152
T1=4.86
? (TO)

TT=1800.01

OPT
f=344750
TT=3.686
T1=2.09
OPT
f=344750
TT=6.324
T1=89.82
OPT
f=344750
TT=13.623
T1=10.25
OPT
f=344750
TT=0.3
T1=0.28
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
www.csit.fsu.edu/~burkardt/datasets/mps/
normalized-mps-v2-20-10-nazareth.opb
OPT
f=-1073741823
TT=0.049
T1=0.04
OPT
f=-1073741823
TT=0.083
T1=0.08
OPT
f=-1073741823
TT=0.049
T1=0.04
? (TO)

TT=1800.02

OPT
f=-1073741823
TT=0.331
T1=0.25
OPT
f=-1073741823
TT=0.343
T1=1.25
OPT
f=-1073741823
TT=0.327
T1=0.25
OPT
f=-1073741823
TT=0.029
T1=0.02
normalized-PB06/OPT-BIGINT/mps-v2-20-10/
www.csit.fsu.edu/~burkardt/datasets/mps/
normalized-mps-v2-20-10-testprob.opb
OPT
f=9663726592
TT=0.037
T1=0.03
OPT
f=9663726592
TT=0.04
T1=0.03
OPT
f=9663726592
TT=0.037
T1=0.03
? (TO)

TT=1800.1

OPT
f=9663726592
TT=0.395
T1=0.29
OPT
f=9663726592
TT=0.461
T1=2.25
OPT
f=9663726592
TT=0.391
T1=0.28
OPT
f=9663726592
TT=0.041
T1=0.03
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/ftp.netlib.org/lp/data/
normalized-mps-v2-20-10-fit1d.opb
SAT
f=53066119
TT=1800.37
T1=528.53
? (TO)

TT=1800.17

? (TO)

TT=1800.22

? (MO)

TT=16.7

SAT (TO)
f=53066119
TT=1800.37
T1=566.36
SAT (TO)
f=53066119
TT=1803.12
T1=528.53
? (TO)

TT=1800.25

SAT
f=0
TT=1790.07
T1=0.64
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-aflow30a.opb
SAT
f=1496
TT=1800.32
T1=75.07
? (TO)

TT=1800.05

? (TO)

TT=1800.1

? (MO)

TT=87.2

? (TO)

TT=1800.26

SAT (TO)
f=1496
TT=1800.45
T1=87.51
SAT (TO)
f=1496
TT=1800.32
T1=75.07
?

TT=1789.84

normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-aflow40b.opb




? (TO)

TT=1800.13

? (TO)

TT=1800.21

? (MO)

TT=54.88

? (TO)

TT=1800.19

? (TO)

TT=1800.3

? (TO)

TT=1800.19

?

TT=1790.36

normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-air04.opb




? (TO)

TT=1800.11

? (TO)

TT=1800.06

? (MO)

TT=64.27

? (TO)

TT=1800.22

? (TO)

TT=1800.66

? (TO)

TT=1800.25

OPT
f=56137
TT=360.414
T1=312.01
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-air05.opb
SAT
f=37941
TT=1800.28
T1=711.62
? (TO)

TT=1800.11

? (TO)

TT=1800.04

? (MO)

TT=249.06

SAT (TO)
f=40202
TT=1800.39
T1=32.32
SAT (TO)
f=38008
TT=1800.35
T1=683.09
SAT (TO)
f=37941
TT=1800.28
T1=711.62
OPT
f=26374
TT=145.669
T1=139.93
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-nw04.opb
SAT
f=15306
TT=1800.55
T1=1509.54
? (MO)

TT=34.634

? (MO)

TT=31.404

? (MO)

TT=15.21

SAT (TO)
f=15306
TT=1800.55
T1=1509.54
SAT (TO)
f=19943
TT=1800.72
T1=441.67
SAT (TO)
f=19943
TT=1800.48
T1=460.81
OPT
f=8431
TT=159.59
T1=148.87
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-t1717.opb
SAT
f=376929
TT=1800.63
T1=12.29
? (TO)

TT=1800.24

? (TO)

TT=1800.22

? (MO)

TT=15.81

SAT (TO)
f=415928
TT=1800.56
T1=476.72
SAT (TO)
f=376929
TT=1800.64
T1=13.69
SAT (TO)
f=376929
TT=1800.63
T1=12.29
?

TT=1790.9

normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-vpm2.opb
SAT
f=128
TT=1800.26
T1=1297.28
? (TO)

TT=1800.08

? (TO)

TT=1800.12

? (TO)

TT=1800.02

? (TO)

TT=1800.22

? (TO)

TT=1802.69

SAT (TO)
f=128
TT=1800.26
T1=1297.28
SAT
f=55
TT=1789.48
T1=1304.73
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-gt2.opb
OPT
f=21166
TT=4.76
T1=2.88
SAT (TO)
f=37094
TT=1800.1
T1=1360.22
SAT (TO)
f=24266
TT=1800.06
T1=1054.93
? (TO)

TT=1800.02

OPT
f=21166
TT=4.76
T1=2.88
OPT
f=21166
TT=12.34
T1=8.6
SAT (TO)
f=23092
TT=1800.16
T1=1768.77
OPT
f=21166
TT=1.666
T1=1.64
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-air01.opb
OPT
f=3398
TT=9.485
T1=3.48
SAT (TO)
f=3543
TT=1800.02
T1=1419.71
SAT (TO)
f=3425
TT=1800.07
T1=1519.78
? (TO)

TT=1800.02

OPT
f=3398
TT=9.485
T1=3.48
OPT
f=3398
TT=26.157
T1=8.78
OPT
f=3398
TT=11.983
T1=7.63
OPT
f=3398
TT=0.309
T1=0.23
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-air02.opb
SAT
f=4492
TT=1800.31
T1=1000.63
SAT (TO)
f=32927
TT=1800.11
T1=728.43
SAT (TO)
f=32927
TT=1800.15
T1=724.98
? (MO)

TT=68.37

SAT (TO)
f=4492
TT=1800.31
T1=1000.63
SAT (TO)
f=4565
TT=1800.62
T1=375.8
SAT (TO)
f=4565
TT=1800.43
T1=1307.36
OPT
f=3905
TT=43.645
T1=43.5
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-air03.opb
SAT
f=200394
TT=1800.4
T1=750.79
? (TO)

TT=1800.06

SAT (TO)
f=484446
TT=1800.09
T1=1519.58
? (MO)

TT=54.17

SAT (TO)
f=200394
TT=1800.4
T1=813.62
SAT (TO)
f=200394
TT=1800.54
T1=750.79
SAT (TO)
f=224041
TT=1800.62
T1=100.79
OPT
f=170080
TT=57.142
T1=56.94
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-air06.opb
SAT
f=67237
TT=1800.32
T1=1133.85
? (TO)

TT=1800.15

? (TO)

TT=1800.07

? (MO)

TT=63.83

? (TO)

TT=1800.21

SAT (TO)
f=72418
TT=1800.59
T1=881.49
SAT (TO)
f=67237
TT=1800.32
T1=1133.85
OPT
f=49649
TT=26.107
T1=26.03
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-enigma.opb
OPT
f=0
TT=1.168
T1=1.16
OPT
f=0
TT=14.639
T1=14.63
OPT
f=0
TT=1.168
T1=1.16
OPT
f=0
TT=343.174
T1=343.18
OPT
f=0
TT=648.076
T1=639.6
OPT
f=0
TT=9.045
T1=6.18
OPT
f=0
TT=2.867
T1=1.9
OPT
f=0
TT=0.095
T1=0.08
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0282.opb
OPT
f=258411
TT=2.282
T1=1.69
Wrong Opt.
f=288883
TT=1.187
T1=1.1
OPT
f=258411
TT=2.282
T1=2.24
? (TO)

TT=1800.03

OPT
f=258411
TT=10.083
T1=6.57
OPT
f=258411
TT=6.24
T1=19.73
OPT
f=258411
TT=3.641
T1=1.69
OPT
f=258411
TT=0.931
T1=0.91
Bench nameBest resultsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0291.opb
OPT
f=10447498
TT=0.386
T1=0.36
Wrong Opt.
f=12192253
TT=0.841
T1=0.81
OPT
f=10447498
TT=0.386
T1=0.36
? (TO)

TT=1800.08

OPT
f=10447498
TT=4.59
T1=2.17
OPT
f=10447498
TT=3.012
T1=7.53
OPT
f=10447498
TT=1.213
T1=0.64
OPT
f=10447498
TT=0.281
T1=0.22
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p6000.opb
SAT
f=-893576
TT=1800.36
T1=707.81
SAT (TO)
f=-377364
TT=1800.1
T1=729.05
SAT (TO)
f=-379186
TT=1800.06
T1=414.47
? (TO)

TT=1800.09

SAT (TO)
f=-893576
TT=1800.36
T1=707.81
SAT (TO)
f=-893576
TT=1800.63
T1=753.02
SAT (TO)
f=-741848
TT=1800.29
T1=98.26
OPT
f=-2451377
TT=1074.05
T1=1070.49
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-pipex.opb
OPT
f=788263
TT=6.321
T1=3
Wrong UNSAT

TT=0.021

OPT
f=788263
TT=195.174
T1=16.5
? (TO)

TT=1800.01

OPT
f=788263
TT=6.321
T1=3
OPT
f=788263
TT=8.105
T1=8.33
OPT
f=788263
TT=20.528
T1=16.5
OPT
f=788263
TT=0.463
T1=0.44
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-vpm1.opb
SAT
f=20
TT=1800.22
T1=1239.5
? (TO)

TT=1800.03

? (TO)

TT=1800.07

? (TO)

TT=1800.08

? (TO)

TT=1800.25

? (TO)

TT=1803.1

SAT (TO)
f=20
TT=1800.22
T1=1239.5
SAT
f=27
TT=1789.63
T1=628.56
normalized-PB06/OPT-MEDINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos9.opb




? (MO)

TT=31.475

? (MO)

TT=27.869

? (MO)

TT=15.42

? (TO)

TT=1800.31

? (TO)

TT=1802.17

? (TO)

TT=1800.26

? (MO)

TT=30.8

normalized-PB06/OPT-MEDINT/mps-v2-20-10/
plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-seymour1.opb
SAT
f=471080
TT=1800.38
T1=319.54
SAT (MO)
f=519925
TT=1434.65
T1=672.96
SAT (MO)
f=516565
TT=1455.95
T1=510.57
? (MO)

TT=17.31

SAT (TO)
f=471080
TT=1800.38
T1=319.54
SAT (TO)
f=471080
TT=1800.6
T1=329.78
SAT (TO)
f=471086
TT=1800.46
T1=4.02
SAT
f=455200
TT=1789.87
T1=1300.16



StatisticsPB/CT
0.1
(complete)
PB/CT
0.1 fixed
(complete)
PBPASSolver
2010-06-13
(complete)
SAT4J PB CuttingPlanes
2.2.0 2010-05-26
(complete)
SAT4J PB RES // CP
2.2.0 2010-05-31
(complete)
SAT4J PB Resolution
2.2.0 2010-05-26
(complete)
SCIPspx
SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
(complete)
Number of times the solver is able to give the best known answer0370851221320
Number of times the solver is the best solver from a complete solver point of view
(i.e. best known answer and best TT time)
01305852970