Browsing: avenger running time