analyze84.0ms (3.9%)

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%	50%	0.1%	0%	50%	0%	2
50%	25%	25%	0.1%	0%	50%	0%	3
50%	25%	25%	0.1%	0%	50%	0%	4
50%	25%	25%	0.1%	0%	50%	0%	5
53.3%	25%	21.9%	0.1%	0%	53.1%	0%	6
57.1%	25%	18.7%	0.1%	0%	54.6%	1.6%	7
61.5%	25%	15.6%	0.1%	0%	57%	2.3%	8
65.3%	25%	13.3%	0.1%	0%	58.1%	3.5%	9
68.8%	25%	11.3%	0.1%	0%	59.5%	4.1%	10
71.5%	25%	10%	0.1%	0%	60.2%	4.8%	11
73.8%	25%	8.9%	0.1%	0%	60.9%	5.1%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)