Benchmark Evaluation of Square-KE

Prover: We used □KE (no version number), which was designed to be a generic theorem prover for the family of 15 normal model logics.