Hello, The Bonmin solver using AMPL input is unavailable on NEOS. Has it been taken down for maintenance? Thanks, Daniel Daniel T. Fokum Graduate Research Assistant Information and Telecommunication Technology Center The University of Kansas Tel.: +1 785 864-4635