analyze185.0ms (10.7%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	28.1%	71.9%	0%	0%	0%	0
0%	0%	28.1%	71.9%	0%	0%	0%	1
0%	0%	28.1%	71.9%	0%	0%	0%	2
0%	0%	28.1%	71.9%	0%	0%	0%	3
12.5%	3.5%	24.6%	71.9%	0%	0%	0%	4
18.8%	5.3%	22.8%	71.9%	0%	0%	0%	5
37.5%	10.5%	17.5%	71.9%	0%	0%	0%	6
39.1%	11%	17.1%	71.9%	0%	0%	0%	7
50%	14%	14%	71.9%	0%	0%	0%	8
64.1%	18%	10.1%	71.9%	0%	0%	0%	9
66%	18.5%	9.5%	71.9%	0%	0%	0%	10
73.8%	20.7%	7.3%	71.9%	0%	0%	0%	11
81.6%	22.9%	5.2%	71.9%	0%	0%	0%	12

Compiler

Compiled 43 to 28 computations (34.9% saved)