Metrics for Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A

Memory

18.9MiB live, 512.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
50%	49.9%	49.9%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
75%	74.9%	25%	0.1%	0%	0%	0%	9
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	10
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	11
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 7 to 7 computations (0% saved)

Memory

27.7MiB live, 20 556.5MiB allocated

Samples

43.4s

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 20.2s

ival-div: 16.9s (83.7% of total)

ival-mult: 3.3s (16.2% of total)

ival-true: 7.0ms (0% of total)

ival-assert: 4.0ms (0% of total)

Bogosity

Memory

1.5MiB live, 1.5MiB allocated

Samples

0.0ms

7×

valid

Compiler

Compiled 35 to 17 computations (51.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-div: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

Profiling