Instances solved by idq
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.09
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0.1
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.13
ex1.dqdimacsSAT0.15
unr.dqdimacsUNSAT0.17
ltl2dba_R_environment_1.dqdimacsUNSAT0.24
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0.27
sh_u.dqdimacsUNSAT0.45
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.65
mult2.dqdimacsSAT0.66
simple_arbiter_system_2.dqdimacsUNSAT0.68
ltl2dba_U1_system_1.dqdimacsUNSAT0.7
unrealizable.dqdimacsUNSAT0.71
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.72
ltl2dba_theta_environment_1.dqdimacsSAT0.75
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT0.82
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT0.87
battleship-5-8-unsat.cnf.dqdimacsUNSAT0.87
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.88
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT0.92
eq1.dqdimacsSAT0.92
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0.94
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.98
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT1.03
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT1.07
full_arbiter_unreal2_system_1.dqdimacsUNSAT1.09
full_arbiter_unreal1_system_1.dqdimacsUNSAT1.1
cnt2unrealy.dqdimacsUNSAT1.2
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT1.4
ltl2dba05_environment_2.dqdimacsUNSAT1.51
ltl2dba_beta_environment_1.dqdimacsUNSAT1.57
battleship-6-9-unsat.cnf.dqdimacsUNSAT1.72
loadcomp3_environment_1.dqdimacsSAT1.73
round_robin_arbiter_environment_2.dqdimacsUNSAT2.32
battleship-10-19-sat.cnf.dqdimacsSAT2.45
mvs2n.dqdimacsSAT2.54
amba_decomposed_lock_environment_2.dqdimacsUNSAT2.7
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT3
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT3.16
cnt2n.dqdimacsSAT3.68
lilydemo02_system_4.dqdimacsUNSAT3.88
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT5.09
round_robin_arbiter_system_1.dqdimacsUNSAT5.56
mv2n.dqdimacsSAT6.02
battleship-10-10-unsat.cnf.dqdimacsUNSAT6.91
C432.blif_0.50_1.00_8_2_henkin.dqdimacsUNSAT7.05
crn_11_99_u.cnf.dqdimacsUNSAT7.14
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT7.24
crn_11_100_s.cnf.dqdimacsSAT7.47
ltl2dba_U1_environment_4.dqdimacsUNSAT7.48
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT7.67
add2n.dqdimacsSAT7.89
simple_arbiter_environment_2.dqdimacsUNSAT8.67
loadcomp2_environment_4.dqdimacsSAT10.28
amba_decomposed_tburst4_system_1.dqdimacsUNSAT15.37
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT22.08
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT39.06
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT40.24
sgen3-n160-s40283905-sat.cnf.dqdimacsSAT68.83
battleship-10-17-sat.cnf.dqdimacsSAT69.94
mult4.dqdimacsSAT71.1
x1_40.shuffled.cnf.dqdimacsUNSAT82.96
lilydemo01_environment_8.dqdimacsSAT92.33
term1.blif_0.10_1.00_9_2_henkin.dqdimacsUNSAT95.98
load_balancer_unreal1_system_2.dqdimacsUNSAT103.12
generalized_buffer_unreal2_system_1.dqdimacsUNSAT113.12
cnt3n.dqdimacsSAT125.29
full_arbiter_unreal1_environment_1.dqdimacsSAT130.77
ex2.dqdimacsSAT154.35
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT177.32
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT196.22
prioritized_arbiter_environment_4.dqdimacsUNSAT342.66
battleship-11-21-sat.cnf.dqdimacsSAT403.97
lilydemo19_environment_4.dqdimacsUNSAT545.37
battleship-12-12-unsat.cnf.dqdimacsUNSAT578.49
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsFAIL900
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
pec_multiplexer_5_2.dqdimacsFAIL900
term1.blif_0.60_1.00_3_1_henkin.dqdimacsFAIL900
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_multiplexer_5_5.dqdimacsFAIL900
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsFAIL900
pec_multiplexer_5_11.dqdimacsFAIL900
pec_multiplexer_5_12.dqdimacsFAIL900
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsFAIL900
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsFAIL900
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsFAIL900
pec_multiplexer_5_17.dqdimacsFAIL900
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsFAIL900
amba_case_study_system_1.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
pec_multiplexer_3_6.dqdimacsFAIL900
amba_case_study_unreal2_system_1.dqdimacsFAIL900
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsFAIL900
pec_multiplier_1_10.dqdimacsFAIL900
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_5_2_henkin.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
comp.blif_0.50_1.00_9_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_0.20_2_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_2_1_henkin.dqdimacsFAIL900
comp.blif_0.30_0.50_0_0_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.60_1.00_9_1_henkin.dqdimacsFAIL900
term1.blif_0.10_1.00_5_3_henkin.dqdimacsFAIL900
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
term1.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
term1.blif_0.60_1.00_5_1_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_5_0_henkin.dqdimacsFAIL900
term1.blif_0.50_1.00_3_1_henkin.dqdimacsFAIL900
term1.blif_0.20_1.00_5_2_henkin.dqdimacsFAIL900
comp.blif_0.20_0.50_0_0_henkin.dqdimacsFAIL900
pec_adder_n_bit_9_20.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900
pec_adder_n_bit_1_3.dqdimacsFAIL900
pec_adder_n_bit_3_18.dqdimacsFAIL900
pec_adder_n_bit_3_1.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_9_22.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
pec_adder_n_bit_5_11.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
ltl2dba13_environment_8.dqdimacsFAIL900
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900
full_arbiter_unreal3_environment_2.dqdimacsFAIL900
pec_multiplexer_1_2.dqdimacsFAIL900
pec_multiplexer_1_4.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
detector_unreal_environment_16.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
genbuf2_system_4.dqdimacsFAIL900
pec_multiplexer_1_26.dqdimacsFAIL900
pec_multiplexer_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900
load_balancer_unreal2_system_4.dqdimacsFAIL900
load_balancer_system_4.dqdimacsFAIL900
load_balancer_environment_8.dqdimacsFAIL900
pec_look_ahead_arbiter_7_2.dqdimacsFAIL900
lilydemo12_environment_8.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
comp.blif_0.20_0.20_0_0_henkin.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
cnt6y.dqdimacsFAIL900
cnt6n.dqdimacsFAIL900
cnt4n.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
cnt11y.dqdimacsFAIL900
bs8y.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
amba6f21y.dqdimacsFAIL900
cnt7y.dqdimacsFAIL900
cnt9n.dqdimacsFAIL900
genbuf14c3n.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
genbuf1b3unrealn.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
add10y.dqdimacsFAIL900
x1_80.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
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
add4n.dqdimacsFAIL900
add6n.dqdimacsFAIL900
add6y.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
amba10c4unrealn.dqdimacsFAIL900
battleship-11-11-unsat.cnf.dqdimacsFAIL900
comp.blif_0.20_0.10_1_1_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_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.20_1.00_1_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_2_0_henkin.dqdimacsFAIL900
C499.blif_0.20_1.00_3_0_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_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
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.60_1.00_0_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
C432.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900
C432.blif_0.10_1.00_1_2_henkin.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
mv4n.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
mv14n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
mult9.dqdimacsFAIL900
mult6.dqdimacsFAIL900
mult11.dqdimacsFAIL900
ngenbuf03_03nrc_o.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
stay16n.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
stay4y.dqdimacsFAIL900
stay2n.dqdimacsFAIL900
stay24y.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900