Benchmarks for the ProB (Dis)prover