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: |
| ||