Index of /BENCHMARK_DATASET_NAME=full/RANDOMIZED=1/SORTED=0/6529f1a4638ed875c3626b1e6427d4f791f3ac59/

../
2025-07-15T13:16:17.021672664+02:00/               15-Jul-2025 12:50                   -
2025-07-15T15:03:17.928630771+02:00/               15-Jul-2025 13:07                   -
2025-07-15T16:37:39.881064585+02:00/               15-Jul-2025 14:41                   -
2025-07-15T16:53:44.088734249+02:00/               15-Jul-2025 14:57                   -
2025-07-15T17:10:57.586964299+02:00/               15-Jul-2025 15:14                   -
summary-cpu time.svg                               15-Jul-2025 15:14               22219
summary-ctx switches.svg                           15-Jul-2025 15:14               21897
summary-real time.svg                              15-Jul-2025 15:14               22602
summary-sys time.svg                               15-Jul-2025 15:14               23479
summary.xlsx                                       15-Jul-2025 15:14               87410