Metrics for GTR1 distribution

Memory

-21.4MiB live, 97.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.6%	99.4%	0%	0%	0%	0
0%	0%	0.6%	99.4%	0%	0%	0%	1
0%	0%	0.6%	99.4%	0%	0%	0%	2
0%	0%	0.6%	99.4%	0%	0%	0%	3
0%	0%	0.6%	99.4%	0%	0%	0%	4
50%	0.3%	0.3%	99.4%	0%	0%	0%	5
50%	0.3%	0.3%	99.4%	0%	0%	0%	6
75%	0.5%	0.2%	99.4%	0%	0%	0%	7
75%	0.5%	0.2%	99.4%	0%	0%	0%	8
87.5%	0.6%	0.1%	99.4%	0%	0%	0%	9
87.5%	0.6%	0.1%	99.4%	0%	0%	0%	10
93.7%	0.6%	0%	99.4%	0%	0%	0%	11
93.7%	0.6%	0%	99.4%	0%	0%	0%	12

Compiler

Compiled 40 to 23 computations (42.5% saved)

Memory

33.6MiB live, 2 150.9MiB allocated

Samples

1.2s

8 256×

valid

Precisions

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

ival-mult: 301.0ms (32.7% of total)

const: 149.0ms (16.2% of total)

ival-log: 99.0ms (10.8% of total)

ival-<=: 92.0ms (10% of total)

ival-div: 91.0ms (9.9% of total)

ival-add: 59.0ms (6.4% of total)

ival-sub: 53.0ms (5.8% of total)

ival-pi: 38.0ms (4.1% of total)

ival-and: 24.0ms (2.6% of total)

exact: 11.0ms (1.2% of total)

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

Bogosity

Profiling