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

InstanceResultTime
GuidanceServiceUNSAT28.08
GuidanceService2UNSAT28.2
ConcreteActivityServiceUNSAT102.38
PhaseServiceFAIL900.02
ActivityService2FAIL900.04
IterationServiceFAIL900.06
NotificationServiceImpl2FAIL900.07
UserServiceImplFAIL900.08
IssueServiceImplFAIL900.08
ActivityServiceFAIL900.09