QBF Solver Evaluation Portal
qbflib.orgFamily C5315 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 | 602.42 | 150.61 | 259.35 | 1.25 | 300.98 | 0.75 |
| ghostq-plain | 603.76 | 150.94 | 259.22 | 1.88 | 301.67 | 0.75 |
| qsts | 1199.52 | 299.88 | 299.88 | 299.86 | 599.76 | 0.5 |
| quabs-minisat | 1199.44 | 299.86 | 299.85 | 299.86 | 599.7 | 0.5 |
| quabs-picosat | 1034.3 | 258.58 | 265.09 | 217.24 | 517.12 | 0.75 |
| rareqs-nn | 1199.77 | 299.94 | 299.72 | 299.93 | 599.44 | 0.5 |
| xb-bid-qsts | 600.18 | 150.05 | 259.61 | 0.21 | 299.96 | 0.75 |
| xb-qsts | 600.27 | 150.07 | 259.6 | 0.25 | 300.01 | 0.75 |