Detail page for hex-hein


	Submitter:	Valentin Mayer-Eichberger

	Suite:	MayerEichberger-Saffidine

	Domain:	Miscellanea

	Description:

	Number of instances:	23

	Results:

	Instances:	browne_5x5_07_2020 browne_5x5_09_2020 hein_04_3x3-03_2020 hein_04_3x3-05_2020 hein_06_4x4-11_2020 hein_06_4x4-13_2020 hein_07_4x4-07_2020 hein_07_4x4-09_2020 hein_08_5x5-09_2020 hein_08_5x5-11_2020 hein_09_4x4-05_2020 hein_09_4x4-07_2020 hein_10_5x5-11_2020 hein_11_5x5-09_2020 hein_11_5x5-11_2020 hein_12_4x4-05_2020 hein_12_4x4-07_2020 hein_13_5x5-07_2020 hein_13_5x5-09_2020 hein_14_5x5-07_2020 hein_14_5x5-09_2020 hein_19_5x5-09_2020 hein_19_5x5-11_2020

The Quantified Boolean Formulas Satisfiability Library