Index of /reports/herbie/1737139837:nightly:new-encoding:960320b038/numerics/24-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      17-Jan-2025 18:47                3372
points.json.gz                                     17-Jan-2025 18:47                 302
profile.json.gz                                    17-Jan-2025 18:47                8158
timeline.html.gz                                   17-Jan-2025 18:47                5573
timeline.json.gz                                   17-Jan-2025 18:47                3289