Processed data used in the different charts.
Type of file extension for the imported data. As of now, either one or more .trc or a single .json. Text based files were removed.
The default time for the performance profile chart.
Gap limit value for the performance profile chart.
Raw data of the imported benchmark results.
Unprocessed instanceinfo.csv containing properties.
Unprocessed minlplib.solu. Best known primal and dual bounds for each instance.
The mutable state shared between the application modules.