statistics.h
Go to the documentation of this file.
92 Timer* syncTime; ///< time for synchronization between real and rational LP (included in solving time) 106 int luSolvesReal; ///< number of (forward and backward) solves with basis matrix in real precision int unbdRefinements number of refinement steps during undboundedness test Definition: statistics.h:113 Timer * syncTime time for synchronization between real and rational LP (included in solving time) Definition: statistics.h:92 int feasRefinements number of refinement steps during infeasibility test Definition: statistics.h:112 int luSolvesReal number of (forward and backward) solves with basis matrix in real precision Definition: statistics.h:106 int luFactorizationsReal number of basis matrix factorizations in real precision Definition: statistics.h:105 Real luFactorizationTimeReal time for factorizing bases matrices in real precision Definition: statistics.h:97 Timer * rationalTime time for rational LP solving (included in solving time) Definition: statistics.h:94 Real luSolveTimeRational time for solving linear systems in rational precision Definition: statistics.h:100 Preconfigured SoPlex LP solver. int luFactorizationsRational number of basis matrix factorizations in rational precision Definition: statistics.h:107 Everything should be within this namespace. Timer class. Timer * transformTime time for transforming LPs (included in solving time) Definition: statistics.h:93 Definition: timer.h:102 Real luFactorizationTimeRational time for factorizing bases matrices in rational precision Definition: statistics.h:99 int rationalReconstructions number of rational reconstructions performed Definition: statistics.h:108 int pivotRefinements number of refinement steps until final basis is reached Definition: statistics.h:111 Definition: statistics.h:34 |