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

InstanceResultTime
mvs2y.dqdimacsSAT0
add4y.dqdimacsSAT0
mvs4n.dqdimacsSAT0
stay2n.dqdimacsSAT0
cnt2n.dqdimacsSAT0
ex2.dqdimacsSAT0
cnt2unrealy.dqdimacsUNSAT0
mult11.dqdimacsSAT0
unrealizable.dqdimacsUNSAT0
cnt3n.dqdimacsSAT0
mult2.dqdimacsSAT0
cnt3y.dqdimacsSAT0
cnt4n.dqdimacsSAT0
mult4.dqdimacsSAT0
mult6.dqdimacsSAT0
mult9.dqdimacsSAT0
add2y.dqdimacsSAT0
cnt7y.dqdimacsSAT1.21
add4n.dqdimacsSAT2.05
cnt6n.dqdimacsSAT4.32
cnt6y.dqdimacsSAT4.36
mv4n.dqdimacsSAT9.38
stay4y.dqdimacsSAT31.4
stay4n.dqdimacsSAT39.84
add6y.dqdimacsSAT71.64
bs8y.dqdimacsSAT71.92
add6n.dqdimacsSAT76.13
bs16y.dqdimacsSAT90.51
bs16n.dqdimacsSAT90.67
add8y.dqdimacsSAT91.46
cnt9n.dqdimacsSAT418.53
genbuf13f13y.dqdimacsFAIL900.01
amba5b4unrealy.dqdimacsFAIL900.01
amba9c5n.dqdimacsFAIL900.01
genbuf7c2unrealn.dqdimacsFAIL900.01
genbuf11f11n.dqdimacsFAIL900.01
cnt11n.dqdimacsFAIL900.01
add10n.dqdimacsFAIL900.01
amba8c7y.dqdimacsFAIL900.01
genbuf12b4y.dqdimacsFAIL900.01
genbuf8c2unrealn.dqdimacsFAIL900.01
stay6n.dqdimacsFAIL900.01
genbuf13b4n.dqdimacsFAIL900.01
genbuf9f8unrealy.dqdimacsFAIL900.02
cnt11y.dqdimacsFAIL900.02
genbuf7f7y.dqdimacsFAIL900.02
genbuf15b4y.dqdimacsFAIL900.02
genbuf8b3unrealn.dqdimacsFAIL900.02
genbuf15c3y.dqdimacsFAIL900.02
genbuf12f12n.dqdimacsFAIL900.02
mv9y.dqdimacsFAIL900.02
genbuf16c2unrealn.dqdimacsFAIL900.02
genbuf5f4unrealy.dqdimacsFAIL900.02
mvs24n.dqdimacsFAIL900.02
genbuf14b3unrealn.dqdimacsFAIL900.03
genbuf2b4n.dqdimacsFAIL900.03
mv11n.dqdimacsFAIL900.03
stay18n.dqdimacsFAIL900.03
genbuf3f4y.dqdimacsFAIL900.03
genbuf15f14unrealy.dqdimacsFAIL900.03
add16n.dqdimacsFAIL900.03
genbuf5f4unrealn.dqdimacsFAIL900.03
amba4b9n.dqdimacsFAIL900.03
genbuf6b4y.dqdimacsFAIL900.04
amba6c5n.dqdimacsFAIL900.04
ifm_amba15n.dqdimacsFAIL900.04
amba10b4unrealy.dqdimacsFAIL900.04
amba2f8unrealy.dqdimacsFAIL900.04
genbuf8b4y.dqdimacsFAIL900.04
genbuf4c3n.dqdimacsFAIL900.04
genbuf10b4y.dqdimacsFAIL900.04
genbuf10c3n.dqdimacsFAIL900.04
genbuf9c2unrealy.dqdimacsFAIL900.04
amba9b5y.dqdimacsFAIL900.04
genbuf11c2unrealy.dqdimacsFAIL900.05
amba7b4unrealy.dqdimacsFAIL900.05
amba3b4unrealy.dqdimacsFAIL900.05
mv20y.dqdimacsFAIL900.05
amba3c5n.dqdimacsFAIL900.05
amba8f57n.dqdimacsFAIL900.05
genbuf16c3y.dqdimacsFAIL900.06
genbuf11c2unrealn.dqdimacsFAIL900.06
amba8c6unrealn.dqdimacsFAIL900.06
amba8f56unrealy.dqdimacsFAIL900.06
genbuf15f15n.dqdimacsFAIL900.06
genbuf11b3unrealn.dqdimacsFAIL900.06
genbuf9c3n.dqdimacsFAIL900.07
genbuf1b4n.dqdimacsFAIL900.07
genbuf14c2unrealn.dqdimacsFAIL900.07
genbuf1f3unrealn.dqdimacsFAIL900.07
add10y.dqdimacsFAIL900.07
mv20n.dqdimacsFAIL900.07
amba4c7n.dqdimacsFAIL900.07
bs128y.dqdimacsFAIL900.08
bs64n.dqdimacsFAIL900.08
stay12y.dqdimacsFAIL900.09
genbuf11f11y.dqdimacsFAIL900.09
genbuf9b4n.dqdimacsFAIL900.09
genbuf12f12y.dqdimacsFAIL900.09
add20n.dqdimacsFAIL900.1