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)/ltl2dba_R_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/amba_case_study_3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/prioritized_arbiter_unreal1_3_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/amba_decomposed_arbiter_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/full_arbiter_unreal1_3_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/full_arbiter_unreal1_3_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/genbuf4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/generalized_buffer_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/load_balancer_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/simple_arbiter_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/load_balancer_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/ltl2dba_beta_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/prioritized_arbiter_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
TLSF (Library 2017)/prioritized_arbiter_12.tlsf | Results |