Detail page for Tentrup

Detail page for Tentrup_dqbf family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Formal Verification

	Description:

	Number of instances:	145

	Results:	2020 - Track 4 2019 - Track 3 2018 - Track 4

	Instances:	amba_case_study_system_1.dqdimacs amba_case_study_unreal1_system_4.dqdimacs amba_case_study_unreal2_system_1.dqdimacs amba_decomposed_arbiter_environment_4.dqdimacs amba_decomposed_arbiter_system_8.dqdimacs amba_decomposed_decode_environment_16.dqdimacs amba_decomposed_lock_environment_2.dqdimacs amba_decomposed_tburst4_system_1.dqdimacs amba_decomposed_tburst4_system_16.dqdimacs detector_environment_16.dqdimacs detector_unreal_environment_16.dqdimacs full_arbiter_environment_4.dqdimacs full_arbiter_unreal1_environment_1.dqdimacs full_arbiter_unreal1_system_1.dqdimacs full_arbiter_unreal2_system_1.dqdimacs full_arbiter_unreal3_environment_2.dqdimacs genbuf2_system_4.dqdimacs genbuf3_system_16.dqdimacs generalized_buffer_unreal2_system_1.dqdimacs lilydemo01_environment_8.dqdimacs lilydemo02_system_4.dqdimacs lilydemo04_environment_8.dqdimacs lilydemo07_system_16.dqdimacs lilydemo12_environment_8.dqdimacs lilydemo19_environment_4.dqdimacs loadcomp2_environment_4.dqdimacs loadcomp3_environment_1.dqdimacs loadfull2_environment_16.dqdimacs load_balancer_environment_8.dqdimacs load_balancer_system_4.dqdimacs load_balancer_unreal1_system_2.dqdimacs load_balancer_unreal2_system_4.dqdimacs ltl2dba01_environment_8.dqdimacs ltl2dba05_environment_2.dqdimacs ltl2dba13_environment_8.dqdimacs ltl2dba_alpha_environment_8.dqdimacs ltl2dba_beta_environment_1.dqdimacs ltl2dba_C2_environment_16.dqdimacs ltl2dba_E_environment_16.dqdimacs ltl2dba_R_environment_1.dqdimacs ltl2dba_R_environment_16.dqdimacs ltl2dba_theta_environment_1.dqdimacs ltl2dba_U1_environment_4.dqdimacs ltl2dba_U1_system_1.dqdimacs ltl2dba_U1_system_16.dqdimacs pec_adder_n_bit_10_32.dqdimacs pec_adder_n_bit_1_19.dqdimacs pec_adder_n_bit_1_3.dqdimacs pec_adder_n_bit_1_35.dqdimacs pec_adder_n_bit_2_10.dqdimacs pec_adder_n_bit_3_1.dqdimacs pec_adder_n_bit_3_18.dqdimacs pec_adder_n_bit_3_38.dqdimacs pec_adder_n_bit_4_11.dqdimacs pec_adder_n_bit_4_4.dqdimacs pec_adder_n_bit_4_5.dqdimacs pec_adder_n_bit_5_11.dqdimacs pec_adder_n_bit_5_18.dqdimacs pec_adder_n_bit_5_90.dqdimacs pec_adder_n_bit_7_0.dqdimacs pec_adder_n_bit_7_26.dqdimacs pec_adder_n_bit_8_1.dqdimacs pec_adder_n_bit_8_7.dqdimacs pec_adder_n_bit_9_1.dqdimacs pec_adder_n_bit_9_11.dqdimacs pec_adder_n_bit_9_12.dqdimacs pec_adder_n_bit_9_13.dqdimacs pec_adder_n_bit_9_14.dqdimacs pec_adder_n_bit_9_17.dqdimacs pec_adder_n_bit_9_18.dqdimacs pec_adder_n_bit_9_2.dqdimacs pec_adder_n_bit_9_20.dqdimacs pec_adder_n_bit_9_22.dqdimacs pec_adder_n_bit_9_6.dqdimacs pec_full_adder_2_1.dqdimacs pec_full_adder_2_4.dqdimacs pec_look_ahead_arbiter_10_2.dqdimacs pec_look_ahead_arbiter_1_0.dqdimacs pec_look_ahead_arbiter_1_11.dqdimacs pec_look_ahead_arbiter_1_14.dqdimacs pec_look_ahead_arbiter_1_2.dqdimacs pec_look_ahead_arbiter_1_35.dqdimacs pec_look_ahead_arbiter_2_24.dqdimacs pec_look_ahead_arbiter_2_4.dqdimacs pec_look_ahead_arbiter_3_12.dqdimacs pec_look_ahead_arbiter_3_15.dqdimacs pec_look_ahead_arbiter_3_3.dqdimacs pec_look_ahead_arbiter_5_1.dqdimacs pec_look_ahead_arbiter_5_10.dqdimacs pec_look_ahead_arbiter_5_12.dqdimacs pec_look_ahead_arbiter_5_2.dqdimacs pec_look_ahead_arbiter_5_3.dqdimacs pec_look_ahead_arbiter_5_5.dqdimacs pec_look_ahead_arbiter_6_12.dqdimacs pec_look_ahead_arbiter_6_2.dqdimacs pec_look_ahead_arbiter_6_40.dqdimacs pec_look_ahead_arbiter_6_70.dqdimacs pec_look_ahead_arbiter_6_93.dqdimacs pec_look_ahead_arbiter_7_2.dqdimacs pec_look_ahead_arbiter_7_22.dqdimacs pec_look_ahead_arbiter_7_5.dqdimacs pec_look_ahead_arbiter_7_9.dqdimacs pec_look_ahead_arbiter_8_11.dqdimacs pec_look_ahead_arbiter_8_4.dqdimacs pec_look_ahead_arbiter_9_36.dqdimacs pec_look_ahead_arbiter_9_8.dqdimacs pec_multiplexer_10_41.dqdimacs pec_multiplexer_1_11.dqdimacs pec_multiplexer_1_2.dqdimacs pec_multiplexer_1_26.dqdimacs pec_multiplexer_1_4.dqdimacs pec_multiplexer_1_8.dqdimacs pec_multiplexer_2_2.dqdimacs pec_multiplexer_3_2.dqdimacs pec_multiplexer_3_30.dqdimacs pec_multiplexer_3_6.dqdimacs pec_multiplexer_3_7.dqdimacs pec_multiplexer_4_50.dqdimacs pec_multiplexer_5_11.dqdimacs pec_multiplexer_5_12.dqdimacs pec_multiplexer_5_17.dqdimacs pec_multiplexer_5_2.dqdimacs pec_multiplexer_5_5.dqdimacs pec_multiplexer_6_51.dqdimacs pec_multiplexer_6_84.dqdimacs pec_multiplexer_8_59.dqdimacs pec_multiplier_1_0.dqdimacs pec_multiplier_1_10.dqdimacs pec_multiplier_1_11.dqdimacs pec_multiplier_1_20.dqdimacs pec_multiplier_1_30.dqdimacs pec_multiplier_1_9.dqdimacs pec_multiplier_3_2.dqdimacs pec_multiplier_3_3.dqdimacs pec_multiplier_3_4.dqdimacs pec_multiplier_4_14.dqdimacs pec_multiplier_5_81.dqdimacs pec_multiplier_5_91.dqdimacs pec_multiplier_7_13.dqdimacs pec_multiplier_7_87.dqdimacs prioritized_arbiter_environment_4.dqdimacs round_robin_arbiter_environment_2.dqdimacs round_robin_arbiter_system_1.dqdimacs simple_arbiter_environment_2.dqdimacs simple_arbiter_system_2.dqdimacs

The Quantified Boolean Formulas Satisfiability Library

Detail page for Tentrup_dqbf family