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


InstanceSolverResultTime
amba_case_study_system_1.dqdimacsdCaqeUNSAT458.81
amba_case_study_unreal2_system_1.dqdimacsdCaqeUNSAT489.34
amba_decomposed_arbiter_system_8.dqdimacsiprover_hqspreSAT748.29
amba_decomposed_decode_environment_16.dqdimacshqsUNSAT0.61
amba_decomposed_lock_environment_2.dqdimacsiprover_hqspreUNSAT1.76
amba_decomposed_tburst4_system_1.dqdimacshqsUNSAT0.98
detector_unreal_environment_16.dqdimacsiprover_hqspreSAT0.68
full_arbiter_environment_4.dqdimacsiprover_hqspreUNSAT68.04
full_arbiter_unreal1_environment_1.dqdimacsiprover_hqspreSAT5.18
full_arbiter_unreal1_system_1.dqdimacsiprover_hqspreUNSAT0.41
full_arbiter_unreal2_system_1.dqdimacshqsUNSAT0.88
full_arbiter_unreal3_environment_2.dqdimacsiprover_hqspreUNSAT68
genbuf2_system_4.dqdimacsiprover_hqspreUNSAT23.63
generalized_buffer_unreal2_system_1.dqdimacsiprover_hqspreUNSAT2.09
lilydemo01_environment_8.dqdimacsiprover_hqspreSAT0.54
lilydemo02_system_4.dqdimacsiprover_hqspreUNSAT0.45
lilydemo04_environment_8.dqdimacsiprover_hqspreSAT62.14
lilydemo07_system_16.dqdimacshqsSAT25.57
lilydemo12_environment_8.dqdimacsiprover_hqspreUNSAT7.75
lilydemo19_environment_4.dqdimacsiprover_hqspreUNSAT12.2
loadcomp2_environment_4.dqdimacsiprover_hqspreSAT0.3
loadcomp3_environment_1.dqdimacsiprover_hqspreSAT0.84
load_balancer_environment_8.dqdimacsiprover_hqspreSAT5.32
load_balancer_system_4.dqdimacsiprover_hqspreUNSAT5.58
load_balancer_unreal1_system_2.dqdimacsiprover_hqspreUNSAT1.65
load_balancer_unreal2_system_4.dqdimacsiprover_hqspreSAT3.7
ltl2dba05_environment_2.dqdimacsiprover_hqspreUNSAT0.81
ltl2dba13_environment_8.dqdimacshqsUNSAT327.73
ltl2dba_alpha_environment_8.dqdimacshqsUNSAT39.99
ltl2dba_beta_environment_1.dqdimacsiprover_hqspreUNSAT0.3
ltl2dba_R_environment_1.dqdimacsidqUNSAT0.24
ltl2dba_theta_environment_1.dqdimacsiprover_hqspreSAT0.48
ltl2dba_U1_environment_4.dqdimacsiprover_hqspreUNSAT1.02
ltl2dba_U1_system_1.dqdimacsiprover_dqbf18UNSAT0.63
ltl2dba_U1_system_16.dqdimacshqsSAT268.88
pec_adder_n_bit_1_19.dqdimacshqsSAT18.19
pec_adder_n_bit_1_3.dqdimacshqsUNSAT7.6
pec_adder_n_bit_3_1.dqdimacshqsUNSAT17.58
pec_adder_n_bit_3_18.dqdimacshqsUNSAT16.08
pec_adder_n_bit_5_11.dqdimacshqsUNSAT11.6
pec_adder_n_bit_5_18.dqdimacshqsUNSAT11.61
pec_adder_n_bit_9_11.dqdimacshqsUNSAT111.97
pec_adder_n_bit_9_17.dqdimacshqsUNSAT61.02
pec_adder_n_bit_9_20.dqdimacshqsUNSAT888.95
pec_adder_n_bit_9_22.dqdimacshqsUNSAT44.25
pec_look_ahead_arbiter_1_0.dqdimacshqsSAT3.78
pec_look_ahead_arbiter_1_11.dqdimacshqsUNSAT2.11
pec_look_ahead_arbiter_1_14.dqdimacshqsUNSAT1.91
pec_look_ahead_arbiter_1_2.dqdimacshqsUNSAT2.7
pec_look_ahead_arbiter_5_1.dqdimacshqsUNSAT5.37
pec_look_ahead_arbiter_5_10.dqdimacshqsUNSAT4.45
pec_look_ahead_arbiter_5_12.dqdimacshqsUNSAT12.23
pec_look_ahead_arbiter_5_2.dqdimacshqsUNSAT4.51
pec_look_ahead_arbiter_5_3.dqdimacshqsUNSAT4.52
pec_look_ahead_arbiter_7_2.dqdimacshqsUNSAT38.55
pec_look_ahead_arbiter_7_22.dqdimacshqsUNSAT5.84
pec_look_ahead_arbiter_7_9.dqdimacshqsUNSAT13.04
pec_multiplexer_1_11.dqdimacshqsUNSAT1.63
pec_multiplexer_1_2.dqdimacshqsUNSAT2.19
pec_multiplexer_1_26.dqdimacshqsUNSAT0.81
pec_multiplexer_1_4.dqdimacshqsUNSAT0.96
pec_multiplexer_1_8.dqdimacshqsUNSAT1.11
pec_multiplexer_3_2.dqdimacshqsSAT3.71
pec_multiplexer_3_30.dqdimacshqsUNSAT0.97
pec_multiplexer_3_6.dqdimacshqsUNSAT1.27
pec_multiplexer_5_11.dqdimacshqsUNSAT0.81
pec_multiplexer_5_12.dqdimacshqsUNSAT5.85
pec_multiplexer_5_17.dqdimacshqsUNSAT12.32
pec_multiplexer_5_2.dqdimacshqsUNSAT11.68
pec_multiplexer_5_5.dqdimacshqsSAT27.44
pec_multiplier_1_0.dqdimacshqsSAT6.5
pec_multiplier_1_10.dqdimacshqsUNSAT1.13
pec_multiplier_1_11.dqdimacshqsUNSAT2.04
pec_multiplier_1_30.dqdimacshqsUNSAT3.84
pec_multiplier_3_2.dqdimacshqsUNSAT6.16
pec_multiplier_3_3.dqdimacshqsUNSAT5.52
pec_multiplier_3_4.dqdimacshqsUNSAT4.19
prioritized_arbiter_environment_4.dqdimacsiprover_hqspreUNSAT9.19
round_robin_arbiter_environment_2.dqdimacsiprover_hqspreUNSAT1.04
round_robin_arbiter_system_1.dqdimacsiprover_hqspreUNSAT0.67
simple_arbiter_environment_2.dqdimacsiprover_hqspreUNSAT2.57
simple_arbiter_system_2.dqdimacshqsUNSAT0.66