QBF Solver Evaluation Portal
qbflib.orgFamily fpu 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 | 164.3 | 32.86 | 20.47 | 46.41 | 39.05 | 1 |
| ghostq-plain | 165.2 | 33.04 | 20.69 | 46.65 | 39.56 | 1 |
| qsts | 8.3 | 1.66 | 1.68 | 1.44 | 1.36 | 1 |
| quabs-minisat | 141.09 | 28.22 | 28.52 | 13.01 | 35.01 | 0.6 |
| quabs-picosat | 87.58 | 17.52 | 14.29 | 18.48 | 24.19 | 0.6 |
| rareqs-nn | 1807.24 | 361.45 | 287.9 | 596.22 | 587.57 | 0.4 |
| xb-bid-qsts | 1866.26 | 373.25 | 277.5 | 599.72 | 566.22 | 0.4 |
| xb-qsts | 1863.87 | 372.77 | 278.03 | 599.71 | 567.36 | 0.4 |