Detail page for s298 family


	Submitter:	Sakallah

	Suite:	Mneimneh-Sakallah

	Domain:	Formal Verification

	Description:

	Number of instances:	24

	Results:	2017 - Track 1 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 1 2008 - Track 1 2007 - Track 1 2006 - Track 1 2005 - Track 1 2004 - Track 1

	Instances:	s298_d10_s s298_d11_s s298_d12_s s298_d13_s s298_d14_s s298_d15_s s298_d16_s s298_d17_s s298_d18_s s298_d19_u s298_d20_u s298_d21_u s298_d22_u s298_d23_u s298_d24_u s298_d25_u s298_d2_s s298_d3_s s298_d4_s s298_d5_s s298_d6_s s298_d7_s s298_d8_s s298_d9_s

The Quantified Boolean Formulas Satisfiability Library