Instance | Solver | Result | Time | |
---|---|---|---|---|
ActivityService | Rareqs_2018 | UNSAT | 318.77 | |
ActivityService2 | Rareqs_2018 | UNSAT | 320.7 | |
GuidanceService | CADET_2017 | UNSAT | 0 | |
GuidanceService2 | CADET_2017 | UNSAT | 0 | |
IssueServiceImpl | Cued_3_2018 | UNSAT | 33.18 | |
IterationService | Rareqs_2018 | UNSAT | 318.26 | |
PhaseService | Rareqs_2018 | UNSAT | 352.86 | |
UserServiceImpl | Cued_2_2018 | UNSAT | 134.38 |