Index of /reports/herbie/1691710217:nightly:proof-to-json:79819c5fb2/demo/

../
0-subtractionfraction/                             01-Aug-2025 22:28                   -
1-sqrttimes/                                       01-Aug-2025 22:28                   -
2-neglog/                                          01-Aug-2025 22:28                   -
3-jeffquadraticroot2/                              01-Aug-2025 22:28                   -
4-jeffquadraticroot1/                              01-Aug-2025 22:28                   -
5-fabsfraction2/                                   01-Aug-2025 22:28                   -
6-fabsfraction1/                                   01-Aug-2025 22:28                   -
7-expnegsub/                                       01-Aug-2025 22:28                   -
8-sqrtsqr/                                         01-Aug-2025 22:28                   -
index.html.gz                                      10-Aug-2023 23:00                 259
logo-car.png                                       10-Aug-2023 23:00                9354
profile.json.gz                                    10-Aug-2023 23:00               20346
report-page.js                                     10-Aug-2023 23:00               12887
report.css                                         10-Aug-2023 23:00               15042
report.js                                          10-Aug-2023 23:00               22217
results.json.gz                                    10-Aug-2023 23:00                4328
timeline.html.gz                                   10-Aug-2023 23:00                6499
timeline.json.gz                                   10-Aug-2023 23:00               14124