» Experiments :: AIGER Synthesis Parallel - Legacy :: Box Plots

Box Plots

Box plot of the data of all runs of all selected instances for each selected solver.
Incorrect results are treated as having used the maximum allowed CPU time of the experiment.

Hold Ctrl to select multiple instances.
Filter instances
JS expression filter. Valid variables are name, FractionOfBinaryClauses, FractionOfNegativeLiteralsPerClauseEntropy, FractionOfNegativeLiteralsPerClauseMax, FractionOfNegativeLiteralsPerClauseMean, FractionOfNegativeLiteralsPerClauseMin, FractionOfNegativeLiteralsPerClauseVariationCoefficient, FractionOfNegativeVariablesEntropy, FractionOfNegativeVariablesMax, FractionOfNegativeVariablesMean, FractionOfNegativeVariablesMin, FractionOfNegativeVariablesVariationCoefficient, FractionOfPositiveLiteralsPerClauseEntropy, FractionOfPositiveLiteralsPerClauseMax, FractionOfPositiveLiteralsPerClauseMean, FractionOfPositiveLiteralsPerClauseMin, FractionOfPositiveLiteralsPerClauseVariationCoefficient, FractionOfPositiveVariablesEntropy, FractionOfPositiveVariablesMax, FractionOfPositiveVariablesMean, FractionOfPositiveVariablesMin, FractionOfPositiveVariablesVariationCoefficient, FractionOfTernaryClauses, FractionOfUnaryClauses, ClausesToVariablesRatio, ClausesToVariablesRatioCubic, ClausesToVariablesRatioQuadratic, LinearizedClausesToVariablesRatio, LinearizedClausesToVariablesRatioQuadratic, LinearizedClaustesToVariablesRatioCubic, NumberOfClauses, NumberOfVariables, VariablesToClausesRatio, VariablesToClausesRatioCubic, VariablesToClausesRatioQuadratic, ClauseNodeDegreesEntropy, ClauseNodeDegreesMax, ClauseNodeDegreesMean, ClauseNodeDegreesMin, ClauseNodeDegreesVariationCoefficient, VariableNodeDegreesEntropy, VariableNodeDegreesMax, VariableNodeDegreesMean, VariableNodeDegreesMin, VariableNodeDegreesVariationCoefficient, DegreeEntropy, DegreeMax, DegreeMean, DegreeMin, DegreeVariationCoefficient,
Example: (numAtoms >= 6000 && numAtoms <= 8000 && name.match(/k3/))