Tool	CPAchecker 1.1-svn
Limits	timelimit: 10 s, memlimit: 2000 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-22.1404
Test set	benchmark-cpachecker
branch	-r5692
Options	-heap 1000m -setprop output.disable=true -predicateAnalysis
test/programs/benchmarks/locks/	status	cputime	walltime	total	reached
total files	8	13.90	10.88	6.752	0.032
correct results	8	13.90	10.88	6.752	0.032
false negatives	0	0	0	0	0
false positives	0	0	0	0	0
score (8 files, max score: 16)	16
test_locks_5.c	safe	1.78	3.01	1.658s	0.003s
test_locks_6.c	safe	1.66	1.71	0.669s	0.003s
test_locks_10.c	safe	1.87	1.11	0.781s	0.006s
test_locks_11.c	safe	1.65	0.95	0.657s	0.004s
test_locks_12.c	safe	1.65	1.01	0.739s	0.004s
test_locks_13.c	safe	1.66	0.98	0.704s	0.004s
test_locks_14.c	safe	1.75	1.04	0.760s	0.001s
test_locks_15.c	safe	1.88	1.07	0.784s	0.007s