Instances of family Tentrup_dqbf solved by iprover_hqspre_single
DQBF Solvers Track

InstanceResultTime
round_robin_arbiter_system_1.dqdimacsUNSAT0.4
pec_multiplexer_1_26.dqdimacsUNSAT4.23
pec_multiplexer_1_4.dqdimacsUNSAT4.84
full_arbiter_unreal1_environment_1.dqdimacsSAT6.08
load_balancer_environment_8.dqdimacsSAT7.4
pec_multiplexer_2_2.dqdimacsUNSAT9.61
pec_multiplexer_6_84.dqdimacsUNSAT14.47
pec_multiplexer_1_8.dqdimacsUNSAT14.75
prioritized_arbiter_environment_4.dqdimacsUNSAT17.49
pec_multiplexer_1_2.dqdimacsUNSAT23.45
pec_multiplier_1_9.dqdimacsUNSAT29.01
pec_multiplier_1_10.dqdimacsUNSAT31.43
pec_multiplexer_3_30.dqdimacsUNSAT31.88
lilydemo19_environment_4.dqdimacsUNSAT33.79
pec_multiplier_1_20.dqdimacsUNSAT36.06
pec_multiplexer_1_11.dqdimacsUNSAT40.89
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT42.35
load_balancer_system_4.dqdimacsUNSAT46.42
pec_multiplexer_4_50.dqdimacsUNSAT48.65
pec_multiplexer_5_11.dqdimacsUNSAT55.99
load_balancer_unreal2_system_4.dqdimacsSAT73.87
genbuf2_system_4.dqdimacsUNSAT76.86
full_arbiter_unreal3_environment_2.dqdimacsUNSAT81.43
pec_multiplexer_5_2.dqdimacsUNSAT102.27
pec_multiplier_4_14.dqdimacsUNSAT108.04
pec_multiplexer_5_12.dqdimacsUNSAT110.33
pec_multiplier_1_30.dqdimacsUNSAT140.46
pec_multiplier_3_3.dqdimacsUNSAT152.25
pec_multiplexer_3_6.dqdimacsUNSAT275.14
ltl2dba13_environment_8.dqdimacsUNSAT311.1
amba_case_study_unreal2_system_1.dqdimacsFAIL350.29
amba_case_study_system_1.dqdimacsFAIL350.74
pec_multiplexer_5_17.dqdimacsUNSAT410.55
lilydemo04_environment_8.dqdimacsSAT534.26
ltl2dba_alpha_environment_8.dqdimacsUNSAT552.12
pec_multiplier_1_11.dqdimacsUNSAT831.84
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900
pec_look_ahead_arbiter_6_2.dqdimacsFAIL900
pec_adder_n_bit_3_38.dqdimacsFAIL900
pec_look_ahead_arbiter_6_40.dqdimacsFAIL900
pec_multiplexer_6_51.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
pec_adder_n_bit_3_1.dqdimacsFAIL900
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_8_4.dqdimacsFAIL900
pec_adder_n_bit_4_4.dqdimacsFAIL900
pec_look_ahead_arbiter_6_70.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
pec_adder_n_bit_4_11.dqdimacsFAIL900
pec_adder_n_bit_5_90.dqdimacsFAIL900
pec_look_ahead_arbiter_6_93.dqdimacsFAIL900
pec_multiplexer_8_59.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900
pec_look_ahead_arbiter_2_4.dqdimacsFAIL900
pec_adder_n_bit_7_26.dqdimacsFAIL900
pec_look_ahead_arbiter_8_11.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
pec_look_ahead_arbiter_3_12.dqdimacsFAIL900
pec_look_ahead_arbiter_10_2.dqdimacsFAIL900
pec_look_ahead_arbiter_9_36.dqdimacsFAIL900
pec_multiplier_5_81.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
pec_adder_n_bit_10_32.dqdimacsFAIL900
pec_look_ahead_arbiter_1_35.dqdimacsFAIL900
pec_look_ahead_arbiter_9_8.dqdimacsFAIL900
pec_multiplier_5_91.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_look_ahead_arbiter_3_3.dqdimacsFAIL900
pec_adder_n_bit_1_35.dqdimacsFAIL900
pec_look_ahead_arbiter_2_24.dqdimacsFAIL900
pec_multiplexer_10_41.dqdimacsFAIL900
pec_multiplier_7_13.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
pec_look_ahead_arbiter_6_12.dqdimacsFAIL900
pec_adder_n_bit_2_10.dqdimacsFAIL900
pec_look_ahead_arbiter_5_5.dqdimacsFAIL900
pec_multiplier_7_87.dqdimacsFAIL900