Instances solved by dCaqe
QBFEVAL'18 - DQBF Solvers Track

InstanceResultTime
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacsUNSAT0.14
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0.25
ltl2dba_R_environment_1.dqdimacsUNSAT0.3
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0.35
comp.blif_0.30_1.00_1_1_henkin.dqdimacsUNSAT0.42
comp.blif_0.60_1.00_2_3_henkin.dqdimacsUNSAT0.46
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0.59
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0.63
ex1.dqdimacsSAT0.65
C499.blif_0.50_1.00_8_1_henkin.dqdimacsUNSAT0.75
full_arbiter_unreal1_system_1.dqdimacsUNSAT0.75
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacsUNSAT0.78
mvs2n.dqdimacsSAT0.8
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacsUNSAT0.89
unr.dqdimacsUNSAT0.91
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0.95
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacsUNSAT0.97
full_arbiter_unreal2_system_1.dqdimacsUNSAT1.09
sh_u.dqdimacsUNSAT1.12
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT1.33
mv2n.dqdimacsSAT1.34
loadcomp3_environment_1.dqdimacsSAT1.77
add2n.dqdimacsSAT2.03
lilydemo01_environment_8.dqdimacsSAT2.51
simple_arbiter_system_2.dqdimacsUNSAT2.56
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT3.71
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT4.94
generalized_buffer_unreal2_system_1.dqdimacsUNSAT5.33
lilydemo02_system_4.dqdimacsUNSAT5.92
mult6.dqdimacsSAT6.85
unrealizable.dqdimacsUNSAT7.92
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT8.17
round_robin_arbiter_environment_2.dqdimacsUNSAT9.08
mult4.dqdimacsSAT9.38
cnt3n.dqdimacsSAT9.64
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT10.59
ex2.dqdimacsSAT10.82
ltl2dba05_environment_2.dqdimacsUNSAT11.06
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT11.84
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT13.16
ltl2dba_U1_system_1.dqdimacsUNSAT13.74
cnt2unrealy.dqdimacsUNSAT13.75
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT15.51
ltl2dba_theta_environment_1.dqdimacsSAT16.27
mult2.dqdimacsSAT16.54
round_robin_arbiter_system_1.dqdimacsUNSAT16.59
C432.blif_0.50_1.00_8_3_henkin.dqdimacsUNSAT17.29
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT17.43
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT18.52
eq1.dqdimacsSAT18.52
ltl2dba_beta_environment_1.dqdimacsUNSAT18.76
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT18.76
amba_decomposed_tburst4_system_1.dqdimacsUNSAT18.79
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT19.06
loadcomp2_environment_4.dqdimacsSAT19.1
cnt2n.dqdimacsSAT19.67
full_arbiter_unreal1_environment_1.dqdimacsSAT20.56
amba_decomposed_lock_environment_2.dqdimacsUNSAT33.67
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT37.51
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT56.48
stay2n.dqdimacsSAT65.64
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT80.03
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT82.12
ltl2dba_U1_environment_4.dqdimacsUNSAT102.12
x1_40.shuffled.cnf.dqdimacsUNSAT103.5
detector_unreal_environment_16.dqdimacsSAT114.23
battleship-5-8-unsat.cnf.dqdimacsUNSAT127.63
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT152.58
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT155.06
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT158.83
load_balancer_unreal1_system_2.dqdimacsUNSAT203.91
load_balancer_environment_8.dqdimacsSAT212.28
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT250.66
sgen3-n160-s40283905-sat.cnf.dqdimacsSAT311.3
cnt4n.dqdimacsSAT311.47
battleship-6-9-unsat.cnf.dqdimacsUNSAT436.14
amba_case_study_system_1.dqdimacsUNSAT458.81
amba_case_study_unreal2_system_1.dqdimacsUNSAT489.34
add4n.dqdimacsSAT577.65
simple_arbiter_environment_2.dqdimacsUNSAT622.81
pec_multiplexer_1_2.dqdimacsFAIL900
pec_multiplexer_5_2.dqdimacsFAIL900
pec_multiplexer_5_5.dqdimacsFAIL900
pec_multiplier_1_0.dqdimacsFAIL900
pec_multiplier_1_10.dqdimacsFAIL900
pec_multiplier_1_11.dqdimacsFAIL900
pec_multiplier_1_30.dqdimacsFAIL900
pec_multiplier_3_2.dqdimacsFAIL900
term1.blif_0.60_1.00_5_1_henkin.dqdimacsFAIL900
term1.blif_0.60_1.00_3_1_henkin.dqdimacsFAIL900
pec_multiplexer_5_17.dqdimacsFAIL900
pec_multiplexer_5_12.dqdimacsFAIL900
pec_multiplexer_1_4.dqdimacsFAIL900
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsFAIL900
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsFAIL900
pec_multiplexer_1_8.dqdimacsFAIL900
pec_multiplexer_3_2.dqdimacsFAIL900
pec_multiplexer_3_30.dqdimacsFAIL900
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsFAIL900
pec_multiplexer_3_6.dqdimacsFAIL900
pec_multiplexer_5_11.dqdimacsFAIL900
pec_multiplexer_1_26.dqdimacsFAIL900
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900
prioritized_arbiter_environment_4.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.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.50_1.00_4_0_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900
comp.blif_0.50_1.00_9_2_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
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900
term1.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900
genbuf3_system_16.dqdimacsFAIL900
term1.blif_0.10_1.00_5_3_henkin.dqdimacsFAIL900
pec_multiplier_3_3.dqdimacsFAIL900
comp.blif_0.60_1.00_9_1_henkin.dqdimacsFAIL900
comp.blif_0.60_1.00_5_2_henkin.dqdimacsFAIL900
pec_multiplier_3_4.dqdimacsFAIL900
comp.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900
pec_multiplexer_1_11.dqdimacsFAIL900
ltl2dba_U1_system_16.dqdimacsFAIL900
pec_adder_n_bit_7_0.dqdimacsFAIL900
load_balancer_unreal2_system_4.dqdimacsFAIL900
pec_adder_n_bit_9_11.dqdimacsFAIL900
load_balancer_system_4.dqdimacsFAIL900
pec_adder_n_bit_9_12.dqdimacsFAIL900
lilydemo19_environment_4.dqdimacsFAIL900
lilydemo12_environment_8.dqdimacsFAIL900
lilydemo07_system_16.dqdimacsFAIL900
lilydemo04_environment_8.dqdimacsFAIL900
pec_adder_n_bit_9_13.dqdimacsFAIL900
pec_adder_n_bit_9_14.dqdimacsFAIL900
pec_adder_n_bit_5_18.dqdimacsFAIL900
loadfull2_environment_16.dqdimacsFAIL900
ltl2dba_R_environment_16.dqdimacsFAIL900
ltl2dba_E_environment_16.dqdimacsFAIL900
ltl2dba_C2_environment_16.dqdimacsFAIL900
pec_adder_n_bit_1_19.dqdimacsFAIL900
pec_adder_n_bit_1_3.dqdimacsFAIL900
pec_adder_n_bit_3_18.dqdimacsFAIL900
pec_adder_n_bit_3_1.dqdimacsFAIL900
ltl2dba_alpha_environment_8.dqdimacsFAIL900
ltl2dba13_environment_8.dqdimacsFAIL900
pec_adder_n_bit_5_11.dqdimacsFAIL900
ltl2dba01_environment_8.dqdimacsFAIL900
pec_adder_n_bit_9_17.dqdimacsFAIL900
pec_adder_n_bit_9_18.dqdimacsFAIL900
genbuf2_system_4.dqdimacsFAIL900
pec_look_ahead_arbiter_5_10.dqdimacsFAIL900
pec_look_ahead_arbiter_5_12.dqdimacsFAIL900
amba_decomposed_decode_environment_16.dqdimacsFAIL900
amba_decomposed_arbiter_system_8.dqdimacsFAIL900
amba_decomposed_arbiter_environment_4.dqdimacsFAIL900
amba_case_study_unreal1_system_4.dqdimacsFAIL900
pec_look_ahead_arbiter_5_1.dqdimacsFAIL900
pec_look_ahead_arbiter_5_2.dqdimacsFAIL900
pec_look_ahead_arbiter_5_3.dqdimacsFAIL900
pec_look_ahead_arbiter_7_22.dqdimacsFAIL900
pec_look_ahead_arbiter_7_2.dqdimacsFAIL900
amba_decomposed_tburst4_system_16.dqdimacsFAIL900
pec_look_ahead_arbiter_1_2.dqdimacsFAIL900
pec_adder_n_bit_9_1.dqdimacsFAIL900
pec_adder_n_bit_9_20.dqdimacsFAIL900
pec_adder_n_bit_9_22.dqdimacsFAIL900
full_arbiter_unreal3_environment_2.dqdimacsFAIL900
pec_adder_n_bit_9_2.dqdimacsFAIL900
pec_adder_n_bit_9_6.dqdimacsFAIL900
pec_look_ahead_arbiter_1_0.dqdimacsFAIL900
full_arbiter_environment_4.dqdimacsFAIL900
pec_look_ahead_arbiter_1_11.dqdimacsFAIL900
pec_look_ahead_arbiter_1_14.dqdimacsFAIL900
detector_environment_16.dqdimacsFAIL900
pec_look_ahead_arbiter_7_9.dqdimacsFAIL900
genbuf3c3y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
amba6f21y.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba5b4unrealn.dqdimacsFAIL900
amba4c7y.dqdimacsFAIL900
amba4c6unrealy.dqdimacsFAIL900
amba4b8unrealy.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
bs8y.dqdimacsFAIL900
cnt11y.dqdimacsFAIL900
genbuf3c2unrealn.dqdimacsFAIL900
genbuf3b3unrealy.dqdimacsFAIL900
genbuf2f3unrealy.dqdimacsFAIL900
genbuf2c3n.dqdimacsFAIL900
genbuf2b3unrealn.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
cnt9n.dqdimacsFAIL900
cnt7y.dqdimacsFAIL900
cnt6y.dqdimacsFAIL900
cnt6n.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
amba3f8unrealy.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba3b5n.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
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
battleship-11-21-sat.cnf.dqdimacsFAIL900
battleship-11-11-unsat.cnf.dqdimacsFAIL900
battleship-10-19-sat.cnf.dqdimacsFAIL900
battleship-10-17-sat.cnf.dqdimacsFAIL900
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL900
sgen3-n180-s34713902-sat.cnf.dqdimacsFAIL900
sgen3-n200-s39840374-sat.cnf.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba2f8unrealn.dqdimacsFAIL900
amba2c7n.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba2b8unrealn.dqdimacsFAIL900
amba10f37n.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
add6y.dqdimacsFAIL900
add6n.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
battleship-10-10-unsat.cnf.dqdimacsFAIL900
genbuf3f4n.dqdimacsFAIL900
comp.blif_0.10_1.00_9_3_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
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.50_1.00_8_2_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_0_0_henkin.dqdimacsFAIL900
C499.blif_0.10_1.00_3_2_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.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
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
mvs16y.dqdimacsFAIL900
mvs12n.dqdimacsFAIL900
mv8y.dqdimacsFAIL900
mv4n.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
mv14n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
mult9.dqdimacsFAIL900
mult11.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
ifm_amba15y.dqdimacsFAIL900
ifm_amba03y.dqdimacsFAIL900
ifm_amba03_fixed_o.dqdimacsFAIL900
genbuf5b4y.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
mvs8n.dqdimacsFAIL900
namba02_new_07nrc_o.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
stay24y.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
stay16n.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
ngenbuf03_03nrc_o.dqdimacsFAIL900
namba04_new_07nrc_o.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
genbuf5b4n.dqdimacsFAIL900