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: