Index of /reports/herbie/1725620694:nightly:artem-batch-rewrite:295b516e7a/numerics/24-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      06-Sep-2024 11:00                3213
points.json.gz                                     06-Sep-2024 11:00                 303
profile.json.gz                                    06-Sep-2024 11:00               12240
timeline.html.gz                                   06-Sep-2024 11:00                6150
timeline.json.gz                                   06-Sep-2024 11:00                3512