analyze36.0ms (2.9%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	56.2%	43.8%	0%	0%	0%	0
0%	0%	56.2%	43.8%	0%	0%	0%	1
0%	0%	56.2%	43.8%	0%	0%	0%	2
25%	14%	42.1%	43.8%	0%	0%	0%	3
37.5%	21.1%	35.1%	43.8%	0%	0%	0%	4
56.3%	31.6%	24.6%	43.8%	0%	0%	0%	5
65.6%	36.9%	19.3%	43.8%	0%	0%	0%	6
76.6%	43%	13.2%	43.8%	0%	0%	0%	7
82%	46.1%	10.1%	43.8%	0%	0%	0%	8
87.9%	49.4%	6.8%	43.8%	0%	0%	0%	9
90.8%	51%	5.2%	43.8%	0%	0%	0%	10
93.8%	52.7%	3.5%	43.8%	0%	0%	0%	11
95.4%	53.6%	2.6%	43.8%	0%	0%	0%	12

Compiler

Compiled 22 to 16 computations (27.3% saved)