Tools for testing/benchmarking the Sibyl