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

InstanceResultTime
ltl2dba_beta_environment_1.dqdimacsUNSAT0.3
loadcomp2_environment_4.dqdimacsSAT0.3
full_arbiter_unreal1_system_1.dqdimacsUNSAT0.41
lilydemo02_system_4.dqdimacsUNSAT0.45
ltl2dba_theta_environment_1.dqdimacsSAT0.48
lilydemo01_environment_8.dqdimacsSAT0.54
round_robin_arbiter_system_1.dqdimacsUNSAT0.67
detector_unreal_environment_16.dqdimacsSAT0.68
ltl2dba05_environment_2.dqdimacsUNSAT0.81
ltl2dba_U1_system_1.dqdimacsUNSAT0.83
loadcomp3_environment_1.dqdimacsSAT0.84
simple_arbiter_system_2.dqdimacsUNSAT0.94
full_arbiter_unreal2_system_1.dqdimacsUNSAT0.95
ltl2dba_R_environment_1.dqdimacsUNSAT0.99
ltl2dba_U1_environment_4.dqdimacsUNSAT1.02
round_robin_arbiter_environment_2.dqdimacsUNSAT1.04
amba_decomposed_tburst4_system_1.dqdimacsUNSAT1.5
load_balancer_unreal1_system_2.dqdimacsUNSAT1.65
amba_decomposed_lock_environment_2.dqdimacsUNSAT1.76
generalized_buffer_unreal2_system_1.dqdimacsUNSAT2.09
simple_arbiter_environment_2.dqdimacsUNSAT2.57
load_balancer_unreal2_system_4.dqdimacsSAT3.7
full_arbiter_unreal1_environment_1.dqdimacsSAT5.18
load_balancer_environment_8.dqdimacsSAT5.32
load_balancer_system_4.dqdimacsUNSAT5.58
lilydemo12_environment_8.dqdimacsUNSAT7.75
prioritized_arbiter_environment_4.dqdimacsUNSAT9.19
lilydemo19_environment_4.dqdimacsUNSAT12.2
genbuf2_system_4.dqdimacsUNSAT23.63
lilydemo04_environment_8.dqdimacsSAT62.14
full_arbiter_unreal3_environment_2.dqdimacsUNSAT68
full_arbiter_environment_4.dqdimacsUNSAT68.04
ltl2dba_U1_system_16.dqdimacsSAT321.95
lilydemo07_system_16.dqdimacsSAT413.46
ltl2dba_alpha_environment_8.dqdimacsUNSAT462.34
ltl2dba13_environment_8.dqdimacsUNSAT657.46
amba_decomposed_arbiter_system_8.dqdimacsSAT748.29
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
pec_adder_n_bit_3_1.dqdimacsFAIL900
pec_adder_n_bit_9_17.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_7_2.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
pec_multiplier_1_10.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
pec_adder_n_bit_5_11.dqdimacsFAIL900
pec_adder_n_bit_9_18.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
pec_multiplexer_3_6.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
pec_adder_n_bit_5_18.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_multiplexer_1_11.dqdimacsFAIL900
pec_multiplexer_5_11.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
pec_adder_n_bit_9_20.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_multiplexer_1_26.dqdimacsFAIL900
pec_multiplexer_5_12.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
pec_adder_n_bit_9_11.dqdimacsFAIL900
pec_adder_n_bit_9_22.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900
pec_multiplexer_1_2.dqdimacsFAIL900
pec_multiplexer_5_17.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
pec_adder_n_bit_9_12.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900
pec_multiplexer_1_4.dqdimacsFAIL900
pec_multiplexer_5_2.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
pec_adder_n_bit_1_3.dqdimacsFAIL900
pec_adder_n_bit_9_13.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplexer_5_5.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
pec_adder_n_bit_3_18.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900