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-19.0042					12-02-20.1411					12-02-20.1455					12-02-20.2002					12-02-21.1712
Test set	integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis					integration-predicateAnalysis
branch	-r5662					-r5668					-r5669					-r5671					-r5680
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	1	73.06	61.52	60.631	54.673	1	74.02	61.67	60.722	54.364	1	68.57	56.37	0	0	1	72.47	61.50	60.576	54.961	1	72.38	61.25	60.879	54.646
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 (1 files, max score: 2)	0					0					0					0					0
token_ring.04.cil.c	unknown	73.06	61.52	60.631s	54.673s	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