Index of /reports/herbie/1737289203:nightly:new-encoding:022cf1b1af/numerics/24-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      19-Jan-2025 12:16                3362
points.json.gz                                     19-Jan-2025 12:16                 302
profile.json.gz                                    19-Jan-2025 12:16                8102
timeline.html.gz                                   19-Jan-2025 12:16                5636
timeline.json.gz                                   19-Jan-2025 12:16                3307