Instances solved by dqbdd
DQBF Solvers Track

InstanceResultTime
stay4y.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129641106.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129626897.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129581167.dqdimacsSAT0
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129645006.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129698820.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0
DeQuBlRaGe_400_700_3545989440129699164.dqdimacsSAT0
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_0.50_0_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT0
comp.blif_0.20_1.00_4_0_henkin.dqdimacsSAT0
comp.blif_0.20_1.00_9_3_henkin.dqdimacsSAT0
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT0
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0
DeQuBlRaGe_400_700_3545989440129545215.dqdimacsSAT0
add8y.dqdimacsSAT0
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT0
comp.blif_0.20_1.00_5_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_0_henkin.dqdimacsSAT0
comp.blif_0.10_1.00_0_0_henkin.dqdimacsSAT0
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT0
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT0
stay4n.dqdimacsSAT0
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
DeQuBlRaGe_400_700_3545989440129490335.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129444764.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129428353.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129390151.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129361523.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129333271.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129288256.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129287368.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345079997.dqdimacsSAT0
sh_u_o.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0
mvs4n.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129788791.dqdimacsSAT0
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129704812.dqdimacsSAT0
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacsUNSAT0
bs8y.dqdimacsSAT0
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT0
DeQuBlRaGe_400_700_3545989440129712723.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129740410.dqdimacsSAT0
comp.blif_0.10_1.00_4_1_henkin.dqdimacsUNSAT0
add6n.dqdimacsSAT0
add4n.dqdimacsSAT0
add10y.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129766070.dqdimacsSAT0
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacsUNSAT0
C499.blif_0.10_1.00_7_1_henkin.dqdimacsUNSAT0
mv4n.dqdimacsSAT0
mult9.dqdimacsSAT0
mult6.dqdimacsSAT0
mult4.dqdimacsSAT0
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacsSAT0
mult2.dqdimacsSAT0
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacsUNSAT0
mult11.dqdimacsSAT0
ex2.dqdimacsSAT0
cnt6y.dqdimacsSAT0
cnt7y.dqdimacsSAT0
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacsUNSAT0
cnt6n.dqdimacsSAT0
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT0.51
comp.blif_0.10_0.20_2_0_henkin.dqdimacsSAT0.54
comp.blif_0.10_0.20_0_0_henkin.dqdimacsSAT0.58
comp.blif_0.50_1.00_9_1_henkin.dqdimacsUNSAT0.61
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT0.61
comp.blif_0.10_0.10_0_0_henkin.dqdimacsSAT0.63
comp.blif_0.50_1.00_4_0_henkin.dqdimacsSAT0.65
battleship-5-8-unsat.cnf.dqdimacsUNSAT0.7
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT0.76
comp.blif_0.10_0.20_1_0_henkin.dqdimacsSAT0.83
comp.blif_0.60_1.00_4_0_henkin.dqdimacsSAT0.84
comp.blif_0.20_0.50_2_3_henkin.dqdimacsUNSAT0.85
battleship-6-9-unsat.cnf.dqdimacsUNSAT0.91
term1.blif_0.60_1.00_9_0_henkin.dqdimacsSAT0.91
comp.blif_0.60_1.00_9_2_henkin.dqdimacsUNSAT0.91
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT0.91
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT0.91
term1.blif_0.60_1.00_3_0_henkin.dqdimacsSAT0.93
comp.blif_0.60_1.00_4_1_henkin.dqdimacsUNSAT0.93
term1.blif_0.20_1.00_3_2_henkin.dqdimacsUNSAT0.93
term1.blif_0.20_1.00_9_0_henkin.dqdimacsSAT0.94
term1.blif_0.50_1.00_3_0_henkin.dqdimacsSAT0.95
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT0.98
term1.blif_0.20_1.00_3_1_henkin.dqdimacsUNSAT1.03
load_balancer_system_4.dqdimacsUNSAT1.07
comp.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT1.13
comp.blif_0.50_1.00_5_1_henkin.dqdimacsUNSAT1.16
term1.blif_0.60_1.00_3_3_henkin.dqdimacsUNSAT1.21
comp.blif_0.60_1.00_5_0_henkin.dqdimacsSAT1.22
comp.blif_0.20_0.20_0_3_henkin.dqdimacsUNSAT1.36
pec_multiplexer_2_2.dqdimacsUNSAT1.36
load_balancer_unreal2_system_4.dqdimacsSAT1.38
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT1.46
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT1.47
pec_multiplexer_1_2.dqdimacsUNSAT1.51
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT1.51
pec_multiplexer_1_26.dqdimacsUNSAT1.51
pec_multiplexer_3_6.dqdimacsUNSAT1.59
pec_multiplexer_5_11.dqdimacsUNSAT1.94
add10n.dqdimacsSAT1.98
pec_multiplexer_5_2.dqdimacsUNSAT2.03
pec_multiplexer_6_84.dqdimacsUNSAT2.09
prioritized_arbiter_environment_4.dqdimacsUNSAT2.09
pec_multiplexer_3_2.dqdimacsSAT2.2
pec_multiplexer_1_8.dqdimacsUNSAT2.35
pec_multiplexer_4_50.dqdimacsUNSAT2.58
pec_multiplexer_10_41.dqdimacsUNSAT2.65
pec_multiplexer_1_11.dqdimacsUNSAT2.71
pec_multiplexer_1_4.dqdimacsUNSAT3.3
pec_multiplexer_5_17.dqdimacsUNSAT3.47
pec_multiplexer_5_12.dqdimacsUNSAT3.77
pec_multiplexer_6_51.dqdimacsUNSAT3.77
load_balancer_environment_8.dqdimacsSAT4.28
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT4.4
pec_multiplier_1_9.dqdimacsUNSAT4.59
DeQuBlRaGe_28_57_3551281699345079936.dqdimacsSAT4.81
genbuf2_system_4.dqdimacsUNSAT5.45
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT5.51
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT5.9
pec_multiplier_1_30.dqdimacsUNSAT5.9
lilydemo19_environment_4.dqdimacsUNSAT6.14
DeQuBlRaGe_28_57_3551281699345079872.dqdimacsSAT6.6
mvs8n.dqdimacsSAT6.84
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT6.89
DeQuBlRaGe_28_57_3551281699345079892.dqdimacsSAT7.05
mvs8y.dqdimacsSAT7.06
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT7.28
DeQuBlRaGe_28_57_3551281699345079939.dqdimacsSAT7.28
lilydemo04_environment_8.dqdimacsSAT7.37
crn_11_99_u.cnf.dqdimacsUNSAT7.41
pec_multiplier_1_20.dqdimacsUNSAT7.45
pec_multiplier_1_11.dqdimacsUNSAT7.51
pec_multiplier_5_91.dqdimacsUNSAT7.55
full_arbiter_unreal1_environment_1.dqdimacsSAT7.91
pec_adder_n_bit_3_1.dqdimacsUNSAT8.49
pec_adder_n_bit_1_35.dqdimacsUNSAT8.67
pec_look_ahead_arbiter_1_0.dqdimacsSAT8.75
pec_multiplier_1_10.dqdimacsUNSAT9.1
cnt9y.dqdimacsSAT9.49
pec_multiplexer_8_59.dqdimacsUNSAT9.5
cnt9n.dqdimacsSAT9.51
full_arbiter_unreal3_environment_2.dqdimacsUNSAT9.51
pec_look_ahead_arbiter_5_5.dqdimacsUNSAT9.74
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacsSAT9.78
pec_multiplexer_3_30.dqdimacsUNSAT9.94
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT10.18
pec_look_ahead_arbiter_8_4.dqdimacsUNSAT10.29
battleship-10-10-unsat.cnf.dqdimacsUNSAT10.3
DeQuBlRaGe_28_57_3551281699345079963.dqdimacsSAT10.45
battleship-10-19-sat.cnf.dqdimacsSAT10.48
pec_multiplier_7_13.dqdimacsUNSAT10.61
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT10.87
pec_multiplier_3_2.dqdimacsUNSAT11.19
stay6y.dqdimacsSAT11.47
DeQuBlRaGe_28_57_3551281699345079906.dqdimacsSAT11.51
DeQuBlRaGe_28_57_3551281699345079841.dqdimacsSAT12.03
pec_adder_n_bit_4_4.dqdimacsUNSAT12.14
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacsSAT12.82
DeQuBlRaGe_28_57_3551281699345079959.dqdimacsSAT12.95
pec_adder_n_bit_5_90.dqdimacsUNSAT13.77
pec_multiplier_4_14.dqdimacsUNSAT13.9
DeQuBlRaGe_28_57_3551281699345079868.dqdimacsSAT14.25
pec_adder_n_bit_1_19.dqdimacsSAT14.52
pec_look_ahead_arbiter_1_35.dqdimacsUNSAT14.65
DeQuBlRaGe_28_57_3551281699345079870.dqdimacsSAT14.95
stay6n.dqdimacsSAT15.2
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacsSAT16.08
DeQuBlRaGe_28_57_3551281699345080028.dqdimacsSAT16.42
term1.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT16.76
DeQuBlRaGe_28_57_3551281699345079954.dqdimacsSAT16.86
pec_multiplier_1_0.dqdimacsSAT16.98
DeQuBlRaGe_28_57_3551281699345079974.dqdimacsSAT16.99
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT17.43
DeQuBlRaGe_28_57_3551281699345079858.dqdimacsSAT18.12
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT18.21
pec_multiplier_7_87.dqdimacsUNSAT18.98
pec_multiplier_5_81.dqdimacsUNSAT19.3
C432.blif_0.10_1.00_2_0_henkin.dqdimacsSAT19.31
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT20.1
DeQuBlRaGe_28_57_3551281699345079926.dqdimacsSAT21.31
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacsSAT21.4
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT21.77
pec_multiplier_3_3.dqdimacsUNSAT21.78
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT22.09
pec_multiplier_3_4.dqdimacsUNSAT22.21
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT22.78
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacsSAT23.41
pec_adder_n_bit_7_26.dqdimacsUNSAT23.71
DeQuBlRaGe_28_57_3551281699345079867.dqdimacsSAT24.4
pec_look_ahead_arbiter_2_24.dqdimacsUNSAT24.7
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT24.78
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacsSAT25.05
term1.blif_0.10_1.00_5_1_henkin.dqdimacsUNSAT25.68
pec_adder_n_bit_3_38.dqdimacsUNSAT26.6
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT26.81
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT27.08
crn_11_100_s.cnf.dqdimacsSAT27.18
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT27.21
pec_adder_n_bit_4_11.dqdimacsUNSAT27.98
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacsSAT28.71
DeQuBlRaGe_28_57_3551281699345080002.dqdimacsSAT28.96
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT29.42
C432.blif_0.10_0.10_1_0_henkin.dqdimacsSAT29.92
pec_look_ahead_arbiter_6_70.dqdimacsUNSAT30.31
full_arbiter_environment_4.dqdimacsUNSAT32.99
pec_look_ahead_arbiter_9_8.dqdimacsUNSAT35.53
pec_adder_n_bit_2_10.dqdimacsUNSAT38.41
pec_look_ahead_arbiter_6_93.dqdimacsUNSAT39.16
pec_look_ahead_arbiter_10_2.dqdimacsUNSAT39.87
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacsSAT40.78
pec_look_ahead_arbiter_6_40.dqdimacsUNSAT42.37
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT43.67
term1.blif_0.20_1.00_5_3_henkin.dqdimacsUNSAT46.08
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT46.22
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT46.99
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacsSAT48.19
cnt10y.dqdimacsSAT54.71
cnt10n.dqdimacsSAT55.03
amba_case_study_system_1.dqdimacsUNSAT57.43
pec_look_ahead_arbiter_8_11.dqdimacsUNSAT61.96
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT62.87
DeQuBlRaGe_28_57_3551281699345079952.dqdimacsSAT64.94
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT70.36
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT85.49
mv9y.dqdimacsSAT113.26
amba_decomposed_arbiter_system_8.dqdimacsSAT115.63
amba_case_study_unreal2_system_1.dqdimacsUNSAT119.12
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT126.41
C499.blif_0.20_1.00_7_2_henkin.dqdimacsUNSAT179.91
C499.blif_0.10_1.00_7_2_henkin.dqdimacsUNSAT180.17
C499.blif_0.50_1.00_8_1_henkin.dqdimacsUNSAT188.73
DeQuBlRaGe_28_57_3551281699345079876.dqdimacsSAT194.98
pec_look_ahead_arbiter_9_36.dqdimacsUNSAT200.69
add16n.dqdimacsSAT228.21
mv20n.dqdimacsFAIL306.66
stay12y.dqdimacsFAIL319.97
add20n.dqdimacsFAIL329.59
mv20y.dqdimacsFAIL334.29
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL473.22
x1_80.shuffled.cnf.dqdimacsFAIL479.19
x1_40.shuffled.cnf.dqdimacsFAIL496.05
cnt11n.dqdimacsSAT574.86
cnt11y.dqdimacsSAT717.19
genbuf5f4unrealn.dqdimacsFAIL900
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacsFAIL900
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf.dqdimacsFAIL900
genbuf8b4y.dqdimacsFAIL900
C499.blif_0.20_1.00_3_3_henkin.dqdimacsFAIL900
genbuf9b4n.dqdimacsFAIL900
sgen3-n240-s78945233-sat.cnf.dqdimacsFAIL900
sgen3-n140-s18527668-sat.cnf.dqdimacsFAIL900
sgen3-n220-s24359701-sat.cnf.dqdimacsFAIL900
sgen3-n200-s39840374-sat.cnf.dqdimacsFAIL900
comp.blif_0.30_0.50_0_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_2_henkin.dqdimacsFAIL900
sgen3-n180-s34713902-sat.cnf.dqdimacsFAIL900
sgen3-n260-s62321009-sat.cnf.dqdimacsFAIL900
genbuf8c2unrealn.dqdimacsFAIL900
C499.blif_0.60_1.00_1_2_henkin.dqdimacsFAIL900
sgen3-n160-s40283905-sat.cnf.dqdimacsFAIL900
f600.shuffled.cnf.dqdimacsFAIL900
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900
genbuf15b4y.dqdimacsFAIL900
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900
genbuf14c2unrealn.dqdimacsFAIL900
battleship-13-13-unsat.cnf.dqdimacsFAIL900
battleship-12-12-unsat.cnf.dqdimacsFAIL900
battleship-11-21-sat.cnf.dqdimacsFAIL900
battleship-11-11-unsat.cnf.dqdimacsFAIL900
genbuf13f13y.dqdimacsFAIL900
genbuf13b4n.dqdimacsFAIL900
battleship-10-17-sat.cnf.dqdimacsFAIL900
genbuf15f14unrealy.dqdimacsFAIL900
genbuf12f12n.dqdimacsFAIL900
pec_adder_n_bit_10_32.dqdimacsFAIL900
genbuf14b3unrealn.dqdimacsFAIL900
genbuf8b3unrealn.dqdimacsFAIL900
genbuf7f7y.dqdimacsFAIL900
ifm_amba15n.dqdimacsFAIL900
genbuf7c2unrealn.dqdimacsFAIL900
genbuf6b4y.dqdimacsFAIL900
genbuf5f4unrealy.dqdimacsFAIL900
genbuf16c3y.dqdimacsFAIL900
genbuf16c2unrealn.dqdimacsFAIL900
battleship-7-12-unsat.cnf.dqdimacsFAIL900
genbuf12f12y.dqdimacsFAIL900
genbuf14c3y.dqdimacsFAIL900
amba8c7y.dqdimacsFAIL900
amba8f56unrealy.dqdimacsFAIL900
amba8f57n.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
amba9b5y.dqdimacsFAIL900
amba9c5n.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
ltl2dba13_environment_8.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
amba8c6unrealn.dqdimacsFAIL900
amba7b4unrealy.dqdimacsFAIL900
amba6c5n.dqdimacsFAIL900
amba6b5n.dqdimacsFAIL900
amba10b4unrealy.dqdimacsFAIL900
amba2f8unrealy.dqdimacsFAIL900
amba3b4unrealy.dqdimacsFAIL900
amba3c5n.dqdimacsFAIL900
amba4b9n.dqdimacsFAIL900
amba4c7n.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
amba5b4unrealy.dqdimacsFAIL900
bs128y.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900
mv11n.dqdimacsFAIL900
genbuf9f8unrealy.dqdimacsFAIL900
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacsFAIL900
genbuf9c3n.dqdimacsFAIL900
C432.blif_0.20_0.50_1_3_henkin.dqdimacsFAIL900
C432.blif_0.40_0.10_0_0_henkin.dqdimacsFAIL900
C432.blif_0.40_0.20_1_2_henkin.dqdimacsFAIL900
C432.blif_0.50_0.50_1_3_henkin.dqdimacsFAIL900
genbuf12b4y.dqdimacsFAIL900
genbuf11f11y.dqdimacsFAIL900
genbuf11f11n.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
bs64n.dqdimacsFAIL900
genbuf11b3unrealn.dqdimacsFAIL900
genbuf11c2unrealn.dqdimacsFAIL900
C499.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_4_2_henkin.dqdimacsFAIL900
genbuf11c2unrealy.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
genbuf9c2unrealy.dqdimacsFAIL900