renamed BenchExec and timeTrial variants