QBF Solver Evaluation Portal
qbflib.orgpQBF results solving families - 2008
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| NCFS_bin | 150 | 6 | 5 | 84912.69 |
| NuSMV_diam_bin | 92 | 59 | 3 | 12200.32 |
| QLTL_safety | 500 | 50 | 30116.08 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| NCFS_bin | 150 | 6 | 5 | 84912.69 |
| NuSMV_diam_bin | 92 | 59 | 3 | 12200.32 |
| QLTL_safety | 500 | 50 | 30116.08 |