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-15.1341									12-02-16.0031									12-02-16.0901									12-02-16.0927									12-02-16.1721
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5613									-r5621									-r5622									-r5623									-r5628
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	2	148.52	126.74	114.428	4.050	24	24	0	11.235	2	163.70	142.68	113.658	5.125	24	24	0	11.286	2	164.35	142.76	114.561	4.489	24	24	0	11.757	2	185.18	163.41	60.703	3.826	24	24	0	9.820	2	161.30	140.05	113.580	4.580	24	24	0	11.296
correct results	1	56.42	51.44	51.045	0.293	20	20	0	1.142	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
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 (2 files, max score: 4)	2									2									2									0									2
locks/test_locks_10.c	safe	56.42	51.44	51.045s	0.293s	20	20	0	1.142s	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
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c	unknown	92.10	75.30	63.383s	3.757s	4	4	0	10.093s	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