[abc] around times

Here are around times from this morning:

sim-nullptr
abc: Avg : 25.298
abcforceinline: Avg : 23.876
abcnoinline: Avg : 21.88
ajc121: Avg : 21.388

sim-nullptr-rec
abc: Avg : 24.398
abcforceinline: Avg : 20.802
abcnoinline: Avg : 23.562
ajc121: Avg : 124.024

weka-nullptr
abc: Avg : 18.942
abcforceinline: Avg : 17.77
abcnoinline: Avg : 19.034
ajc121: Avg : 16.074

weka-nullptr-rec
abc: Avg : 18.918
abcforceinline: Avg : 18.058
abcnoinline: Avg : 18.91
ajc121: Avg : 45.52

ants-delayedoutput
abc: Avg : 17.484
abcforceinline: Avg : 17.642
abcnoinline: Avg : 17.504
ajc121: Avg : 18.23

ants-profiler
abc: Avg : 19.68
abcforceinline: Avg : 19.238
abcnoinline: Avg : 22.5
ajc121: Avg : 21.218
Received on Fri Apr 15 16:57:46 2005