QBF Solver Evaluation Portal
qbflib.orgqpro results solving families - 2008
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| NCFS_bin | 150 | 93 | 57 | 332.7 |
| NuSMV_diam_bin | 92 | 65 | 1 | 16432.24 |
| QLTL_safety | 500 | 6 | 300296.31 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| NCFS_bin | 150 | 93 | 57 | 332.7 |
| NuSMV_diam_bin | 92 | 65 | 1 | 16432.24 |
| QLTL_safety | 500 | 6 | 300296.31 |