Index of /reports/herbie/1709379890:nightly:main:36fc83f808/numerics/15-FromRumpina1983paperrewritten/

../
graph.html.gz                                      02-Mar-2024 11:37                3298
interactive.js                                     02-Mar-2024 11:37                   0
points.json.gz                                     02-Mar-2024 11:37                1377
profile.json.gz                                    02-Mar-2024 11:37               15382
timeline.html.gz                                   02-Mar-2024 11:37               24865
timeline.json.gz                                   02-Mar-2024 11:37               28060