analyze297.0ms (5.7%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.9%	12.5%	84.3%	0.1%	0%	3.1%	0%	7
20.3%	19.5%	76.5%	0.1%	0%	3.9%	0%	8
32.9%	29.3%	59.7%	0.1%	0.4%	10.1%	0.4%	9
38.1%	33.4%	54.2%	0.1%	0.8%	10.7%	0.8%	10
46.7%	38.6%	44.1%	0.1%	1.5%	14.2%	1.5%	11
50.1%	40.8%	40.7%	0.1%	2%	14.6%	1.8%	12

Compiler

Compiled 18 to 12 computations (33.3% saved)