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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
TLSF (Library 2017)/amba_case_study_2.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/amba_decomposed_arbiter_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/full_arbiter_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/full_arbiter_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/genbuf3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/generalized_buffer_3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/prioritized_arbiter_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/simple_arbiter_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/ltl2dba_beta_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/ltl2dba_Q_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/ltl2dba_U1_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (new 2018)/full_arbiter_enc_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (new 2018)/tictactoe.tlsf | Results |