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)/6s11_c0to1.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/6s182_c0to3.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/6s192_c0to1.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/amba16f110n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/amba8match5.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/bob12s01_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/cycle_sched_12_7_2.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/cycle_sched_28_8_4.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/factory_assembly_7x5_2_10errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/factory_assembly_7x5_2_11errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/gb_s2_r3_comp3_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/gb_s2_r4_comp5_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/genbuf64c2unrealy.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_E6_comp2_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_Q6_comp2_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_R6_comp3_UNREAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_R6_comp5_UNREAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_U1-6_comp2_UNREAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_U1-8_comp2_UNREAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/ltl2dba_beta5_comp3_UNREAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
AIGER (selected 2018)/moving_obstacle_128x128_60glitches.aag | Results |