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: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_E6_comp4_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_U1-6_comp3_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp2_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp4_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp2_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp3_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp2_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp3_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/6s5_c0to7.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/HWMCC/bob12s01_c0to1.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/amba16f120n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/cnt30n.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_10errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_11errors.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/gb_s2_r3_comp3_REAL.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/genbuf64c2unrealn.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_5c_comp_comp6_REAL.ref.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/moving_obstacle_128x128_60glitches.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/mult12.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/mult14.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/mult16.aag | Results | |||||||||||||||||||||||||||||||||||||||||||||||||
SYNTCOMP 2016: AIGER/Selected 2017/cycle_sched_16_7_4.aag | Results |