Sota solver results for family Tentrup_dqbf
QBFEVAL'19 - DQBF Solvers Track


InstanceSolverResultTime
amba_case_study_system_1.dqdimacshqs+qlUNSAT56.69
amba_case_study_unreal2_system_1.dqdimacshqs+qlUNSAT114.66
amba_decomposed_lock_environment_2.dqdimacsdCaqeUNSAT0
amba_decomposed_tburst4_system_1.dqdimacsdCaqeUNSAT0
detector_unreal_environment_16.dqdimacsdCaqeSAT0
full_arbiter_environment_4.dqdimacshqs+ql+fsUNSAT32.95
full_arbiter_unreal1_environment_1.dqdimacsdCaqeSAT2.89
full_arbiter_unreal1_system_1.dqdimacsdCaqeUNSAT0
full_arbiter_unreal3_environment_2.dqdimacshqs+ql+fsUNSAT9.38
genbuf2_system_4.dqdimacsiprover_hqspreUNSAT4.92
generalized_buffer_unreal2_system_1.dqdimacshqsUNSAT0
lilydemo01_environment_8.dqdimacsdCaqeSAT0
lilydemo02_system_4.dqdimacsdCaqeUNSAT0
lilydemo12_environment_8.dqdimacshqsUNSAT0.61
lilydemo19_environment_4.dqdimacsiprover_hqspreUNSAT3.39
loadcomp2_environment_4.dqdimacsdCaqeSAT0
loadcomp3_environment_1.dqdimacsdCaqeSAT0
load_balancer_environment_8.dqdimacshqs+ql+fsSAT4.12
load_balancer_system_4.dqdimacshqs+ql+fsUNSAT0.98
load_balancer_unreal1_system_2.dqdimacsdCaqeUNSAT0.29
ltl2dba05_environment_2.dqdimacsdCaqeUNSAT0
ltl2dba13_environment_8.dqdimacsiprover_hqspreUNSAT3.4
ltl2dba_alpha_environment_8.dqdimacsiprover_hqspreUNSAT3.44
ltl2dba_beta_environment_1.dqdimacsdCaqeUNSAT0
ltl2dba_theta_environment_1.dqdimacsdCaqeSAT0
ltl2dba_U1_environment_4.dqdimacsdCaqeUNSAT0
ltl2dba_U1_system_1.dqdimacsdCaqeUNSAT0
pec_adder_n_bit_1_19.dqdimacshqsSAT32.23
pec_adder_n_bit_1_3.dqdimacsdCaqeUNSAT0.97
pec_adder_n_bit_3_1.dqdimacsdCaqeUNSAT11.47
pec_adder_n_bit_3_18.dqdimacsdCaqeUNSAT58.08
pec_adder_n_bit_4_11.dqdimacsdCaqeUNSAT0.97
pec_adder_n_bit_4_5.dqdimacsdCaqeUNSAT86.77
pec_adder_n_bit_5_11.dqdimacsdCaqeUNSAT67.27
pec_adder_n_bit_5_18.dqdimacsdCaqeUNSAT10.96
pec_adder_n_bit_9_20.dqdimacsdCaqeUNSAT31.92
pec_adder_n_bit_9_22.dqdimacshqs+qlUNSAT105.84
pec_full_adder_2_1.dqdimacsdCaqeSAT0
pec_full_adder_2_4.dqdimacsdCaqeUNSAT0
pec_look_ahead_arbiter_1_0.dqdimacsdCaqeSAT0.64
pec_look_ahead_arbiter_1_11.dqdimacsdCaqeUNSAT0.3
pec_look_ahead_arbiter_1_14.dqdimacsdCaqeUNSAT0
pec_look_ahead_arbiter_1_2.dqdimacsdCaqeUNSAT0.24
pec_look_ahead_arbiter_2_4.dqdimacsdCaqeUNSAT1.58
pec_look_ahead_arbiter_3_12.dqdimacshqs+qlUNSAT6.57
pec_look_ahead_arbiter_3_15.dqdimacsdCaqeUNSAT1.02
pec_look_ahead_arbiter_3_3.dqdimacshqsUNSAT3.29
pec_look_ahead_arbiter_5_1.dqdimacsdCaqeUNSAT0.09
pec_look_ahead_arbiter_5_10.dqdimacsdCaqeUNSAT0.09
pec_look_ahead_arbiter_5_12.dqdimacsdCaqeUNSAT0
pec_look_ahead_arbiter_5_2.dqdimacsdCaqeUNSAT0.09
pec_look_ahead_arbiter_5_3.dqdimacsdCaqeUNSAT0
pec_look_ahead_arbiter_6_12.dqdimacsdCaqeUNSAT0.09
pec_look_ahead_arbiter_6_2.dqdimacsdCaqeUNSAT0
pec_look_ahead_arbiter_7_2.dqdimacsdCaqeUNSAT0.11
pec_look_ahead_arbiter_7_22.dqdimacsdCaqeUNSAT0.12
pec_look_ahead_arbiter_7_5.dqdimacsdCaqeUNSAT0.11
pec_look_ahead_arbiter_7_9.dqdimacsdCaqeUNSAT0.1
pec_look_ahead_arbiter_8_4.dqdimacsdCaqeUNSAT0.1
pec_multiplexer_1_11.dqdimacshqs+ql+fsUNSAT0.52
pec_multiplexer_1_2.dqdimacsdCaqeUNSAT1.06
pec_multiplexer_1_26.dqdimacsdCaqeUNSAT0.26
pec_multiplexer_1_4.dqdimacsdCaqeUNSAT0.58
pec_multiplexer_1_8.dqdimacsdCaqeUNSAT0.21
pec_multiplexer_2_2.dqdimacsdCaqeUNSAT0.61
pec_multiplexer_3_2.dqdimacshqs+qlSAT1.68
pec_multiplexer_3_30.dqdimacshqsUNSAT1.96
pec_multiplexer_3_6.dqdimacshqs+ql+fsUNSAT1.51
pec_multiplexer_3_7.dqdimacshqs+qlSAT2.93
pec_multiplexer_5_11.dqdimacsdCaqeUNSAT0.06
pec_multiplexer_5_12.dqdimacshqs+qlUNSAT3.87
pec_multiplexer_5_17.dqdimacshqs+qlUNSAT3.36
pec_multiplexer_5_2.dqdimacshqs+qlUNSAT2.11
pec_multiplier_1_0.dqdimacshqs+ql+fsSAT15.44
pec_multiplier_1_10.dqdimacsdCaqeUNSAT0.67
pec_multiplier_1_11.dqdimacsdCaqeUNSAT0.17
pec_multiplier_1_20.dqdimacsdCaqeUNSAT1.79
pec_multiplier_1_30.dqdimacsdCaqeUNSAT0.17
pec_multiplier_1_9.dqdimacsdCaqeUNSAT0.18
pec_multiplier_3_2.dqdimacsdCaqeUNSAT5.1
pec_multiplier_3_3.dqdimacshqs+ql+fsUNSAT4.91
pec_multiplier_3_4.dqdimacsdCaqeUNSAT7.01
prioritized_arbiter_environment_4.dqdimacshqsUNSAT2.1
round_robin_arbiter_environment_2.dqdimacsdCaqeUNSAT0
round_robin_arbiter_system_1.dqdimacsdCaqeUNSAT0
simple_arbiter_environment_2.dqdimacshqsUNSAT0
simple_arbiter_system_2.dqdimacsdCaqeUNSAT0