Index of /BENCHMARK_DATASET_NAME=full/RANDOMIZED=1/SORTED=0/07c42b24be8995585a8ec0a4c830937aa384dc26/

../
2025-07-07T14:19:12.722855217+02:00/               07-Jul-2025 13:55                   -
2025-07-07T15:55:40.184676828+02:00/               07-Jul-2025 13:59                   -
2025-07-08T08:30:37.906471158+02:00/               08-Jul-2025 06:34                   -
2025-07-08T08:59:18.388837225+02:00/               08-Jul-2025 07:03                   -
2025-07-10T01:43:21.122164507+02:00/               09-Jul-2025 23:47                   -
summary-cpu time.svg                               09-Jul-2025 23:47               22000
summary-ctx switches.svg                           09-Jul-2025 23:47               22090
summary-real time.svg                              09-Jul-2025 23:47               22605
summary-sys time.svg                               09-Jul-2025 23:47               23288
summary.xlsx                                       09-Jul-2025 23:47               87702