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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
