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-15.1341					12-02-16.0031					12-02-16.0901					12-02-16.1721					12-02-17.0841
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5613					-r5621					-r5623					-r5628					-r5630
Options	-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -heap 2000m -setprop cpa.conditions.global.time.wall=1min					-noout -predicateAnalysis-abm -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	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time
total files	1	87.87	85.08	83.621	79.729	1	87.59	83.10	81.417	77.798	1	96.19	95.12	93.777	87.155	1	89.75	83.76	83.379	81.190	1	119.68	118.34	0	0
correct results	1	87.87	85.08	83.621	79.729	1	87.59	83.10	81.417	77.798	1	96.19	95.12	93.777	87.155	1	89.75	83.76	83.379	81.190	0	0	0	0	0
false negatives	0	0	0	0	0	0	0	0	0	0	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	0	0	0	0	0	0	0	0	0	0
score (1 files, max score: 2)	2					2					2					2					0
mem_slave_tlm.4.cil.c	safe	87.87	85.08	83.621s	79.729s	safe	87.59	83.10	81.417s	77.798s	safe	96.19	95.12	93.777s	87.155s	safe	89.75	83.76	83.379s	81.190s	timeout	119.68	118.34	-	-