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