QBF Solver Evaluation Portal
qbflib.orgSuite Seidl 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 | 73426.32 | 489.51 | 181.52 | 600.07 | 234.79 | 0.307 |
| pQBF | 84912.69 | 566.08 | 128.63 | 600.04 | 0.01 | 0.073 |
| qpro | 332.7 | 2.22 | 6.03 | 0.37 | 1.18 | 1 |