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.

GridTest is mostly made of Python scripts, with some additional Bash scripts. LaTeX and gnuplot are required to build the test reports (this can be done manually afterwards if this tools are not available in the machine launching the tests).

Source tarballs:

Latest development version: