analyze295.0ms (4.6%)

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
21.4%	18.7%	68.7%	0.1%	0%	12.5%	0%	5
26.9%	21.9%	59.3%	0.1%	0%	18.7%	0%	6
33.3%	25%	50%	0.1%	0%	18.7%	6.2%	7
37%	26.5%	45.3%	0.1%	0%	21.9%	6.2%	8
43.9%	28.1%	35.9%	0.1%	2.3%	21.9%	11.7%	9
47.1%	28.9%	32.4%	0.1%	2.7%	23.4%	12.5%	10
53.3%	30.3%	26.5%	0.1%	4.1%	23.4%	15.5%	11
55.2%	30.7%	25%	0.1%	4.4%	24.2%	15.6%	12

Compiler

Compiled 16 to 12 computations (25% saved)