Towards MINLPLib 2minlp.cheme.cmu.edu/2014/papers/vigerske.pdf · 2001 GAMSWorld...

Towards MINLPLib 2.0

Stefan Vigerske

4th June 2014

MINLP 2014, CMU

Model instance collectionsCollecting optimization problems has been popular for long, e.g.,

first release library problem types1985 Netlib Linear Programming1992 MIPLIB Mixed-Integer Programming1993 CUTE Nonlinear Programming1998 SDPLib Semidefinite Programming1999 CSPLib Constraint Satisfaction Programming199x MacMINLP Mixed-Integer Nonlinear Programming2001 GAMS World LP, MIP, NLP, MINLP, SOCP, MPEC2008 mintOC Mixed-Integer Optimal Control2009 minlp.org MINLP, General Disjunctive Programming2011 POLIP Mixed-Integer Polynomial Programming2014 CBLIB Conic Programming

I for solver developers, access to a wide set of interesting problem instanceswith different characteristics has always been important

I commercial solver vendors test their solver on thousands of test problemsbefore releasing a new software version

I the evaluation of algorithmic improvements (w.r.t. robustness and efficiency)requires well-balanced test sets of significantly many real-world instances

2 / 26

MINLPLib http://www.gamsworld.org/minlp/minlplib.htmI Initiated in 2001 (as part of GamsWorld/MinlpWorld):

M. Bussieck, A. Drud, and A. MeerausMINLPLib – A Collection of Test Models for Mixed-Integer Nonlinear ProgrammingINFORMS Journal on Computing 15, 114–119 (2003)

I frequently used for testing, but also benchmarking: 111 citations

Citations per year(Google Scholar)

3 / 26

http://www.gamsworld.org/minlp/minlplib.htm

MINLPLib MINLPs

The MINLPs in MINLPLib are of the form

min f (x),

s.t. g≤(x) ≤ 0,g≥(x) ≥ 0,g=(x) = 0,xi ∈ [x i , x̄i ], i ∈ {1, . . . , n} \ Sxi ∈ 0 ∪ [x i , x̄i ], i ∈ S , (semicontinuity)xi ∈ Z, i ∈ ISOS1...SOS2...

whereI f , g≤, g≥, and g= are given by algebraic expressionsI I ,S ⊆ {1, . . . , n}

4 / 26

MINLPLib InstancesI scalar GAMS format

Variables x1,x2,b3,b4,b5,objvar;Positive Variables x1,x2;Binary Variables b3,b4,b5;Equations e1,e2,e3,e4,e5,e6;e1.. - 2*x1 - 3*x2 - 1.5*b3 - 2*b4 + 0.5*b5 + objvar =E= 0;e2.. sqr(x1) + b3 =E= 1.25;e3.. x2**1.5 + 1.5*b4 =E= 3;e4.. x1 + b3 =L= 1.6;e5.. 1.333*x2 + b4 =L= 3;e6.. - b3 - b4 + b5 =L= 0;

I online translation service to other formats (GAMS/Convert)

I varying from small scale (great for debugging!) to large scale real worldinstances (agricultural economics, chemical-, civil-, and electrical engineering,finance, management, OR)

I intentionally including instances from badly formulated models or differentformulations of the same problem

I including solution points for many instancesI solely an instance collection, i.e., consisting of instantiations of models by

specific data setsI for a MINLP model library, look at http://www.minlp.org

5 / 26

http://www.minlp.org



I online translation service to other formats (GAMS/Convert)I varying from small scale (great for debugging!) to large scale real world

instances (agricultural economics, chemical-, civil-, and electrical engineering,finance, management, OR)




5 / 26







I including solution points for many instances

I solely an instance collection, i.e., consisting of instantiations of models byspecific data sets

I for a MINLP model library, look at http://www.minlp.org

5 / 26









5 / 26


MINLPLib HistoryI instances were harvested from existing collections, initially:

I GAMS Model LibraryI MacMINLP (Leyffer)I MINOPT library (Floudas)I Handbook of Test Problems in Local and Global Optimization (Floudas et.al.)

I 2001 – 2009: maintained by M. BussieckI new instances were addedI new incumbent solutions were addedI in 2009: Michael “volunteered” me as maintainer

2003 2005 2007 2009 2011 2013160

180

200

220

240

260

280MINLPLib - Number of Instances

6 / 26

MINLPLib 2.0

Tasks:I Adding new problem instances:

I both convex and nonconvex MINLPsI MIQPs, MIQCQPs, and MINLPsI easy solvable, solvable, difficult to solve, but not trivial

I Categorizing instancesI convexityI problem type (quadratic, polynomial, general nonlinear)I function types (powers, exp/log, trigonometric, ...)I solved to global optimality?

I Providing feasible best known solutions

Work in progress, alpha version publicly available:http://www.gamsworld.org/minlp/minlplib2/html/index.html.

Learn from MIPLIB2010 (Koch et.al., 2011) work. 7 / 26

http://www.gamsworld.org/minlp/minlplib2/html/index.html

New MINLP Instances

2002 2004 2006 2008 2010 2012 2014100

200

300

400

500

600

700

800

900MINLPLib - Number of Instances

MINLPLib 1new in MINLPLib 2

8 / 26

Sources of newly added instances

Harvesting mainly fromI CMU-IBM open source MINLP project (convex MINLPs)I minlp.orgI POLIP (polynomial MINLPs)

Vecchietti library

MINOPT Model Library

Floudas e.a. handbook

GAMS Model LibraryGAMS clients

Westerlund

MacMINLP

BARON book

other

MINLPLib 1 instance sources (263 in total)

Vecchietti libraryGloMIQO test libraryMINOPT Model Library

Floudas e.a. handbook

GAMS Model Library

GAMS clients

Westerlund

MacMINLPBARON book

minlp.org

other

Bonmin test library

POLIP

MINLPLib 2 instance sources (822 in total)

9 / 26

Instance Formats

Format #instancesGAMS .gms 822AMPL .mod 811 (no errorf, no signpower)AMPL .nl 803 (no errorf, no signpower, crash in parsing)OSIL XML 814 (no signpower)CPLEX LP .lp 398 (limited to quadratics)PIP .pip 446 (limited to polynomial)

10 / 26

Instance Sizes

100 101 102 103 104 105 106

Number of variables

0

20

40

60

80

100

120

140

160

Num

ber

of

inst

ance

s

MINLPLib histogram w.r.t. #variables


100 101 102 103 104 105 106

Number of constraints

0

20

40

60

80

100

120

140

Num

ber

of

inst

ance

s

MINLPLib histogram w.r.t. #constraints


11 / 26

Problem types

Binary Integer SemiC/SemiI SOS1 SOS20

100

200

300

400

500

600

700

Num

ber

of

inst

ance

s

Discreteness constraints


quadratic polynomial signomial general0

50

100

150

200

250

300

350

400

Num

ber

of

inst

ance

s

Nonlinearities


mul sq

rdi

vex

plog

vcpo

wersq

rt

power sin co

s

erro

rf

log1

0

cvpo

wer min

abs

signp

ower

0

50

100

150

200

Num

ber

of

inst

ance

s

Operands in general nonlinear functions


12 / 26

Instance Sparsity

100 101 102 103 104 105 106

Number of variables

10-1

100

101

102

103

104

105

106

Num

ber

of

const

rain

ts

MINLPLib instances scatter plot


10-1 100 101 102 103 104 105

Number of nonlinear variables

10-1

100

101

102

103

104

105

Num

ber

of

nonlin

ear

const

rain

ts

MINLPLib instances scatter plot (nonlinear parts only)


Left: Area of bubble proportional to

max(0.05,

#nonzeros in objective grad. and jacobian#vars · (#cons + 1)

).

Right: Area of bubble proportional to

max(0.05,

#nl. nonzeros in objective grad. and jacobian#nl. vars · (#nl. cons + 1 if obj. nl.)

).

13 / 26

Sparsity PatternObjective Gradient and Jacobian:

I first row objective gradient, below the JacobianI black pixel for linear coefficients (constant deriv.)I red pixel for nonlinear coefficients (nonconstant deriv.)

Hessian of Lagrangian:I black pixel if two variables appear together in a nonlinear

term

Variables x1,x2,b3,b4,b5,objvar;Equations e1,e2,e3,e4,e5,e6;e1.. - 2*x1 - 3*x2 - 1.5*b3 - 2*b4 + 0.5*b5 + objvar =E= 0;e2.. sqr(x1) + b3 =E= 1.25;e3.. x2**1.5 + 1.5*b4 =E= 3;e4.. x1 + b3 =L= 1.6;e5.. 1.333*x2 + b4 =L= 3;e6.. - b3 - b4 + b5 =L= 0;

14 / 26

Sparsity PatternObjective Gradient and Jacobian:

I first row objective gradient, below the JacobianI black pixel for linear coefficients (constant deriv.)I red pixel for nonlinear coefficients (nonconstant deriv.)

Hessian of Lagrangian:I black pixel if two variables appear together in a nonlinear

term

Variables x1,x2,b3,b4,b5,objvar;Equations e1,e2,e3,e4,e5,e6;e1.. - 2*x1 - 3*x2 - 1.5*b3 - 2*b4 + 0.5*b5 + objvar =E= 0;e2.. sqr(x1) + b3 =E= 1.25;e3.. x2**1.5 + 1.5*b4 =E= 3;e4.. x1 + b3 =L= 1.6;e5.. 1.333*x2 + b4 =L= 3;e6.. - b3 - b4 + b5 =L= 0;

14 / 26

Sparsity Pattern – Examplesdosemin2d eg_all_s feedtray2 johnall mbtd qapwRadiation Therapy Feed Tray Location Asset Management Quadratic Assigment

(top: Objective Gradient and Jacobian; bottom: Lagrangian Hessian)15 / 26

Sparsity Pattern – Examples (cont.)Jacobian densitymod (Density modification based on single-crystal X-ray diffraction data; 23529 vars, 550 cons.)

Jacobian lop97ic (Rail Line Optimization, MIQCQP)

milinfract (Solving Mixed-Integer Linear Fractional Programming Problems with Dinkelbach’s Algorithm)

Objective Gradient + Jacobian Lagrangian Hessian

16 / 26

Coefficient rangeLet P = {initial point} ∪ {some known feasible points}.Minimal nonzero absolute coefficient:

m(f ) := min{|(∇h(x))i | : i ∈ {1, . . . , n} with |(∇h(x̂))i | > 10−12, x̂ ∈ P}Maximal absolute coefficient:

M(f ) := max{|∇hi (x)| : i ∈ {1, . . . , n}, x̂ ∈ P}

For h ranging over the objective function and all constraint functions, consider

maxh M(h)

minh m(h)

as MINLP coefficient range.

100 102 104 106 108 1010 1012 1014 1016 1018 1020

Coefficient range

0

20

40

60

80

100

120

140

Num

ber

of

inst

ance

s

MINLPLib histogram w.r.t. coef. range


17 / 26



M(f ) := max{|∇hi (x)| : i ∈ {1, . . . , n}, x̂ ∈ P}For h ranging over the objective function and all constraint functions, consider

maxh M(h)

minh m(h)


100 102 104 106 108 1010 1012 1014 1016 1018 1020

Coefficient range

0

20

40

60

80

100

120

140

Num

ber

of

inst

ance

s



17 / 26



M(f ) := max{|∇hi (x)| : i ∈ {1, . . . , n}, x̂ ∈ P}For h ranging over the objective function and all constraint functions, consider

maxh M(h)

minh m(h)


100 102 104 106 108 1010 1012 1014 1016 1018 1020

Coefficient range

0

20

40

60

80

100

120

140

Num

ber

of

inst

ance

s



17 / 26

(Non)Convexity Detection

I Convex MINLPs are considered “easier” (though, still difficult) thannonconvex MINLPs.

I Several solvers require convexity to guarantee global optimality.

I In the context of MINLPLib, we say a MINLP is convex ifthe objective function and each nonlinear constraint function is convex w.r.t.the bound constraints (easiest to verify, other notions exist).

I How to prove or disprove convexity?

18 / 26






18 / 26






18 / 26

(Non)Convexity Detection for FunctionsAnalyze the Hessian:

I Given twice differentiable function h(x) and variable bounds [x , x̄ ].I Compute the spectrum of the Hessian in one random point and conclude

I convexity/concavity/indefiniteness if h(x) is quadraticI nonconvexity/nonconcavity if h(x) is general nonlinear

Analyze the Algebraic Expression:

f (x) convex⇒ a · f (x)

{convex, a ≥ 0concave, a ≤ 0

f (x), g(x) convex⇒ f (x) + g(x) convexf (x) concave⇒ log(f (x)) concave

f (x) =∏i

xeii , xi ≥ 0⇒ f (x)

convex, ei ≤ 0 ∀iconvex, ∃j : ei ≤ 0 ∀i 6= j ;

∑i ei ≥ 1

concave, ei ≥ 0 ∀i ;∑

i ei ≤ 1

Analyze manually.

19 / 26








f (x) =∏i



∑i ei ≥ 1


i ei ≤ 1

Analyze manually.

19 / 26








f (x) =∏i



∑i ei ≥ 1


i ei ≤ 1

Analyze manually.

19 / 26

(Non)Convexity in MINLPLibI Numerical Analysis of Hessians by LAPACK.I Symbolic Analysis of Expressions by SCIP.I Mark additional 71 instances (9%) as convex.

convex41%

nonconvex58%

undecided1%

MINLPLib instances convexity

20 / 26

Solution Points

MINLPLib instances traditionally come with known feasible solution points.

For MINLPLib 2, we added

Feasibility checking:I compute maximal (unscaled) violation of constraints, variable bounds, and

discreteness restrictionsI uses GAMS/EXAMINER2

Solution polishing: For a given point,1. project onto variable bounds2. round values for discrete variables to exact integers3. ensure that semicontinuity/semiintegrality and special-ordered-set constraints

are exactly satisfied4. run CONOPT on MINLP with all binary/integer/semi*/SOS variables fixed,

start from updated point, scaling disabled, feasibility tolerance 10−9

21 / 26

Solution Points








21 / 26

Solution Points








21 / 26

Polished Solution Points

10-15 10-13 10-11 10-9 10-7 10-5 10-3 10-1 101 103 105 107 109

Infeasibility

0

20

40

60

80

100

120

140

160

Num

ber

of

poin

ts

MINLPLib 1 solution points w.r.t. infeasibility

10-15 10-13 10-11 10-9 10-7 10-5 10-3 10-1 101 103 105 107 109

Infeasibility

0

100

200

300

400

500

600

700

800

Num

ber

of

poin

ts


Available in two formats:

GAMS Data Exchange (GDX) ASCII (.sol)

x1 1.11803398874989001754x2 1.31037069710444997739b4 1.00000000000000000000b5 1.00000000000000000000objvar 7.66718006881313041134

22 / 26

Polished Solution Points

10-15 10-13 10-11 10-9 10-7 10-5 10-3 10-1 101 103 105 107 109

Infeasibility

0

20

40

60

80

100

120

140

160

Num

ber

of

poin

ts


10-15 10-13 10-11 10-9 10-7 10-5 10-3 10-1 101 103 105 107 109

Infeasibility

0

100

200

300

400

500

600

700

800

Num

ber

of

poin

ts


Available in two formats:

GAMS Data Exchange (GDX) ASCII (.sol)

x1 1.11803398874989001754x2 1.31037069710444997739b4 1.00000000000000000000b5 1.00000000000000000000objvar 7.66718006881313041134

22 / 26

Dual Boundsdual bound =

{lower bound on optimal value, if minimizationupper bound on optimal value, if maximization

Collected dual bounds fromI solvers for general MINLP

(ANTIGONE, BARON, Couenne, Lindo, SCIP)I solvers for convex MINLP on proven convex MINLPs

(AlphaECP, Bonmin BB, Bonmin Hyb)

But: No way to verify correctness of bound!

Conservative approach: Only trust a solvers dual bound claim if it has beenverified by at least 2 other solvers.

23 / 26





(AlphaECP, Bonmin BB, Bonmin Hyb)

But: No way to verify correctness of bound!


23 / 26





(AlphaECP, Bonmin BB, Bonmin Hyb)But: No way to verify correctness of bound!


23 / 26





(AlphaECP, Bonmin BB, Bonmin Hyb)But: No way to verify correctness of bound!


23 / 26

“Open” instancesFeasible solution points ⊕ trusted dual bounds ⇒ trusted gap

0.0 0.2 0.4 0.6 0.8 1.0Trusted Gap

0

100

200

300

400

500

600N

um

ber

of

inst

ance

sMINLPLib histogram w.r.t. trusted gap


0.0 , ≤ 10−9 1.0 , ≥ 1.0

24 / 26

Query the MINLPLib

Simple script to select instances by specific criteria, e.g.:I all large convex instances, show # var. and # cons.:

$ ./query.py "(nvars > 4242) & (convex == True)" -c nvars -c nconsnvars ncons

squfl030-150 4530 4650watercontamination0202 106711 107209watercontamination0303 107222 108217

I all quadratic instances:./query.py "npolynomfunc == 0 & nsignomfunc == 0 & ngennlfunc == 0"

I all instances with trigonometric functions:./query.py "(opsin == True) or (opcos == True)"

I all separable instances, sorted by problem type:./query.py "nlaghessiannz == nlaghessiandiagnz" -s probtype -c probtype

I all unsolved instances (w.r.t. “trusted” dual bounds), zipped up:./query.py "gap > 0.1" -c gap -z open.zip

25 / 26

End.ALPHA version:http://www.gamsworld.org/minlp/minlplib2/html/

Future Work:I add also NLPs (merge in GlobalLib, PrincetonLib, ...)I semi-automatic identification of duplicatesI define interesting subsets, especially a benchmark set for

global solvers

Call for contributions:I Contribute your own (MI)NLP instances!

Or send your model to minlp.org!I Ideally from a model for a real life problem.I Also infeasible instances are welcomed.I Any (well-known) format is good (e.g., AMPL, GAMS, ZIMPL, BARON, CPLEX

LP, MPS, PIP, OSiL).I MINLPLib instances are anonymized (scalar format using generic names).

26 / 26

http://www.gamsworld.org/minlp/minlplib2/html/

minlp.org

Comparability of MINLP solvers

http://helios.princeton.edu/ANTIGONE/1705 instances,NLPs and MINLPs

http://archimedes.cheme.cmu.edu/?q=baron1599 instances,NLPs and MINLPs

http://www.math.hu-berlin.de/~stefan/SCIP_ISMP12.pdf252 instances, MINLPLib 1

There seems to be certain needs for generally accepted benchmark sets for classesof MINLP solvers (general MINLP, convex MINLP, convex MIQCCP, ...).

I instance collections like MINLPLib, GlobalLib, PrincetonLib were neverdesigned for benchmarking purposes

I too much dominated by certain problem types (e.g., MINLPLib has 18 nuclearreactor core reload pattern instances, 32 block layout design problems)

I trivial, hopeless, and numerically dubious instancesI as for MIPLIB, a collaboration of experts from academia and industry is

required to define commonly accepted benchmark sets

27 / 26

http://helios.princeton.edu/ANTIGONE/


http://archimedes.cheme.cmu.edu/?q=baron


http://www.math.hu-berlin.de/~stefan/SCIP_ISMP12.pdf











required to define commonly accepted benchmark sets

27 / 26
















required to define commonly accepted benchmark sets 27 / 26








Initial Solution for the MBS (MINLP Benchmark Set) problem

A little bird told me, that the perfect MINLP benchmark set consists of thefollowing 87 instances:

ravempb302095chp_partloadfeedtraycrudeoil_lee3_06csched1nuclear10anvs20densitymodcrudeoil_li05crudeoil_li21crudeoilli11eg_disc2_sminlphixjohnallnous2cardqp_inlpspace25amultiplants_stg1bcsched2mbtdtln6

pb302055ex1243gasnetcrudeoil_li03ex1244nuclear25bpb302035netmod_dol1bchoco05crudeoilli21nuclear10bmultiplants_stg1cardqp_iqpm7_ar25_1pb351575nuclearvfmultiplants_stg1ccsched2aunitcommit1ghg_2vehcrudeoil_li11genpooling_meyer15

crudeoil_lee3_10pb351595nuclear104multiplants_mtg1bpb302075o8_ar4_1nuclear49bcrudeoilli01pb351555genpooling_meyer10multiplants_stg1anuclear14bfo9_ar25_1nuclearvemultiplants_mtg1cspace960pb351535crudeoilli03crudeoilli05casctankscrudeoil_li02nuclear49a

nuclearvbqapsuper3tgenpooling_lee1crudeoil_lee3_07gasprod_sarawak81m7_ar2_1lop97icmultiplants_mtg6m7_ar3_1ravempbo9_ar4_1crudeoilli02eg_disc_sbchoco07crudeoil_lee3_08ex1263nuclear14anuclear25acrudeoil_li01st_e31

28 / 26

Crowning the best solverRunning the 5 global MINLP solvers

ANTIGONE, BARON, Couenne, Lindo, and SCIP

as in GAMS 24.1.3 with a timelimit of 1 hour on the selected set of instances.

# solved instances

SCIP LINDO ANTIGONE COUENNE BARON0

2

4

6

8

10

12

14

1615

16 16

15

16

Gap - gap <= 0.0001% and not failed

solving time


500

1000

1500

2000

2500

30002980.41 2980.75 2982.23 2983.13 2983.02

SolverTime - arith. meansFilter: all instances

29 / 26

Crowning the best solverRunning the 5 global MINLP solvers

ANTIGONE, BARON, Couenne, Lindo, and SCIP

as in GAMS 24.1.3 with a timelimit of 1 hour on the selected set of instances.

# solved instances


2

4

6

8

10

12

14

1615

16 16

15

16

Gap - gap <= 0.0001% and not failed

solving time


500

1000

1500

2000

2500

30002980.41 2980.75 2982.23 2983.13 2983.02

SolverTime - arith. meansFilter: all instances

29 / 26

Algorithm for the MBS problemMaximize Obj: +1 minsolvedSubject toavgtime(SCIP): +0.05 x(alan) +0.05 x(batchdes) +3600 x(bchoco05) +3600 x(bchoco07) +3600 x(blend721)+3600 x(cardqp_inlp) +3600 x(cardqp_iqp) +72.79 x(carton7) +110.25 x(carton9) +3600 x(casctanks) +3600 x(cecil_13)+3600 x(chp_partload) +0.82 x(crudeoil_lee1_05) +2.24 x(crudeoil_lee1_06) +2.87 x(crudeoil_lee1_07)+6.14 x(crudeoil_lee1_08) +5.5 x(crudeoil_lee1_09) +11.35 x(crudeoil_lee1_10) +829.61 x(crudeoil_lee3_05)+3600 x(crudeoil_lee3_06) +3600 x(crudeoil_lee3_07) +3600 x(crudeoil_lee3_08) +3600 x(crudeoil_lee3_10)+32.09 x(crudeoil_lee4_08) +33.35 x(crudeoil_lee4_10) +3600 x(crudeoil_li01) +3600 x(crudeoilli01) +3600 x(crudeoil_li02)+3600 x(crudeoilli02) +3600 x(crudeoil_li03) +3600 x(crudeoilli03) +3600 x(crudeoil_li05) +3600 x(crudeoilli05)+1092.4 x(crudeoil_li06) +1116.93 x(crudeoilli06) +3600 x(crudeoil_li11) +3600 x(crudeoilli11) +3600 x(crudeoil_li21)+3600 x(crudeoilli21) +15.29 x(csched1a) +2.61 x(csched1) +3600 x(csched2a) +3600 x(csched2) +3600 x(densitymod)+0.36 x(du-opt5) +0.92 x(du-opt) +3600 x(eg_disc2_s) +3600 x(eg_disc_s) +0.4 x(elf) +1.04 x(enpro48)+1.77 x(enpro48pb) +3600 x(ethanolh) +0.01 x(ex1221) +0.02 x(ex1223a) +0.06 x(ex1223b) +0.1 x(ex1224)+0.02 x(ex1225) +0.02 x(ex1226) +3600 x(ex1233) +0.61 x(ex1243) +2.62 x(ex1244) +0.47 x(ex1263a) +0.55 x(ex1263)+0.21 x(ex1264a) +0.17 x(ex1264) +0.08 x(ex1265a) +0.26 x(ex1265) +0.18 x(ex1266a) +0.38 x(ex1266) +0.14 x(ex3)+0.15 x(ex3pb) +0.04 x(fac1) +1303.2 x(fac2) +0.27 x(fac3) +0.12 x(feedtray2) +3600 x(feedtray) +63.49 x(fo7_2)+46.07 x(fo7_ar2_1) +109.55 x(fo7_ar25_1) +49.34 x(fo7_ar3_1) +50.74 x(fo7_ar4_1) +17.54 x(fo7_ar5_1)+104.27 x(fo7) +250.7 x(fo8_ar2_1) +418.88 x(fo8_ar25_1) +205.16 x(fo8_ar3_1) +113.17 x(fo8_ar4_1) +155.06 x(fo8_ar5_1)+273.48 x(fo8) +2240.47 x(fo9_ar2_1) +3600 x(fo9_ar25_1) +865.2 x(fo9_ar3_1) +368.44 x(fo9_ar4_1) +839.25 x(fo9_ar5_1)+1207.27 x(fo9) +0.08 x(fuel) +3600 x(gasnet) +3600 x(gasprod_sarawak81) +0.01 x(gbd) +2.14 x(gear2)+1.04 x(gear4) +0.68 x(gear) +6.75 x(genpooling_lee1) +3600 x(genpooling_meyer04) +3600 x(genpooling_meyer10)+3600 x(genpooling_meyer15) +3600 x(ghg_1veh) +3600 x(ghg_2veh) +0.04 x(gkocis) +3600 x(heatexch_spec1)+3600 x(heatexch_spec3) +0.01 x(hmittelman) +54.56 x(johnall) +3600 x(lop97ic) +3600 x(lop97icx) +0.13 x(m3)+4.23 x(m6) +7.48 x(m7_ar2_1) +2.01 x(m7_ar25_1) +6.5 x(m7_ar3_1) +13.73 x(m7_ar5_1) +11.32 x(m7) +3600 x(mbtd)+0.22 x(meanvarx) +3600 x(milinfract) +3600 x(minlphix) +3600 x(multiplants_mtg1a) +3600 x(multiplants_mtg1b)+3600 x(multiplants_mtg1c) +3600 x(multiplants_mtg5) +3600 x(multiplants_mtg6) +3600 x(multiplants_stg1a)+3600 x(multiplants_stg1b) +3600 x(multiplants_stg1c) +3600 x(multiplants_stg1) +3600 x(multiplants_stg6)+3600 x(netmod_dol1) +57.74 x(netmod_dol2) +5.49 x(netmod_kar1) +5.31 x(netmod_kar2) +61.09 x(no7_ar25_1)+300.77 x(no7_ar3_1) +174.8 x(no7_ar4_1) +113.83 x(no7_ar5_1) +3600 x(nous1) +5.83 x(nous2) +3600 x(nuclear104)+3600 x(nuclear10a) +3600 x(nuclear10b) +3600 x(nuclear14a) +3600 x(nuclear14b) +3600 x(nuclear25a)+3600 x(nuclear25b) +3600 x(nuclear49a) +3600 x(nuclear49b) +3600 x(nuclearvb) +3600 x(nuclearve) +3600 x(nuclearvf)+0.08 x(nvs01) +0.01 x(nvs03) +0.02 x(nvs04) +0.06 x(nvs06) +0.01 x(nvs07) +0.04 x(nvs08) +3600 x(nvs09)+0.01 x(nvs10) +0.01 x(nvs11) +0.04 x(nvs12) +0.08 x(nvs13) +0.02 x(nvs15) +0.06 x(nvs16) +0.14 x(nvs17)+0.12 x(nvs18) +0.21 x(nvs19) +0.5 x(nvs20) +0.13 x(nvs21) +0.3 x(nvs23) +0.34 x(nvs24) +1701.63 x(o7_2)+196.11 x(o7_ar2_1) +501.29 x(o7_ar25_1) +1310.78 x(o7_ar3_1) +1681.44 x(o7_ar4_1) +809.56 x(o7_ar5_1)+3125.49 x(o7) +3600 x(o8_ar4_1) +3600 x(o9_ar4_1) +0.03 x(oaer) +3600 x(oil) +0.28 x(ortez) +3600 x(pb302035)+3600 x(pb302055) +3600 x(pb302075) +3600 x(pb302095) +3600 x(pb351535) +3600 x(pb351555) +3600 x(pb351575)+3600 x(pb351595) +3600 x(pooling_epa1) +3600 x(pooling_epa2) +3600 x(qap) +3600 x(qapw) +1.02 x(ravem)+0.85 x(ravempb) +0.57 x(risk2b) +0.38 x(risk2bpb) +0.38 x(sep1) +0.02 x(sepasequ_complex) +3600 x(space25a)+3600 x(space960) +1.19 x(spectra2) +0.59 x(spring) +0.01 x(st_e13) +0.09 x(st_e29) +1.78 x(st_e31)+3600 x(st_e35) +1.07 x(st_e36) +0.12 x(st_e38) +0.01 x(st_miqp2) +0.01 x(st_miqp3) +0.02 x(st_miqp4)+0.02 x(st_miqp5) +0.01 x(st_test4) +0.01 x(st_test5) +0.01 x(st_test6) +0.01 x(st_test8) +0.05 x(st_testgr1)+0.05 x(st_testgr3) +3600 x(super3t) +0.49 x(supplychain) +2.75 x(supplychainp1_020306) +3600 x(supplychainp1_022020)+3600 x(supplychainp1_053050) +0.4 x(supplychainr1_020306) +3600 x(supplychainr1_030510) +3600 x(supplychainr1_053050)+3600 x(synheat) +0.05 x(synthes1) +0.08 x(synthes2) +1.14 x(synthes3) +3600 x(tln12) +0.01 x(tln2)+1.32 x(tln4) +630.83 x(tln5) +3600 x(tln6) +3600 x(tln7) +0.22 x(tloss) +3600 x(tls12) +0.1 x(tls2)+78.27 x(tls4) +3600 x(tls5) +3600 x(tls6) +3600 x(tls7) +0.14 x(tltr) +2.28 x(unitcommit1) +7.75 x(unitcommit2)+0.25 x(util) +3600 x(waste) +3600 x(water4) +3600 x(waternd2) +3600 x(waterx) +3600 x(waterz) -1 stime(SCIP)= +0

avgtime(LINDO): +0.138 x(alan) +3.6 x(batchdes) +3600 x(bchoco05) +3600 x(bchoco07) +3600 x(blend721)+3600 x(cardqp_inlp) +3600 x(cardqp_iqp) +3600 x(carton7) +3600 x(carton9) +3600 x(casctanks) +3600 x(cecil_13)+3600 x(chp_partload) +3600 x(crudeoil_lee1_05) +419.598 x(crudeoil_lee1_06) +3600 x(crudeoil_lee1_07)+1558.341 x(crudeoil_lee1_08) +1106.912 x(crudeoil_lee1_09) +1409.193 x(crudeoil_lee1_10) +3600 x(crudeoil_lee3_05)+3600 x(crudeoil_lee3_06) +3600 x(crudeoil_lee3_07) +3600 x(crudeoil_lee3_08) +3600 x(crudeoil_lee3_10)+3600 x(crudeoil_lee4_08) +3600 x(crudeoil_lee4_10) +3600 x(crudeoil_li01) +3600 x(crudeoilli01) +3600 x(crudeoil_li02)+3600 x(crudeoilli02) +3600 x(crudeoil_li03) +3600 x(crudeoilli03) +3600 x(crudeoil_li05) +3600 x(crudeoilli05)+3600 x(crudeoil_li06) +3600 x(crudeoilli06) +3600 x(crudeoil_li11) +3600 x(crudeoilli11) +3600 x(crudeoil_li21)+3600 x(crudeoilli21) +2.367 x(csched1a) +20.317 x(csched1) +3600 x(csched2a) +3600 x(csched2) +3600 x(densitymod)+0.126 x(du-opt5) +0.267 x(du-opt) +3600 x(eg_disc2_s) +3600 x(eg_disc_s) +47.007 x(elf) +347.591 x(enpro48)+71.353 x(enpro48pb) +0.165 x(ethanolh) +0.143 x(ex1221) +0.173 x(ex1222) +0.406 x(ex1223a) +0.17 x(ex1223b)+0.109 x(ex1224) +0.01 x(ex1225) +0.019 x(ex1226) +3600 x(ex1233) +11.013 x(ex1243) +31.912 x(ex1244)+6.443 x(ex1263a) +43.865 x(ex1263) +4.044 x(ex1264a) +22.122 x(ex1264) +1.747 x(ex1265a) +7.993 x(ex1265)+0.554 x(ex1266a) +2.092 x(ex1266) +0.131 x(ex3) +0.128 x(ex3pb) +0.076 x(fac1) +3.811 x(fac2) +0.161 x(fac3)+3600 x(feedtray2) +3600 x(feedtray) +3600 x(fo7_2) +3600 x(fo7_ar2_1) +3600 x(fo7_ar25_1) +3600 x(fo7_ar3_1)+3600 x(fo7_ar4_1) +3600 x(fo7_ar5_1) +3600 x(fo7) +3600 x(fo8_ar2_1) +3600 x(fo8_ar25_1) +3600 x(fo8_ar3_1)+3600 x(fo8_ar4_1) +3600 x(fo8_ar5_1) +3600 x(fo8) +3600 x(fo9_ar2_1) +3600 x(fo9_ar25_1) +3600 x(fo9_ar3_1)+3600 x(fo9_ar4_1) +3600 x(fo9_ar5_1) +3600 x(fo9) +0.084 x(fuel) +3600 x(gasnet) +3600 x(gasprod_sarawak81)+0.003 x(gbd) +57.188 x(gear2) +89.577 x(gear4) +10.139 x(gear) +50.178 x(genpooling_lee1) +3600 x(genpooling_meyer04)+3600 x(genpooling_meyer10) +3600 x(genpooling_meyer15) +432.249 x(ghg_1veh) +3600 x(ghg_2veh) +0.041 x(gkocis)+3600 x(heatexch_spec1) +3600 x(heatexch_spec3) +0.099 x(hmittelman) +0.003 x(hybriddynamic_fixed) +73.937 x(johnall)+3600 x(lop97ic) +3600 x(lop97icx) +1.73 x(m3) +167.321 x(m6) +1819.101 x(m7_ar2_1) +221.485 x(m7_ar25_1)+1260.916 x(m7_ar3_1) +3507.392 x(m7_ar5_1) +1657.029 x(m7) +3600 x(mbtd) +0.035 x(meanvarx) +3600 x(milinfract)+3600 x(minlphix) +3600 x(multiplants_mtg1a) +3600 x(multiplants_mtg1b) +3600 x(multiplants_mtg1c) +3600 x(multiplants_mtg5)+3600 x(multiplants_mtg6) +3600 x(multiplants_stg1a) +3600 x(multiplants_stg1b) +3600 x(multiplants_stg1c)+3600 x(multiplants_stg1) +3600 x(multiplants_stg6) +3600 x(netmod_dol1) +357.517 x(netmod_dol2) +199.847 x(netmod_kar1)+2638.101 x(netmod_kar2) +3600 x(no7_ar25_1) +3600 x(no7_ar3_1) +3600 x(no7_ar4_1) +3600 x(no7_ar5_1)+936.671 x(nous1) +2.368 x(nous2) +3600 x(nuclear104) +3600 x(nuclear10a) +3600 x(nuclear10b) +3600 x(nuclear14a)+3600 x(nuclear14b) +3600 x(nuclear25a) +3600 x(nuclear25b) +3600 x(nuclear49a) +3600 x(nuclear49b)+3600 x(nuclearvb) +3600 x(nuclearve) +3600 x(nuclearvf) +0.04 x(nvs01) +0.01 x(nvs03) +0.035 x(nvs04)+0.051 x(nvs06) +0.03 x(nvs07) +0.059 x(nvs08) +1.195 x(nvs09) +0.013 x(nvs10) +0.042 x(nvs11) +0.122 x(nvs12)+14.353 x(nvs13) +0.012 x(nvs15) +0.023 x(nvs16) +2199.155 x(nvs17) +191.782 x(nvs18) +3600 x(nvs19)+10.83 x(nvs20) +0.189 x(nvs21) +3600 x(nvs23) +3600 x(nvs24) +3600 x(o7_2) +3600 x(o7_ar2_1) +3600 x(o7_ar25_1)+3600 x(o7_ar3_1) +3600 x(o7_ar4_1) +3600 x(o7_ar5_1) +3600 x(o7) +3600 x(o8_ar4_1) +3600 x(o9_ar4_1)+0.059 x(oaer) +3600 x(oil) +3.982 x(ortez) +3600 x(pb302035) +3600 x(pb302055) +3600 x(pb302075) +3600 x(pb302095)+3600 x(pb351535) +3600 x(pb351555) +3600 x(pb351575) +3600 x(pb351595) +3600 x(pooling_epa1) +3600 x(pooling_epa2)+0.031 x(prob02) +0.019 x(prob03) +3600 x(qap) +3600 x(qapw) +8.799 x(ravem) +16.805 x(ravempb) +4.803 x(risk2b)+6.598 x(risk2bpb) +0.147 x(sep1) +0.713 x(sepasequ_complex) +3600 x(space25a) +3600 x(space960) +7.849 x(spectra2)+1.105 x(spring) +0.019 x(st_e13) +0.036 x(st_e15) +0.024 x(st_e27) +0.109 x(st_e29) +8.952 x(st_e31)+3600 x(st_e35) +2.2 x(st_e36) +0.533 x(st_e38) +0.002 x(st_miqp1) +0.009 x(st_miqp2) +0.002 x(st_miqp3)+0.002 x(st_miqp4) +0.003 x(st_miqp5) +0.002 x(st_test1) +0.002 x(st_test2) +0.015 x(st_test3) +0.013 x(st_test4)+0.004 x(st_test5) +0.002 x(st_test6) +0.023 x(st_test8) +0.067 x(st_testgr1) +0.144 x(st_testgr3) +0.003 x(st_testph4)+3600 x(super3t) +0.865 x(supplychain) +3.414 x(supplychainp1_020306) +3600 x(supplychainp1_022020)+3600 x(supplychainp1_053050) +0.747 x(supplychainr1_020306) +26.871 x(supplychainr1_030510) +3600 x(supplychainr1_053050)+3600 x(synheat) +0.094 x(synthes1) +0.336 x(synthes2) +1.824 x(synthes3) +3600 x(tln12) +0.116 x(tln2)+24.002 x(tln4) +123.705 x(tln5) +124.781 x(tln6) +3600 x(tln7) +0.756 x(tloss) +3600 x(tls12) +3.918 x(tls2)+1716.101 x(tls4) +3600 x(tls5) +3600 x(tls6) +3600 x(tls7) +4.551 x(tltr) +20.148 x(unitcommit1) +3600 x(unitcommit2)+4.252 x(util) +3600 x(waste) +3600 x(water4) +3600 x(waternd2) +3600 x(waterx) +3600 x(waterz) -1 stime(LINDO)= +0

avgtime(ANTIGONE): +0.171 x(alan) +0.051 x(batchdes) +3600 x(bchoco05) +3600 x(bchoco07) +633.145 x(blend721)+3600 x(cardqp_inlp) +3600 x(cardqp_iqp) +1008.266 x(carton7) +3600 x(carton9) +3600 x(casctanks) +207.253 x(cecil_13)+3600 x(chp_partload) +0.828 x(crudeoil_lee1_05) +0.81 x(crudeoil_lee1_06) +2.109 x(crudeoil_lee1_07)+3.601 x(crudeoil_lee1_08) +3.254 x(crudeoil_lee1_09) +3.449 x(crudeoil_lee1_10) +578.548 x(crudeoil_lee3_05)+3600 x(crudeoil_lee3_06) +3600 x(crudeoil_lee3_07) +3600 x(crudeoil_lee3_08) +3600 x(crudeoil_lee3_10)+17.234 x(crudeoil_lee4_08) +23.99 x(crudeoil_lee4_10) +3600 x(crudeoil_li01) +3600 x(crudeoilli01)+3600 x(crudeoil_li02) +3600 x(crudeoilli02) +3599.991 x(crudeoil_li03) +3600 x(crudeoilli03) +3600 x(crudeoil_li05)+3600 x(crudeoilli05) +3600 x(crudeoil_li06) +3600 x(crudeoilli06) +3600 x(crudeoil_li11) +3600 x(crudeoilli11)+3600 x(crudeoil_li21) +3600 x(crudeoilli21) +3600 x(csched1a) +23.731 x(csched1) +3600 x(csched2a)+3600 x(csched2) +3600 x(densitymod) +3600 x(du-opt5) +3600 x(du-opt) +3600 x(eg_disc2_s) +3600 x(eg_disc_s)+7.502 x(elf) +85.923 x(enpro48) +340.982 x(enpro48pb) +3600 x(ethanolh) +0.001 x(ex1221) +0.011 x(ex1222)+0.02 x(ex1223a) +0.041 x(ex1223b) +0.051 x(ex1224) +0.011 x(ex1225) +0.011 x(ex1226) +3600 x(ex1233)+2.662 x(ex1243) +3600 x(ex1244) +1.161 x(ex1263a) +0.701 x(ex1263) +0.231 x(ex1264a) +1.281 x(ex1264)+0.551 x(ex1265a) +1.601 x(ex1265) +0.211 x(ex1266a) +1.141 x(ex1266) +0.191 x(ex3) +0.181 x(ex3pb)+0.041 x(fac1) +0.092 x(fac2) +63.422 x(fac3) +2.054 x(feedtray2) +3600 x(feedtray) +202.643 x(fo7_2)+729.083 x(fo7_ar2_1) +437.233 x(fo7_ar25_1) +498.314 x(fo7_ar3_1) +44.983 x(fo7_ar4_1) +26.723 x(fo7_ar5_1)+221.593 x(fo7) +3511.674 x(fo8_ar2_1) +3600 x(fo8_ar25_1) +320.334 x(fo8_ar3_1) +145.154 x(fo8_ar4_1)+1373.734 x(fo8_ar5_1) +628.323 x(fo8) +3600 x(fo9_ar2_1) +3600 x(fo9_ar25_1) +3600 x(fo9_ar3_1) +3600 x(fo9_ar4_1)+3600 x(fo9_ar5_1) +2874.284 x(fo9) +0.052 x(fuel) +3600 x(gasnet) +3600 x(gasprod_sarawak81) +0.011 x(gbd)+1.55 x(gear2) +27.801 x(gear4) +0.361 x(gear) +89.993 x(genpooling_lee1) +292.423 x(genpooling_meyer04)+3600 x(genpooling_meyer10) +3600 x(genpooling_meyer15) +0.062 x(ghg_1veh) +3600 x(ghg_2veh) +0.011 x(gkocis)+3600 x(heatexch_spec1) +3600 x(heatexch_spec3) +0.041 x(hmittelman) +0.011 x(hybriddynamic_fixed) +12.738 x(johnall)+3600 x(lop97ic) +50.732 x(lop97icx) +0.031 x(m3) +0.442 x(m6) +16.343 x(m7_ar2_1) +12.102 x(m7_ar25_1)+6.855 x(m7_ar3_1) +1.602 x(m7_ar5_1) +2.112 x(m7) +3600 x(mbtd) +0.822 x(meanvarx) +3600 x(milinfract)+1.102 x(minlphix) +3600 x(multiplants_mtg1a) +3600 x(multiplants_mtg1b) +3600 x(multiplants_mtg1c)+3599.984 x(multiplants_mtg5) +3600 x(multiplants_mtg6) +3600 x(multiplants_stg1a) +3600 x(multiplants_stg1b)+3600 x(multiplants_stg1c) +3600 x(multiplants_stg1) +1072.097 x(multiplants_stg6) +3600 x(netmod_dol1)+146.914 x(netmod_dol2) +430.564 x(netmod_kar1) +432.333 x(netmod_kar2) +2137.944 x(no7_ar25_1) +3600 x(no7_ar3_1)+1857.365 x(no7_ar4_1) +466.151 x(no7_ar5_1) +14.872 x(nous1) +0.582 x(nous2) +3600 x(nuclear104) +3600 x(nuclear10a)+3600 x(nuclear10b) +3600 x(nuclear14a) +3600 x(nuclear14b) +3600 x(nuclear25a) +3600 x(nuclear25b)+3600 x(nuclear49a) +3600 x(nuclear49b) +3600 x(nuclearvb) +3600 x(nuclearve) +3600 x(nuclearvf) +0.141 x(nvs01)+0.01 x(nvs03) +0.031 x(nvs04) +0.05 x(nvs06) +0.001 x(nvs07) +0.142 x(nvs08) +0.81 x(nvs09) +0.011 x(nvs10)+0.131 x(nvs11) +0.522 x(nvs12) +0.881 x(nvs13) +0.02 x(nvs15) +0.081 x(nvs16) +179.101 x(nvs17) +8.191 x(nvs18)+194.391 x(nvs19) +76.611 x(nvs20) +0.141 x(nvs21) +744.931 x(nvs23) +3600 x(nvs24) +2713.502 x(o7_2)+732.753 x(o7_ar2_1) +3600 x(o7_ar25_1) +3600 x(o7_ar3_1) +3600 x(o7_ar4_1) +3451.063 x(o7_ar5_1) +3600 x(o7)+3600 x(o8_ar4_1) +3600 x(o9_ar4_1) +0.021 x(oaer) +802.027 x(oil) +0.142 x(ortez) +3600 x(pb302035)+3600 x(pb302055) +3600 x(pb302075) +3600 x(pb302095) +3600 x(pb351535) +3600 x(pb351555) +3600 x(pb351575)+3600 x(pb351595) +1649.935 x(pooling_epa1) +706.276 x(pooling_epa2) +0.001 x(prob02) +0.011 x(prob03)+3600 x(qap) +3597.662 x(qapw) +2.712 x(ravem) +2.961 x(ravempb) +0.187 x(risk2b) +0.186 x(risk2bpb)+0.122 x(sep1) +0.1 x(sepasequ_complex) +3600 x(space25a) +3600 x(space960) +2162.544 x(spectra2) +1.701 x(spring)+0.001 x(st_e13) +0.001 x(st_e27) +0.071 x(st_e29) +2.541 x(st_e31) +3600 x(st_e35) +14.72 x(st_e36)+0.061 x(st_e38) +0.011 x(st_miqp1) +0.03 x(st_miqp2) +0.011 x(st_miqp3) +0.02 x(st_miqp4) +0.131 x(st_miqp5)+0.011 x(st_test1) +0.01 x(st_test2) +0.021 x(st_test3) +0.01 x(st_test4) +0.011 x(st_test5) +0.011 x(st_test6)+0.021 x(st_test8) +0.05 x(st_testgr1) +0.091 x(st_testgr3) +0.021 x(st_testph4) +3600 x(super3t) +0.132 x(supplychain)+0.402 x(supplychainp1_020306) +3600 x(supplychainp1_022020) +3600 x(supplychainp1_053050) +0.292 x(supplychainr1_020306)+1.974 x(supplychainr1_030510) +3600 x(supplychainr1_053050) +3600 x(synheat) +0.062 x(synthes1) +0.302 x(synthes2)+0.452 x(synthes3) +3599.962 x(tln12) +0.011 x(tln2) +0.971 x(tln4) +4.391 x(tln5) +1.951 x(tln6) +3600 x(tln7)+0.052 x(tloss) +3600 x(tls12) +0.111 x(tls2) +22.231 x(tls4) +3600 x(tls5) +3600 x(tls6) +3600 x(tls7)+0.372 x(tltr) +3600 x(unitcommit1) +3600 x(unitcommit2) +0.102 x(util) +734.809 x(waste) +3600 x(water4)+3600 x(waternd2) +3600 x(waterx) +3600 x(waterz) -1 stime(ANTIGONE) = +0

avgtime(COUENNE): +0.155 x(alan) +0.215 x(batchdes) +3600 x(bchoco05) +3600 x(bchoco07) +3600 x(blend721)+3600 x(cardqp_inlp) +3600 x(cardqp_iqp) +3600 x(carton7) +3600 x(carton9) +3600 x(casctanks) +3600 x(cecil_13)+3600 x(chp_partload) +475.786 x(crudeoil_lee1_05) +949.394 x(crudeoil_lee1_06) +1002.424 x(crudeoil_lee1_07)+2921.338 x(crudeoil_lee1_08) +2346.388 x(crudeoil_lee1_09) +3600 x(crudeoil_lee1_10) +3600 x(crudeoil_lee3_05)+3600 x(crudeoil_lee3_06) +3600 x(crudeoil_lee3_07) +3600 x(crudeoil_lee3_08) +3600 x(crudeoil_lee3_10)+3600 x(crudeoil_lee4_08) +3600 x(crudeoil_lee4_10) +3600 x(crudeoil_li01) +3600 x(crudeoilli01) +3600 x(crudeoil_li02)+3600 x(crudeoilli02) +3600 x(crudeoil_li03) +3600 x(crudeoilli03) +3600 x(crudeoil_li05) +3600 x(crudeoilli05)+3600 x(crudeoil_li06) +3600 x(crudeoilli06) +3600 x(crudeoil_li11) +3600 x(crudeoilli11) +3600 x(crudeoil_li21)+3600 x(crudeoilli21) +0.805 x(csched1a) +7.651 x(csched1) +3600 x(csched2a) +3600 x(csched2) +3600 x(densitymod)+3600 x(du-opt5) +3600 x(du-opt) +3600 x(eg_disc2_s) +3600 x(eg_disc_s) +29.079 x(elf) +7.862 x(enpro48)+7.819 x(enpro48pb) +3.477 x(ethanolh) +0.015 x(ex1221) +0.009 x(ex1222) +0.041 x(ex1223a) +0.083 x(ex1223b)+0.181 x(ex1224) +0.028 x(ex1225) +0.037 x(ex1226) +3600 x(ex1233) +2.657 x(ex1243) +5.087 x(ex1244)+2.403 x(ex1263a) +6.263 x(ex1263) +2.832 x(ex1264a) +7.033 x(ex1264) +3.107 x(ex1265a) +3.61 x(ex1265)+2.499 x(ex1266a) +3.832 x(ex1266) +0.301 x(ex3) +0.302 x(ex3pb) +0.318 x(fac1) +1.335 x(fac2) +3600 x(fac3)+8.959 x(feedtray2) +3600 x(feedtray) +3600 x(fo7_2) +1664.948 x(fo7_ar2_1) +3600 x(fo7_ar25_1) +3600 x(fo7_ar3_1)+3600 x(fo7_ar4_1) +2797.342 x(fo7_ar5_1) +3600 x(fo7) +3600 x(fo8_ar2_1) +3600 x(fo8_ar25_1) +3600 x(fo8_ar3_1)+3600 x(fo8_ar4_1) +3600 x(fo8_ar5_1) +3600 x(fo8) +3600 x(fo9_ar2_1) +3600 x(fo9_ar25_1) +3600 x(fo9_ar3_1)+3600 x(fo9_ar4_1) +3600 x(fo9_ar5_1) +3600 x(fo9) +0.06 x(fuel) +3600 x(gasnet) +3600 x(gasprod_sarawak81)+0.014 x(gbd) +0.075 x(gear2) +0.978 x(gear4) +0.041 x(gear) +91.521 x(genpooling_lee1) +3600 x(genpooling_meyer04)+3600 x(genpooling_meyer10) +3600 x(genpooling_meyer15) +1619.741 x(ghg_1veh) +3600 x(ghg_2veh) +0.04 x(gkocis)+3600 x(heatexch_spec1) +3600 x(heatexch_spec3) +0.141 x(hmittelman) +0.107 x(hybriddynamic_fixed) +5.407 x(johnall)+3600 x(lop97ic) +3600 x(lop97icx) +1.08 x(m3) +37.045 x(m6) +70.717 x(m7_ar2_1) +32.609 x(m7_ar25_1)+79.056 x(m7_ar3_1) +153.303 x(m7_ar5_1) +535.214 x(m7) +3600 x(mbtd) +0.891 x(meanvarx) +588.182 x(milinfract)+1.62 x(minlphix) +3600 x(multiplants_mtg1a) +3600 x(multiplants_mtg1b) +3600 x(multiplants_mtg1c) +3600 x(multiplants_mtg5)+3600 x(multiplants_mtg6) +3600 x(multiplants_stg1a) +3600 x(multiplants_stg1b) +3600 x(multiplants_stg1c)+3600 x(multiplants_stg1) +3600 x(multiplants_stg6) +3600 x(netmod_dol1) +3600 x(netmod_dol2) +3600 x(netmod_kar1)+3600 x(netmod_kar2) +3600 x(no7_ar25_1) +3600 x(no7_ar3_1) +3600 x(no7_ar4_1) +3600 x(no7_ar5_1) +3600 x(nous1)+3.818 x(nous2) +3600 x(nuclear104) +3600 x(nuclear10a) +3600 x(nuclear10b) +3600 x(nuclear14a) +3600 x(nuclear14b)+3600 x(nuclear25a) +3600 x(nuclear25b) +3600 x(nuclear49a) +3600 x(nuclear49b) +3600 x(nuclearvb) +3600 x(nuclearve)+3600 x(nuclearvf) +0.05 x(nvs01) +0.008 x(nvs03) +0.04 x(nvs04) +0.011 x(nvs06) +0.011 x(nvs07) +0.036 x(nvs08)+0.116 x(nvs09) +0.017 x(nvs10) +0.03 x(nvs11) +0.114 x(nvs12) +0.331 x(nvs13) +0.012 x(nvs15) +0.01 x(nvs16)+1.95 x(nvs17) +1.049 x(nvs18) +3.091 x(nvs19) +1.103 x(nvs20) +0.099 x(nvs21) +54.768 x(nvs23) +51.554 x(nvs24)+3600 x(o7_2) +3600 x(o7_ar2_1) +3600 x(o7_ar25_1) +3600 x(o7_ar3_1) +3600 x(o7_ar4_1) +3600 x(o7_ar5_1)+3600 x(o7) +3600 x(o8_ar4_1) +3600 x(o9_ar4_1) +0.081 x(oaer) +3600 x(oil) +1.675 x(ortez) +3600 x(pb302035)+3600 x(pb302055) +3600 x(pb302075) +3600 x(pb302095) +3600 x(pb351535) +3600 x(pb351555) +3600 x(pb351575)+3600 x(pb351595) +634.166 x(pooling_epa1) +3600 x(pooling_epa2) +0.009 x(prob02) +0.007 x(prob03) +3600 x(qap)+3600 x(qapw) +6.216 x(ravem) +6.216 x(ravempb) +11.259 x(risk2b) +9.564 x(risk2bpb) +0.241 x(sep1)+3600 x(sepasequ_complex) +3600 x(space25a) +3600 x(space960) +3600 x(spectra2) +0.229 x(spring) +0.011 x(st_e13)+0.011 x(st_e15) +0.015 x(st_e27) +0.179 x(st_e29) +12.273 x(st_e31) +71.781 x(st_e35) +0.076 x(st_e36)+0.044 x(st_e38) +0.009 x(st_miqp1) +0.012 x(st_miqp2) +0.007 x(st_miqp3) +0.013 x(st_miqp4) +0.028 x(st_miqp5)+0.013 x(st_test1) +0.012 x(st_test2) +0.012 x(st_test3) +0.011 x(st_test4) +0.029 x(st_test5) +0.023 x(st_test6)+0.09 x(st_test8) +0.13 x(st_testgr1) +0.838 x(st_testgr3) +0.011 x(st_testph4) +3600 x(super3t) +0.286 x(supplychain)+1.324 x(supplychainp1_020306) +3600 x(supplychainp1_022020) +3600 x(supplychainp1_053050) +2.785 x(supplychainr1_020306)+5.652 x(supplychainr1_030510) +3600 x(supplychainr1_053050) +3600 x(synheat) +0.044 x(synthes1) +0.085 x(synthes2)+0.151 x(synthes3) +3600 x(tln12) +0.033 x(tln2) +232.16 x(tln4) +3600 x(tln5) +3600 x(tln6) +3600 x(tln7)+3.476 x(tloss) +3600 x(tls12) +0.331 x(tls2) +3600 x(tls4) +3600 x(tls5) +3600 x(tls6) +3600 x(tls7)+6.708 x(tltr) +3600 x(unitcommit1) +3600 x(unitcommit2) +7.097 x(util) +3600 x(waste) +3600 x(water4)+3600 x(waternd2) +3600 x(waterx) +3600 x(waterz) -1 stime(COUENNE) = +0

avgtime(BARON): +0.07 x(alan) +0.06 x(batchdes) +3600 x(bchoco05) +3600 x(bchoco07) +3600 x(blend721)+3600 x(cardqp_inlp) +3600 x(cardqp_iqp) +3600 x(carton7) +3600 x(carton9) +3546.08 x(casctanks) +3600 x(cecil_13)+3600 x(chp_partload) +30.4 x(crudeoil_lee1_05) +65.95 x(crudeoil_lee1_06) +336.58 x(crudeoil_lee1_07)+400.25 x(crudeoil_lee1_08) +643.41 x(crudeoil_lee1_09) +836.04 x(crudeoil_lee1_10) +3600 x(crudeoil_lee3_05)+3600 x(crudeoil_lee3_06) +3600 x(crudeoil_lee3_07) +3600 x(crudeoil_lee3_08) +3600 x(crudeoil_lee3_10)+3600 x(crudeoil_lee4_08) +3600 x(crudeoil_lee4_10) +3600 x(crudeoil_li01) +3600 x(crudeoilli01) +3600 x(crudeoil_li02)+3600 x(crudeoilli02) +3600 x(crudeoil_li03) +3600 x(crudeoilli03) +3600 x(crudeoil_li05) +3600 x(crudeoilli05)+3600 x(crudeoil_li06) +3600 x(crudeoilli06) +3600 x(crudeoil_li11) +3600 x(crudeoilli11) +3600 x(crudeoil_li21)+3600 x(crudeoilli21) +0.1 x(csched1a) +2.6 x(csched1) +3600 x(csched2a) +3600 x(csched2) +3600 x(densitymod)+15.23 x(du-opt5) +13.89 x(du-opt) +3600 x(eg_disc2_s) +3600 x(eg_disc_s) +4.66 x(elf) +5.51 x(enpro48)+4.84 x(enpro48pb) +0.12 x(ethanolh) +0.03 x(ex1221) +0.02 x(ex1222) +0.03 x(ex1223a) +0.04 x(ex1223b)+0.06 x(ex1224) +0.03 x(ex1225) +0.03 x(ex1226) +183.49 x(ex1233) +0.83 x(ex1243) +4.78 x(ex1244) +2.43 x(ex1263a)+2.75 x(ex1263) +0.54 x(ex1264a) +1.01 x(ex1264) +1.04 x(ex1265a) +0.93 x(ex1265) +0.15 x(ex1266a) +0.62 x(ex1266)+0.21 x(ex3) +0.2 x(ex3pb) +0.07 x(fac1) +1 x(fac2) +1.35 x(fac3) +1.72 x(feedtray2) +3600 x(feedtray)+3600 x(fo7_2) +902.93 x(fo7_ar2_1) +3600 x(fo7_ar25_1) +3600 x(fo7_ar3_1) +3272.47 x(fo7_ar4_1) +2516.18 x(fo7_ar5_1)+3600 x(fo7) +3600 x(fo8_ar2_1) +3600 x(fo8_ar25_1) +3600 x(fo8_ar3_1) +3600 x(fo8_ar4_1) +3600 x(fo8_ar5_1)+3600 x(fo8) +3600 x(fo9_ar2_1) +3600 x(fo9_ar25_1) +3600 x(fo9_ar3_1) +3600 x(fo9_ar4_1) +3600 x(fo9_ar5_1)+3600 x(fo9) +0.23 x(fuel) +3600 x(gasnet) +3600 x(gasprod_sarawak81) +0.02 x(gbd) +0.89 x(gear2) +0.24 x(gear4)+0.17 x(gear) +24 x(genpooling_lee1) +522.81 x(genpooling_meyer04) +3600 x(genpooling_meyer10) +3600 x(genpooling_meyer15)+24.58 x(ghg_1veh) +3600 x(ghg_2veh) +0.05 x(gkocis) +422.33 x(heatexch_spec1) +3600 x(heatexch_spec3)+0.05 x(hmittelman) +0.03 x(hybriddynamic_fixed) +1.5 x(johnall) +3600 x(lop97ic) +3600 x(lop97icx)+0.19 x(m3) +83.82 x(m6) +23.71 x(m7_ar2_1) +23.45 x(m7_ar25_1) +256.21 x(m7_ar3_1) +753.68 x(m7_ar5_1)+1508.36 x(m7) +3600 x(mbtd) +0.07 x(meanvarx) +71.16 x(milinfract) +3600 x(minlphix) +3600 x(multiplants_mtg1a)+3600 x(multiplants_mtg1b) +3600 x(multiplants_mtg1c) +3600 x(multiplants_mtg5) +3600 x(multiplants_mtg6)+3600 x(multiplants_stg1a) +3600 x(multiplants_stg1b) +3600 x(multiplants_stg1c) +3600 x(multiplants_stg1)+3600 x(multiplants_stg6) +3600 x(netmod_dol1) +3600 x(netmod_dol2) +347.54 x(netmod_kar1) +348.58 x(netmod_kar2)+3600 x(no7_ar25_1) +3600 x(no7_ar3_1) +3600 x(no7_ar4_1) +3600 x(no7_ar5_1) +142.77 x(nous1) +0.86 x(nous2)+3600 x(nuclear104) +3600 x(nuclear10a) +3600 x(nuclear10b) +3600 x(nuclear14a) +3600 x(nuclear14b)+3600 x(nuclear25a) +3600 x(nuclear25b) +3600 x(nuclear49a) +3600 x(nuclear49b) +3600 x(nuclearvb) +3600 x(nuclearve)+3600 x(nuclearvf) +0.14 x(nvs01) +0.02 x(nvs03) +0.03 x(nvs04) +0.01 x(nvs06) +0.01 x(nvs07) +0.06 x(nvs08)+0.09 x(nvs09) +0.03 x(nvs10) +0.04 x(nvs11) +0.06 x(nvs12) +0.1 x(nvs13) +0.03 x(nvs15) +0.04 x(nvs16)+0.88 x(nvs17) +0.5 x(nvs18) +3.94 x(nvs19) +2.92 x(nvs20) +0.05 x(nvs21) +7.3 x(nvs23) +25.97 x(nvs24)+3600 x(o7_2) +3600 x(o7_ar2_1) +3600 x(o7_ar25_1) +3600 x(o7_ar3_1) +3600 x(o7_ar4_1) +3600 x(o7_ar5_1)+3600 x(o7) +3600 x(o8_ar4_1) +3600 x(o9_ar4_1) +0.04 x(oaer) +3600 x(oil) +0.18 x(ortez) +3600 x(pb302035)+3600 x(pb302055) +3600 x(pb302075) +3600 x(pb302095) +3600 x(pb351535) +3600 x(pb351555) +3600 x(pb351575)+3600 x(pb351595) +3600 x(pooling_epa1) +3600 x(pooling_epa2) +0.02 x(prob02) +0.02 x(prob03) +3600 x(qap)+3600 x(qapw) +1.32 x(ravem) +1.27 x(ravempb) +1.23 x(risk2b) +1.07 x(risk2bpb) +0.16 x(sep1) +0.09 x(sepasequ_complex)+3600 x(space25a) +3600 x(space960) +2.39 x(spectra2) +0.28 x(spring) +0.02 x(st_e13) +0.03 x(st_e15)+0.03 x(st_e27) +0.07 x(st_e29) +1.17 x(st_e31) +3.76 x(st_e35) +0.29 x(st_e36) +0.03 x(st_e38) +0.03 x(st_miqp1)+0.02 x(st_miqp2) +0.01 x(st_miqp3) +0.02 x(st_miqp4) +0.03 x(st_miqp5) +0.03 x(st_test1) +0.03 x(st_test2)+0.03 x(st_test3) +0.03 x(st_test4) +0.04 x(st_test5) +0.04 x(st_test6) +0.04 x(st_test8) +0.12 x(st_testgr1)+0.32 x(st_testgr3) +0.01 x(st_testph4) +3600 x(super3t) +5.11 x(supplychain) +0.51 x(supplychainp1_020306)+3600 x(supplychainp1_022020) +3600 x(supplychainp1_053050) +0.09 x(supplychainr1_020306) +0.25 x(supplychainr1_030510)+3600 x(supplychainr1_053050) +398.82 x(synheat) +0.05 x(synthes1) +0.1 x(synthes2) +0.19 x(synthes3)+3600 x(tln12) +0.05 x(tln2) +3.94 x(tln4) +30.27 x(tln5) +29.32 x(tln6) +3600 x(tln7) +0.15 x(tloss)+3600 x(tls12) +0.64 x(tls2) +1428.72 x(tls4) +3600 x(tls5) +3600 x(tls6) +3600 x(tls7) +0.36 x(tltr)+3600 x(unitcommit1) +3600 x(unitcommit2) +0.81 x(util) +3151.46 x(waste) +3600 x(water4) +3600 x(waternd2)+3600 x(waterx) +3600 x(waterz) -1 stime(BARON) = +0

nsolved(SCIP): +1 x(alan) +1 x(batchdes) +1 x(carton7) +1 x(carton9) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06)+1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(crudeoil_lee3_05)+1 x(crudeoil_lee3_06) +1 x(crudeoil_lee4_08) +1 x(crudeoil_lee4_10) +1 x(crudeoil_li06) +1 x(crudeoilli06)+1 x(csched1) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b)+1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1243) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264)+1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3)+1 x(feedtray2) +1 x(fo7_2) +1 x(fo7_ar2_1) +1 x(fo7_ar25_1) +1 x(fo7_ar3_1) +1 x(fo7_ar4_1) +1 x(fo7_ar5_1)+1 x(fo7) +1 x(fo8_ar2_1) +1 x(fo8_ar25_1) +1 x(fo8_ar3_1) +1 x(fo8_ar4_1) +1 x(fo8_ar5_1) +1 x(fo8)+1 x(fo9_ar2_1) +1 x(fo9_ar3_1) +1 x(fo9_ar4_1) +1 x(fo9_ar5_1) +1 x(fo9) +1 x(fuel) +1 x(gbd) +1 x(genpooling_lee1)+1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(multiplants_mtg1a) +1 x(netmod_dol2) +1 x(netmod_kar1)+1 x(netmod_kar2) +1 x(no7_ar25_1) +1 x(no7_ar3_1) +1 x(no7_ar4_1) +1 x(no7_ar5_1) +1 x(nous2) +1 x(nvs01)+1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13)+1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23) +1 x(nvs24)+1 x(o7_2) +1 x(o7_ar2_1) +1 x(o7_ar25_1) +1 x(o7_ar3_1) +1 x(o7_ar4_1) +1 x(o7_ar5_1) +1 x(o7) +1 x(oaer)+1 x(ortez) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1)+1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29)+1 x(st_e31) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1) +1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5)+1 x(st_test1) +1 x(st_test2) +1 x(st_test3) +1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8)+1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4) +1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tloss) +1 x(tls2)+1 x(tls4) +1 x(tltr) +1 x(unitcommit1) +1 x(unitcommit2) +1 x(util) -1 minsolved >= +0

nsolved(LINDO): +1 x(alan) +1 x(batchdes) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07)+1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(csched1a) +1 x(csched1) +1 x(du-opt5)+1 x(du-opt) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a)+1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1243) +1 x(ex1244) +1 x(ex1263a) +1 x(ex1263)+1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb)+1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear)+1 x(genpooling_lee1) +1 x(ghg_1veh) +1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall)+1 x(m3) +1 x(m6) +1 x(m7_ar2_1) +1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx)+1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(nous1) +1 x(nous2) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06)+1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16)+1 x(nvs17) +1 x(nvs18) +1 x(nvs20) +1 x(nvs21) +1 x(oaer) +1 x(ortez) +1 x(prob02) +1 x(prob03) +1 x(ravem)+1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring)+1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synthes1)+1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss) +1 x(tls2) +1 x(tls4)+1 x(tltr) +1 x(unitcommit1) +1 x(util) -1 minsolved >= +0

nsolved(ANTIGONE): +1 x(alan) +1 x(batchdes) +1 x(blend721) +1 x(carton7) +1 x(cecil_13) +1 x(crudeoil_lee1_05)+1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10)+1 x(crudeoil_lee3_05) +1 x(crudeoil_lee4_08) +1 x(crudeoil_lee4_10) +1 x(csched1a) +1 x(csched1) +1 x(enpro48)+1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225)+1 x(ex1226) +1 x(ex1243) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265)+1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fo7_2)+1 x(fo7_ar2_1) +1 x(fo7_ar25_1) +1 x(fo7_ar3_1) +1 x(fo7_ar4_1) +1 x(fo7_ar5_1) +1 x(fo7) +1 x(fo8_ar2_1)+1 x(fo8_ar25_1) +1 x(fo8_ar3_1) +1 x(fo8_ar4_1) +1 x(fo8_ar5_1) +1 x(fo8) +1 x(fo9) +1 x(fuel) +1 x(gbd)+1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1) +1 x(genpooling_meyer04) +1 x(ghg_1veh) +1 x(gkocis)+1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(lop97icx) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx) +1 x(minlphix) +1 x(multiplants_stg6)+1 x(netmod_dol2) +1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(no7_ar25_1) +1 x(no7_ar3_1) +1 x(no7_ar4_1)+1 x(no7_ar5_1) +1 x(nous1) +1 x(nous2) +1 x(nuclear104) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06)+1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16)+1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23) +1 x(o7_2) +1 x(o7_ar2_1) +1 x(o7_ar5_1)+1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(pooling_epa2) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb)+1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13)+1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synthes1)+1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss) +1 x(tls2) +1 x(tls4)+1 x(tltr) +1 x(util) +1 x(waste) -1 minsolved >= +0

nsolved(COUENNE): +1 x(alan) +1 x(batchdes) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07)+1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(csched1a) +1 x(csched1) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb)+1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226)+1 x(ex1243) +1 x(ex1244) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265)+1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(feedtray2) +1 x(fo7_ar2_1)+1 x(fo7_ar5_1) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1) +1 x(ghg_1veh)+1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx) +1 x(milinfract) +1 x(minlphix)+1 x(nous2) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10)+1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20)+1 x(nvs21) +1 x(nvs23) +1 x(nvs24) +1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(prob02) +1 x(prob03)+1 x(ravem) +1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spring)+1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38)+1 x(st_miqp1) +1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2)+1 x(st_test3) +1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3)+1 x(st_testph4) +1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tloss) +1 x(tls2) +1 x(tltr)+1 x(util) -1 minsolved >= +0

nsolved(BARON): +1 x(alan) +1 x(batchdes) +1 x(casctanks) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06)+1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(csched1a)+1 x(csched1) +1 x(du-opt5) +1 x(du-opt) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221)+1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1233) +1 x(ex1243)+1 x(ex1244) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a)+1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fo7_ar2_1)+1 x(fo7_ar4_1) +1 x(fo7_ar5_1) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1)+1 x(genpooling_meyer04) +1 x(ghg_1veh) +1 x(gkocis) +1 x(heatexch_spec1) +1 x(hmittelman) +1 x(hybriddynamic_fixed)+1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1) +1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7)+1 x(meanvarx) +1 x(milinfract) +1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(nous1) +1 x(nous2) +1 x(nvs01)+1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12)+1 x(nvs13) +1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23)+1 x(nvs24) +1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb)+1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13)+1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synheat)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss)+1 x(tls2) +1 x(tls4) +1 x(tltr) +1 x(util) +1 x(waste) -1 minsolved >= +0

nsolved2(SCIP): +1 x(alan) +1 x(batchdes) +1 x(carton7) +1 x(carton9) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06)+1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(crudeoil_lee3_05)+1 x(crudeoil_lee3_06) +1 x(crudeoil_lee4_08) +1 x(crudeoil_lee4_10) +1 x(crudeoil_li06) +1 x(crudeoilli06)+1 x(csched1) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b)+1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1243) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264)+1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3)+1 x(feedtray2) +1 x(fo7_2) +1 x(fo7_ar2_1) +1 x(fo7_ar25_1) +1 x(fo7_ar3_1) +1 x(fo7_ar4_1) +1 x(fo7_ar5_1)+1 x(fo7) +1 x(fo8_ar2_1) +1 x(fo8_ar25_1) +1 x(fo8_ar3_1) +1 x(fo8_ar4_1) +1 x(fo8_ar5_1) +1 x(fo8)+1 x(fo9_ar2_1) +1 x(fo9_ar3_1) +1 x(fo9_ar4_1) +1 x(fo9_ar5_1) +1 x(fo9) +1 x(fuel) +1 x(gbd) +1 x(genpooling_lee1)+1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(multiplants_mtg1a) +1 x(netmod_dol2) +1 x(netmod_kar1)+1 x(netmod_kar2) +1 x(no7_ar25_1) +1 x(no7_ar3_1) +1 x(no7_ar4_1) +1 x(no7_ar5_1) +1 x(nous2) +1 x(nvs01)+1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13)+1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23) +1 x(nvs24)+1 x(o7_2) +1 x(o7_ar2_1) +1 x(o7_ar25_1) +1 x(o7_ar3_1) +1 x(o7_ar4_1) +1 x(o7_ar5_1) +1 x(o7) +1 x(oaer)+1 x(ortez) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1)+1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29)+1 x(st_e31) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1) +1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5)+1 x(st_test1) +1 x(st_test2) +1 x(st_test3) +1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8)+1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4) +1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tloss) +1 x(tls2)+1 x(tls4) +1 x(tltr) +1 x(unitcommit1) +1 x(unitcommit2) +1 x(util) -1 minsolved <= +1

nsolved2(LINDO): +1 x(alan) +1 x(batchdes) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07)+1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(csched1a) +1 x(csched1) +1 x(du-opt5)+1 x(du-opt) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a)+1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1243) +1 x(ex1244) +1 x(ex1263a) +1 x(ex1263)+1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb)+1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear)+1 x(genpooling_lee1) +1 x(ghg_1veh) +1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall)+1 x(m3) +1 x(m6) +1 x(m7_ar2_1) +1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx)+1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(nous1) +1 x(nous2) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06)+1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16)+1 x(nvs17) +1 x(nvs18) +1 x(nvs20) +1 x(nvs21) +1 x(oaer) +1 x(ortez) +1 x(prob02) +1 x(prob03) +1 x(ravem)+1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring)+1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synthes1)+1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss) +1 x(tls2) +1 x(tls4)+1 x(tltr) +1 x(unitcommit1) +1 x(util) -1 minsolved <= +1

nsolved2(ANTIGONE): +1 x(alan) +1 x(batchdes) +1 x(blend721) +1 x(carton7) +1 x(cecil_13) +1 x(crudeoil_lee1_05)+1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10)+1 x(crudeoil_lee3_05) +1 x(crudeoil_lee4_08) +1 x(crudeoil_lee4_10) +1 x(csched1a) +1 x(csched1) +1 x(enpro48)+1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225)+1 x(ex1226) +1 x(ex1243) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265)+1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fo7_2)+1 x(fo7_ar2_1) +1 x(fo7_ar25_1) +1 x(fo7_ar3_1) +1 x(fo7_ar4_1) +1 x(fo7_ar5_1) +1 x(fo7) +1 x(fo8_ar2_1)+1 x(fo8_ar25_1) +1 x(fo8_ar3_1) +1 x(fo8_ar4_1) +1 x(fo8_ar5_1) +1 x(fo8) +1 x(fo9) +1 x(fuel) +1 x(gbd)+1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1) +1 x(genpooling_meyer04) +1 x(ghg_1veh) +1 x(gkocis)+1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(lop97icx) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx) +1 x(minlphix) +1 x(multiplants_stg6)+1 x(netmod_dol2) +1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(no7_ar25_1) +1 x(no7_ar3_1) +1 x(no7_ar4_1)+1 x(no7_ar5_1) +1 x(nous1) +1 x(nous2) +1 x(nuclear104) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06)+1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16)+1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23) +1 x(o7_2) +1 x(o7_ar2_1) +1 x(o7_ar5_1)+1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(pooling_epa2) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb)+1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13)+1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synthes1)+1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss) +1 x(tls2) +1 x(tls4)+1 x(tltr) +1 x(util) +1 x(waste) -1 minsolved <= +1

nsolved2(COUENNE): +1 x(alan) +1 x(batchdes) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07)+1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(csched1a) +1 x(csched1) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb)+1 x(ethanolh) +1 x(ex1221) +1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226)+1 x(ex1243) +1 x(ex1244) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265)+1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(feedtray2) +1 x(fo7_ar2_1)+1 x(fo7_ar5_1) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1) +1 x(ghg_1veh)+1 x(gkocis) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1)+1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(meanvarx) +1 x(milinfract) +1 x(minlphix)+1 x(nous2) +1 x(nvs01) +1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10)+1 x(nvs11) +1 x(nvs12) +1 x(nvs13) +1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20)+1 x(nvs21) +1 x(nvs23) +1 x(nvs24) +1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(prob02) +1 x(prob03)+1 x(ravem) +1 x(ravempb) +1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spring)+1 x(st_e13) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38)+1 x(st_miqp1) +1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2)+1 x(st_test3) +1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3)+1 x(st_testph4) +1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tloss) +1 x(tls2) +1 x(tltr)+1 x(util) -1 minsolved <= +1

nsolved2(BARON): +1 x(alan) +1 x(batchdes) +1 x(casctanks) +1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06)+1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09) +1 x(crudeoil_lee1_10) +1 x(csched1a)+1 x(csched1) +1 x(du-opt5) +1 x(du-opt) +1 x(elf) +1 x(enpro48) +1 x(enpro48pb) +1 x(ethanolh) +1 x(ex1221)+1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1233) +1 x(ex1243)+1 x(ex1244) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264) +1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a)+1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(fac1) +1 x(fac2) +1 x(fac3) +1 x(feedtray2) +1 x(fo7_ar2_1)+1 x(fo7_ar4_1) +1 x(fo7_ar5_1) +1 x(fuel) +1 x(gbd) +1 x(gear2) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1)+1 x(genpooling_meyer04) +1 x(ghg_1veh) +1 x(gkocis) +1 x(heatexch_spec1) +1 x(hmittelman) +1 x(hybriddynamic_fixed)+1 x(johnall) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1) +1 x(m7_ar25_1) +1 x(m7_ar3_1) +1 x(m7_ar5_1) +1 x(m7)+1 x(meanvarx) +1 x(milinfract) +1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(nous1) +1 x(nous2) +1 x(nvs01)+1 x(nvs03) +1 x(nvs04) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12)+1 x(nvs13) +1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21) +1 x(nvs23)+1 x(nvs24) +1 x(oaer) +1 x(ortez) +1 x(pooling_epa1) +1 x(prob02) +1 x(prob03) +1 x(ravem) +1 x(ravempb)+1 x(risk2b) +1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(spectra2) +1 x(spring) +1 x(st_e13)+1 x(st_e15) +1 x(st_e27) +1 x(st_e29) +1 x(st_e31) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38) +1 x(st_miqp1)+1 x(st_miqp2) +1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainr1_020306) +1 x(supplychainr1_030510) +1 x(synheat)+1 x(synthes1) +1 x(synthes2) +1 x(synthes3) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tloss)+1 x(tls2) +1 x(tls4) +1 x(tltr) +1 x(util) +1 x(waste) -1 minsolved <= +1

car: +1 x(4stufen) +1 x(alan) +1 x(batch0812) +1 x(batch0812_nc) +1 x(batchdes) +1 x(batch) +1 x(batch_nc)+1 x(bchoco05) +1 x(bchoco06) +1 x(bchoco07) +1 x(bchoco08) +1 x(beuster) +1 x(blend029) +1 x(blend146)+1 x(blend480) +1 x(blend531) +1 x(blend718) +1 x(blend721) +1 x(blend852) +1 x(cardqp_inlp) +1 x(cardqp_iqp)+1 x(carton7) +1 x(carton9) +1 x(casctanks) +1 x(case_1scv2) +1 x(cecil_13) +1 x(chp_partload) +1 x(contvar)+1 x(crudeoil_lee1_05) +1 x(crudeoil_lee1_06) +1 x(crudeoil_lee1_07) +1 x(crudeoil_lee1_08) +1 x(crudeoil_lee1_09)+1 x(crudeoil_lee1_10) +1 x(crudeoil_lee2_05) +1 x(crudeoil_lee2_06) +1 x(crudeoil_lee2_07) +1 x(crudeoil_lee2_08)+1 x(crudeoil_lee2_09) +1 x(crudeoil_lee2_10) +1 x(crudeoil_lee3_05) +1 x(crudeoil_lee3_06) +1 x(crudeoil_lee3_07)+1 x(crudeoil_lee3_08) +1 x(crudeoil_lee3_09) +1 x(crudeoil_lee3_10) +1 x(crudeoil_lee4_05) +1 x(crudeoil_lee4_06)+1 x(crudeoil_lee4_07) +1 x(crudeoil_lee4_08) +1 x(crudeoil_lee4_09) +1 x(crudeoil_lee4_10) +1 x(crudeoil_li01)+1 x(crudeoilli01) +1 x(crudeoil_li02) +1 x(crudeoilli02) +1 x(crudeoil_li03) +1 x(crudeoilli03) +1 x(crudeoil_li05)+1 x(crudeoilli05) +1 x(crudeoil_li06) +1 x(crudeoilli06) +1 x(crudeoil_li11) +1 x(crudeoilli11) +1 x(crudeoil_li21)+1 x(crudeoilli21) +1 x(csched1a) +1 x(csched1) +1 x(csched2a) +1 x(csched2) +1 x(densitymod) +1 x(du-opt5)+1 x(du-opt) +1 x(eg_all_s) +1 x(eg_disc2_s) +1 x(eg_disc_s) +1 x(eg_int_s) +1 x(elf) +1 x(eniplac)+1 x(enpro48) +1 x(enpro48pb) +1 x(enpro56) +1 x(enpro56pb) +1 x(ethanolh) +1 x(ethanolm) +1 x(ex1221)+1 x(ex1222) +1 x(ex1223a) +1 x(ex1223b) +1 x(ex1223) +1 x(ex1224) +1 x(ex1225) +1 x(ex1226) +1 x(ex1233)+1 x(ex1243) +1 x(ex1244) +1 x(ex1252a) +1 x(ex1252) +1 x(ex1263a) +1 x(ex1263) +1 x(ex1264a) +1 x(ex1264)+1 x(ex1265a) +1 x(ex1265) +1 x(ex1266a) +1 x(ex1266) +1 x(ex3) +1 x(ex3pb) +1 x(ex4) +1 x(fac1) +1 x(fac2)+1 x(fac3) +1 x(feedtray2) +1 x(feedtray) +1 x(fo7_2) +1 x(fo7_ar2_1) +1 x(fo7_ar25_1) +1 x(fo7_ar3_1)+1 x(fo7_ar4_1) +1 x(fo7_ar5_1) +1 x(fo7) +1 x(fo8_ar2_1) +1 x(fo8_ar25_1) +1 x(fo8_ar3_1) +1 x(fo8_ar4_1)+1 x(fo8_ar5_1) +1 x(fo8) +1 x(fo9_ar2_1) +1 x(fo9_ar25_1) +1 x(fo9_ar3_1) +1 x(fo9_ar4_1) +1 x(fo9_ar5_1)+1 x(fo9) +1 x(fuel) +1 x(gasnet) +1 x(gasprod_sarawak01) +1 x(gasprod_sarawak16) +1 x(gasprod_sarawak81)+1 x(gastrans) +1 x(gbd) +1 x(gear2) +1 x(gear3) +1 x(gear4) +1 x(gear) +1 x(genpooling_lee1) +1 x(genpooling_lee2)+1 x(genpooling_meyer04) +1 x(genpooling_meyer10) +1 x(genpooling_meyer15) +1 x(ghg_1veh) +1 x(ghg_2veh)+1 x(ghg_3veh) +1 x(gkocis) +1 x(hda) +1 x(heatexch_gen1) +1 x(heatexch_gen2) +1 x(heatexch_gen3) +1 x(heatexch_spec1)+1 x(heatexch_spec2) +1 x(heatexch_spec3) +1 x(hmittelman) +1 x(hybriddynamic_fixed) +1 x(hybriddynamic_var)+1 x(johnall) +1 x(lop97ic) +1 x(lop97icx) +1 x(m3) +1 x(m6) +1 x(m7_ar2_1) +1 x(m7_ar25_1) +1 x(m7_ar3_1)+1 x(m7_ar4_1) +1 x(m7_ar5_1) +1 x(m7) +1 x(mbtd) +1 x(meanvarx) +1 x(milinfract) +1 x(minlphix) +1 x(multiplants_mtg1a)+1 x(multiplants_mtg1b) +1 x(multiplants_mtg1c) +1 x(multiplants_mtg2) +1 x(multiplants_mtg5) +1 x(multiplants_mtg6)+1 x(multiplants_stg1a) +1 x(multiplants_stg1b) +1 x(multiplants_stg1c) +1 x(multiplants_stg1) +1 x(multiplants_stg5)+1 x(multiplants_stg6) +1 x(netmod_dol1) +1 x(netmod_dol2) +1 x(netmod_kar1) +1 x(netmod_kar2) +1 x(no7_ar2_1)+1 x(no7_ar25_1) +1 x(no7_ar3_1) +1 x(no7_ar4_1) +1 x(no7_ar5_1) +1 x(nous1) +1 x(nous2) +1 x(nuclear104)+1 x(nuclear10a) +1 x(nuclear10b) +1 x(nuclear14a) +1 x(nuclear14b) +1 x(nuclear14) +1 x(nuclear25a)+1 x(nuclear25b) +1 x(nuclear25) +1 x(nuclear49a) +1 x(nuclear49b) +1 x(nuclear49) +1 x(nuclearva) +1 x(nuclearvb)+1 x(nuclearvc) +1 x(nuclearvd) +1 x(nuclearve) +1 x(nuclearvf) +1 x(nvs01) +1 x(nvs02) +1 x(nvs03)+1 x(nvs04) +1 x(nvs05) +1 x(nvs06) +1 x(nvs07) +1 x(nvs08) +1 x(nvs09) +1 x(nvs10) +1 x(nvs11) +1 x(nvs12)+1 x(nvs13) +1 x(nvs14) +1 x(nvs15) +1 x(nvs16) +1 x(nvs17) +1 x(nvs18) +1 x(nvs19) +1 x(nvs20) +1 x(nvs21)+1 x(nvs22) +1 x(nvs23) +1 x(nvs24) +1 x(o7_2) +1 x(o7_ar2_1) +1 x(o7_ar25_1) +1 x(o7_ar3_1) +1 x(o7_ar4_1)+1 x(o7_ar5_1) +1 x(o7) +1 x(o8_ar4_1) +1 x(o9_ar4_1) +1 x(oaer) +1 x(oil2) +1 x(oil) +1 x(ortez) +1 x(parallel)+1 x(pb302035) +1 x(pb302055) +1 x(pb302075) +1 x(pb302095) +1 x(pb351535) +1 x(pb351555) +1 x(pb351575)+1 x(pb351595) +1 x(pooling_epa1) +1 x(pooling_epa2) +1 x(pooling_epa3) +1 x(prob02) +1 x(prob03) +1 x(procsel)+1 x(product2) +1 x(product) +1 x(pump) +1 x(qap) +1 x(qapw) +1 x(ravem) +1 x(ravempb) +1 x(risk2b)+1 x(risk2bpb) +1 x(sep1) +1 x(sepasequ_complex) +1 x(sepasequ_convent) +1 x(space25a) +1 x(space25)+1 x(space960) +1 x(spectra2) +1 x(spring) +1 x(st_e13) +1 x(st_e14) +1 x(st_e15) +1 x(st_e27) +1 x(st_e29)+1 x(st_e31) +1 x(st_e32) +1 x(st_e35) +1 x(st_e36) +1 x(st_e38) +1 x(st_e40) +1 x(st_miqp1) +1 x(st_miqp2)+1 x(st_miqp3) +1 x(st_miqp4) +1 x(st_miqp5) +1 x(stockcycle) +1 x(st_test1) +1 x(st_test2) +1 x(st_test3)+1 x(st_test4) +1 x(st_test5) +1 x(st_test6) +1 x(st_test8) +1 x(st_testgr1) +1 x(st_testgr3) +1 x(st_testph4)+1 x(super1) +1 x(super2) +1 x(super3) +1 x(super3t) +1 x(supplychain) +1 x(supplychainp1_020306) +1 x(supplychainp1_022020)+1 x(supplychainp1_030510) +1 x(supplychainp1_053050) +1 x(supplychainr1_020306) +1 x(supplychainr1_022020)+1 x(supplychainr1_030510) +1 x(supplychainr1_053050) +1 x(synheat) +1 x(synthes1) +1 x(synthes2) +1 x(synthes3)+1 x(tln12) +1 x(tln2) +1 x(tln4) +1 x(tln5) +1 x(tln6) +1 x(tln7) +1 x(tloss) +1 x(tls12) +1 x(tls2)+1 x(tls4) +1 x(tls5) +1 x(tls6) +1 x(tls7) +1 x(tltr) +1 x(unitcommit1) +1 x(unitcommit2) +1 x(uselinear)+1 x(util) +1 x(waste) +1 x(water4) +1 x(waternd1) +1 x(waternd2) +1 x(waterx) +1 x(waterz) = +87

aboveavgeq(SCIP): -1 stime(SCIP) +1 timeavg +1 aboveavg(SCIP) >= +0aboveavgeq(LINDO): -1 stime(LINDO) +1 timeavg +1 aboveavg(LINDO) >= +0aboveavgeq(ANTIGONE): -1 stime(ANTIGONE) +1 timeavg +1 aboveavg(ANTIGONE) >= +0aboveavgeq(COUENNE): -1 stime(COUENNE) +1 timeavg +1 aboveavg(COUENNE) >= +0aboveavgeq(BARON): -1 stime(BARON) +1 timeavg +1 aboveavg(BARON) >= +0belowavgeq(SCIP): +1 stime(SCIP) -1 timeavg +1 belowavg(SCIP) >= +0belowavgeq(LINDO): +1 stime(LINDO) -1 timeavg +1 belowavg(LINDO) >= +0belowavgeq(ANTIGONE): +1 stime(ANTIGONE) -1 timeavg +1 belowavg(ANTIGONE) >= +0belowavgeq(COUENNE): +1 stime(COUENNE) -1 timeavg +1 belowavg(COUENNE) >= +0belowavgeq(BARON): +1 stime(BARON) -1 timeavg +1 belowavg(BARON) >= +0Bounds0 <= x(4stufen) <= 00 <= x(alan) <= 00 <= x(batch0812) <= 00 <= x(batch0812_nc) <= 00 <= x(batchdes) <= 00 <= x(batch) <= 00 <= x(batch_nc) <= 00 <= x(bchoco05) <= 10 <= x(bchoco06) <= 00 <= x(bchoco07) <= 10 <= x(bchoco08) <= 00 <= x(beuster) <= 00 <= x(blend029) <= 00 <= x(blend146) <= 00 <= x(blend480) <= 00 <= x(blend531) <= 00 <= x(blend718) <= 00 <= x(blend721) <= 10 <= x(blend852) <= 00 <= x(cardqp_inlp) <= 10 <= x(cardqp_iqp) <= 10 <= x(carton7) <= 10 <= x(carton9) <= 10 <= x(casctanks) <= 10 <= x(case_1scv2) <= 00 <= x(cecil_13) <= 10 <= x(chp_partload) <= 10 <= x(contvar) <= 00 <= x(crudeoil_lee1_05) <= 10 <= x(crudeoil_lee1_06) <= 10 <= x(crudeoil_lee1_07) <= 10 <= x(crudeoil_lee1_08) <= 10 <= x(crudeoil_lee1_09) <= 10 <= x(crudeoil_lee1_10) <= 10 <= x(crudeoil_lee2_05) <= 00 <= x(crudeoil_lee2_06) <= 00 <= x(crudeoil_lee2_07) <= 00 <= x(crudeoil_lee2_08) <= 00 <= x(crudeoil_lee2_09) <= 00 <= x(crudeoil_lee2_10) <= 00 <= x(crudeoil_lee3_05) <= 10 <= x(crudeoil_lee3_06) <= 10 <= x(crudeoil_lee3_07) <= 10 <= x(crudeoil_lee3_08) <= 10 <= x(crudeoil_lee3_09) <= 00 <= x(crudeoil_lee3_10) <= 10 <= x(crudeoil_lee4_05) <= 00 <= x(crudeoil_lee4_06) <= 00 <= x(crudeoil_lee4_07) <= 00 <= x(crudeoil_lee4_08) <= 10 <= x(crudeoil_lee4_09) <= 00 <= x(crudeoil_lee4_10) <= 10 <= x(crudeoil_li01) <= 10 <= x(crudeoilli01) <= 10 <= x(crudeoil_li02) <= 10 <= x(crudeoilli02) <= 10 <= x(crudeoil_li03) <= 10 <= x(crudeoilli03) <= 10 <= x(crudeoil_li05) <= 10 <= x(crudeoilli05) <= 10 <= x(crudeoil_li06) <= 10 <= x(crudeoilli06) <= 10 <= x(crudeoil_li11) <= 10 <= x(crudeoilli11) <= 10 <= x(crudeoil_li21) <= 10 <= x(crudeoilli21) <= 10 <= x(csched1a) <= 00 <= x(csched1) <= 10 <= x(csched2a) <= 10 <= x(csched2) <= 10 <= x(densitymod) <= 10 <= x(du-opt5) <= 00 <= x(du-opt) <= 00 <= x(eg_all_s) <= 00 <= x(eg_disc2_s) <= 10 <= x(eg_disc_s) <= 10 <= x(eg_int_s) <= 00 <= x(elf) <= 00 <= x(eniplac) <= 00 <= x(enpro48) <= 10 <= x(enpro48pb) <= 10 <= x(enpro56) <= 00 <= x(enpro56pb) <= 00 <= x(ethanolh) <= 00 <= x(ethanolm) <= 00 <= x(ex1221) <= 00 <= x(ex1222) <= 00 <= x(ex1223a) <= 00 <= x(ex1223b) <= 00 <= x(ex1223) <= 00 <= x(ex1224) <= 00 <= x(ex1225) <= 00 <= x(ex1226) <= 00 <= x(ex1233) <= 10 <= x(ex1243) <= 10 <= x(ex1244) <= 10 <= x(ex1252a) <= 00 <= x(ex1252) <= 00 <= x(ex1263a) <= 00 <= x(ex1263) <= 10 <= x(ex1264a) <= 00 <= x(ex1264) <= 00 <= x(ex1265a) <= 00 <= x(ex1265) <= 00 <= x(ex1266a) <= 00 <= x(ex1266) <= 00 <= x(ex3) <= 00 <= x(ex3pb) <= 00 <= x(ex4) <= 00 <= x(fac1) <= 00 <= x(fac2) <= 00 <= x(fac3) <= 00 <= x(feedtray2) <= 00 <= x(feedtray) <= 10 <= x(fo7_2) <= 10 <= x(fo7_ar2_1) <= 10 <= x(fo7_ar25_1) <= 10 <= x(fo7_ar3_1) <= 10 <= x(fo7_ar4_1) <= 10 <= x(fo7_ar5_1) <= 10 <= x(fo7) <= 10 <= x(fo8_ar2_1) <= 10 <= x(fo8_ar25_1) <= 10 <= x(fo8_ar3_1) <= 10 <= x(fo8_ar4_1) <= 10 <= x(fo8_ar5_1) <= 10 <= x(fo8) <= 10 <= x(fo9_ar2_1) <= 10 <= x(fo9_ar25_1) <= 10 <= x(fo9_ar3_1) <= 10 <= x(fo9_ar4_1) <= 10 <= x(fo9_ar5_1) <= 10 <= x(fo9) <= 10 <= x(fuel) <= 00 <= x(gasnet) <= 10 <= x(gasprod_sarawak01) <= 00 <= x(gasprod_sarawak16) <= 00 <= x(gasprod_sarawak81) <= 10 <= x(gastrans) <= 00 <= x(gbd) <= 00 <= x(gear2) <= 00 <= x(gear3) <= 00 <= x(gear4) <= 00 <= x(gear) <= 00 <= x(genpooling_lee1) <= 10 <= x(genpooling_lee2) <= 00 <= x(genpooling_meyer04) <= 10 <= x(genpooling_meyer10) <= 10 <= x(genpooling_meyer15) <= 10 <= x(ghg_1veh) <= 00 <= x(ghg_2veh) <= 10 <= x(ghg_3veh) <= 00 <= x(gkocis) <= 00 <= x(hda) <= 00 <= x(heatexch_gen1) <= 00 <= x(heatexch_gen2) <= 00 <= x(heatexch_gen3) <= 00 <= x(heatexch_spec1) <= 10 <= x(heatexch_spec2) <= 00 <= x(heatexch_spec3) <= 10 <= x(hmittelman) <= 00 <= x(hybriddynamic_fixed) <= 00 <= x(hybriddynamic_var) <= 00 <= x(johnall) <= 10 <= x(lop97ic) <= 10 <= x(lop97icx) <= 10 <= x(m3) <= 00 <= x(m6) <= 00 <= x(m7_ar2_1) <= 10 <= x(m7_ar25_1) <= 10 <= x(m7_ar3_1) <= 10 <= x(m7_ar4_1) <= 00 <= x(m7_ar5_1) <= 10 <= x(m7) <= 10 <= x(mbtd) <= 10 <= x(meanvarx) <= 00 <= x(milinfract) <= 10 <= x(minlphix) <= 10 <= x(multiplants_mtg1a) <= 10 <= x(multiplants_mtg1b) <= 10 <= x(multiplants_mtg1c) <= 10 <= x(multiplants_mtg2) <= 00 <= x(multiplants_mtg5) <= 10 <= x(multiplants_mtg6) <= 10 <= x(multiplants_stg1a) <= 10 <= x(multiplants_stg1b) <= 10 <= x(multiplants_stg1c) <= 10 <= x(multiplants_stg1) <= 10 <= x(multiplants_stg5) <= 00 <= x(multiplants_stg6) <= 10 <= x(netmod_dol1) <= 10 <= x(netmod_dol2) <= 10 <= x(netmod_kar1) <= 10 <= x(netmod_kar2) <= 10 <= x(no7_ar2_1) <= 00 <= x(no7_ar25_1) <= 10 <= x(no7_ar3_1) <= 10 <= x(no7_ar4_1) <= 10 <= x(no7_ar5_1) <= 10 <= x(nous1) <= 10 <= x(nous2) <= 10 <= x(nuclear104) <= 10 <= x(nuclear10a) <= 10 <= x(nuclear10b) <= 10 <= x(nuclear14a) <= 10 <= x(nuclear14b) <= 10 <= x(nuclear14) <= 00 <= x(nuclear25a) <= 10 <= x(nuclear25b) <= 10 <= x(nuclear25) <= 00 <= x(nuclear49a) <= 10 <= x(nuclear49b) <= 10 <= x(nuclear49) <= 00 <= x(nuclearva) <= 00 <= x(nuclearvb) <= 10 <= x(nuclearvc) <= 00 <= x(nuclearvd) <= 00 <= x(nuclearve) <= 10 <= x(nuclearvf) <= 10 <= x(nvs01) <= 00 <= x(nvs02) <= 00 <= x(nvs03) <= 00 <= x(nvs04) <= 00 <= x(nvs05) <= 00 <= x(nvs06) <= 00 <= x(nvs07) <= 00 <= x(nvs08) <= 00 <= x(nvs09) <= 00 <= x(nvs10) <= 00 <= x(nvs11) <= 00 <= x(nvs12) <= 00 <= x(nvs13) <= 00 <= x(nvs14) <= 00 <= x(nvs15) <= 00 <= x(nvs16) <= 00 <= x(nvs17) <= 00 <= x(nvs18) <= 00 <= x(nvs19) <= 00 <= x(nvs20) <= 10 <= x(nvs21) <= 00 <= x(nvs22) <= 00 <= x(nvs23) <= 00 <= x(nvs24) <= 00 <= x(o7_2) <= 10 <= x(o7_ar2_1) <= 10 <= x(o7_ar25_1) <= 10 <= x(o7_ar3_1) <= 10 <= x(o7_ar4_1) <= 10 <= x(o7_ar5_1) <= 10 <= x(o7) <= 10 <= x(o8_ar4_1) <= 10 <= x(o9_ar4_1) <= 10 <= x(oaer) <= 00 <= x(oil2) <= 00 <= x(oil) <= 10 <= x(ortez) <= 00 <= x(parallel) <= 00 <= x(pb302035) <= 10 <= x(pb302055) <= 10 <= x(pb302075) <= 10 <= x(pb302095) <= 10 <= x(pb351535) <= 10 <= x(pb351555) <= 10 <= x(pb351575) <= 10 <= x(pb351595) <= 10 <= x(pooling_epa1) <= 10 <= x(pooling_epa2) <= 10 <= x(pooling_epa3) <= 00 <= x(prob02) <= 00 <= x(prob03) <= 00 <= x(procsel) <= 00 <= x(product2) <= 00 <= x(product) <= 00 <= x(pump) <= 00 <= x(qap) <= 10 <= x(qapw) <= 10 <= x(ravem) <= 10 <= x(ravempb) <= 10 <= x(risk2b) <= 00 <= x(risk2bpb) <= 00 <= x(sep1) <= 00 <= x(sepasequ_complex) <= 00 <= x(sepasequ_convent) <= 00 <= x(space25a) <= 10 <= x(space25) <= 00 <= x(space960) <= 10 <= x(spectra2) <= 10 <= x(spring) <= 00 <= x(st_e13) <= 00 <= x(st_e14) <= 00 <= x(st_e15) <= 00 <= x(st_e27) <= 00 <= x(st_e29) <= 00 <= x(st_e31) <= 10 <= x(st_e32) <= 00 <= x(st_e35) <= 10 <= x(st_e36) <= 00 <= x(st_e38) <= 00 <= x(st_e40) <= 00 <= x(st_miqp1) <= 00 <= x(st_miqp2) <= 00 <= x(st_miqp3) <= 00 <= x(st_miqp4) <= 00 <= x(st_miqp5) <= 00 <= x(stockcycle) <= 00 <= x(st_test1) <= 00 <= x(st_test2) <= 00 <= x(st_test3) <= 00 <= x(st_test4) <= 00 <= x(st_test5) <= 00 <= x(st_test6) <= 00 <= x(st_test8) <= 00 <= x(st_testgr1) <= 00 <= x(st_testgr3) <= 00 <= x(st_testph4) <= 00 <= x(super1) <= 00 <= x(super2) <= 00 <= x(super3) <= 00 <= x(super3t) <= 10 <= x(supplychain) <= 00 <= x(supplychainp1_020306) <= 00 <= x(supplychainp1_022020) <= 10 <= x(supplychainp1_030510) <= 00 <= x(supplychainp1_053050) <= 10 <= x(supplychainr1_020306) <= 00 <= x(supplychainr1_022020) <= 00 <= x(supplychainr1_030510) <= 00 <= x(supplychainr1_053050) <= 10 <= x(synheat) <= 10 <= x(synthes1) <= 00 <= x(synthes2) <= 00 <= x(synthes3) <= 00 <= x(tln12) <= 10 <= x(tln2) <= 00 <= x(tln4) <= 10 <= x(tln5) <= 10 <= x(tln6) <= 10 <= x(tln7) <= 10 <= x(tloss) <= 00 <= x(tls12) <= 10 <= x(tls2) <= 00 <= x(tls4) <= 10 <= x(tls5) <= 10 <= x(tls6) <= 10 <= x(tls7) <= 10 <= x(tltr) <= 00 <= x(unitcommit1) <= 10 <= x(unitcommit2) <= 10 <= x(uselinear) <= 00 <= x(util) <= 00 <= x(waste) <= 10 <= x(water4) <= 10 <= x(waternd1) <= 00 <= x(waternd2) <= 10 <= x(waterx) <= 10 <= x(waterz) <= 1stime(SCIP) freestime(LINDO) freestime(ANTIGONE) freestime(COUENNE) freestime(BARON) freetimeavg freeminsolved free0 <= aboveavg(SCIP) <= 1200 <= aboveavg(LINDO) <= 1200 <= aboveavg(ANTIGONE) <= 1200 <= aboveavg(COUENNE) <= 1200 <= aboveavg(BARON) <= 1200 <= belowavg(SCIP) <= 1200 <= belowavg(LINDO) <= 1200 <= belowavg(ANTIGONE) <= 1200 <= belowavg(COUENNE) <= 1200 <= belowavg(BARON) <= 120Binariesx(4stufen) x(alan) x(batch0812) x(batch0812_nc) x(batchdes) x(batch) x(batch_nc) x(bchoco05) x(bchoco06)x(bchoco07) x(bchoco08) x(beuster) x(blend029) x(blend146) x(blend480) x(blend531) x(blend718) x(blend721)x(blend852) x(cardqp_inlp) x(cardqp_iqp) x(carton7) x(carton9) x(casctanks) x(case_1scv2) x(cecil_13)x(chp_partload) x(contvar) x(crudeoil_lee1_05) x(crudeoil_lee1_06) x(crudeoil_lee1_07) x(crudeoil_lee1_08)x(crudeoil_lee1_09) x(crudeoil_lee1_10) x(crudeoil_lee2_05) x(crudeoil_lee2_06) x(crudeoil_lee2_07) x(crudeoil_lee2_08)x(crudeoil_lee2_09) x(crudeoil_lee2_10) x(crudeoil_lee3_05) x(crudeoil_lee3_06) x(crudeoil_lee3_07) x(crudeoil_lee3_08)x(crudeoil_lee3_09) x(crudeoil_lee3_10) x(crudeoil_lee4_05) x(crudeoil_lee4_06) x(crudeoil_lee4_07) x(crudeoil_lee4_08)x(crudeoil_lee4_09) x(crudeoil_lee4_10) x(crudeoil_li01) x(crudeoilli01) x(crudeoil_li02) x(crudeoilli02)x(crudeoil_li03) x(crudeoilli03) x(crudeoil_li05) x(crudeoilli05) x(crudeoil_li06) x(crudeoilli06) x(crudeoil_li11)x(crudeoilli11) x(crudeoil_li21) x(crudeoilli21) x(csched1a) x(csched1) x(csched2a) x(csched2) x(densitymod)x(du-opt5) x(du-opt) x(eg_all_s) x(eg_disc2_s) x(eg_disc_s) x(eg_int_s) x(elf) x(eniplac) x(enpro48)x(enpro48pb) x(enpro56) x(enpro56pb) x(ethanolh) x(ethanolm) x(ex1221) x(ex1222) x(ex1223a) x(ex1223b)x(ex1223) x(ex1224) x(ex1225) x(ex1226) x(ex1233) x(ex1243) x(ex1244) x(ex1252a) x(ex1252) x(ex1263a)x(ex1263) x(ex1264a) x(ex1264) x(ex1265a) x(ex1265) x(ex1266a) x(ex1266) x(ex3) x(ex3pb) x(ex4) x(fac1)x(fac2) x(fac3) x(feedtray2) x(feedtray) x(fo7_2) x(fo7_ar2_1) x(fo7_ar25_1) x(fo7_ar3_1) x(fo7_ar4_1)x(fo7_ar5_1) x(fo7) x(fo8_ar2_1) x(fo8_ar25_1) x(fo8_ar3_1) x(fo8_ar4_1) x(fo8_ar5_1) x(fo8) x(fo9_ar2_1)x(fo9_ar25_1) x(fo9_ar3_1) x(fo9_ar4_1) x(fo9_ar5_1) x(fo9) x(fuel) x(gasnet) x(gasprod_sarawak01) x(gasprod_sarawak16)x(gasprod_sarawak81) x(gastrans) x(gbd) x(gear2) x(gear3) x(gear4) x(gear) x(genpooling_lee1) x(genpooling_lee2)x(genpooling_meyer04) x(genpooling_meyer10) x(genpooling_meyer15) x(ghg_1veh) x(ghg_2veh) x(ghg_3veh)x(gkocis) x(hda) x(heatexch_gen1) x(heatexch_gen2) x(heatexch_gen3) x(heatexch_spec1) x(heatexch_spec2)x(heatexch_spec3) x(hmittelman) x(hybriddynamic_fixed) x(hybriddynamic_var) x(johnall) x(lop97ic) x(lop97icx)x(m3) x(m6) x(m7_ar2_1) x(m7_ar25_1) x(m7_ar3_1) x(m7_ar4_1) x(m7_ar5_1) x(m7) x(mbtd) x(meanvarx) x(milinfract)x(minlphix) x(multiplants_mtg1a) x(multiplants_mtg1b) x(multiplants_mtg1c) x(multiplants_mtg2) x(multiplants_mtg5)x(multiplants_mtg6) x(multiplants_stg1a) x(multiplants_stg1b) x(multiplants_stg1c) x(multiplants_stg1)x(multiplants_stg5) x(multiplants_stg6) x(netmod_dol1) x(netmod_dol2) x(netmod_kar1) x(netmod_kar2) x(no7_ar2_1)x(no7_ar25_1) x(no7_ar3_1) x(no7_ar4_1) x(no7_ar5_1) x(nous1) x(nous2) x(nuclear104) x(nuclear10a) x(nuclear10b)x(nuclear14a) x(nuclear14b) x(nuclear14) x(nuclear25a) x(nuclear25b) x(nuclear25) x(nuclear49a) x(nuclear49b)x(nuclear49) x(nuclearva) x(nuclearvb) x(nuclearvc) x(nuclearvd) x(nuclearve) x(nuclearvf) x(nvs01) x(nvs02)x(nvs03) x(nvs04) x(nvs05) x(nvs06) x(nvs07) x(nvs08) x(nvs09) x(nvs10) x(nvs11) x(nvs12) x(nvs13) x(nvs14)x(nvs15) x(nvs16) x(nvs17) x(nvs18) x(nvs19) x(nvs20) x(nvs21) x(nvs22) x(nvs23) x(nvs24) x(o7_2) x(o7_ar2_1)x(o7_ar25_1) x(o7_ar3_1) x(o7_ar4_1) x(o7_ar5_1) x(o7) x(o8_ar4_1) x(o9_ar4_1) x(oaer) x(oil2) x(oil)x(ortez) x(parallel) x(pb302035) x(pb302055) x(pb302075) x(pb302095) x(pb351535) x(pb351555) x(pb351575)x(pb351595) x(pooling_epa1) x(pooling_epa2) x(pooling_epa3) x(prob02) x(prob03) x(procsel) x(product2)x(product) x(pump) x(qap) x(qapw) x(ravem) x(ravempb) x(risk2b) x(risk2bpb) x(sep1) x(sepasequ_complex)x(sepasequ_convent) x(space25a) x(space25) x(space960) x(spectra2) x(spring) x(st_e13) x(st_e14) x(st_e15)x(st_e27) x(st_e29) x(st_e31) x(st_e32) x(st_e35) x(st_e36) x(st_e38) x(st_e40) x(st_miqp1) x(st_miqp2)x(st_miqp3) x(st_miqp4) x(st_miqp5) x(stockcycle) x(st_test1) x(st_test2) x(st_test3) x(st_test4) x(st_test5)x(st_test6) x(st_test8) x(st_testgr1) x(st_testgr3) x(st_testph4) x(super1) x(super2) x(super3) x(super3t)x(supplychain) x(supplychainp1_020306) x(supplychainp1_022020) x(supplychainp1_030510) x(supplychainp1_053050)x(supplychainr1_020306) x(supplychainr1_022020) x(supplychainr1_030510) x(supplychainr1_053050) x(synheat)x(synthes1) x(synthes2) x(synthes3) x(tln12) x(tln2) x(tln4) x(tln5) x(tln6) x(tln7) x(tloss) x(tls12)x(tls2) x(tls4) x(tls5) x(tls6) x(tls7) x(tltr) x(unitcommit1) x(unitcommit2) x(uselinear) x(util) x(waste)x(water4) x(waternd1) x(waternd2) x(waterx) x(waterz)End

30 / 26

Date post:	03-Feb-2020
Category:	Documents
Upload:	others
View:	1 times
Download:	0 times

Towards MINLPLib 2minlp.cheme.cmu.edu/2014/papers/vigerske.pdf · 2001 GAMSWorld...

Documents