Metrics for qlog (example 3.10)

Memory

4.0MiB live, 4.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
0%	0%	50%	50%	0%	0%	0%	2
25%	12.5%	37.5%	50%	0%	0%	0%	3
62.5%	31.2%	18.7%	50%	0%	0%	0%	4
81.3%	40.6%	9.4%	50%	0%	0%	0%	5
90.6%	45.3%	4.7%	50%	0%	0%	0%	6
95.3%	47.6%	2.3%	50%	0%	0%	0%	7
97.7%	48.8%	1.2%	50%	0%	0%	0%	8
98.8%	49.4%	0.6%	50%	0%	0%	0%	9
99.4%	49.7%	0.3%	50%	0%	0%	0%	10
99.7%	49.8%	0.1%	50%	0%	0%	0%	11
99.9%	49.9%	0.1%	50%	0%	0%	0%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

Memory

-4.0MiB live, 1 373.3MiB allocated

Samples

Precisions

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

ival-log: 973.0ms (54.8% of total)

ival-div: 384.0ms (21.6% of total)

adjust: 171.0ms (9.6% of total)

ival-sub: 111.0ms (6.3% of total)

ival-fabs: 53.0ms (3% of total)

ival-log1p: 50.0ms (2.8% of total)

ival-<=: 23.0ms (1.3% of total)

exact: 6.0ms (0.3% of total)

ival-assert: 3.0ms (0.2% of total)

Bogosity

Profiling