QBF Solver Evaluation Portal
qbflib.orgFamily Qshifter 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 | 896.22 | 298.74 | 212.46 | 419.62 | 419.54 | 0.333 |
| ghostq-plain | 662.73 | 220.91 | 158.67 | 296.83 | 296.75 | 0.333 |
| qsts | 1199.26 | 399.75 | 282.65 | 599.52 | 599.5 | 0.333 |
| quabs-minisat | 1199.52 | 399.84 | 282.73 | 599.71 | 599.71 | 0.333 |
| quabs-picosat | 1199.52 | 399.84 | 282.73 | 599.71 | 599.71 | 0.333 |
| rareqs-nn | 1197.82 | 399.27 | 282.27 | 598.42 | 598.34 | 0.333 |
| xb-bid-qsts | 626.9 | 208.97 | 275.9 | 28.01 | 27.94 | 0.667 |
| xb-qsts | 628.71 | 209.57 | 275.51 | 29.82 | 29.75 | 0.667 |