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

InstanceResultTime
GuidanceService2UNSAT3.43
GuidanceServiceUNSAT3.46
IssueServiceImplUNSAT7.57
ConcreteActivityServiceUNSAT279.62
ActivityServiceUNSAT542.9
PhaseServiceUNSAT554.28
IterationServiceUNSAT555.54
LoginServiceFAIL900
NotificationServiceImpl2FAIL900