| Date: | Wednesday, December 26th, 2018 |
|---|---|
| Commit: | a98a74144c4adddbce217fd7ce983c17096732e2 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2018360 |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| Toniolo and Linder, Equation (13) | 10.0m | » | ||||
| Random Jason Timeout Test 015 | 56.7s | » | ||||
| Random Jason Timeout Test 014 | 0.0 | 0.0 | 19.1s | » | ||
| Random Jason Timeout Test 012 | 60.5 | 59.3 | 1.0m | » | ||
| Random Jason Timeout Test 009 | 12.6s | » | ||||
| Random Jason Timeout Test 006 | 3.7m | » | ||||
| Random Jason Timeout Test 004 | 34.4 | 34.4 | 35.3s | » | ||
| Random Jason Timeout Test 003 | 54.6s | » | ||||
| Random Jason Timeout Test 002 | 0.0 | 0.0 | 18.0s | » | ||
| Random Jason Timeout Test 001 | 19.7s | » | ||||
| Area of a triangle | 13.9s | » | ||||
| (/ (- x lo) (- hi lo)) | 62.0 | 62.0 | 2.2s | » |
407 calls. Slowest were:
| 719.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (* Om (+ (* U U) (+ (* U* U*) (* U U*))))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* (* n l) (/ l Om)) (- (pow U 3) (pow U* 3))))))) |
| 446.0ms | (* (+ t (* 2 (/ l (/ Om l)))) (* Om Om)) |
| 444.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* (* n (/ l Om)) (/ l Om)) (- (pow U 3) (pow U* 3))))))) |
| 381.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*))))))) |
| 375.0ms | (sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (pow U 3) (pow U* 3))))))) |
50 calls. Slowest were:
| 2.1s | (sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) |
| 1.2s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 1.2s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 1.2s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))) |
| 349.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) |
50 calls. Slowest were:
| 371.0ms | (sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) |
| 53.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))) |
| 41.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))) |
| 32.0ms | (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))) |
| 23.0ms | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))) |
Median 0% (0.2b remaining)
| 0.2b | 0% | Random Jason Timeout Test 014 |
| 0.0b | 0% | Random Jason Timeout Test 015 |
| 0.0b | 0% | Toniolo and Linder, Equation (13) |
| 0.0b | 0% | Random Jason Timeout Test 012 |