Details

analyze1.3s

Algorithm

search

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
9.4%	90.4%	0.2%	6
17.2%	82.7%	0.2%	7
19.5%	80.3%	0.2%	8
30.8%	69%	0.2%	9
35.5%	64.3%	0.2%	10
42.4%	57.4%	0.2%	11
47.1%	52.7%	0.2%	12
48.9%	50.8%	0.3%	13
50%	49.7%	0.4%	14

sample138.0ms

Algorithm

intervals

Results

45.0ms	61×	body	1280	invalid
27.0ms	243×	body	80	valid
22.0ms	36×	body	640	invalid
6.0ms	17×	body	320	invalid
3.0ms	4×	body	1280	valid
2.0ms	18×	body	80	invalid
2.0ms	4×	body	640	valid
2.0ms	8×	body	160	invalid
1.0ms	4×	body	160	valid
0.0ms	1×	body	320	valid

simplify562.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4930	72
1	4930	72

prune1.0ms

Filtered: 1 candidates to 1 candidates (0.0%)

Profiling

Loading profile data...