analyze49.0ms (5.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
25%	25%	74.9%	0.1%	0%	0%	0%	5
33.3%	25%	50%	0.1%	25%	0%	0%	6
44.4%	25%	31.2%	0.1%	43.7%	0%	0%	7
53.3%	25%	21.9%	0.1%	53.1%	0%	0%	8
64%	25%	14%	0.1%	60.9%	0%	0%	9
72%	28.1%	10.9%	0.1%	60.9%	0%	0%	10
81%	31.6%	7.4%	0.1%	60.9%	0%	0%	11
85.5%	33.4%	5.7%	0.1%	60.9%	0%	0%	12

Compiler

Compiled 20 to 13 computations (35% saved)