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

../
2025-07-10T19:55:45.620646703+02:00/               10-Jul-2025 19:28                   -
2025-07-10T21:32:09.328805861+02:00/               10-Jul-2025 19:36                   -
2025-07-10T23:04:00.735562683+02:00/               10-Jul-2025 21:07                   -
2025-07-10T23:11:50.135129648+02:00/               10-Jul-2025 21:16                   -
2025-07-10T23:20:59.459309458+02:00/               10-Jul-2025 21:25                   -
summary-cpu time.svg                               10-Jul-2025 21:25               22007
summary-ctx switches.svg                           10-Jul-2025 21:25               21893
summary-real time.svg                              10-Jul-2025 21:25               22160
summary-sys time.svg                               10-Jul-2025 21:25               23281
summary.xlsx                                       10-Jul-2025 21:25               87464