Instances of family Tentrup_dqbf solved by iprover_hqspre
QBFEVAL'19 - DQBF Solvers Track

InstanceResultTime
full_arbiter_unreal1_system_1.dqdimacsUNSAT0
round_robin_arbiter_environment_2.dqdimacsUNSAT0
pec_full_adder_2_1.dqdimacsSAT0
ltl2dba_beta_environment_1.dqdimacsUNSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
pec_full_adder_2_4.dqdimacsUNSAT0
ltl2dba_theta_environment_1.dqdimacsSAT0
simple_arbiter_system_2.dqdimacsUNSAT0
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0
loadcomp2_environment_4.dqdimacsSAT0
ltl2dba_U1_system_1.dqdimacsUNSAT0
detector_unreal_environment_16.dqdimacsSAT0
lilydemo01_environment_8.dqdimacsSAT0
loadcomp3_environment_1.dqdimacsSAT0
lilydemo02_system_4.dqdimacsUNSAT0
ltl2dba05_environment_2.dqdimacsUNSAT0
amba_decomposed_lock_environment_2.dqdimacsUNSAT0.56
generalized_buffer_unreal2_system_1.dqdimacsUNSAT0.83
ltl2dba_U1_environment_4.dqdimacsUNSAT1.71
load_balancer_unreal1_system_2.dqdimacsUNSAT1.79
simple_arbiter_environment_2.dqdimacsUNSAT2.68
lilydemo19_environment_4.dqdimacsUNSAT3.39
ltl2dba13_environment_8.dqdimacsUNSAT3.4
ltl2dba_alpha_environment_8.dqdimacsUNSAT3.44
load_balancer_system_4.dqdimacsUNSAT3.92
lilydemo12_environment_8.dqdimacsUNSAT4.06
pec_multiplexer_1_26.dqdimacsUNSAT4.54
load_balancer_environment_8.dqdimacsSAT4.89
genbuf2_system_4.dqdimacsUNSAT4.92
pec_multiplexer_1_4.dqdimacsUNSAT5.36
full_arbiter_unreal1_environment_1.dqdimacsSAT5.79
prioritized_arbiter_environment_4.dqdimacsUNSAT22.79
full_arbiter_environment_4.dqdimacsUNSAT68.04
pec_multiplexer_2_2.dqdimacsUNSAT83.2
full_arbiter_unreal3_environment_2.dqdimacsUNSAT89.04
pec_multiplexer_1_8.dqdimacsUNSAT91.85
pec_multiplexer_1_2.dqdimacsUNSAT102.66
pec_multiplexer_1_11.dqdimacsUNSAT123.14
pec_multiplier_1_9.dqdimacsUNSAT131.08
pec_multiplier_1_20.dqdimacsUNSAT144.28
pec_multiplexer_3_30.dqdimacsUNSAT144.68
pec_multiplier_1_30.dqdimacsUNSAT151.9
pec_multiplier_3_4.dqdimacsUNSAT245.57
pec_adder_n_bit_3_18.dqdimacsFAIL900.01
pec_look_ahead_arbiter_7_5.dqdimacsFAIL900.01
pec_adder_n_bit_5_11.dqdimacsFAIL900.01
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900.01
pec_multiplier_1_11.dqdimacsFAIL900.01
genbuf3_system_16.dqdimacsFAIL900.01
pec_look_ahead_arbiter_3_12.dqdimacsFAIL900.01
pec_look_ahead_arbiter_6_12.dqdimacsFAIL900.01
pec_adder_n_bit_9_6.dqdimacsFAIL900.02
pec_adder_n_bit_8_7.dqdimacsFAIL900.02
pec_multiplier_1_0.dqdimacsFAIL900.02
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900.02
pec_look_ahead_arbiter_8_4.dqdimacsFAIL900.02
pec_adder_n_bit_5_18.dqdimacsFAIL900.02
pec_multiplexer_3_6.dqdimacsFAIL900.02
pec_look_ahead_arbiter_3_15.dqdimacsFAIL900.02
pec_multiplier_3_3.dqdimacsFAIL900.02
pec_look_ahead_arbiter_3_3.dqdimacsFAIL900.02
pec_adder_n_bit_9_22.dqdimacsFAIL900.02
pec_multiplexer_5_17.dqdimacsFAIL900.02
pec_adder_n_bit_8_1.dqdimacsFAIL900.02
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900.03
pec_multiplexer_3_2.dqdimacsFAIL900.03
pec_look_ahead_arbiter_2_4.dqdimacsFAIL900.03
pec_adder_n_bit_9_17.dqdimacsFAIL900.03
pec_adder_n_bit_1_3.dqdimacsFAIL900.03
pec_look_ahead_arbiter_6_2.dqdimacsFAIL900.04
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900.04
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900.04
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900.04
pec_multiplexer_5_11.dqdimacsFAIL900.04
pec_adder_n_bit_4_11.dqdimacsFAIL900.04
pec_multiplexer_5_2.dqdimacsFAIL900.05
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900.05
amba_case_study_system_1.dqdimacsFAIL900.05
pec_multiplier_1_10.dqdimacsFAIL900.05
pec_multiplexer_3_7.dqdimacsFAIL900.05
pec_adder_n_bit_9_20.dqdimacsFAIL900.05
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900.06
pec_adder_n_bit_1_19.dqdimacsFAIL900.07
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900.08
pec_adder_n_bit_9_11.dqdimacsFAIL900.08
pec_multiplexer_5_12.dqdimacsFAIL900.08
pec_adder_n_bit_4_5.dqdimacsFAIL900.08
pec_look_ahead_arbiter_7_2.dqdimacsFAIL900.09
pec_multiplier_3_2.dqdimacsFAIL900.09
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900.09
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900.09
amba_case_study_unreal2_system_1.dqdimacsFAIL900.1
pec_adder_n_bit_3_1.dqdimacsFAIL900.11