Rosa's DopplerBench

Time bar (total: 345.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze60.0ms (17.5%)

Memory
6.5MiB live, 23.3MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
37.5%37.4%62.4%0.1%0%0%0%5
37.5%37.4%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
65.6%65.5%34.3%0.1%0%0%0%8
65.6%65.5%34.3%0.1%0%0%0%9
76.6%76.5%23.4%0.1%0%0%0%10
82%81.9%17.9%0.1%0%0%0%11
82%81.9%17.9%0.1%0%0%0%12
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample19.0ms (5.7%)

Memory
-0.6MiB live, 7.1MiB allocated
Samples
12.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 3.0ms (41.6% of total)
ival-div: 1.0ms (13.9% of total)
ival-add: 1.0ms (13.9% of total)
ival-neg: 1.0ms (13.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain22.0ms (6.4%)

Memory
-0.4MiB live, 8.2MiB allocated
Confusion
Predicted +Predicted -
+3144
-72109
Precision
0.30097087378640774
Recall
0.41333333333333333
Samples
13.0ms256×0valid
Compiler

Compiled 38 to 26 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 3.0ms (42.9% of total)
ival-div: 1.0ms (14.3% of total)
ival-add: 1.0ms (14.3% of total)
ival-neg: 1.0ms (14.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess212.0ms (61.4%)

Memory
-2.3MiB live, 12.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034109
1179105
2651103
32313103
45734103
57948103
0812
01312
13412
28012
319612
434312
553312
695212
7174512
8220312
9273112
10320812
11333512
12358912
13363312
14365512
15367512
16374212
17376612
18377812
19378012
20378012
0378012
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Outputs
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (*.f64 (neg.f64 v) t1) (*.f64 (+.f64 u t1) (+.f64 u t1)))
Symmetry

(negabs v)

Compiler

Compiled 12 to 8 computations (33.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0.2%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
72.8%
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Compiler

Compiled 24 to 16 computations (33.3% saved)

simplify25.0ms (7.3%)

Memory
1.3MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11612
22612
33712
44712
55612
66312
76612
86712
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Outputs
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
(/.f64 (*.f64 v (neg.f64 t1)) (*.f64 (+.f64 u t1) (+.f64 u t1)))

soundness0.0ms (0.1%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 12 to 8 computations (33.3% saved)

preprocess5.0ms (1.4%)

Memory
-5.7MiB live, 2.1MiB allocated
Remove

(negabs v)

Compiler

Compiled 96 to 64 computations (33.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...