Metrics for Main:bigenough1 from B

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 7 to 5 computations (28.6% saved)

Memory

-30.0MiB live, 646.4MiB allocated

Samples

250.0ms

8 256×

valid

Precisions

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

ival-mult: 68.0ms (57% of total)

ival-add: 43.0ms (36.1% of total)

ival-true: 5.0ms (4.2% of total)

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

Bogosity

Memory

21.7MiB live, 60.9MiB allocated

Samples

10.0ms

267×

valid

Compiler

Compiled 31 to 13 computations (58.1% saved)

Precisions

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

ival-mult: 3.0ms (64.4% of total)

ival-add: 1.0ms (21.5% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

Profiling