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.1447					12-02-20.2001					12-02-21.1711					12-02-22.1231
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5668					-r5669					-r5671					-r5680					-r5690
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/	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	204.49	189.66	127.888	121.887	3	202.39	186.64	121.065	114.903	3	136.99	123.45	60.655	57.061	3	199.14	184.96	121.639	114.890	3	251.93	236.61	61.483	58.024
correct results	2	139.06	128.55	127.888	121.887	2	133.17	121.69	121.065	114.903	1	67.06	60.95	60.655	57.061	2	132.26	122.27	121.639	114.890	1	66.14	62.70	61.483	58.024
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)	4					4					2					4					2
ssh-simplified/s3_srvr_1.cil.c	out of memory	65.43	61.11	-	-	out of memory	69.22	64.95	-	-	out of memory	62.97	58.68	-	-	out of memory	66.88	62.69	-	-	unknown	66.05	61.57	-	-
systemc/kundu.cil.c	safe	67.00	60.97	60.643s	56.998s	safe	67.43	60.83	60.519s	56.975s	exception	6.96	3.82	-	-	safe	66.51	60.95	60.615s	56.641s	safe	66.14	62.70	61.483s	58.024s
systemc/token_ring.04.cil.c	safe	72.06	67.58	67.245s	64.889s	safe	65.74	60.86	60.546s	57.928s	safe	67.06	60.95	60.655s	57.061s	safe	65.75	61.32	61.024s	58.249s	timeout	119.74	112.34	-	-