Metrics for bug500, discussion (missed optimization)

Memory

-0.8MiB live, 157.4MiB 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
25%	25%	75%	0%	0%	0%	0%	3
37.5%	37.5%	62.5%	0%	0%	0%	0%	4
43.8%	43.7%	56.2%	0%	0%	0%	0%	5
46.9%	46.9%	53.1%	0%	0%	0%	0%	6
48.4%	48.4%	51.5%	0%	0%	0%	0%	7
49.2%	49.2%	50.8%	0%	0%	0%	0%	8
50.4%	50.4%	49.6%	0%	0%	0%	0%	9
51%	51%	49%	0%	0%	0%	0%	10
51.3%	51.2%	48.7%	0%	0%	0%	0%	11
51.3%	51.3%	48.7%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

Memory

-87.8MiB live, 3 773.3MiB allocated

Samples

Precisions

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

ival-log: 1.2s (44.7% of total)

ival-sinh: 851.0ms (31.1% of total)

ival-div: 418.0ms (15.3% of total)

adjust: 226.0ms (8.3% of total)

ival-true: 14.0ms (0.5% of total)

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

Bogosity

Profiling