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

InstanceResultTime
unrealizable.dqdimacsUNSAT0.18
mv2n.dqdimacsSAT0.21
eq1.dqdimacsSAT0.27
mult9.dqdimacsSAT0.28
mult6.dqdimacsSAT0.43
cnt2n.dqdimacsSAT0.45
stay2n.dqdimacsSAT0.56
stay4y.dqdimacsSAT0.56
add2n.dqdimacsSAT0.64
cnt3n.dqdimacsSAT0.72
ex2.dqdimacsSAT0.72
mvs2n.dqdimacsSAT0.74
mult4.dqdimacsSAT0.84
cnt2unrealy.dqdimacsUNSAT0.89
sh_u.dqdimacsUNSAT0.9
unr.dqdimacsUNSAT0.95
cnt4n.dqdimacsSAT0.95
mult2.dqdimacsSAT1.03
ex1.dqdimacsSAT1.04
add4n.dqdimacsSAT1.06
mult11.dqdimacsSAT1.09
cnt7y.dqdimacsSAT1.41
mv4n.dqdimacsSAT4.09
cnt6y.dqdimacsSAT6.14
cnt6n.dqdimacsSAT7.68
add6y.dqdimacsSAT42.76
bs8y.dqdimacsSAT71.98
add6n.dqdimacsSAT77.25
bs16y.dqdimacsSAT80.97
bs16n.dqdimacsSAT81.66
cnt9n.dqdimacsSAT335.7
cnt11y.dqdimacsSAT799.02
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
mv16n.dqdimacsFAIL900
mvs8n.dqdimacsFAIL900
stay16y.dqdimacsFAIL900
amba3b4unrealn.dqdimacsFAIL900
amba5c5y.dqdimacsFAIL900
amba8b5unrealy.dqdimacsFAIL900
genbuf1c3y.dqdimacsFAIL900
genbuf5b4n.dqdimacsFAIL900
namba02_new_07nrc_o.dqdimacsFAIL900
stay18y.dqdimacsFAIL900
amba3b5n.dqdimacsFAIL900
amba5f17n.dqdimacsFAIL900
genbuf2b3unrealn.dqdimacsFAIL900
genbuf5b4y.dqdimacsFAIL900
namba03_new_05nrc_o.dqdimacsFAIL900
stay22n.dqdimacsFAIL900
amba10c4unrealn.dqdimacsFAIL900
amba3c4unrealy.dqdimacsFAIL900
amba6b5y.dqdimacsFAIL900
cnt30y.dqdimacsFAIL900
genbuf2c3n.dqdimacsFAIL900
ifm_amba03_fixed_o.dqdimacsFAIL900
mv8y.dqdimacsFAIL900
namba04_new_07nrc_o.dqdimacsFAIL900
stay22y.dqdimacsFAIL900
amba10f37n.dqdimacsFAIL900
amba3f8unrealy.dqdimacsFAIL900
amba6c5y.dqdimacsFAIL900
bs32n.dqdimacsFAIL900
genbuf2f3unrealy.dqdimacsFAIL900
ifm_amba03y.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
add10y.dqdimacsFAIL900
amba2b8unrealy.dqdimacsFAIL900
amba4c6unrealy.dqdimacsFAIL900
amba7b5n.dqdimacsFAIL900
genbuf15f15y.dqdimacsFAIL900
genbuf3c2unrealn.dqdimacsFAIL900
ifm_genbuf16n.dqdimacsFAIL900
mv12n.dqdimacsFAIL900
mvs28n.dqdimacsFAIL900
stay12n.dqdimacsFAIL900