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