Unsolved instances
The following instances have not been solved by any solver in this experiment.
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 | Results |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
AIGER (selected 2018)/driver_c10n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/driver_c8n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/factory_assembly_5x5_2_10errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/factory_assembly_5x5_2_11errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/genbuf32f50n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/genbuf40b14n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/moving_obstacle_128x128_59glitches.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/moving_obstacle_96x96_43glitches.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/mult_bool_matrix_dyn_5_8.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/mult_bool_matrix_dyn_6_6.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/mult_bool_matrix_dyn_6_7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/mult_bool_matrix_dyn_7_7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/6s16_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/cnt30n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/driver_a9y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/driver_b10y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/driver_b8y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/load_5c_comp_comp4_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dpa_E4_comp2_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dpa_U14_comp2_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/mult16.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/stay18n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/stay20y.aag | Results |