» Experiments :: TLSF: Realizability, Parallel :: Analysis

Plot result against instance properties

Choose a solver, instances, runs, and a result and an instance property to
plot the result against the instance property in scatter plot.
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 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/))
Add another instance selector | Remove the last instance selector