QBF Solver Evaluation Portal
qbflib.orgSota solver results for family sketch
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ActivityService | Rareqs_2018 | UNSAT | 319.45 |  |
| ActivityService2 | Rareqs_2018 | UNSAT | 320.88 | |
| GuidanceService | Caqe-bloqqer | UNSAT | 0 | |
| GuidanceService2 | Caqe-bloqqer | UNSAT | 0 | |
| IssueServiceImpl | Cued_3_2018 | UNSAT | 33.16 | |
| IterationService | Rareqs_2018 | UNSAT | 352.93 | |
| PhaseService | Rareqs_2018 | UNSAT | 353.7 | |
| UserServiceImpl | Cued_2_2018 | UNSAT | 134.35 | |