QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - 2QBF Track.
Best Solver: xb-bid-qsts Time: 508.02 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| xb-bid-qsts(508.02) |  |