I’m glad to announce that benchpress is now available in 0.1.
Benchpress is a test/benchmarking tool designed for automated theorem provers (including SMT solvers and first-order provers), both to run a bunch of provers, and to display their results. Results are stored in sqlite files, one per run. The sister package benchpress-server
contains a daemon that provides a web interface to examine the results; a read-only live instance can be seen here.
These are early days for benchpress but it could be of interest to the sub-community of logicians here