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

InstanceResultTime
GuidanceServiceUNSAT0
GuidanceService2UNSAT0
IterationServiceUNSAT318.26
ActivityServiceUNSAT318.77
ActivityService2UNSAT320.7
PhaseServiceUNSAT352.86
IssueServiceImplFAIL900.03
UserServiceImplFAIL900.03
ConcreteActivityServiceFAIL900.03
NotificationServiceImpl2FAIL900.07