Suite Pan
Download(56900 Kb) | |||
Submitter: | Pan | ||
Description: | Encodings of modal K formulas satisfiability into QBF. The original instances have been proposed during the TANCS'98 comparison of theorem provers for modal logics. | ||
Number of families: | 19 | ||
Families: | |||
Results: |
| ||