Instances of family sketch solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
GuidanceServiceUNSAT0
GuidanceService2UNSAT0
ActivityServiceUNSAT319.45
ActivityService2UNSAT320.88
IterationServiceUNSAT352.93
PhaseServiceUNSAT353.7
ConcreteActivityServiceFAIL900.02
IssueServiceImplFAIL900.02
UserServiceImplFAIL900.05
NotificationServiceImpl2FAIL900.08