Title: Fallstudie zur Parallelisierung automatischer Beweisverfahren