analyze289.0ms (17.3%)

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
3.1%	3.1%	96.7%	0.1%	0%	0%	0%	7
4.7%	4.7%	95.2%	0.1%	0%	0%	0%	8
7.4%	7%	88.2%	0.1%	0%	4.7%	0%	9
12.2%	10.5%	75.9%	0.1%	0%	13.5%	0%	10
16.2%	13.7%	70.7%	0.1%	0%	15.5%	0%	11
23.5%	18.2%	59.3%	0.1%	0%	22.3%	0%	12

Compiler

Compiled 18 to 12 computations (33.3% saved)