Instances of family Tentrup_dqbf solved by iprover_hqspre_schedule
DQBF Solvers Track

InstanceResultTime
round_robin_arbiter_system_1.dqdimacsUNSAT0.39
pec_multiplexer_1_26.dqdimacsUNSAT4.26
pec_multiplexer_1_4.dqdimacsUNSAT4.86
full_arbiter_unreal1_environment_1.dqdimacsSAT6.15
load_balancer_environment_8.dqdimacsSAT7.47
pec_multiplexer_2_2.dqdimacsUNSAT9.55
pec_multiplexer_6_84.dqdimacsUNSAT14.51
pec_multiplexer_1_8.dqdimacsUNSAT14.79
prioritized_arbiter_environment_4.dqdimacsUNSAT17.5
pec_multiplexer_1_2.dqdimacsUNSAT23.49
pec_multiplier_1_9.dqdimacsUNSAT28.98
pec_multiplier_1_10.dqdimacsUNSAT31.45
pec_multiplexer_3_30.dqdimacsUNSAT31.9
lilydemo19_environment_4.dqdimacsUNSAT34.05
pec_multiplier_1_20.dqdimacsUNSAT36.17
pec_multiplexer_1_11.dqdimacsUNSAT40.83
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT42.31
load_balancer_system_4.dqdimacsUNSAT46.3
pec_multiplexer_4_50.dqdimacsUNSAT48.64
pec_multiplexer_5_11.dqdimacsUNSAT56.1
load_balancer_unreal2_system_4.dqdimacsSAT73.22
genbuf2_system_4.dqdimacsUNSAT76.91
full_arbiter_unreal3_environment_2.dqdimacsUNSAT81.25
pec_multiplexer_5_2.dqdimacsUNSAT101.05
pec_multiplier_4_14.dqdimacsUNSAT108.51
pec_multiplexer_5_12.dqdimacsUNSAT110.36
pec_multiplier_1_30.dqdimacsUNSAT140.49
pec_multiplier_3_3.dqdimacsUNSAT152.08
pec_multiplexer_3_6.dqdimacsUNSAT274.57
pec_look_ahead_arbiter_9_8.dqdimacsUNSAT300.92
ltl2dba13_environment_8.dqdimacsUNSAT309.39
pec_look_ahead_arbiter_2_24.dqdimacsUNSAT312.92
pec_multiplier_3_2.dqdimacsUNSAT325.98
pec_multiplier_3_4.dqdimacsUNSAT349.53
amba_case_study_system_1.dqdimacsFAIL350.04
amba_case_study_unreal2_system_1.dqdimacsFAIL350.64
pec_multiplier_1_11.dqdimacsUNSAT367.75
pec_multiplexer_5_17.dqdimacsUNSAT439.99
pec_look_ahead_arbiter_6_70.dqdimacsUNSAT541.86
ltl2dba_alpha_environment_8.dqdimacsUNSAT552.99
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
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_adder_n_bit_10_32.dqdimacsFAIL900
pec_look_ahead_arbiter_1_35.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_multiplexer_10_41.dqdimacsFAIL900
pec_multiplier_7_13.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.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
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