System Documentation
    Preparing search index...
    • This function dynamically creates and displays a HTML table based on solver's time statistics.

      Parameters

      • solverTimeStats: { [SolverName: string]: StatisticsColumns }

        An object where each key is the name of a solver and each value is another object that holds statistical metrics (average, min, max, std, sum, and percentiles) for the solver's runtime.

      • title: string

        A string that will be used as the table caption.

      Returns void

      The table is added to the 'statisticsTable' HTML div. For each solver, it creates a row with the solver's name in the first column, and the solver's statistics in the subsequent columns. Note: this function directly manipulates the DOM and doesn't return anything.