Harley's example

analyze404.0ms (0%)

Memory

6.4MiB live, 135.4MiB allocated

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
0%	0%	25%	75%	0%	0%	0%	1
0%	0%	25%	75%	0%	0%	0%	2
0%	0%	25%	75%	0%	0%	0%	3
0%	0%	25%	75%	0%	0%	0%	4
0%	0%	25%	75%	0%	0%	0%	5
0%	0%	23.4%	75%	0%	1.6%	0%	6
0%	0%	21.1%	75%	0%	3.9%	0%	7
15.7%	3.1%	16.8%	75%	0%	5.1%	0%	8
17.2%	3.1%	15%	75%	0%	6.8%	0%	9
18.9%	3.1%	13.4%	75%	0%	8.5%	0%	10
21%	3.1%	11.7%	75%	0%	10.1%	0%	11
22.7%	3.1%	10.6%	75%	0%	11.2%	0%	12

Compiler

Compiled 93 to 47 computations (49.5% saved)

sample20.0min (100%)

Memory

76.4MiB live, 146 876.8MiB allocated

Samples

651.0ms	3 176×	0	valid-sollya
584.0ms	3 176×	0	valid-rival
540.0ms	3 176×	0	valid-baseline
63.0ms	4×	4	valid-baseline
59.0ms	40×	1	valid-baseline+rival
46.0ms	4×	4	valid-sollya
31.0ms	125×	0	valid-rival+baseline
30.0ms	124×	0	valid-rival+baseline-zero
29.0ms	3×	3	valid-sollya
28.0ms	40×	1	valid-rival+baseline
28.0ms	12×	1	valid-sollya
27.0ms	39×	1	valid-rival+baseline-zero
24.0ms	3×	2	valid-sollya
23.0ms	125×	0	valid-baseline+rival
22.0ms	2×	4	valid-baseline+rival
19.0ms	3×	3	valid-baseline
18.0ms	2×	4	valid-rival+baseline-zero
18.0ms	2×	4	valid-rival+baseline
18.0ms	2×	3	valid-baseline+rival
12.0ms	3×	2	valid-baseline+rival
11.0ms	12×	1	valid-baseline
10.0ms	2×	3	valid-rival+baseline
10.0ms	2×	3	valid-rival+baseline-zero
10.0ms	3×	2	valid-baseline
7.0ms	6×	5	valid-rival-only
6.0ms	12×	1	valid-rival
5.0ms	3×	2	valid-rival+baseline-zero
5.0ms	3×	2	valid-rival+baseline
4.0ms	4×	4	valid-rival
4.0ms	3×	2	valid-rival
3.0ms	3×	3	valid-rival
1.0ms	1×	1	valid-rival+baseline-inf
0.0ms	1×	0	valid-rival+baseline-inf

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...