analyze640.0ms (7.4%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	5
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	6
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	7
53.1%	53%	46.8%	0.1%	0%	0%	0%	8
60.9%	60.8%	39%	0.1%	0%	0%	0%	9
60.9%	60.8%	39%	0.1%	0%	0%	0%	10
64.8%	64.7%	35.1%	0.1%	0%	0%	0%	11
68.4%	68.3%	31.6%	0.1%	0%	0%	0%	12

Compiler

Compiled 20 to 15 computations (25% saved)