QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'08 - non-prenex non-cnf track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| NCFS_bin | 150 | 150 | 93 | 57 | 332.7 | qpro |
| NuSMV_diam_bin | 92 | 66 | 65 | 1 | 772.43 | qpro |
| QLTL_safety | 250 | 50 | 0 | 50 | 8.89 | pQBF |