We don't use filtertime ratios any more. If Ambidexter can't filter within
a specific time limit, then we exit.
Also minor changes to pretty printing