All experiments were performed on a 1.4 Ghz Pentium 4 machine running Linux. We restricted the memory usage to 512MB, but did not set a time limit.
 
The two performance metrics we measured are running time  (in seconds) and memory usage (in megabytes). In the case of slicing both metrics also include the overhead of computing the slice.

We run the programs for 20 seconds and our measurements are averaged over 20 traces for each program.