My CPAchecker benchmarks