analyze1.8s (97.8%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	24.2%	75.8%	0%	0%	0%	0
0%	0%	47.8%	52.2%	0%	0%	0%	1
0%	0%	94.2%	5.8%	0%	0%	0%	2
0%	0%	185.6%	-85.6%	0%	0%	0%	3
0%	0%	365.8%	-265.8%	0%	0%	0%	4
0%	0%	720.8%	-620.8%	0%	0%	0%	5
0%	0%	1420.3%	-1320.3%	0%	0%	0%	6
0%	0%	2797.8%	-2697.8%	0%	0%	0%	7
0%	0%	5511.5%	-5411.5%	0%	0%	0%	8
0%	0%	10854.7%	-10754.7%	0%	0%	0%	9
0%	0%	21378%	-21278%	0%	0%	0%	10
0%	0%	42093.2%	-41993.2%	0%	0%	0%	11
0%	0%	82881.7%	-82781.7%	0%	0%	0%	12

Compiler

Compiled 36 to 30 computations (16.7% saved)