h1 = t('.title')

- exercises = Exercise.where(:id => @user.submissions.group(:exercise_id).select(:exercise_id).distinct())

.table-responsive
  table.table
    thead
      tr
        - ['.exercise', '.score', '.runs', '.worktime'].each do |title|
          th.header = t(title)
    tbody
      - exercises.each do |exercise|
        - submissions = @user.submissions.where(:exercise_id => exercise.id, :cause => ['submit', 'run'])
        tr
          td = link_to exercise, controller: "exercises", action: "statistics", external_user_id: @user.id, id: exercise.id
          td = submissions.maximum(:score) or 0
          td = submissions.count
          td = exercise.average_working_time_for_only(@user.id) or 0