Sota solver results for family Tentrup_dqbf
DQBF Solvers Track


InstanceSolverResultTime
amba_case_study_system_1.dqdimacshqsUNSAT47.5
amba_case_study_unreal2_system_1.dqdimacshqsUNSAT78.03
amba_decomposed_arbiter_system_8.dqdimacshqsSAT23.3
amba_decomposed_decode_environment_16.dqdimacshqsUNSAT0
full_arbiter_environment_4.dqdimacsdqbddUNSAT32.99
full_arbiter_unreal1_environment_1.dqdimacsiprover_hqspre_singleSAT6.08
full_arbiter_unreal3_environment_2.dqdimacsdqbddUNSAT9.51
genbuf2_system_4.dqdimacshqsUNSAT4.92
lilydemo04_environment_8.dqdimacsdqbddSAT7.37
lilydemo19_environment_4.dqdimacshqsUNSAT4.81
load_balancer_environment_8.dqdimacsdqbddSAT4.28
load_balancer_system_4.dqdimacsdqbddUNSAT1.07
load_balancer_unreal2_system_4.dqdimacsdqbddSAT1.38
ltl2dba13_environment_8.dqdimacshqsUNSAT104.77
ltl2dba_alpha_environment_8.dqdimacshqsUNSAT154.67
pec_adder_n_bit_1_19.dqdimacsdqbddSAT14.52
pec_adder_n_bit_1_35.dqdimacsdqbddUNSAT8.67
pec_adder_n_bit_2_10.dqdimacsdqbddUNSAT38.41
pec_adder_n_bit_3_1.dqdimacsdqbddUNSAT8.49
pec_adder_n_bit_3_38.dqdimacsdqbddUNSAT26.6
pec_adder_n_bit_4_11.dqdimacshqsUNSAT6.77
pec_adder_n_bit_4_4.dqdimacsdqbddUNSAT12.14
pec_adder_n_bit_5_90.dqdimacsdqbddUNSAT13.77
pec_adder_n_bit_7_26.dqdimacshqsUNSAT13.16
pec_look_ahead_arbiter_10_2.dqdimacshqsUNSAT24.35
pec_look_ahead_arbiter_1_0.dqdimacsdqbddSAT8.75
pec_look_ahead_arbiter_1_11.dqdimacshqsUNSAT6.18
pec_look_ahead_arbiter_1_14.dqdimacshqsUNSAT4.16
pec_look_ahead_arbiter_1_2.dqdimacshqsUNSAT2.59
pec_look_ahead_arbiter_1_35.dqdimacshqsUNSAT5.11
pec_look_ahead_arbiter_2_24.dqdimacshqsUNSAT4.06
pec_look_ahead_arbiter_2_4.dqdimacshqsUNSAT5.51
pec_look_ahead_arbiter_3_12.dqdimacshqsUNSAT3.58
pec_look_ahead_arbiter_3_15.dqdimacshqsUNSAT4.71
pec_look_ahead_arbiter_3_3.dqdimacshqsUNSAT3.65
pec_look_ahead_arbiter_5_1.dqdimacsdqbddUNSAT24.78
pec_look_ahead_arbiter_5_10.dqdimacshqsUNSAT7.21
pec_look_ahead_arbiter_5_12.dqdimacshqsUNSAT19.8
pec_look_ahead_arbiter_5_2.dqdimacshqsUNSAT21.99
pec_look_ahead_arbiter_5_3.dqdimacshqsUNSAT11.26
pec_look_ahead_arbiter_5_5.dqdimacshqsUNSAT4.79
pec_look_ahead_arbiter_6_12.dqdimacshqsUNSAT5.79
pec_look_ahead_arbiter_6_2.dqdimacsdqbddUNSAT10.87
pec_look_ahead_arbiter_6_40.dqdimacshqsUNSAT14.47
pec_look_ahead_arbiter_6_70.dqdimacshqsUNSAT5.8
pec_look_ahead_arbiter_6_93.dqdimacshqsUNSAT30.65
pec_look_ahead_arbiter_7_22.dqdimacshqsUNSAT7.29
pec_look_ahead_arbiter_7_9.dqdimacshqsUNSAT6.19
pec_look_ahead_arbiter_8_11.dqdimacshqsUNSAT12.37
pec_look_ahead_arbiter_8_4.dqdimacsdqbddUNSAT10.29
pec_look_ahead_arbiter_9_36.dqdimacshqsUNSAT32.39
pec_look_ahead_arbiter_9_8.dqdimacsdqbddUNSAT35.53
pec_multiplexer_10_41.dqdimacshqsUNSAT2.44
pec_multiplexer_1_11.dqdimacshqsUNSAT0.52
pec_multiplexer_1_2.dqdimacshqsUNSAT1.26
pec_multiplexer_1_26.dqdimacshqsUNSAT0.93
pec_multiplexer_1_4.dqdimacshqsUNSAT1.11
pec_multiplexer_1_8.dqdimacshqsUNSAT1.21
pec_multiplexer_2_2.dqdimacsdqbddUNSAT1.36
pec_multiplexer_3_2.dqdimacsdqbddSAT2.2
pec_multiplexer_3_30.dqdimacshqsUNSAT1.61
pec_multiplexer_3_6.dqdimacsdqbddUNSAT1.59
pec_multiplexer_4_50.dqdimacsdqbddUNSAT2.58
pec_multiplexer_5_11.dqdimacshqsUNSAT1.58
pec_multiplexer_5_12.dqdimacshqsUNSAT2.5
pec_multiplexer_5_17.dqdimacshqsUNSAT1.98
pec_multiplexer_5_2.dqdimacshqsUNSAT1.43
pec_multiplexer_6_51.dqdimacshqsUNSAT2.39
pec_multiplexer_6_84.dqdimacshqsUNSAT1.51
pec_multiplexer_8_59.dqdimacshqsUNSAT3.89
pec_multiplier_1_0.dqdimacsdqbddSAT16.98
pec_multiplier_1_10.dqdimacshqsUNSAT6.42
pec_multiplier_1_11.dqdimacsdqbddUNSAT7.51
pec_multiplier_1_20.dqdimacshqsUNSAT5.82
pec_multiplier_1_30.dqdimacsdqbddUNSAT5.9
pec_multiplier_1_9.dqdimacsdqbddUNSAT4.59
pec_multiplier_3_2.dqdimacsdqbddUNSAT11.19
pec_multiplier_3_3.dqdimacsdqbddUNSAT21.78
pec_multiplier_3_4.dqdimacshqsUNSAT20.48
pec_multiplier_4_14.dqdimacsdqbddUNSAT13.9
pec_multiplier_5_81.dqdimacsdqbddUNSAT19.3
pec_multiplier_5_91.dqdimacsdqbddUNSAT7.55
pec_multiplier_7_13.dqdimacsdqbddUNSAT10.61
pec_multiplier_7_87.dqdimacsdqbddUNSAT18.98
prioritized_arbiter_environment_4.dqdimacsdqbddUNSAT2.09
round_robin_arbiter_system_1.dqdimacshqsUNSAT0