1. gzipped tarball for benchmarks for computational tree logic prover comparison presented at IJCAR 2010 Workshop CLoDeM.
   
2. gzipped tarball for benchmarks for computational tree logic prover comparison submitted to TIME 2011. A more thorough comparison wrt the IJCAR 2010 Workshop paper.
   
3. gzipped tarball for benchmarks for computational tree logic prover comparison from Jimmy Thomson's PhD Dissertation (2014). Includes results for Jimmy's provers.