QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-6x6-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 | 2358.28 | 589.57 | 10.3 | 591.03 | 20.18 | 0 |
| ghostq-plain | 1145.16 | 286.29 | 74.77 | 300.63 | 114.46 | 0.25 |
| qsts | 993.67 | 248.42 | 27.19 | 241.59 | 37.48 | 0 |
| quabs-minisat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| quabs-picosat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| rareqs-nn | 2398.17 | 599.54 | 0.04 | 599.52 | 0.05 | 0 |
| xb-bid-qsts | 1296.34 | 324.09 | 275.82 | 335.48 | 550.69 | 0.5 |
| xb-qsts | 1294.5 | 323.63 | 276.31 | 334.84 | 551.71 | 0.5 |