result of os.times() is different with 'time' command Options

[Gabriel Genellina]

En Mon, 15 Mar 2010 03:51:28 -0300, hiral <hiralsmaillist at gmail.com>  
escribió:
> On Mar 15, 7:14 am, Tim Roberts <t... at probo.com> wrote:
>> hiral<hiralsmaill... at gmail.com> wrote:

>> >Output:
>> >real    0.0m0.0100000002421s
>> >user    0.0m0.0s
>> >sys     0.0m0.0s
>>
>> >Command:
>> >$ time ls
>>
>> >Output:
>> >real    0m0.007s
>> >user    0m0.000s
>> >sys     0m0.000s
>>
>> You can't really do an analysis like this with a task that only takes a  
>> few
>> milliseconds.  There are too many variables.
>
> Thanks for your explanation.

Have you tested with the highly recursive function in that 2007 thread you  
linked to?
This should take time enough to make a problem like this clearly visible.

-- 
Gabriel Genellina