Index of /reports/herbie/1701864504:nightly:mixed-precision:1c57b89c02/numerics/14-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      06-Dec-2023 12:03                2966
interactive.js                                     06-Dec-2023 12:03                 749
points.json.gz                                     06-Dec-2023 12:03                 314
profile.json.gz                                    06-Dec-2023 12:03                2889
timeline.html.gz                                   06-Dec-2023 12:03                1957
timeline.json.gz                                   06-Dec-2023 12:03                 760