SolveResult

constructor(verdict: SolveVerdict, case: CaseFile, runs: List<ExperimentRun>, trials: Int, seconds: Long, hypotheses: Int)(source)