Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Synthesis 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
AIGER (selected 2018)/6s11_c0to1.aag
Results
AIGER (selected 2018)/6s16_c0to7.aag
Results
AIGER (selected 2018)/6s182_c0to3.aag
Results
AIGER (selected 2018)/6s192_c0to1.aag
Results
AIGER (selected 2018)/amba10b24n.aag
Results
AIGER (selected 2018)/amba10f36unrealy.aag
Results
AIGER (selected 2018)/amba12f50y.aag
Results
AIGER (selected 2018)/amba14c30y.aag
Results
AIGER (selected 2018)/amba14f52unrealn.aag
Results
AIGER (selected 2018)/amba16c6unrealy.aag
Results
AIGER (selected 2018)/amba16f110n.aag
Results
AIGER (selected 2018)/amba4match5.aag
Results
AIGER (selected 2018)/amba6f40y.aag
Results
AIGER (selected 2018)/amba7b10n.aag
Results
AIGER (selected 2018)/amba7f24unrealn.aag
Results
AIGER (selected 2018)/amba7match5.aag
Results
AIGER (selected 2018)/amba8b8unrealy.aag
Results
AIGER (selected 2018)/amba8c30n.aag
Results
AIGER (selected 2018)/amba8match5.aag
Results
AIGER (selected 2018)/amba9b40y.aag
Results
AIGER (selected 2018)/beembrdg3f1_c0to3.aag
Results
AIGER (selected 2018)/beemextnc3b1_c0to3.aag
Results
AIGER (selected 2018)/beemgear1f1_c0to3.aag
Results
AIGER (selected 2018)/beemgear2f1_c0to3.aag
Results
AIGER (selected 2018)/beemkrebs3f1_c0to1.aag
Results
AIGER (selected 2018)/beempgsol5b1_c0to1.aag
Results
AIGER (selected 2018)/beemptrsn7b1_c0to3.aag
Results
AIGER (selected 2018)/beemrshr2b1_c0to7.aag
Results
AIGER (selected 2018)/beemskbn2f1_c0to1.aag
Results
AIGER (selected 2018)/bob12s01_c0to7.aag
Results
AIGER (selected 2018)/cnt20y.aag
Results
AIGER (selected 2018)/cnt25n.aag
Results
AIGER (selected 2018)/cnt30n.aag
Results
AIGER (selected 2018)/cycle_sched_12_3_3.aag
Results
AIGER (selected 2018)/cycle_sched_12_7_2.aag
Results
AIGER (selected 2018)/cycle_sched_16_3_4.aag
Results
AIGER (selected 2018)/cycle_sched_20_2_4.aag
Results
AIGER (selected 2018)/cycle_sched_24_2_4.aag
Results
AIGER (selected 2018)/cycle_sched_28_8_4.aag
Results
AIGER (selected 2018)/cycle_sched_2_6_1.aag
Results
AIGER (selected 2018)/cycle_sched_4_4_1.aag
Results
AIGER (selected 2018)/cycle_sched_4_7_1.aag
Results
AIGER (selected 2018)/cycle_sched_4_8_2.aag
Results
AIGER (selected 2018)/cycle_sched_6_5_2.aag
Results
AIGER (selected 2018)/cycle_sched_6_7_1.aag
Results
AIGER (selected 2018)/cycle_sched_8_5_1.aag
Results
AIGER (selected 2018)/driver_a6n.aag
Results
AIGER (selected 2018)/driver_a7n.aag
Results
AIGER (selected 2018)/driver_a9y.aag
Results
AIGER (selected 2018)/driver_b10y.aag
Results
AIGER (selected 2018)/driver_b5y.aag
Results
AIGER (selected 2018)/driver_b8y.aag
Results
AIGER (selected 2018)/driver_c10n.aag
Results
AIGER (selected 2018)/driver_c6y.aag
Results
AIGER (selected 2018)/driver_c7n.aag
Results
AIGER (selected 2018)/driver_c8n.aag
Results
AIGER (selected 2018)/factory_assembly_5x5_2_10errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x5_2_11errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x6_2_0errors.aag
Results
AIGER (selected 2018)/factory_assembly_7x5_2_10errors.aag
Results
AIGER (selected 2018)/factory_assembly_7x5_2_11errors.aag
Results
AIGER (selected 2018)/gb_s2_r2_comp2_UNREAL.aag
Results
AIGER (selected 2018)/gb_s2_r2_comp3_REAL.aag
Results
AIGER (selected 2018)/gb_s2_r2_comp4_REAL.aag
Results
AIGER (selected 2018)/gb_s2_r3_comp3_REAL.aag
Results
AIGER (selected 2018)/gb_s2_r4_comp1_UNREAL.aag
Results
AIGER (selected 2018)/gb_s2_r4_comp5_REAL.aag
Results
AIGER (selected 2018)/genbuf20b3unrealy.aag
Results
AIGER (selected 2018)/genbuf24b14n.aag
Results
AIGER (selected 2018)/genbuf24c2unrealy.aag
Results
AIGER (selected 2018)/genbuf28f27unrealn.aag
Results
AIGER (selected 2018)/genbuf32b3unrealy.aag
Results
AIGER (selected 2018)/genbuf32f50n.aag
Results
AIGER (selected 2018)/genbuf40b14n.aag
Results
AIGER (selected 2018)/genbuf40f39unrealy.aag
Results
AIGER (selected 2018)/genbuf48b3unrealy.aag
Results
AIGER (selected 2018)/genbuf48c20n.aag
Results
AIGER (selected 2018)/genbuf56c20y.aag
Results
AIGER (selected 2018)/genbuf56f55unrealy.aag
Results
AIGER (selected 2018)/genbuf64b40n.aag
Results
AIGER (selected 2018)/genbuf64c2unrealy.aag
Results
AIGER (selected 2018)/good_bakery.false.aag
Results
AIGER (selected 2018)/load_5c_comp_comp3_UNREAL.aag
Results
AIGER (selected 2018)/load_5c_comp_comp4_REAL.aag
Results
AIGER (selected 2018)/load_full_3_comp1_UNREAL.aag
Results
AIGER (selected 2018)/load_full_3_comp3_REAL.aag
Results
AIGER (selected 2018)/load_full_4_comp1_REAL.aag
Results
AIGER (selected 2018)/load_full_4_comp2_REAL.aag
Results
AIGER (selected 2018)/load_full_5_comp1_REAL.aag
Results
AIGER (selected 2018)/load_full_5_comp2_REAL.aag
Results
AIGER (selected 2018)/load_full_6_comp1_UNREAL.aag
Results
AIGER (selected 2018)/load_full_6_comp2_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_Q6_comp2_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_R4_comp3_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dba_R6_comp3_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dba_R6_comp5_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dba_U1-8_comp2_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dba_beta5_comp3_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dba_theta8_comp4_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dpa_C26_comp2_REAL.aag
Results
AIGER (selected 2018)/moving_obstacle_128x128_59glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_128x128_60glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_24x24_7glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_32x32_11glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_32x32_12glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_48x48_19glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_48x48_20glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_64x64_27glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_64x64_28glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_96x96_43glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_96x96_44glitches.aag
Results
AIGER (selected 2018)/mult10.aag
Results
AIGER (selected 2018)/mult12.aag
Results
AIGER (selected 2018)/mult16.aag
Results
AIGER (selected 2018)/mult_bool_matrix_4_4_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_4_5_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_5_4_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_5_5_4.aag
Results
AIGER (selected 2018)/mult_bool_matrix_5_5_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_6_10_7.aag
Results
AIGER (selected 2018)/mult_bool_matrix_6_6_6.aag
Results
AIGER (selected 2018)/mult_bool_matrix_6_7_7.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_5_8.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_6_6.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_6_7.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_7_7.aag
Results
AIGER (selected 2018)/stay16n.aag
Results
AIGER (selected 2018)/stay18n.aag
Results
AIGER (selected 2018)/stay20y.aag
Results
AIGER (selected 2018)/very_good_bakery2.aag
Results
AIGER (selected 2018)/very_good_bakery2.sym.aag
Results