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

InstanceResultTime
ex1.dqdimacsSAT0.15
unr.dqdimacsUNSAT0.17
sh_u.dqdimacsUNSAT0.45
mult2.dqdimacsSAT0.66
unrealizable.dqdimacsUNSAT0.71
eq1.dqdimacsSAT0.92
cnt2unrealy.dqdimacsUNSAT1.2
mvs2n.dqdimacsSAT2.54
cnt2n.dqdimacsSAT3.68
mv2n.dqdimacsSAT6.02
add2n.dqdimacsSAT7.89
mult4.dqdimacsSAT71.1
cnt3n.dqdimacsSAT125.29
ex2.dqdimacsSAT154.35
add10y.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba4c6unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
bs8y.dqdimacsFAIL900
cnt6n.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf3c2unrealn.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
stay12n.dqdimacsFAIL900
stay4y.dqdimacsFAIL900
amba2c7n.dqdimacsFAIL900
amba4c7y.dqdimacsFAIL900
amba7c4unrealy.dqdimacsFAIL900
cnt11y.dqdimacsFAIL900
cnt6y.dqdimacsFAIL900
genbuf1b3unrealn.dqdimacsFAIL900
genbuf3c3y.dqdimacsFAIL900
ifm_genbuf16y.dqdimacsFAIL900
mv14n.dqdimacsFAIL900
stay16n.dqdimacsFAIL900
stay8y.dqdimacsFAIL900
add4n.dqdimacsFAIL900
amba2f8unrealn.dqdimacsFAIL900
amba5b4unrealn.dqdimacsFAIL900
amba7f24unrealn.dqdimacsFAIL900
cnt20y.dqdimacsFAIL900
cnt7y.dqdimacsFAIL900
genbuf1c2unrealn.dqdimacsFAIL900
genbuf3f4n.dqdimacsFAIL900
mult11.dqdimacsFAIL900
mv16n.dqdimacsFAIL900
mvs8n.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
add6n.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
cnt9n.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
genbuf5b4n.dqdimacsFAIL900
namba02_new_07nrc_o.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
add6y.dqdimacsFAIL900
amba3b5n.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
bs16n.dqdimacsFAIL900
genbuf2b3unrealn.dqdimacsFAIL900
genbuf5b4y.dqdimacsFAIL900
mv4n.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
bs16y.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
genbuf2c3n.dqdimacsFAIL900
ifm_amba03_fixed_o.dqdimacsFAIL900
mult6.dqdimacsFAIL900
mv8y.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
cnt4n.dqdimacsFAIL900
genbuf14c3n.dqdimacsFAIL900
genbuf3b3unrealy.dqdimacsFAIL900
ifm_amba15y.dqdimacsFAIL900
mv10n.dqdimacsFAIL900
mvs16y.dqdimacsFAIL900
stay2n.dqdimacsFAIL900