analyze3.5s (95.6%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	199.3%	-99.3%	0%	0%	0%	1
0%	0%	398.6%	-298.6%	0%	0%	0%	2
0%	0%	797.3%	-697.3%	0%	0%	0%	3
0%	0%	1594.5%	-1494.5%	0%	0%	0%	4
0%	0%	3189.1%	-3089.1%	0%	0%	0%	5
0%	0%	6378.2%	-6278.2%	0%	0%	0%	6
0%	0%	12756.3%	-12656.3%	0%	0%	0%	7
0%	0%	25512.6%	-25412.6%	0%	0%	0%	8
0%	0%	51025.3%	-50925.3%	0%	0%	0%	9
0%	0%	102050.5%	-101950.5%	0%	0%	0%	10
0%	0%	204101%	-204001%	0%	0%	0%	11
0%	0%	408202%	-408102%	0%	0%	0%	12

Compiler

Compiled 25 to 18 computations (28% saved)