redex: adjust benchmark time calculations

also dont' add timeouts to totals