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-20.1411					12-02-20.1455					12-02-20.2002					12-02-21.1712					12-02-22.1231
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5668					-r5669					-r5671					-r5680					-r5690
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/	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	3	229.88	207.89	60.722	54.364	3	197.38	178.11	0	0	3	218.25	198.58	60.576	54.961	3	214.34	194.03	60.879	54.646	3	215.70	195.34	60.747	54.563
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 (3 files, max score: 6)	0					0					0					0					0
ssh/s3_srvr.blast.08.i.cil.c	out of memory	92.65	88.12	-	-	out of memory	82.53	79.06	-	-	out of memory	91.85	87.63	-	-	out of memory	87.01	82.66	-	-	segmentation fault	87.88	83.74	-	-
systemc/mem_slave_tlm.2.cil.c	segmentation fault	63.21	58.10	-	-	segmentation fault	46.28	42.68	-	-	out of memory	53.93	49.45	-	-	out of memory	54.95	50.12	-	-	out of memory	54.49	50.01	-	-
systemc/token_ring.04.cil.c	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	unknown	72.38	61.25	60.879s	54.646s	unknown	73.33	61.59	60.747s	54.563s