QBF Solver Evaluation Portal
qbflib.orgInstances of family sketch solved by Heretiq-cube
QBFEVAL'18 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| UserServiceImpl | FAIL | 523.59 | |
| IssueServiceImpl | FAIL | 538.55 | |
| ConcreteActivityService | FAIL | 578.07 | |
| ActivityService | FAIL | 595.18 | |
| GuidanceService2 | FAIL | 595.36 | |
| PhaseService | FAIL | 601.84 | |
| ActivityService2 | FAIL | 651.67 | |
| GuidanceService | FAIL | 654.36 | |
| IterationService | FAIL | 656.42 | |
| NotificationServiceImpl2 | FAIL | 774.76 |