Instances of family Bloem_dqbf solved by dCaqe
QBFEVAL'19 - DQBF Solvers Track

InstanceResultTime
cnt3n.dqdimacsSAT0
mult2.dqdimacsSAT0
cnt3y.dqdimacsSAT0
stay4n.dqdimacsSAT0
cnt4n.dqdimacsSAT0
mult4.dqdimacsSAT0
cnt6n.dqdimacsSAT0
mult6.dqdimacsSAT0
cnt6y.dqdimacsSAT0
mult9.dqdimacsSAT0
add2y.dqdimacsSAT0
mvs2y.dqdimacsSAT0
cnt9n.dqdimacsSAT0
stay2n.dqdimacsSAT0
mvs4n.dqdimacsSAT0
ex2.dqdimacsSAT0
stay4y.dqdimacsSAT0
cnt2n.dqdimacsSAT0
cnt2unrealy.dqdimacsUNSAT0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
cnt11n.dqdimacsSAT0
mv4n.dqdimacsSAT0.01
add4y.dqdimacsSAT0.01
add4n.dqdimacsSAT0.01
cnt7y.dqdimacsSAT0.02
bs8y.dqdimacsSAT0.05
cnt11y.dqdimacsSAT0.05
stay6n.dqdimacsSAT0.06
mvs24n.dqdimacsSAT0.35
amba3c5n.dqdimacsSAT1.43
amba6c5n.dqdimacsSAT81.5
add6y.dqdimacsSAT141.09
add6n.dqdimacsSAT407.64
amba8f56unrealy.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900.01
genbuf8b4y.dqdimacsFAIL900.01
genbuf10b4y.dqdimacsFAIL900.01
add20n.dqdimacsFAIL900.01
mv9y.dqdimacsFAIL900.01
amba9c5n.dqdimacsFAIL900.01
genbuf7c2unrealn.dqdimacsFAIL900.01
genbuf11f11y.dqdimacsFAIL900.01
add10n.dqdimacsFAIL900.02
add16n.dqdimacsFAIL900.02
genbuf10c3n.dqdimacsFAIL900.02
amba4c7n.dqdimacsFAIL900.02
genbuf16c2unrealn.dqdimacsFAIL900.02
genbuf9c2unrealy.dqdimacsFAIL900.02
amba5b4unrealy.dqdimacsFAIL900.02
genbuf16c3y.dqdimacsFAIL900.02
add8y.dqdimacsFAIL900.02
genbuf11c2unrealy.dqdimacsFAIL900.02
genbuf14c2unrealn.dqdimacsFAIL900.02
mv11n.dqdimacsFAIL900.02
amba3b4unrealy.dqdimacsFAIL900.03
genbuf3f4y.dqdimacsFAIL900.03
mv20n.dqdimacsFAIL900.03
genbuf8c2unrealn.dqdimacsFAIL900.03
genbuf5f4unrealy.dqdimacsFAIL900.03
genbuf9f8unrealy.dqdimacsFAIL900.03
amba2f8unrealy.dqdimacsFAIL900.03
amba8c6unrealn.dqdimacsFAIL900.03
genbuf2b4n.dqdimacsFAIL900.03
genbuf12b4y.dqdimacsFAIL900.04
genbuf4c3n.dqdimacsFAIL900.04
amba4b9n.dqdimacsFAIL900.04
genbuf11b3unrealn.dqdimacsFAIL900.04
genbuf11c2unrealn.dqdimacsFAIL900.04
amba10b4unrealy.dqdimacsFAIL900.04
genbuf11f11n.dqdimacsFAIL900.04
ifm_amba15n.dqdimacsFAIL900.04
stay12y.dqdimacsFAIL900.04
add10y.dqdimacsFAIL900.04
genbuf8b3unrealn.dqdimacsFAIL900.04
genbuf12f12n.dqdimacsFAIL900.05
genbuf15f14unrealy.dqdimacsFAIL900.05
genbuf12f12y.dqdimacsFAIL900.05
genbuf9b4n.dqdimacsFAIL900.05
bs16y.dqdimacsFAIL900.05
bs128y.dqdimacsFAIL900.05
genbuf1b4n.dqdimacsFAIL900.05
bs64n.dqdimacsFAIL900.05
mv20y.dqdimacsFAIL900.06
bs16n.dqdimacsFAIL900.06
genbuf13b4n.dqdimacsFAIL900.06
genbuf9c3n.dqdimacsFAIL900.06
amba7b4unrealy.dqdimacsFAIL900.06
stay18n.dqdimacsFAIL900.06
amba8c7y.dqdimacsFAIL900.07
amba9b5y.dqdimacsFAIL900.07
genbuf6b4y.dqdimacsFAIL900.07
genbuf7f7y.dqdimacsFAIL900.07
genbuf15b4y.dqdimacsFAIL900.07
genbuf13f13y.dqdimacsFAIL900.08
genbuf14b3unrealn.dqdimacsFAIL900.08
genbuf1f3unrealn.dqdimacsFAIL900.08
amba8f57n.dqdimacsFAIL900.09
genbuf5f4unrealn.dqdimacsFAIL900.1