QBF Solver Evaluation Portal
qbflib.orgSota solver results for family sketch
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ConcreteActivityService | caqe-pre | UNSAT | 102.58 |  |
| GuidanceService | Rareqs_2018 | UNSAT | 0 | |
| GuidanceService2 | Rareqs_2018 | UNSAT | 0 | |
| IterationService | Rareqs_2018 | UNSAT | 316.83 | |
| PhaseService | Rareqs_2018 | UNSAT | 319.27 | |