analyze15.0ms (1.1%)

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
0%	0%	50%	0.1%	0%	50%	0%	3
50%	25%	25%	0.1%	0%	50%	0%	4
50%	25%	25%	0.1%	0%	50%	0%	5
66.7%	25%	12.5%	0.1%	0%	62.4%	0%	6
66.7%	25%	12.5%	0.1%	0%	62.4%	0%	7
80%	25%	6.2%	0.1%	0%	68.7%	0%	8
80%	25%	6.2%	0.1%	0%	68.7%	0%	9
88.9%	25%	3.1%	0.1%	0%	71.8%	0%	10
88.9%	25%	3.1%	0.1%	0%	71.8%	0%	11
94.1%	25%	1.6%	0.1%	0%	73.4%	0%	12

Compiler

Compiled 23 to 20 computations (13% saved)