QBF Solver Evaluation Portal
qbflib.orgSota solver results for family wmiforward
QBFEVAL'16 - Prenex non-CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| stmt16_950_951 | ghostq-cegar | SAT | 0.26 |  |
| stmt17_18_19 | xb-qsts | SAT | 0.08 | |
| stmt27_296_297 | ghostq-cegar | SAT | 0.16 | |
| stmt41_738_749 | ghostq-cegar | SAT | 0.44 | |
| stmt44_107_108 | qsts | SAT | 0 | |