Metrics for Toniolo and Linder, Equation (3a)

Memory

75.9MiB live, 75.9MiB 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
50%	49.9%	49.9%	0.2%	0%	0%	0%	3
50%	49.9%	49.9%	0.2%	0%	0%	0%	4
50%	49.9%	49.9%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
75%	74.9%	25%	0.2%	0%	0%	0%	7
75%	74.9%	25%	0.2%	0%	0%	0%	8
75%	74.9%	25%	0.2%	0%	0%	0%	9
75%	74.9%	25%	0.2%	0%	0%	0%	10
87.5%	87.3%	12.5%	0.2%	0%	0%	0%	11
87.5%	87.3%	12.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 31 to 24 computations (22.6% saved)

Memory

574.0MiB live, 574.0MiB allocated

Samples

1.3s

8 256×

valid

Precisions

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

ival-sin: 322.0ms (31.2% of total)

ival-pow2: 217.0ms (21% of total)

ival-div: 154.0ms (14.9% of total)

ival-mult: 130.0ms (12.6% of total)

ival-add: 97.0ms (9.4% of total)

ival-sqrt: 96.0ms (9.3% of total)

exact: 8.0ms (0.8% of total)

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

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

Bogosity

Profiling