Tool	CPAchecker 1.1-svn
Limits	timelimit: 120 s, memlimit: 3000 MB
System	host: pc-wehr-serv1 os: Linux 3.0.0-15-generic x86_64 cpu: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz cores: 4, frequency: 3401 MHz, ram: 16408608 kB
Date of run	12-02-19.0042					12-02-20.1411					12-02-20.1455
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5662					-r5668					-r5669
Options	-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis -heap 2000m -setprop cpa.conditions.global.time.wall=1min
test/programs/benchmarks/systemc/	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time
total files	1	73.06	61.52	60.631	54.673	1	74.02	61.67	60.722	54.364	1	68.57	56.37	0	0
correct results	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false negatives	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
false positives	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
score (1 files, max score: 2)	0					0					0
token_ring.04.cil.c	unknown	73.06	61.52	60.631s	54.673s	unknown	74.02	61.67	60.722s	54.364s	out of memory	68.57	56.37	-	-