vampire_benchmarks