PanLinx: total running time