QBF Solver Evaluation Portal
qbflib.orgCirQit2.1 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| mqm | 483 | 23 | 63 | 283412.18 |
| NuSMV_diam | 275 | 72 | 17 | 11971.23 |
| QLTL_safety | 500 | 14 | 102 | 398329.83 |
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| mqm | 483 | 23 | 63 | 283412.18 |
| NuSMV_diam | 275 | 72 | 17 | 11971.23 |
| QLTL_safety | 500 | 14 | 102 | 398329.83 |