Instances of family sketch solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
GuidanceServiceUNSAT31.91
GuidanceService2UNSAT32.06
ConcreteActivityServiceUNSAT612.58
IterationServiceFAIL900
LoginServiceFAIL900
ProcessBeanFAIL900
PhaseServiceFAIL900
ProjectService3FAIL900
NotificationServiceImpl2FAIL900
IssueServiceImplFAIL900