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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SYNTCOMP2016 - With Reference Size/load_5c_comp_comp4_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/moving_obstacle_128x128_59glitches.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/moving_obstacle_96x96_43glitches.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/load_5c_comp_comp5_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/load_full_3_comp4_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba12f120y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba12f90n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba14f120n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba14f90y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba16f105y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/amba16b40n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_6_4.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_7_3.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/genbuf48b30n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/genbuf56c40n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/genbuf64b8n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/Some_changes_of_16/genbuf64f100y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/New_of_16/6s191_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/New_of_16/bob12s04_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016/New_of_16/ltl2dba_E6_comp2_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/cycle_sched_12_3_2.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/cycle_sched_12_4_4.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_10errors.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_11errors.ref.aag | Results |