Diagrams.Solve.Tridiagonal:solveTriDiagonal from diagrams-solve-0.1, B

Time bar (total: 1.1s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze175.0ms (16.3%)

Memory
-75.7MiB live, 225.9MiB allocated; 82ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
37.5%37.4%62.4%0.2%0%0%0%5
37.5%37.4%62.4%0.2%0%0%0%6
43.8%43.7%56.1%0.2%0%0%0%7
43.8%43.7%56.1%0.2%0%0%0%8
51.6%51.5%48.3%0.2%0%0%0%9
51.6%51.5%48.3%0.2%0%0%0%10
57%56.9%42.9%0.2%0%0%0%11
62.1%62%37.8%0.2%0%0%0%12
Compiler

Compiled 9 to 9 computations (0% saved)

sample813.0ms (75.6%)

Memory
6.0MiB live, 903.5MiB allocated; 112ms collecting garbage
Samples
439.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 202.0ms
ival-div: 86.0ms (42.6% of total)
ival-mult: 66.0ms (32.7% of total)
ival-sub: 45.0ms (22.3% of total)
ival-assert: 3.0ms (1.5% of total)
adjust: 2.0ms (1% of total)
Bogosity

explain68.0ms (6.3%)

Memory
-3.4MiB live, 93.5MiB allocated; 12ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
180-0-(/.f64 x (-.f64 y (*.f64 z t)))
00-0-y
00-0-t
00-0-(*.f64 z t)
00-0-z
00-0-(-.f64 y (*.f64 z t))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 x (-.f64 y (*.f64 z t)))n/o180
↳(-.f64 y (*.f64 z t))overflow39
↳(*.f64 z t)overflow39
Confusion
Predicted +Predicted -
+180
-0238
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+1800
-00238
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0238
118
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
26.0ms512×0valid
Compiler

Compiled 49 to 25 computations (49% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0ms
ival-div: 4.0ms (37% of total)
ival-mult: 4.0ms (37% of total)
ival-sub: 2.0ms (18.5% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess19.0ms (1.8%)

Memory
27.0MiB live, 27.0MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
041109
180109
2143109
3212109
4252109
5270109
6270109
077
0147
1157
0157
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...