fix benchmarking in ClaspSolver