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-16.0927									12-02-16.1721									12-02-17.0841									12-02-17.0906									12-02-17.0932
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5623									-r5628									-r5630									-r5631									-r5638
Options	-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner									-noout -heap 2000m -explicitAnalysis -setprop cpa.conditions.global.time.wall=1min -setprop analysis.useRefinement=true -setprop cegar.refiner=cpa.explicit.ExplicitRefiner
test/programs/benchmarks/	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements	status	cputime	walltime	total	reached	refinements	refinements_succ	refinements_fail	time_refinements
total files	9	220.57	180.88	76.319	3.946	36	34	0	14.054	9	206.87	161.71	133.323	4.721	36	34	0	16.224	9	209.37	157.83	136.738	7.826	36	34	0	16.120	9	226.61	174.58	147.749	4.754	36	34	0	17.365	9	211.57	159.73	134.711	1.706	35	34	0	16.100
correct results	0	0	0	0	0	0	0	0	0	1	55.52	50.81	50.431	0.280	20	20	0	1.094	7	110.20	75.93	73.438	0.775	30	30	0	5.783	6	55.53	25.46	23.291	0.400	10	10	0	4.808	7	107.54	73.56	71.031	0.755	30	30	0	6.272
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	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	0	0	0	0	0	0	0	0	0	0	0	1	1.66	0.99	0.703	0.001	1	0	0	0.026
score (9 files, max score: 18)	0									2									14									12									12
locks/test_locks_10.c	unknown	65.56	61.06	60.703s	0.330s	20	20	0	1.285s	safe	55.52	50.81	50.431s	0.280s	20	20	0	1.094s	safe	56.05	51.32	50.929s	0.299s	20	20	0	1.106s	unknown	65.54	60.95	60.541s	0.274s	20	20	0	1.212s	safe	53.20	48.36	47.998s	0.288s	20	20	0	1.043s
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	unknown	1.39	0.83	0.597s	0.001s	2	0	0	0.019s	unknown	1.52	0.89	0.658s	0.000s	2	0	0	0.021s	unknown	1.58	0.90	0.662s	0.000s	2	0	0	0.021s	unknown	1.76	1.01	0.744s	0.000s	2	0	0	0.020s	unsafe	1.66	0.99	0.703s	0.001s	1	0	0	0.026s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	timeout	119.62	102.35	-	3.496s	4	4	0	8.535s	unknown	105.78	89.24	63.149s	4.300s	4	4	0	10.202s	unknown	97.59	81.00	62.638s	7.051s	4	4	0	10.316s	unknown	103.78	87.16	63.173s	4.080s	4	4	0	11.325s	unknown	102.37	85.18	62.977s	0.950s	4	4	0	9.802s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	4.52	2.24	1.967s	0.018s	1	1	0	0.431s	unknown	5.93	2.73	2.451s	0.020s	1	1	0	0.508s	safe	6.33	3.11	2.785s	0.031s	1	1	0	0.521s	safe	7.01	3.28	2.965s	0.036s	1	1	0	0.559s	safe	6.53	3.13	2.843s	0.045s	1	1	0	0.553s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	4.37	2.26	2.000s	0.008s	1	1	0	0.440s	unknown	5.28	2.49	2.229s	0.017s	1	1	0	0.464s	safe	8.48	3.72	3.350s	0.095s	1	1	0	0.497s	safe	8.77	3.92	3.529s	0.100s	1	1	0	0.496s	safe	8.78	4.01	3.638s	0.092s	1	1	0	0.473s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c	unknown	5.29	2.70	2.422s	0.039s	2	2	0	0.574s	unknown	7.08	3.22	2.921s	0.049s	2	2	0	0.622s	safe	8.10	3.74	3.387s	0.089s	2	2	0	0.625s	safe	8.80	4.14	3.739s	0.089s	2	2	0	0.740s	safe	8.70	4.24	3.831s	0.090s	2	2	0	0.697s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	9.58	4.08	3.808s	0.026s	2	2	0	1.176s	unknown	12.28	5.15	4.883s	0.022s	2	2	0	1.411s	safe	14.32	5.99	5.662s	0.106s	2	2	0	1.169s	safe	14.06	6.08	5.721s	0.066s	2	2	0	1.201s	safe	14.03	6.19	5.788s	0.089s	2	2	0	1.711s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	5.92	2.84	2.564s	0.015s	2	2	0	0.670s	unknown	7.86	3.87	3.561s	0.016s	2	2	0	0.737s	safe	9.55	4.30	3.948s	0.088s	2	2	0	0.801s	safe	10.34	4.76	4.403s	0.063s	2	2	0	0.822s	safe	9.44	4.05	3.683s	0.087s	2	2	0	0.751s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	4.32	2.52	2.258s	0.013s	2	2	0	0.924s	unknown	5.62	3.31	3.040s	0.017s	2	2	0	1.165s	safe	7.37	3.75	3.377s	0.067s	2	2	0	1.064s	safe	6.55	3.28	2.934s	0.046s	2	2	0	0.990s	safe	6.86	3.58	3.250s	0.064s	2	2	0	1.044s