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.0957					12-02-15.1341					12-02-16.0032					12-02-16.0902					12-02-16.1722
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5611					-r5613					-r5621					-r5623					-r5628
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	2	141.64	123.06	121.847	112.586	2	140.03	123.68	122.848	113.729	2	135.13	117.33	60.703	57.826	2	140.60	123.97	60.692	54.659	2	136.59	120.29	62.093	59.077
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 (2 files, max score: 4)	0					0					0					0					0
token_ring.04.cil.c	unknown	75.52	62.07	61.219s	55.077s	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	-	-
toy.cil.c	unknown	66.12	60.99	60.628s	57.509s	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