Index of /reports/herbie/1654778464:warfa:egg-generate-proof:5002c2eecd/haskell/22-NumericSpecFunctionslogBetafrommathfunctions0152B/

../
debug.txt.gz                                       29-Nov-2022 19:35               30382
graph.html.gz                                      29-Nov-2022 19:35                5132
interactive.js                                     29-Nov-2022 19:35                   0
plot-0.png                                         29-Nov-2022 19:35               13988
plot-0b.png                                        29-Nov-2022 19:35               21261
plot-0r.png                                        29-Nov-2022 19:35               20626
plot-1.png                                         29-Nov-2022 19:35               13954
plot-1b.png                                        29-Nov-2022 19:35               21042
plot-1r.png                                        29-Nov-2022 19:35               20411
plot-2.png                                         29-Nov-2022 19:35               14798
plot-2b.png                                        29-Nov-2022 19:35               20882
plot-2r.png                                        29-Nov-2022 19:35               20378
plot-3.png                                         29-Nov-2022 19:35               14276
plot-3b.png                                        29-Nov-2022 19:35               20740
plot-3r.png                                        29-Nov-2022 19:35               20368
plot-4.png                                         29-Nov-2022 19:35               14597
plot-4b.png                                        29-Nov-2022 19:35               20751
plot-4r.png                                        29-Nov-2022 19:35               20221
plot-5.png                                         29-Nov-2022 19:35               14088
plot-5b.png                                        29-Nov-2022 19:35               21284
plot-5r.png                                        29-Nov-2022 19:35               20633
plot-6.png                                         29-Nov-2022 19:35               13739
plot-6b.png                                        29-Nov-2022 19:35               20946
plot-6r.png                                        29-Nov-2022 19:35               20246
plot-7.png                                         29-Nov-2022 19:35               14121
plot-7b.png                                        29-Nov-2022 19:35               21346
plot-7r.png                                        29-Nov-2022 19:35               20657
profile.json.gz                                    29-Nov-2022 19:35               15678
timeline.html.gz                                   29-Nov-2022 19:35                4065
timeline.json.gz                                   29-Nov-2022 19:35                5850