Simple working benchmark vs. AMPL