QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ghostq-cegar | 607.63 | 121.53 | 239.1 | 2.89 | 3.28 | 0.8 |
| ghostq-plain | 103.65 | 20.73 | 25.85 | 2.66 | 18.9 | 1 |
| qsts | 768.92 | 153.78 | 226.2 | 53.01 | 75.88 | 0.8 |
| quabs-minisat | 0.51 | 0.1 | 0.18 | 0.01 | 0.01 | 1 |
| quabs-picosat | 1200.28 | 240.06 | 293.66 | 0.65 | 300.08 | 0.6 |
| rareqs-nn | 1403.43 | 280.69 | 264.34 | 144.62 | 342.37 | 0.6 |
| xb-bid-qsts | 6.43 | 1.29 | 2.05 | 0.32 | 0.17 | 1 |
| xb-qsts | 7.28 | 1.46 | 2.41 | 0.3 | 0.16 | 1 |