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