Details

analyze14.0s (9.3%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
0%	0%	99.8%	0.2%	0%	0%	0%	9
0%	0%	99.8%	0.2%	0%	0%	0%	10
6.3%	6.2%	93.5%	0.2%	0%	0%	0%	11
6.3%	6.2%	93.5%	0.2%	0%	0%	0%	12

Compiler

Compiled 115 to 84 computations (27% saved)

sample2.3min (90.7%)

Results

36.0s	1094×	body	4096	valid
28.3s	1331×	body	2048	valid
19.1s	625×	body	4096	infinite
17.0s	909×	body	2048	infinite
11.5s	2776×	body	256	valid
7.7s	670×	body	1024	valid
6.1s	516×	body	1024	infinite
3.0s	48×	body	8192	valid
2.7s	842×	body	256	infinite
2.1s	305×	body	512	valid
1.2s	24×	body	8192	infinite
1.2s	218×	body	512	infinite

Profiling

Loading profile data...