QBF Solver Evaluation Portal
qbflib.orgSuite Basler 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 | 2812.61 | 187.51 | 245.57 | 2.89 | 381.88 | 0.867 |
| ghostq-plain | 4305.97 | 287.06 | 293.01 | 64.94 | 599.6 | 0.533 |
| qsts | 5192.44 | 346.16 | 276.29 | 599.71 | 599.57 | 0.467 |
| quabs-minisat | 4541.99 | 302.8 | 289.85 | 343.41 | 599.7 | 0.533 |
| quabs-picosat | 5998.26 | 399.88 | 282.61 | 599.71 | 599.52 | 0.333 |
| rareqs-nn | 4403.47 | 293.56 | 288.46 | 144.62 | 599.38 | 0.533 |
| xb-bid-qsts | 1864.21 | 124.28 | 237.99 | 0.37 | 8.17 | 0.8 |
| xb-qsts | 2415.2 | 161.01 | 264.5 | 0.36 | 8.11 | 0.733 |