Metrics for neg log

Memory

4.3MiB live, 4.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
33.3%	12.5%	25%	0%	0%	62.5%	0%	4
60%	18.7%	12.5%	0%	0%	68.7%	0%	5
77.8%	21.9%	6.2%	0%	0%	71.8%	0%	6
88.2%	23.4%	3.1%	0%	0%	73.4%	0%	7
93.9%	24.2%	1.6%	0%	0%	74.2%	0%	8
96.9%	24.6%	0.8%	0%	0%	74.6%	0%	9
98.4%	24.8%	0.4%	0%	0%	74.8%	0%	10
99.2%	24.9%	0.2%	0%	0%	74.9%	0%	11
99.6%	24.9%	0.1%	0%	0%	74.9%	0%	12

Compiler

Compiled 9 to 8 computations (11.1% saved)

Memory

16.1MiB live, 865.9MiB allocated

Samples

495.0ms	8 256×	0	valid
1.0ms	13×	0	invalid

Precisions

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

ival-log: 145.0ms (42.5% of total)

ival-div: 74.0ms (21.7% of total)

ival-neg: 58.0ms (17% of total)

ival-sub: 50.0ms (14.7% of total)

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

exact: 5.0ms (1.5% of total)

ival-assert: 4.0ms (1.2% of total)

Bogosity

Profiling