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.0041					12-02-20.1411					12-02-20.1447
Test set	integration-predicateAnalysis-abm					integration-predicateAnalysis-abm					integration-predicateAnalysis-abm
branch	-r5662					-r5668					-r5669
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
test/programs/benchmarks/systemc/	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time	status	cputime	walltime	total	cpa time
total files	1	7.19	3.82	0	0	1	67.00	60.97	60.643	56.998	1	67.43	60.83	60.519	56.975
correct results	0	0	0	0	0	1	67.00	60.97	60.643	56.998	1	67.43	60.83	60.519	56.975
false negatives	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
score (1 files, max score: 2)	0					2					2
kundu.cil.c	exception	7.19	3.82	-	-	safe	67.00	60.97	60.643s	56.998s	safe	67.43	60.83	60.519s	56.975s