Fixed killing of fast running solutions in batch testing.