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

InstanceResultTime
ltl2dba_R_environment_1.dqdimacsUNSAT0.61
ltl2dba_U1_system_1.dqdimacsUNSAT0.63
simple_arbiter_system_2.dqdimacsUNSAT0.92
ltl2dba_theta_environment_1.dqdimacsSAT1.13
lilydemo01_environment_8.dqdimacsSAT1.36
lilydemo02_system_4.dqdimacsUNSAT1.52
ltl2dba05_environment_2.dqdimacsUNSAT1.61
ltl2dba_U1_environment_4.dqdimacsUNSAT2.15
full_arbiter_unreal1_system_1.dqdimacsUNSAT2.33
full_arbiter_unreal2_system_1.dqdimacsUNSAT2.49
loadcomp2_environment_4.dqdimacsSAT2.5
detector_unreal_environment_16.dqdimacsSAT3.11
round_robin_arbiter_environment_2.dqdimacsUNSAT3.13
loadcomp3_environment_1.dqdimacsSAT3.42
pec_multiplier_1_10.dqdimacsUNSAT5.58
ltl2dba_beta_environment_1.dqdimacsUNSAT5.65
amba_decomposed_tburst4_system_1.dqdimacsUNSAT6.93
amba_decomposed_lock_environment_2.dqdimacsUNSAT12.78
prioritized_arbiter_environment_4.dqdimacsUNSAT22.24
generalized_buffer_unreal2_system_1.dqdimacsUNSAT30.59
lilydemo19_environment_4.dqdimacsUNSAT37.44
simple_arbiter_environment_2.dqdimacsUNSAT44.53
lilydemo12_environment_8.dqdimacsUNSAT66.22
load_balancer_environment_8.dqdimacsSAT79.78
genbuf2_system_4.dqdimacsUNSAT243.66
round_robin_arbiter_system_1.dqdimacsUNSAT285.34
load_balancer_unreal1_system_2.dqdimacsUNSAT538.12
load_balancer_system_4.dqdimacsUNSAT539.23
lilydemo04_environment_8.dqdimacsSAT608.65
load_balancer_unreal2_system_4.dqdimacsSAT890.17
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
full_arbiter_unreal3_environment_2.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
amba_decomposed_tburst4_system_16.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_system_1.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_2.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
detector_environment_16.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_case_study_unreal2_system_1.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_environment_4.dqdimacsFAIL900
full_arbiter_environment_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_arbiter_system_8.dqdimacsFAIL900
full_arbiter_unreal1_environment_1.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
amba_decomposed_decode_environment_16.dqdimacsFAIL900