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

InstanceResultTime
ltl2dba_R_environment_1.dqdimacsUNSAT0.45
amba_decomposed_decode_environment_16.dqdimacsUNSAT0.61
simple_arbiter_system_2.dqdimacsUNSAT0.66
pec_multiplexer_5_11.dqdimacsUNSAT0.81
pec_multiplexer_1_26.dqdimacsUNSAT0.81
full_arbiter_unreal2_system_1.dqdimacsUNSAT0.88
full_arbiter_unreal1_system_1.dqdimacsUNSAT0.96
pec_multiplexer_1_4.dqdimacsUNSAT0.96
pec_multiplexer_3_30.dqdimacsUNSAT0.97
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0.98
loadcomp3_environment_1.dqdimacsSAT1
pec_multiplexer_1_8.dqdimacsUNSAT1.11
pec_multiplier_1_10.dqdimacsUNSAT1.13
ltl2dba_beta_environment_1.dqdimacsUNSAT1.18
ltl2dba_U1_system_1.dqdimacsUNSAT1.23
pec_multiplexer_3_6.dqdimacsUNSAT1.27
pec_multiplexer_1_11.dqdimacsUNSAT1.63
ltl2dba05_environment_2.dqdimacsUNSAT1.64
ltl2dba_theta_environment_1.dqdimacsSAT1.77
round_robin_arbiter_environment_2.dqdimacsUNSAT1.81
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT1.91
pec_multiplier_1_11.dqdimacsUNSAT2.04
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT2.11
pec_multiplexer_1_2.dqdimacsUNSAT2.19
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT2.7
amba_decomposed_lock_environment_2.dqdimacsUNSAT3.01
loadcomp2_environment_4.dqdimacsSAT3.69
pec_multiplexer_3_2.dqdimacsSAT3.71
pec_look_ahead_arbiter_1_0.dqdimacsSAT3.78
pec_multiplier_1_30.dqdimacsUNSAT3.84
pec_multiplier_3_4.dqdimacsUNSAT4.19
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT4.45
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT4.51
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT4.52
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT5.37
pec_multiplier_3_3.dqdimacsUNSAT5.52
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT5.84
pec_multiplexer_5_12.dqdimacsUNSAT5.85
pec_multiplier_3_2.dqdimacsUNSAT6.16
ltl2dba_U1_environment_4.dqdimacsUNSAT6.19
round_robin_arbiter_system_1.dqdimacsUNSAT6.34
pec_multiplier_1_0.dqdimacsSAT6.5
pec_adder_n_bit_1_3.dqdimacsUNSAT7.6
load_balancer_unreal1_system_2.dqdimacsUNSAT11.27
pec_adder_n_bit_5_11.dqdimacsUNSAT11.6
pec_adder_n_bit_5_18.dqdimacsUNSAT11.61
pec_multiplexer_5_2.dqdimacsUNSAT11.68
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT12.23
pec_multiplexer_5_17.dqdimacsUNSAT12.32
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT13.04
pec_adder_n_bit_3_18.dqdimacsUNSAT16.08
pec_adder_n_bit_3_1.dqdimacsUNSAT17.58
pec_adder_n_bit_1_19.dqdimacsSAT18.19
simple_arbiter_environment_2.dqdimacsUNSAT18.45
lilydemo02_system_4.dqdimacsUNSAT23.15
detector_unreal_environment_16.dqdimacsSAT23.74
lilydemo07_system_16.dqdimacsSAT25.57
pec_multiplexer_5_5.dqdimacsSAT27.44
pec_look_ahead_arbiter_7_2.dqdimacsUNSAT38.55
ltl2dba_alpha_environment_8.dqdimacsUNSAT39.99
pec_adder_n_bit_9_22.dqdimacsUNSAT44.25
pec_adder_n_bit_9_17.dqdimacsUNSAT61.02
load_balancer_system_4.dqdimacsUNSAT72.19
prioritized_arbiter_environment_4.dqdimacsUNSAT81.09
lilydemo19_environment_4.dqdimacsUNSAT89.6
pec_adder_n_bit_9_11.dqdimacsUNSAT111.97
load_balancer_environment_8.dqdimacsSAT256.04
ltl2dba_U1_system_16.dqdimacsSAT268.88
load_balancer_unreal2_system_4.dqdimacsSAT269.61
ltl2dba13_environment_8.dqdimacsUNSAT327.73
pec_adder_n_bit_9_20.dqdimacsUNSAT888.95
amba_case_study_unreal1_system_4.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
pec_adder_n_bit_9_18.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
generalized_buffer_unreal2_system_1.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
lilydemo01_environment_8.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
full_arbiter_unreal1_environment_1.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
pec_adder_n_bit_9_12.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
pec_adder_n_bit_9_13.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
full_arbiter_unreal3_environment_2.dqdimacsFAIL900
lilydemo12_environment_8.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
genbuf2_system_4.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900