Index of /reports/herbie/1674555041:nightly:main:5c6a744c6f/numerics/14-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      24-Jan-2023 10:03                2387
interactive.js                                     24-Jan-2023 10:03                 749
points.json.gz                                     24-Jan-2023 10:03                 314
profile.json.gz                                    24-Jan-2023 10:03                2525
timeline.html.gz                                   24-Jan-2023 10:03                1888
timeline.json.gz                                   24-Jan-2023 10:03                 736