Run singlepath benchmarks on tank-3