analyze817.0ms (89.7%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	10.8%	89.2%	0%	0%	0%	0
0%	0%	21.5%	78.5%	0%	0%	0%	1
0%	0%	37.4%	62.6%	0%	0%	0%	2
0%	0%	38.2%	61.8%	0%	0%	0%	3
0%	0%	67.5%	32.5%	0%	0%	0%	4
0%	0%	134.9%	-34.9%	0%	0%	0%	5
0%	0%	234.4%	-134.4%	0%	0%	0%	6
0%	0%	234.6%	-134.6%	0%	0%	0%	7
0%	0%	408.4%	-308.4%	0%	0%	0%	8
0%	0%	816.7%	-716.7%	0%	0%	0%	9
0%	0%	1419.1%	-1319.1%	0%	0%	0%	10
0%	0%	1387.4%	-1287.4%	0%	0%	0%	11
0%	0%	2358%	-2258%	0%	0%	0%	12

Compiler

Compiled 62 to 45 computations (27.4% saved)