» Experiments :: TLSF: Realizability, Parallel :: 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 2017: TLSF/detector_unreal_12.tlsf Results
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_3.tlsf Results
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_4.tlsf Results
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_6.tlsf Results
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_4.tlsf Results
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_6.tlsf Results
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_7.tlsf Results
SYNTCOMP 2017: TLSF/amba_decomposed_lock_12.tlsf Results
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_1.tlsf Results
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_2.tlsf Results
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_5.tlsf Results
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_3.tlsf Results
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_5.tlsf Results
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_2.tlsf Results
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_5.tlsf Results
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_5.tlsf Results
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_5.tlsf Results
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_4.tlsf Results
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_15.tlsf Results
SYNTCOMP 2016: TLSF/detector_10.tlsf Results
SYNTCOMP 2016: TLSF/detector_2.tlsf Results
SYNTCOMP 2016: TLSF/detector_4.tlsf Results
SYNTCOMP 2016: TLSF/detector_6.tlsf Results
SYNTCOMP 2016: TLSF/detector_8.tlsf Results
SYNTCOMP 2016: TLSF/full_arbiter_2.tlsf Results
SYNTCOMP 2016: TLSF/full_arbiter_3.tlsf Results
SYNTCOMP 2016: TLSF/full_arbiter_4.tlsf Results
SYNTCOMP 2016: TLSF/full_arbiter_5.tlsf Results
SYNTCOMP 2016: TLSF/full_arbiter_6.tlsf Results
SYNTCOMP 2016: TLSF/genbuf2.tlsf Results
SYNTCOMP 2016: TLSF/genbuf3.tlsf Results
SYNTCOMP 2016: TLSF/genbuf4.tlsf Results
SYNTCOMP 2016: TLSF/genbuf5.tlsf Results
SYNTCOMP 2016: TLSF/generalized_buffer_2.tlsf Results
SYNTCOMP 2016: TLSF/generalized_buffer_3.tlsf Results
SYNTCOMP 2016: TLSF/generalized_buffer_4.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo03.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo04.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo05.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo06.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo07.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo08.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo09.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo10.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo12.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo13.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo14.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo17.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo18.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo19.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo20.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo21.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo22.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo23.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo24.tlsf Results
SYNTCOMP 2016: TLSF/load_balancer_2.tlsf Results
SYNTCOMP 2016: TLSF/load_balancer_4.tlsf Results
SYNTCOMP 2016: TLSF/load_balancer_6.tlsf Results
SYNTCOMP 2016: TLSF/loadcomp2.tlsf Results
SYNTCOMP 2016: TLSF/loadcomp3.tlsf Results
SYNTCOMP 2016: TLSF/loadcomp4.tlsf Results
SYNTCOMP 2016: TLSF/loadcomp5.tlsf Results
SYNTCOMP 2016: TLSF/loadfull2.tlsf Results
SYNTCOMP 2016: TLSF/loadfull3.tlsf Results
SYNTCOMP 2016: TLSF/loadfull4.tlsf Results
SYNTCOMP 2016: TLSF/loadfull5.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba01.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba02.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba03.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba04.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba05.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba06.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba07.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba08.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba09.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba11.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba12.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba13.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba14.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba15.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba16.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba17.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba18.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba19.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba20.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba21.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba22.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba23.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba24.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba25.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba26.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_12.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_C2_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_E_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_E_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_E_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_E_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_Q_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_Q_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_Q_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_U1_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_U1_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_U1_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_U1_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_12.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_alpha_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_3.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_5.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_beta_7.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa01.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa02.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa03.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa04.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa05.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa06.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa07.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa08.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa09.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa11.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa12.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa13.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa14.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa15.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa16.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa17.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa18.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa19.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa20.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa21.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa22.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa23.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dpa24.tlsf Results
SYNTCOMP 2016: TLSF/prioritized_arbiter_2.tlsf Results
SYNTCOMP 2016: TLSF/prioritized_arbiter_3.tlsf Results
SYNTCOMP 2016: TLSF/prioritized_arbiter_4.tlsf Results
SYNTCOMP 2016: TLSF/prioritized_arbiter_5.tlsf Results
SYNTCOMP 2016: TLSF/prioritized_arbiter_6.tlsf Results
SYNTCOMP 2016: TLSF/round_robin_arbiter_2.tlsf Results
SYNTCOMP 2016: TLSF/round_robin_arbiter_3.tlsf Results
SYNTCOMP 2016: TLSF/round_robin_arbiter_4.tlsf Results
SYNTCOMP 2016: TLSF/simple_arbiter_2.tlsf Results
SYNTCOMP 2016: TLSF/simple_arbiter_4.tlsf Results
SYNTCOMP 2016: TLSF/simple_arbiter_6.tlsf Results
SYNTCOMP 2016: TLSF/simple_arbiter_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_R_10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_R_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_R_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_R_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_R_8.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_10.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_12.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_2.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_4.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_6.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba_theta_8.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo01.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo02.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo11.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo15.tlsf Results
SYNTCOMP 2016: TLSF/lilydemo16.tlsf Results
SYNTCOMP 2016: TLSF/ltl2dba27.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_5.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_decode.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_10.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_12.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_6.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_8.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_10.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_6.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_8.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_shift.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tburst4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tincr.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tsingle.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_10.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_6.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_8.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_12.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_6.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_9.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_10.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_8.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_12.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_6.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_4_1.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_4_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/RR Arbiter/round_robin_arbiter_unreal2_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/RR Arbiter/round_robin_arbiter_unreal2_4.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_1.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_2.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_3.ref.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_4.ref.tlsf Results
SYNTCOMP 2016: TLSF/selected 2017/detector_12.tlsf Results
SYNTCOMP 2016: TLSF/selected 2017/full_arbiter_7.tlsf Results
SYNTCOMP 2016: TLSF/selected 2017/prioritized_arbiter_7.tlsf Results
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_10.tlsf Results
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_12.tlsf Results
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_18.tlsf Results