Instances of family Tentrup_dqbf solved by hqs
DQBF Solvers Track

InstanceResultTime
amba_decomposed_decode_environment_16.dqdimacsUNSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
pec_multiplexer_1_11.dqdimacsUNSAT0.52
pec_multiplexer_1_26.dqdimacsUNSAT0.93
pec_multiplexer_1_4.dqdimacsUNSAT1.11
pec_multiplexer_1_8.dqdimacsUNSAT1.21
pec_multiplexer_1_2.dqdimacsUNSAT1.26
pec_multiplexer_5_2.dqdimacsUNSAT1.43
pec_multiplexer_6_84.dqdimacsUNSAT1.51
pec_multiplexer_2_2.dqdimacsUNSAT1.51
pec_multiplexer_5_11.dqdimacsUNSAT1.58
pec_multiplexer_3_30.dqdimacsUNSAT1.61
pec_multiplexer_3_6.dqdimacsUNSAT1.8
pec_multiplexer_5_17.dqdimacsUNSAT1.98
prioritized_arbiter_environment_4.dqdimacsUNSAT2.29
pec_multiplexer_6_51.dqdimacsUNSAT2.39
pec_multiplexer_10_41.dqdimacsUNSAT2.44
pec_multiplexer_5_12.dqdimacsUNSAT2.5
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT2.59
pec_multiplexer_4_50.dqdimacsUNSAT2.83
pec_look_ahead_arbiter_1_0.dqdimacsFAIL3.4
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT3.58
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT3.65
pec_multiplexer_8_59.dqdimacsUNSAT3.89
pec_look_ahead_arbiter_2_24.dqdimacsUNSAT4.06
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT4.16
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT4.71
pec_look_ahead_arbiter_5_5.dqdimacsUNSAT4.79
lilydemo19_environment_4.dqdimacsUNSAT4.81
genbuf2_system_4.dqdimacsUNSAT4.92
pec_look_ahead_arbiter_1_35.dqdimacsUNSAT5.11
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT5.51
pec_multiplier_1_9.dqdimacsUNSAT5.69
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT5.79
pec_look_ahead_arbiter_6_70.dqdimacsUNSAT5.8
pec_multiplier_1_20.dqdimacsUNSAT5.82
load_balancer_environment_8.dqdimacsSAT5.89
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT6.18
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT6.19
load_balancer_unreal2_system_4.dqdimacsSAT6.3
pec_multiplier_1_10.dqdimacsUNSAT6.42
pec_adder_n_bit_4_11.dqdimacsUNSAT6.77
full_arbiter_unreal1_environment_1.dqdimacsSAT6.97
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT7.21
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT7.29
lilydemo04_environment_8.dqdimacsSAT7.63
load_balancer_system_4.dqdimacsUNSAT7.97
pec_multiplier_1_0.dqdimacsFAIL10.58
pec_multiplier_1_30.dqdimacsUNSAT11.05
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT11.26
pec_multiplexer_3_2.dqdimacsFAIL11.4
pec_look_ahead_arbiter_8_11.dqdimacsUNSAT12.37
pec_adder_n_bit_7_26.dqdimacsUNSAT13.16
pec_look_ahead_arbiter_6_40.dqdimacsUNSAT14.47
pec_multiplier_3_2.dqdimacsUNSAT15.17
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT18.22
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT19.8
pec_multiplier_3_4.dqdimacsUNSAT20.48
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT21.99
amba_decomposed_arbiter_system_8.dqdimacsSAT23.3
pec_look_ahead_arbiter_10_2.dqdimacsUNSAT24.35
pec_multiplier_4_14.dqdimacsUNSAT26.52
pec_look_ahead_arbiter_6_93.dqdimacsUNSAT30.65
pec_look_ahead_arbiter_9_36.dqdimacsUNSAT32.39
pec_multiplier_1_11.dqdimacsUNSAT33.22
full_arbiter_unreal3_environment_2.dqdimacsUNSAT34.52
full_arbiter_environment_4.dqdimacsUNSAT34.69
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT35.49
lilydemo07_system_16.dqdimacsFAIL41.16
amba_case_study_system_1.dqdimacsUNSAT47.5
pec_multiplier_7_13.dqdimacsUNSAT54.86
amba_case_study_unreal2_system_1.dqdimacsUNSAT78.03
ltl2dba13_environment_8.dqdimacsUNSAT104.77
pec_adder_n_bit_1_35.dqdimacsUNSAT107.92
pec_look_ahead_arbiter_8_4.dqdimacsUNSAT110.57
pec_adder_n_bit_3_1.dqdimacsUNSAT120.58
pec_look_ahead_arbiter_9_8.dqdimacsUNSAT131.61
ltl2dba_alpha_environment_8.dqdimacsUNSAT154.67
pec_multiplier_7_87.dqdimacsUNSAT200.49
pec_multiplier_5_81.dqdimacsFAIL900
pec_adder_n_bit_10_32.dqdimacsFAIL900
pec_multiplier_5_91.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
pec_adder_n_bit_2_10.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
pec_adder_n_bit_3_38.dqdimacsFAIL900
pec_adder_n_bit_4_4.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
pec_adder_n_bit_5_90.dqdimacsFAIL900