Instances solved by dCaqe
QBFEVAL'19 - DQBF Solvers Track

InstanceResultTime
ex2.dqdimacsSAT0
C499.blif_0.50_1.00_8_1_henkin.dqdimacsUNSAT0
C499.blif_0.60_1.00_0_3_henkin.dqdimacsUNSAT0
simple_arbiter_system_2.dqdimacsUNSAT0
round_robin_arbiter_system_1.dqdimacsUNSAT0
round_robin_arbiter_environment_2.dqdimacsUNSAT0
comp.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
comp.blif_0.10_1.00_2_3_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_9_2_henkin.dqdimacsSAT0
pec_look_ahead_arbiter_5_3.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT0
add2y.dqdimacsSAT0
C499.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
mult11.dqdimacsSAT0
mult2.dqdimacsSAT0
mult4.dqdimacsSAT0
mult6.dqdimacsSAT0
mult9.dqdimacsSAT0
stay2n.dqdimacsSAT0
stay4y.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
C432.blif_0.10_1.00_7_3_henkin.dqdimacsUNSAT0
C432.blif_0.20_1.00_2_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacsUNSAT0
amba_decomposed_tburst4_system_1.dqdimacsUNSAT0
pec_look_ahead_arbiter_1_14.dqdimacsUNSAT0
full_arbiter_unreal1_system_1.dqdimacsUNSAT0
ltl2dba_U1_system_1.dqdimacsUNSAT0
lilydemo01_environment_8.dqdimacsSAT0
lilydemo02_system_4.dqdimacsUNSAT0
ltl2dba_U1_environment_4.dqdimacsUNSAT0
ltl2dba_theta_environment_1.dqdimacsSAT0
ltl2dba_beta_environment_1.dqdimacsUNSAT0
ltl2dba05_environment_2.dqdimacsUNSAT0
amba_decomposed_lock_environment_2.dqdimacsUNSAT0
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacsSAT0
loadcomp3_environment_1.dqdimacsSAT0
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacsSAT0
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacsSAT0
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacsUNSAT0
pec_look_ahead_arbiter_5_12.dqdimacsUNSAT0
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacsUNSAT0
loadcomp2_environment_4.dqdimacsSAT0
cnt9n.dqdimacsSAT0
cnt2n.dqdimacsSAT0
mvs2y.dqdimacsSAT0
mvs4n.dqdimacsSAT0
comp.blif_0.50_1.00_9_1_henkin.dqdimacsUNSAT0
comp.blif_0.50_1.00_2_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0
C432.blif_0.30_1.00_2_1_henkin.dqdimacsUNSAT0
C499.blif_0.20_1.00_1_1_henkin.dqdimacsUNSAT0
pec_look_ahead_arbiter_6_2.dqdimacsUNSAT0
C499.blif_0.10_1.00_0_1_henkin.dqdimacsUNSAT0
pec_full_adder_2_4.dqdimacsUNSAT0
z4ml.blif_0.20_1.00_7_1_henkin.dqdimacsUNSAT0
C432.blif_0.50_1.00_3_3_henkin.dqdimacsUNSAT0
comp.blif_0.60_1.00_9_2_henkin.dqdimacsUNSAT0
term1.blif_0.20_1.00_9_0_henkin.dqdimacsSAT0
stay4n.dqdimacsSAT0
cnt6y.dqdimacsSAT0
cnt6n.dqdimacsSAT0
cnt4n.dqdimacsSAT0
cnt3n.dqdimacsSAT0
cnt2unrealy.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_0_3_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_0.10_1_2_henkin.dqdimacsUNSAT0
z4ml.blif_0.10_1.00_1_3_henkin.dqdimacsUNSAT0
detector_unreal_environment_16.dqdimacsSAT0
cnt11n.dqdimacsSAT0
cnt3y.dqdimacsSAT0
pec_full_adder_2_1.dqdimacsSAT0
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacsUNSAT0.01
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacsUNSAT0.01
add4n.dqdimacsSAT0.01
mv4n.dqdimacsSAT0.01
add4y.dqdimacsSAT0.01
cnt7y.dqdimacsSAT0.02
comp.blif_0.60_1.00_4_0_henkin.dqdimacsSAT0.02
comp.blif_0.50_1.00_4_0_henkin.dqdimacsSAT0.02
comp.blif_0.30_0.50_2_1_henkin.dqdimacsUNSAT0.03
comp.blif_0.20_1.00_4_0_henkin.dqdimacsSAT0.03
comp.blif_0.20_1.00_9_3_henkin.dqdimacsSAT0.03
comp.blif_0.10_1.00_2_1_henkin.dqdimacsUNSAT0.04
comp.blif_0.10_1.00_0_0_henkin.dqdimacsSAT0.04
comp.blif_0.10_1.00_2_0_henkin.dqdimacsSAT0.04
bs8y.dqdimacsSAT0.05
cnt11y.dqdimacsSAT0.05
stay6n.dqdimacsSAT0.06
pec_multiplexer_5_11.dqdimacsUNSAT0.06
pec_look_ahead_arbiter_5_1.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_6_12.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_5_2.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_5_10.dqdimacsUNSAT0.09
pec_look_ahead_arbiter_7_9.dqdimacsUNSAT0.1
pec_look_ahead_arbiter_8_4.dqdimacsUNSAT0.1
pec_look_ahead_arbiter_7_2.dqdimacsUNSAT0.11
pec_look_ahead_arbiter_7_5.dqdimacsUNSAT0.11
simple_arbiter_environment_2.dqdimacsUNSAT0.11
pec_look_ahead_arbiter_7_22.dqdimacsUNSAT0.12
term1.blif_0.60_1.00_9_1_henkin.dqdimacsUNSAT0.15
term1.blif_0.60_1.00_9_0_henkin.dqdimacsSAT0.16
pec_multiplier_1_11.dqdimacsUNSAT0.17
term1.blif_0.50_1.00_9_2_henkin.dqdimacsUNSAT0.17
pec_multiplier_1_30.dqdimacsUNSAT0.17
pec_multiplier_1_9.dqdimacsUNSAT0.18
pec_multiplexer_1_8.dqdimacsUNSAT0.21
pec_look_ahead_arbiter_1_2.dqdimacsUNSAT0.24
pec_multiplexer_1_26.dqdimacsUNSAT0.26
load_balancer_unreal1_system_2.dqdimacsUNSAT0.29
pec_look_ahead_arbiter_1_11.dqdimacsUNSAT0.3
mvs24n.dqdimacsSAT0.35
generalized_buffer_unreal2_system_1.dqdimacsUNSAT0.43
pec_multiplexer_1_4.dqdimacsUNSAT0.58
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacsSAT0.6
pec_multiplexer_2_2.dqdimacsUNSAT0.61
pec_look_ahead_arbiter_1_0.dqdimacsSAT0.64
C432.blif_0.40_1.00_1_2_henkin.dqdimacsUNSAT0.65
pec_multiplier_1_10.dqdimacsUNSAT0.67
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacsUNSAT0.73
battleship-5-8-unsat.cnf.dqdimacsUNSAT0.92
pec_adder_n_bit_4_11.dqdimacsUNSAT0.97
pec_adder_n_bit_1_3.dqdimacsUNSAT0.97
pec_look_ahead_arbiter_3_15.dqdimacsUNSAT1.02
pec_multiplexer_1_2.dqdimacsUNSAT1.06
amba3c5n.dqdimacsSAT1.43
pec_look_ahead_arbiter_2_4.dqdimacsUNSAT1.58
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacsUNSAT1.68
pec_multiplier_1_20.dqdimacsUNSAT1.79
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacsSAT2.22
prioritized_arbiter_environment_4.dqdimacsUNSAT2.29
pec_multiplexer_3_30.dqdimacsUNSAT2.5
full_arbiter_unreal1_environment_1.dqdimacsSAT2.89
load_balancer_system_4.dqdimacsUNSAT3.3
comp.blif_0.10_0.10_0_3_henkin.dqdimacsUNSAT4.3
pec_multiplexer_1_11.dqdimacsUNSAT4.31
pec_look_ahead_arbiter_3_3.dqdimacsUNSAT4.46
battleship-10-19-sat.cnf.dqdimacsSAT4.6
battleship-6-9-unsat.cnf.dqdimacsUNSAT4.98
pec_multiplier_3_2.dqdimacsUNSAT5.1
urquhart3_25bis.shuffled.cnf.dqdimacsUNSAT6.08
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacsUNSAT7.01
pec_multiplier_3_4.dqdimacsUNSAT7.01
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacsUNSAT7.76
lilydemo19_environment_4.dqdimacsUNSAT8.82
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacsSAT9.3
pec_multiplier_3_3.dqdimacsUNSAT10.91
pec_adder_n_bit_5_18.dqdimacsUNSAT10.96
crn_11_100_s.cnf.dqdimacsSAT11.36
comp.blif_0.10_1.00_9_3_henkin.dqdimacsUNSAT11.47
pec_adder_n_bit_3_1.dqdimacsUNSAT11.47
crn_11_99_u.cnf.dqdimacsUNSAT11.56
battleship-10-17-sat.cnf.dqdimacsSAT12.17
comp.blif_0.10_0.20_2_1_henkin.dqdimacsUNSAT13.19
pec_look_ahead_arbiter_3_12.dqdimacsUNSAT14.46
comp.blif_0.10_0.50_1_3_henkin.dqdimacsUNSAT14.68
comp.blif_0.10_0.20_1_3_henkin.dqdimacsUNSAT14.75
genbuf2_system_4.dqdimacsUNSAT15.45
load_balancer_environment_8.dqdimacsSAT15.97
lilydemo12_environment_8.dqdimacsUNSAT16.49
battleship-10-10-unsat.cnf.dqdimacsUNSAT22.07
sgen3-n120-s12930489-sat.cnf.dqdimacsSAT23.78
pec_multiplexer_3_6.dqdimacsUNSAT27.42
battleship-11-21-sat.cnf.dqdimacsSAT29.09
term1.blif_0.60_1.00_3_1_henkin.dqdimacsUNSAT29.44
term1.blif_0.50_1.00_3_1_henkin.dqdimacsUNSAT29.47
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacsSAT29.7
pec_adder_n_bit_9_20.dqdimacsUNSAT31.92
full_arbiter_unreal3_environment_2.dqdimacsUNSAT35.58
comp.blif_0.10_0.10_0_2_henkin.dqdimacsUNSAT37.33
comp.blif_0.10_1.00_4_2_henkin.dqdimacsUNSAT56.66
pec_adder_n_bit_3_18.dqdimacsUNSAT58.08
full_arbiter_environment_4.dqdimacsUNSAT60.49
pec_adder_n_bit_5_11.dqdimacsUNSAT67.27
sgen3-n180-s34713902-sat.cnf.dqdimacsSAT69.97
amba6c5n.dqdimacsSAT81.5
pec_adder_n_bit_4_5.dqdimacsUNSAT86.77
x1_40.shuffled.cnf.dqdimacsUNSAT90.05
add6y.dqdimacsSAT141.09
z4ml.blif_0.10_0.20_2_0_henkin.dqdimacsSAT143.33
battleship-12-12-unsat.cnf.dqdimacsUNSAT160.78
comp.blif_0.20_0.20_2_2_henkin.dqdimacsUNSAT165.07
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacsUNSAT181.28
C432.blif_0.10_1.00_2_0_henkin.dqdimacsSAT233.91
ltl2dba_alpha_environment_8.dqdimacsUNSAT234.28
battleship-11-11-unsat.cnf.dqdimacsUNSAT300.7
add6n.dqdimacsSAT407.64
comp.blif_0.20_1.00_5_1_henkin.dqdimacsUNSAT736.03
battleship-7-12-unsat.cnf.dqdimacsUNSAT841.05
sgen3-n140-s18527668-sat.cnf.dqdimacsSAT898.6
amba8f56unrealy.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900.01
genbuf10b4y.dqdimacsFAIL900.01
mv9y.dqdimacsFAIL900.01
genbuf11f11y.dqdimacsFAIL900.01
genbuf7c2unrealn.dqdimacsFAIL900.01
genbuf8b4y.dqdimacsFAIL900.01
C432.blif_0.20_1.00_0_0_henkin.dqdimacsFAIL900.01
sgen3-n300-s12830984-sat.cnf.dqdimacsFAIL900.01
sgen3-n280-s93756482-sat.cnf.dqdimacsFAIL900.01
amba9c5n.dqdimacsFAIL900.01
add20n.dqdimacsFAIL900.01
comp.blif_0.50_1.00_5_1_henkin.dqdimacsFAIL900.01
term1.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900.01
pec_multiplexer_3_7.dqdimacsFAIL900.01
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf.dqdimacsFAIL900.01
genbuf16c3y.dqdimacsFAIL900.02
pec_adder_n_bit_8_1.dqdimacsFAIL900.02
genbuf16c2unrealn.dqdimacsFAIL900.02
pec_adder_n_bit_8_7.dqdimacsFAIL900.02
genbuf9c2unrealy.dqdimacsFAIL900.02
mv11n.dqdimacsFAIL900.02
term1.blif_0.10_1.00_5_1_henkin.dqdimacsFAIL900.02
comp.blif_0.60_1.00_5_0_henkin.dqdimacsFAIL900.02
x1_80.shuffled.cnf.dqdimacsFAIL900.02
comp.blif_0.10_0.20_0_0_henkin.dqdimacsFAIL900.02
C499.blif_0.10_1.00_4_2_henkin.dqdimacsFAIL900.02
C432.blif_0.50_1.00_6_3_henkin.dqdimacsFAIL900.02
C432.blif_0.50_1.00_8_1_henkin.dqdimacsFAIL900.02
amba5b4unrealy.dqdimacsFAIL900.02
add10n.dqdimacsFAIL900.02
amba4c7n.dqdimacsFAIL900.02
amba_case_study_unreal2_system_1.dqdimacsFAIL900.02
genbuf11c2unrealy.dqdimacsFAIL900.02
comp.blif_0.10_0.50_0_3_henkin.dqdimacsFAIL900.02
pec_adder_n_bit_9_22.dqdimacsFAIL900.02
genbuf10c3n.dqdimacsFAIL900.02
add16n.dqdimacsFAIL900.02
pec_multiplexer_5_12.dqdimacsFAIL900.02
term1.blif_0.20_1.00_3_2_henkin.dqdimacsFAIL900.02
add8y.dqdimacsFAIL900.02
genbuf14c2unrealn.dqdimacsFAIL900.02
pec_adder_n_bit_1_19.dqdimacsFAIL900.02
amba8c6unrealn.dqdimacsFAIL900.03
mv20n.dqdimacsFAIL900.03
term1.blif_0.60_1.00_5_1_henkin.dqdimacsFAIL900.03
term1.blif_0.20_1.00_3_1_henkin.dqdimacsFAIL900.03
amba3b4unrealy.dqdimacsFAIL900.03
sgen3-n240-s78945233-sat.cnf.dqdimacsFAIL900.03
genbuf8c2unrealn.dqdimacsFAIL900.03
C432.blif_0.10_1.00_0_2_henkin.dqdimacsFAIL900.03
genbuf2b4n.dqdimacsFAIL900.03
genbuf3f4y.dqdimacsFAIL900.03
amba2f8unrealy.dqdimacsFAIL900.03
term1.blif_0.20_1.00_5_2_henkin.dqdimacsFAIL900.03
genbuf5f4unrealy.dqdimacsFAIL900.03
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacsFAIL900.03
genbuf9f8unrealy.dqdimacsFAIL900.03
sgen3-n200-s39840374-sat.cnf.dqdimacsFAIL900.03
amba10b4unrealy.dqdimacsFAIL900.04
sgen3-n220-s24359701-sat.cnf.dqdimacsFAIL900.04
amba4b9n.dqdimacsFAIL900.04
sgen3-n260-s62321009-sat.cnf.dqdimacsFAIL900.04
C499.blif_0.20_1.00_2_0_henkin.dqdimacsFAIL900.04
C499.blif_0.10_1.00_3_0_henkin.dqdimacsFAIL900.04
comp.blif_0.10_0.10_0_0_henkin.dqdimacsFAIL900.04
C432.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900.04
genbuf4c3n.dqdimacsFAIL900.04
genbuf8b3unrealn.dqdimacsFAIL900.04
ifm_amba15n.dqdimacsFAIL900.04
genbuf12b4y.dqdimacsFAIL900.04
genbuf11f11n.dqdimacsFAIL900.04
add10y.dqdimacsFAIL900.04
genbuf11c2unrealn.dqdimacsFAIL900.04
stay12y.dqdimacsFAIL900.04
term1.blif_0.50_1.00_5_0_henkin.dqdimacsFAIL900.04
genbuf11b3unrealn.dqdimacsFAIL900.04
C432.blif_0.20_1.00_7_1_henkin.dqdimacsFAIL900.05
C499.blif_0.10_1.00_9_2_henkin.dqdimacsFAIL900.05
bs16y.dqdimacsFAIL900.05
sgen3-n160-s40283905-sat.cnf.dqdimacsFAIL900.05
pec_adder_n_bit_9_11.dqdimacsFAIL900.05
genbuf1b4n.dqdimacsFAIL900.05
ltl2dba13_environment_8.dqdimacsFAIL900.05
genbuf15f14unrealy.dqdimacsFAIL900.05
genbuf9b4n.dqdimacsFAIL900.05
genbuf12f12y.dqdimacsFAIL900.05
pec_multiplier_1_0.dqdimacsFAIL900.05
bs128y.dqdimacsFAIL900.05
bs64n.dqdimacsFAIL900.05
C432.blif_0.10_0.10_2_0_henkin.dqdimacsFAIL900.05
genbuf12f12n.dqdimacsFAIL900.05
pec_adder_n_bit_9_6.dqdimacsFAIL900.06
amba_case_study_system_1.dqdimacsFAIL900.06
pec_multiplexer_5_17.dqdimacsFAIL900.06
battleship-13-13-unsat.cnf.dqdimacsFAIL900.06
term1.blif_0.50_1.00_5_3_henkin.dqdimacsFAIL900.06
C432.blif_0.20_1.00_8_2_henkin.dqdimacsFAIL900.06
C432.blif_0.20_0.50_2_0_henkin.dqdimacsFAIL900.06
bs16n.dqdimacsFAIL900.06
stay18n.dqdimacsFAIL900.06
genbuf9c3n.dqdimacsFAIL900.06
genbuf13b4n.dqdimacsFAIL900.06
mv20y.dqdimacsFAIL900.06
amba7b4unrealy.dqdimacsFAIL900.06
genbuf7f7y.dqdimacsFAIL900.07
genbuf6b4y.dqdimacsFAIL900.07
genbuf3_system_16.dqdimacsFAIL900.07
genbuf15b4y.dqdimacsFAIL900.07
comp.blif_0.10_1.00_5_2_henkin.dqdimacsFAIL900.07
comp.blif_0.20_0.20_0_3_henkin.dqdimacsFAIL900.07
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf.dqdimacsFAIL900.07
comp.blif_0.10_0.10_1_3_henkin.dqdimacsFAIL900.07
f600.shuffled.cnf.dqdimacsFAIL900.07
amba8c7y.dqdimacsFAIL900.07
amba9b5y.dqdimacsFAIL900.07
pec_adder_n_bit_9_17.dqdimacsFAIL900.08
genbuf1f3unrealn.dqdimacsFAIL900.08
genbuf14b3unrealn.dqdimacsFAIL900.08
C499.blif_0.10_1.00_7_2_henkin.dqdimacsFAIL900.08
term1.blif_0.50_1.00_3_0_henkin.dqdimacsFAIL900.08
pec_multiplexer_3_2.dqdimacsFAIL900.08
genbuf13f13y.dqdimacsFAIL900.08
comp.blif_0.20_0.10_1_1_henkin.dqdimacsFAIL900.08
amba8f57n.dqdimacsFAIL900.09
C432.blif_0.20_0.50_2_1_henkin.dqdimacsFAIL900.09
comp.blif_0.20_0.10_0_2_henkin.dqdimacsFAIL900.1
genbuf5f4unrealn.dqdimacsFAIL900.1
pec_multiplexer_5_2.dqdimacsFAIL900.1
term1.blif_0.60_1.00_3_3_henkin.dqdimacsFAIL900.1