Performance
data class PerformanceProfilePoint(val solverLabel: String, val budgetFraction: Double, val fractionSolved: Double)(source)
One point of performance-profile data: the fraction of a solver case's (problem, macro-replication) cells that reached the solve threshold within the given fraction of the replication budget.