Instances of family sketch solved by ijtihad_v2
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
IterationServiceFAIL900
ActivityServiceFAIL900
GuidanceServiceFAIL900
GuidanceService2FAIL900
LoginServiceFAIL900
PhaseServiceFAIL900
ConcreteActivityServiceFAIL900
NotificationServiceImpl2FAIL900
IssueServiceImplFAIL900