analyze357.0ms (0.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%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
51.6%	50%	46.8%	0.1%	0%	0%	3.1%	6
52.5%	50%	45.3%	0.1%	0%	0%	4.7%	7
53.8%	50%	42.9%	0.1%	0%	0%	7%	8
54.5%	50%	41.8%	0.1%	0%	0%	8.2%	9
55.3%	50%	40.4%	0.1%	0%	0%	9.6%	10
55.7%	50%	39.7%	0.1%	0%	0%	10.2%	11
56.2%	50%	39%	0.1%	0%	0%	11%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)