» Experiments :: AIGER Synthesis Parallel - Legacy :: Analysis

Compare the results of two solvers

Choose two solvers to plot their result properties on the instances of
the experiment against each other in a 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