Instances of family sketch solved by Hiqqer2019_1
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
ConcreteActivityServiceFAIL899.57
NotificationServiceImpl2FAIL899.74
UserServiceImplFAIL899.98
PhaseServiceFAIL900.02
GuidanceService2FAIL900.03
ActivityService2FAIL900.03
ActivityServiceFAIL900.04
GuidanceServiceFAIL900.05
IssueServiceImplFAIL900.05
IterationServiceFAIL900.05