Index of /reports/herbie/1720617659:nightly:mixed-proofs:5b73c66eff/demo/

../
0-subtractionfraction/                             02-Aug-2025 00:17                   -
1-sqrttimes/                                       02-Aug-2025 00:17                   -
2-sqrtsqr/                                         02-Aug-2025 00:17                   -
3-neglog/                                          02-Aug-2025 00:17                   -
4-jeffquadraticroot2/                              02-Aug-2025 00:17                   -
5-jeffquadraticroot1/                              02-Aug-2025 00:17                   -
6-fabsfraction2/                                   02-Aug-2025 00:17                   -
7-fabsfraction1/                                   02-Aug-2025 00:17                   -
8-expnegsub/                                       02-Aug-2025 00:17                   -
index.html.gz                                      10-Jul-2024 12:42                 251
logo-car.png                                       10-Jul-2024 12:42                9354
profile.json.gz                                    10-Jul-2024 12:42               54762
report-page.js                                     10-Jul-2024 12:42               31843
report.css                                         10-Jul-2024 12:42               15537
report.js                                          10-Jul-2024 12:42               26816
results.json.gz                                    10-Jul-2024 12:42                6416
timeline.html.gz                                   10-Jul-2024 12:42               12463
timeline.json.gz                                   10-Jul-2024 12:42               26481