JKU / TNF / INF

FMV

Software
Publications
Teaching
Team

Handbook of Satisfiability

www.digitaltechnik.org

[ download | license ]

Benchmark Tool Run

This is a tool for sampling time and memory usage of a program and its children using the proc file system of Linux.

Time and space limits are also supported. It is very helpful for benchmarking and running competitions.

See README for more information.

Download

[ run-1.2.tar.gz  | run-1.1.tar.gz  | run-1.0.tar.gz ]

Version 1.2 is the third public release.

License

We use a BSD style license. In essence, you can use and modify the sources as you like provided that you acknowledge the origin of the software. More details can be found in the LICENSE file that comes with the sources.