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

InstanceResultTime
GuidanceService2UNSAT11.69
GuidanceServiceUNSAT11.8
IterationServiceFAIL900
ActivityServiceFAIL900
LoginServiceFAIL900
PhaseServiceFAIL900
ConcreteActivityServiceFAIL900
NotificationServiceImpl2FAIL900
IssueServiceImplFAIL900