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

InstanceResultTime
stay2n.dqdimacsSAT0
add8y.dqdimacsSAT0
amba6c5n.dqdimacsFAIL0
genbuf11c2unrealy.dqdimacsFAIL0
genbuf7c2unrealn.dqdimacsFAIL0
genbuf9f8unrealy.dqdimacsFAIL0
mvs4n.dqdimacsSAT0
add10y.dqdimacsSAT0
cnt2n.dqdimacsSAT0
ex2.dqdimacsSAT0
genbuf7f7y.dqdimacsFAIL0
add4n.dqdimacsSAT0
cnt2unrealy.dqdimacsUNSAT0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
amba2f8unrealy.dqdimacsFAIL0
add6n.dqdimacsSAT0
cnt3n.dqdimacsSAT0
mult2.dqdimacsSAT0
add10n.dqdimacsSAT0
cnt3y.dqdimacsSAT0
genbuf8b4y.dqdimacsFAIL0
stay4n.dqdimacsSAT0
add6y.dqdimacsSAT0
cnt4n.dqdimacsSAT0
mult4.dqdimacsSAT0
amba3c5n.dqdimacsFAIL0
genbuf4c3n.dqdimacsFAIL0
genbuf8c2unrealn.dqdimacsFAIL0
cnt6n.dqdimacsSAT0
mult6.dqdimacsSAT0
amba4b9n.dqdimacsFAIL0
genbuf10c3n.dqdimacsFAIL0
genbuf5f4unrealn.dqdimacsFAIL0
genbuf9b4n.dqdimacsFAIL0
cnt6y.dqdimacsSAT0
mult9.dqdimacsSAT0
add2y.dqdimacsSAT0
amba4c7n.dqdimacsFAIL0
genbuf5f4unrealy.dqdimacsFAIL0
mv4n.dqdimacsSAT0
add4y.dqdimacsSAT0
amba5b4unrealy.dqdimacsFAIL0
genbuf9c3n.dqdimacsFAIL0
mvs2y.dqdimacsSAT0
genbuf3f4y.dqdimacsFAIL0.17
amba3b4unrealy.dqdimacsFAIL0.28
genbuf6b4y.dqdimacsFAIL0.43
genbuf8b3unrealn.dqdimacsFAIL0.48
genbuf9c2unrealy.dqdimacsFAIL0.52
genbuf11c2unrealn.dqdimacsFAIL0.52
stay4y.dqdimacsSAT0.53
amba8c6unrealn.dqdimacsFAIL0.55
cnt7y.dqdimacsSAT0.56
genbuf11f11n.dqdimacsFAIL0.57
amba7b4unrealy.dqdimacsFAIL0.61
genbuf10b4y.dqdimacsFAIL0.61
genbuf12f12y.dqdimacsFAIL0.61
genbuf12f12n.dqdimacsFAIL0.63
genbuf14c2unrealn.dqdimacsFAIL0.64
genbuf11f11y.dqdimacsFAIL0.65
genbuf11b3unrealn.dqdimacsFAIL0.67
amba8c7y.dqdimacsFAIL0.7
genbuf12b4y.dqdimacsFAIL0.7
genbuf13f13y.dqdimacsFAIL0.77
genbuf16c3y.dqdimacsFAIL0.77
amba8f57n.dqdimacsFAIL0.81
genbuf16c2unrealn.dqdimacsFAIL0.81
genbuf13b4n.dqdimacsFAIL0.86
amba9c5n.dqdimacsFAIL0.86
genbuf15c3y.dqdimacsFAIL0.9
genbuf14b3unrealn.dqdimacsFAIL0.91
amba8f56unrealy.dqdimacsFAIL0.91
genbuf15f14unrealy.dqdimacsFAIL0.93
genbuf15f15n.dqdimacsFAIL0.99
add16n.dqdimacsSAT1.08
genbuf15b4y.dqdimacsFAIL1.2
bs8y.dqdimacsSAT1.22
amba9b5y.dqdimacsFAIL1.23
amba10b4unrealy.dqdimacsFAIL1.52
add20n.dqdimacsSAT1.85
ifm_amba15n.dqdimacsFAIL2.11
cnt9n.dqdimacsSAT5.24
bs64n.dqdimacsFAIL10.46
cnt11n.dqdimacsSAT70.98
cnt11y.dqdimacsSAT71.19
stay6n.dqdimacsSAT76.69
bs128y.dqdimacsFAIL94.2
genbuf1b4n.dqdimacsFAIL900.01
stay12y.dqdimacsFAIL900.01
genbuf2b4n.dqdimacsFAIL900.02
bs16n.dqdimacsFAIL900.02
mv20n.dqdimacsFAIL900.03
mv20y.dqdimacsFAIL900.03
mv11n.dqdimacsFAIL900.05
mv9y.dqdimacsFAIL900.05
genbuf1f3unrealn.dqdimacsFAIL900.07
stay18n.dqdimacsFAIL900.07
bs16y.dqdimacsFAIL900.08
mvs24n.dqdimacsFAIL900.08