QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'10 - Non-prenex Non-CNF Track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| mqm | 136 | 86 | 23 | 63 | 18370 | CirQit2.1 |
| NuSMV_diam | 92 | 89 | 72 | 17 | 387.57 | CirQit2.1 |
| QLTL_safety | 250 | 116 | 14 | 102 | 38220.4 | CirQit2.1 |