Instances of family Bloem_dqbf solved by dqbdd
DQBF Solvers Track

InstanceResultTime
cnt6n.dqdimacsSAT0
mult6.dqdimacsSAT0
stay4n.dqdimacsSAT0
sh_u_o.dqdimacsUNSAT0
add10y.dqdimacsSAT0
cnt6y.dqdimacsSAT0
mult9.dqdimacsSAT0
add8y.dqdimacsSAT0
add4n.dqdimacsSAT0
cnt7y.dqdimacsSAT0
mv4n.dqdimacsSAT0
add6n.dqdimacsSAT0
ex2.dqdimacsSAT0
stay4y.dqdimacsSAT0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
bs8y.dqdimacsSAT0
mult2.dqdimacsSAT0
mvs4n.dqdimacsSAT0
mult4.dqdimacsSAT0
add10n.dqdimacsSAT1.98
mvs8n.dqdimacsSAT6.84
mvs8y.dqdimacsSAT7.06
cnt9y.dqdimacsSAT9.49
cnt9n.dqdimacsSAT9.51
stay6y.dqdimacsSAT11.47
stay6n.dqdimacsSAT15.2
cnt10y.dqdimacsSAT54.71
cnt10n.dqdimacsSAT55.03
mv9y.dqdimacsSAT113.26
add16n.dqdimacsSAT228.21
mv20n.dqdimacsFAIL306.66
stay12y.dqdimacsFAIL319.97
add20n.dqdimacsFAIL329.59
mv20y.dqdimacsFAIL334.29
cnt11n.dqdimacsSAT574.86
cnt11y.dqdimacsSAT717.19
genbuf15b4y.dqdimacsFAIL900
genbuf6b4y.dqdimacsFAIL900
genbuf9c3n.dqdimacsFAIL900
amba5b4unrealy.dqdimacsFAIL900
amba9c5n.dqdimacsFAIL900
genbuf11f11y.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900
genbuf7c2unrealn.dqdimacsFAIL900
genbuf9f8unrealy.dqdimacsFAIL900
amba6c5n.dqdimacsFAIL900
bs128y.dqdimacsFAIL900
genbuf12b4y.dqdimacsFAIL900
genbuf15f14unrealy.dqdimacsFAIL900
genbuf7f7y.dqdimacsFAIL900
ifm_amba15n.dqdimacsFAIL900
amba10b4unrealy.dqdimacsFAIL900
amba7b4unrealy.dqdimacsFAIL900
bs64n.dqdimacsFAIL900
genbuf12f12n.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
genbuf8b3unrealn.dqdimacsFAIL900
mv11n.dqdimacsFAIL900
amba6b5n.dqdimacsFAIL900
amba2f8unrealy.dqdimacsFAIL900
amba8c6unrealn.dqdimacsFAIL900
genbuf12f12y.dqdimacsFAIL900
genbuf16c2unrealn.dqdimacsFAIL900
genbuf8b4y.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
amba3b4unrealy.dqdimacsFAIL900
amba8c7y.dqdimacsFAIL900
genbuf11b3unrealn.dqdimacsFAIL900
genbuf13b4n.dqdimacsFAIL900
genbuf16c3y.dqdimacsFAIL900
genbuf8c2unrealn.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
amba3c5n.dqdimacsFAIL900
amba8f56unrealy.dqdimacsFAIL900
genbuf11c2unrealn.dqdimacsFAIL900
genbuf13f13y.dqdimacsFAIL900
genbuf5f4unrealn.dqdimacsFAIL900
genbuf9b4n.dqdimacsFAIL900
amba4b9n.dqdimacsFAIL900
amba8f57n.dqdimacsFAIL900
genbuf11c2unrealy.dqdimacsFAIL900
genbuf14b3unrealn.dqdimacsFAIL900
genbuf5f4unrealy.dqdimacsFAIL900
genbuf9c2unrealy.dqdimacsFAIL900
genbuf14c3y.dqdimacsFAIL900
amba4c7n.dqdimacsFAIL900
amba9b5y.dqdimacsFAIL900
genbuf11f11n.dqdimacsFAIL900
genbuf14c2unrealn.dqdimacsFAIL900