QBF Solver Evaluation Portal
qbflib.orgqpro results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| mqm | 483 | 52 | 29 | 254170.55 |
| NuSMV_diam | 275 | 65 | 1 | 94710.8 |
| QLTL_safety | 500 | 6 | 585997.93 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| mqm | 483 | 52 | 29 | 254170.55 |
| NuSMV_diam | 275 | 65 | 1 | 94710.8 |
| QLTL_safety | 500 | 6 | 585997.93 |