Solver comparison

Scoreboard

One row per solver. The best value in each column is bold. Details and definitions follow in the sections below.

Outcomes

What each solver concluded on the instances in scope.

Accuracy

Agreement with documented reference results, each solver's own primal–dual gap, and the runner's independent check of each optimal solution.

Speed

Disagreements between solvers

Contradictory exact claims and objective differences, for pairs of current results on the same model.

Largest disagreements

Families

Solved share and relative speed by source family, on the instances every solver attempted.

Instances

Run settings

Requested settings recorded with the results in scope, and the native tolerances the solvers reported.