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.1721									12-02-17.0841									12-02-17.0906									12-02-17.0932									12-02-17.0958
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5628									-r5630									-r5631									-r5638									-r5639
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	101.09	72.47	70.174	0.421	32	30	0	6.022	8	111.78	76.83	74.100	0.775	32	30	0	5.804	8	122.83	87.42	84.576	0.674	32	30	0	6.040	8	109.20	74.55	71.734	0.756	31	30	0	6.298	8	106.77	74.47	71.806	0.689	32	30	0	5.539
correct results	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	7	104.97	73.45	71.041	0.689	30	30	0	5.514
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	1	1.66	0.99	0.703	0.001	1	0	0	0.026	0	0	0	0	0	0	0	0	0
score (8 files, max score: 16)	2									14									12									12									14
locks/test_locks_10.c	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	safe	54.45	50.11	49.732s	0.259s	20	20	0	1.050s
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	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	unknown	1.80	1.02	0.765s	0.000s	2	0	0	0.025s
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c	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	safe	6.10	2.83	2.557s	0.028s	1	1	0	0.486s
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c	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	safe	7.72	3.59	3.236s	0.085s	1	1	0	0.483s
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c	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	safe	7.83	3.51	3.135s	0.103s	2	2	0	0.610s
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c	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	safe	12.14	5.46	5.133s	0.069s	2	2	0	1.098s
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c	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	safe	9.70	4.29	3.933s	0.087s	2	2	0	0.735s
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c	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	safe	7.03	3.66	3.315s	0.058s	2	2	0	1.052s