Instances solved by iprover_hqspre
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.16
unrealizable.dqdimacsUNSAT0.18
mv2n.dqdimacsSAT0.21
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0.25
eq1.dqdimacsSAT0.27
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.28
mult9.dqdimacsSAT0.28
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.29
loadcomp2_environment_4.dqdimacsSAT0.3
ltl2dba_beta_environment_1.dqdimacsUNSAT0.3
full_arbiter_unreal1_system_1.dqdimacsUNSAT0.41
mult6.dqdimacsSAT0.43
lilydemo02_system_4.dqdimacsUNSAT0.45
cnt2n.dqdimacsSAT0.45
ltl2dba_theta_environment_1.dqdimacsSAT0.48
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.48
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.51
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT0.53
lilydemo01_environment_8.dqdimacsSAT0.54
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0.55
stay4y.dqdimacsSAT0.56
stay2n.dqdimacsSAT0.56
add2n.dqdimacsSAT0.64
round_robin_arbiter_system_1.dqdimacsUNSAT0.67
detector_unreal_environment_16.dqdimacsSAT0.68
cnt3n.dqdimacsSAT0.72
ex2.dqdimacsSAT0.72
mvs2n.dqdimacsSAT0.74
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0.75
ltl2dba05_environment_2.dqdimacsUNSAT0.81
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0.82
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.83
ltl2dba_U1_system_1.dqdimacsUNSAT0.83
loadcomp3_environment_1.dqdimacsSAT0.84
mult4.dqdimacsSAT0.84
cnt2unrealy.dqdimacsUNSAT0.89
sh_u.dqdimacsUNSAT0.9
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.92
simple_arbiter_system_2.dqdimacsUNSAT0.94
full_arbiter_unreal2_system_1.dqdimacsUNSAT0.95
cnt4n.dqdimacsSAT0.95
unr.dqdimacsUNSAT0.95
ltl2dba_R_environment_1.dqdimacsUNSAT0.99
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT1.02
ltl2dba_U1_environment_4.dqdimacsUNSAT1.02
mult2.dqdimacsSAT1.03
round_robin_arbiter_environment_2.dqdimacsUNSAT1.04
ex1.dqdimacsSAT1.04
add4n.dqdimacsSAT1.06
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT1.09
mult11.dqdimacsSAT1.09
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT1.1
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT1.14
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT1.33
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT1.35
cnt7y.dqdimacsSAT1.41
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT1.48
amba_decomposed_tburst4_system_1.dqdimacsUNSAT1.5
load_balancer_unreal1_system_2.dqdimacsUNSAT1.65
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT1.72
amba_decomposed_lock_environment_2.dqdimacsUNSAT1.76
generalized_buffer_unreal2_system_1.dqdimacsUNSAT2.09
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT2.49
simple_arbiter_environment_2.dqdimacsUNSAT2.57
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT3.25
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT3.3
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT3.55
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT3.64
load_balancer_unreal2_system_4.dqdimacsSAT3.7
mv4n.dqdimacsSAT4.09
full_arbiter_unreal1_environment_1.dqdimacsSAT5.18
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT5.3
load_balancer_environment_8.dqdimacsSAT5.32
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT5.48
load_balancer_system_4.dqdimacsUNSAT5.58
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT6.12
cnt6y.dqdimacsSAT6.14
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT6.23
cnt6n.dqdimacsSAT7.68
lilydemo12_environment_8.dqdimacsUNSAT7.75
prioritized_arbiter_environment_4.dqdimacsUNSAT9.19
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT9.99
battleship-10-10-unsat.cnf.dqdimacsUNSAT11.42
lilydemo19_environment_4.dqdimacsUNSAT12.2
battleship-5-8-unsat.cnf.dqdimacsUNSAT14.18
battleship-10-19-sat.cnf.dqdimacsSAT15.55
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT16.24
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT20.35
genbuf2_system_4.dqdimacsUNSAT23.63
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT38.67
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT41.86
add6y.dqdimacsSAT42.76
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT54.8
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT55.33
lilydemo04_environment_8.dqdimacsSAT62.14
full_arbiter_unreal3_environment_2.dqdimacsUNSAT68
full_arbiter_environment_4.dqdimacsUNSAT68.04
bs8y.dqdimacsSAT71.98
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT76.97
add6n.dqdimacsSAT77.25
battleship-10-17-sat.cnf.dqdimacsSAT79.67
bs16y.dqdimacsSAT80.97
bs16n.dqdimacsSAT81.66
term1.blif_0.60_1.00_5_1_henkin.dqdimacsUNSAT85.34
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT93.24
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT104.1
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT111.51
battleship-11-21-sat.cnf.dqdimacsSAT115.44
sgen3-n160-s40283905-sat.cnf.dqdimacsSAT130.81
battleship-6-9-unsat.cnf.dqdimacsUNSAT215.63
ltl2dba_U1_system_16.dqdimacsSAT321.95
cnt9n.dqdimacsSAT335.7
lilydemo07_system_16.dqdimacsSAT413.46
ltl2dba_alpha_environment_8.dqdimacsUNSAT462.34
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT491
ltl2dba13_environment_8.dqdimacsUNSAT657.46
amba_decomposed_arbiter_system_8.dqdimacsSAT748.29
cnt11y.dqdimacsSAT799.02
amba_case_study_unreal2_system_1.dqdimacsFAIL900
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsFAIL900
term1.blif_0.10_1.00_5_3_henkin.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
comp.blif_0.30_0.50_2_1_henkin.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
comp.blif_0.50_1.00_9_2_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_5_2_henkin.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
comp.blif_0.50_1.00_4_0_henkin.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplexer_1_4.dqdimacsFAIL900
pec_multiplexer_1_2.dqdimacsFAIL900
pec_multiplexer_1_26.dqdimacsFAIL900
pec_multiplexer_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
pec_look_ahead_arbiter_7_2.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_multiplexer_3_2.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
pec_multiplier_1_10.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_multiplexer_5_2.dqdimacsFAIL900
pec_multiplexer_5_17.dqdimacsFAIL900
pec_multiplexer_5_12.dqdimacsFAIL900
pec_multiplexer_5_11.dqdimacsFAIL900
pec_multiplexer_3_6.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
pec_adder_n_bit_5_18.dqdimacsFAIL900
pec_adder_n_bit_5_11.dqdimacsFAIL900
pec_adder_n_bit_3_1.dqdimacsFAIL900
pec_adder_n_bit_3_18.dqdimacsFAIL900
pec_adder_n_bit_1_3.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
pec_multiplexer_5_5.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
pec_adder_n_bit_9_11.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
pec_adder_n_bit_9_22.dqdimacsFAIL900
pec_adder_n_bit_9_20.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
pec_adder_n_bit_9_18.dqdimacsFAIL900
pec_adder_n_bit_9_17.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
pec_adder_n_bit_9_13.dqdimacsFAIL900
pec_adder_n_bit_9_12.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
amba6f21y.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba5b4unrealn.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900
ifm_genbuf16n.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
amba4c7y.dqdimacsFAIL900
amba4c6unrealy.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
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.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-13-13-unsat.cnf.dqdimacsFAIL900
battleship-12-12-unsat.cnf.dqdimacsFAIL900
sgen3-n260-s62321009-sat.cnf.dqdimacsFAIL900
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900
amba4b8unrealy.dqdimacsFAIL900
amba3f8unrealy.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba3b5n.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba2f8unrealn.dqdimacsFAIL900
amba2c7n.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba2b8unrealn.dqdimacsFAIL900
amba10f37n.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
add10y.dqdimacsFAIL900
x1_80.shuffled.cnf.dqdimacsFAIL900
x1_40.shuffled.cnf.dqdimacsFAIL900
urquhart3_25bis.shuffled.cnf.dqdimacsFAIL900
battleship-11-11-unsat.cnf.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_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
C499.blif_0.10_1.00_9_1_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_3_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_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
C499.blif_0.60_1.00_3_3_henkin.dqdimacsFAIL900
C499.blif_0.60_1.00_8_2_henkin.dqdimacsFAIL900
C499.blif_0.60_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_1.00_9_3_henkin.dqdimacsFAIL900
comp.blif_0.20_1.00_4_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
comp.blif_0.20_0.10_1_1_henkin.dqdimacsFAIL900
comp.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_9_3_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_0_1_henkin.dqdimacsFAIL900
comp.blif_0.10_0.50_1_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.20_1_3_henkin.dqdimacsFAIL900
comp.blif_0.10_0.10_0_3_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_1_1_henkin.dqdimacsFAIL900
C432.blif_0.20_1.00_0_1_henkin.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
stay16n.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
ngenbuf03_03nrc_o.dqdimacsFAIL900
namba04_new_07nrc_o.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
namba02_new_07nrc_o.dqdimacsFAIL900
mvs8n.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
mvs16y.dqdimacsFAIL900
mvs12n.dqdimacsFAIL900
mv8y.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
stay24y.dqdimacsFAIL900
stay8y.dqdimacsFAIL900
C432.blif_0.10_0.10_1_3_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
C432.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_1_2_henkin.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
mv14n.dqdimacsFAIL900