Instance | Result | Time | |
---|---|---|---|
GuidanceService | UNSAT | 0 | |
GuidanceService2 | UNSAT | 0 | |
IterationService | UNSAT | 318.26 | |
ActivityService | UNSAT | 318.77 | |
ActivityService2 | UNSAT | 320.7 | |
PhaseService | UNSAT | 352.86 | |
IssueServiceImpl | FAIL | 900.03 | |
UserServiceImpl | FAIL | 900.03 | |
ConcreteActivityService | FAIL | 900.03 | |
NotificationServiceImpl2 | FAIL | 900.07 |