[gecode-users] Benchmarks

[Guido Tack]

Mauricio Toro wrote:
> What did you use to measure the time and memory consumption
> in Mozart Oz for the Benchmark examples?

We just used {Property.get time} and coded the computation of time  
difference as well as the loops (for executing benchmarks several  
times) in Mozart.  For memory, we used memusage (which is available in  
some Linux distributions and just a wrapper around libmemusage, I  
think).  That's a script that is used as a wrapper around the  
executable.

Cheers,
	Guido
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2436 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080418/9b364047/attachment.bin>