Format thousands; Bug: Default now runs the given amount of times; small logging improvements; add some experiment results