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					12-02-20.2002
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5662					-r5668					-r5669					-r5671
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					-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	status	cputime	walltime	total	cpa time
total files	2	124.36	108.22	60.631	54.673	2	137.23	119.77	60.722	54.364	2	114.85	99.05	0	0	2	126.40	110.95	60.576	54.961
correct results	0	0	0	0	0	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	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
score (2 files, max score: 4)	0					0					0					0
mem_slave_tlm.2.cil.c	segmentation fault	51.30	46.70	-	-	segmentation fault	63.21	58.10	-	-	segmentation fault	46.28	42.68	-	-	out of memory	53.93	49.45	-	-
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	-	-	unknown	72.47	61.50	60.576s	54.961s