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-17.0841									12-02-17.0906									12-02-17.0932									12-02-17.0958									12-02-17.1023
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5630									-r5631									-r5638									-r5639									-r5643
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	57.63	52.22	51.591	0.299	22	20	0	1.127	2	67.30	61.96	61.285	0.274	22	20	0	1.232	2	54.86	49.35	48.701	0.289	21	20	0	1.069	2	56.25	51.13	50.497	0.259	22	20	0	1.075	2	65.82	61.77	61.145	0.339	22	20	0	1.218
correct results	1	56.05	51.32	50.929	0.299	20	20	0	1.106	0	0	0	0	0	0	0	0	0	1	53.20	48.36	47.998	0.288	20	20	0	1.043	1	54.45	50.11	49.732	0.259	20	20	0	1.050	0	0	0	0	0	0	0	0	0
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	1	1.66	0.99	0.703	0.001	1	0	0	0.026	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									0									0									2									0
locks/test_locks_10.c	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	unknown	64.49	60.99	60.584s	0.337s	20	20	0	1.201s
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	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	unknown	1.33	0.78	0.561s	0.002s	2	0	0	0.017s