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

InstanceResultTime
amba4b9n.dqdimacsFAIL0
genbuf10c3n.dqdimacsFAIL0
genbuf5f4unrealn.dqdimacsFAIL0
genbuf9b4n.dqdimacsFAIL0
cnt6n.dqdimacsSAT0
mult6.dqdimacsSAT0
amba4c7n.dqdimacsFAIL0
genbuf5f4unrealy.dqdimacsFAIL0
cnt6y.dqdimacsSAT0
mult9.dqdimacsSAT0
add2y.dqdimacsSAT0
amba5b4unrealy.dqdimacsFAIL0
genbuf11c2unrealn.dqdimacsFAIL0
genbuf6b4y.dqdimacsFAIL0
genbuf9c3n.dqdimacsFAIL0
mvs2y.dqdimacsSAT0
mv4n.dqdimacsSAT0
amba6c5n.dqdimacsFAIL0
genbuf11c2unrealy.dqdimacsFAIL0
genbuf7c2unrealn.dqdimacsFAIL0
genbuf9f8unrealy.dqdimacsFAIL0
mvs4n.dqdimacsSAT0
stay2n.dqdimacsSAT0
add8y.dqdimacsSAT0
genbuf7f7y.dqdimacsFAIL0
add10y.dqdimacsSAT0
cnt2n.dqdimacsSAT0
ex2.dqdimacsSAT0
stay4y.dqdimacsSAT0
amba2f8unrealy.dqdimacsFAIL0
amba8c6unrealn.dqdimacsFAIL0
genbuf11f11y.dqdimacsFAIL0
genbuf8b3unrealn.dqdimacsFAIL0
add4n.dqdimacsSAT0
cnt2unrealy.dqdimacsUNSAT0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
amba3b4unrealy.dqdimacsFAIL0
cnt3y.dqdimacsSAT0
genbuf3f4y.dqdimacsFAIL0
genbuf8b4y.dqdimacsFAIL0
stay4n.dqdimacsSAT0
add6n.dqdimacsSAT0
cnt3n.dqdimacsSAT0
mult2.dqdimacsSAT0
add10n.dqdimacsSAT0
amba3c5n.dqdimacsFAIL0
genbuf4c3n.dqdimacsFAIL0
genbuf8c2unrealn.dqdimacsFAIL0
add6y.dqdimacsSAT0
cnt4n.dqdimacsSAT0
mult4.dqdimacsSAT0
add4y.dqdimacsSAT0.02
genbuf9c2unrealy.dqdimacsFAIL0.51
cnt7y.dqdimacsSAT0.55
genbuf11f11n.dqdimacsFAIL0.55
genbuf12f12y.dqdimacsFAIL0.6
amba7b4unrealy.dqdimacsFAIL0.61
genbuf12b4y.dqdimacsFAIL0.61
genbuf10b4y.dqdimacsFAIL0.61
genbuf11b3unrealn.dqdimacsFAIL0.63
genbuf12f12n.dqdimacsFAIL0.64
genbuf14c2unrealn.dqdimacsFAIL0.67
amba8c7y.dqdimacsFAIL0.7
genbuf13b4n.dqdimacsFAIL0.76
genbuf13f13y.dqdimacsFAIL0.77
genbuf16c3y.dqdimacsFAIL0.77
amba8f57n.dqdimacsFAIL0.78
genbuf16c2unrealn.dqdimacsFAIL0.83
amba9c5n.dqdimacsFAIL0.84
genbuf14b3unrealn.dqdimacsFAIL0.87
genbuf15c3y.dqdimacsFAIL0.92
amba8f56unrealy.dqdimacsFAIL0.96
genbuf15f14unrealy.dqdimacsFAIL0.96
genbuf15f15n.dqdimacsFAIL1.01
add16n.dqdimacsSAT1.08
amba9b5y.dqdimacsFAIL1.21
bs8y.dqdimacsSAT1.21
genbuf15b4y.dqdimacsFAIL1.21
amba10b4unrealy.dqdimacsFAIL1.47
add20n.dqdimacsSAT1.93
ifm_amba15n.dqdimacsFAIL2.1
cnt9n.dqdimacsSAT5.11
bs64n.dqdimacsFAIL10.76
stay6n.dqdimacsSAT35.55
cnt11n.dqdimacsSAT70.34
cnt11y.dqdimacsSAT71.49
bs128y.dqdimacsFAIL95.14
genbuf1b4n.dqdimacsFAIL900.01
stay12y.dqdimacsFAIL900.01
mv20n.dqdimacsFAIL900.01
mv20y.dqdimacsFAIL900.01
mvs24n.dqdimacsFAIL900.02
genbuf1f3unrealn.dqdimacsFAIL900.02
stay18n.dqdimacsFAIL900.02
mv9y.dqdimacsFAIL900.04
bs16y.dqdimacsFAIL900.04
genbuf2b4n.dqdimacsFAIL900.04
bs16n.dqdimacsFAIL900.06
mv11n.dqdimacsFAIL900.1