Instances solved by iprover_dqbf18
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
eq1.dqdimacsSAT0.13
unrealizable.dqdimacsUNSAT0.15
mult2.dqdimacsSAT0.17
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.2
sh_u.dqdimacsUNSAT0.29
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.32
cnt2unrealy.dqdimacsUNSAT0.46
mult4.dqdimacsSAT0.48
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0.5
unr.dqdimacsUNSAT0.57
add2n.dqdimacsSAT0.61
ltl2dba_R_environment_1.dqdimacsUNSAT0.61
ltl2dba_U1_system_1.dqdimacsUNSAT0.63
mvs2n.dqdimacsSAT0.85
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.86
mv2n.dqdimacsSAT0.87
cnt3n.dqdimacsSAT0.9
simple_arbiter_system_2.dqdimacsUNSAT0.92
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0.95
ex2.dqdimacsSAT0.97
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT1.01
ex1.dqdimacsSAT1.06
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT1.1
ltl2dba_theta_environment_1.dqdimacsSAT1.13
cnt2n.dqdimacsSAT1.18
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT1.32
mult6.dqdimacsSAT1.33
lilydemo01_environment_8.dqdimacsSAT1.36
battleship-5-8-unsat.cnf.dqdimacsUNSAT1.45
lilydemo02_system_4.dqdimacsUNSAT1.52
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT1.53
ltl2dba05_environment_2.dqdimacsUNSAT1.61
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT1.97
add4n.dqdimacsSAT2.05
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT2.12
ltl2dba_U1_environment_4.dqdimacsUNSAT2.15
mult9.dqdimacsSAT2.2
cnt4n.dqdimacsSAT2.24
full_arbiter_unreal1_system_1.dqdimacsUNSAT2.33
mult11.dqdimacsSAT2.34
full_arbiter_unreal2_system_1.dqdimacsUNSAT2.49
loadcomp2_environment_4.dqdimacsSAT2.5
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT2.6
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT2.87
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT3.09
detector_unreal_environment_16.dqdimacsSAT3.11
round_robin_arbiter_environment_2.dqdimacsUNSAT3.13
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT3.27
loadcomp3_environment_1.dqdimacsSAT3.42
stay2n.dqdimacsSAT3.54
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT3.83
battleship-6-9-unsat.cnf.dqdimacsUNSAT3.89
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT5.48
pec_multiplier_1_10.dqdimacsUNSAT5.58
ltl2dba_beta_environment_1.dqdimacsUNSAT5.65
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT6.07
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT6.22
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT6.28
amba_decomposed_tburst4_system_1.dqdimacsUNSAT6.93
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT7.68
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT11.22
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT11.34
amba_decomposed_lock_environment_2.dqdimacsUNSAT12.78
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT15.78
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT20.56
battleship-10-10-unsat.cnf.dqdimacsUNSAT21.6
prioritized_arbiter_environment_4.dqdimacsUNSAT22.24
generalized_buffer_unreal2_system_1.dqdimacsUNSAT30.59
battleship-10-19-sat.cnf.dqdimacsSAT30.93
battleship-10-17-sat.cnf.dqdimacsSAT33.73
add6y.dqdimacsSAT33.96
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT35.51
lilydemo19_environment_4.dqdimacsUNSAT37.44
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT38.44
add6n.dqdimacsSAT41.93
simple_arbiter_environment_2.dqdimacsUNSAT44.53
sgen3-n160-s40283905-sat.cnf.dqdimacsSAT47.36
crn_11_99_u.cnf.dqdimacsUNSAT48.91
crn_11_100_s.cnf.dqdimacsSAT49.34
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT53.28
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT55.05
lilydemo12_environment_8.dqdimacsUNSAT66.22
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT72.49
cnt6n.dqdimacsSAT73.48
cnt6y.dqdimacsSAT73.91
bs8y.dqdimacsSAT78.29
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT79.65
load_balancer_environment_8.dqdimacsSAT79.78
mv4n.dqdimacsSAT80.83
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT81.03
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT83.6
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT95.77
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT97.18
battleship-11-21-sat.cnf.dqdimacsSAT157.29
x1_40.shuffled.cnf.dqdimacsUNSAT172.82
term1.blif_0.20_1.00_5_2_henkin.dqdimacsUNSAT173.66
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT177.05
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT211.18
genbuf2_system_4.dqdimacsUNSAT243.66
round_robin_arbiter_system_1.dqdimacsUNSAT285.34
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT496
load_balancer_unreal1_system_2.dqdimacsUNSAT538.12
load_balancer_system_4.dqdimacsUNSAT539.23
lilydemo04_environment_8.dqdimacsSAT608.65
load_balancer_unreal2_system_4.dqdimacsSAT890.17
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_0_henkin.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsFAIL900
term1.blif_0.60_1.00_5_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_henkin.dqdimacsFAIL900
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
comp.blif_0.50_1.00_9_2_henkin.dqdimacsFAIL900
amba_decomposed_decode_environment_16.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.60_1.00_5_2_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_2_1_henkin.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
comp.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
term1.blif_0.10_1.00_5_3_henkin.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
genbuf3_system_16.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_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
pec_multiplexer_1_4.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_multiplexer_5_5.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_multiplexer_3_30.dqdimacsFAIL900
pec_multiplexer_3_2.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_1_3.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
ltl2dba13_environment_8.dqdimacsFAIL900
full_arbiter_unreal3_environment_2.dqdimacsFAIL900
pec_adder_n_bit_3_18.dqdimacsFAIL900
pec_adder_n_bit_3_1.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
pec_adder_n_bit_9_11.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
pec_adder_n_bit_5_18.dqdimacsFAIL900
pec_adder_n_bit_5_11.dqdimacsFAIL900
full_arbiter_unreal1_environment_1.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
cnt9n.dqdimacsFAIL900
cnt7y.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
cnt11y.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
mv10n.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
amba6f21y.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
amba6b5y.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
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
x1_80.shuffled.cnf.dqdimacsFAIL900
add10y.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba5b4unrealn.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
battleship-11-11-unsat.cnf.dqdimacsFAIL900
comp.blif_0.30_0.20_2_2_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.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_4_2_henkin.dqdimacsFAIL900
comp.blif_0.10_1.00_2_3_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
C432.blif_0.20_0.50_0_3_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
stay4y.dqdimacsFAIL900
stay8y.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
C432.blif_0.10_0.10_1_3_henkin.dqdimacsFAIL900
mv14n.dqdimacsFAIL900