Experiment
data class ExperimentTableData(var expId: Int = -1, var expName: String = "", var startTime: String = "", var endTime: String = "", var replicationBudgetPerRun: Int = 0, var macroReplications: Int = 0, var numProblems: Int = 0, var numSolverCases: Int = 0, var confirmationTopK: Int? = null, var confirmationReplications: Int? = null, var verificationReplications: Int? = null, var tracesCaptured: Boolean = false, var kslVersion: String? = null) : DbTableData(source)
One row per benchmark experiment. Experiment ids are assigned by the database (max + 1), so re-running an experiment — for example a trace-enabled rerun of a problem — appends into the same database under a new id.
Constructors
Link copied to clipboard
constructor(expId: Int = -1, expName: String = "", startTime: String = "", endTime: String = "", replicationBudgetPerRun: Int = 0, macroReplications: Int = 0, numProblems: Int = 0, numSolverCases: Int = 0, confirmationTopK: Int? = null, confirmationReplications: Int? = null, verificationReplications: Int? = null, tracesCaptured: Boolean = false, kslVersion: String? = null)