Index of /reports/herbie/1687601520:nightly:update-readme-david-june12:03e86f276d/numerics/14-FromWarwickTuckersValidatedNumerics/

../
graph.html.gz                                      24-Jun-2023 10:04                3050
interactive.js                                     24-Jun-2023 10:04                 749
points.json.gz                                     24-Jun-2023 10:04                 314
profile.json.gz                                    24-Jun-2023 10:04                2493
timeline.html.gz                                   24-Jun-2023 10:04                2001
timeline.json.gz                                   24-Jun-2023 10:04                 792