rocket
AMPL Model rocket.mod
GAMS Model rocket.gms
DAG File rocket.dag
Best solution rocket.res, obtained by solver BARON7.2