Syntcomp 2015
Results
|
Monitor
»
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