analyze45.0ms (3.1%)

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
25%	7%	21.1%	71.9%	0%	0%	0%	3
62.5%	17.5%	10.5%	71.9%	0%	0%	0%	4
75%	21.1%	7%	71.9%	0%	0%	0%	5
81.3%	22.8%	5.3%	71.9%	0%	0%	0%	6
82.8%	23.2%	4.8%	71.9%	0%	0%	0%	7
84.4%	23.7%	4.4%	71.9%	0%	0%	0%	8
87.5%	24.6%	3.5%	71.9%	0%	0%	0%	9
89.5%	25.1%	3%	71.9%	0%	0%	0%	10
91.8%	25.8%	2.3%	71.9%	0%	0%	0%	11
93.7%	26.3%	1.8%	71.9%	0%	0%	0%	12

Compiler

Compiled 43 to 28 computations (34.9% saved)