QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-8x8-logarithmic 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 | 1577.98 | 394.5 | 135.14 | 361.78 | 240.55 | 0 |
| ghostq-plain | 1242.73 | 310.68 | 98.26 | 365.83 | 118.08 | 0.25 |
| qsts | 1138.6 | 284.65 | 55.06 | 277.47 | 83.64 | 0 |
| quabs-minisat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| quabs-picosat | 1869.49 | 467.37 | 229.22 | 599.71 | 264.69 | 0.25 |
| rareqs-nn | 2397.47 | 599.37 | 0.12 | 599.37 | 0.21 | 0 |
| xb-bid-qsts | 1771.17 | 442.79 | 227.87 | 559.91 | 312.85 | 0.5 |
| xb-qsts | 1768.78 | 442.2 | 227.88 | 558.93 | 314.03 | 0.5 |