Detail page for PetriGames family


	Submitter:	Jesko Hecking-Harbusch

	Suite:	HeckingHarbusch

	Domain:	Miscellanea

	Description:

	Number of instances:	25

	Results:	2018 - Track 2

	Instances:	pg-hkb-10 pg-hkb-11 pg-hkb-12 pg-hkb-13 pg-hkb-14 pg-hkb-15 pg-hkb-16 pg-hkb-17 pg-hkb-18 pg-hkb-19 pg-hkb-2 pg-hkb-20 pg-hkb-21 pg-hkb-22 pg-hkb-23 pg-hkb-24 pg-hkb-25 pg-hkb-26 pg-hkb-3 pg-hkb-4 pg-hkb-5 pg-hkb-6 pg-hkb-7 pg-hkb-8 pg-hkb-9

The Quantified Boolean Formulas Satisfiability Library