.createCaption().innerHTML = tableName;
    tableElem.setAttribute('border', '1');
    return tableElem;
  }


  /**
   * Add a row to the table element with a certain device benchmark record.
   */
  function addDevice(tableElem, tableHeaderfileds, tableData, deviceName) {
    const deviceData = tableData[deviceName];
    const row = tableElem.insertRow(tableElem.rows.length);
    let deviceNameCell = row.insertCell(0);
    deviceNameCell.innerHTML = deviceName;

    for (const filedName of tableHeaderfile