analyze126.0ms (18.9%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	20.1%	79.9%	0%	0%	0%	0
0%	0%	35.3%	64.7%	0%	0%	0%	1
0%	0%	61.1%	38.9%	0%	0%	0%	2
0%	0%	61.4%	38.6%	0%	0%	0%	3
0%	0%	106.3%	-6.3%	0%	0%	0%	4
0%	0%	102.9%	-2.9%	0%	0%	0%	5
0%	0%	178.3%	-78.3%	0%	0%	0%	6
0%	0%	168.2%	-68.2%	0%	0%	0%	7
0%	0%	291.6%	-191.6%	0%	0%	0%	8
0%	0%	268.1%	-168.1%	0%	0%	0%	9
0%	0%	464.7%	-364.7%	0%	0%	0%	10
0%	0%	415.9%	-315.9%	0%	0%	0%	11
0%	0%	719.6%	-619.6%	0%	0%	0%	12

Compiler

Compiled 27 to 21 computations (22.2% saved)