Index of /BENCHMARK_DATASET_NAME=full/RANDOMIZED=1/SORTED=1/1bfdb35740f91d116bf51891b44c878043ec2363/

../
2025-07-10T17:43:58.183741968+02:00/               10-Jul-2025 17:55                   -
2025-07-10T21:28:19.032871949+02:00/               10-Jul-2025 19:32                   -
2025-07-10T23:00:16.066398619+02:00/               10-Jul-2025 21:03                   -
2025-07-10T23:08:01.467553621+02:00/               10-Jul-2025 21:11                   -
2025-07-10T23:16:31.221039513+02:00/               10-Jul-2025 21:20                   -
summary-cpu time.svg                               10-Jul-2025 21:20               23211
summary-ctx switches.svg                           10-Jul-2025 21:20               23885
summary-real time.svg                              10-Jul-2025 21:20               23681
summary-sys time.svg                               10-Jul-2025 21:20               24866
summary.xlsx                                       10-Jul-2025 21:20              123046