Instance | Result | Time | |
---|---|---|---|
GuidanceService | UNSAT | 0 | |
GuidanceService2 | UNSAT | 0 | |
ActivityService | UNSAT | 319.45 | |
ActivityService2 | UNSAT | 320.88 | |
IterationService | UNSAT | 352.93 | |
PhaseService | UNSAT | 353.7 | |
ConcreteActivityService | FAIL | 900.02 | |
IssueServiceImpl | FAIL | 900.02 | |
UserServiceImpl | FAIL | 900.05 | |
NotificationServiceImpl2 | FAIL | 900.08 |