/thead>
    <tbody id="summary">
    </tbody>
</table>

<div id="nothing-selected" class="stick-left">Nothing selected</div>

<div class="stick-left comparison">
    <h2>Detailed Comparison</h2>
</div>

<table id="details">
    <thead>
    <tr id="details_head">
    </tr>
    </thead>
    <tbody id="details_body">
    </tbody>
</table>

<script type="text/javascript">

    const constant_time_add = 0.01;
    const missing_result_penalty = 2;
    const missing_result_time = 300;

    let selectors = {
      