Enumeration Members
COMPARE_SOLVERS
COMPARE_SOLVERS: "Compare Solvers"
NUMBER_OF_ITERATIONS
NUMBER_OF_ITERATIONS: "Number of Iterations"
NUMBER_OF_NODES
NUMBER_OF_NODES: "Number of Nodes"
PERFORMANCE_PROFILE
PERFORMANCE_PROFILE: "Performance Profile"
SOLUTION_QUALITY
SOLUTION_QUALITY: "Solution Quality"
SOLUTION_TIME
SOLUTION_TIME: "Solution Time"
SOLVER_TIME
SOLVER_TIME: "Solver Time per Instance"
SOLVER_TIME_PER_SOLVER
SOLVER_TIME_PER_SOLVER: "Solver Time per Solver"
TERMINATION_STATUS
TERMINATION_STATUS: "Termination Status"
Page titles used in the application.