We used to have a page showing translation benchmarks here, but it was completely out-of-date.

More recent benchmarks have been done for the release of version 0.9.1, they show how Spot improved from version to version.

This paper also discusses some of the improvements that have occurred until version 0.7.

LtlTranslationBenchmark (last edited 2012-05-23 11:28:59 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.