Index of /reports/herbie/1700572813:nightly:main:df6c4531d4/numerics/15-FromRumpina1983paperrewritten/

../
graph.html.gz                                      21-Nov-2023 13:14                3281
interactive.js                                     21-Nov-2023 13:14                   0
points.json.gz                                     21-Nov-2023 13:14                1377
profile.json.gz                                    21-Nov-2023 13:14                4890
timeline.html.gz                                   21-Nov-2023 13:14               10148
timeline.json.gz                                   21-Nov-2023 13:14                9679