Metrics for Toniolo and Linder, Equation (13)

Memory

254.5MiB live, 254.5MiB 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

1 209.0MiB live, 1 209.0MiB allocated

Samples

1.6s	12 454×	0	invalid
1.0s	8 256×	0	valid

Precisions

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

ival-mult: 856.0ms (46.8% of total)

ival-div: 294.0ms (16.1% of total)

ival-sub: 283.0ms (15.5% of total)

ival-pow2: 219.0ms (12% of total)

ival-sqrt: 130.0ms (7.1% of total)

ival-true: 21.0ms (1.1% of total)

exact: 15.0ms (0.8% of total)

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

Bogosity

Profiling