analyze3.9s (83.7%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	46.7%	53.3%	0%	0%	0%	0
0%	0%	82.1%	17.9%	0%	0%	0%	1
0%	0%	164.3%	-64.3%	0%	0%	0%	2
0%	0%	283%	-183%	0%	0%	0%	3
0%	0%	566%	-466%	0%	0%	0%	4
0%	0%	949.4%	-849.4%	0%	0%	0%	5
0%	0%	1898.8%	-1798.8%	0%	0%	0%	6
0%	0%	3105.5%	-3005.5%	0%	0%	0%	7
0%	0%	6211.1%	-6111.1%	0%	0%	0%	8
0%	0%	9899.3%	-9799.3%	0%	0%	0%	9
0%	0%	19798.7%	-19698.7%	0%	0%	0%	10
0%	0%	30710.9%	-30610.9%	0%	0%	0%	11
0%	0%	61320.6%	-61220.6%	0%	0%	0%	12

Compiler

Compiled 50 to 36 computations (28% saved)