Metrics for Falkner and Boettcher, Appendix B, 1

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%	100%	0%	0%	0%	0%	3
0%	0%	100%	0%	0%	0%	0%	4
0%	0%	100%	0%	0%	0%	0%	5
0%	0%	100%	0%	0%	0%	0%	6
0%	0%	100%	0%	0%	0%	0%	7
0%	0%	100%	0%	0%	0%	0%	8
0%	0%	100%	0%	0%	0%	0%	9
0%	0%	100%	0%	0%	0%	0%	10
0%	0%	100%	0%	0%	0%	0%	11
0%	0%	100%	0%	0%	0%	0%	12

Compiler

Compiled 16 to 11 computations (31.3% saved)

Precisions

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

Operation ival-acos, time spent: 83.0ms, 35.0% of total-time

Operation ival-mult, time spent: 66.0ms, 27.0% of total-time

Operation ival-sub, time spent: 43.0ms, 18.0% of total-time

Operation ival-div, time spent: 39.0ms, 16.0% of total-time

Operation const, time spent: 9.0ms, 4.0% of total-time

Results

Precisions

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

Operation ival-sub, time spent: 27.0ms, 34.0% of total-time

Operation ival-acos, time spent: 24.0ms, 31.0% of total-time

Operation ival-mult, time spent: 15.0ms, 19.0% of total-time

Operation ival-div, time spent: 8.0ms, 10.0% of total-time

Operation const, time spent: 5.0ms, 6.0% of total-time

Falkner and Boettcher, Appendix B, 1