GridTest: Evaluate your theorem provers in parallel!
GridTest is a set of scripts used to benchmark provers. The testing methodology is based on random generation of modal/hybrid-CNF formulas and, therefore, currently suits the needs of modal and hybrid theorem provers developers.
The distinguishing feature of this suite is that it may be run in a massively parallel way, dramatically reducing execution times. To run a test in parallel one only needs access to a grid running OAR and appropiate prover binaries for the grid architecture.
Latest development version: