1. gzipped tarball for benchmarks for propositional ALCI logic prover comparison.