t.getElementById('time-or-size').innerText = 'time';
        } else if (selectors.metric == 'size') {
            summaries = filtered_data.map(elem => elem.data_size / min_data_size);
            document.getElementById('time-or-size').innerText = 'size';
        } else {
            summaries = filtered_data.map(elem => {
                const fallback_timing = missing_result_penalty * Math.max(missing_result_time, ...elem.result.map(timings => selectRun(timings)));

                let accumulator = 0;
 