Detail page for s1269 family


	Submitter:	Sakallah

	Suite:	Mneimneh-Sakallah

	Domain:	Formal Verification

	Description:

	Number of instances:	14

	Results:	2020 - Track 1 2018 - Track 5 2017 - Track 1 2017 - Track 2 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 1 2008 - Track 1 2005 - Track 1 2004 - Track 1

	Instances:	s1269_d10_s s1269_d11_u s1269_d12_u s1269_d13_u s1269_d14_u s1269_d15_u s1269_d2_s s1269_d3_s s1269_d4_s s1269_d5_s s1269_d6_s s1269_d7_s s1269_d8_s s1269_d9_s

The Quantified Boolean Formulas Satisfiability Library