analyze268.0ms (13.8%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	48.6%	51.4%	0%	0%	0%	0
0%	0%	48.6%	51.4%	0%	0%	0%	1
50%	24.3%	24.3%	51.4%	0%	0%	0%	2
50%	24.3%	24.3%	51.4%	0%	0%	0%	3
62.5%	30.4%	18.2%	51.4%	0%	0%	0%	4
62.5%	30.4%	18.2%	51.4%	0%	0%	0%	5
68.8%	33.4%	15.2%	51.4%	0%	0%	0%	6
68.8%	33.4%	15.2%	51.4%	0%	0%	0%	7
71.1%	34.6%	14.1%	51.4%	0%	0%	0%	8
71.5%	34.8%	13.9%	51.4%	0%	0%	0%	9
72.9%	35.4%	13.2%	51.4%	0%	0%	0%	10
73.1%	35.6%	13.1%	51.4%	0%	0%	0%	11
73.9%	35.9%	12.7%	51.4%	0%	0%	0%	12

Compiler

Compiled 28 to 20 computations (28.6% saved)