Add execution time to results and extend the max length of the ouptut #6

Merged
henrik merged 6 commits from execution_time into main 2026-03-31 10:28:40 +00:00
No description provided.