Instances of family Tentrup_dqbf solved by hqs+ql
QBFEVAL'19 - DQBF Solvers Track

InstanceResultTime
full_arbiter_unreal1_system_1.dqdimacsUNSAT0
round_robin_arbiter_environment_2.dqdimacsUNSAT0
pec_full_adder_2_1.dqdimacsSAT0
ltl2dba_beta_environment_1.dqdimacsUNSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
pec_full_adder_2_4.dqdimacsUNSAT0
ltl2dba_theta_environment_1.dqdimacsSAT0
simple_arbiter_environment_2.dqdimacsUNSAT0
amba_decomposed_lock_environment_2.dqdimacsUNSAT0
ltl2dba_U1_environment_4.dqdimacsUNSAT0
simple_arbiter_system_2.dqdimacsUNSAT0
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0
generalized_buffer_unreal2_system_1.dqdimacsUNSAT0
loadcomp2_environment_4.dqdimacsSAT0
ltl2dba_U1_system_1.dqdimacsUNSAT0
detector_unreal_environment_16.dqdimacsSAT0
lilydemo01_environment_8.dqdimacsSAT0
loadcomp3_environment_1.dqdimacsSAT0
lilydemo02_system_4.dqdimacsUNSAT0
ltl2dba05_environment_2.dqdimacsUNSAT0
pec_multiplexer_1_11.dqdimacsUNSAT0.54
lilydemo12_environment_8.dqdimacsUNSAT0.66
load_balancer_unreal1_system_2.dqdimacsUNSAT0.66
pec_multiplexer_1_26.dqdimacsUNSAT1.04
pec_multiplexer_1_4.dqdimacsUNSAT1.07
load_balancer_system_4.dqdimacsUNSAT1.07
pec_multiplexer_1_8.dqdimacsUNSAT1.13
pec_multiplexer_1_2.dqdimacsUNSAT1.37
pec_multiplexer_3_6.dqdimacsUNSAT1.52
pec_multiplexer_3_2.dqdimacsSAT1.68
pec_multiplexer_2_2.dqdimacsUNSAT1.71
pec_multiplexer_5_11.dqdimacsUNSAT1.78
pec_multiplexer_3_30.dqdimacsUNSAT1.99
pec_multiplexer_5_2.dqdimacsUNSAT2.11
prioritized_arbiter_environment_4.dqdimacsUNSAT2.14
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT2.52
pec_multiplexer_3_7.dqdimacsSAT2.93
pec_look_ahead_arbiter_1_0.dqdimacsSAT3.2
pec_multiplexer_5_17.dqdimacsUNSAT3.36
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT3.39
pec_multiplexer_5_12.dqdimacsUNSAT3.87
load_balancer_environment_8.dqdimacsSAT4.17
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT4.21
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT4.71
pec_multiplier_3_3.dqdimacsUNSAT5.01
genbuf2_system_4.dqdimacsUNSAT5.46
pec_multiplier_1_9.dqdimacsUNSAT5.66
pec_multiplier_1_20.dqdimacsUNSAT5.86
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT5.96
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT6.03
pec_multiplier_1_10.dqdimacsUNSAT6.26
lilydemo19_environment_4.dqdimacsUNSAT6.28
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT6.29
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT6.35
pec_adder_n_bit_4_11.dqdimacsUNSAT6.39
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT6.57
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT7.07
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT7.09
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT7.09
full_arbiter_unreal1_environment_1.dqdimacsSAT7.79
full_arbiter_unreal3_environment_2.dqdimacsUNSAT9.49
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT11.24
pec_multiplier_1_30.dqdimacsUNSAT12.3
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT13.02
pec_multiplier_3_2.dqdimacsUNSAT15.19
pec_look_ahead_arbiter_7_2.dqdimacsUNSAT15.48
pec_multiplier_1_0.dqdimacsSAT15.5
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT20.38
pec_multiplier_3_4.dqdimacsUNSAT26.09
pec_multiplier_1_11.dqdimacsUNSAT32.88
full_arbiter_environment_4.dqdimacsUNSAT33.13
pec_look_ahead_arbiter_7_5.dqdimacsUNSAT37
pec_adder_n_bit_1_3.dqdimacsUNSAT45.89
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT46.98
amba_case_study_system_1.dqdimacsUNSAT56.69
pec_adder_n_bit_3_1.dqdimacsUNSAT82.9
pec_adder_n_bit_5_11.dqdimacsUNSAT85.1
ltl2dba13_environment_8.dqdimacsUNSAT85.79
pec_adder_n_bit_9_22.dqdimacsUNSAT105.84
amba_case_study_unreal2_system_1.dqdimacsUNSAT114.66
ltl2dba_alpha_environment_8.dqdimacsUNSAT339.74
pec_adder_n_bit_8_7.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900.01
pec_look_ahead_arbiter_8_4.dqdimacsFAIL900.01
pec_adder_n_bit_8_1.dqdimacsFAIL900.01
pec_adder_n_bit_4_5.dqdimacsFAIL900.02
pec_adder_n_bit_5_18.dqdimacsFAIL900.05
pec_adder_n_bit_3_18.dqdimacsFAIL900.06
pec_adder_n_bit_9_11.dqdimacsFAIL900.06
pec_adder_n_bit_1_19.dqdimacsFAIL900.06
pec_adder_n_bit_9_17.dqdimacsFAIL900.07
genbuf3_system_16.dqdimacsFAIL900.09
pec_adder_n_bit_9_20.dqdimacsFAIL900.09