Herbie run
| Date: | Tuesday, December 10th, 2024 |
|---|---|
| Commit: | 0c802ff9 on bhargav-eftsan |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024345 |
| Parameters: | 256 points for 0 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 1.2s)
| 3× | egg-herbie |
| 6× | iter limit |
| 4× | node limit |
| 2× | saturated |
Compiled 477 to 341 computations (28.5% saved)
| Predicted + | Predicted - | |
|---|---|---|
| + | 244 | 0 |
| - | 62 | 462 |
| 34.0ms | 191× | 2 | valid |
| 29.0ms | 299× | 1 | valid |
| 9.0ms | 278× | 0 | valid |
Compiled 81 to 57 computations (29.6% saved)
adjust: 26.0ms (50.9% of total)ival-add: 15.0ms (29.4% of total)ival-sub: 6.0ms (11.7% of total)ival-mult: 3.0ms (5.9% of total)ival-true: 1.0ms (2% of total)ival-assert: 0.0ms (0% of total)exact: 0.0ms (0% of total)| 34.0ms | 192× | 2 | valid |
| 27.0ms | 306× | 1 | valid |
| 8.0ms | 282× | 0 | valid |
adjust: 26.0ms (51% of total)ival-add: 14.0ms (27.5% of total)ival-sub: 7.0ms (13.7% of total)ival-mult: 3.0ms (5.9% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)| 3× | egg-herbie |
| 3× | saturated |
Compiled 50 to 34 computations (32% saved)
| 3× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 31 to 23 computations (25.8% saved)
| 3× | fuel |
Compiled 25 to 17 computations (32% saved)
Compiled 0 to 5 computations (-∞% saved)
Loading profile data...