Instances of family Tentrup_dqbf solved by dqbdd
DQBF Solvers Track

InstanceResultTime
round_robin_arbiter_system_1.dqdimacsUNSAT0
load_balancer_system_4.dqdimacsUNSAT1.07
pec_multiplexer_2_2.dqdimacsUNSAT1.36
load_balancer_unreal2_system_4.dqdimacsSAT1.38
pec_multiplexer_1_26.dqdimacsUNSAT1.51
pec_multiplexer_1_2.dqdimacsUNSAT1.51
pec_multiplexer_3_6.dqdimacsUNSAT1.59
pec_multiplexer_5_11.dqdimacsUNSAT1.94
pec_multiplexer_5_2.dqdimacsUNSAT2.03
prioritized_arbiter_environment_4.dqdimacsUNSAT2.09
pec_multiplexer_6_84.dqdimacsUNSAT2.09
pec_multiplexer_3_2.dqdimacsSAT2.2
pec_multiplexer_1_8.dqdimacsUNSAT2.35
pec_multiplexer_4_50.dqdimacsUNSAT2.58
pec_multiplexer_10_41.dqdimacsUNSAT2.65
pec_multiplexer_1_11.dqdimacsUNSAT2.71
pec_multiplexer_1_4.dqdimacsUNSAT3.3
pec_multiplexer_5_17.dqdimacsUNSAT3.47
pec_multiplexer_5_12.dqdimacsUNSAT3.77
pec_multiplexer_6_51.dqdimacsUNSAT3.77
load_balancer_environment_8.dqdimacsSAT4.28
pec_multiplier_1_9.dqdimacsUNSAT4.59
genbuf2_system_4.dqdimacsUNSAT5.45
pec_multiplier_1_30.dqdimacsUNSAT5.9
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT5.9
lilydemo19_environment_4.dqdimacsUNSAT6.14
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT6.89
lilydemo04_environment_8.dqdimacsSAT7.37
pec_multiplier_1_20.dqdimacsUNSAT7.45
pec_multiplier_1_11.dqdimacsUNSAT7.51
pec_multiplier_5_91.dqdimacsUNSAT7.55
full_arbiter_unreal1_environment_1.dqdimacsSAT7.91
pec_adder_n_bit_3_1.dqdimacsUNSAT8.49
pec_adder_n_bit_1_35.dqdimacsUNSAT8.67
pec_look_ahead_arbiter_1_0.dqdimacsSAT8.75
pec_multiplier_1_10.dqdimacsUNSAT9.1
pec_multiplexer_8_59.dqdimacsUNSAT9.5
full_arbiter_unreal3_environment_2.dqdimacsUNSAT9.51
pec_look_ahead_arbiter_5_5.dqdimacsUNSAT9.74
pec_multiplexer_3_30.dqdimacsUNSAT9.94
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT10.18
pec_look_ahead_arbiter_8_4.dqdimacsUNSAT10.29
pec_multiplier_7_13.dqdimacsUNSAT10.61
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT10.87
pec_multiplier_3_2.dqdimacsUNSAT11.19
pec_adder_n_bit_4_4.dqdimacsUNSAT12.14
pec_adder_n_bit_5_90.dqdimacsUNSAT13.77
pec_multiplier_4_14.dqdimacsUNSAT13.9
pec_adder_n_bit_1_19.dqdimacsSAT14.52
pec_look_ahead_arbiter_1_35.dqdimacsUNSAT14.65
pec_multiplier_1_0.dqdimacsSAT16.98
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT18.21
pec_multiplier_7_87.dqdimacsUNSAT18.98
pec_multiplier_5_81.dqdimacsUNSAT19.3
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT20.1
pec_multiplier_3_3.dqdimacsUNSAT21.78
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT22.09
pec_multiplier_3_4.dqdimacsUNSAT22.21
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT22.78
pec_adder_n_bit_7_26.dqdimacsUNSAT23.71
pec_look_ahead_arbiter_2_24.dqdimacsUNSAT24.7
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT24.78
pec_adder_n_bit_3_38.dqdimacsUNSAT26.6
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT26.81
pec_adder_n_bit_4_11.dqdimacsUNSAT27.98
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT29.42
pec_look_ahead_arbiter_6_70.dqdimacsUNSAT30.31
full_arbiter_environment_4.dqdimacsUNSAT32.99
pec_look_ahead_arbiter_9_8.dqdimacsUNSAT35.53
pec_adder_n_bit_2_10.dqdimacsUNSAT38.41
pec_look_ahead_arbiter_6_93.dqdimacsUNSAT39.16
pec_look_ahead_arbiter_10_2.dqdimacsUNSAT39.87
pec_look_ahead_arbiter_6_40.dqdimacsUNSAT42.37
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT46.99
amba_case_study_system_1.dqdimacsUNSAT57.43
pec_look_ahead_arbiter_8_11.dqdimacsUNSAT61.96
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT62.87
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT70.36
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT85.49
amba_decomposed_arbiter_system_8.dqdimacsSAT115.63
amba_case_study_unreal2_system_1.dqdimacsUNSAT119.12
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT126.41
pec_look_ahead_arbiter_9_36.dqdimacsUNSAT200.69
ltl2dba13_environment_8.dqdimacsFAIL900
pec_adder_n_bit_10_32.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900