Metrics for Toniolo and Linder, Equation (3b), real

Memory

54.2MiB live, 54.2MiB 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
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	6
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	7
53.1%	53%	46.8%	0.1%	0%	0%	0%	8
60.9%	60.8%	39%	0.1%	0%	0%	0%	9
60.9%	60.8%	39%	0.1%	0%	0%	0%	10
64.8%	64.7%	35.1%	0.1%	0%	0%	0%	11
68.4%	68.3%	31.6%	0.1%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

Memory

406.6MiB live, 406.6MiB allocated

Samples

974.0ms

8 256×

valid

Precisions

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

ival-sin: 469.0ms (59.9% of total)

ival-pow2: 134.0ms (17.1% of total)

ival-sqrt: 50.0ms (6.4% of total)

ival-mult: 46.0ms (5.9% of total)

ival-div: 44.0ms (5.6% of total)

ival-add: 31.0ms (4% of total)

ival-true: 6.0ms (0.8% of total)

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

Bogosity

Profiling