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

InstanceResultTime
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT0
round_robin_arbiter_environment_2.dqdimacsUNSAT0
pec_full_adder_2_1.dqdimacsSAT0
full_arbiter_unreal1_system_1.dqdimacsUNSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
pec_full_adder_2_4.dqdimacsUNSAT0
ltl2dba_beta_environment_1.dqdimacsUNSAT0
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT0
ltl2dba_theta_environment_1.dqdimacsSAT0
simple_arbiter_system_2.dqdimacsUNSAT0
amba_decomposed_lock_environment_2.dqdimacsUNSAT0
ltl2dba_U1_environment_4.dqdimacsUNSAT0
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0
loadcomp2_environment_4.dqdimacsSAT0
ltl2dba_U1_system_1.dqdimacsUNSAT0
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT0
detector_unreal_environment_16.dqdimacsSAT0
lilydemo01_environment_8.dqdimacsSAT0
loadcomp3_environment_1.dqdimacsSAT0
lilydemo02_system_4.dqdimacsUNSAT0
ltl2dba05_environment_2.dqdimacsUNSAT0
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT0
pec_multiplexer_5_11.dqdimacsUNSAT0.06
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_8_4.dqdimacsUNSAT0.1
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT0.1
pec_look_ahead_arbiter_7_5.dqdimacsUNSAT0.11
pec_look_ahead_arbiter_7_2.dqdimacsUNSAT0.11
simple_arbiter_environment_2.dqdimacsUNSAT0.11
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT0.12
pec_multiplier_1_11.dqdimacsUNSAT0.17
pec_multiplier_1_30.dqdimacsUNSAT0.17
pec_multiplier_1_9.dqdimacsUNSAT0.18
pec_multiplexer_1_8.dqdimacsUNSAT0.21
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT0.24
pec_multiplexer_1_26.dqdimacsUNSAT0.26
load_balancer_unreal1_system_2.dqdimacsUNSAT0.29
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT0.3
generalized_buffer_unreal2_system_1.dqdimacsUNSAT0.43
pec_multiplexer_1_4.dqdimacsUNSAT0.58
pec_multiplexer_2_2.dqdimacsUNSAT0.61
pec_look_ahead_arbiter_1_0.dqdimacsSAT0.64
pec_multiplier_1_10.dqdimacsUNSAT0.67
pec_adder_n_bit_4_11.dqdimacsUNSAT0.97
pec_adder_n_bit_1_3.dqdimacsUNSAT0.97
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT1.02
pec_multiplexer_1_2.dqdimacsUNSAT1.06
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT1.58
pec_multiplier_1_20.dqdimacsUNSAT1.79
prioritized_arbiter_environment_4.dqdimacsUNSAT2.29
pec_multiplexer_3_30.dqdimacsUNSAT2.5
full_arbiter_unreal1_environment_1.dqdimacsSAT2.89
load_balancer_system_4.dqdimacsUNSAT3.3
pec_multiplexer_1_11.dqdimacsUNSAT4.31
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT4.46
pec_multiplier_3_2.dqdimacsUNSAT5.1
pec_multiplier_3_4.dqdimacsUNSAT7.01
lilydemo19_environment_4.dqdimacsUNSAT8.82
pec_multiplier_3_3.dqdimacsUNSAT10.91
pec_adder_n_bit_5_18.dqdimacsUNSAT10.96
pec_adder_n_bit_3_1.dqdimacsUNSAT11.47
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT14.46
genbuf2_system_4.dqdimacsUNSAT15.45
load_balancer_environment_8.dqdimacsSAT15.97
lilydemo12_environment_8.dqdimacsUNSAT16.49
pec_multiplexer_3_6.dqdimacsUNSAT27.42
pec_adder_n_bit_9_20.dqdimacsUNSAT31.92
full_arbiter_unreal3_environment_2.dqdimacsUNSAT35.58
pec_adder_n_bit_3_18.dqdimacsUNSAT58.08
full_arbiter_environment_4.dqdimacsUNSAT60.49
pec_adder_n_bit_5_11.dqdimacsUNSAT67.27
pec_adder_n_bit_4_5.dqdimacsUNSAT86.77
ltl2dba_alpha_environment_8.dqdimacsUNSAT234.28
pec_multiplexer_3_7.dqdimacsFAIL900.01
amba_case_study_unreal2_system_1.dqdimacsFAIL900.02
pec_multiplexer_5_12.dqdimacsFAIL900.02
pec_adder_n_bit_1_19.dqdimacsFAIL900.02
pec_adder_n_bit_9_22.dqdimacsFAIL900.02
pec_adder_n_bit_8_1.dqdimacsFAIL900.02
pec_adder_n_bit_8_7.dqdimacsFAIL900.02
pec_multiplier_1_0.dqdimacsFAIL900.05
pec_adder_n_bit_9_11.dqdimacsFAIL900.05
ltl2dba13_environment_8.dqdimacsFAIL900.05
amba_case_study_system_1.dqdimacsFAIL900.06
pec_multiplexer_5_17.dqdimacsFAIL900.06
pec_adder_n_bit_9_6.dqdimacsFAIL900.06
genbuf3_system_16.dqdimacsFAIL900.07
pec_multiplexer_3_2.dqdimacsFAIL900.08
pec_adder_n_bit_9_17.dqdimacsFAIL900.08
pec_multiplexer_5_2.dqdimacsFAIL900.1