QBF Solver Evaluation Portal
qbflib.orgFamily C6288 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 | 2399.04 | 599.76 | 0.05 | 599.76 | 0.1 | 0 |
| ghostq-plain | 2399.24 | 599.81 | 0 | 599.81 | 0 | 0 |
| qsts | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| quabs-minisat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| quabs-picosat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
| rareqs-nn | 2398.74 | 599.69 | 0.04 | 599.71 | 0.05 | 0 |
| xb-bid-qsts | 600.91 | 150.23 | 259.51 | 0.43 | 299.7 | 0.75 |
| xb-qsts | 600.9 | 150.23 | 259.51 | 0.42 | 299.7 | 0.75 |