analyze1.3s (92.2%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	199.9%	-99.9%	0%	0%	0%	1
0%	0%	399.8%	-299.8%	0%	0%	0%	2
0%	0%	799.6%	-699.6%	0%	0%	0%	3
0%	0%	1599.2%	-1499.2%	0%	0%	0%	4
0%	0%	3198.4%	-3098.4%	0%	0%	0%	5
0%	0%	6396.9%	-6296.9%	0%	0%	0%	6
0%	0%	12793.8%	-12693.8%	0%	0%	0%	7
0%	0%	25587.5%	-25487.5%	0%	0%	0%	8
0%	0%	51175%	-51075%	0%	0%	0%	9
0%	0%	102350%	-102250%	0%	0%	0%	10
0%	0%	204700%	-204600%	0%	0%	0%	11
0%	0%	409400%	-409300%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)