| 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/))
|