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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SYNTCOMP2015/cnt30n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/amba16f120n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/amba16f120y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/mult16.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/mult14.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/stay20n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/stay18y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/factory_assembly_7x5_2_11errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/genbuf64c2unrealy.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/gb_s2_r3_comp3_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/oski3ub1i_c0to255.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/amba16f105n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/cnt30y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/moving_obstacle_128x128_60glitches.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/factory_assembly_7x5_2_10errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/stay20y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/stay22n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/stay22y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
Test Suite: 2015/6s311rb1_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/driver_c10n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/driver_b8y.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/driver_a8n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/cycle_sched_12_7_4.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/gb_s2_r3_comp4_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/6s216rb0_c0to31.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/6s319r_c0to31.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/6s207rb28_c0to31.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/oski2ub1i_c0to7.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/driver_a10n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2015/driver_b10y.aag | Results |