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

../
2025-07-09T00:06:43.631311110+02:00/               08-Jul-2025 23:38                   -
2025-07-09T02:24:22.123797083+02:00/               09-Jul-2025 01:56                   -
2025-07-09T23:00:19.227768678+02:00/               09-Jul-2025 21:04                   -
2025-07-09T23:16:49.108763234+02:00/               09-Jul-2025 21:20                   -
2025-07-09T23:32:38.789117765+02:00/               09-Jul-2025 21:36                   -
summary-cpu time.svg                               09-Jul-2025 21:36               22007
summary-ctx switches.svg                           09-Jul-2025 21:36               21689
summary-real time.svg                              09-Jul-2025 21:36               22602
summary-sys time.svg                               09-Jul-2025 21:36               23084
summary.xlsx                                       09-Jul-2025 21:36               87545