Benchmark
constructor(experimentName: String, macroReplications: Int, replicationBudgetPerRun: Int, confirmationTopK: Int?, confirmationReplications: Int?, verificationReplications: Int?, numProblems: Int, solverCaseDescriptions: Map<String, String>, startTime: Instant, tracesCaptured: Boolean, solverStateCaptured: Boolean)(source)
Parameters
experiment
the experiment's name
macro
the number of macro-replications this experiment runs
replication
the per-cell replication budget
confirmation
the confirmation stage's finalist count; null when confirmation is off
confirmation
the confirmation stage's replications per candidate; null when confirmation is off
verification
the verification replication count; null when verification is off
num
the number of problems the experiment covers, counting any a resumed run skips, so the record describes the study rather than this pass over it
solver
solver case label to its description
start
when the experiment's run() began
traces
whether the experiment is capturing iteration traces
solver
whether the experiment is capturing solver-specific state