analyze7.0ms (1.4%)

Algorithm

1×

search

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
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
98.4%	98.4%	1.6%	0%	0%	0%	0%	9
98.8%	98.8%	1.2%	0%	0%	0%	0%	10
99%	99%	1%	0%	0%	0%	0%	11
99%	99%	1%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)