Instances of family sketch solved by Qute_default
Prenex CNF Track

InstanceResultTime
GuidanceService2UNSAT3.28
GuidanceServiceUNSAT3.29
IssueServiceImplFAIL900
IterationServiceFAIL900
LoginServiceFAIL900
ProcessBeanFAIL900
PhaseServiceFAIL900
ProjectService3FAIL900
NotificationServiceImpl2FAIL900
ConcreteActivityServiceFAIL900