["lp:Clp:MPS","milp:Cbc:MPS","milp:Cbc:AMPL","minco:Bonmin:AMPL","socp:FICO-Xpress:MOSEL","milp:MOSEK:LP","lp:CPLEX:MPS","lp:FICO-Xpress:MOSEL","lp:FICO-Xpress:MPS","socp:FICO-Xpress:GAMS","lp:MOSEK:AMPL","lp:MOSEK:MPS","lp:Gurobi:AMPL","milp:Gurobi:AMPL","lp:Gurobi:GAMS","milp:Gurobi:GAMS","lp:Gurobi:MPS","milp:Gurobi:MPS","cp:PATH:GAMS","socp:FICO-Xpress:AMPL","lp:CPLEX:GAMS","milp:MINTO:AMPL","lp:CPLEX:AMPL","lp:MOSEK:LP","socp:MOSEK:MPS","lp:MOSEK:GAMS","milp:FICO-Xpress:MOSEL","milp:FICO-Xpress:MPS","milp:Cbc:GAMS","lp:CPLEX:LP","lp:Gurobi:LP","milp:MOSEK:GAMS","minco:Bonmin:GAMS","nco:Knitro:GAMS","nco:MINOS:GAMS","nco:SNOPT:GAMS","socp:MOSEK:GAMS","minco:Knitro:AMPL","nco:Knitro:AMPL","minco:Knitro:GAMS","nco:MINOS:AMPL","application:ECM:zip","nco:SNOPT:AMPL","socp:Gurobi:AMPL","milp:Gurobi:LP","milp:CPLEX:LP","cp:PATH:AMPL","lp:FICO-Xpress:AMPL","milp:MOSEK:MPS","miocp:MUSCOD-II:AMPL","milp:SYMPHONY:MPS","slp:sd:SMPS","milp:CPLEX:MPS","milp:CPLEX:GAMS","application:ECM:single_text","application:ECM:csv","milp:FICO-Xpress:AMPL","milp:FICO-Xpress:GAMS","socp:FICO-Xpress:MPS","lp:FICO-Xpress:GAMS","mpec:Knitro:GAMS","milp:MOSEK:AMPL","socp:Gurobi:GAMS","socp:CPLEX:GAMS","socp:CPLEX:AMPL","milp:CPLEX:AMPL","socp:Gurobi:NL","socp:CPLEX:NL","socp:CPLEX:MPS","lp:CPLEX:NL","milp:CPLEX:NL","socp:Gurobi:MPS","minco:Couenne:AMPL","minco:FilMINT:AMPL","kestrel:PATH:AMPL","lp:Gurobi:NL","milp:Gurobi:NL","mpec:Knitro:AMPL","lp:FICO-Xpress:NL","milp:FICO-Xpress:NL","socp:FICO-Xpress:NL","lp:MOSEK:NL","milp:MOSEK:NL","nco:SNOPT:NL","socp:MOSEK:CBF","nco:Ipopt:AMPL","nco:FICO-Xpress:MOSEL","go:icos:AMPL","cp:MILES:GAMS","cp:NLPEC:GAMS","minco:SHOT:GAMS","go:BARON:GAMS","go:LINDOGlobal:GAMS","lp:SoPlex80bit:MPS","sdp:scipsdp:SPARSE_SDPA","go:Couenne:AMPL","lno:RELAX4:DIMACS","lno:RELAX4:RELAX4","lp:BDMLP:GAMS","minco:BARON:AMPL","application:Domino:jpeg","bco:L-BFGS-B:AMPL","minco:scip:CPLEX","minco:scip:MPS","milp:scip:GAMS","minco:AlphaECP:GAMS","minco:BARON:GAMS","go:Couenne:GAMS","minco:Couenne:GAMS","minco:DICOPT:GAMS","minco:LINDOGlobal:GAMS","minco:SBB:GAMS","nco:CONOPT:GAMS","nco:Ipopt:GAMS","cp:Knitro:AMPL","kestrel:ALPHAECP:GAMS","nco:PATHNLP:GAMS","lp:OOQP:AMPL","kestrel:BARON:GAMS","nco:CONOPT:AMPL","mpec:NLPEC:GAMS","go:RAPOSa:AMPL","kestrel:BDMLP:GAMS","mpec:filterMPEC:AMPL","kestrel:BONMIN:GAMS","nco:LOQO:AMPL","kestrel:CBC:GAMS","kestrel:CONOPT:GAMS","kestrel:COUENNE:GAMS","kestrel:DICOPT:GAMS","kestrel:IPOPT:GAMS","kestrel:KNITRO:GAMS","kestrel:LindoGlobal:GAMS","kestrel:MILES:GAMS","kestrel:MINOS:GAMS","kestrel:MOSEK:GAMS","kestrel:NLPEC:GAMS","kestrel:PATHNLP:GAMS","kestrel:PATH:GAMS","milp:proxy:CPLEX","kestrel:SBB:GAMS","kestrel:SCIP:GAMS","kestrel:snopt:GAMS","kestrel:XPRESS:GAMS","kestrel:Bonmin:AMPL","kestrel:Cbc:AMPL","kestrel:FilMINT:AMPL","kestrel:Ipopt:AMPL","kestrel:L-BFGS-B:AMPL","kestrel:LOQO:AMPL","kestrel:MINOS:AMPL","kestrel:SNOPT:AMPL","milp:feaspump:MPS","co:BiqMac:SPARSE","milp:feaspump:CPLEX","nco:filter:AMPL","milp:feaspump:AMPL","application:Fishwerks:csv","go:ASA:AMPL","kestrel:CONOPT:AMPL","co:concorde:TSP","go:BARON:AMPL","minco:MINLP:AMPL","kestrel:COUENNE:AMPL","milp:scip:AMPL","kestrel:filter:AMPL","minco:scip:OSIL","minco:scip:ZIMPL","sdp:csdp:SPARSE_SDPA","kestrel:KNITRO:AMPL","kestrel:MINLP:AMPL","sdp:csdp:MATLAB_BINARY","kestrel:MINTO:AMPL","kestrel:MOSEK:AMPL","sdp:penbmi:YALMIP_ZIP","kestrel:OOQP:AMPL","sdp:penbmi:YALMIP","nco:LANCELOT:AMPL","sdp:SDPA:SPARSE_SDPA","slp:bnbs:SMPS","sdp:SDPA:MATLAB_BINARY","kestrel:CPLEX:AMPL","sdp:sdplr:MATLAB_BINARY","kestrel:CPLEX:GAMS","sdp:sdplr:SPARSE_SDPA","kestrel:GAMS-AMPL:GAMS","sdp:sdplr:SDPLR","sdp:mosek:SPARSE_SDPA","application:CONVERT:GAMS","sdp:mosek:MATLAB_BINARY","milp:qsopt_ex:AMPL","milp:scip:Python","milp:qsopt_ex:MPS","minco:scip:Python","milp:qsopt_ex:LP","go:scip:Python","slp:ddsip:LP","slp:ddsip:MPS","sdp:pensdp:SPARSE_SDPA","kestrel:LANCELOT:AMPL","sdp:pensdp:MATLAB_BINARY","kestrel:LGO:AMPL","sdp:sedumi:SPARSE_SDPA","kestrel:RAPOSa:AMPL","sdp:sedumi:MATLAB_BINARY","application:SchedulingApp:JSON","milp:proxy:MPS","lp:bpmpd:AMPL","sdp:sdpt3:SPARSE_SDPA","sdp:sdpt3:MATLAB_BINARY","sio:nsips:AMPL","ndo:condor:AMPL","lp:bpmpd:LP","lp:bpmpd:MPS","lp:bpmpd:QPS","go:PGAPack:AMPL","go:PSwarm:AMPL","minco:scip:AMPL","emp:JAMS:GAMS","go:scip:GAMS","minco:scip:GAMS","go:scip:AMPL","milp:scip:OSIL","milp:scip:ZIMPL","milp:scip:CPLEX","milp:scip:MPS","go:scip:OSIL","go:scip:ZIMPL","go:scip:CPLEX","go:scip:MPS","emp:DE:GAMS","lp:SoPlex80bit:LP","sdp:penbmi:MATLAB_BINARY","sdp:penbmi:MATLAB","slp:DSP:SMPS","minco:ANTIGONE:GAMS","nco:ANTIGONE:GAMS","go:ANTIGONE:GAMS","nco:Ipopt:NL","go:LGO:AMPL"]