Experiment
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)(source)