The following three tar files contain benchmark formulas for the propositional modal logics K, KT, and S4.
These formulas were generated by the LWB programs in the compressed
tar file
lwb_progs.tar.Z
.
If you have a question/problem/... concerning these benchmark formulas,
send a mail to lwb@iam.unibe.ch
.