Delete BenchmarkWorld.ctxt