Details

Time bar (total: 12.5s)

sample41.0ms

Algorithm
intervals
Results
20.0ms506×body80valid

simplify98.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (40.0ms)

IterNodesCost
03610
112210
24409
313829
432168
550018

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

regimes158.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0168
1168

end0.0ms

sample12.2s

Algorithm
intervals
Results
11.7s15720×body80valid

Profiling

Loading profile data...