Metrics for Henrywood and Agarwal, Equation (12)

Memory

244.4MiB live, 244.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	4
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
15.4%	12.5%	68.6%	0.2%	0%	18.7%	0%	7
16.7%	12.5%	62.3%	0.2%	0%	24.9%	0%	8
20%	14%	56.1%	0.2%	0%	29.6%	0%	9
20%	14%	56.1%	0.2%	0%	29.6%	0%	10
20%	14%	56.1%	0.2%	0%	29.6%	0%	11
22.9%	14.8%	49.9%	0.2%	0%	35.1%	0%	12

Compiler

Compiled 37 to 24 computations (35.1% saved)

Memory

2 527.5MiB live, 2 527.5MiB allocated

Samples

2.0s	13 318×	0	invalid
1.4s	8 256×	0	valid

Precisions

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

ival-div: 790.0ms (31.3% of total)

ival-mult: 742.0ms (29.4% of total)

ival-pow: 576.0ms (22.8% of total)

ival-pow2: 242.0ms (9.6% of total)

ival-sub: 109.0ms (4.3% of total)

exact: 29.0ms (1.1% of total)

ival-true: 23.0ms (0.9% of total)

ival-assert: 14.0ms (0.6% of total)

Bogosity

Profiling