Syntcomp 2017
Results
|
Monitor
»
Experiments
::
AIGER - Preliminary Experiments, 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
SYNTCOMP 2016: AIGER/ltl2dba_Q4_comp5_REAL.aag
Results
SYNTCOMP 2016: AIGER/ltl2dba_beta5_comp2_UNREAL.aag
Results
SYNTCOMP 2016: AIGER/ltl2dpa_C26_comp2_REAL.aag
Results
SYNTCOMP 2016: AIGER/ltl2dpa_C26_comp3_REAL.aag
Results
SYNTCOMP 2017: AIGER/HWMCC/beemkrebs3f1_c0to3.aag
Results
SYNTCOMP 2017: AIGER/HWMCC/beempgsol5b1_c0to3.aag
Results
SYNTCOMP 2017: AIGER/HWMCC/beembrdg2f1_c0to1.aag
Results
SYNTCOMP 2017: AIGER/HWMCC/beemrether6b1_c0to1.aag
Results
SYNTCOMP 2017: AIGER/HWMCC/beemlifts8b1_c0to3.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba12b6n.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba14b24y.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba16b8unrealy.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba10c6n.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba14c4unrealn.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba8c24y.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba10f48y.aag
Results
SYNTCOMP 2017: AIGER/AMBA/amba12f44unrealy.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_12_5_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_16_5_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_20_2_4.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_3_2.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_5_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_4_8_2.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_3_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_6_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_6_9_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_8_3_1.aag
Results
SYNTCOMP 2017: AIGER/Cycle Scheduler/cycle_sched_8_6_4.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_b5y.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_c5n.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_c7n.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d10y.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d4y.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d7y.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_d8n.aag
Results
SYNTCOMP 2017: AIGER/Driver (Full 16)/driver_b3n.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf12b12y.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf12c30n.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf16c4y.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf20b3unrealy.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf24c30y.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf28b3unrealy.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf48c6y.aag
Results
SYNTCOMP 2017: AIGER/Genbuf/genbuf8c30n.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_2c_comp_comp5_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_3c_comp_comp4_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_4c_comp_comp4_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_5c_comp_comp2_UNREAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_full_2_comp5_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_full_3_comp5_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_full_5_comp1_REAL.aag
Results
SYNTCOMP 2017: AIGER/Load Balancer/load_full_6_comp1_UNREAL.aag
Results
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_C2-6_comp3_REAL.aag
Results
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_E4_comp3_REAL.aag
Results
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_R4_comp3_UNREAL.aag
Results
SYNTCOMP 2017: AIGER/LTL2xBA (Full)/ltl2dba_theta6_comp4_UNREAL.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_4_5_2.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_5_3_3.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_2_9.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_3_10.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_4_5.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_5_3.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_5_2.aag
Results
SYNTCOMP 2017: AIGER/Matrix Multiplication/mult_bool_matrix_dyn_6_2.aag
Results
SYNTCOMP 2017: AIGER/Genbuf (LTL2AIG)/gb_s2_r4_comp2_REAL.aag
Results