Comments (4)
Thanks for the report! This is due to some issues upgrading herbie to Racket 6.3 on certain platforms. We'll try to have a fix pushed ASAP.
from herbie.
@TApplencourt I believe this is fixed by ae85e9d
Could you pull and test?
from herbie.
I'm not the original reporter, but I was also seeing the same failure on 64-bit Arch Linux.
Just tried with commit e7cbddd checked out.
$ racket herbie/reports/run.rkt bench/hamming/
Starting Herbie on 28 problems...
Seed: #(2969098600 2914696571 3069790757 881486401 1801927738 682552455)
1/28 [ 77599.90ms] (33→24) NMSE problem 3.4.6
2/28 [ 81894.31ms] (31→ 1) NMSE problem 3.4.5
3/28 [ 61150.32ms] (40→ 1) NMSE problem 3.4.4
4/28 [ 56976.73ms] (31→ 0) NMSE problem 3.4.1
5/28 [ 46749.15ms] (30→ 0) NMSE problem 3.3.6
6/28 [ 85186.20ms] (40→16) NMSE problem 3.3.5
7/28 [ 66791.02ms] (30→ 3) NMSE problem 3.3.4
8/28 [ 40290.74ms] (14→ 0) NMSE problem 3.3.1
9/28 [ 142288.0ms] (34→16) NMSE problem 3.2.1
10/28 [ 105344.6ms] (34→18) NMSE problem 3.2.1
11/28 [ 42984.35ms] (29→ 0) NMSE section 3.5
12/28 [ 31575.24ms] (40→ 0) NMSE section 3.11
13/28 [ 46888.94ms] (58→ 0) NMSE problem 3.4.3
14/28 [ 102778.9ms] (59→ 4) NMSE problem 3.4.2
15/28 [ 40221.02ms] (30→ 1) NMSE problem 3.3.7
16/28 [ 61758.47ms] (10→ 0) NMSE problem 3.3.3
17/28 [ 89529.63ms] (37→28) NMSE problem 3.3.2
18/28 [ 75454.39ms] (34→10) NMSE p42
19/28 [ 84659.53ms] (34→14) NMSE p42
20/28 [ 62053.95ms] (60→ 1) NMSE example 3.9
21/28 [ 107762.6ms] (63→55) NMSE example 3.8
22/28 [ 29927.68ms] (59→ 1) NMSE example 3.7
23/28 [ 55977.33ms] (20→ 0) NMSE example 3.6
24/28 [ 30672.87ms] (15→ 0) NMSE example 3.5
25/28 [ 80120.29ms] (30→ 0) NMSE example 3.4
26/28 [ 83731.10ms] (37→14) NMSE example 3.3
27/28 [ 72471.76ms] (61→ 1) NMSE example 3.10
28/28 [ 28584.93ms] (30→ 0) NMSE example 3.1
Looks like it is all working now!
from herbie.
Thanks @toofishes !
from herbie.
Related Issues (20)
- Optimized output sometimes contains (cbrt (pow x 3)) HOT 2
- Unexpected (?) results for difference of squares in web demo HOT 3
- Not a valid expression! given: 'E.f64 HOT 2
- unknown preprocess #s(symmetry-group (a b c)) HOT 2
- Variable names matter? HOT 1
- add-sqr-sqrt, really? HOT 3
- Online demo currently giving a 502 error HOT 1
- A question about herbie web version HOT 4
- How to get the bits error in the result HOT 2
- Incorrect optimization for x-sin(x) HOT 6
- Question about 8000 sampling points HOT 9
- question to confirm HOT 2
- How Herbie generates the equivalent expressions? HOT 8
- Which expressions are the set of equivalent expressions generated by Herbie for the input expression? HOT 1
- Better Cost Estimates & Free Optimizations HOT 1
- Any way to install a specific Herbie version using Racket ? HOT 24
- Clarificaitons for command-line options HOT 5
- Build issue: expected `i8`, found `u8` HOT 7
- Missing mailing list HOT 1
- 404 links HOT 5
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from herbie.