analyze3.0ms (0.3%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	0%	50%	0%	3
33.3%	12.5%	25%	0%	0%	62.5%	0%	4
60%	18.7%	12.5%	0%	0%	68.7%	0%	5
77.8%	21.9%	6.2%	0%	0%	71.8%	0%	6
88.2%	23.4%	3.1%	0%	0%	73.4%	0%	7
93.9%	24.2%	1.6%	0%	0%	74.2%	0%	8
96.9%	24.6%	0.8%	0%	0%	74.6%	0%	9
98.4%	24.8%	0.4%	0%	0%	74.8%	0%	10
99.2%	24.9%	0.2%	0%	0%	74.9%	0%	11
99.6%	24.9%	0.1%	0%	0%	74.9%	0%	12

Compiler

Compiled 15 to 11 computations (26.7% saved)