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