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.0031									12-02-16.0901									12-02-16.0927									12-02-16.1721									12-02-17.0841
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5621									-r5622									-r5623									-r5628									-r5630
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	8	207.96	163.44	132.713	5.271	34	34	0	16.174	8	209.51	164.09	134.134	4.623	34	34	0	16.952	8	219.18	180.05	75.722	3.945	34	34	0	14.035	8	205.35	160.82	132.665	4.721	34	34	0	16.203	8	207.79	156.93	136.076	7.826	34	34	0	16.099
correct results	1	57.32	52.77	52.378	0.305	20	20	0	1.106	1	58.13	53.22	52.810	0.284	20	20	0	1.079	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
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	0	0	0	0	0	0	0	0	0
score (8 files, max score: 16)	2									2									0									2									14
locks/test_locks_10.c	safe	57.32	52.77	52.378s	0.305s	20	20	0	1.106s	safe	58.13	53.22	52.810s	0.284s	20	20	0	1.079s	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
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	106.38	89.91	61.280s	4.820s	4	4	0	10.180s	unknown	106.22	89.54	61.751s	4.205s	4	4	0	10.678s	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
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	unknown	5.41	2.59	2.306s	0.032s	1	1	0	0.465s	unknown	5.64	2.62	2.349s	0.011s	1	1	0	0.490s	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
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	unknown	5.26	2.72	2.447s	0.012s	1	1	0	0.483s	unknown	5.69	2.62	2.363s	0.008s	1	1	0	0.615s	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
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c	unknown	6.92	3.63	3.284s	0.051s	2	2	0	0.814s	unknown	7.47	3.88	3.503s	0.048s	2	2	0	0.728s	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
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	unknown	13.14	5.42	5.146s	0.021s	2	2	0	1.406s	unknown	12.90	5.58	5.269s	0.033s	2	2	0	1.582s	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
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	unknown	8.09	3.48	3.217s	0.018s	2	2	0	0.722s	unknown	8.04	3.72	3.448s	0.014s	2	2	0	0.774s	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
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	unknown	5.44	2.92	2.655s	0.012s	2	2	0	0.998s	unknown	5.42	2.91	2.641s	0.020s	2	2	0	1.006s	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