SolveResult
class SolveResult(val verdict: SolveVerdict, val case: CaseFile, val runs: List<ExperimentRun>, val trials: Int, val seconds: Long, val hypotheses: Int)(source)
What a solve produced: the verdict, the case directory with its certificate, and the spend.
Constructors
Link copied to clipboard
constructor(verdict: SolveVerdict, case: CaseFile, runs: List<ExperimentRun>, trials: Int, seconds: Long, hypotheses: Int)