Herbie run
| Date: | Sunday, June 2nd, 2024 |
|---|---|
| Commit: | 4e5e90a0 on artem-popl-s-eval |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024154 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce: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: 4.7hr)
| 14.2min | 3500600× | 0 | valid-rival |
| 6.9min | 3384556× | 0 | valid-sollya |
| 7.1min | 457954× | 1 | valid-rival |
| 2.5min | 448107× | 1 | valid-sollya |
| 4.6min | 193052× | 0 | invalid-sollya |
| 51.5s | 133827× | 0 | invalid-rival |
| 2.5min | 120933× | 2 | valid-rival |
| 1.0min | 117841× | 2 | valid-sollya |
| 7.2min | 85973× | 0 | exit-sollya |
| 2.2min | 36381× | 5 | exit-rival |
| 9.7s | 29154× | 0 | unsamplable-rival |
| 2.0min | 23939× | 5 | exit-sollya |
| 11.0s | 19594× | 1 | invalid-rival |
| 19.7s | 19546× | 1 | invalid-sollya |
| 1.3min | 18019× | 3 | valid-rival |
| 16.6s | 12318× | 3 | valid-sollya |
| 19.6s | 10805× | 5 | invalid-sollya |
| 49.5s | 9906× | 1 | exit-sollya |
| 28.5s | 5702× | 3 | exit-sollya |
| 15.7s | 3149× | 2 | exit-sollya |
| 2.9s | 2677× | 2 | invalid-rival |
| 3.8s | 2620× | 2 | invalid-sollya |
| 782.0ms | 1637× | 5 | valid-sollya |
| 20.0s | 1353× | 4 | valid-rival |
| 5.9s | 1175× | 4 | exit-sollya |
| 1.6s | 178× | 4 | valid-sollya |
| 54.0ms | 34× | 3 | invalid-rival |
| 57.0ms | 33× | 3 | invalid-sollya |
| 12.0ms | 11× | 1 | unsamplable-rival |
| 494× | egg-herbie |
| 224611× | fma-neg |
| 216454× | fma-define |
| 100551× | unsub-neg |
| 88876× | sub-neg |
| 83530× | distribute-lft-in |
| 273× | saturated |
| 221× | node limit |
Compiled 97325 to 53347 computations (45.2% saved)
| 545× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.4% | 15.6% | 0% | 0% | 0% | 0 |
| 38.9% | 32.9% | 51.6% | 15.6% | 0% | 0% | 0% | 1 |
| 44.8% | 37.5% | 46.2% | 15.6% | 0% | 0.7% | 0% | 2 |
| 54% | 44.1% | 37.5% | 15.7% | 0% | 2.6% | 0% | 3 |
| 60.9% | 49.1% | 31.6% | 15.8% | 0% | 3.6% | 0% | 4 |
| 67.1% | 53.8% | 26.4% | 15.8% | 0% | 4% | 0% | 5 |
| 71% | 56.7% | 23.1% | 15.8% | 0% | 4.3% | 0% | 6 |
| 75% | 59.4% | 19.8% | 15.9% | 0% | 4.8% | 0.1% | 7 |
| 77% | 60.7% | 18.1% | 15.9% | 0% | 5.2% | 0.1% | 8 |
| 79.6% | 62.5% | 16% | 15.9% | 0% | 5.4% | 0.1% | 9 |
| 81.1% | 63.5% | 14.8% | 16% | 0% | 5.7% | 0.1% | 10 |
| 83.4% | 65.1% | 13% | 16% | 0% | 5.8% | 0.1% | 11 |
| 84.5% | 65.8% | 12.1% | 16% | 0% | 6% | 0.1% | 12 |
Compiled 13446 to 7366 computations (45.2% saved)
| 494× | egg-herbie |
| 4409× | unsub-neg |
| 3542× | neg-mul-1 |
| 2551× | distribute-lft-neg-in |
| 2527× | +-commutative |
| 2432× | *-commutative |
| 494× | saturated |
Compiled 17454 to 10150 computations (41.8% saved)
| 494× | fuel |
Compiled 8551 to 4991 computations (41.6% saved)
Compiled 1316 to 1316 computations (0% saved)
Loading profile data...