Syntcomp 2018
Results
|
Monitor
»
Experiments
::
AIGER Synthesis Sequential
:: Solved instances
Solved instances
These instances have been solved by at least one solver in any of its runs.
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)/add128n.aag
Results
AIGER (selected 2018)/add160n.aag
Results
AIGER (selected 2018)/add192n.aag
Results
AIGER (selected 2018)/add224n.aag
Results
AIGER (selected 2018)/add256n.aag
Results
AIGER (selected 2018)/amba12b4unrealy.aag
Results
AIGER (selected 2018)/amba2match3.aag
Results
AIGER (selected 2018)/amba2match4.aag
Results
AIGER (selected 2018)/amba2match5.aag
Results
AIGER (selected 2018)/amba5match5.aag
Results
AIGER (selected 2018)/amba6c4unrealy.aag
Results
AIGER (selected 2018)/amba6match5.aag
Results
AIGER (selected 2018)/amba9c4unrealy.aag
Results
AIGER (selected 2018)/atom_bakery_sym.aag
Results
AIGER (selected 2018)/bakery_nondet_sym.aag
Results
AIGER (selected 2018)/bakery_sym1.aag
Results
AIGER (selected 2018)/beemadd3b1_c0to3.aag
Results
AIGER (selected 2018)/beemloyd2b1_c0to7.aag
Results
AIGER (selected 2018)/bs1024n.aag
Results
AIGER (selected 2018)/bs128n.aag
Results
AIGER (selected 2018)/bs2048y.aag
Results
AIGER (selected 2018)/bs256y.aag
Results
AIGER (selected 2018)/bs512y.aag
Results
AIGER (selected 2018)/cnt11n.aag
Results
AIGER (selected 2018)/cnt15y.aag
Results
AIGER (selected 2018)/cycle_sched_16_7_1.aag
Results
AIGER (selected 2018)/cycle_sched_2_3_1.aag
Results
AIGER (selected 2018)/cycle_sched_8_2_4.aag
Results
AIGER (selected 2018)/demo-v10_5_REAL.aag
Results
AIGER (selected 2018)/demo-v11_2_UNREAL.aag
Results
AIGER (selected 2018)/demo-v11_5_UNREAL.aag
Results
AIGER (selected 2018)/demo-v13_5_REAL.aag
Results
AIGER (selected 2018)/demo-v15_5_REAL.aag
Results
AIGER (selected 2018)/demo-v18_2_UNREAL.aag
Results
AIGER (selected 2018)/demo-v18_5_REAL.aag
Results
AIGER (selected 2018)/demo-v1_5_UNREAL.aag
Results
AIGER (selected 2018)/demo-v22_5_REAL.aag
Results
AIGER (selected 2018)/demo-v24_5_REAL.aag
Results
AIGER (selected 2018)/demo-v25_2_UNREAL.aag
Results
AIGER (selected 2018)/demo-v25_5_UNREAL.aag
Results
AIGER (selected 2018)/demo-v2_5_UNREAL.aag
Results
AIGER (selected 2018)/demo-v3_5_REAL.aag
Results
AIGER (selected 2018)/demo-v6_2_UNREAL.aag
Results
AIGER (selected 2018)/demo-v6_5_REAL.aag
Results
AIGER (selected 2018)/driver_a4n.aag
Results
AIGER (selected 2018)/driver_b4n.aag
Results
AIGER (selected 2018)/driver_d4y.aag
Results
AIGER (selected 2018)/driver_d7n.aag
Results
AIGER (selected 2018)/driver_d8y.aag
Results
AIGER (selected 2018)/driver_d9y.aag
Results
AIGER (selected 2018)/factory_assembly_3x3_1_1errors.aag
Results
AIGER (selected 2018)/factory_assembly_4x3_1_1errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x3_1_0errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x3_1_4errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x3_1_5errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x4_1_0errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x5_2_0errors.aag
Results
AIGER (selected 2018)/factory_assembly_5x5_2_1errors.aag
Results
AIGER (selected 2018)/factory_assembly_7x3_1_0errors.aag
Results
AIGER (selected 2018)/factory_assembly_7x5_2_0errors.aag
Results
AIGER (selected 2018)/gb_s2_r2_comp1_UNREAL.aag
Results
AIGER (selected 2018)/gb_s2_r3_comp1_UNREAL.aag
Results
AIGER (selected 2018)/genbuf20c10n.aag
Results
AIGER (selected 2018)/genbuf28c14n.aag
Results
AIGER (selected 2018)/good_bakery.wuntil.aag
Results
AIGER (selected 2018)/halfadder_shiftedmatch.aag
Results
AIGER (selected 2018)/interface-with-overflows-k10-liveness.aag
Results
AIGER (selected 2018)/interface-with-overflows-k16-liveness.aag
Results
AIGER (selected 2018)/interface-with-overflows-k5-liveness.aag
Results
AIGER (selected 2018)/interface-with-overflows-k8-liveness.aag
Results
AIGER (selected 2018)/interface-with-overflows-k9-liveness.aag
Results
AIGER (selected 2018)/load_3c_comp_comp2_REAL.aag
Results
AIGER (selected 2018)/load_3c_comp_comp4_REAL.aag
Results
AIGER (selected 2018)/load_4c_comp_comp1_UNREAL.aag
Results
AIGER (selected 2018)/load_4c_comp_comp7_REAL.aag
Results
AIGER (selected 2018)/load_full_2_comp1_UNREAL.aag
Results
AIGER (selected 2018)/load_full_2_comp5_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_C2-8_comp4_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_E4_comp4_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_E6_comp2_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_Q4_comp2_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_U1-4_comp3_REAL.aag
Results
AIGER (selected 2018)/ltl2dba_U1-6_comp2_UNREAL.aag
Results
AIGER (selected 2018)/ltl2dpa_E4_comp2_REAL.aag
Results
AIGER (selected 2018)/ltl2dpa_U14_comp2_REAL.aag
Results
AIGER (selected 2018)/moving_obstacle_16x16_3glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_16x16_4glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_24x24_8glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_8x8_0glitches.aag
Results
AIGER (selected 2018)/moving_obstacle_8x8_1glitches.aag
Results
AIGER (selected 2018)/mult6.aag
Results
AIGER (selected 2018)/mult8.aag
Results
AIGER (selected 2018)/mult_bool_matrix_4_3_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_5_3_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_4_5.aag
Results
AIGER (selected 2018)/mult_bool_matrix_dyn_5_5.aag
Results
AIGER (selected 2018)/mv16n.aag
Results
AIGER (selected 2018)/mv20y.aag
Results
AIGER (selected 2018)/mvs20n.aag
Results
AIGER (selected 2018)/mvs24y.aag
Results
AIGER (selected 2018)/mvs28n.aag
Results
AIGER (selected 2018)/stay12y.aag
Results
AIGER (selected 2018)/stay14y.aag
Results