Index of /reports/herbie/1700570588:nightly:mixed-precision:4de0bbe849/numerics/14-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      21-Nov-2023 12:37                3042
interactive.js                                     21-Nov-2023 12:37                 749
points.json.gz                                     21-Nov-2023 12:37                 314
profile.json.gz                                    21-Nov-2023 12:37                2644
timeline.html.gz                                   21-Nov-2023 12:37                1962
timeline.json.gz                                   21-Nov-2023 12:37                 754