Metrics for Toniolo and Linder, Equation (13)

Memory

22.9MiB live, 893.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	97.8%	0.3%	0%	1.9%	0%	10
0%	0%	97.4%	0.3%	0%	2.3%	0%	11
0%	0%	94.8%	0.3%	0%	4.9%	0%	12

Compiler

Compiled 30 to 23 computations (23.3% saved)

Memory

-3.4MiB live, 64 163.4MiB allocated

Samples

1.2min	7 494×	0	invalid
53.5s	5 130×	0	valid

Precisions

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

ival-mult: 1.1min (61.2% of total)

ival-div: 21.0s (19.1% of total)

ival-pow2: 7.9s (7.2% of total)

ival-sub: 7.4s (6.7% of total)

ival-sqrt: 6.3s (5.7% of total)

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

exact: 8.0ms (0% of total)

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

Profiling