Solve results update

ampl · Dec 5, 2024 · 4a343a9 · 4a343a9
1 parent 2cdf76b
commit 4a343a9
Show file tree

Hide file tree

Showing 7 changed files with 105 additions and 87 deletions.
diff --git a/docs/source/solvers/baron/index.md b/docs/source/solvers/baron/index.md
@@ -85,6 +85,7 @@ display solve_result_num, solve_result;
 
 BARONMP solve result codes can be obtained by running `baronmp -!` or `ampl: shell "baronmp -!";`:
 ```
+Solve result table for BaronMP 24.10.10
           0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
         100-199 solved? solution candidate returned but error likely
             150 solved? MP solution check failed (option sol:chk:fail)
@@ -99,6 +100,7 @@ BARONMP solve result codes can be obtained by running `baronmp -!` or `ampl: she
             401     iteration limit reached
             402     CPU time limit reached
         450-469 limit, problem is either infeasible or unbounded
+		Disable dual reductions or run IIS finder for definitive answer.
         470-499 limit, no solution returned
         500-999 failure, no solution returned
             500     licensing error

diff --git a/docs/source/solvers/cbc/index.md b/docs/source/solvers/cbc/index.md
@@ -92,17 +92,19 @@ display solve_result_num, solve_result;
 
 CBC solve result codes can be obtained by running `cbc -!` or `ampl: shell "cbc -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).

diff --git a/docs/source/solvers/copt/index.md b/docs/source/solvers/copt/index.md
@@ -96,17 +96,20 @@ display solve_result_num, solve_result;
 
 COPT solve result codes can be obtained by running `copt -!` or `ampl: shell "copt -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
+Solve result table for COPT 7.1.3
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).

diff --git a/docs/source/solvers/gurobi/index.md b/docs/source/solvers/gurobi/index.md
@@ -194,38 +194,41 @@ display solve_result_num, solve_result;
 
 Gurobi solve result codes can be obtained by running `gurobi -!` or `ampl: shell "gurobi -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-            401 interrupted, feasible solution
-            402 time limit, feasible solution
-            403 iteration limit, feasible solution
-            404 node limit, feasible solution
-            405 bestobjstop or bestbndstop reached, feasible solution
-            408 solution limit
-            409 work limit, feasible solution
-            410 soft memory limit, feasible solution
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-            471 interrupted, without a feasible solution
-            472 time limit, without a feasible solution
-            473 iteration limit, without a feasible soluton
-            474 node limit, without a feasible soluton
-            475 objective cutoff
-            477 bestbndstop reached, without a feasible solution
-            479 work limit, without a feasible solution
-            480 soft memory limit, without a feasible solution
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
-            601 Could not talk to Gurobi Instant Cloud or Gurobi Server.
-            602 Job rejected by Gurobi Instant Cloud or Gurobi Server.
-            603 No license for specified Gurobi Instant Cloud or Gurobi Server.
-            604 Surprise failure while starting the cloud/server environment.
-            605 Bad value for cloudid or cloudkey, or Gurobi Cloud out of reach.
+Solve result table for Gurobi 12.0.0
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	    401	interrupted, feasible solution
+	    402	time limit, feasible solution
+	    403	iteration limit, feasible solution
+	    404	node limit, feasible solution
+	    405	bestobjstop or bestbndstop reached, feasible solution
+	    408	solution limit
+	    409	work limit, feasible solution
+	    410	soft memory limit, feasible solution
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	    471	interrupted, without a feasible solution
+	    472	time limit, without a feasible solution
+	    473	iteration limit, without a feasible soluton
+	    474	node limit, without a feasible soluton
+	    475	objective cutoff
+	    477	bestbndstop reached, without a feasible solution
+	    479	work limit, without a feasible solution
+	    480	soft memory limit, without a feasible solution
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
+	    601	Could not talk to Gurobi Instant Cloud or Gurobi Server.
+	    602	Job rejected by Gurobi Instant Cloud or Gurobi Server.
+	    603	No license for specified Gurobi Instant Cloud or Gurobi Server.
+	    604	Surprise failure while starting the cloud/server environment.
+	    605	Bad value for cloudid or cloudkey, or Gurobi Cloud out of reach.
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).

diff --git a/docs/source/solvers/mosek/index.md b/docs/source/solvers/mosek/index.md
@@ -163,17 +163,20 @@ display solve_result_num, solve_result;
 
 Mosek solve result codes can be obtained by running `mosek -!` or `ampl: shell "mosek -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
+Solve result table for MOSEK 10.2.0
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).

diff --git a/docs/source/solvers/scip/index.md b/docs/source/solvers/scip/index.md
@@ -99,17 +99,19 @@ display solve_result_num, solve_result;
 
 SCIP solve result codes can be obtained by running `scip -!` or `ampl: shell "scip -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).

diff --git a/docs/source/solvers/xpress/index.md b/docs/source/solvers/xpress/index.md
@@ -182,17 +182,20 @@ display solve_result_num, solve_result;
 
 Xpress solve result codes can be obtained by running `xpress -!` or `ampl: shell "xpress -!";`:
 ```
-          0- 99 solved: optimal for an optimization problem, feasible for a satisfaction problem
-        100-199 solved? solution candidate returned but error likely
-            150 solved? MP solution check failed (option sol:chk:fail)
-        200-299 infeasible
-        300-349 unbounded, feasible solution returned
-        350-399 unbounded, no feasible solution returned
-        400-449 limit, feasible: stopped, e.g., on iterations or Ctrl-C
-        450-469 limit, problem is either infeasible or unbounded
-        470-499 limit, no solution returned
-        500-999 failure, no solution returned
-            550 failure: numeric issue, no feasible solution
+Solve result table for XPRESS 9.4.2 (43.01.03)
+	  0- 99	solved: optimal for an optimization problem,
+		feasible for a satisfaction problem 
+	100-199	solved? solution candidate returned but error likely 
+	    150	solved? MP solution check failed (option sol:chk:fail) 
+	200-299	infeasible 
+	300-349	unbounded, feasible solution returned 
+	350-399	unbounded, no feasible solution returned 
+	400-449	limit, feasible: stopped, e.g., on iterations or Ctrl-C 
+	450-469	limit, problem is either infeasible or unbounded.
+		Disable dual reductions or run IIS finder for definitive answer.
+	470-499	limit, no solution returned 
+	500-999	failure, no solution returned 
+	    550	failure: numeric issue, no feasible solution
 ```
 
 For general information, see [MP result codes guide](https://mp.ampl.com/features-guide.html#solve-result-codes).