analyze0.0ms (89.5%)

Memory

0.9MiB live, 0.9MiB allocated; 0ms collecting garbage

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0.0%	0.0%	99.8%	0.2%	0.0%	0.0%	0.0%	0

Compiler

Compiled 35 to 25 computations (28.6% saved)