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.0032					12-02-16.0902					12-02-16.1722					12-02-17.0841
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5613					-r5621					-r5623					-r5628					-r5630
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					-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	status	cputime	walltime	total	cpa time
total files	4	253.65	227.14	122.848	113.729	4	250.05	221.81	60.703	57.826	4	249.37	222.37	60.692	54.659	4	248.15	221.07	62.093	59.077	4	262.43	235.34	121.807	112.851
correct results	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 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 (4 files, max score: 8)	0					0					0					0					0
mem_slave_tlm.1.cil.c	segmentation fault	52.74	47.44	-	-	out of memory	51.88	46.88	-	-	out of memory	52.33	47.03	-	-	out of memory	51.52	46.17	-	-	out of memory	55.80	51.27	-	-
mem_slave_tlm.4.cil.c	out of memory	60.88	56.02	-	-	segmentation fault	63.04	57.60	-	-	out of memory	56.44	51.37	-	-	out of memory	60.04	54.61	-	-	out of memory	66.47	60.97	-	-
token_ring.04.cil.c	unknown	72.26	61.13	60.771s	54.460s	segmentation fault	68.20	56.17	-	-	unknown	72.87	61.48	60.692s	54.659s	segmentation fault	68.56	57.71	-	-	unknown	73.60	61.58	60.659s	54.673s
toy.cil.c	unknown	67.77	62.55	62.077s	59.269s	unknown	66.93	61.16	60.703s	57.826s	out of memory	67.73	62.49	-	-	unknown	68.03	62.58	62.093s	59.077s	unknown	66.56	61.52	61.148s	58.178s