Manual:Benchmarker/de-formal

Details edit

Base code for benchmark scripts.