analyze400.0ms (8.5%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
0%	0%	50%	50%	0%	0%	0%	2
0%	0%	50%	50%	0%	0%	0%	3
0%	0%	50%	50%	0%	0%	0%	4
6.3%	3.1%	46.8%	50%	0%	0%	0%	5
9.4%	4.7%	45.3%	50%	0%	0%	0%	6
10.9%	5.5%	44.5%	50%	0%	0%	0%	7
11.7%	5.9%	44.1%	50%	0%	0%	0%	8
12.1%	6%	43.9%	50%	0%	0%	0%	9
12.3%	6.1%	43.8%	50%	0%	0%	0%	10
12.4%	6.2%	43.8%	50%	0%	0%	0%	11
12.5%	6.2%	43.7%	50%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)