» Experiments :: Reference - Realizability Sequential :: Unsolved instances

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
SYNTCOMP2015/mult16.aag Results
SYNTCOMP2015/mult14.aag Results
SYNTCOMP2015/stay20n.aag Results
SYNTCOMP2015/stay18y.aag Results
SYNTCOMP2015/factory_assembly_7x5_2_11errors.aag Results
SYNTCOMP2015/factory_assembly_5x5_2_10errors.aag Results
SYNTCOMP2015/genbuf64c2unrealy.aag Results
SYNTCOMP2015/load_4c_comp_comp7_REAL.aag Results
SYNTCOMP2015/6s210b037_c0to31.aag Results
SYNTCOMP2015/oski3ub1i_c0to255.aag Results
SYNTCOMP2015/bob12s04_c0to7.aag Results
SYNTCOMP2015/amba16f105n.aag Results
SYNTCOMP2015/cnt30y.aag Results
SYNTCOMP2015/cycle_sched_12_6_3.aag Results
SYNTCOMP2015/cycle_sched_8_7_2.aag Results
SYNTCOMP2015/amba6match5.aag Results
SYNTCOMP2015/amba8match5.aag Results
SYNTCOMP2015/good_bakery.false.aag Results
SYNTCOMP2015/amba7match5.aag Results
SYNTCOMP2015/gb_s2_r2_comp3_REAL.aag Results
SYNTCOMP2015/gb_s2_r3_comp3_REAL.aag Results
SYNTCOMP2015/driver_c10n.aag Results
SYNTCOMP2015/driver_b8y.aag Results
SYNTCOMP2015/driver_a8n.aag Results
SYNTCOMP2015/cycle_sched_12_7_4.aag Results
SYNTCOMP2015/mult_bool_matrix_4_4_5.aag Results
SYNTCOMP2015/gb_s2_r3_comp4_REAL.aag Results
SYNTCOMP2015/gb_s2_r2_comp4_REAL.aag Results
SYNTCOMP2015/driver_c8n.aag Results
SYNTCOMP2015/moving_obstacle_128x128_60glitches.aag Results
SYNTCOMP2015/factory_assembly_5x5_2_11errors.aag Results
SYNTCOMP2015/factory_assembly_7x5_2_10errors.aag Results
SYNTCOMP2015/6s216rb0_c0to31.aag Results
SYNTCOMP2015/6s319r_c0to31.aag Results
SYNTCOMP2015/stay20y.aag Results
SYNTCOMP2015/stay22n.aag Results
SYNTCOMP2015/stay22y.aag Results
SYNTCOMP2015/6s207rb28_c0to31.aag Results
SYNTCOMP2015/mult12.aag Results
SYNTCOMP2015/driver_a10n.aag Results
SYNTCOMP2015/driver_b10y.aag Results
SYNTCOMP2015/amba9match5.aag Results
SYNTCOMP2015/driver_b7y.aag Results
SYNTCOMP2015/mult_bool_matrix_6_6_6.aag Results
SYNTCOMP2015/mult_bool_matrix_5_5_4.aag Results
SYNTCOMP2015/oski2ub1i_c0to7.aag Results
Test Suite: 2015/6s311rb1_c0to7.aag Results
Test Suite: 2015/load_5c_comp_comp4_REAL.aag Results
SYNTCOMP2015/cnt30n.aag Results
SYNTCOMP2015/amba16f120n.aag Results
SYNTCOMP2015/amba16f120y.aag Results