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

InstanceResultTime
ltl2dba_R_environment_1.dqdimacsUNSAT0.24
simple_arbiter_system_2.dqdimacsUNSAT0.68
ltl2dba_U1_system_1.dqdimacsUNSAT0.7
ltl2dba_theta_environment_1.dqdimacsSAT0.75
full_arbiter_unreal2_system_1.dqdimacsUNSAT1.09
full_arbiter_unreal1_system_1.dqdimacsUNSAT1.1
ltl2dba05_environment_2.dqdimacsUNSAT1.51
ltl2dba_beta_environment_1.dqdimacsUNSAT1.57
loadcomp3_environment_1.dqdimacsSAT1.73
round_robin_arbiter_environment_2.dqdimacsUNSAT2.32
amba_decomposed_lock_environment_2.dqdimacsUNSAT2.7
lilydemo02_system_4.dqdimacsUNSAT3.88
round_robin_arbiter_system_1.dqdimacsUNSAT5.56
ltl2dba_U1_environment_4.dqdimacsUNSAT7.48
simple_arbiter_environment_2.dqdimacsUNSAT8.67
loadcomp2_environment_4.dqdimacsSAT10.28
amba_decomposed_tburst4_system_1.dqdimacsUNSAT15.37
lilydemo01_environment_8.dqdimacsSAT92.33
load_balancer_unreal1_system_2.dqdimacsUNSAT103.12
generalized_buffer_unreal2_system_1.dqdimacsUNSAT113.12
full_arbiter_unreal1_environment_1.dqdimacsSAT130.77
prioritized_arbiter_environment_4.dqdimacsUNSAT342.66
lilydemo19_environment_4.dqdimacsUNSAT545.37
amba_case_study_system_1.dqdimacsFAIL900
genbuf2_system_4.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_22.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
load_balancer_environment_8.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_2.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
pec_multiplier_1_10.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
detector_unreal_environment_16.dqdimacsFAIL900
load_balancer_system_4.dqdimacsFAIL900
ltl2dba13_environment_8.dqdimacsFAIL900
pec_adder_n_bit_5_18.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
pec_multiplexer_3_6.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
ltl2dba_U1_system_16.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_11.dqdimacsFAIL900
pec_multiplexer_5_11.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
load_balancer_unreal2_system_4.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_26.dqdimacsFAIL900
pec_multiplexer_5_12.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
lilydemo04_environment_8.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_2.dqdimacsFAIL900
pec_multiplexer_5_17.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
lilydemo07_system_16.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_4.dqdimacsFAIL900
pec_multiplexer_5_2.dqdimacsFAIL900
pec_multiplier_3_4.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_3_18.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplexer_5_5.dqdimacsFAIL900