Index of /reports/herbie/1701175864:nightly:mixed-precision:a618301e52/numerics/14-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      28-Nov-2023 12:45                3041
interactive.js                                     28-Nov-2023 12:45                 749
points.json.gz                                     28-Nov-2023 12:45                 314
profile.json.gz                                    28-Nov-2023 12:45                3207
timeline.html.gz                                   28-Nov-2023 12:45                1972
timeline.json.gz                                   28-Nov-2023 12:45                 761