Instances of family Bloem_dqbf solved by hqs
DQBF Solvers Track

InstanceResultTime
add6n.dqdimacsSAT0
amba2f8unrealy.dqdimacsFAIL0
ex2.dqdimacsSAT0
amba3b4unrealy.dqdimacsFAIL0
genbuf8c2unrealn.dqdimacsFAIL0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
amba3c5n.dqdimacsFAIL0
mult2.dqdimacsSAT0
add10n.dqdimacsSAT0
genbuf5f4unrealy.dqdimacsFAIL0
mvs4n.dqdimacsSAT0
mult4.dqdimacsSAT0
amba4c7n.dqdimacsFAIL0
cnt6n.dqdimacsFAIL0
mult6.dqdimacsSAT0
sh_u_o.dqdimacsUNSAT0
cnt6y.dqdimacsFAIL0
mult9.dqdimacsSAT0
add4n.dqdimacsSAT0
mv4n.dqdimacsFAIL0
genbuf7f7y.dqdimacsFAIL0.51
cnt7y.dqdimacsFAIL0.51
genbuf7c2unrealn.dqdimacsFAIL0.52
stay4n.dqdimacsFAIL0.52
stay4y.dqdimacsFAIL0.53
genbuf6b4y.dqdimacsFAIL0.54
genbuf5f4unrealn.dqdimacsFAIL0.57
amba5b4unrealy.dqdimacsFAIL0.63
genbuf8b3unrealn.dqdimacsFAIL0.65
genbuf11f11n.dqdimacsFAIL0.65
add10y.dqdimacsSAT0.65
genbuf11c2unrealn.dqdimacsFAIL0.66
amba6b5n.dqdimacsFAIL0.71
genbuf11c2unrealy.dqdimacsFAIL0.71
genbuf9c3n.dqdimacsFAIL0.71
genbuf9f8unrealy.dqdimacsFAIL0.72
amba7b4unrealy.dqdimacsFAIL0.74
genbuf8b4y.dqdimacsFAIL0.76
amba4b9n.dqdimacsFAIL0.76
genbuf9b4n.dqdimacsFAIL0.77
genbuf9c2unrealy.dqdimacsFAIL0.77
amba6c5n.dqdimacsFAIL0.78
amba8c6unrealn.dqdimacsFAIL0.84
add8y.dqdimacsSAT0.84
genbuf14c2unrealn.dqdimacsFAIL0.87
genbuf11f11y.dqdimacsFAIL0.87
genbuf14c3y.dqdimacsFAIL0.88
amba8f57n.dqdimacsFAIL0.9
amba8f56unrealy.dqdimacsFAIL0.91
amba9c5n.dqdimacsFAIL0.91
genbuf12b4y.dqdimacsFAIL0.92
amba8c7y.dqdimacsFAIL0.97
genbuf12f12n.dqdimacsFAIL0.98
genbuf12f12y.dqdimacsFAIL0.99
genbuf15f15n.dqdimacsFAIL1.01
genbuf11b3unrealn.dqdimacsFAIL1.02
genbuf16c2unrealn.dqdimacsFAIL1.05
genbuf13f13y.dqdimacsFAIL1.08
add16n.dqdimacsSAT1.13
genbuf15f14unrealy.dqdimacsFAIL1.13
genbuf14b3unrealn.dqdimacsFAIL1.14
genbuf13b4n.dqdimacsFAIL1.22
bs8y.dqdimacsFAIL1.23
amba9b5y.dqdimacsFAIL1.36
add20n.dqdimacsSAT1.36
genbuf16c3y.dqdimacsFAIL1.45
amba10b4unrealy.dqdimacsFAIL1.5
genbuf15c3y.dqdimacsFAIL1.56
genbuf15b4y.dqdimacsFAIL1.57
ifm_amba15n.dqdimacsFAIL2.46
cnt9n.dqdimacsFAIL5.06
cnt9y.dqdimacsFAIL5.14
cnt10y.dqdimacsFAIL19.38
cnt10n.dqdimacsFAIL19.68
bs64n.dqdimacsFAIL31.19
stay6y.dqdimacsFAIL33.71
mvs8n.dqdimacsFAIL44.57
mvs8y.dqdimacsFAIL46.38
cnt11y.dqdimacsFAIL70.92
cnt11n.dqdimacsFAIL71.44
stay6n.dqdimacsFAIL85.54
bs128y.dqdimacsFAIL174.28
mv11n.dqdimacsFAIL900
mv20n.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
mv20y.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
mv9y.dqdimacsFAIL900
stay12y.dqdimacsFAIL900