analyze73.0ms (2.5%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	6
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	7
68.8%	68.7%	31.2%	0.1%	0%	0%	0%	8
68.8%	68.7%	31.2%	0.1%	0%	0%	0%	9
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	10
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	11
73.4%	73.4%	26.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 19 to 9 computations (52.6% saved)