Auto = -1 | |
Off = 0 | |
On = 1 | |
Default = 2 | |
Low = 3 | |
Basic = 4 | |
Medium = 5 | |
Extended = 6 | |
Standard = 7 | |
IntScientific = 8 | |
IntFixed = 9 | |
BasScientific = 10 | |
BasFixed = 11 | |
SearchHasNotFailed = 12 | |
SearchHasFailedNormally = 13 | |
SearchStoppedByLimit = 14 | |
SearchStoppedByLabel = 15 | |
SearchStoppedByExit = 16 | |
SearchStoppedByAbort = 17 | |
SearchStoppedByException = 18 | |
UnknownFailureStatus = 19 | |
Quiet = 20 | |
Terse = 21 | |
Normal = 22 | |
Verbose = 23 | |
DepthFirst = 24 | |
Restart = 25 | |
MultiPoint = 26 | |
IterativeDiving = 27 | |
Diverse = 28 | |
Focused = 29 | |
Intensive = 30 | |
Seconds = 31 | |
HoursMinutesSeconds = 32 | |
NoTime = 33 | |
CPUTime = 34 | |
ElapsedTime = 35 | |
ConflictInfeasible = 40 | |
ConflictHard = 41 | |
ConflictComplementaryFeasible = 42 | |
SearchNotStarted = 43 | |
SearchOngoing = 44 | |
SearchCompleted = 45 | |
SearchStopped = 46 | |
SearchHasNotBeenStopped = 47 | |
SearchStoppedByUnknownCause = 48 | |
SingleLine = 49 | |
MultipleLines = 50 | |
