Instances solved by hqs
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0.04
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.05
sh_u.dqdimacsUNSAT0.08
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0.08
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT0.13
mv2n.dqdimacsSAT0.15
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT0.17
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0.18
ex1.dqdimacsSAT0.19
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0.2
add6n.dqdimacsSAT0.27
mv4n.dqdimacsSAT0.28
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT0.29
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0.29
mvs2n.dqdimacsSAT0.29
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0.32
cnt3n.dqdimacsSAT0.35
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0.39
ltl2dba_R_environment_1.dqdimacsUNSAT0.45
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT0.45
stay2n.dqdimacsSAT0.47
comp.blif_0.10_0.50_0_3_henkin.dqdimacsUNSAT0.48
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT0.49
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.49
unr.dqdimacsUNSAT0.54
cnt6n.dqdimacsSAT0.56
amba_decomposed_decode_environment_16.dqdimacsUNSAT0.61
stay4y.dqdimacsSAT0.62
cnt4n.dqdimacsSAT0.63
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.63
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0.64
simple_arbiter_system_2.dqdimacsUNSAT0.66
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.66
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT0.69
add6y.dqdimacsSAT0.7
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT0.73
add10y.dqdimacsSAT0.77
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT0.78
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.78
pec_multiplexer_1_26.dqdimacsUNSAT0.81
pec_multiplexer_5_11.dqdimacsUNSAT0.81
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0.84
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.84
add4n.dqdimacsSAT0.84
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT0.86
full_arbiter_unreal2_system_1.dqdimacsUNSAT0.88
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.88
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0.89
add2n.dqdimacsSAT0.9
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.9
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0.92
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0.93
pec_multiplexer_1_4.dqdimacsUNSAT0.96
full_arbiter_unreal1_system_1.dqdimacsUNSAT0.96
pec_multiplexer_3_30.dqdimacsUNSAT0.97
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0.98
loadcomp3_environment_1.dqdimacsSAT1
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT1.06
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT1.09
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT1.1
pec_multiplexer_1_8.dqdimacsUNSAT1.11
term1.blif_0.10_1.00_5_3_henkin.dqdimacsUNSAT1.12
ex2.dqdimacsSAT1.13
pec_multiplier_1_10.dqdimacsUNSAT1.13
ltl2dba_beta_environment_1.dqdimacsUNSAT1.18
cnt6y.dqdimacsSAT1.19
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT1.19
eq1.dqdimacsSAT1.2
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT1.21
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT1.21
cnt2unrealy.dqdimacsUNSAT1.21
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT1.22
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT1.22
ltl2dba_U1_system_1.dqdimacsUNSAT1.23
pec_multiplexer_3_6.dqdimacsUNSAT1.27
term1.blif_0.50_1.00_5_3_henkin.dqdimacsUNSAT1.33
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT1.41
cnt7y.dqdimacsSAT1.45
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT1.46
bs8y.dqdimacsSAT1.54
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT1.56
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT1.57
unrealizable.dqdimacsUNSAT1.59
pec_multiplexer_1_11.dqdimacsUNSAT1.63
ltl2dba05_environment_2.dqdimacsUNSAT1.64
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT1.64
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT1.66
cnt2n.dqdimacsSAT1.68
ltl2dba_theta_environment_1.dqdimacsSAT1.77
term1.blif_0.50_1.00_5_0_henkin.dqdimacsSAT1.78
round_robin_arbiter_environment_2.dqdimacsUNSAT1.81
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT1.91
comp.blif_0.20_1.00_4_0_henkin.dqdimacsSAT1.94
pec_multiplier_1_11.dqdimacsUNSAT2.04
comp.blif_0.20_1.00_9_3_henkin.dqdimacsSAT2.1
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT2.11
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT2.12
pec_multiplexer_1_2.dqdimacsUNSAT2.19
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT2.7
term1.blif_0.20_1.00_3_2_henkin.dqdimacsUNSAT2.96
amba_decomposed_lock_environment_2.dqdimacsUNSAT3.01
comp.blif_0.20_0.10_0_2_henkin.dqdimacsUNSAT3.37
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT3.58
loadcomp2_environment_4.dqdimacsSAT3.69
pec_multiplexer_3_2.dqdimacsSAT3.71
pec_look_ahead_arbiter_1_0.dqdimacsSAT3.78
comp.blif_0.60_1.00_5_2_henkin.dqdimacsUNSAT3.83
pec_multiplier_1_30.dqdimacsUNSAT3.84
pec_multiplier_3_4.dqdimacsUNSAT4.19
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT4.45
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT4.51
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT4.52
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT5.37
pec_multiplier_3_3.dqdimacsUNSAT5.52
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT5.84
pec_multiplexer_5_12.dqdimacsUNSAT5.85
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT6.08
pec_multiplier_3_2.dqdimacsUNSAT6.16
ltl2dba_U1_environment_4.dqdimacsUNSAT6.19
round_robin_arbiter_system_1.dqdimacsUNSAT6.34
comp.blif_0.20_0.10_1_1_henkin.dqdimacsUNSAT6.44
pec_multiplier_1_0.dqdimacsSAT6.5
cnt9n.dqdimacsSAT6.72
comp.blif_0.50_1.00_4_0_henkin.dqdimacsSAT7.25
pec_adder_n_bit_1_3.dqdimacsUNSAT7.6
comp.blif_0.50_1.00_9_2_henkin.dqdimacsSAT8.18
battleship-5-8-unsat.cnf.dqdimacsUNSAT8.19
battleship-6-9-unsat.cnf.dqdimacsUNSAT8.91
load_balancer_unreal1_system_2.dqdimacsUNSAT11.27
pec_adder_n_bit_5_11.dqdimacsUNSAT11.6
pec_adder_n_bit_5_18.dqdimacsUNSAT11.61
pec_multiplexer_5_2.dqdimacsUNSAT11.68
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT12.23
pec_multiplexer_5_17.dqdimacsUNSAT12.32
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT13.04
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT13.73
pec_adder_n_bit_3_18.dqdimacsUNSAT16.08
pec_adder_n_bit_3_1.dqdimacsUNSAT17.58
pec_adder_n_bit_1_19.dqdimacsSAT18.19
simple_arbiter_environment_2.dqdimacsUNSAT18.45
lilydemo02_system_4.dqdimacsUNSAT23.15
detector_unreal_environment_16.dqdimacsSAT23.74
lilydemo07_system_16.dqdimacsSAT25.57
mvs8n.dqdimacsSAT26
pec_multiplexer_5_5.dqdimacsSAT27.44
pec_look_ahead_arbiter_7_2.dqdimacsUNSAT38.55
ltl2dba_alpha_environment_8.dqdimacsUNSAT39.99
pec_adder_n_bit_9_22.dqdimacsUNSAT44.25
pec_adder_n_bit_9_17.dqdimacsUNSAT61.02
load_balancer_system_4.dqdimacsUNSAT72.19
prioritized_arbiter_environment_4.dqdimacsUNSAT81.09
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT86.65
battleship-10-10-unsat.cnf.dqdimacsUNSAT88.25
lilydemo19_environment_4.dqdimacsUNSAT89.6
comp.blif_0.60_1.00_9_1_henkin.dqdimacsSAT91.91
cnt11y.dqdimacsSAT100.58
pec_adder_n_bit_9_11.dqdimacsUNSAT111.97
battleship-10-17-sat.cnf.dqdimacsSAT120.11
battleship-10-19-sat.cnf.dqdimacsSAT127.06
crn_11_99_u.cnf.dqdimacsUNSAT132.56
crn_11_100_s.cnf.dqdimacsSAT145.52
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT169.81
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT218.92
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT231.05
load_balancer_environment_8.dqdimacsSAT256.04
ltl2dba_U1_system_16.dqdimacsSAT268.88
load_balancer_unreal2_system_4.dqdimacsSAT269.61
sgen3-n160-s40283905-sat.cnf.dqdimacsSAT312.6
ltl2dba13_environment_8.dqdimacsUNSAT327.73
comp.blif_0.50_1.00_5_1_henkin.dqdimacsUNSAT433.81
mv8y.dqdimacsSAT501.13
pec_adder_n_bit_9_20.dqdimacsUNSAT888.95
full_arbiter_unreal1_environment_1.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
pec_adder_n_bit_9_12.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
pec_adder_n_bit_9_13.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
genbuf2_system_4.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
generalized_buffer_unreal2_system_1.dqdimacsFAIL900
lilydemo01_environment_8.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
full_arbiter_unreal3_environment_2.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
lilydemo12_environment_8.dqdimacsFAIL900
pec_adder_n_bit_9_18.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
amba6f21y.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
ifm_amba15y.dqdimacsFAIL900
ifm_amba03y.dqdimacsFAIL900
ifm_amba03_fixed_o.dqdimacsFAIL900
genbuf5b4y.dqdimacsFAIL900
genbuf5b4n.dqdimacsFAIL900
genbuf3f4n.dqdimacsFAIL900
genbuf3c3y.dqdimacsFAIL900
genbuf3c2unrealn.dqdimacsFAIL900
genbuf3b3unrealy.dqdimacsFAIL900
genbuf2f3unrealy.dqdimacsFAIL900
genbuf2c3n.dqdimacsFAIL900
genbuf2b3unrealn.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba5b4unrealn.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
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL900
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.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
battleship-7-12-unsat.cnf.dqdimacsFAIL900
battleship-13-13-unsat.cnf.dqdimacsFAIL900
battleship-12-12-unsat.cnf.dqdimacsFAIL900
battleship-11-21-sat.cnf.dqdimacsFAIL900
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900
x1_40.shuffled.cnf.dqdimacsFAIL900
amba4c7y.dqdimacsFAIL900
amba4c6unrealy.dqdimacsFAIL900
amba4b8unrealy.dqdimacsFAIL900
amba3f8unrealy.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba3b5n.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba2f8unrealn.dqdimacsFAIL900
amba2c7n.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba2b8unrealn.dqdimacsFAIL900
amba10f37n.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
x1_80.shuffled.cnf.dqdimacsFAIL900
battleship-11-11-unsat.cnf.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_8_2_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_7_1_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_4_2_henkin.dqdimacsFAIL900
C432.blif_0.50_1.00_0_1_henkin.dqdimacsFAIL900
C432.blif_0.30_0.10_1_0_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_1_1_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_0_1_henkin.dqdimacsFAIL900
C432.blif_0.20_0.50_0_3_henkin.dqdimacsFAIL900
C432.blif_0.20_0.20_1_1_henkin.dqdimacsFAIL900
C432.blif_0.20_0.10_2_1_henkin.dqdimacsFAIL900
C432.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_3_3_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_3_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_9_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.20_2_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.10_2_0_henkin.dqdimacsFAIL900
comp.blif_0.20_0.50_0_0_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_2_1_henkin.dqdimacsFAIL900
comp.blif_0.20_0.20_0_0_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_8_2_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_3_3_henkin.dqdimacsFAIL900
C499.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_9_2_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_8_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_3_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_2_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_1_0_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_1_2_henkin.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
namba02_new_07nrc_o.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
mvs16y.dqdimacsFAIL900
mvs12n.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
mv14n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
mult9.dqdimacsFAIL900
mult6.dqdimacsFAIL900
mult4.dqdimacsFAIL900
mult2.dqdimacsFAIL900
mult11.dqdimacsFAIL900
namba04_new_07nrc_o.dqdimacsFAIL900
ngenbuf03_03nrc_o.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
C432.blif_0.10_1.00_0_2_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_2_3_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_1_3_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900
C432.blif_0.10_0.50_0_0_henkin.dqdimacsFAIL900
C432.blif_0.10_0.20_1_1_henkin.dqdimacsFAIL900
C432.blif_0.10_0.10_1_3_henkin.dqdimacsFAIL900
stay8y.dqdimacsFAIL900
stay24y.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
stay16n.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900