Benchmarks

Here you will find links to benchmarks (sometimes with raw data) we produced to evaluate ProB.

Disprover