Index of /reports/herbie/1736941108:nightly:new-encoding:a9a293480d/numerics/24-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      15-Jan-2025 11:37                3333
points.json.gz                                     15-Jan-2025 11:37                 304
profile.json.gz                                    15-Jan-2025 11:37                7927
timeline.html.gz                                   15-Jan-2025 11:37                4853
timeline.json.gz                                   15-Jan-2025 11:37                2645