[runlim] version:		1.8
[runlim] time limit:		1200 seconds
[runlim] real time limit:	311040000 seconds
[runlim] space limit:		7000 MB
[runlim] argv[0]:		/home/mathias/runs/boolector/tacas2016/20161010-q3b-bv/run-q3b-parallel.py
[runlim] argv[1]:		/data/starexec/2015-06-01/BV/wintersteiger/fmsd13/fixpoint/cache-coherence-2-fixpoint-1.smt2
[runlim] start:			Mon Oct 10 14:30:15 2016
[runlim] main pid:		3714
[runlim] end:			Mon Oct 10 14:30:16 2016
[runlim] status:		ok
[runlim] result:		20
[runlim] children:		1
[runlim] real:			1.12 seconds
[runlim] time:			0.06 seconds
[runlim] space:			10.6 MB
[runlim] samples:		3
