Skip to content

Commit 179b8b4

Browse files
committed
Merge remote-tracking branch 'origin/v10-minor'
2 parents dfc6ee5 + 3869899 commit 179b8b4

File tree

3 files changed

+42
-10
lines changed

3 files changed

+42
-10
lines changed

check/check_xpress.awk

Lines changed: 34 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -180,11 +180,31 @@ BEGIN {
180180
if( feasible == 1 )
181181
db = $4;
182182
}
183+
/^Final MINLP objective/ {
184+
if( $6 ~ /:$/ )
185+
pb = $7;
186+
else
187+
pb = $6;
188+
feasible = 1;
189+
}
190+
/^Final MINLP bound/ {
191+
if( feasible == 1 ) {
192+
if( $5 ~ /:$/ )
193+
db = $6;
194+
else
195+
db = $5;
196+
}
197+
}
183198
/^Problem is integer infeasible/ {
184199
db = infty;
185200
pb = infty;
186201
feasible = 0;
187202
}
203+
/solve infeasible/ {
204+
db = infty;
205+
pb = infty;
206+
feasible = 0;
207+
}
188208
/^Optimal solution found/ {
189209
aborted = 0;
190210
feasible = 1;
@@ -206,20 +226,25 @@ BEGIN {
206226
if( tottime == 0.0 )
207227
tottime = $1 / 1000000;
208228
}
209-
/^ \*\*\* Search completed \*\*\* Time:/ {
210-
bbnodes = $8;
211-
tottime = $6;
229+
/\*\*\* Search completed \*\*\*/ {
212230
aborted = 0;
213231
}
214-
/^ \*\*\* Search unfinished \*\*\* Time:/ {
215-
bbnodes = $8;
216-
tottime = $6;
232+
/\*\*\* Search unfinished \*\*\*/ {
217233
aborted = 0;
234+
}
235+
/ Number of solutions found \/ nodes/ {
236+
bbnodes = $10;
237+
}
238+
/ Solution time \/ primaldual integral/ {
239+
gsub(/s.*/, "", $7);
240+
tottime = $7;
241+
}
242+
/\*\*\* Time limit reached \*\*\*/ {
218243
timeout = 1;
219244
}
220-
/^simplexiter/{
221-
iters = 1;
222-
next;
245+
/^simplexiter/ {
246+
getline;
247+
iters = $1;
223248
}
224249

225250
#

check/configuration_tmpfile_setup_xpress.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,7 @@ echo miprelstop = 0.0 >> "${TMPFILE}"
101101
# set non-default feasibility tolerance
102102
if test "${FEASTOL}" != "default"
103103
then
104+
echo feastol = "${FEASTOL}" >> "${TMPFILE}"
104105
echo miptol = "${FEASTOL}" >> "${TMPFILE}"
105106
fi
106107
echo "maxnode = ${NODELIMIT}" >> "${TMPFILE}"
@@ -114,7 +115,7 @@ echo "treememorysavingtarget = 0.0" >> "${TMPFILE}"
114115

115116
echo "format \"timelimit %g\" \$maxtime" >> "${TMPFILE}"
116117
echo "format \"mipgap %g\" \$miprelstop" >> "${TMPFILE}"
117-
echo "format \"feastol %g\" \$miptol" >> "${TMPFILE}"
118+
echo "format \"feastol %g\" \$feastol" >> "${TMPFILE}"
118119
echo "format \"nodelimit %g\" \$maxnode" >> "${TMPFILE}"
119120
echo "format \"memlimit %g\" \$treememorylimit" >> "${TMPFILE}"
120121
echo "format \"percentmemtofile %g\" \$treememorysavingtarget" >> "${TMPFILE}"

check/evaluate.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,12 @@ TSTNAME=$(echo "${BASENAME}" | sed 's/check.\([a-zA-Z0-9_-]*\).*/\1/g')
4747
# detect test used solver
4848
SOLVER=$(echo "${BASENAME}" | sed 's/check.\([a-zA-Z0-9_-]*\).\([a-zA-Z0-9_]*\).*/\2/g')
4949

50+
# xpress executable is called optimizer
51+
if test "${SOLVER}" = "optimizer"
52+
then
53+
SOLVER="xpress"
54+
fi
55+
5056
echo "Testset ${TSTNAME}"
5157
echo "Solver ${SOLVER}"
5258

0 commit comments

Comments
 (0)