QBF Solver Evaluation Portal
qbflib.orgFamily tipdiam 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 | 1209.03 | 241.81 | 292.29 | 9.31 | 304.41 | 0.6 |
| ghostq-plain | 1200.46 | 240.09 | 293.63 | 0.86 | 300.2 | 0.6 |
| qsts | 0.14 | 0.03 | 0.02 | 0.03 | 0.03 | 1 |
| quabs-minisat | 848.23 | 169.65 | 235.58 | 0.03 | 124.25 | 0.8 |
| quabs-picosat | 1199.5 | 239.9 | 293.78 | 0.06 | 299.88 | 0.6 |
| rareqs-nn | 1201.09 | 240.22 | 293.48 | 1.21 | 300.13 | 0.6 |
| xb-bid-qsts | 1403.11 | 280.62 | 270.7 | 202.01 | 400.03 | 0.6 |
| xb-qsts | 1402.05 | 280.41 | 270.77 | 201.09 | 399.63 | 0.6 |