Instances of family Bloem_dqbf solved by iprover_hqspre_schedule
DQBF Solvers Track

InstanceResultTime
mvs4n.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0.05
mult4.dqdimacsSAT0.06
sh_u_o.dqdimacsUNSAT0.06
ex2.dqdimacsSAT0.06
mult2.dqdimacsSAT0.07
mult6.dqdimacsSAT0.08
mult11.dqdimacsSAT0.08
mult9.dqdimacsSAT0.1
add4n.dqdimacsSAT0.43
bs8y.dqdimacsSAT1.34
cnt6n.dqdimacsSAT1.39
cnt6y.dqdimacsSAT1.47
mv4n.dqdimacsSAT1.75
cnt7y.dqdimacsSAT2.54
stay4y.dqdimacsSAT5.07
stay4n.dqdimacsSAT5.12
add6n.dqdimacsSAT42.55
add8y.dqdimacsSAT54.37
cnt9y.dqdimacsSAT181.78
bs16y.dqdimacsSAT182.5
bs16n.dqdimacsSAT184.58
cnt9n.dqdimacsSAT217.03
cnt10y.dqdimacsSAT414.18
cnt11y.dqdimacsSAT468.35
mvs8n.dqdimacsSAT493.16
mvs8y.dqdimacsSAT502.74
cnt10n.dqdimacsSAT529.07
stay6y.dqdimacsSAT588.45
stay6n.dqdimacsSAT877.94
genbuf8c2unrealn.dqdimacsFAIL895.52
genbuf12f12n.dqdimacsFAIL897.59
add10n.dqdimacsFAIL900
amba4b9n.dqdimacsFAIL900
amba8f57n.dqdimacsFAIL900
genbuf11c2unrealy.dqdimacsFAIL900
genbuf14b3unrealn.dqdimacsFAIL900
genbuf5f4unrealn.dqdimacsFAIL900
genbuf9b4n.dqdimacsFAIL900
mv9y.dqdimacsFAIL900
add16n.dqdimacsFAIL900
amba4c7n.dqdimacsFAIL900
amba9b5y.dqdimacsFAIL900
genbuf11f11n.dqdimacsFAIL900
genbuf14c2unrealn.dqdimacsFAIL900
genbuf5f4unrealy.dqdimacsFAIL900
genbuf9c2unrealy.dqdimacsFAIL900
genbuf14c3y.dqdimacsFAIL900
add20n.dqdimacsFAIL900
amba5b4unrealy.dqdimacsFAIL900
amba9c5n.dqdimacsFAIL900
genbuf11f11y.dqdimacsFAIL900
genbuf15b4y.dqdimacsFAIL900
genbuf6b4y.dqdimacsFAIL900
genbuf9c3n.dqdimacsFAIL900
stay12y.dqdimacsFAIL900
add10y.dqdimacsFAIL900
amba6c5n.dqdimacsFAIL900
bs128y.dqdimacsFAIL900
genbuf12b4y.dqdimacsFAIL900
genbuf15c3y.dqdimacsFAIL900
genbuf7c2unrealn.dqdimacsFAIL900
genbuf9f8unrealy.dqdimacsFAIL900
amba10b4unrealy.dqdimacsFAIL900
amba7b4unrealy.dqdimacsFAIL900
bs64n.dqdimacsFAIL900
genbuf15f14unrealy.dqdimacsFAIL900
genbuf7f7y.dqdimacsFAIL900
ifm_amba15n.dqdimacsFAIL900
amba2f8unrealy.dqdimacsFAIL900
amba8c6unrealn.dqdimacsFAIL900
cnt11n.dqdimacsFAIL900
genbuf12f12y.dqdimacsFAIL900
genbuf15f15n.dqdimacsFAIL900
genbuf8b3unrealn.dqdimacsFAIL900
mv11n.dqdimacsFAIL900
amba6b5n.dqdimacsFAIL900
amba3b4unrealy.dqdimacsFAIL900
amba8c7y.dqdimacsFAIL900
genbuf11b3unrealn.dqdimacsFAIL900
genbuf13b4n.dqdimacsFAIL900
genbuf16c2unrealn.dqdimacsFAIL900
genbuf8b4y.dqdimacsFAIL900
mv20n.dqdimacsFAIL900
amba3c5n.dqdimacsFAIL900
amba8f56unrealy.dqdimacsFAIL900
genbuf11c2unrealn.dqdimacsFAIL900
genbuf13f13y.dqdimacsFAIL900
genbuf16c3y.dqdimacsFAIL900
mv20y.dqdimacsFAIL900