JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  download | license ]

RunLim

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

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

See README and NEWS for more information.

The latest version also supports limits on wall clock time and thus can control runs of multi-threaded programs on multi-core machines as well.

Download

[ runlim-1.10.tar.gz ]
[ runlim-1.7.tar.gz ]

Version 1.10 includes various bug-fixes compared to version 1.7, which was the first public release after renaming it from Run to RunLim.

See the obsolete Run home page for older versions.

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.