QBF Solver Evaluation Portal
qbflib.orgSota solver results for family sketch
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ConcreteActivityService | Caqe-hqspre | UNSAT | 102.38 |  |
| GuidanceService | Qute_default | UNSAT | 3.25 | |
| GuidanceService2 | Qute_default | UNSAT | 3.2 | |