QBF Solver Evaluation Portal
qbflib.orgSuite QBF_1.0 results for solvers
QBFEVAL'08 - non-prenex non-cnf track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| CMS_Solver | 17568.56 | 190.96 | 277.83 | 0.24 | 600.05 | 0.685 |
| pQBF | 12200.32 | 132.61 | 241.7 | 0.22 | 53.46 | 0.674 |
| qpro | 16432.24 | 178.61 | 269.7 | 0.91 | 600.06 | 0.717 |