tarball for the theorem prover
tarball for benchmarks