Index of /reports/herbie/1614592519:warfa:egg-generate-proof:ed950afade/hamming/

../
0-sqrtexpproblem344/                               01-Aug-2025 22:19                   -
1-sintanproblem345/                                01-Aug-2025 22:19                   -
10-tanhfexample34/                                 29-Nov-2022 18:22                   -
11-quadpp42positive/                               01-Aug-2025 22:19                   -
12-quadmp42negative/                               29-Nov-2022 18:22                   -
2-quad2pproblem321positive/                        01-Aug-2025 22:19                   -
3-quad2mproblem321negative/                        01-Aug-2025 22:19                   -
4-cos2problem341/                                  29-Nov-2022 18:22                   -
5-2nthrtproblem346/                                01-Aug-2025 22:19                   -
6-2logproblem336/                                  01-Aug-2025 22:19                   -
7-2fracproblem331/                                 01-Aug-2025 22:19                   -
8-2cosproblem335/                                  01-Aug-2025 22:19                   -
9-2cbrtproblem334/                                 29-Nov-2022 18:22                   -
results.json.gz                                    29-Nov-2022 18:22                 216