QBF Solver Evaluation Portal
qbflib.orgFamily mqm 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 | 1539.76 | 11.32 | 74.11 | 0.48 | 0.7 | 0.985 |
| ghostq-plain | 3891.33 | 28.61 | 96.39 | 1.21 | 19.42 | 0.978 |
| qsts | 31.38 | 0.23 | 0.9 | 0.06 | 0.15 | 1 |
| quabs-minisat | 1464.53 | 10.77 | 74.01 | 0.11 | 0.22 | 0.985 |
| quabs-picosat | 819 | 6.02 | 51.31 | 0.2 | 1.16 | 0.993 |
| rareqs-nn | 1363.54 | 10.03 | 72.05 | 0.7 | 1.31 | 0.985 |
| xb-bid-qsts | 439.22 | 3.23 | 17.94 | 0.05 | 0 | 1 |
| xb-qsts | 433.98 | 3.19 | 17.75 | 0.05 | 0 | 1 |