In the complete COMPIT distribution package (150MB), you will find the sources which you can freely and easily access, compile and use (citing its origin), and 30 large benchmarks (generated in runs of the Waldmeister, Vampire and Fiesta provers on a diverse set of representative problems), and scripts for easily running the experiments yourself.

In the source code package, you find everything you need to compile the source code for Waldmeister, Vampire and Fiesta together with the COMPIT testing framework.

The benchmarks files that were used for the IJCAR paper, are also available.

You can either download them in one big packet (about 150 MB)

Or download each single benchmark packet

• all the benchmarks chosen by Waldmeister in one packet. TAR-file. About 77 MB.
• all the benchmarks chosen by Vampire in one packet. TAR-file. About 24 MB.
• all the benchmarks that were chosen by the Fiesta people in one packet. TAR-file. About 46.5 MB.

You could also download each benchmark as a single file