Herbie run
| Date: | Friday, January 5th, 2024 |
|---|---|
| Commit: | 7adfcfcc on platforms |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2024005 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 23.6min)
| 8.2min | 3468551× | body | 256 | valid |
| 3.5min | 38935× | body | 8192 | exit |
| 1.7min | 201166× | body | 1024 | valid |
| 1.4min | 100041× | body | 2048 | valid |
| 1.2min | 531309× | body | 256 | infinite |
| 57.3s | 14574× | body | 4096 | valid |
| 37.4s | 126905× | body | 512 | valid |
| 28.5s | 2433× | body | 8192 | valid |
| 27.5s | 182193× | body | 256 | invalid |
| 9.8s | 8829× | body | 1024 | infinite |
| 9.5s | 66133× | body | 256 | precondition |
| 7.1s | 39087× | body | 256 | unsamplable |
| 5.7s | 11556× | body | 1024 | invalid |
| 5.5s | 1235× | body | 4096 | infinite |
| 4.3s | 1648× | body | 2048 | infinite |
| 3.2s | 5319× | body | 512 | infinite |
| 2.0s | 6524× | body | 512 | invalid |
| 1.0s | 1227× | body | 2048 | invalid |
| 358.0ms | 26× | body | 8192 | infinite |
| 10.0ms | 14× | body | 512 | unsamplable |
| 9.0ms | 6× | body | 1024 | unsamplable |
| 3.0ms | 1× | body | 8192 | invalid |
| 540× | egg-herbie |
| 241236× | fma-def |
| 151741× | distribute-lft-in |
| 147685× | *-commutative |
| 126314× | +-commutative |
| 114473× | associate-*r* |
| 194× | saturated |
| 346× | node limit |
Compiled 42858 to 19979 computations (53.4% saved)
| 544× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 85.5% | 14.5% | 0% | 0% | 0% | 0 |
| 39.9% | 34.1% | 51.4% | 14.5% | 0% | 0% | 0% | 1 |
| 45.9% | 38.8% | 45.8% | 14.5% | 0% | 0.9% | 0% | 2 |
| 54.9% | 45.3% | 37.3% | 14.5% | 0% | 2.9% | 0% | 3 |
| 61.5% | 50.2% | 31.4% | 14.5% | 0% | 3.9% | 0% | 4 |
| 67.6% | 54.8% | 26.3% | 14.5% | 0% | 4.3% | 0% | 5 |
| 71.4% | 57.7% | 23.1% | 14.5% | 0% | 4.6% | 0% | 6 |
| 75.3% | 60.3% | 19.8% | 14.6% | 0% | 5.1% | 0.1% | 7 |
| 77.2% | 61.6% | 18.2% | 14.6% | 0% | 5.5% | 0.1% | 8 |
| 79.8% | 63.4% | 16.1% | 14.6% | 0% | 5.8% | 0.1% | 9 |
| 81.3% | 64.4% | 14.8% | 14.6% | 0% | 6% | 0.1% | 10 |
| 83.5% | 66% | 13% | 14.6% | 0% | 6.2% | 0.1% | 11 |
| 84.6% | 66.7% | 12.1% | 14.6% | 0% | 6.4% | 0.1% | 12 |
Compiled 13340 to 8620 computations (35.4% saved)
Loading profile data...