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 - TLSF/Acaciaplus/genbuf2.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Acaciaplus/genbuf3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Acaciaplus/genbuf4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Acaciaplus/genbuf5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Acaciaplus/genbuf6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Acaciaplus/genbuf7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_1.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/detector_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/full_arbiter_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/Parameterized/load_balancer_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_7.tlsf | Results |