Instance | Solver | Result | Time | |
---|---|---|---|---|
ActivityService | xb-qsts_bqsts2.0 | UNSAT | 36.91 | |
ConcreteActivityService | caqe_2017_v3 | UNSAT | 279.62 | |
GuidanceService | CADET_2017 | UNSAT | 0.15 | |
GuidanceService2 | CADET_2017 | UNSAT | 0.15 | |
IssueServiceImpl | caqe_2017_v3 | UNSAT | 7.57 | |
IterationService | xb-qsts_bqsts2.0 | UNSAT | 36.81 | |
NotificationServiceImpl2 | xb-qsts_bqsts2.0 | UNSAT | 42.92 | |
PhaseService | xb-qsts_bqsts2.0 | UNSAT | 36.75 |