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.1447					12-02-20.2001					12-02-21.1711					12-02-22.1231					12-02-22.1341
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5669					-r5671					-r5680					-r5690					-r5692
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	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	3	200.28	184.89	121.885	115.246
correct results	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	1	67.37	61.43	61.111	57.203
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					2					4					2					2
ssh-simplified/s3_srvr_1.cil.c	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	-	-	out of memory	67.03	62.36	-	-
systemc/kundu.cil.c	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	safe	67.37	61.43	61.111s	57.203s
systemc/token_ring.04.cil.c	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	-	-	unknown	65.88	61.10	60.774s	58.043s