For tracking performance of different optimization methods, it will be useful to know how long it takes to perform both optimization and extraction for a given file. In this revision, this information is recorded by the timing manager and returned to the user in the stat.tsv file.
For tracking performance of different optimization methods, it will be useful to know how long it takes to perform both optimization and extraction for a given file. In this revision, this information is recorded by the timing manager and returned to the user in the stat.tsv file.