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.0947					12-02-15.1341					12-02-16.0031					12-02-16.0901					12-02-16.1721
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5611					-r5613					-r5621					-r5623					-r5628
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/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	1	119.59	112.45	0	0	1	66.88	62.54	62.235	59.682	1	65.64	60.84	60.549	57.390	1	65.98	60.91	60.608	57.708	1	66.73	61.00	60.682	57.429
correct results	0	0	0	0	0	1	66.88	62.54	62.235	59.682	1	65.64	60.84	60.549	57.390	1	65.98	60.91	60.608	57.708	1	66.73	61.00	60.682	57.429
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 (1 files, max score: 2)	0					2					2					2					2
token_ring.04.cil.c	timeout	119.59	112.45	-	-	safe	66.88	62.54	62.235s	59.682s	safe	65.64	60.84	60.549s	57.390s	safe	65.98	60.91	60.608s	57.708s	safe	66.73	61.00	60.682s	57.429s