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.0901									12-02-16.0927									12-02-16.1721									12-02-17.0841									12-02-17.0906
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5622									-r5623									-r5628									-r5630									-r5631
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	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	8	224.85	173.57	147.005	4.754	34	34	0	17.345
correct results	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	6	55.53	25.46	23.291	0.400	10	10	0	4.808
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									0									2									14									12
locks/test_locks_10.c	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	unknown	65.54	60.95	60.541s	0.274s	20	20	0	1.212s
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	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	unknown	103.78	87.16	63.173s	4.080s	4	4	0	11.325s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	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	safe	7.01	3.28	2.965s	0.036s	1	1	0	0.559s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	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	safe	8.77	3.92	3.529s	0.100s	1	1	0	0.496s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c	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	safe	8.80	4.14	3.739s	0.089s	2	2	0	0.740s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	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	safe	14.06	6.08	5.721s	0.066s	2	2	0	1.201s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	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	safe	10.34	4.76	4.403s	0.063s	2	2	0	0.822s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	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	safe	6.55	3.28	2.934s	0.046s	2	2	0	0.990s