PB'09 competition: results by benchmark

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

This page displays the results of the different solvers for each benchmark for category optimisation, small integers, linear constraints (OPT-SMALLINT-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:
bsolo 3.1 (complete)
bsolo 3.1 cl (complete)
bsolo 3.1 pb (complete)
pbclasp 2009-04-24 (complete)
SAT4J Pseudo CP 2.1.1 (complete)
SAT4J Pseudo Resolution 2.1.1 (complete)
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete)
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)
wbo 1.0 (complete)

Bench nameBest results
on this
instance		bsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-10teams.opb 		OPT
f=904
TT=50.263
T1=50.25
 SAT (TO)
f=910
TT=1800.11
T1=224.8
 SAT
f=980
TT=1798.03
T1=1233.23
 SAT
f=942
TT=1798.1
T1=1144.54
 SAT (TO)
f=922
TT=1800.1
T1=1529.82
 SAT (TO)
f=1008
TT=1800.37
T1=304.17
 SAT (TO)
f=938
TT=1800.56
T1=503.09
 OPT
f=904
TT=41.83
T1=41.81
 OPT
f=904
TT=50.263
T1=50.25
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-fast0507.opb 		SAT
f=175
TT=1795.58
T1=1729
 SAT
f=299
TT=1799.63
T1=700.22
 SAT (MO)
f=299
TT=1698.03
T1=182.96
 SAT
f=322
TT=1798.75
T1=181.11
 SAT (TO)
f=333
TT=1800.02
T1=321.33
 SAT (TO)
f=259
TT=1800.5
T1=200.54
 SAT (TO)
f=259
TT=1800.64
T1=10.99
 SAT
f=175
TT=1795.04
T1=1398.97
 SAT
f=175
TT=1795.58
T1=1729
 ? (TO)

TT=1800.14
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-manna81.opb 		OPT
f=-13164
TT=522.394
T1=522.21
 SAT (MO)
f=-11458
TT=571.639
T1=72.21
 SAT (MO)
f=-11458
TT=252.091
T1=33.36
 SAT
f=-11414
TT=1798.33
T1=1623.64
 SAT (TO)
f=-11034
TT=1800.01
T1=95.51
 SAT (TO)
f=-11504
TT=1800.53
T1=1364.97
 SAT (TO)
f=-11432
TT=1800.68
T1=9
 OPT
f=-13164
TT=60.423
T1=60.21
 OPT
f=-13164
TT=522.394
T1=522.21
 ? (MO)

TT=192.044
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mzzv11.opb 		SAT
f=-10664
TT=1801.04
T1=1730.18
 SAT
f=-8507
TT=1798.06
T1=1788.66
 SAT
f=-8374
TT=1798.07
T1=1726.11
 SAT
f=-7231
TT=1798.08
T1=1720.51
 SAT (TO)
f=-6621
TT=1800.08
T1=1778.68
 SAT (TO)
f=-10275
TT=1800.59
T1=930.56
 SAT (TO)
f=-10664
TT=1801.04
T1=1730.18
 ? (TO)

TT=1802.08

 ?

TT=1796.48

 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-mzzv42z.opb 		OPT
f=-10270
TT=590.273
T1=551.91
 SAT
f=-9326
TT=1798.05
T1=1792.26
 SAT
f=-9350
TT=1798.06
T1=1747.62
 SAT
f=-8883
TT=1798.07
T1=1623.59
 SAT (TO)
f=-6482
TT=1800.09
T1=1732.38
 SAT (TO)
f=-9800
TT=1800.46
T1=538.38
 OPT
f=-10270
TT=590.273
T1=551.91
 SAT
f=-9900
TT=1796.42
T1=1787.96
 ?

TT=1795.62

 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-net12.opb 		OPT
f=214
TT=13.955
T1=4.29
 OPT
f=214
TT=18.649
T1=3.89
 OPT
f=214
TT=13.955
T1=4.29
 OPT
f=214
TT=20.243
T1=11.95
 OPT
f=214
TT=24.618
T1=20.2
 SAT (TO)
f=214
TT=1800.8
T1=173.54
 OPT
f=214
TT=39.904
T1=32.8
 ? (TO)

TT=1800.2

 ? (TO)

TT=1800.16

 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-opt1217.opb 		SAT
f=-16384
TT=1802.22
T1=10.03
 SAT
f=-14335
TT=1798.02
T1=0.87
 SAT
f=-12287
TT=1798.02
T1=0.06
 SAT
f=-12287
TT=1798.4
T1=0.34
 ? (TO)

TT=1800.04

 SAT (TO)
f=-12553
TT=1800.19
T1=1117.66
 SAT (TO)
f=0
TT=1800.44
T1=0.74
 SAT (TO)
f=-16384
TT=1802.22
T1=3.24
 SAT (TO)
f=-16384
TT=1802.22
T1=10.03
 ? (TO)

TT=1800.14
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-p2756.opb 		OPT
f=3124
TT=4.715
T1=4.67
 SAT
f=4341
TT=1798.08
T1=1791.76
 SAT
f=3701
TT=1798.14
T1=519.31
 SAT
f=4375
TT=1798.39
T1=101.47
 SAT (TO)
f=8095
TT=1800.09
T1=1518.51
 SAT (TO)
f=3703
TT=1800.29
T1=872.6
 SAT (TO)
f=4102
TT=1800.73
T1=1008.16
 OPT
f=3124
TT=5.269
T1=5.24
 OPT
f=3124
TT=4.715
T1=4.67
 ? (TO)

TT=1800.31
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-protfold.opb 		SAT
f=-26
TT=1800.06
T1=802.02
 SAT
f=-22
TT=1798.15
T1=3.46
 SAT
f=-22
TT=1798.12
T1=344.03
 SAT
f=-22
TT=1798.09
T1=1412.76
 SAT (TO)
f=-26
TT=1800.06
T1=802.02
 SAT (TO)
f=-20
TT=1800.3
T1=869.57
 SAT (TO)
f=-24
TT=1800.77
T1=74.33
 ?

TT=1793.68

 ?

TT=1796.75

 ? (TO)

TT=1800.31
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib2003/
normalized-mps-v2-20-10-seymour.opb 		SAT
f=426
TT=1797.18
T1=653.98
 SAT
f=461
TT=1798.1
T1=61.67
 SAT
f=461
TT=1798.02
T1=62.25
 SAT
f=461
TT=1798.03
T1=62.26
 SAT (TO)
f=489
TT=1800.08
T1=947.47
 SAT (TO)
f=483
TT=1800.39
T1=853.65
 SAT (TO)
f=490
TT=1801.03
T1=0.98
 SAT (TO)
f=426
TT=1800.37
T1=267.65
 SAT
f=426
TT=1797.18
T1=653.98
 ? (TO)

TT=1800.3
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib3/
normalized-mps-v2-20-10-mitre.opb 		OPT
f=7677
TT=36.816
T1=36.69
 SAT (MO)
f=8967
TT=1102.76
T1=28.91
 SAT (MO)
f=8956
TT=885.753
T1=23.03
 SAT
f=8978
TT=1798.2
T1=46.45
 SAT (TO)
f=10879
TT=1800.03
T1=1458.75
 SAT (TO)
f=7680
TT=1800.56
T1=22.22
 SAT (TO)
f=7680
TT=1800.77
T1=16.16
 OPT
f=7677
TT=24.938
T1=22.46
 OPT
f=7677
TT=36.816
T1=36.69
 ? (MO)

TT=325.269
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-bm23.opb 		OPT
f=34
TT=0.059
T1=0.04
 OPT
f=34
TT=0.435
T1=0.26
 OPT
f=34
TT=0.473
T1=0.29
 OPT
f=34
TT=0.278
T1=0.12
 OPT
f=34
TT=0.059
T1=0.04
 OPT
f=34
TT=3.827
T1=1.64
 OPT
f=34
TT=1.641
T1=0.84
 OPT
f=34
TT=0.327
T1=0.21
 OPT
f=34
TT=0.329
T1=0.2
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-cracpb1.opb 		OPT
f=22199
TT=0.416
T1=0.4
 SAT
f=48704
TT=1798.05
T1=1683.39
 SAT
f=56503
TT=1798.06
T1=499.18
 SAT
f=57828
TT=1798.16
T1=1676.39
 SAT (TO)
f=116299
TT=1800.1
T1=1758.11
 SAT (TO)
f=47897
TT=1800.28
T1=87.59
 SAT (TO)
f=40201
TT=1800.66
T1=344.21
 OPT
f=22199
TT=0.361
T1=0.34
 OPT
f=22199
TT=0.416
T1=0.4
 ? (TO)

TT=1800.36
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-diamond.opb 		UNSAT

TT=0.001

 UNSAT

TT=0.002

 UNSAT

TT=0.003

 UNSAT

TT=0.001

 UNSAT

TT=0.016

 UNSAT

TT=0.299

 UNSAT

TT=0.275

 UNSAT

TT=0.022

 UNSAT

TT=0.022

 UNSAT

TT=0.001
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-l152lav.opb 		OPT
f=4722
TT=11.649
T1=10.97
 SAT
f=4747
TT=1798.15
T1=642.32
 ?

TT=1798.14

 ?

TT=1799.98

 ? (TO)

TT=1800.06

 ? (TO)

TT=1800.26

 ? (TO)

TT=1800.36

 OPT
f=4722
TT=11.277
T1=10.69
 OPT
f=4722
TT=11.649
T1=10.97
 ? (TO)

TT=1800.27
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-lp4l.opb 		OPT
f=2967
TT=0.555
T1=0.48
 SAT
f=3097
TT=1798.21
T1=636.87
 SAT
f=3103
TT=1798.18
T1=968.43
 SAT
f=3013
TT=1798.45
T1=1599.67
 SAT (TO)
f=4075
TT=1800.05
T1=785.28
 SAT (TO)
f=4049
TT=1800.3
T1=843.14
 SAT (TO)
f=4062
TT=1800.96
T1=756.39
 OPT
f=2967
TT=0.485
T1=0.39
 OPT
f=2967
TT=0.555
T1=0.48
 ? (TO)

TT=1800.23
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-lseu.opb 		OPT
f=1120
TT=0.624
T1=0.56
 OPT
f=1120
TT=434.205
T1=331.18
 OPT
f=1120
TT=435.382
T1=352.03
 OPT
f=1120
TT=49.96
T1=44.75
 OPT
f=1120
TT=250.471
T1=240.23
 SAT (TO)
f=1128
TT=1800.26
T1=1033.19
 OPT
f=1120
TT=889.927
T1=351.2
 OPT
f=1120
TT=0.471
T1=0.43
 OPT
f=1120
TT=0.624
T1=0.56
 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-mod008.opb 		OPT
f=307
TT=1.019
T1=0.65
 OPT
f=307
TT=817.821
T1=375.43
 OPT
f=307
TT=335.074
T1=47.76
 SAT
f=344
TT=1798.08
T1=292.44
 SAT (TO)
f=307
TT=1800.04
T1=14.93
 OPT
f=307
TT=1339.84
T1=15.86
 SAT (TO)
f=307
TT=1800.5
T1=928.62
 OPT
f=307
TT=1.094
T1=0.61
 OPT
f=307
TT=1.019
T1=0.65
 ? (TO)

TT=1800.15
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-mod010.opb 		OPT
f=6548
TT=3.697
T1=3.5
 ?

TT=1798.3

 ?

TT=1798.21

 ?

TT=1798.58

 ? (TO)

TT=1800.01

 ? (TO)

TT=1800.25

 ? (TO)

TT=1800.61

 OPT
f=6548
TT=2.739
T1=2.71
 OPT
f=6548
TT=3.697
T1=3.5
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0033.opb 		OPT
f=3089
TT=0.023
T1=0.01
 OPT
f=3089
TT=0.103
T1=0.01
 OPT
f=3089
TT=0.096
T1=0.04
 OPT
f=3089
TT=0.087
T1=0.04
 OPT
f=3089
TT=0.023
T1=0.01
 OPT
f=3089
TT=0.965
T1=0.55
 OPT
f=3089
TT=0.853
T1=0.34
 OPT
f=3089
TT=0.081
T1=0.07
 OPT
f=3089
TT=0.144
T1=0.13
 ? (TO)

TT=1800.23
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0040.opb 		OPT
f=62027
TT=0.013
T1=0.01
 OPT
f=62027
TT=0.055
T1=0.04
 OPT
f=62027
TT=0.053
T1=0.04
 OPT
f=62027
TT=0.053
T1=0.04
 OPT
f=62027
TT=4.187
T1=1.95
 OPT
f=62027
TT=0.955
T1=0.35
 OPT
f=62027
TT=63.78
T1=0.27
 OPT
f=62027
TT=0.043
T1=0.03
 OPT
f=62027
TT=0.043
T1=0.03
 OPT
f=62027
TT=0.013
T1=0.01
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0201.opb 		OPT
f=1523
TT=3.677
T1=1.86
 OPT
f=1523
TT=43.085
T1=38.01
 OPT
f=1523
TT=48.222
T1=42.06
 OPT
f=1523
TT=42.39
T1=33.08
 SAT (TO)
f=1523
TT=1800.05
T1=512.09
 SAT (TO)
f=1555
TT=1800.23
T1=734.4
 SAT (TO)
f=1523
TT=1801.31
T1=776.01
 OPT
f=1523
TT=3.694
T1=1.83
 OPT
f=1523
TT=3.677
T1=1.86
 ? (TO)

TT=1800.21
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-p0548.opb 		OPT
f=8691
TT=0.657
T1=0.64
 ?

TT=1798.01

 ?

TT=1798

 SAT
f=12572
TT=1798.01
T1=1128.93
 SAT (TO)
f=13145
TT=1800.06
T1=1397.23
 SAT (TO)
f=9472
TT=1800.23
T1=425.26
 SAT (TO)
f=31217
TT=1800.74
T1=1362.98
 OPT
f=8691
TT=0.577
T1=0.56
 OPT
f=8691
TT=0.657
T1=0.64
 ? (TO)

TT=1800.19
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-sentoy.opb 		OPT
f=-7772
TT=0.827
T1=0.69
 OPT
f=-7772
TT=56.738
T1=56.68
 OPT
f=-7772
TT=77.144
T1=77.08
 OPT
f=-7772
TT=16.285
T1=16.23
 OPT
f=-7772
TT=1.123
T1=0.69
 OPT
f=-7772
TT=5.14
T1=1.87
 OPT
f=-7772
TT=14.232
T1=7.69
 OPT
f=-7772
TT=0.8
T1=0.78
 OPT
f=-7772
TT=0.827
T1=0.8
 ? (TO)

TT=1800.18
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/MIPLIB/miplib/
normalized-mps-v2-20-10-stein45.opb 		OPT
f=30
TT=30.539
T1=0.41
 OPT
f=30
TT=337.048
T1=4.37
 OPT
f=30
TT=292.136
T1=4.3
 OPT
f=30
TT=333.981
T1=3.28
 OPT
f=30
TT=30.539
T1=0.41
 SAT (TO)
f=30
TT=1800.26
T1=1.71
 SAT (TO)
f=30
TT=1800.38
T1=0.74
 OPT
f=30
TT=75.117
T1=5.62
 OPT
f=30
TT=46.142
T1=4.06
 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos10.opb 		OPT
f=-1135
TT=5.066
T1=4.15
 OPT
f=-1135
TT=27.476
T1=27.34
 OPT
f=-1135
TT=27.094
T1=27.02
 OPT
f=-1135
TT=34.036
T1=33.37
 OPT
f=-1135
TT=5.066
T1=4.15
 OPT
f=-1135
TT=1638.22
T1=1116.37
 OPT
f=-1135
TT=14.776
T1=10.8
 OPT
f=-1135
TT=136.943
T1=136.47
 OPT
f=-1135
TT=145.913
T1=145.67
 ? (MO)

TT=362.391
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos16.opb 		SAT
f=114
TT=1800.1
T1=120.27
 Wrong Opt.
f=121
TT=217.378
T1=23.71
 SAT
f=116
TT=1798.01
T1=1639.25
 SAT
f=119
TT=1798.01
T1=154.55
 SAT (TO)
f=114
TT=1800.1
T1=311.65
 SAT (TO)
f=118
TT=1800.24
T1=8.41
 SAT (TO)
f=114
TT=1800.46
T1=120.27
 SAT (TO)
f=114
TT=1800.31
T1=1608.98
 ? (TO)

TT=1800.17

 ? (TO)

TT=1800.13
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos18.opb 		OPT
f=16
TT=0.376
T1=0.13
 OPT
f=16
TT=1.582
T1=0.51
 OPT
f=16
TT=1.489
T1=0.25
 OPT
f=16
TT=3.949
T1=0.35
 OPT
f=16
TT=0.376
T1=0.13
 OPT
f=16
TT=9.257
T1=3.85
 OPT
f=16
TT=3.033
T1=1.33
 OPT
f=16
TT=327.411
T1=72.73
 OPT
f=16
TT=567.126
T1=82.13
 OPT
f=16
TT=2.231
T1=2.22
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/
milp/normalized-mps-v2-20-10-neos19.opb 		SAT
f=-3
TT=1798.33
T1=195.64
 SAT
f=-3
TT=1798.35
T1=196.71
 SAT
f=-3
TT=1798.33
T1=195.86
 SAT
f=-3
TT=1798.42
T1=195.64
 ? (TO)

TT=1800

 ? (TO)

TT=1800.41

 ? (TO)

TT=1800.64

 ? (MO)

TT=17.948

 ? (MO)

TT=17.33

 ? (TO)

TT=1800.26
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos1.opb 		OPT
f=19
TT=11.553
T1=11.49
 SAT (TO)
f=27
TT=1800.09
T1=2.78
 SAT
f=24
TT=1798.03
T1=1007.64
 SAT (TO)
f=28
TT=1800.2
T1=0.16
 SAT (TO)
f=32
TT=1800.12
T1=0.08
 SAT (TO)
f=24
TT=1800.52
T1=1.99
 SAT (TO)
f=24
TT=1801.7
T1=1.2
 OPT
f=19
TT=10.26
T1=10.2
 OPT
f=19
TT=11.553
T1=11.49
 ? (MO)

TT=1546.25
Bench nameBest resultsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos5.opb 		SAT
f=15360
TT=1800.69
T1=69.18
 SAT
f=17408
TT=1798.02
T1=0.35
 SAT
f=17408
TT=1798.01
T1=0.35
 SAT
f=17403
TT=1798.02
T1=1517.75
 SAT (TO)
f=17408
TT=1800.11
T1=1105.06
 SAT (TO)
f=17408
TT=1800.31
T1=4.38
 SAT (TO)
f=17393
TT=1800.87
T1=873.54
 SAT (TO)
f=15360
TT=1800.7
T1=50.93
 SAT (TO)
f=15360
TT=1800.69
T1=69.18
 ? (TO)

TT=1800.08
normalized-PB06/OPT-SMALLINT/
mps-v2-20-10/plato.asu.edu/pub/milp/
normalized-mps-v2-20-10-neos8.opb 		OPT
f=-3719
TT=4.36
T1=3.93
 OPT
f=-3719
TT=24.557
T1=24.54
 OPT
f=-3719
TT=24.583
T1=24.57
 OPT
f=-3719
TT=25.011
T1=24.94
 OPT
f=-3719
TT=4.36
T1=3.93
 OPT
f=-3719
TT=72.291
T1=57.11
 OPT
f=-3719
TT=9.163
T1=6.4
 OPT
f=-3719
TT=126.479
T1=126.19
 OPT
f=-3719
TT=127.912
T1=127.66
 ? (MO)

TT=152.79



Statisticsbsolo
3.1
(complete)		bsolo
3.1 cl
(complete)		bsolo
3.1 pb
(complete)		pbclasp
2009-04-24
(complete)		SAT4J Pseudo CP
2.1.1
(complete)		SAT4J Pseudo Resolution
2.1.1
(complete)		SCIPclp
SCIP 1.1.0.7 with CLP 1.8.2
(complete)		SCIPspx
SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
(complete)		wbo
1.0
(complete)
Number of times the solver is able to give the best known answer01413139130263
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)		0218030182