QBF Solver Evaluation Portal
qbflib.orgResults for instance connect_6x5_5_D
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Time | Result |
|---|---|---|
| qsts | 0.19 | UNSAT |
| quabs-minisat | 1.3 | UNSAT |
| quabs-picosat | 1.36 | UNSAT |
| ghostq-plain | 2.61 | UNSAT |
| ghostq-cegar | 2.72 | UNSAT |
| rareqs-nn | 4.88 | UNSAT |
| xb-qsts | 5.22 | UNSAT |
| xb-bid-qsts | 5.24 | UNSAT |