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-16.0901					12-02-16.1721					12-02-17.0841					12-02-17.0918					12-02-17.0954
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5623					-r5628					-r5630					-r5631					-r5639
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	96.19	95.12	93.777	87.155	1	89.75	83.76	83.379	81.190	1	119.68	118.34	0	0	1	67.66	62.03	61.658	58.706	1	119.69	113.30	0	0
correct results	1	96.19	95.12	93.777	87.155	1	89.75	83.76	83.379	81.190	0	0	0	0	0	1	67.66	62.03	61.658	58.706	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					0					2					0
mem_slave_tlm.4.cil.c	safe	96.19	95.12	93.777s	87.155s	safe	89.75	83.76	83.379s	81.190s	timeout	119.68	118.34	-	-	safe	67.66	62.03	61.658s	58.706s	timeout	119.69	113.30	-	-