Instances of family sketch solved by DynQBF-bloqqer-hqspre-it
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
LoginServiceFAIL900
PhaseServiceFAIL900
ConcreteActivityServiceFAIL900
NotificationServiceImpl2FAIL900
IssueServiceImplFAIL900
IterationServiceFAIL900
ActivityServiceFAIL900
GuidanceServiceFAIL900
GuidanceService2FAIL900