Detail page for Bloem

Detail page for Bloem_dqbf family


	Submitter:	Roderick Bloem

	Suite:	Bloem

	Domain:	Formal Verification

	Description:

	Number of instances:	182

	Results:	2020 - Track 4 2019 - Track 3 2018 - Track 4

	Instances:	add10n.dqdimacs add10y.dqdimacs add16n.dqdimacs add20n.dqdimacs add2n.dqdimacs add2y.dqdimacs add4n.dqdimacs add4y.dqdimacs add6n.dqdimacs add6y.dqdimacs add8y.dqdimacs amba10b4unrealy.dqdimacs amba10c4unrealn.dqdimacs amba10f37n.dqdimacs amba2b8unrealn.dqdimacs amba2b8unrealy.dqdimacs amba2c7n.dqdimacs amba2f8unrealn.dqdimacs amba2f8unrealy.dqdimacs amba3b4unrealn.dqdimacs amba3b4unrealy.dqdimacs amba3b5n.dqdimacs amba3c4unrealy.dqdimacs amba3c5n.dqdimacs amba3f8unrealy.dqdimacs amba4b8unrealy.dqdimacs amba4b9n.dqdimacs amba4c6unrealy.dqdimacs amba4c7n.dqdimacs amba4c7y.dqdimacs amba5b4unrealn.dqdimacs amba5b4unrealy.dqdimacs amba5c5y.dqdimacs amba5f17n.dqdimacs amba6b5n.dqdimacs amba6b5y.dqdimacs amba6c5n.dqdimacs amba6c5y.dqdimacs amba6f21y.dqdimacs amba7b4unrealy.dqdimacs amba7b5n.dqdimacs amba7c4unrealy.dqdimacs amba7f24unrealn.dqdimacs amba8b5unrealy.dqdimacs amba8c6unrealn.dqdimacs amba8c7y.dqdimacs amba8f56unrealy.dqdimacs amba8f57n.dqdimacs amba9b5y.dqdimacs amba9c5n.dqdimacs bs128y.dqdimacs bs16n.dqdimacs bs16y.dqdimacs bs32n.dqdimacs bs32y.dqdimacs bs64n.dqdimacs bs8y.dqdimacs cnt10n.dqdimacs cnt10y.dqdimacs cnt11n.dqdimacs cnt11y.dqdimacs cnt20y.dqdimacs cnt2n.dqdimacs cnt2unrealy.dqdimacs cnt30y.dqdimacs cnt3n.dqdimacs cnt3y.dqdimacs cnt4n.dqdimacs cnt6n.dqdimacs cnt6y.dqdimacs cnt7y.dqdimacs cnt9n.dqdimacs cnt9y.dqdimacs eq1.dqdimacs ex1.dqdimacs ex2.dqdimacs genbuf10b4y.dqdimacs genbuf10c3n.dqdimacs genbuf11b3unrealn.dqdimacs genbuf11c2unrealn.dqdimacs genbuf11c2unrealy.dqdimacs genbuf11f11n.dqdimacs genbuf11f11y.dqdimacs genbuf12b4y.dqdimacs genbuf12f12n.dqdimacs genbuf12f12y.dqdimacs genbuf13b4n.dqdimacs genbuf13f13y.dqdimacs genbuf14b3unrealn.dqdimacs genbuf14c2unrealn.dqdimacs genbuf14c3n.dqdimacs genbuf14c3y.dqdimacs genbuf15b4y.dqdimacs genbuf15c3y.dqdimacs genbuf15f14unrealy.dqdimacs genbuf15f15n.dqdimacs genbuf15f15y.dqdimacs genbuf16c2unrealn.dqdimacs genbuf16c3y.dqdimacs genbuf1b3unrealn.dqdimacs genbuf1b4n.dqdimacs genbuf1c2unrealn.dqdimacs genbuf1c3y.dqdimacs genbuf1f3unrealn.dqdimacs genbuf2b3unrealn.dqdimacs genbuf2b4n.dqdimacs genbuf2c3n.dqdimacs genbuf2f3unrealy.dqdimacs genbuf3b3unrealy.dqdimacs genbuf3c2unrealn.dqdimacs genbuf3c3y.dqdimacs genbuf3f4n.dqdimacs genbuf3f4y.dqdimacs genbuf4c3n.dqdimacs genbuf5b4n.dqdimacs genbuf5b4y.dqdimacs genbuf5f4unrealn.dqdimacs genbuf5f4unrealy.dqdimacs genbuf6b4y.dqdimacs genbuf7c2unrealn.dqdimacs genbuf7f7y.dqdimacs genbuf8b3unrealn.dqdimacs genbuf8b4y.dqdimacs genbuf8c2unrealn.dqdimacs genbuf9b4n.dqdimacs genbuf9c2unrealy.dqdimacs genbuf9c3n.dqdimacs genbuf9f8unrealy.dqdimacs ifm_amba03y.dqdimacs ifm_amba03_fixed_o.dqdimacs ifm_amba15n.dqdimacs ifm_amba15y.dqdimacs ifm_genbuf16n.dqdimacs ifm_genbuf16y.dqdimacs mult11.dqdimacs mult2.dqdimacs mult4.dqdimacs mult6.dqdimacs mult9.dqdimacs mv10n.dqdimacs mv11n.dqdimacs mv12n.dqdimacs mv14n.dqdimacs mv16n.dqdimacs mv20n.dqdimacs mv20y.dqdimacs mv2n.dqdimacs mv4n.dqdimacs mv8y.dqdimacs mv9y.dqdimacs mvs12n.dqdimacs mvs16y.dqdimacs mvs24n.dqdimacs mvs28n.dqdimacs mvs2n.dqdimacs mvs2y.dqdimacs mvs4n.dqdimacs mvs8n.dqdimacs mvs8y.dqdimacs namba02_new_07nrc_o.dqdimacs namba03_new_05nrc_o.dqdimacs namba04_new_07nrc_o.dqdimacs ngenbuf03_03nrc_o.dqdimacs sh_u.dqdimacs sh_u_o.dqdimacs stay12n.dqdimacs stay12y.dqdimacs stay16n.dqdimacs stay16y.dqdimacs stay18n.dqdimacs stay18y.dqdimacs stay22n.dqdimacs stay22y.dqdimacs stay24y.dqdimacs stay2n.dqdimacs stay4n.dqdimacs stay4y.dqdimacs stay6n.dqdimacs stay6y.dqdimacs stay8y.dqdimacs unr.dqdimacs unrealizable.dqdimacs

The Quantified Boolean Formulas Satisfiability Library

Detail page for Bloem_dqbf family