build
fun build(name: String, green: Capsule, red: Capsule, ranking: Ranking, plan: Plan, runs: List<ExperimentRun>, extra: Map<String, String>, posteriors: List<Pair<String, Belief>>, skipped: List<Pair<String, List<String>>>, blocked: Map<String, String>, confirmation: SolveCertificate.Confirmed?, verdict: SolveVerdict, baseline: Reproduction?, options: SolveOptions, trials: Int, seconds: Long): CaseFile(source)