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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_E_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_Q_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_Q_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_U1_8.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_R_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/full_arbiter_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/genbuf3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/generalized_buffer_3.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/generalized_buffer_4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/generalized_buffer_5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/generalized_buffer_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/load_balancer_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_beta_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/ltl2dba_R_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/ltl2dba_U1_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/prioritized_arbiter_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/round_robin_arbiter_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_10.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/full_arbiter_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/genbuf4.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_6.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/full_arbiter_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/round_robin_arbiter_7.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_12.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/genbuf5.tlsf | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: TLSF/genbuf6.tlsf | Results |