analyze85.0ms (8.3%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	5
18.8%	18.7%	81.2%	0.1%	0%	0%	0%	6
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	7
50%	50%	50%	0.1%	0%	0%	0%	8
67.2%	67.1%	32.8%	0.1%	0%	0%	0%	9
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	10
82.4%	82.3%	17.6%	0.1%	0%	0%	0%	11
85.2%	85.1%	14.8%	0.1%	0%	0%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)