n_eq. time 9 2606.000000 12 2607.000000 187 2618.000000 129 2614.000000 174 2618.000000 202 2615.000000 143 2617.000000 2 2599.000000 2 2599.000000 39 2617.000000