• This function extracts the values of the termination message for each instance per solver, from the results data.

    Parameters

    • traceData: TraceData[]

      Array of objects containing the result data.

    Returns string[]

    • An object with solver names as keys. Each solver contains a counter of the instance status messages.

Generated using TypeDoc