Instances solved by iprover_hqspre_schedule
DQBF Solvers Track

InstanceResultTime
DeQuBlRaGe_400_700_3545989440129428353.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345079997.dqdimacsSAT0
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0
mvs4n.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345080002.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0.05
z4ml.blif_0.30_1.00_1_3_henkin.dqdimacsUNSAT0.05
sh_u_o.dqdimacsUNSAT0.06
mult4.dqdimacsSAT0.06
ex2.dqdimacsSAT0.06
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.07
mult2.dqdimacsSAT0.07
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0.07
DeQuBlRaGe_400_700_3545989440129444764.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129704812.dqdimacsSAT0.08
mult6.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129740410.dqdimacsSAT0.08
DeQuBlRaGe_28_57_3551281699345079939.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129626897.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129645006.dqdimacsSAT0.08
mult11.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129390151.dqdimacsSAT0.08
DeQuBlRaGe_28_57_3551281699345079867.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129287368.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129699164.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129490335.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129545215.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129712723.dqdimacsSAT0.1
mult9.dqdimacsSAT0.1
DeQuBlRaGe_400_700_3545989440129788791.dqdimacsSAT0.1
z4ml.blif_0.20_1.00_0_3_henkin.dqdimacsUNSAT0.11
DeQuBlRaGe_28_57_3551281699345079974.dqdimacsSAT0.11
DeQuBlRaGe_400_700_3545989440129766070.dqdimacsSAT0.11
DeQuBlRaGe_28_57_3551281699345079906.dqdimacsSAT0.11
DeQuBlRaGe_28_57_3551281699345080028.dqdimacsSAT0.12
DeQuBlRaGe_400_700_3545989440129698820.dqdimacsSAT0.12
DeQuBlRaGe_400_700_3545989440129361523.dqdimacsSAT0.14
DeQuBlRaGe_400_700_3545989440129581167.dqdimacsSAT0.16
DeQuBlRaGe_400_700_3545989440129288256.dqdimacsSAT0.16
DeQuBlRaGe_28_57_3551281699345079926.dqdimacsSAT0.17
DeQuBlRaGe_28_57_3551281699345079858.dqdimacsSAT0.19
C499.blif_0.10_1.00_7_1_henkin.dqdimacsUNSAT0.21
DeQuBlRaGe_28_57_3551281699345079954.dqdimacsSAT0.29
round_robin_arbiter_system_1.dqdimacsUNSAT0.39
add4n.dqdimacsSAT0.43
DeQuBlRaGe_28_57_3551281699345079963.dqdimacsSAT0.44
DeQuBlRaGe_28_57_3551281699345079872.dqdimacsSAT0.99
DeQuBlRaGe_28_57_3551281699345079892.dqdimacsSAT1
DeQuBlRaGe_28_57_3551281699345079952.dqdimacsSAT1.11
bs8y.dqdimacsSAT1.34
cnt6n.dqdimacsSAT1.39
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT1.43
cnt6y.dqdimacsSAT1.47
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT1.5
DeQuBlRaGe_28_57_3551281699345079876.dqdimacsSAT1.58
DeQuBlRaGe_28_57_3551281699345079959.dqdimacsSAT1.6
DeQuBlRaGe_28_57_3551281699345079868.dqdimacsSAT1.62
z4ml.blif_0.30_0.50_1_0_henkin.dqdimacsSAT1.66
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT1.68
mv4n.dqdimacsSAT1.75
DeQuBlRaGe_28_57_3551281699345079936.dqdimacsSAT1.76
DeQuBlRaGe_28_57_3551281699345079841.dqdimacsSAT2.33
cnt7y.dqdimacsSAT2.54
DeQuBlRaGe_28_57_3551281699345079870.dqdimacsSAT3.11
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT3.64
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT3.68
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT3.71
pec_multiplexer_1_26.dqdimacsUNSAT4.26
term1.blif_0.20_1.00_3_1_henkin.dqdimacsUNSAT4.51
pec_multiplexer_1_4.dqdimacsUNSAT4.86
stay4y.dqdimacsSAT5.07
stay4n.dqdimacsSAT5.12
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT5.46
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT5.84
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT5.87
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT5.88
full_arbiter_unreal1_environment_1.dqdimacsSAT6.15
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT7.31
load_balancer_environment_8.dqdimacsSAT7.47
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacsSAT8.4
term1.blif_0.60_1.00_3_3_henkin.dqdimacsUNSAT8.68
DeQuBlRaGe_400_700_3545989440129641106.dqdimacsSAT8.77
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT9.38
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT9.52
pec_multiplexer_2_2.dqdimacsUNSAT9.55
DeQuBlRaGe_400_700_3545989440129333271.dqdimacsSAT9.7
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacsSAT9.96
z4ml.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT11.14
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT11.94
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsSAT14.1
pec_multiplexer_6_84.dqdimacsUNSAT14.51
pec_multiplexer_1_8.dqdimacsUNSAT14.79
prioritized_arbiter_environment_4.dqdimacsUNSAT17.5
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT20.54
pec_multiplexer_1_2.dqdimacsUNSAT23.49
pec_multiplier_1_9.dqdimacsUNSAT28.98
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT30.86
pec_multiplier_1_10.dqdimacsUNSAT31.45
pec_multiplexer_3_30.dqdimacsUNSAT31.9
lilydemo19_environment_4.dqdimacsUNSAT34.05
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacsSAT35.56
pec_multiplier_1_20.dqdimacsUNSAT36.17
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacsSAT36.49
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT36.53
pec_multiplexer_1_11.dqdimacsUNSAT40.83
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT42.31
add6n.dqdimacsSAT42.55
load_balancer_system_4.dqdimacsUNSAT46.3
pec_multiplexer_4_50.dqdimacsUNSAT48.64
add8y.dqdimacsSAT54.37
pec_multiplexer_5_11.dqdimacsUNSAT56.1
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT63.69
term1.blif_0.20_1.00_5_3_henkin.dqdimacsUNSAT63.69
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT63.79
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacsSAT68.5
load_balancer_unreal2_system_4.dqdimacsSAT73.22
genbuf2_system_4.dqdimacsUNSAT76.91
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT80.3
term1.blif_0.10_1.00_5_1_henkin.dqdimacsUNSAT80.5
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacsSAT80.79
full_arbiter_unreal3_environment_2.dqdimacsUNSAT81.25
battleship-5-8-unsat.cnf.dqdimacsUNSAT81.71
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT86.58
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT89.94
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacsSAT98.6
pec_multiplexer_5_2.dqdimacsUNSAT101.05
term1.blif_0.10_1.00_5_2_henkin.dqdimacsUNSAT104.49
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT104.76
pec_multiplier_4_14.dqdimacsUNSAT108.51
pec_multiplexer_5_12.dqdimacsUNSAT110.36
battleship-11-11-unsat.cnf.dqdimacsUNSAT128.3
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacsSAT129.25
battleship-10-19-sat.cnf.dqdimacsSAT135.33
pec_multiplier_1_30.dqdimacsUNSAT140.49
pec_multiplier_3_3.dqdimacsUNSAT152.08
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacsSAT153.9
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT157.86
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacsSAT159.76
cnt9y.dqdimacsSAT181.78
bs16y.dqdimacsSAT182.5
bs16n.dqdimacsSAT184.58
cnt9n.dqdimacsSAT217.03
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT254.61
pec_multiplexer_3_6.dqdimacsUNSAT274.57
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT300.83
pec_look_ahead_arbiter_9_8.dqdimacsUNSAT300.92
ltl2dba13_environment_8.dqdimacsUNSAT309.39
pec_look_ahead_arbiter_2_24.dqdimacsUNSAT312.92
pec_multiplier_3_2.dqdimacsUNSAT325.98
term1.blif_0.20_1.00_9_0_henkin.dqdimacsSAT336.61
term1.blif_0.60_1.00_9_0_henkin.dqdimacsSAT336.81
pec_multiplier_3_4.dqdimacsUNSAT349.53
amba_case_study_system_1.dqdimacsFAIL350.04
amba_case_study_unreal2_system_1.dqdimacsFAIL350.64
pec_multiplier_1_11.dqdimacsUNSAT367.75
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT394.67
cnt10y.dqdimacsSAT414.18
pec_multiplexer_5_17.dqdimacsUNSAT439.99
cnt11y.dqdimacsSAT468.35
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT484.83
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT485.04
mvs8n.dqdimacsSAT493.16
mvs8y.dqdimacsSAT502.74
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT511.86
cnt10n.dqdimacsSAT529.07
pec_look_ahead_arbiter_6_70.dqdimacsUNSAT541.86
ltl2dba_alpha_environment_8.dqdimacsUNSAT552.99
stay6y.dqdimacsSAT588.45
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT707.76
comp.blif_0.20_0.50_2_3_henkin.dqdimacsUNSAT716.68
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT729.78
stay6n.dqdimacsSAT877.94
genbuf8c2unrealn.dqdimacsFAIL895.52
genbuf12f12n.dqdimacsFAIL897.59
pec_look_ahead_arbiter_6_12.dqdimacsFAIL900
pec_multiplier_7_13.dqdimacsFAIL900
pec_look_ahead_arbiter_6_40.dqdimacsFAIL900
pec_look_ahead_arbiter_6_93.dqdimacsFAIL900
pec_look_ahead_arbiter_6_2.dqdimacsFAIL900
pec_multiplier_7_87.dqdimacsFAIL900
pec_look_ahead_arbiter_8_4.dqdimacsFAIL900
pec_look_ahead_arbiter_5_5.dqdimacsFAIL900
pec_multiplier_5_91.dqdimacsFAIL900
term1.blif_0.50_1.00_3_0_henkin.dqdimacsFAIL900
pec_look_ahead_arbiter_2_4.dqdimacsFAIL900
pec_look_ahead_arbiter_3_12.dqdimacsFAIL900
pec_multiplexer_10_41.dqdimacsFAIL900
pec_multiplexer_6_51.dqdimacsFAIL900
pec_look_ahead_arbiter_9_36.dqdimacsFAIL900
pec_look_ahead_arbiter_8_11.dqdimacsFAIL900
pec_multiplexer_8_59.dqdimacsFAIL900
pec_look_ahead_arbiter_3_3.dqdimacsFAIL900
pec_multiplier_5_81.dqdimacsFAIL900
pec_adder_n_bit_4_11.dqdimacsFAIL900
pec_look_ahead_arbiter_1_35.dqdimacsFAIL900
comp.blif_0.30_0.50_0_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_1_henkin.dqdimacsFAIL900
C432.blif_0.10_0.10_1_0_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_4_1_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_2_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_1_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_1_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_7_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_3_3_henkin.dqdimacsFAIL900
C432.blif_0.50_0.50_1_3_henkin.dqdimacsFAIL900
C432.blif_0.40_0.20_1_2_henkin.dqdimacsFAIL900
C432.blif_0.40_0.10_0_0_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_4_1_henkin.dqdimacsFAIL900
term1.blif_0.60_1.00_3_0_henkin.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_0_henkin.dqdimacsFAIL900
amba6b5n.dqdimacsFAIL900
pec_look_ahead_arbiter_10_2.dqdimacsFAIL900
genbuf14c3y.dqdimacsFAIL900
pec_adder_n_bit_5_90.dqdimacsFAIL900
pec_adder_n_bit_4_4.dqdimacsFAIL900
pec_adder_n_bit_3_38.dqdimacsFAIL900
pec_adder_n_bit_2_10.dqdimacsFAIL900
pec_adder_n_bit_1_35.dqdimacsFAIL900
pec_adder_n_bit_10_32.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_3_henkin.dqdimacsFAIL900
pec_adder_n_bit_7_26.dqdimacsFAIL900
z4ml.blif_0.50_0.10_2_2_henkin.dqdimacsFAIL900
C432.blif_0.20_0.50_1_3_henkin.dqdimacsFAIL900
amba10b4unrealy.dqdimacsFAIL900
pec_adder_n_bit_3_1.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
battleship-10-10-unsat.cnf.dqdimacsFAIL900
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_4_0_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_9_3_henkin.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
add20n.dqdimacsFAIL900
add16n.dqdimacsFAIL900
add10n.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
comp.blif_0.20_1.00_4_0_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_2_3_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_0_1_henkin.dqdimacsFAIL900
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL900
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacsFAIL900
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsFAIL900
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsFAIL900
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf.dqdimacsFAIL900
f600.shuffled.cnf.dqdimacsFAIL900
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf.dqdimacsFAIL900
crn_11_99_u.cnf.dqdimacsFAIL900
crn_11_100_s.cnf.dqdimacsFAIL900
battleship-7-12-unsat.cnf.dqdimacsFAIL900
battleship-6-9-unsat.cnf.dqdimacsFAIL900
battleship-13-13-unsat.cnf.dqdimacsFAIL900
battleship-12-12-unsat.cnf.dqdimacsFAIL900
battleship-11-21-sat.cnf.dqdimacsFAIL900
sgen3-n140-s18527668-sat.cnf.dqdimacsFAIL900
sgen3-n160-s40283905-sat.cnf.dqdimacsFAIL900
comp.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.10_0_3_henkin.dqdimacsFAIL900
C499.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900
add10y.dqdimacsFAIL900
x1_80.shuffled.cnf.dqdimacsFAIL900
x1_40.shuffled.cnf.dqdimacsFAIL900
urquhart3_25bis.shuffled.cnf.dqdimacsFAIL900
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900
sgen3-n260-s62321009-sat.cnf.dqdimacsFAIL900
sgen3-n240-s78945233-sat.cnf.dqdimacsFAIL900
sgen3-n220-s24359701-sat.cnf.dqdimacsFAIL900
sgen3-n200-s39840374-sat.cnf.dqdimacsFAIL900
sgen3-n180-s34713902-sat.cnf.dqdimacsFAIL900
battleship-10-17-sat.cnf.dqdimacsFAIL900
amba2f8unrealy.dqdimacsFAIL900
comp.blif_0.60_1.00_9_2_henkin.dqdimacsFAIL900
mv20y.dqdimacsFAIL900
mv20n.dqdimacsFAIL900
mv11n.dqdimacsFAIL900
ifm_amba15n.dqdimacsFAIL900
genbuf9f8unrealy.dqdimacsFAIL900
genbuf9c3n.dqdimacsFAIL900
genbuf9c2unrealy.dqdimacsFAIL900
genbuf9b4n.dqdimacsFAIL900
genbuf8b4y.dqdimacsFAIL900
genbuf8b3unrealn.dqdimacsFAIL900
genbuf7f7y.dqdimacsFAIL900
genbuf7c2unrealn.dqdimacsFAIL900
genbuf6b4y.dqdimacsFAIL900
genbuf5f4unrealy.dqdimacsFAIL900
mv9y.dqdimacsFAIL900
stay12y.dqdimacsFAIL900
comp.blif_0.60_1.00_5_0_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_4_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_9_1_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_5_1_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_0_3_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_0_0_henkin.dqdimacsFAIL900
comp.blif_0.10_0.10_0_0_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_4_2_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL900
genbuf5f4unrealn.dqdimacsFAIL900
genbuf16c3y.dqdimacsFAIL900
genbuf16c2unrealn.dqdimacsFAIL900
bs64n.dqdimacsFAIL900
bs128y.dqdimacsFAIL900
amba9c5n.dqdimacsFAIL900
amba9b5y.dqdimacsFAIL900
amba8f57n.dqdimacsFAIL900
amba8f56unrealy.dqdimacsFAIL900
amba8c7y.dqdimacsFAIL900
amba8c6unrealn.dqdimacsFAIL900
amba7b4unrealy.dqdimacsFAIL900
amba6c5n.dqdimacsFAIL900
amba5b4unrealy.dqdimacsFAIL900
amba4c7n.dqdimacsFAIL900
amba4b9n.dqdimacsFAIL900
amba3c5n.dqdimacsFAIL900
cnt11n.dqdimacsFAIL900
genbuf11b3unrealn.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
genbuf15f14unrealy.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900
genbuf15b4y.dqdimacsFAIL900
genbuf14c2unrealn.dqdimacsFAIL900
genbuf14b3unrealn.dqdimacsFAIL900
genbuf13f13y.dqdimacsFAIL900
genbuf13b4n.dqdimacsFAIL900
genbuf12f12y.dqdimacsFAIL900
genbuf12b4y.dqdimacsFAIL900
genbuf11f11y.dqdimacsFAIL900
genbuf11f11n.dqdimacsFAIL900
genbuf11c2unrealy.dqdimacsFAIL900
genbuf11c2unrealn.dqdimacsFAIL900
amba3b4unrealy.dqdimacsFAIL900