
| Date: | Friday, June 28th, 2024 |
|---|---|
| Commit: | db6536e9 on artem-popl-eval |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024180 |
| 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: 1.6hr)
| 4.6min | 3 604 567× | 0 | valid-sollya |
| 4.0min | 3 604 567× | 0 | valid-baseline |
| 3.7min | 3 604 567× | 0 | valid-rival |
| 2.4min | 447 322× | 1 | valid-baseline |
| 1.5min | 447 322× | 1 | valid-rival |
| 1.5min | 447 322× | 1 | valid-sollya |
| 1.1min | 115 440× | 2 | valid-baseline |
| 53.4s | 115 440× | 2 | valid-sollya |
| 41.7s | 15 614× | 3 | valid-sollya |
| 40.8s | 115 440× | 2 | valid-rival |
| 34.4s | 15 614× | 3 | valid-baseline |
| 18.7s | 15 614× | 3 | valid-rival |
| 10.8s | 1 918× | 4 | valid-sollya |
| 8.1s | 1 034× | 0 | valid-sollya-only-zero |
| 7.4s | 99 015× | 0 | valid-rival+baseline-inf |
| 5.8s | 1 918× | 4 | valid-baseline |
| 4.5s | 1 918× | 4 | valid-rival |
| 633.0ms | 2 360× | 1 | valid-rival+baseline-inf |
| 631.0ms | 1 414× | 1 | valid-rival-only-real |
| 422.0ms | 1 585× | 5 | valid-sollya-only-zero |
| 399.0ms | 3 435× | 0 | valid-rival+baseline-zero |
| 388.0ms | 3 405× | 0 | valid-rival-only-real |
| 102.0ms | 126× | 2 | valid-rival+baseline-real |
| 83.0ms | 979× | 0 | valid-rival+sollya-real |
| 47.0ms | 5× | 4 | valid-rival+baseline-zero |
| 42.0ms | 4× | 3 | valid-rival+sollya-real |
| 36.0ms | 3× | 4 | valid-rival+baseline-real |
| 28.0ms | 52× | 1 | valid-rival+baseline-zero |
| 24.0ms | 2× | 4 | valid-rival-only-zero |
| 21.0ms | 389× | 0 | valid-rival-only-inf |
| 19.0ms | 3× | 3 | valid-rival+baseline-zero |
| 12.0ms | 35× | 1 | valid-rival-only-zero |
| 9.0ms | 100× | 0 | valid-rival+baseline-real |
| 7.0ms | 4× | 2 | valid-rival+baseline-zero |
| 3.0ms | 3× | 5 | valid-baseline |
| 3.0ms | 6× | 2 | valid-rival+baseline-inf |
| 3.0ms | 12× | 1 | valid-rival+baseline-real |
| 2.0ms | 8× | 3 | valid-rival+sollya-inf |
| 2.0ms | 19× | 0 | valid-rival-only-zero |
| 2.0ms | 3× | 5 | valid-sollya |
| 2.0ms | 3× | 5 | valid-rival |
| 2.0ms | 6× | 3 | valid-rival+baseline-inf |
| 1.0ms | 1× | 5 | valid-rival-only-real |
| 1.0ms | 1× | 4 | valid-rival+sollya-real |
| 1.0ms | 1× | 5 | valid-rival-only-zero |
| 0.0ms | 1× | 2 | valid-rival-only-zero |
| 0.0ms | 1× | 3 | valid-rival-only-real |
| 0.0ms | 1× | 3 | valid-rival-only-inf |
| 0.0ms | 1× | 1 | valid-rival+sollya-real |
| 520× | egg-herbie |
| 241 208× | fmm-def |
| 239 616× | fma-define |
| 97 565× | unsub-neg |
| 95 322× | sub-neg |
| 91 445× | distribute-lft-in |
| 286× | saturated |
| 234× | node limit |
Compiled 105 452 to 58 056 computations (44.9% saved)
| 522× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 85.1% | 14.9% | 0% | 0% | 0% | 0 |
| 41% | 34.9% | 50.2% | 14.9% | 0% | 0% | 0% | 1 |
| 46.8% | 39.4% | 44.9% | 14.9% | 0% | 0.8% | 0% | 2 |
| 55.8% | 45.9% | 36.4% | 14.9% | 0% | 2.8% | 0% | 3 |
| 62.5% | 50.9% | 30.5% | 14.9% | 0% | 3.6% | 0% | 4 |
| 68.7% | 55.6% | 25.3% | 14.9% | 0% | 4.1% | 0% | 5 |
| 72.6% | 58.5% | 22.1% | 14.9% | 0% | 4.4% | 0% | 6 |
| 76.3% | 61.2% | 19% | 14.9% | 0% | 4.9% | 0% | 7 |
| 78.3% | 62.5% | 17.3% | 14.9% | 0% | 5.3% | 0% | 8 |
| 80.8% | 64.2% | 15.3% | 14.9% | 0% | 5.6% | 0% | 9 |
| 82.2% | 65.1% | 14.1% | 14.9% | 0% | 5.8% | 0% | 10 |
| 84.3% | 66.7% | 12.4% | 14.9% | 0% | 6% | 0% | 11 |
| 85.4% | 67.4% | 11.5% | 14.9% | 0% | 6.2% | 0% | 12 |
Compiled 22 710 to 13 392 computations (41% saved)
| 520× | egg-herbie |
| 4 977× | unsub-neg |
| 4 052× | neg-mul-1 |
| 2 838× | +-commutative |
| 2 832× | distribute-lft-neg-in |
| 2 805× | *-commutative |
| 520× | saturated |
Compiled 18 716 to 10 880 computations (41.9% saved)
| 520× | fuel |
Compiled 9 182 to 5 366 computations (41.6% saved)
Compiled 1 389 to 1 389 computations (0% saved)
Loading profile data...