analyze90.0ms (6.1%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
62.5%	31.2%	18.7%	50%	0%	0%	0%	4
62.5%	31.2%	18.7%	50%	0%	0%	0%	5
68.8%	34.3%	15.6%	50%	0%	0%	0%	6
68.8%	34.3%	15.6%	50%	0%	0%	0%	7
71.9%	35.9%	14%	50%	0%	0%	0%	8
71.9%	35.9%	14%	50%	0%	0%	0%	9
73.4%	36.7%	13.3%	50%	0%	0%	0%	10
73.4%	36.7%	13.3%	50%	0%	0%	0%	11
74.2%	37.1%	12.9%	50%	0%	0%	0%	12

Compiler

Compiled 20 to 14 computations (30% saved)