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.0906									12-02-17.0932									12-02-17.0958									12-02-17.1023									12-02-17.1102
Test set	integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis									integration-explicitAnalysis
branch	-r5631									-r5638									-r5639									-r5643									-r5647
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	4	130.99	120.87	119.562	0.352	38	35	0	56.773	4	117.46	107.39	106.155	0.373	37	35	0	55.614	4	118.81	108.70	107.476	0.337	38	35	0	55.116	4	128.37	119.62	118.398	0.425	38	35	0	55.755	4	3.56	2.18	1.582	0.000	3	0	0	0.040
correct results	1	61.99	57.95	57.591	0.078	15	15	0	55.522	2	114.07	105.36	104.658	0.371	35	35	0	55.568	2	115.31	106.72	106.003	0.337	35	35	0	55.071	1	61.00	57.00	56.629	0.086	15	15	0	54.517	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	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	1	1.70	1.09	0.823	0.000	1	0	0	0.019
score (4 files, max score: 8)	2									2									4									2									-2
locks/test_locks_10.c	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	-	-	-	-	-	-	-	-	-
systemc/mem_slave_tlm.4.cil.c	safe	61.99	57.95	57.591s	0.078s	15	15	0	55.522s	safe	60.87	57.00	56.660s	0.083s	15	15	0	54.525s	safe	60.86	56.61	56.271s	0.078s	15	15	0	54.021s	safe	61.00	57.00	56.629s	0.086s	15	15	0	54.517s	-	-	-	-	-	-	-	-	-
ldv-regression/mutex_lock_struct.c-safe_1.cil.c	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	unknown	1.86	1.09	0.759s	0.000s	2	0	0	0.021s
ldv-regression/nested_structure.c-safe.cil.c	unknown	1.70	0.96	0.686s	0.000s	1	0	0	0.019s	unknown	1.73	1.04	0.794s	0.001s	1	0	0	0.020s	unknown	1.70	0.96	0.708s	0.000s	1	0	0	0.020s	unknown	1.55	0.85	0.624s	0.000s	1	0	0	0.020s	unsafe	1.70	1.09	0.823s	0.000s	1	0	0	0.019s