[Shootout-list] Mono timings correct for tcp* tests?

[Dave]

If I run tcpecho on an otherwise idle machine, there is a pretty large 
difference between user+sys and real times.

# time mono tcpecho.exe 10
replies: 64000  bytes: 4096000

real    0m3.658s
user    0m0.559s
sys     0m1.016s

I'm wondering which is accurate?

If user+sys is wrong I'd guess it's because two seperate mono processes are 
being run - one for the Listener and one for the Client.

Here's a process listing for tcpecho:
root     18615  0.2  1.4 34172 7624 pts/6    Sl+  20:48   0:00 mono 
tcpecho.csharp_run 100
root     18616  0.0  0.5 18588 2792 ?        Ss   20:48   0:00 mono 
tcpecho.csharp_run 100
root     18619  0.3  1.0 33932 5668 ?        Sl   20:48   0:00 /usr/bin/mono 
tcpecho.csharp_run

Here's a process listing for 'heapsort':
root     18605  0.2 15.9 105204 82128 pts/6  Sl+  20:47   0:00 mono 
heapsort.csharp_run 10000000
root     18606  0.0  0.4 17920 2236 ?        Ss   20:47   0:00 mono 
heapsort.csharp_run 10000000

- Dave