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

InstanceResultTime
sh_u.dqdimacsUNSAT0.08
mv2n.dqdimacsSAT0.15
ex1.dqdimacsSAT0.19
add6n.dqdimacsSAT0.27
mv4n.dqdimacsSAT0.28
mvs2n.dqdimacsSAT0.29
cnt3n.dqdimacsSAT0.35
stay2n.dqdimacsSAT0.47
unr.dqdimacsUNSAT0.54
cnt6n.dqdimacsSAT0.56
stay4y.dqdimacsSAT0.62
cnt4n.dqdimacsSAT0.63
add6y.dqdimacsSAT0.7
add10y.dqdimacsSAT0.77
add4n.dqdimacsSAT0.84
add2n.dqdimacsSAT0.9
ex2.dqdimacsSAT1.13
cnt6y.dqdimacsSAT1.19
eq1.dqdimacsSAT1.2
cnt2unrealy.dqdimacsUNSAT1.21
cnt7y.dqdimacsSAT1.45
bs8y.dqdimacsSAT1.54
unrealizable.dqdimacsUNSAT1.59
cnt2n.dqdimacsSAT1.68
cnt9n.dqdimacsSAT6.72
mvs8n.dqdimacsSAT26
cnt11y.dqdimacsSAT100.58
mv8y.dqdimacsSAT501.13
amba10c4unrealn.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
genbuf2c3n.dqdimacsFAIL900
ifm_amba03_fixed_o.dqdimacsFAIL900
mult6.dqdimacsFAIL900
namba04_new_07nrc_o.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
amba10f37n.dqdimacsFAIL900
amba3f8unrealy.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
genbuf2f3unrealy.dqdimacsFAIL900
ifm_amba03y.dqdimacsFAIL900
mult9.dqdimacsFAIL900
mvs12n.dqdimacsFAIL900
ngenbuf03_03nrc_o.dqdimacsFAIL900
stay24y.dqdimacsFAIL900
amba2b8unrealn.dqdimacsFAIL900
amba4b8unrealy.dqdimacsFAIL900
amba6f21y.dqdimacsFAIL900
bs32y.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
genbuf3b3unrealy.dqdimacsFAIL900
ifm_amba15y.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
mvs16y.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba4c6unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf3c2unrealn.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
amba2c7n.dqdimacsFAIL900
amba4c7y.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
genbuf3c3y.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900
mv14n.dqdimacsFAIL900
stay16n.dqdimacsFAIL900
stay8y.dqdimacsFAIL900
amba2f8unrealn.dqdimacsFAIL900
amba5b4unrealn.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
genbuf3f4n.dqdimacsFAIL900
mult11.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
genbuf5b4n.dqdimacsFAIL900
mult2.dqdimacsFAIL900
namba02_new_07nrc_o.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
amba3b5n.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
genbuf2b3unrealn.dqdimacsFAIL900
genbuf5b4y.dqdimacsFAIL900
mult4.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
stay22n.dqdimacsFAIL900