Detail page for sketch family


	Submitter:	Markus N. Rabe

	Suite:	Rabe

	Domain:	Miscellanea

	Description:

	Number of instances:	14

	Results:	2020 - Track 1 2019 - Track 1 2018 - Track 1 2018 - Track 3 2018 - Track 5 2017 - Track 1 2017 - Track 3

	Instances:	ActivityService ActivityService2 ConcreteActivityService GuidanceService GuidanceService2 IssueServiceImpl IterationService LoginService LoginService2 NotificationServiceImpl2 PhaseService ProcessBean ProjectService3 UserServiceImpl

The Quantified Boolean Formulas Satisfiability Library