results.2016-09-03_1437 differences

Tool	CPAchecker 1.6.1-svn 22870
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
OS	Linux 4.4.0-34-generic
System	CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135148 MB
Run set	bmc-bitprecise.BMC.ECA									k-induction-bitprecise.k-Induction.ECA												predicateAnalysis-bitprecise.PredicateAbstraction.ECA															impact-bitprecise.Impact.ECA
Options	-heap 10000M -noout -bmc -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.encodeBitvectorAs=BITVECTOR -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.bounds.maxLoopIterationsUpperBound=0 -setprop cpa.bounds.maxLoopIterations=1 -setprop cpa.bounds.maxLoopIterationAdjusterFactory=INCREMENT									-heap 10000M -noout -sv-comp16--k-induction -setprop limits.time.cpu.thread=10000s												-heap 10000M -noout -predicateAnalysis-PredAbsRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC															-heap 10000M -noout -predicateAnalysis-ImpactRefiner-ABEl-bitprecise -setprop cpa.predicate.encodeFloatAs=FLOAT -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CBMC -setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering
test/programs/benchmarks/eca-rers2012/	status	cputime (s)	walltime (s)	memUsage	host	k	BMC formula creation (s)	Bounds check (s)	SMT check (s)	status	cputime (s)	walltime (s)	memUsage	host	k	BMC formula creation (s)	Bounds check (s)	SMT check (s)	Induction formula creation (s)	Induction check (s)	Invariant generation	status	cputime (s)	walltime (s)	memUsage	host	Refinement (s)	Precision adjustment (s)	CPA algorithm (s)	Post operator (s)	Prec operator (s)	Boolean abstraction (s)	Abstraction (s)	Solving (s)	Model enumeration (s)	SMT without itp (s)	status	cputime (s)	walltime (s)	memUsage	host	Attempted forced coverings	Successful forced coverings	Refinement (s)	Precision adjustment (s)	CPA algorithm (s)	Post operator (s)	Prec operator (s)	Boolean abstraction (s)	Abstraction (s)	Solving (s)	Model enumeration (s)	SMT without itp (s)	Forced covering (s)
Problem05_label01_false-unreach-call.c	timeout	922	649	11192107008						timeout	903	452	5262286848		6	66.6	131	16.6	102	98.7	0.004	timeout	920	618	11626651648												out of memory	474	434	14999998464
Problem05_label13_false-unreach-call.c	timeout	919	649	11349688320						timeout	905	453	5321646080		6	65.1	58.0	17.1	105	169	0.013	timeout	922	604	11422384128												out of memory	419	380	14999998464
Problem06_label04_false-unreach-call.c	timeout	927	607	11102339072						timeout	931	467	5188784128		6	70.4	22.4	85.5	90.8	36.5	0.003	timeout	921	611	11414155264												out of memory	347	305	14999998464
Problem06_label05_false-unreach-call.c	timeout	922	591	11114921984						timeout	1000	513	7787139072		6	69.7	14.3	75.4	91.7	26.5	367.890	timeout	921	578	11817652224												out of memory	301	251	14999998464
Problem06_label12_false-unreach-call.c	timeout	920	583	11122200576						timeout	1000	511	7888125952		6	69.7	34.8	53.2	83.8	27.3	0.012	timeout	921	586	11507511296												out of memory	300	253	14999998464
Problem06_label20_false-unreach-call.c	timeout	920	584	11067252736						timeout	955	487	5231652864		6	75.3	59.3	59.7	101	33.8	0.003	timeout	920	572	11414777856												out of memory	363	316	14999998464
Problem06_label21_false-unreach-call.c	timeout	920	590	11108159488						timeout	1000	511	7606448128		6	70.7	35.0	42.1	91.5	35.7	0.006	timeout	922	573	11325345792												out of memory	381	331	14999998464
Problem06_label24_false-unreach-call.c	timeout	925	586	11108454400						timeout	942	474	5254770688		6	70.0	28.8	97.7	89.5	34.8	0.005	timeout	921	577	11983560704												out of memory	342	301	14999998464
Problem06_label29_false-unreach-call.c	timeout	920	592	11085336576						timeout	934	468	5292740608		6	69.8	18.0	74.9	91.8	35.0	0.005	timeout	921	590	11612905472												out of memory	385	352	14999998464
Problem06_label44_false-unreach-call.c	timeout	919	581	11035381760						timeout	936	469	5309243392		6	69.6	28.8	58.1	92.5	58.4	0.005	timeout	921	584	11209420800												out of memory	305	255	14999998464
Problem10_label46_false-unreach-call.c	false(reach)	17.8	9.64	482033664		2	3.50	.114	.110	false(reach)	69.1	35.1	1356312576		2	6.70	1.52	.541	10.8	4.23	8.856	timeout	1000	988	7210852352												timeout	902	894	702091264		1	0	.037	2.45	890	.915	2.36	1.61	2.35	1.47	.135	1.61	887
Problem13_label30_false-unreach-call.c	out of memory	893	739	14999998464						timeout	908	458	11116781568		2	11.0	22.5	.105	30.8	361	0.005	timeout	905	859	4524732416		18.9	804	828	15.9	802	797	802	24.7	775	800	timeout	905	876	3884953600		1	0	.153	36.6	863	8.13	36.1	32.6	36.0	19.8	12.7	32.6	815
Problem19_label10_false-unreach-call.c	timeout	915	883	12440457216		5	29.0	185	653	out of memory	578	290	14999998464									timeout	908	868	6827425792		30.2	800	826	16.7	799	789	799	83.4	710	794	timeout	907	872	6438608896		1	0	.197	52.6	859	10.5	52.1	46.9	52.0	35.8	11.0	46.9	791
Problem19_label11_false-unreach-call.c	out of memory	465	437	14999998464						out of memory	779	390	15000064000									timeout	909	867	6906322944		33.2	793	820	17.7	792	783	792	48.5	740	788	timeout	907	879	6420561920		1	0	.095	50.7	867	9.90	50.2	45.5	50.1	34.6	10.9	45.5	802
Problem19_label14_false-unreach-call.c	timeout	917	882	12503326720		5	29.1	290	540	out of memory	544	273	14999998464									timeout	907	863	6868348928		40.1	782	809	17.2	781	770	780	69.3	705	775	timeout	907	874	6482018304		1	0	.107	52.2	861	12.8	51.7	46.8	51.5	35.2	11.5	46.8	790
Problem19_label17_false-unreach-call.c	out of memory	457	426	14999998464						out of memory	593	297	14999998464									timeout	908	863	6904406016		33.7	786	816	19.2	785	774	784	82.0	696	778	timeout	908	875	6448971776		1	0	.095	52.0	862	12.5	51.5	46.6	51.4	35.2	11.5	46.6	792
Problem19_label18_false-unreach-call.c	out of memory	625	595	14999998464						out of memory	641	321	14999998464									timeout	908	866	6893477888		30.5	796	823	17.2	795	784	794	64.4	724	789	timeout	907	877	6429650944		1	0	.715	50.2	863	10.7	49.7	45.1	49.5	34.5	10.6	45.1	798
Problem19_label19_false-unreach-call.c	out of memory	537	509	14999998464						out of memory	774	388	14999998464									timeout	908	869	6897790976		36.5	789	820	20.1	788	773	788	93.8	684	778	timeout	907	870	6462750720		1	0	.650	42.6	856	12.6	42.0	37.1	41.9	30.4	6.74	37.1	795
Problem19_label21_false-unreach-call.c	out of memory	472	443	14999998464						out of memory	894	448	15002103808									timeout	908	870	6841987072		34.7	797	822	16.3	796	785	795	65.3	725	790	timeout	907	875	6447456256		1	0	.144	42.3	862	12.7	41.7	37.0	41.6	30.2	6.76	37.0	802
Problem19_label22_false-unreach-call.c	out of memory	458	427	14999998464						out of memory	672	337	14999998464									timeout	908	869	6913789952		32.6	797	823	16.7	796	789	796	45.3	749	794	timeout	907	871	6450597888		1	0	.781	42.3	857	11.8	41.6	36.9	41.5	30.4	6.47	36.9	798
Problem19_label26_false-unreach-call.c	out of memory	697	669	14999998464						out of memory	544	273	14999998464									timeout	908	863	6871822336		32.7	789	816	17.6	789	780	788	79.5	706	786	timeout	907	871	6470356992		1	0	.728	61.1	857	12.0	60.6	55.6	60.5	38.2	17.4	55.6	779
Problem19_label27_false-unreach-call.c	out of memory	349	320	14999998464						out of memory	616	309	14999998464									timeout	908	862	6850928640		35.8	786	812	16.3	785	777	784	62.5	719	782	timeout	907	869	6482817024		1	0	.762	64.2	855	12.4	63.7	58.4	63.6	39.9	18.5	58.4	773
Problem19_label28_false-unreach-call.c	out of memory	413	384	14999998464						out of memory	566	284	14999998464									timeout	908	862	6889295872		28.7	794	820	16.6	792	782	792	64.5	722	787	timeout	907	872	6467985408		1	0	.170	62.2	860	11.3	61.8	56.0	61.6	38.6	17.5	56.1	782
Problem19_label29_false-unreach-call.c	out of memory	566	537	14999998464						out of memory	647	324	15002099712									timeout	904	861	13855383552		236	582	611	19.5	579	568	579	63.4	505	568	timeout	907	878	6425280512		1	0	.104	49.8	865	10.2	49.4	44.8	49.3	34.2	10.6	44.8	800
Problem19_label31_false-unreach-call.c	out of memory	354	323	14999998464						timeout	907	457	9462697984		1	8.28	.158	.00	29.5	383	392.874	timeout	908	858	6895054848		36.6	777	807	19.0	776	765	775	60.2	710	770	timeout	907	876	6438391808		1	0	.084	52.5	863	11.3	52.0	47.1	51.9	35.4	11.7	47.1	795
Problem19_label32_false-unreach-call.c	out of memory	588	559	14999998464						out of memory	556	279	14999998464									timeout	908	866	6931230720		30.7	794	822	18.1	793	782	793	59.5	728	787	timeout	907	871	6455574528		1	0	.107	53.4	858	11.8	52.7	47.8	52.6	36.6	11.2	47.8	788
Problem19_label41_false-unreach-call.c	out of memory	333	302	14999998464						out of memory	697	349	14999998464									timeout	908	859	6906146816		34.9	780	810	18.8	778	767	778	66.8	705	772	timeout	907	872	6448545792		1	0	.126	42.4	860	11.6	41.9	36.7	41.8	30.1	6.55	36.7	801
Problem19_label42_false-unreach-call.c	out of memory	388	359	14999998464						out of memory	513	257	14999998464									timeout	908	865	6912225280		32.2	790	819	17.6	789	778	789	57.5	726	783	timeout	907	872	6438490112		1	0	.091	43.2	858	11.9	42.7	37.6	42.6	31.0	6.65	37.6	799
Problem19_label43_false-unreach-call.c	out of memory	395	366	14999998464						out of memory	626	313	14999998464									timeout	908	865	6852128768		32.8	792	819	17.3	791	780	791	62.9	722	785	timeout	907	877	6432395264		1	0	.104	41.3	865	10.7	40.7	35.4	40.6	28.9	6.50	35.4	809
Problem19_label47_false-unreach-call.c	out of memory	317	290	14999998464						out of memory	575	288	15002107904									timeout	908	857	6934241280		32.4	782	811	18.2	780	772	780	58.7	718	777	timeout	907	870	6461026304		1	0	.114	61.5	857	12.5	61.0	55.8	60.9	38.4	17.4	55.8	778
Problem19_label50_false-unreach-call.c	timeout	916	879	12540141568		5	29.6	146	683	out of memory	526	264	14999998464									timeout	908	864	6959771648		32.8	779	817	24.3	777	758	777	120	643	763	timeout	907	869	6474661888		1	0	.088	54.6	857	12.8	54.0	49.0	53.9	37.0	11.3	48.3	784
Problem19_label51_false-unreach-call.c	out of memory	367	339	14999998464						timeout	907	457	9484447744		1	8.21	.109	.00	32.7	379	0.005	timeout	908	859	6938570752		35.3	779	809	19.0	777	766	777	65.3	706	771	timeout	907	871	6443773952		1	0	.727	53.4	857	11.0	52.9	48.0	52.7	36.5	11.5	48.0	788
Problem19_label53_false-unreach-call.c	out of memory	329	301	14999998464						timeout	908	457	9465745408		1	7.95	.231	.00	28.3	386	0.005	timeout	909	856	6946492416		33.9	777	808	19.5	775	766	775	54.4	717	771	timeout	907	873	6476922880		1	0	.744	51.8	859	12.1	51.3	46.4	51.2	35.0	11.4	46.4	790
Problem19_label55_false-unreach-call.c	out of memory	427	395	14999998464						out of memory	667	334	14999998464									timeout	909	863	6912204800		32.8	778	816	23.5	777	757	776	136	625	762	timeout	907	874	6477164544		1	0	.087	52.3	860	12.8	51.8	46.9	51.7	35.3	11.6	46.9	790
Problem19_label58_false-unreach-call.c	out of memory	349	318	14999998464						out of memory	593	297	14999998464									timeout	908	861	6908207104		30.0	788	817	18.1	787	776	787	74.7	706	781	timeout	907	875	6447656960		1	0	.090	50.9	862	12.1	50.4	45.6	50.3	34.6	11.0	45.6	794
Problem19_label59_false-unreach-call.c	out of memory	467	437	14999998464						out of memory	589	295	15000010752									timeout	909	859	6948491264		32.8	785	813	17.5	784	775	784	46.1	734	780	timeout	907	880	6414094336		1	0	.116	40.3	869	9.30	39.9	35.2	39.7	28.9	6.28	35.2	815
Problem01_label00_true-unreach-call.c	timeout	903	885	2042499072		55	31.2	813	23.7	true	46.5	23.6	867082240		1	3.76	.104	.00	10.0	.752	4.548	true	31.8	16.4	705261568		.202	2.67	11.7	6.15	1.64	.991	1.53	.405	.423	.828	true	27.6	14.4	559394816		10	1	1.32	.983	8.41	3.73	.704	.273	.636	.238	.023	.407	1.31
Problem01_label01_true-unreach-call.c	timeout	903	885	1866833920		52	29.0	818	21.1	true	45.3	23.1	851783680		1	3.64	.073	.001	9.76	.438	4.411	true	32.0	17.0	778547200		.440	2.15	12.1	6.10	1.56	.875	1.45	.376	.357	.733	true	24.1	12.8	511995904		6	1	.684	.699	7.14	3.44	.479	.204	.405	.191	.011	.267	.820
Problem01_label02_true-unreach-call.c	timeout	903	885	1967366144		52	30.3	817	21.1	true	44.7	22.7	855138304		1	2.87	.111	.00	10.2	.527	4.053	true	33.6	17.8	839970816		.759	2.55	12.7	5.90	1.86	.980	1.70	.451	.421	.872	true	28.5	14.8	567476224		10	1	.911	.995	9.21	4.83	.716	.378	.656	.339	.015	.516	1.44
Problem01_label03_true-unreach-call.c	timeout	904	885	2045730816		53	29.4	816	22.5	true	51.6	26.3	854474752		1	4.04	.126	.001	10.8	.207	0.006	true	33.3	18.2	804229120		.584	2.79	13.4	5.77	2.20	1.21	2.02	.595	.529	1.12	true	24.3	12.9	517443584		6	1	.636	.712	7.40	4.19	.473	.228	.415	.204	.020	.292	.792
Problem01_label04_true-unreach-call.c	timeout	903	885	1884061696		54	29.6	814	22.9	true	45.6	23.1	859930624		1	3.67	.075	.00	10.2	.699	4.507	true	32.8	16.9	755929088		.373	2.19	11.8	6.04	1.62	.923	1.52	.386	.435	.821	true	25.6	13.4	539123712		10	1	.822	.902	7.79	3.69	.657	.300	.574	.267	.017	.366	1.09
Problem01_label05_true-unreach-call.c	timeout	904	885	1921519616		52	29.2	818	20.7	true	44.8	22.7	862662656		1	3.63	.201	.00	9.67	.441	4.106	true	36.6	19.0	823078912		.860	2.94	13.5	5.20	2.24	1.20	2.10	.525	.500	1.02	true	27.7	14.4	573054976		10	1	1.16	.973	8.73	4.67	.774	.373	.693	.307	.044	.494	1.16
Problem01_label06_true-unreach-call.c	timeout	903	885	2065055744		54	29.8	814	22.8	true	50.3	25.6	841576448		1	4.35	.168	.00	9.04	.430	5.095	true	30.2	15.9	661536768		.220	1.91	11.0	5.37	1.37	.679	1.25	.297	.327	.624	true	24.5	12.7	521850880		6	1	.412	.788	7.39	4.09	.540	.235	.474	.190	.009	.254	.787
Problem01_label07_true-unreach-call.c	timeout	904	885	1890193408		51	28.8	819	20.6	true	47.5	24.1	874115072		1	3.39	.398	.00	10.1	.542	4.400	true	32.2	16.5	692576256		.201	2.01	11.2	5.91	1.54	.945	1.43	.367	.467	.834	true	25.4	13.3	546557952		6	1	.731	.921	8.13	4.31	.650	.260	.606	.247	.010	.339	.863
Problem01_label08_true-unreach-call.c	timeout	903	882	1844420608		52	30.1	813	21.1	true	45.6	23.2	850604032		1	3.71	.067	.00	9.06	.914	0.005	true	38.3	20.7	888254464		1.28	3.60	15.1	5.75	2.93	1.59	2.72	.734	.652	1.39	true	27.1	14.1	530886656		10	1	.939	1.02	8.64	4.63	.709	.282	.633	.255	.023	.384	1.11
Problem01_label09_true-unreach-call.c	timeout	903	885	1890422784		53	29.2	817	21.8	true	48.0	24.4	877768704		1	3.21	.121	.00	11.8	.604	0.014	true	34.8	18.1	841625600		.501	2.45	13.0	6.12	1.91	1.09	1.77	.420	.540	.960	true	24.5	12.7	514822144		6	1	.402	.973	7.55	3.52	.601	.279	.553	.268	.008	.325	.792
Problem01_label10_true-unreach-call.c	timeout	903	885	1966088192		51	29.3	817	21.6	true	43.5	22.1	871047168		1	3.18	.073	.00	9.65	.358	3.949	true	36.0	18.8	806932480		.450	2.77	13.8	6.85	2.04	1.21	1.87	.469	.582	1.05	true	27.1	14.1	528506880		10	1	.646	.889	8.74	4.21	.663	.258	.585	.241	.012	.342	1.11
Problem01_label11_true-unreach-call.c	timeout	903	884	1886105600		52	29.3	816	21.3	true	44.1	22.5	844435456		1	3.48	.068	.00	9.90	.460	4.188	true	33.1	17.2	766746624		.403	2.58	12.2	5.74	1.98	1.25	1.85	.471	.559	1.03	true	24.0	12.6	515788800		6	1	.770	.820	7.19	4.15	.522	.204	.474	.190	.010	.299	.609
Problem01_label12_true-unreach-call.c	timeout	903	885	1875296256		52	28.9	818	20.7	true	47.6	24.2	871256064		1	3.71	.106	.00	10.1	.503	4.349	true	31.4	16.2	684265472		.190	2.13	11.3	6.08	1.67	.905	1.53	.406	.410	.816	true	22.1	11.6	508612608		6	1	.527	.718	6.81	3.74	.474	.173	.409	.162	.008	.236	.579
Problem01_label13_true-unreach-call.c	timeout	904	884	1991348224		53	29.8	816	21.8	true	46.4	23.6	856461312		1	3.67	.076	.00	10.6	.526	4.476	true	36.0	18.6	851210240		.574	2.52	13.5	7.47	2.00	1.05	1.80	.435	.489	.924	true	26.6	14.0	521990144		6	1	.785	.769	8.25	4.63	.509	.220	.470	.194	.009	.292	.776
Problem01_label14_true-unreach-call.c	timeout	903	884	2005069824		53	29.9	813	23.0	true	47.1	23.9	845082624		1	3.83	.073	.00	10.2	.548	0.017	true	29.9	16.1	811646976		.455	2.35	11.2	5.29	1.73	.811	1.54	.373	.374	.747	true	25.7	13.4	548880384		6	1	.795	.916	8.09	4.38	.557	.226	.483	.213	.010	.320	.696
Problem01_label16_true-unreach-call.c	timeout	903	884	1934364672		53	29.4	814	22.7	true	43.5	22.0	846553088		1	3.49	.138	.00	9.92	.603	3.926	true	28.2	15.1	784404480		.475	2.57	10.2	4.93	1.66	.848	1.51	.478	.302	.780	true	21.0	11.0	543784960		3	1	.484	.744	5.42	2.98	.522	.194	.416	.172	.018	.235	.339
Problem01_label17_true-unreach-call.c	timeout	904	886	1896951808		52	29.6	818	21.3	true	45.1	22.9	1215569920		1	3.77	.362	.001	9.23	.472	4.521	true	32.6	16.8	691003392		.201	1.84	12.0	6.22	1.43	.852	1.32	.375	.374	.749	true	22.8	11.9	494616576		6	1	.507	.749	6.73	3.17	.491	.195	.414	.183	.008	.264	.675
Problem01_label18_true-unreach-call.c	timeout	903	885	1998217216		53	28.9	816	22.4	true	47.6	24.1	873574400		1	3.51	.113	.00	10.7	.686	4.364	true	29.1	15.1	679464960		.169	1.66	10.1	5.37	1.31	.772	1.18	.311	.374	.685	true	26.6	14.0	534024192		6	1	.790	.806	8.34	4.47	.547	.248	.501	.234	.010	.395	1.11
Problem01_label19_true-unreach-call.c	timeout	904	886	1981898752		54	29.8	816	23.5	true	44.0	22.4	863297536		1	3.13	.106	.00	10.1	.493	0.005	true	37.9	19.7	831868928		.410	2.75	14.2	7.07	2.32	1.38	2.15	.513	.662	1.18	true	23.3	12.1	497799168		6	1	.714	.695	6.53	3.66	.474	.183	.433	.155	.009	.257	.584
Problem01_label22_true-unreach-call.c	timeout	903	885	1949564928		53	29.5	817	21.2	true	45.2	23.0	860614656		1	3.61	.075	.00	9.77	.402	4.251	true	34.8	18.6	860217344		.551	2.86	13.7	6.19	2.35	1.38	2.18	.632	.580	1.21	true	21.3	11.2	511807488		3	1	.529	.764	5.54	2.99	.494	.229	.414	.206	.020	.257	.394
Problem01_label23_true-unreach-call.c	timeout	903	885	1792696320		51	29.3	818	20.7	true	46.0	23.4	874905600		1	3.64	.097	.00	10.3	.405	4.144	true	31.6	16.3	708501504		.645	2.17	11.3	6.05	1.67	.947	1.58	.559	.300	.859	true	23.5	12.3	536920064		6	1	.926	.834	6.83	3.52	.653	.330	.613	.298	.019	.412	.973
Problem01_label24_true-unreach-call.c	timeout	903	885	1824645120		51	28.4	819	20.1	true	43.4	22.1	859435008		1	3.23	.124	.00	9.49	.641	4.044	true	35.3	18.3	807489536		.596	2.52	13.3	7.01	1.92	1.18	1.77	.509	.551	1.06	true	29.9	15.4	574287872		10	1	1.02	1.11	9.69	4.75	.796	.358	.700	.274	.075	.460	1.55
Problem01_label25_true-unreach-call.c	timeout	903	884	1942781952		53	30.2	813	22.3	true	49.1	25.0	890363904		1	3.62	.062	.00	11.5	.600	4.876	true	34.2	17.7	700112896		.239	2.52	12.0	6.06	1.63	.993	1.50	.345	.506	.851	true	25.9	13.5	547364864		6	1	.626	.715	7.91	4.51	.518	.201	.475	.186	.011	.277	.803
Problem01_label26_true-unreach-call.c	timeout	903	884	1863823360		53	29.2	816	21.7	true	47.3	24.1	868687872		1	4.13	.118	.00	10.6	.386	4.405	true	34.1	17.9	835371008		.371	2.53	13.1	6.60	2.00	1.13	1.86	.398	.568	.966	true	25.9	13.5	505925632		10	1	.758	.835	7.71	3.77	.525	.200	.465	.183	.012	.290	.923
Problem01_label27_true-unreach-call.c	timeout	903	885	2026864640		54	30.2	813	22.9	true	51.4	26.1	888717312		1	4.06	.084	.00	11.3	.477	5.036	true	36.0	18.9	846716928		.874	2.95	13.3	5.21	2.03	1.13	1.84	.585	.441	1.03	true	28.3	14.8	532283392		10	1	.727	.947	9.43	4.65	.608	.251	.525	.234	.011	.340	1.63
Problem01_label28_true-unreach-call.c	timeout	903	884	1876750336		53	29.2	815	22.0	true	45.9	23.3	864546816		1	3.76	.064	.00	9.71	.573	4.397	true	33.9	18.7	815935488		.708	2.88	13.8	6.45	2.15	1.28	2.05	.602	.545	1.15	true	29.6	15.3	551297024		10	1	1.68	.871	8.77	4.49	.598	.253	.558	.234	.013	.362	1.55
Problem01_label29_true-unreach-call.c	timeout	903	885	1874980864		51	28.7	818	21.1	true	45.1	23.0	847212544		1	3.30	.097	.001	10.2	.566	4.135	true	35.0	18.8	809213952		.399	2.77	13.9	6.78	2.21	1.31	2.09	.602	.600	1.20	true	26.3	13.7	555835392		10	1	.976	.942	8.25	3.96	.737	.301	.669	.277	.022	.423	1.15
Problem01_label30_true-unreach-call.c	timeout	903	884	1900904448		51	29.0	819	19.9	true	46.2	23.4	862535680		1	3.33	.437	.00	10.1	.442	4.145	true	33.5	17.4	746917888		.524	2.64	12.5	5.67	1.98	1.19	1.88	.513	.539	1.05	true	27.3	14.1	507596800		10	1	.687	1.03	8.43	4.59	.798	.373	.754	.333	.036	.456	1.13
Problem01_label31_true-unreach-call.c	timeout	903	885	2010382336		53	29.7	816	21.9	true	49.6	25.2	885481472		1	4.21	.073	.00	11.6	.400	4.304	true	32.1	17.0	799625216		.520	2.15	11.9	6.10	1.67	.921	1.56	.378	.445	.823	true	26.2	13.6	561958912		6	1	.837	.946	7.83	4.14	.639	.304	.587	.265	.024	.454	1.16
Problem01_label34_true-unreach-call.c	timeout	903	885	1993953280		53	29.7	817	21.7	true	44.5	22.6	862650368		1	3.71	.417	.00	9.35	.492	4.145	true	34.5	18.3	848003072		.912	2.60	13.0	5.92	2.07	1.23	1.95	.498	.541	1.04	true	26.4	13.8	575561728		6	1	1.07	.730	8.08	4.44	.491	.230	.449	.200	.025	.369	1.13
Problem01_label36_true-unreach-call.c	timeout	903	885	1999134720		53	29.5	816	22.4	true	46.7	23.8	860438528		1	3.92	.097	.00	10.6	.398	4.368	true	34.4	18.9	817770496		.669	2.95	13.4	6.42	2.24	1.33	2.07	.619	.631	1.25	true	25.3	13.2	554614784		6	1	.728	.828	7.86	4.31	.536	.214	.491	.203	.008	.296	.844
Problem01_label39_true-unreach-call.c	timeout	903	885	1960206336		53	29.3	815	22.4	true	46.1	23.4	873410560		1	3.94	.334	.00	9.78	.448	4.344	true	35.9	19.1	826077184		.729	2.73	13.8	5.63	1.87	1.06	1.72	.558	.376	.934	true	25.9	13.5	514969600		6	1	.668	.972	8.29	4.18	.675	.290	.614	.275	.012	.364	.607
Problem01_label40_true-unreach-call.c	timeout	903	885	1959493632		55	31.2	815	21.6	true	47.3	24.0	855883776		1	3.95	.064	.00	10.1	.417	4.182	true	27.9	14.9	708042752		.386	1.77	10.2	5.34	1.39	.807	1.33	.399	.341	.740	true	24.2	12.6	535306240		6	1	.663	.709	6.98	3.80	.487	.214	.455	.183	.018	.318	.841
Problem01_label41_true-unreach-call.c	timeout	903	886	1905307648		53	29.7	818	21.2	true	45.5	23.1	853086208		1	3.96	.104	.001	9.74	.416	0.005	true	32.2	16.6	689487872		.297	2.13	11.0	5.75	1.62	.915	1.48	.404	.416	.820	true	23.8	12.4	537329664		6	1	.671	.760	7.45	3.75	.484	.148	.360	.136	.009	.202	.916
Problem01_label42_true-unreach-call.c	timeout	904	885	1901166592		51	29.2	818	21.1	true	43.8	22.2	857595904		1	3.49	.088	.00	9.73	.493	3.704	true	33.6	17.5	711622656		.590	2.19	12.4	6.58	1.72	1.08	1.64	.604	.300	.904	true	23.6	12.4	497586176		6	1	.526	.953	7.41	4.14	.622	.263	.505	.227	.030	.328	.694
Problem01_label43_true-unreach-call.c	timeout	904	885	1946251264		52	29.2	817	21.5	true	47.8	24.2	857300992		1	3.69	.093	.001	10.5	.510	4.422	true	30.1	15.7	672555008		.488	2.04	10.8	5.22	1.55	.824	1.40	.456	.271	.727	true	25.5	13.2	545673216		6	1	.604	1.21	7.96	4.12	.918	.335	.851	.304	.025	.407	.725
Problem01_label45_true-unreach-call.c	timeout	904	885	1987403776		52	29.9	816	21.3	true	47.1	24.0	862330880		1	3.17	.352	.00	11.2	.709	4.448	true	38.0	20.5	828669952		.826	3.02	14.8	6.79	2.34	1.24	2.16	.554	.520	1.07	true	24.5	12.9	499769344		6	1	.735	.797	7.53	3.90	.525	.244	.486	.231	.009	.306	.660
Problem01_label46_true-unreach-call.c	timeout	903	886	2000642048		53	29.9	817	21.3	true	48.1	24.4	861458432		1	3.77	.080	.00	10.9	.573	0.003	true	32.6	17.1	762527744		.520	2.35	12.0	5.92	1.87	1.03	1.70	.561	.382	.943	true	26.7	14.1	571310080		6	1	1.08	1.06	8.10	4.14	.724	.315	.646	.287	.009	.406	1.05
Problem01_label48_true-unreach-call.c	timeout	903	883	1844609024		53	30.2	813	22.0	true	44.7	22.7	833880064		1	3.89	.290	.001	8.66	.578	4.367	true	37.3	20.9	862388224		.660	3.79	15.6	6.84	2.89	1.76	2.65	.719	.852	1.57	true	27.1	14.2	554983424		10	1	1.34	.794	8.09	4.24	.601	.213	.544	.194	.013	.286	1.08
Problem01_label49_true-unreach-call.c	timeout	903	885	2015883264		54	30.2	815	22.6	true	48.4	24.6	873426944		1	3.64	.104	.00	10.8	.522	4.370	true	36.1	19.4	856469504		.853	2.82	14.1	7.03	2.17	1.33	1.99	.548	.622	1.17	true	25.7	13.4	571940864		6	1	1.04	.963	7.52	4.04	.719	.295	.680	.258	.032	.395	.749
Problem01_label51_true-unreach-call.c	timeout	903	885	1955573760		52	30.2	818	20.1	true	45.8	23.3	863531008		1	3.03	.068	.00	10.4	.573	4.386	true	36.7	19.3	841428992		.864	2.92	13.6	5.89	2.16	1.17	2.03	.509	.478	.987	true	29.2	15.1	584822784		10	1	.882	.936	9.50	4.51	.644	.219	.595	.200	.012	.304	1.58
Problem01_label52_true-unreach-call.c	timeout	904	884	1854357504		54	30.8	812	22.8	true	45.8	23.3	867782656		1	3.23	.166	.00	11.1	.534	4.057	true	32.2	17.1	776044544		.533	2.11	11.3	5.29	1.49	.862	1.41	.426	.366	.792	true	20.8	10.8	514162688		3	1	.359	.749	5.53	2.87	.463	.210	.378	.184	.022	.237	.508
Problem01_label53_true-unreach-call.c	timeout	903	884	1876996096		53	29.7	814	21.7	true	44.5	22.6	868630528		1	3.87	.148	.00	9.41	.405	4.031	true	31.9	16.7	808734720		.424	2.36	11.8	5.40	1.82	1.07	1.68	.449	.500	.949	true	27.2	14.2	540897280		10	1	.782	.909	8.71	4.63	.627	.248	.538	.215	.016	.316	1.10
Problem01_label54_true-unreach-call.c	timeout	903	884	1836867584		53	35.7	809	21.4	true	46.2	23.5	861777920		1	3.40	.245	.00	10.9	.426	4.299	true	35.9	18.8	828968960		.559	2.72	13.8	6.89	2.10	1.18	1.87	.533	.557	1.09	true	27.6	14.4	551923712		10	1	.819	.982	9.00	4.15	.689	.298	.622	.271	.021	.405	1.38
Problem01_label55_true-unreach-call.c	timeout	903	884	1922527232		52	29.5	816	21.3	true	55.5	28.1	1219645440		1	4.16	.096	.00	12.8	.996	4.625	true	34.2	17.5	697741312		.438	2.33	12.3	6.42	1.84	1.07	1.73	.505	.422	.927	true	23.1	12.2	519196672		6	1	.649	.836	7.28	4.10	.587	.312	.538	.231	.060	.369	.685
Problem01_label58_true-unreach-call.c	timeout	903	885	1916276736		52	30.2	817	20.6	true	46.2	23.5	866820096		1	3.51	.065	.00	10.5	.772	0.009	true	34.4	18.3	824217600		.757	2.54	12.6	6.46	2.03	1.24	1.89	.554	.607	1.16	true	26.3	13.6	563363840		6	1	.953	.938	7.73	3.59	.650	.267	.596	.236	.016	.356	.773
Problem01_label59_true-unreach-call.c	timeout	904	884	1980825600		53	30.6	813	22.4	true	47.2	24.0	864964608		1	3.60	.328	.00	11.6	.380	3.917	true	36.9	20.1	826974208		.679	2.92	14.3	6.52	2.11	1.29	1.96	.594	.568	1.16	true	21.4	11.2	468291584		6	1	.545	.646	6.32	3.04	.452	.214	.422	.176	.021	.242	.601
Problem02_label00_true-unreach-call.c	timeout	903	884	2020114432		57	29.8	813	22.9	true	47.6	24.1	864419840		1	3.61	.185	.00	10.7	.533	4.294	true	29.6	15.4	627642368		.253	2.17	10.4	4.65	1.65	.933	1.46	.374	.455	.829	true	20.9	11.0	455483392		6	1	.477	.869	6.06	3.14	.618	.264	.579	.236	.025	.341	.599
Problem02_label01_true-unreach-call.c	timeout	903	884	1918615552		59	31.0	809	24.1	true	46.1	23.5	856686592		1	3.22	.055	.001	11.2	.386	4.304	true	33.7	17.5	671059968		.209	2.58	12.3	6.24	2.04	1.24	1.93	.503	.561	1.06	true	21.3	11.1	474746880		6	1	.336	.944	6.68	3.19	.702	.277	.654	.233	.033	.325	.701
Problem02_label02_true-unreach-call.c	timeout	904	885	1990373376		58	30.0	811	23.7	true	45.2	23.1	848609280		1	4.04	.444	.00	9.32	.419	4.172	true	28.3	14.9	626536448		.446	1.99	9.77	4.56	1.50	.715	1.36	.336	.309	.645	true	26.7	14.1	506191872		9	1	1.06	.934	8.19	4.15	.703	.310	.645	.283	.013	.411	1.19
Problem02_label03_true-unreach-call.c	timeout	904	884	2177662976		62	32.2	805	26.6	true	43.5	22.1	848560128		1	3.41	.136	.001	10.2	.396	4.110	true	28.6	14.8	642195456		.545	2.14	10.2	5.05	1.72	.918	1.63	.401	.422	.823	true	20.2	10.7	485007360		6	1	.484	.832	5.87	2.71	.558	.215	.497	.192	.009	.271	.509
Problem02_label04_true-unreach-call.c	timeout	904	887	2135560192		60	27.8	816	24.1	true	44.3	22.5	859824128		1	3.80	.048	.00	9.52	.607	4.026	true	29.0	15.1	657825792		.544	2.31	10.2	4.50	1.85	.952	1.72	.409	.449	.858	true	23.4	12.1	513310720		6	1	.896	.787	6.65	3.29	.489	.205	.436	.190	.010	.245	.813
Problem02_label05_true-unreach-call.c	timeout	903	883	1929302016		57	29.7	812	23.4	true	48.0	24.5	844570624		1	4.27	.071	.00	10.8	.273	4.629	true	27.9	14.5	617959424		.364	2.05	9.70	4.38	1.51	.925	1.45	.442	.349	.791	true	22.0	11.5	491257856		6	1	.485	.838	6.73	3.77	.573	.238	.534	.208	.011	.273	.609
Problem02_label06_true-unreach-call.c	timeout	903	885	2024747008		59	31.1	805	28.8	true	53.4	27.1	935497728		2	5.32	.144	.00	12.3	1.01	5.448	true	29.0	15.2	656482304		.763	2.37	10.1	4.12	1.86	.976	1.75	.449	.423	.872	true	30.7	16.7	629276672		19	1	1.76	1.08	10.4	4.73	.680	.282	.611	.258	.017	.565	2.36
Problem02_label07_true-unreach-call.c	timeout	903	885	1913978880		59	30.2	813	23.5	true	49.0	24.8	854257664		1	3.90	.119	.001	10.8	.805	0.010	true	29.4	15.5	632193024		.440	2.33	10.6	4.61	1.76	1.10	1.62	.503	.472	.975	true	22.2	11.7	540852224		6	1	.837	.749	6.55	3.56	.457	.169	.413	.149	.016	.216	.619
Problem02_label08_true-unreach-call.c	timeout	903	885	2009198592		58	30.1	813	23.3	true	46.0	23.4	844267520		1	3.61	.066	.00	11.0	.438	4.171	true	27.5	14.6	647626752		.494	1.87	9.73	3.89	1.51	.703	1.41	.421	.219	.640	true	29.3	15.2	554786816		9	1	1.10	1.22	9.69	4.56	.940	.367	.873	.353	.011	.567	1.40
Problem02_label09_true-unreach-call.c	timeout	903	884	1942003712		58	30.2	812	23.5	true	47.4	24.1	869728256		1	3.76	.077	.00	10.6	.564	0.005	true	29.7	15.4	592121856		.398	2.34	10.5	4.36	1.97	1.18	1.86	.478	.524	1.00	true	23.0	12.0	510365696		6	1	.896	1.04	6.38	3.13	.773	.299	.692	.269	.026	.358	.661
Problem02_label10_true-unreach-call.c	timeout	903	884	1938759680		58	30.3	811	23.8	true	48.4	24.6	859213824		1	3.29	.134	.00	12.2	.535	4.331	true	28.6	14.8	603156480		.307	1.78	9.90	4.58	1.44	.755	1.35	.359	.285	.644	true	23.9	12.4	541503488		6	1	1.06	.800	6.99	3.52	.561	.229	.504	.202	.021	.287	.724
Problem02_label11_true-unreach-call.c	timeout	903	885	2001399808		59	31.3	811	23.6	true	49.0	24.9	865673216		1	3.90	.177	.001	10.9	.380	0.013	true	26.8	14.1	609218560		.254	1.96	9.52	4.56	1.47	.675	1.39	.285	.291	.576	true	21.6	11.3	500920320		6	1	.853	.938	6.19	3.00	.610	.234	.577	.209	.011	.269	.655
Problem02_label12_true-unreach-call.c	timeout	903	885	2022969344		58	30.4	812	23.5	true	45.2	23.0	851972096		1	3.40	.123	.00	9.69	.364	4.196	true	30.2	15.5	712040448		.659	2.35	10.2	4.29	1.85	.999	1.76	.529	.368	.897	true	24.8	12.9	570138624		6	1	.895	.826	7.60	3.10	.631	.275	.584	.247	.026	.403	1.24
Problem02_label14_true-unreach-call.c	timeout	903	887	2175422464		60	30.3	811	25.6	true	46.1	23.4	852934656		1	4.03	.096	.001	9.66	.437	4.256	true	31.3	16.1	651677696		.546	2.21	10.7	4.42	1.66	.797	1.48	.431	.239	.670	true	22.3	11.7	506466304		6	1	.907	.799	6.44	3.34	.530	.235	.470	.216	.010	.291	.604
Problem02_label15_true-unreach-call.c	timeout	904	886	1972416512		58	29.6	814	23.4	true	44.9	22.8	843440128		1	3.92	.128	.00	9.19	.493	3.882	true	32.8	16.8	647712768		.685	2.60	11.1	4.60	1.96	1.03	1.79	.546	.358	.904	true	25.4	13.3	542920704		6	1	.830	1.10	7.99	3.63	.831	.340	.741	.314	.023	.422	1.19
Problem02_label17_true-unreach-call.c	timeout	903	885	2009366528		57	29.8	813	23.2	true	46.9	23.9	876183552		1	4.62	.337	.00	9.54	.244	4.749	true	29.7	15.3	630079488		.310	1.97	10.1	4.32	1.53	.803	1.44	.369	.327	.696	true	21.3	11.3	481263616		6	1	.397	.751	6.51	3.38	.571	.257	.541	.236	.008	.301	.541
Problem02_label18_true-unreach-call.c	timeout	903	883	2014228480		58	30.8	809	23.5	true	47.1	24.0	862912512		1	3.67	.065	.001	10.4	.871	4.238	true	36.1	18.6	706363392		1.07	2.90	12.8	5.64	2.18	1.05	2.04	.587	.375	.962	true	23.3	12.2	484118528		6	1	.478	1.57	6.90	2.94	.796	.316	.695	.283	.015	.362	.561
Problem02_label19_true-unreach-call.c	timeout	903	885	2035449856		59	29.9	812	23.9	true	46.1	23.4	875732992		1	4.23	.057	.00	9.40	.588	3.966	true	27.5	14.2	557084672		.323	1.67	8.89	4.57	1.32	.730	1.17	.337	.243	.580	true	23.3	12.1	517787648		6	1	1.10	.943	6.52	2.92	.720	.324	.688	.278	.028	.428	1.13
Problem02_label20_true-unreach-call.c	timeout	903	885	2063269888		59	30.3	811	24.2	true	48.0	24.4	857616384		1	4.08	.064	.00	11.0	.378	4.510	true	28.5	14.7	624472064		.152	1.91	9.71	4.68	1.55	.788	1.42	.433	.245	.678	true	23.3	12.2	520826880		6	1	1.12	.918	6.70	3.10	.697	.290	.602	.257	.029	.371	1.10
Problem02_label21_true-unreach-call.c	timeout	904	885	2052681728		58	30.8	811	23.6	true	45.2	22.9	866271232		1	3.18	.076	.001	9.73	1.09	4.129	true	26.4	13.7	602566656		.220	2.11	9.40	4.52	1.64	.938	1.55	.451	.302	.753	true	18.1	9.51	457195520		3	1	.322	.619	4.57	2.49	.422	.156	.357	.145	.006	.186	.264
Problem02_label22_true-unreach-call.c	timeout	904	886	1948041216		58	30.8	813	22.8	true	47.7	24.3	857645056		1	4.43	.036	.001	10.3	.291	4.594	true	25.0	13.0	547622912		.310	1.78	8.59	3.95	1.51	.828	1.44	.518	.246	.764	true	25.0	13.0	514850816		9	1	1.10	.887	6.97	3.55	.605	.278	.530	.247	.025	.377	.925
Problem02_label23_true-unreach-call.c	timeout	903	884	2078330880		60	31.1	811	23.9	true	44.9	22.9	862556160		1	3.96	.135	.001	9.84	.452	4.028	true	29.9	15.4	594665472		.398	2.57	10.1	4.37	1.86	1.00	1.73	.448	.382	.830	true	18.4	9.70	478949376		3	1	.822	.656	4.34	2.23	.408	.124	.331	.115	.007	.161	.178
Problem02_label24_true-unreach-call.c	timeout	904	884	1964527616		57	30.3	811	23.5	true	44.9	22.8	863354880		1	3.04	.060	.001	10.7	.492	4.210	true	29.0	15.1	617074688		.248	1.93	10.3	4.70	1.39	.793	1.30	.348	.288	.636	true	25.1	13.4	505729024		9	1	.470	.855	7.92	3.73	.655	.305	.616	.283	.014	.364	.986
Problem02_label25_true-unreach-call.c	timeout	903	884	1945780224		58	30.5	812	23.6	true	48.1	24.4	867405824		1	3.21	.389	.001	10.9	.568	0.008	true	29.4	15.1	582832128		.263	2.30	9.91	4.39	1.91	1.13	1.85	.551	.433	.984	true	21.3	11.1	458510336		6	1	.473	.792	5.89	3.28	.563	.217	.528	.195	.017	.257	.440
Problem02_label26_true-unreach-call.c	timeout	903	883	2026618880		59	31.7	808	24.7	true	45.4	23.1	843943936		1	3.67	.065	.00	10.3	.375	4.203	true	26.5	13.8	569028608		.435	1.64	8.68	3.76	1.33	.707	1.24	.362	.253	.615	true	19.3	10.1	480309248		3	1	.329	.695	5.33	2.83	.441	.184	.396	.153	.022	.209	.559
Problem02_label27_true-unreach-call.c	timeout	903	884	1826979840		57	30.6	811	24.6	true	47.3	24.0	854089728		1	3.77	.063	.00	10.7	.498	4.185	true	26.0	13.7	604409856		.231	1.93	9.12	3.84	1.49	.855	1.41	.349	.384	.733	true	24.7	12.8	490704896		9	1	.596	.768	7.42	3.70	.504	.227	.456	.203	.020	.340	.957
Problem02_label28_true-unreach-call.c	timeout	903	885	2036039680		60	31.0	811	23.9	true	47.3	24.0	851226624		1	3.78	.072	.001	10.1	.611	4.156	true	29.0	15.1	626622464		.420	2.45	10.1	4.01	1.93	1.14	1.81	.512	.437	.949	true	17.9	9.51	486854656		3	1	.306	.551	4.79	2.76	.384	.155	.364	.136	.008	.175	.265
Problem02_label29_true-unreach-call.c	timeout	903	885	1946832896		58	30.3	811	24.5	true	46.5	23.6	858165248		1	3.80	.109	.001	9.95	.314	4.366	true	27.5	14.4	582799360		.272	2.05	9.40	4.35	1.66	.850	1.55	.383	.381	.764	true	22.5	11.8	504233984		6	1	.265	.615	7.08	3.29	.395	.147	.348	.135	.008	.182	.963
Problem02_label30_true-unreach-call.c	timeout	903	885	2070863872		59	31.4	809	24.9	true	44.9	22.8	850104320		1	3.64	.080	.00	10.5	.401	4.131	true	29.1	15.1	636051456		.402	2.04	10.2	5.18	1.58	.824	1.49	.367	.312	.679	true	21.7	11.4	527523840		6	1	1.27	.802	5.89	2.87	.552	.251	.517	.213	.033	.354	.681
Problem02_label31_true-unreach-call.c	timeout	904	887	2207596544		60	29.9	812	25.2	true	46.7	23.7	860123136		1	3.92	.051	.00	10.2	.542	0.007	true	27.2	14.2	631242752		.275	1.98	9.65	4.27	1.54	.815	1.45	.425	.289	.714	true	27.9	14.5	557920256		9	1	1.26	1.11	8.62	4.27	.752	.302	.684	.276	.021	.446	1.22
Problem02_label32_true-unreach-call.c	timeout	903	884	2032259072		57	29.5	813	22.7	true	45.8	23.3	873332736		1	3.69	.054	.00	10.5	.845	4.123	true	26.1	13.7	578093056		.336	2.03	8.95	4.40	1.57	.802	1.47	.394	.325	.719	true	24.6	12.7	522842112		6	1	1.07	.773	6.79	3.43	.555	.264	.518	.249	.009	.363	.791
Problem02_label33_true-unreach-call.c	timeout	903	885	1889456128		58	30.6	811	24.2	true	47.1	24.0	872681472		1	3.21	.466	.001	12.3	.401	0.008	true	29.8	15.3	614809600		.526	2.38	10.2	4.85	1.77	.920	1.68	.430	.374	.804	true	19.0	10.0	487161856		3	1	.394	.779	5.33	2.84	.596	.314	.566	.266	.033	.341	.482
Problem02_label34_true-unreach-call.c	timeout	903	885	2023931904		59	30.8	808	27.2	true	47.1	23.9	875663360		1	3.65	.382	.00	11.0	.319	4.306	true	26.0	13.5	601145344		.147	2.54	9.22	4.06	1.73	.990	1.69	.467	.379	.846	true	26.6	13.7	511959040		9	1	1.22	1.01	7.71	3.66	.720	.310	.674	.275	.025	.439	1.14
Problem02_label35_true-unreach-call.c	timeout	903	886	1980841984		58	29.2	815	22.5	true	46.6	23.7	860463104		1	3.98	.116	.00	10.8	.228	4.538	true	26.5	13.8	553271296		.279	1.50	8.84	4.39	1.01	.524	.944	.266	.191	.457	true	15.9	8.54	436019200		3	1	.139	.701	4.37	2.37	.482	.183	.405	.173	.006	.193	.264
Problem02_label36_true-unreach-call.c	timeout	903	885	2021502976		58	30.6	812	23.6	true	45.7	23.2	860618752		1	4.12	.072	.00	10.1	.621	4.214	true	27.3	14.2	605523968		.225	1.98	9.44	4.61	1.54	.835	1.47	.381	.308	.689	true	17.8	9.40	453918720		3	1	.376	.760	4.80	2.28	.594	.226	.570	.177	.031	.224	.250
Problem02_label37_true-unreach-call.c	timeout	903	886	1891332096		58	29.8	814	23.7	true	47.8	24.4	868392960		1	4.00	.320	.001	10.5	.336	4.403	true	25.0	13.0	560451584		.265	1.86	8.38	3.44	1.43	.730	1.32	.386	.226	.612	true	26.3	13.7	539189248		9	1	1.40	.976	7.80	3.70	.735	.260	.687	.242	.013	.407	1.37
Problem02_label38_true-unreach-call.c	timeout	904	885	2042695680		60	31.1	810	24.2	true	48.9	24.8	889827328		1	3.65	.043	.001	11.8	.531	4.309	true	27.9	14.5	599220224		.472	2.10	9.71	4.01	1.59	.896	1.46	.464	.316	.780	true	18.9	9.94	449073152		3	1	.358	.703	5.18	2.89	.507	.215	.486	.177	.019	.223	.350
Problem02_label39_true-unreach-call.c	timeout	903	885	1944223744		58	30.3	811	24.5	true	51.8	26.2	980922368		2	5.08	.248	.001	12.2	1.06	5.396	true	35.2	18.3	743587840		1.11	2.73	12.5	5.71	2.00	.886	1.75	.461	.284	.745	true	27.6	14.6	547774464		14	1	1.59	.859	8.63	4.23	.613	.285	.561	.239	.017	.377	1.75
Problem02_label40_true-unreach-call.c	timeout	903	886	1982345216		58	29.8	814	22.7	true	47.4	24.1	879616000		1	3.70	.187	.00	10.8	.533	3.984	true	31.7	16.4	662777856		.289	2.03	11.4	5.84	1.57	.983	1.48	.361	.467	.828	true	20.9	11.1	466206720		6	1	.472	.780	6.12	2.90	.518	.243	.436	.218	.020	.315	.518
Problem02_label41_true-unreach-call.c	timeout	903	885	2032390144		58	30.6	810	25.0	true	46.9	23.8	858980352		1	3.30	.153	.001	11.3	.637	4.106	true	31.5	16.4	658890752		.366	2.25	11.2	5.58	1.63	.905	1.46	.335	.414	.749	true	25.9	13.6	525660160		9	1	1.21	.919	7.83	3.74	.652	.312	.604	.277	.029	.499	1.35
Problem02_label42_true-unreach-call.c	timeout	904	885	2066616320		59	30.7	810	24.3	true	44.4	22.5	863612928		1	3.64	.063	.00	10.0	.325	4.103	true	27.8	14.4	636346368		.626	2.22	9.41	4.31	1.41	.862	1.31	.305	.448	.753	true	16.3	8.73	457736192		3	1	.278	.444	4.40	2.15	.238	.088	.212	.076	.006	.111	.262
Problem02_label46_true-unreach-call.c	timeout	903	885	1862127616		59	30.3	811	24.0	true	47.1	23.9	871149568		1	4.13	.054	.00	10.3	.319	4.215	true	32.5	16.8	732217344		.701	3.01	11.6	4.75	1.92	1.11	1.82	.593	.426	1.02	true	27.8	14.6	545669120		10	1	1.62	1.02	7.51	3.68	.822	.399	.774	.344	.050	.527	1.23
Problem02_label47_true-unreach-call.c	timeout	903	884	1827897344		58	31.2	811	23.6	true	44.0	22.4	868954112		1	4.09	.133	.00	9.42	.329	4.014	true	29.9	15.5	666816512		.290	2.13	10.8	5.29	1.59	.901	1.50	.431	.376	.807	true	22.9	12.1	550498304		5	1	1.29	.774	6.41	3.15	.568	.179	.500	.163	.011	.240	.699
Problem02_label48_true-unreach-call.c	timeout	903	885	1922314240		58	30.0	812	23.8	true	45.5	23.1	852291584		1	3.49	.075	.00	9.24	.997	3.928	true	35.1	18.0	674426880		1.08	2.62	11.8	4.68	1.67	.723	1.52	.386	.230	.616	true	24.9	13.0	514109440		6	1	1.01	.839	7.74	3.81	.625	.180	.559	.159	.011	.228	1.06
Problem02_label49_true-unreach-call.c	timeout	903	884	1897914368		59	31.2	811	23.5	true	48.1	24.4	866676736		1	3.39	.214	.00	11.2	.475	4.202	true	33.3	17.3	669487104		.495	1.98	11.7	5.23	1.55	.837	1.39	.349	.357	.706	true	24.1	12.6	565612544		6	1	1.52	.805	6.89	3.75	.605	.226	.515	.164	.030	.330	.687
Problem02_label51_true-unreach-call.c	timeout	903	885	1881067520		59	30.7	811	24.2	true	47.9	24.4	864808960		1	3.88	.047	.00	11.2	.373	0.015	true	28.3	14.6	626810880		.473	2.17	9.34	4.15	1.59	.888	1.49	.338	.326	.664	true	23.9	12.3	507879424		5	1	1.01	.886	6.34	3.13	.593	.262	.551	.246	.011	.331	.655
Problem02_label52_true-unreach-call.c	timeout	903	884	1971494912		58	30.9	811	22.6	true	49.8	25.3	863072256		1	4.00	.096	.001	11.1	.289	4.727	true	28.0	14.6	608833536		.484	1.89	9.57	4.61	1.37	.668	1.24	.300	.270	.570	true	23.0	12.1	524664832		6	1	1.23	.821	6.38	3.40	.538	.231	.471	.204	.011	.296	.550
Problem02_label53_true-unreach-call.c	timeout	903	885	1910546432		58	27.4	816	22.6	true	43.2	22.0	854794240		1	3.60	.068	.001	9.73	.543	3.983	true	28.7	14.8	625709056		.427	1.86	9.74	4.77	1.32	.700	1.24	.320	.279	.599	true	29.8	15.5	560881664		9	1	1.75	1.03	8.55	4.53	.737	.319	.663	.300	.014	.534	1.23
Problem02_label54_true-unreach-call.c	timeout	903	883	2036826112		59	30.9	808	24.4	true	44.6	22.7	879079424		1	3.91	.083	.00	9.46	.468	4.189	true	31.0	16.0	612495360		.359	1.91	10.5	5.23	1.49	.864	1.41	.318	.400	.718	true	22.7	11.9	532815872		6	1	1.03	.893	6.62	3.40	.605	.320	.575	.284	.009	.369	.790
Problem02_label55_true-unreach-call.c	timeout	903	885	2000764928		59	30.9	811	24.1	true	45.7	23.2	876032000		1	3.60	.054	.00	10.3	.575	4.079	true	28.4	14.6	602214400		.414	1.79	9.42	4.77	1.33	.718	1.18	.303	.308	.611	true	23.8	12.5	485515264		9	1	.747	.827	7.30	3.48	.598	.290	.545	.253	.032	.380	1.02
Problem02_label56_true-unreach-call.c	timeout	903	885	2185637888		60	30.8	810	24.9	true	45.8	23.4	862474240		1	2.99	.486	.00	11.3	.388	0.018	true	31.6	16.3	669888512		.447	2.85	11.0	4.55	1.94	1.02	1.76	.477	.453	.930	true	24.9	13.0	565723136		6	1	1.19	1.01	6.97	3.25	.764	.305	.683	.266	.028	.361	.987
Problem02_label57_true-unreach-call.c	timeout	903	886	1912344576		59	29.1	814	23.6	true	47.4	24.1	869326848		1	4.23	.089	.001	9.90	.232	0.005	true	28.7	14.9	608763904		.362	1.81	10.1	5.08	1.39	.714	1.24	.369	.281	.650	true	25.9	13.3	517582848		9	1	1.08	.853	7.56	4.00	.622	.241	.558	.219	.017	.351	1.12
Problem02_label58_true-unreach-call.c	timeout	903	886	2016616448		59	29.9	813	23.9	true	44.0	22.4	830144512		1	3.02	.392	.024	10.1	.667	3.993	true	34.5	17.7	692248576		.346	2.96	12.3	5.75	1.95	1.15	1.84	.423	.564	.987	true	25.0	13.0	554037248		6	1	.759	.740	7.46	3.94	.519	.184	.469	.153	.024	.283	1.20
Problem03_label00_true-unreach-call.c	timeout	904	877	2428141568		31	44.4	430	380	true	110	55.1	2429390848		4	13.1	1.82	.834	21.7	2.64	0.005	true	97.0	69.8	1391927296		.836	28.9	60.4	18.0	27.3	24.9	26.8	2.05	22.4	24.5	true	119	93.5	1272000512		61	1	15.5	3.10	69.8	15.0	2.18	1.24	2.02	1.21	.023	3.21	43.7
Problem03_label01_true-unreach-call.c	timeout	905	879	2234019840		26	38.2	204	619	true	128	64.3	2446331904		4	15.0	1.70	.567	22.1	7.04	0.006	true	59.1	33.0	972845056		1.65	5.68	23.7	9.14	4.44	2.83	4.08	1.17	1.50	2.67	timeout	913	888	1065922560
Problem03_label02_true-unreach-call.c	timeout	904	879	2994184192		37	51.1	771	29.8	true	75.6	38.2	1197903872		1	6.63	.102	.032	14.2	.414	0.006	true	104	74.8	1407434752		1.67	35.7	65.2	16.7	33.9	31.6	33.4	2.11	28.9	31.0	true	53.0	27.6	888094720		6	1	1.50	1.82	17.6	9.78	1.13	.471	.956	.457	.009	.532	1.07
Problem03_label03_true-unreach-call.c	timeout	905	880	1970327552		22	33.2	85.4	746	true	137	68.9	2351648768		4	15.4	1.67	1.01	23.8	9.74	0.010	true	61.5	33.7	975142912		2.10	4.90	23.8	9.53	3.57	1.91	3.30	1.11	.587	1.70	timeout	913	886	1096359936
Problem03_label04_true-unreach-call.c	timeout	905	879	2015875072		25	36.6	180	644	true	119	59.9	2424627200		4	13.6	1.34	.704	24.4	2.81	0.005	true	60.9	34.6	1023664128		1.45	6.06	24.9	9.29	4.54	2.89	4.16	1.26	1.51	2.78	timeout	913	885	1068285952
Problem03_label05_true-unreach-call.c	timeout	904	877	2591109120		33	47.4	608	197	true	125	63.0	2479349760		4	14.7	1.46	.516	23.3	5.32	30.059	true	60.7	33.4	959574016		1.80	4.65	23.2	9.43	3.59	2.14	3.26	1.19	.731	1.92	true	58.4	32.2	909402112		13	1	1.85	2.19	22.4	11.6	1.51	.788	1.36	.756	.025	.985	3.05
Problem03_label06_true-unreach-call.c	timeout	904	879	2977226752		36	50.6	775	27.1	true	76.2	38.4	1259843584		1	6.51	.200	.00	14.5	.446	9.226	true	66.8	36.5	972443648		1.80	5.81	26.8	10.9	4.32	2.69	4.00	1.32	1.25	2.57	true	46.2	24.2	834179072		6	1	.885	1.88	15.3	7.92	.979	.449	.835	.424	.008	.496	1.02
Problem03_label07_true-unreach-call.c	timeout	905	879	2128670720		25	36.2	165	660	true	129	65.0	2550616064		4	14.0	1.41	.634	23.3	8.31	31.955	true	61.5	33.8	1045110784		1.52	5.92	24.7	10.1	4.65	2.88	4.31	1.01	1.75	2.77	timeout	913	886	10266243072
Problem03_label08_true-unreach-call.c	timeout	904	880	2899419136		36	47.8	779	26.4	true	71.0	35.8	1217495040		1	6.72	.282	.00	13.1	.843	9.398	true	114	85.4	1391534080		1.65	45.9	75.3	17.9	43.6	41.3	43.1	2.54	38.0	40.5	true	58.4	32.4	920571904		13	1	2.41	2.34	21.9	10.5	1.67	.785	1.54	.737	.018	.951	3.08
Problem03_label10_true-unreach-call.c	timeout	905	880	2932924416		37	51.1	772	29.5	true	72.1	36.4	1212575744		1	6.44	.174	.00	12.5	.777	0.005	true	315	282	2191659008		1.07	219	272	32.5	215	212	215	4.85	203	208	true	60.6	33.2	901148672		13	1	1.84	2.67	23.9	12.2	1.52	.736	1.35	.716	.014	.900	3.00
Problem03_label11_true-unreach-call.c	timeout	905	879	2291433472		28	39.4	214	606	true	126	63.6	2357198848		4	13.8	1.57	1.04	23.3	5.00	30.406	true	66.2	36.2	993697792		2.39	5.62	25.3	10.2	4.55	2.62	4.06	1.22	1.20	2.42	timeout	913	884	1023254528
Problem03_label12_true-unreach-call.c	timeout	904	878	2153816064		26	38.1	152	668	true	118	59.6	2396426240		4	14.3	1.73	.824	22.6	2.95	0.004	true	59.0	32.8	1023942656		1.63	5.49	23.4	9.86	4.26	2.69	3.95	1.31	1.24	2.55	timeout	913	887	9610133504
Problem03_label14_true-unreach-call.c	timeout	904	879	2918809600		37	50.0	773	29.1	true	78.3	39.5	1146544128		1	7.42	.173	.00	14.1	.782	9.764	true	67.2	40.8	1321086976		1.38	10.6	31.8	11.9	9.48	7.31	9.12	2.06	5.07	7.13	true	53.7	28.1	889208832		6	1	1.01	1.87	19.3	10.9	1.21	.531	1.07	.516	.010	.575	1.10
Problem03_label15_true-unreach-call.c	timeout	905	880	1868881920		21	30.0	72.2	762	true	115	58.1	2382319616		4	14.8	2.10	.849	21.5	2.25	0.011	true	59.3	33.1	979107840		2.04	5.55	23.3	8.98	4.33	2.56	3.98	1.31	1.05	2.36	timeout	913	888	1021837312
Problem03_label16_true-unreach-call.c	timeout	906	879	3146797056		38	51.1	767	32.7	true	86.6	43.6	1410732032		2	9.08	.582	.070	17.1	1.38	0.014	true	132	100	1488621568		1.50	57.8	89.3	18.8	55.7	53.5	55.3	2.61	49.9	52.5	true	55.2	30.8	860741632		13	1	2.15	2.01	21.0	10.3	1.34	.609	1.17	.560	.010	.790	3.23
Problem03_label17_true-unreach-call.c	timeout	905	879	2737975296		35	43.4	557	254	true	121	60.7	2286911488		4	14.2	1.41	.522	23.6	2.89	0.005	true	58.3	32.9	980701184		1.23	6.08	23.9	9.22	4.80	3.17	4.53	1.12	1.96	3.08	true	69.6	46.0	1015533568		33	1	5.36	2.85	33.0	11.1	2.08	1.09	1.90	1.06	.021	1.79	12.4
Problem03_label18_true-unreach-call.c	timeout	904	878	3060498432		37	50.2	771	29.2	true	84.8	42.7	1417187328		2	9.03	.375	.061	16.6	1.61	0.006	true	59.3	33.2	954753024		1.57	6.14	24.0	9.41	4.99	3.33	4.56	1.14	2.06	3.20	timeout	913	887	1279221760
Problem03_label19_true-unreach-call.c	timeout	905	879	2245038080		28	36.7	222	602	true	120	60.5	2239451136		4	14.2	2.34	.740	23.3	2.60	0.006	true	78.4	45.2	1208483840		1.21	9.43	36.1	16.0	8.16	6.35	7.75	1.70	4.50	6.20	timeout	913	888	1580515328
Problem03_label20_true-unreach-call.c	timeout	906	879	2573271040		32	45.8	450	360	true	116	58.4	2258554880		4	14.2	2.02	.644	22.1	2.38	0.010	true	56.6	32.1	1001631744		1.33	5.82	22.5	8.59	4.59	2.77	4.16	1.28	1.36	2.64	true	228	202	2333450240		60	1	21.4	3.17	173	14.7	2.33	1.28	2.13	1.25	.031	5.62	147
Problem03_label21_true-unreach-call.c	timeout	906	878	2616311808		33	46.9	420	388	true	118	59.4	2464362496		4	15.1	1.79	.566	22.6	2.56	0.006	true	67.7	38.0	1050509312		2.08	7.08	27.8	10.7	5.92	4.09	5.56	1.48	2.47	3.95	true	160	134	1573187584		73	1	26.8	3.09	98.9	14.9	2.12	1.26	1.94	1.20	.030	6.74	72.3
Problem03_label22_true-unreach-call.c	timeout	904	878	2887823360		36	49.6	774	28.2	true	90.7	45.7	1403199488		2	7.99	.230	.067	17.5	1.31	15.981	true	59.0	32.8	1006968832		1.59	5.21	22.9	8.70	3.79	2.40	3.47	1.11	1.14	2.25	true	51.7	27.9	862535680		9	1	1.63	2.14	18.4	9.46	1.31	.570	1.18	.535	.011	.674	1.81
Problem03_label23_true-unreach-call.c	timeout	905	880	2049114112		25	35.7	145	682	true	124	62.2	2412818432		4	12.8	1.91	.737	23.5	6.53	0.008	true	67.2	38.9	1055596544		4.10	6.77	26.4	9.33	5.35	3.54	4.89	1.34	2.00	3.35	out of memory	383	356	14999998464
Problem03_label24_true-unreach-call.c	timeout	904	878	2794328064		36	49.9	773	27.5	true	78.7	39.7	1245773824		1	6.36	.130	.00	14.8	.614	9.315	true	112	82.5	1396158464		1.16	42.6	72.8	17.9	40.9	38.5	40.4	2.62	35.2	37.8	true	51.0	28.7	881573888		13	1	1.48	1.72	20.1	10.8	1.15	.634	1.04	.605	.011	.804	2.52
Problem03_label25_true-unreach-call.c	timeout	904	877	2755411968		33	45.5	527	280	true	129	64.8	2512801792		4	15.1	2.03	.510	23.9	5.19	0.006	true	117	87.4	1489272832		1.06	42.1	76.8	21.8	40.5	38.0	40.1	2.86	34.5	37.4	true	59.0	35.0	995160064		19	1	2.91	2.15	24.4	10.7	1.43	.724	1.23	.701	.016	1.12	5.07
Problem03_label29_true-unreach-call.c	timeout	905	879	2857123840		36	49.5	773	28.2	true	79.5	40.0	1207398400		1	7.19	.319	.00	14.7	.612	0.006	true	69.0	40.0	1125044224		1.48	9.55	30.4	13.0	8.40	6.45	8.19	1.65	4.61	6.26	true	44.7	22.9	817262592		3	1	1.02	1.22	13.5	7.17	.779	.308	.630	.287	.005	.326	.465
Problem03_label30_true-unreach-call.c	timeout	905	879	2923450368		37	51.0	772	28.6	true	74.8	37.7	1199431680		1	6.75	.174	.00	13.1	.441	9.205	true	66.8	39.2	1225818112		.982	8.49	29.5	12.2	7.15	5.38	6.88	1.63	3.62	5.25	true	49.3	25.7	862625792		6	1	1.03	1.76	16.5	8.45	1.24	.608	1.09	.595	.011	.678	1.34
Problem03_label32_true-unreach-call.c	timeout	905	878	3057152000		39	53.4	764	32.1	true	76.2	38.4	1206460416		1	6.60	.183	.00	14.3	.643	9.150	true	101	72.1	1399447552		.974	29.9	61.7	17.9	28.0	25.9	27.6	2.24	23.2	25.5	true	57.2	33.5	962461696		18	1	2.33	2.11	23.7	11.4	1.48	.677	1.24	.656	.014	.960	4.53
Problem03_label33_true-unreach-call.c	timeout	904	878	2931998720		37	49.7	771	29.8	true	72.6	36.7	1158578176		1	6.10	.192	.001	14.3	.557	9.242	true	76.3	49.7	1220083712		1.32	17.2	39.8	13.2	16.0	14.3	15.7	1.35	12.7	14.1	true	45.9	24.3	853479424		6	1	1.05	1.59	15.1	8.37	.970	.360	.774	.350	.005	.418	.859
Problem03_label34_true-unreach-call.c	timeout	906	879	2781356032		35	47.8	609	196	true	125	62.8	2195648512		4	15.0	1.61	.488	24.4	2.49	0.006	true	66.4	36.2	1005355008		2.22	5.98	25.8	10.4	4.64	2.93	4.25	1.30	1.52	2.82	true	54.5	29.2	874258432		9	1	1.66	2.03	19.1	9.72	1.40	.622	1.29	.593	.009	.723	2.12
Problem03_label36_true-unreach-call.c	timeout	904	880	3121029120		35	48.1	779	27.0	true	73.7	37.2	1180758016		1	6.92	.292	.012	13.3	.618	0.010	true	71.3	44.2	1167937536		1.88	11.2	34.5	12.4	9.67	7.56	9.33	1.68	5.69	7.36	true	45.6	23.9	852201472		6	1	1.31	1.85	15.4	8.69	1.42	.603	1.27	.576	.023	.661	1.05
Problem03_label38_true-unreach-call.c	timeout	904	879	2870583296		37	50.6	772	29.1	true	77.1	38.9	1012686848		1	6.47	.192	.00	14.2	.455	9.004	true	87.5	57.5	1193345024		1.62	24.1	46.8	12.8	23.0	21.2	22.7	1.58	19.2	20.8	true	48.0	25.2	856432640		6	1	1.04	1.78	16.3	9.05	1.10	.528	.933	.506	.017	.591	1.17
Problem03_label40_true-unreach-call.c	timeout	904	878	2954629120		37	50.5	771	28.0	true	76.5	38.6	1291096064		1	6.35	.121	.012	13.7	.767	10.139	true	107	78.3	1295323136		.888	43.9	69.8	15.5	42.6	40.6	42.3	1.80	38.2	40.0	true	57.9	32.2	908533760		13	1	2.25	1.88	21.5	11.1	1.29	.607	1.16	.576	.012	.802	2.91
Problem03_label41_true-unreach-call.c	timeout	904	877	3034300416		36	50.4	770	30.2	true	76.4	38.5	1220374528		1	5.10	.073	.00	13.7	.614	9.598	true	64.2	35.9	1003397120		1.32	7.27	25.7	10.0	6.17	4.27	5.88	1.49	2.65	4.14	true	64.0	39.3	1040609280		24	1	3.83	2.84	27.4	11.1	2.08	.829	1.49	.793	.018	1.31	7.54
Problem03_label42_true-unreach-call.c	timeout	904	878	2962825216		37	50.8	771	29.0	true	76.7	38.6	1319518208		1	6.07	.137	.00	15.0	.802	9.882	true	92.2	59.1	1232093184		1.34	20.5	48.7	15.1	19.0	16.8	18.4	1.77	14.6	16.4	true	66.0	38.9	1019899904		21	0	3.19	3.03	28.1	12.8	2.15	1.15	1.89	1.13	.018	1.53	5.36
Problem03_label44_true-unreach-call.c	timeout	904	879	2196389888		26	37.3	177	646	true	117	59.1	2318925824		4	15.0	1.61	.755	22.7	2.55	0.007	true	59.4	33.1	994406400		1.24	5.94	24.3	9.55	4.86	3.25	4.54	1.19	1.94	3.13	timeout	913	884	1016700928
Problem03_label46_true-unreach-call.c	timeout	905	878	2842464256		36	49.7	772	29.4	true	81.0	41.0	1288454144		1	7.03	.741	.001	14.1	.642	10.201	true	74.7	45.3	1175470080		1.39	11.4	34.9	12.7	9.95	8.02	9.53	1.65	6.17	7.82	true	50.8	26.6	890302464		6	1	1.23	1.88	17.1	8.94	1.37	.678	1.19	.657	.011	.750	1.07
Problem03_label47_true-unreach-call.c	timeout	904	878	2429693952		33	45.4	481	328	true	127	64.0	2428039168		4	14.8	1.97	.625	23.4	4.60	0.005	true	168	137	1659973632		1.41	85.9	127	25.6	83.7	80.7	83.2	3.38	75.8	79.2	timeout	913	888	1549885440
Problem03_label48_true-unreach-call.c	timeout	905	878	2826559488		36	50.9	773	27.8	true	95.6	48.2	1398693888		2	9.62	.199	.068	19.1	1.67	17.829	true	71.0	40.7	1028407296		2.50	8.86	29.5	11.0	7.55	5.76	7.18	1.38	4.15	5.53	true	57.7	34.1	1024307200		19	1	2.93	2.04	23.1	11.0	1.43	.708	1.28	.647	.013	.922	5.14
Problem03_label49_true-unreach-call.c	timeout	904	877	2822049792		36	52.5	768	29.3	true	89.6	45.2	1397792768		2	9.36	.436	.092	17.0	1.36	0.005	true	136	105	1516916736		1.46	58.8	94.5	22.2	57.1	54.7	56.8	2.36	51.5	53.8	true	70.2	45.5	1061834752		32	1	4.38	2.30	33.0	12.2	1.77	.903	1.65	.870	.022	1.48	12.8
Problem03_label51_true-unreach-call.c	timeout	905	880	1947865088		23	32.5	112	720	true	126	63.2	2236600320		4	14.3	2.28	.703	23.8	6.31	0.010	true	70.6	40.8	1153036288		3.80	7.46	28.2	10.5	6.03	4.01	5.67	1.67	2.23	3.90	out of memory	838	810	14999998464
Problem03_label53_true-unreach-call.c	timeout	905	878	2451599360		31	42.6	304	509	true	123	61.9	2366816256		4	14.6	1.75	.655	23.5	5.83	29.180	true	73.0	44.5	1354653696		4.91	10.4	31.3	12.0	8.96	6.84	8.64	1.68	5.01	6.68	true	161	136	1377546240		42	1	15.2	2.74	113	13.4	2.08	1.06	1.84	1.04	.019	3.58	90.3
Problem03_label54_true-unreach-call.c	timeout	904	877	2895446016		36	50.9	769	29.7	true	90.4	45.5	1419649024		2	8.80	.282	.063	16.6	1.52	15.311	true	125	95.7	1399078912		2.80	59.9	84.8	13.1	58.3	56.2	57.8	1.97	53.5	55.4	true	60.6	35.5	1001725952		19	1	3.00	2.33	24.7	12.0	1.69	.870	1.45	.824	.020	1.15	4.95
Problem03_label55_true-unreach-call.c	timeout	905	878	2645569536		34	46.6	541	265	true	122	61.3	2341158912		4	13.7	1.65	.566	24.3	4.90	0.006	true	80.8	53.3	1256566784		1.35	20.5	43.6	13.4	19.0	17.3	18.7	1.62	15.4	17.0	true	77.0	49.8	985718784		32	1	6.02	2.71	35.1	13.2	1.94	1.01	1.74	.988	.020	1.78	12.1
Problem03_label56_true-unreach-call.c	timeout	905	879	2944516096		37	50.3	771	29.2	true	75.0	37.8	1220366336		1	6.91	.133	.00	13.5	.803	0.011	true	342	309	2053595136		1.51	245	299	33.7	241	237	241	4.17	229	234	true	57.3	31.9	887824384		13	1	2.17	2.59	21.2	10.1	1.41	.719	1.22	.701	.014	.901	2.93
Problem03_label57_true-unreach-call.c	timeout	905	877	2913013760		36	50.5	771	29.7	true	73.8	37.2	1229160448		1	6.70	.156	.00	14.7	.760	9.486	true	144	112	1509691392		1.13	68.6	103	20.4	66.6	64.2	66.1	2.02	61.0	63.0	true	60.0	32.6	887894016		10	0	1.95	2.11	22.2	11.8	1.41	.659	1.24	.643	.013	.806	1.98
Problem03_label58_true-unreach-call.c	timeout	904	878	3029397504		36	49.5	773	28.3	true	92.0	46.3	1419935744		2	10.3	.673	.087	16.9	1.36	14.931	true	77.2	49.8	1201946624		.973	18.0	41.0	13.2	16.8	14.9	16.4	1.69	12.9	14.6	true	57.9	33.8	1019105280		19	1	2.77	2.30	22.9	10.6	1.42	.765	1.28	.745	.015	1.15	4.89
Problem03_label59_true-unreach-call.c	timeout	905	879	2648309760		34	46.4	485	321	true	123	62.0	2336784384		4	14.3	1.46	.605	22.9	6.45	0.009	true	73.5	42.9	1240096768		1.56	9.59	32.5	13.5	8.30	6.45	7.96	1.50	4.77	6.28	true	66.4	41.3	997060608		26	1	4.89	2.21	28.8	11.9	1.55	.757	1.33	.737	.015	1.55	8.40
Problem04_label00_true-unreach-call.c	timeout	905	871	3600347136		18	70.4	758	15.3	true	117	58.8	2470477824		1	7.13	.121	.00	22.9	1.38	0.007	true	196	158	2736439296		1.43	70.5	143	48.7	67.2	63.4	66.3	3.01	60.1	63.1	true	68.8	39.3	1435303936		6	1	1.57	3.06	27.0	14.4	2.15	1.06	1.93	.634	.410	1.08	2.42
Problem04_label01_true-unreach-call.c	timeout	905	874	3694968832		18	61.9	772	14.8	true	115	58.1	2358599680		1	7.74	.118	.00	22.9	.818	20.723	true	180	140	3316363264		2.87	46.0	124	51.7	42.0	37.9	41.0	3.52	34.2	37.7	true	99.5	56.3	1584132096		10	1	3.12	4.49	42.5	22.9	3.39	1.95	3.12	.955	.989	2.01	5.38
Problem04_label02_true-unreach-call.c	timeout	905	875	3677138944		18	68.1	765	15.9	true	115	57.6	2416451584		1	8.10	.105	.00	22.1	1.20	20.426	true	216	173	3844853760		5.37	69.0	154	51.7	64.2	58.3	63.0	4.95	53.0	58.0	true	79.3	47.4	1522868224		10	1	2.46	3.50	33.2	17.5	2.42	1.16	2.14	.729	.400	1.18	5.15
Problem04_label03_true-unreach-call.c	timeout	905	875	3995697152		18	66.6	766	15.2	true	121	60.8	2560704512		1	8.18	.138	.00	23.0	1.60	0.003	true	206	165	2769399808		1.52	75.2	150	50.3	71.5	67.6	70.6	3.21	64.1	67.3	true	78.1	43.6	1463861248		6	1	1.83	3.97	31.1	16.4	2.85	1.71	2.65	.879	.798	1.71	2.63
Problem04_label05_true-unreach-call.c	timeout	905	872	3696586752		18	70.1	760	14.8	true	116	58.5	2597711872		1	8.09	.080	.001	22.4	1.58	21.223	true	221	174	3358334976		2.54	75.3	157	53.3	71.5	67.3	70.5	3.37	63.6	66.9	true	89.5	51.6	1556312064		10	1	2.76	2.77	37.1	21.1	1.67	.720	1.40	.659	.058	.786	5.01
Problem04_label07_true-unreach-call.c	timeout	905	874	3521122304		17	63.0	774	12.5	true	119	60.1	2307186688		1	8.27	.100	.001	22.4	1.54	22.290	true	215	172	2972360704		2.54	78.7	156	51.8	73.8	69.5	72.8	3.39	65.8	69.2	true	71.7	40.5	1457614848		6	1	1.93	2.43	27.7	16.0	1.48	.589	1.25	.506	.058	.603	2.38
Problem04_label08_true-unreach-call.c	timeout	905	875	3728060416		19	68.5	766	14.8	true	116	58.3	2425327616		1	7.28	.131	.001	22.9	1.57	20.394	true	187	142	2922172416		2.50	43.6	126	52.9	39.6	35.6	38.6	3.35	32.0	35.4	true	83.2	45.4	1486168064		6	1	2.07	2.93	31.2	18.2	1.90	.784	1.67	.729	.052	.819	2.51
Problem04_label10_true-unreach-call.c	timeout	905	875	3359457280		18	63.6	773	12.9	true	115	57.8	2351108096		1	8.77	.073	.001	22.8	1.09	0.005	true	179	137	3392876544		2.79	44.8	121	49.8	41.4	37.0	40.4	3.35	33.4	36.8	true	82.6	45.2	1470980096		6	1	1.83	2.69	31.7	18.4	1.72	.711	1.51	.651	.057	.752	2.40
Problem04_label16_true-unreach-call.c	timeout	905	875	3663876096		18	67.5	766	15.1	true	124	62.3	2293837824		1	6.73	.086	.001	23.8	1.04	24.444	true	175	134	3322757120		2.69	42.0	118	50.0	37.8	34.1	36.9	3.90	30.0	33.9	true	102	61.2	1594015744		15	1	3.94	4.59	45.8	22.8	3.34	1.49	3.02	1.29	.170	1.58	9.29
Problem04_label20_true-unreach-call.c	timeout	906	872	3675090944		18	70.1	758	15.2	true	116	58.4	2455474176		1	7.93	.100	.001	22.6	1.19	20.513	true	198	154	2670235648		1.70	68.0	139	48.8	64.8	61.3	64.0	3.11	57.8	60.9	true	86.2	50.7	1533222912		10	1	2.93	4.01	36.3	19.5	2.91	1.59	2.66	.901	.688	1.69	5.20
Problem04_label21_true-unreach-call.c	timeout	905	871	3605426176		19	74.1	752	15.6	true	117	58.7	2428792832		1	7.67	.105	.00	23.3	2.23	21.764	true	200	160	3437322240		2.57	70.3	145	49.3	65.3	61.4	64.3	3.85	57.3	61.2	true	80.2	49.1	1529106432		10	1	2.30	3.07	35.4	17.6	2.19	1.07	1.91	.618	.442	1.11	7.01
Problem04_label22_true-unreach-call.c	timeout	905	871	3979001856		19	73.2	753	15.9	true	105	52.8	2106064896		1	9.19	.183	.001	20.7	.850	0.006	true	191	146	3273588736		2.77	50.3	130	52.6	46.4	42.1	45.3	3.82	38.1	41.9	true	91.9	48.9	1493590016		6	1	2.32	4.08	35.1	19.5	3.08	1.83	2.85	.817	.990	1.87	2.56
Problem04_label23_true-unreach-call.c	timeout	905	873	3671511040		17	65.7	769	12.5	true	110	55.2	2358362112		1	7.66	.073	.012	21.7	1.14	20.389	true	177	136	3385057280		2.47	44.7	121	50.8	41.4	37.7	40.6	3.10	34.3	37.4	true	88.6	51.1	1544687616		10	1	2.79	3.07	36.9	20.6	2.01	.897	1.77	.820	.073	.942	5.12
Problem04_label24_true-unreach-call.c	timeout	905	875	3998064640		19	71.7	759	16.3	true	121	60.8	2536472576		1	7.23	.037	.00	22.8	1.43	0.005	true	187	145	3366391808		2.55	47.4	128	51.2	43.5	39.4	42.5	3.24	36.0	39.2	true	83.3	45.2	1516453888		6	1	1.83	3.00	31.9	18.6	1.90	.819	1.68	.760	.056	.851	2.38
Problem04_label25_true-unreach-call.c	timeout	905	873	3723415552		19	72.4	756	15.5	true	126	63.2	2481709056		1	5.68	.098	.00	25.1	.923	26.098	true	187	143	3131424768		3.31	49.1	126	51.2	45.3	41.2	44.3	3.29	37.7	41.0	true	79.3	43.8	1457119232		6	1	1.96	2.90	30.3	17.7	1.79	.761	1.57	.675	.067	.786	2.54
Problem04_label28_true-unreach-call.c	timeout	905	874	3350396928		17	65.0	771	12.2	true	113	57.0	2352447488		1	7.40	.049	.00	21.9	.830	20.719	true	192	149	3377795072		2.82	54.5	132	49.2	51.1	46.8	50.0	3.37	43.2	46.6	true	82.8	45.4	1488564224		6	1	1.99	2.91	32.6	19.6	1.84	.690	1.54	.642	.043	.723	2.43
Problem04_label29_true-unreach-call.c	timeout	905	875	3845840896		19	71.2	759	17.2	true	114	57.1	2475388928		1	7.99	.083	.001	22.2	1.37	0.006	true	231	190	2884788224		1.30	97.9	175	51.1	94.6	90.3	93.7	3.16	86.7	89.9	true	87.9	44.7	1479479296		3	1	1.54	3.08	31.5	18.5	2.07	.872	1.85	.776	.090	.889	1.51
Problem04_label30_true-unreach-call.c	timeout	905	873	3812966400		18	72.9	758	14.2	true	115	58.0	2349928448		1	8.65	.073	.00	22.2	1.40	21.455	true	197	159	3184562176		1.03	73.3	145	48.2	70.4	66.0	69.5	2.81	62.9	65.7	true	71.0	40.3	1441169408		6	1	1.48	3.00	26.9	14.4	2.16	1.01	1.98	.874	.105	1.01	2.87
Problem04_label33_true-unreach-call.c	timeout	906	874	3707502592		18	68.7	763	15.0	true	116	58.3	2876186624		1	7.01	.109	.001	21.7	1.26	0.009	true	165	126	2679922688		1.23	49.0	112	40.8	46.2	42.5	45.3	2.76	39.4	42.2	true	80.0	44.0	1473249280		6	1	1.68	3.04	30.9	17.7	2.08	.940	1.86	.808	.128	.974	2.48
Problem04_label34_true-unreach-call.c	timeout	905	873	3646406656		17	64.6	768	14.6	true	114	57.2	2552680448		1	8.25	.096	.00	21.9	1.48	20.772	true	102	62.9	1913606144		1.45	15.9	49.4	20.6	14.0	11.9	13.6	1.33	10.4	11.7	true	74.7	41.8	1447981056		6	1	1.64	3.11	29.3	16.1	2.16	.846	1.91	.735	.082	.857	2.78
Problem04_label37_true-unreach-call.c	timeout	906	875	3679379456		18	61.7	774	12.8	true	118	59.5	2454446080		1	7.37	.140	.00	22.5	1.29	21.803	true	118	83.3	1999642624		1.33	28.6	70.1	28.1	26.5	24.2	26.0	1.68	22.3	24.0	true	81.2	48.6	1523109888		10	1	2.49	4.48	34.3	17.7	2.51	1.20	2.23	.755	.435	1.24	4.85
Problem04_label41_true-unreach-call.c	timeout	906	873	3660087296		18	68.9	762	14.6	true	119	59.8	2505420800		1	6.70	.095	.001	23.5	1.12	0.003	true	235	190	3263148032		2.60	96.5	175	52.2	92.4	88.2	91.4	3.08	84.7	87.8	true	83.0	45.4	1475895296		6	1	2.16	2.86	31.4	18.4	1.87	.794	1.60	.728	.062	.848	2.68
Problem04_label42_true-unreach-call.c	timeout	905	874	3631267840		18	69.2	765	14.3	true	120	60.6	1993056256		1	9.51	.080	.00	23.6	.868	20.829	true	177	132	3392344064		2.40	39.5	116	51.6	35.8	31.4	34.7	3.23	27.9	31.2	true	79.4	46.9	1525030912		10	1	2.58	2.90	32.5	17.5	1.97	.914	1.74	.837	.073	.956	4.28
Problem04_label43_true-unreach-call.c	timeout	905	873	3595145216		17	65.1	770	12.3	true	119	60.0	2283642880		1	7.37	.108	.00	23.9	1.29	22.556	true	185	141	3177291776		2.89	45.3	125	54.0	41.7	37.7	40.8	3.72	33.7	37.4	true	78.4	43.5	1428508672		6	1	1.97	2.92	29.9	17.3	2.04	.809	1.81	.742	.064	.857	2.46
Problem04_label44_true-unreach-call.c	timeout	905	873	3572150272		17	67.1	764	14.9	true	119	59.8	2396430336		1	8.29	.088	.00	22.8	1.39	21.529	true	174	136	3209293824		2.17	46.1	120	49.2	42.8	38.9	41.8	3.79	34.9	38.7	true	83.7	45.5	1480982528		6	1	1.85	2.66	31.8	18.4	1.69	.692	1.47	.647	.041	.723	2.06
Problem04_label46_true-unreach-call.c	timeout	905	872	3664945152		19	66.9	761	16.5	true	116	58.2	2424496128		1	7.94	.086	.001	23.4	1.21	20.632	true	216	172	3337052160		2.81	77.6	155	51.2	73.9	69.6	72.4	3.51	65.7	69.2	true	82.7	44.8	1474228224		6	1	2.02	2.84	31.3	18.9	1.88	.702	1.59	.645	.050	.730	2.19
Problem04_label47_true-unreach-call.c	timeout	905	873	4085960704		18	68.8	763	13.4	true	121	60.8	2355101696		1	5.21	.126	.00	23.8	1.16	25.240	true	195	154	2608971776		1.12	68.2	139	49.3	65.5	61.9	64.7	2.99	58.6	61.6	true	81.6	48.6	1529544704		10	1	2.71	3.87	34.5	17.1	2.47	1.16	2.23	1.03	.121	1.20	5.55
Problem04_label48_true-unreach-call.c	timeout	906	874	3604758528		18	68.7	763	14.2	true	115	57.6	2399436800		1	8.19	.124	.001	23.1	1.07	22.352	true	206	165	2774351872		1.30	71.0	150	52.9	67.7	63.8	66.7	2.98	60.5	63.4	true	97.9	54.8	1536602112		10	1	3.13	3.91	39.7	22.0	2.70	1.22	2.42	1.08	.122	1.26	5.28
Problem04_label49_true-unreach-call.c	timeout	906	874	3618582528		18	70.5	762	14.0	true	120	60.5	2462367744		1	6.18	.116	.00	23.5	.953	0.011	true	210	166	2800357376		1.58	67.3	152	52.6	62.9	58.8	61.8	3.17	55.3	58.5	true	96.3	55.0	1556328448		10	1	2.73	3.57	40.2	22.1	2.29	.948	2.07	.866	.074	.990	5.74
Problem04_label50_true-unreach-call.c	timeout	906	876	3636109312		18	68.9	766	14.2	true	112	56.3	2465255424		1	7.15	.098	.00	21.9	1.51	20.844	true	216	174	3241684992		2.27	78.6	158	51.1	74.8	70.2	73.9	3.83	66.0	69.9	true	98.1	54.7	1545363456		10	1	2.85	3.65	41.1	22.4	2.23	.990	1.90	.853	.100	1.02	4.69
Problem04_label51_true-unreach-call.c	timeout	905	871	3556397056		18	72.5	758	14.0	true	113	56.6	2420731904		1	8.72	.079	.001	21.8	1.08	20.516	true	177	139	2793431040		1.37	59.9	125	41.6	56.7	53.4	55.9	2.47	50.7	53.1	true	94.9	50.5	1502236672		6	1	2.13	3.42	36.4	21.8	2.35	1.06	2.09	.970	.068	1.09	3.02
Problem04_label53_true-unreach-call.c	timeout	905	871	3545354240		17	67.6	764	13.1	true	114	57.3	2308767744		1	7.15	.142	.00	22.3	1.30	0.004	true	207	164	2823938048		1.80	71.9	149	52.3	68.5	64.9	67.6	2.98	61.6	64.6	true	72.7	40.6	1455734784		6	1	1.75	3.76	28.4	16.0	2.83	1.68	2.58	.771	.883	1.71	2.22
Problem04_label54_true-unreach-call.c	timeout	905	875	3619401728		18	67.2	767	14.5	true	111	56.0	2338381824		1	8.02	.084	.00	21.7	.767	19.916	true	195	156	3128119296		1.06	69.5	141	48.4	66.1	62.5	65.3	3.38	58.9	62.2	true	75.1	41.8	1463554048		6	1	1.68	3.84	28.8	15.7	3.02	1.71	2.78	.757	.936	1.73	2.42
Problem04_label56_true-unreach-call.c	timeout	906	873	3946594304		19	72.8	754	16.8	true	116	58.4	2414981120		1	7.46	.110	.00	23.0	1.20	21.047	true	258	212	4087709696		6.47	102	191	53.0	96.9	90.8	95.5	5.86	84.6	90.5	true	99.3	57.4	1538506752		10	1	2.98	4.96	43.6	21.9	3.69	2.17	3.39	1.07	1.07	2.19	7.56
Problem04_label57_true-unreach-call.c	timeout	905	873	3931234304		18	71.6	761	13.6	true	113	56.8	2479833088		1	8.20	.085	.00	22.5	1.30	20.752	true	188	147	3149672448		1.96	57.5	133	49.8	53.9	50.3	53.0	3.38	46.6	50.0	true	97.2	54.6	1568468992		10	1	2.75	4.71	40.4	20.7	3.45	1.89	3.14	1.01	.850	1.91	5.59
Problem04_label59_true-unreach-call.c	timeout	905	875	3999997952		18	68.6	766	13.4	true	115	58.1	2408398848		1	7.94	.081	.00	21.6	.938	20.290	true	193	147	3139141632		3.26	49.6	130	52.6	45.6	40.8	44.7	3.85	36.7	40.5	true	71.5	40.2	1457807360		6	1	1.89	2.72	27.4	15.1	1.78	.724	1.57	.660	.060	.763	2.40
Problem05_label02_true-unreach-call.c	timeout	918	881	4483993600		12	81.3	371	401	timeout	903	452	5289365504		7	73.3	53.0	28.4	104	156	379.743	true	302	250	3552256000		2.69	149	232	54.2	145	140	144	3.03	137	140	true	620	571	4297039872		41	1	111	8.90	446	48.9	6.34	3.47	5.72	3.02	.441	10.7	367
Problem05_label03_true-unreach-call.c	timeout	906	872	4589326336		13	89.3	614	139	true	569	285	4875796480		5	52.7	16.5	2.99	90.1	85.1	229.326	true	241	197	3743768576		5.63	100	176	44.6	95.6	89.8	94.5	3.52	86.0	89.5	true	571	525	4148187136		41	1	62.6	8.36	447	47.7	5.90	3.24	5.15	2.87	.362	8.00	369
Problem05_label04_true-unreach-call.c	timeout	905	869	4492414976		12	83.7	428	330	timeout	903	452	5434265600		7	70.5	25.4	21.4	105	194	379.028	true	271	220	3958710272		6.24	120	197	46.3	115	110	114	3.81	106	110	true	355	308	3414380544		33	1	41.2	7.91	251	45.9	5.62	3.19	5.03	2.79	.388	4.20	179
Problem05_label05_true-unreach-call.c	timeout	906	873	4541652992		13	87.2	543	213	timeout	930	466	5143830528		5	51.3	21.1	2.92	89.5	262	384.193	true	242	205	3147317248		3.72	116	185	42.7	112	108	111	2.94	105	108	true	415	366	3608621056		33	1	48.5	7.67	302	44.6	5.44	2.92	4.87	2.58	.326	5.25	232
Problem05_label06_true-unreach-call.c	timeout	907	871	4619333632		13	90.3	473	277	timeout	903	453	5347643392		7	81.7	60.4	20.3	120	130	378.101	true	204	165	2947137536		2.51	85.3	149	39.3	82.4	79.2	81.7	2.54	76.4	79.0	true	360	318	3372515328		32	1	47.9	7.16	254	43.0	4.95	2.74	4.40	2.39	.345	4.25	187
Problem05_label07_true-unreach-call.c	timeout	906	872	4491169792		12	80.5	545	217	timeout	904	453	5321695232		6	67.4	83.9	14.4	110	135	0.005	true	459	405	4281548800		18.3	268	370	61.3	262	255	260	5.25	249	255	true	240	201	3126185984		25	1	31.3	7.07	155	39.0	4.96	2.43	4.37	2.13	.295	3.15	93.3
Problem05_label08_true-unreach-call.c	timeout	914	875	4543082496		12	80.3	521	246	timeout	903	452	5138931712		6	71.9	125	10.5	115	91.6	388.350	true	246	206	3789946880		6.19	111	184	43.9	107	102	106	3.82	98.4	102	true	599	558	3832942592		41	1	63.5	8.50	480	47.1	6.03	3.40	5.38	2.98	.413	6.59	405
Problem05_label09_true-unreach-call.c	timeout	907	871	4500652032		12	81.7	484	277	timeout	903	452	5382430720		7	77.7	72.0	23.5	104	135	376.066	true	285	236	3252453376		4.22	143	216	45.6	138	134	137	3.22	131	134	true	599	557	5582753792		40	1	71.3	8.40	470	46.3	6.02	3.37	5.46	2.99	.382	5.83	396
Problem05_label10_true-unreach-call.c	timeout	906	871	4134002688		11	75.1	443	327	timeout	903	452	5406806016		7	79.7	68.1	26.6	105	135	376.447	true	191	153	2863714304		2.38	70.8	136	37.2	67.3	64.4	66.4	1.94	62.3	64.2	true	284	244	3414183936		26	1	30.5	6.46	199	38.3	4.62	2.59	4.31	2.28	.304	4.70	142
Problem05_label12_true-unreach-call.c	timeout	906	873	4648538112		13	86.7	544	213	timeout	936	473	5349904384		7	79.9	74.5	35.3	108	131	379.229	true	257	206	3881893888		6.05	98.8	184	47.2	93.5	88.8	92.2	3.56	85.1	88.6	true	339	303	3332259840		33	1	60.0	7.27	229	39.9	5.11	2.77	4.61	2.42	.339	7.16	164
Problem05_label14_true-unreach-call.c	timeout	913	879	4620533760						timeout	903	452	5279588352		6	79.8	161	9.49	93.4	71.2	376.134	true	211	163	2855702528		2.72	81.6	146	40.3	77.3	73.4	76.5	2.64	70.5	73.2	out of memory	698	649	14999998464
Problem05_label17_true-unreach-call.c	timeout	914	874	4418244608		12	81.6	301	465	timeout	904	453	5478305792		7	77.5	119	30.4	117	69.4	378.507	true	272	219	3869548544		6.28	119	196	44.6	115	110	113	3.65	106	109	timeout	905	861	4895719424		49	0	110	8.86	735	49.0	6.08	3.36	5.37	2.93	.409	17.6	653
Problem05_label19_true-unreach-call.c	timeout	914	876	4590628864		14	93.7	664	89.0	true	370	186	4304359424		3	25.7	4.17	.304	61.9	58.9	136.053	true	235	192	2920517632		2.60	110	174	41.3	107	104	106	2.38	101	104	true	369	319	3586637824		34	1	38.8	7.79	265	46.2	5.51	3.12	4.87	2.77	.329	5.05	192
Problem05_label20_true-unreach-call.c	timeout	914	874	4539858944		13	88.4	390	367	timeout	903	452	5420793856		7	79.2	80.5	17.8	104	132	0.005	true	221	173	3076755456		4.45	80.5	152	43.9	76.5	71.2	75.4	2.97	68.0	71.0	true	654	607	4671471616		40	1	55.2	9.24	537	46.8	6.41	3.50	5.69	3.08	.413	5.91	460
Problem05_label21_true-unreach-call.c	timeout	906	872	4619542528		13	87.6	462	293	timeout	903	452	5357551616		7	79.8	62.2	27.1	109	131	0.007	true	843	795	4312985600		10.7	613	767	97.9	606	596	604	7.32	582	589	true	441	400	3639930880		33	1	76.7	7.55	309	43.0	5.35	2.79	4.72	2.42	.352	7.61	239
Problem05_label22_true-unreach-call.c	timeout	906	871	4547059712		13	87.0	465	291	timeout	934	471	5388693504		7	80.0	118	37.5	123	72.9	0.010	true	275	223	3841019904		5.85	120	202	47.0	115	110	114	3.67	106	110	timeout	905	854	5438652416		48	0	152	9.74	687	51.9	6.70	3.73	6.05	3.23	.474	24.3	603
Problem05_label23_true-unreach-call.c	timeout	906	870	4589555712		13	89.5	522	229	timeout	903	452	5271650304		6	82.1	40.1	7.62	94.7	190	375.798	true	252	208	3084337152		2.65	124	191	41.0	121	117	120	2.36	114	117	true	287	238	3303624704		25	1	23.7	7.60	199	41.0	5.37	3.06	4.77	2.71	.333	4.37	133
Problem05_label25_true-unreach-call.c	timeout	906	872	4362240000		11	76.5	240	528	timeout	904	453	5207121920		5	50.1	45.9	3.02	89.5	223	0.006	true	249	202	3055247360		4.71	106	181	47.0	102	97.2	101	4.00	92.9	96.9	true	538	490	3904700416		40	1	64.0	7.59	411	49.2	5.55	3.22	5.17	2.78	.413	5.95	338
Problem05_label27_true-unreach-call.c	timeout	907	870	4427091968		12	73.7	441	327	timeout	935	473	5353893888		7	82.0	101	33.9	107	106	0.012	true	248	197	2974859264		2.60	109	179	42.5	105	102	104	2.25	99.2	101	timeout	906	855	6671618048		56	0	145	10.2	694	56.4	7.17	4.24	6.47	3.71	.504	12.9	603
Problem05_label28_true-unreach-call.c	timeout	906	873	4734267392		13	87.2	684	71.4	true	371	186	4331376640		3	26.8	4.06	.287	62.9	54.0	137.647	true	268	216	3793100800		7.37	114	193	46.7	109	105	108	3.73	101	105	true	279	229	3301187584		26	1	19.3	7.69	194	42.0	4.98	2.75	4.41	2.43	.311	3.18	128
Problem05_label29_true-unreach-call.c	timeout	907	872	4678664192		14	98.3	678	63.8	true	454	228	4551659520		4	40.2	42.4	1.07	78.7	27.7	176.775	true	301	258	3656384512		13.0	145	229	47.5	140	136	139	3.90	131	135	true	551	514	4016898048		42	1	54.4	8.24	445	44.2	5.91	3.06	5.34	2.66	.394	5.52	373
Problem05_label31_true-unreach-call.c	timeout	907	871	4726845440		14	95.4	670	74.6	true	332	167	4276494336		3	24.7	3.88	.294	64.9	33.6	117.166	timeout	905	847	4513157120		13.6	689	817	80.1	683	676	681	7.39	660	668	true	267	221	3121856512		26	1	21.7	7.04	184	40.8	4.88	2.68	4.29	2.38	.296	3.23	119
Problem05_label34_true-unreach-call.c	timeout	908	872	4958134272		16	102	700	35.4	true	204	102	4053921792		2	13.5	.302	.063	46.7	6.42	60.832	true	227	184	3214667776		4.26	95.1	164	44.0	90.4	86.1	89.6	3.03	82.8	85.9	true	162	127	3045208064		20	1	14.0	5.93	98.3	32.4	4.24	2.11	3.77	1.86	.245	2.37	45.4
Problem05_label35_true-unreach-call.c	timeout	906	872	4528922624		12	82.2	580	181	true	497	249	4606836736		4	39.3	12.1	1.03	79.9	79.6	197.768	true	212	169	2849402880		2.53	87.3	151	41.6	83.9	80.7	83.0	2.36	78.0	80.4	true	611	565	4830355456		42	1	69.5	8.76	480	46.8	6.34	3.26	5.75	2.88	.376	10.4	404
Problem05_label43_true-unreach-call.c	timeout	906	873	4680355840		13	90.9	510	242	true	540	271	4824322048		5	52.7	29.1	4.49	98.7	42.2	214.984	true	189	151	3104309248		2.15	70.8	134	38.8	67.7	64.7	66.9	1.88	62.6	64.5	true	594	549	3861225472		41	1	56.4	8.45	478	48.4	5.97	3.21	5.32	2.83	.372	7.04	400
Problem05_label45_true-unreach-call.c	timeout	908	871	4756201472		14	95.2	725	17.4	true	157	79.1	3584421888		1	8.27	.060	.001	33.1	2.16	0.011	true	220	181	3010772992		3.74	94.8	162	42.4	91.1	87.0	90.2	2.91	83.9	86.8	true	92.4	57.9	2063613952		6	1	3.17	3.55	40.2	21.3	2.35	1.21	2.02	1.07	.120	1.23	4.38
Problem05_label46_true-unreach-call.c	timeout	907	872	4724703232		14	96.8	648	94.2	true	288	144	4289667072		3	23.9	1.87	.358	60.3	21.0	99.726	true	265	213	3791695872		9.65	108	187	48.6	103	97.7	102	3.81	93.6	97.4	true	376	341	3437289472		34	1	52.4	7.42	274	41.1	5.09	2.81	4.55	2.45	.347	6.55	209
Problem05_label49_true-unreach-call.c	timeout	906	869	4617814016		14	89.4	718	29.4	true	213	107	4059496448		2	13.1	.332	.063	50.3	6.62	62.756	true	305	255	3766771712		9.48	164	231	43.9	160	155	159	4.05	151	155	true	245	196	3300057088		27	1	21.4	7.49	160	42.6	5.04	2.84	4.45	2.52	.298	3.21	93.0
Problem05_label50_true-unreach-call.c	timeout	907	873	4498436096		12	79.7	588	176	timeout	937	473	5459640320		7	83.5	53.6	34.2	113	147	0.011	timeout	903	850	4415074304		30.5	734	805	42.8	730	724	729	3.06	659	662	true	297	248	3245834240		25	1	30.0	7.63	203	40.4	5.05	2.75	4.46	2.42	.314	3.83	137
Problem05_label52_true-unreach-call.c	timeout	906	870	4458864640		12	80.8	405	356	timeout	902	452	5057540096		5	49.1	249	3.93	69.6	50.6	0.006	true	245	192	3532374016		5.64	92.7	172	48.7	88.5	83.9	87.4	3.52	80.2	83.7	true	272	224	3253608448		26	1	27.1	6.97	183	41.3	4.64	2.56	4.08	2.27	.282	4.04	117
Problem05_label53_true-unreach-call.c	timeout	906	872	4574068736		13	85.6	730	26.0	true	210	106	4018974720		2	13.3	.323	.066	49.6	7.19	65.506	true	225	174	2958532608		2.76	88.1	157	43.1	84.8	81.2	84.0	2.33	78.7	81.0	true	217	171	3099922432		19	1	16.0	5.97	142	38.5	4.33	2.31	3.78	2.02	.278	2.64	82.5
Problem05_label54_true-unreach-call.c	timeout	905	870	4448739328		11	76.5	409	357	timeout	904	453	5246476288		5	50.9	41.8	3.57	91.9	226	377.594	true	282	229	3916558336		9.44	125	205	47.6	120	115	119	3.75	111	115	true	277	230	3446325248		26	1	26.4	7.82	188	41.1	5.33	2.89	4.70	2.52	.322	4.04	122
Problem05_label56_true-unreach-call.c	timeout	914	875	4674514944		14	96.2	530	217	timeout	935	471	5455917056		7	81.4	56.7	31.4	108	156	0.005	true	202	156	2988584960		2.69	75.0	139	40.4	71.0	67.4	70.1	2.21	64.9	67.1	true	250	215	3197001728		26	1	29.8	6.40	170	36.1	4.46	2.42	3.93	2.12	.290	3.43	112
Problem05_label59_true-unreach-call.c	timeout	907	873	4687716352		14	91.2	702	47.5	true	455	228	4195991552		2	12.8	.672	.068	48.0	132	177.575	true	191	152	3044360192		2.35	72.8	134	39.5	70.0	66.8	69.2	2.26	64.3	66.6	true	251	212	3106639872		27	1	17.6	6.97	179	36.9	4.94	2.72	4.38	2.39	.299	3.12	118
Problem06_label06_true-unreach-call.c	timeout	907	873	4222545920		10	65.5	87.0	698	timeout	929	467	5322194944		7	83.8	48.1	128	103	67.2	375.575	true	216	165	2911473664		2.10	78.8	148	40.1	75.4	72.0	74.5	2.45	69.3	71.7	timeout	913	867	2670059520
Problem06_label07_true-unreach-call.c	timeout	907	872	4304924672		10	70.6	94.1	682	timeout	928	467	5392949248		7	82.6	94.1	85.3	121	46.0	0.005	true	205	153	2880466944		2.31	76.0	137	37.1	73.0	69.7	72.3	2.29	67.1	69.4	timeout	913	877	11394486272
Problem06_label08_true-unreach-call.c	timeout	907	873	4309643264		10	65.5	105	679	timeout	903	452	5327257600		7	83.9	48.5	136	107	33.7	0.006	true	328	278	4018761728		34.6	154	229	42.1	150	144	149	4.63	139	144	out of memory	351	303	14999998464
Problem06_label13_true-unreach-call.c	timeout	906	873	4320899072		10	66.5	146	637	timeout	903	452	5301186560		7	71.3	61.5	88.8	107	82.2	0.014	true	224	175	3037151232		5.36	83.1	155	43.5	79.7	75.2	78.8	3.62	71.2	74.8	out of memory	287	245	14999998464
Problem06_label14_true-unreach-call.c	timeout	907	873	3364098048		9	60.6	90.6	700	timeout	928	467	5328719872		7	102	45.0	91.6	125	62.8	0.005	true	209	158	2974040064		3.34	66.0	139	41.1	61.6	57.7	60.7	3.26	54.1	57.3	out of memory	380	338	14999998464
Problem06_label16_true-unreach-call.c	timeout	907	874	4367659008		10	66.6	134	651	timeout	929	467	5341806592		7	82.5	64.1	122	103	56.9	0.005	true	283	241	3697160192		43.9	108	182	42.8	104	98.5	102	4.49	93.4	97.8	timeout	913	868	2883198976
Problem06_label17_true-unreach-call.c	timeout	907	871	4123578368		10	68.0	144	637	timeout	903	452	5284495360		7	80.9	107	49.5	113	58.6	0.015	true	213	166	3054579712		5.79	73.4	145	41.5	69.9	65.5	69.0	4.18	60.9	65.1	out of memory	554	512	14999998464
Problem06_label18_true-unreach-call.c	timeout	907	871	4264755200		10	67.9	116	664	timeout	903	452	5284814848		7	83.6	35.0	95.3	116	77.3	367.985	true	228	176	3164151808		5.88	79.0	155	42.5	75.2	70.4	74.1	3.65	66.3	70.0	out of memory	495	451	14999998464
Problem06_label19_true-unreach-call.c	timeout	905	872	3398352896		9	60.6	77.1	712	timeout	928	466	5436157952		7	83.1	61.2	105	120	58.6	0.011	true	235	181	3050614784		3.35	88.2	163	43.1	84.0	79.4	83.0	4.00	75.0	79.0	timeout	913	869	2833825792
Problem06_label22_true-unreach-call.c	timeout	907	873	4372242432		11	75.1	137	636	timeout	904	453	5329383424		7	84.6	61.5	120	110	33.5	373.715	true	218	170	3205287936		5.96	77.4	150	42.4	73.7	68.9	72.7	3.94	64.6	68.5	timeout	913	865	11628716032
Problem06_label25_true-unreach-call.c	timeout	907	870	4319907840		10	68.4	147	631	timeout	928	466	5399953408		7	84.0	67.3	93.1	106	75.1	0.011	true	251	203	3183075328		9.16	108	180	42.2	105	99.9	104	4.14	95.4	99.5	timeout	913	862	2840457216
Problem06_label26_true-unreach-call.c	timeout	907	874	4017795072		10	65.2	139	648	timeout	928	466	5355048960		7	83.1	106	75.3	120	38.8	369.318	true	218	170	3116765184		6.30	81.3	148	38.7	77.6	73.6	76.7	3.58	69.6	73.2	timeout	913	865	2932457472
Problem06_label28_true-unreach-call.c	timeout	906	872	4160540672		10	66.3	117	664	timeout	929	467	5285416960		7	82.6	45.3	143	103	54.8	374.525	true	264	223	3696259072		35.6	104	173	40.3	99.6	94.7	98.7	4.05	90.2	94.2	timeout	913	874	2813202432
Problem06_label30_true-unreach-call.c	timeout	905	873	3386286080		9	58.2	94.0	698	timeout	928	466	5377798144		7	87.7	64.7	79.6	106	90.1	0.005	true	234	182	3255693312		5.01	87.4	163	42.8	83.3	78.5	82.3	4.17	74.0	78.2	out of memory	293	248	14999998464
Problem06_label31_true-unreach-call.c	timeout	906	872	4092542976		10	67.1	96.3	686	timeout	927	466	5358202880		7	86.0	58.3	99.4	108	71.1	371.235	true	233	193	3238834176		5.70	103	173	39.4	99.4	95.1	98.3	3.31	91.4	94.7	out of memory	294	252	14999998464
Problem06_label32_true-unreach-call.c	timeout	907	873	4130594816		10	66.3	94.6	688	timeout	929	467	5363302400		7	96.4	48.0	121	105	55.3	0.010	true	266	219	3306856448		15.8	116	189	42.3	112	107	111	3.76	103	107	out of memory	276	235	14999998464
Problem06_label34_true-unreach-call.c	timeout	907	873	4274221056		11	73.2	141	635	timeout	903	453	5331292160		6	70.0	133	53.3	109	47.4	374.252	true	262	214	3076800512		2.90	125	196	42.3	122	118	121	3.64	114	118	out of memory	494	457	14999998464
Problem06_label35_true-unreach-call.c	timeout	907	873	3421278208		9	58.6	57.1	735	timeout	929	467	5480144896		7	83.7	57.9	104	106	76.8	0.005	true	256	211	3122745344		4.94	121	192	42.0	117	113	116	3.85	108	112	timeout	913	864	3874078720
Problem06_label39_true-unreach-call.c	timeout	907	872	4110151680		10	66.2	100	681	timeout	903	452	5346471936		7	76.3	89.0	71.0	120	55.5	373.671	true	242	191	3035484160		2.88	98.7	173	43.1	95.4	91.2	94.2	3.39	87.4	90.8	out of memory	281	236	14999998464
Problem06_label40_true-unreach-call.c	timeout	907	874	4209311744		11	71.4	156	622	timeout	903	452	5352181760		7	82.9	54.1	116	106	52.6	0.005	true	257	215	3154329600		4.23	128	196	37.3	124	120	123	4.11	115	119	out of memory	440	402	14999998464
Problem06_label41_true-unreach-call.c	timeout	907	872	4276183040		10	66.5	119	663	timeout	926	465	5204283392		7	81.9	113	84.8	104	42.4	376.324	true	211	163	3231846400		4.93	70.4	143	41.9	66.2	61.9	65.2	3.37	58.2	61.6	timeout	913	868	2987618304
Problem06_label42_true-unreach-call.c	timeout	907	873	4010844160		10	66.3	99.7	684	timeout	927	466	5338370048		7	86.8	78.9	83.5	109	69.1	0.006	true	187	139	2902827008		2.39	62.0	121	35.5	58.9	55.6	58.2	2.60	52.7	55.3	timeout	913	865	3397419008
Problem06_label43_true-unreach-call.c	timeout	905	871	3395411968		9	60.1	67.0	721	timeout	927	466	5300568064		7	85.4	30.8	136	106	68.0	0.005	true	204	163	3054112768		6.35	74.1	143	41.4	70.7	65.7	69.8	4.03	61.3	65.3	out of memory	300	253	14999998464
Problem06_label45_true-unreach-call.c	timeout	905	873	3355369472		9	58.1	102	691	timeout	927	466	5302706176		7	82.8	44.5	121	103	77.5	373.853	true	794	742	5627527168		232	389	496	63.9	383	377	382	6.99	364	371	out of memory	402	362	14999998464
Problem06_label46_true-unreach-call.c	timeout	907	871	3419770880		9	60.8	50.4	737	timeout	927	466	5410734080		7	85.8	45.9	142	104	49.8	0.006	true	224	182	3340963840		6.76	89.6	161	40.3	86.2	81.6	85.3	4.27	77.0	81.2	timeout	913	871	2716758016
Problem06_label49_true-unreach-call.c	timeout	907	872	4116422656		10	67.9	149	631	timeout	927	466	5355773952		7	102	58.8	89.7	107	68.1	0.010	true	240	194	3081617408		5.02	102	175	41.8	98.4	93.9	97.5	4.00	89.6	93.6	out of memory	495	457	14999998464
Problem06_label50_true-unreach-call.c	timeout	907	869	4245889024		10	68.2	51.6	726	timeout	928	466	5421486080		7	81.8	29.3	159	96.5	69.0	0.006	true	276	223	3177144320		6.02	128	201	41.3	124	119	123	4.13	114	119	out of memory	306	258	14999998464
Problem06_label51_true-unreach-call.c	timeout	906	871	3413073920		9	59.8	124	665	timeout	928	466	5375074304		7	98.6	52.9	101	103	73.4	0.005	true	214	168	3112120320		4.91	73.2	148	41.8	68.4	64.0	67.3	3.97	59.6	63.6	out of memory	284	242	14999998464
Problem06_label52_true-unreach-call.c	timeout	907	872	4499718144		11	75.0	159	614	timeout	927	466	5304844288		7	85.3	59.0	130	106	45.5	0.007	true	242	195	3197104128		5.76	105	175	40.7	101	96.5	100	4.82	91.2	96.1	out of memory	345	300	14999998464
Problem06_label53_true-unreach-call.c	timeout	908	873	4277891072		10	66.4	80.3	703	timeout	926	466	5301698560		7	86.9	49.8	107	106	75.2	370.697	true	241	198	3102617600		5.43	108	178	40.4	104	100	103	3.82	95.9	99.7	timeout	913	869	2766684160
Problem06_label54_true-unreach-call.c	timeout	905	872	3360395264		9	59.1	89.2	701	timeout	928	467	5367812096		7	83.8	56.3	118	104	47.8	370.239	true	216	178	2991034368		5.35	81.8	159	41.7	77.6	73.5	76.4	3.55	69.6	73.1	out of memory	305	264	14999998464
Problem06_label55_true-unreach-call.c	timeout	907	872	4421246976		11	73.3	178	596	timeout	928	467	5367853056		7	100	87.2	76.7	110	50.8	0.017	true	344	292	4210491392		60.9	139	215	43.8	135	129	133	4.96	124	129	timeout	913	868	3134279680
Problem06_label57_true-unreach-call.c	timeout	906	872	5041082368		16	105	701	27.0	true	161	80.9	3921494016		1	8.67	.356	.00	33.7	3.28	38.860	timeout	904	858	3309420544		4.44	768	840	44.2	764	760	763	4.21	751	755	true	89.5	56.9	2125697024		6	1	3.15	3.98	39.8	21.6	2.78	1.27	2.46	1.03	.220	1.33	4.19
Problem07_label00_true-unreach-call.c	timeout	912	861	5592424448		6	183	592	30.3	true	893	450	5439741952		1	19.0	.491	.00	264	65.9	365.215	timeout	911	836	5186490368		8.82	580	796	156	570	552	569	11.0	543	554	true	334	288	5493620736		6	1	18.6	29.0	241	125	22.8	15.2	21.0	6.85	8.32	15.2	39.6
Problem07_label01_true-unreach-call.c	timeout	913	854	6268215296		7	246	503	38.3	timeout	906	457	5436899328		1	18.8	.496	.00	272	64.1	369.975	timeout	915	843	5009166336												true	373	309	5527412736		6	1	18.5	34.2	262	120	27.3	18.0	25.6	8.73	9.27	18.1	56.2
Problem07_label02_true-unreach-call.c	timeout	907	859	5017133056		5	127	675	5.81	true	885	446	5435023360		1	18.5	.428	.001	267	62.5	361.899	timeout	911	848	4952064000		9.20	595	808	135	583	570	581	9.14	562	571	true	357	298	5538234368		6	1	19.4	33.5	250	126	27.7	18.1	26.0	8.82	9.25	18.2	44.2
Problem07_label04_true-unreach-call.c	timeout	913	871	4939030528						true	879	442	5429919744		1	20.0	.549	.00	272	48.4	0.004	timeout	912	837	5001285632		8.93	564	797	140	551	535	547	10.4	526	536	true	406	342	5616009216		6	1	18.2	30.9	294	120	23.7	14.6	22.1	8.60	6.03	14.7	91.0
Problem07_label08_true-unreach-call.c	timeout	911	858	5761814528		6	190	592	17.3	timeout	909	461	5443186688		1	20.1	.339	.00	275	43.2	0.003	timeout	909	851	5235818496		8.72	647	814	101	638	625	636	7.34	618	626	true	344	280	5587959808		6	1	17.9	27.5	233	122	22.2	14.1	21.3	8.34	5.75	14.2	51.1
Problem07_label10_true-unreach-call.c	timeout	913	866	5152473088						true	859	433	5445029888		1	19.8	.660	.001	267	47.4	348.957	timeout	911	846	5113237504		10.4	583	804	158	573	556	570	10.8	546	557	true	490	435	6241210368		10	1	32.9	46.4	373	149	38.4	27.5	36.4	8.30	19.2	27.6	114
Problem07_label12_true-unreach-call.c	timeout	913	854	6132908032						true	889	448	5444124672		1	19.4	.699	.00	266	63.5	363.708	timeout	912	832	5165223936		10.9	505	789	168	488	469	484	10.9	459	470	true	354	303	5604798464		6	1	20.4	33.5	253	123	27.1	19.6	25.5	6.21	13.4	19.7	48.6
Problem07_label13_true-unreach-call.c	timeout	914	867	5044183040		5	127	687	4.03	true	878	442	5465632768		1	19.1	.632	.006	263	62.7	358.174	timeout	913	836	5063380992		10.3	512	796	171	497	479	493	10.2	470	480	true	461	412	6241665024		10	1	33.3	46.5	350	145	38.7	28.1	36.7	8.61	19.5	28.3	98.5
Problem07_label14_true-unreach-call.c	timeout	909	858	5384695808		6	186	593	23.3	true	884	445	5437923328		1	18.9	.320	.00	263	56.0	362.898	timeout	910	852	4955119616		8.48	608	814	133	596	583	594	10.2	574	584	true	486	422	6236180480		10	1	38.1	48.6	355	154	40.4	28.8	38.3	12.1	16.7	29.0	94.1
Problem07_label16_true-unreach-call.c	timeout	913	865	5076398080						true	867	436	5432733696		1	18.2	.319	.001	265	55.6	352.454	timeout	914	843	5550608384		19.7	556	796	136	541	518	537	12.4	507	519	true	485	438	6121132032		10	1	33.1	44.4	376	149	36.9	27.0	34.9	9.90	17.1	27.2	121
Problem07_label17_true-unreach-call.c	timeout	913	861	5651177472						timeout	910	461	5433569280		1	19.0	.467	.001	271	58.4	369.442	timeout	913	845	5099573248												true	366	301	5494075392		6	1	17.0	37.8	255	128	31.6	22.3	29.9	10.5	11.8	22.3	40.6
Problem07_label21_true-unreach-call.c	timeout	909	863	4926545920		5	127	685	3.73	timeout	910	461	5419106304		1	19.5	.578	.00	275	47.8	370.732	timeout	913	843	4956999680												true	511	443	6265077760		10	1	34.8	50.5	378	153	41.2	29.7	39.1	10.5	19.2	30.0	110
Problem07_label22_true-unreach-call.c	timeout	913	850	6138081280						timeout	904	455	5543841792		1	20.8	.334	.001	278	32.7	369.696	timeout	913	837	4966273024												true	506	442	6309093376		10	1	38.0	51.3	376	156	42.2	30.2	39.9	11.2	18.9	30.4	107
Problem07_label24_true-unreach-call.c	timeout	910	857	5580574720		7	189	595	16.8	true	873	439	5446426624		1	19.3	.332	.00	267	50.0	356.679	timeout	913	841	5149503488												true	330	284	5481730048		6	1	17.7	29.1	238	124	22.9	15.5	21.3	7.12	8.38	15.6	40.9
Problem07_label25_true-unreach-call.c	timeout	913	853	6082134016						true	858	432	5435797504		1	18.6	.673	.00	270	39.5	348.123	timeout	913	837	5127974912		8.68	530	798	164	513	496	509	10.9	485	496	true	657	589	6374215680		10	1	37.1	41.6	522	154	33.0	22.4	30.9	11.4	11.1	22.7	265
Problem07_label26_true-unreach-call.c	timeout	913	852	6001623040						true	894	450	5452197888		1	18.8	.328	.00	272	62.7	364.556	timeout	909	835	5230039040		9.33	545	797	161	532	514	529	10.5	504	515	true	367	304	5542354944		6	1	17.5	32.8	257	120	26.7	17.6	24.9	8.75	8.82	17.7	52.2
Problem07_label27_true-unreach-call.c	timeout	911	862	5495668736		6	188	593	24.6	true	770	388	5420933120		1	20.6	.375	.00	246	52.1	305.873	timeout	912	850	4993589248		8.86	595	811	132	583	564	576	10.1	554	565	true	339	293	5495746560		6	1	20.7	29.3	245	119	23.6	15.7	22.1	7.13	8.54	15.8	45.8
Problem07_label28_true-unreach-call.c	timeout	918	865	5542547456		6	184	601	21.6	true	865	435	5410615296		1	18.4	.316	.001	259	62.5	351.581	timeout	914	847	5023617024		9.93	579	807	135	563	547	559	9.98	539	549	true	377	314	5563740160		6	1	18.5	37.3	266	126	27.6	18.1	26.0	8.79	9.26	18.1	55.6
Problem07_label29_true-unreach-call.c	timeout	913	869	4928917504						true	844	425	5409632256		1	19.0	.498	.00	266	35.0	340.486	timeout	920	850	5140529152		8.79	546	811	166	534	519	531	12.4	507	520	true	394	336	5554032640		6	1	18.7	27.2	288	120	21.1	12.3	19.5	7.51	4.77	12.4	89.7
Problem07_label32_true-unreach-call.c	timeout	914	865	5038821376		5	127	685	4.73	true	894	450	5440028672		1	19.6	.320	.00	273	42.6	368.109	timeout	914	838	5196750848		8.71	540	799	170	526	508	523	11.0	498	509	true	406	339	5592215552		6	1	16.8	31.0	292	127	24.6	14.8	22.9	8.74	6.05	14.9	86.0
Problem07_label33_true-unreach-call.c	timeout	914	852	6035578880		7	246	487	52.3	true	882	444	5449420800		1	17.7	.314	.00	269	61.3	358.583	timeout	911	842	4957618176		9.28	588	803	131	577	563	574	9.75	555	565	true	657	597	6619684864		15	1	62.1	44.2	503	181	33.5	20.3	30.8	11.5	8.74	20.6	207
Problem07_label34_true-unreach-call.c	timeout	917	853	6137708544		7	254	486	44.1	true	871	439	5420892160		1	18.6	.472	.00	270	54.9	356.553	timeout	909	842	4952506368		10.8	625	802	101	614	597	608	8.02	590	598	true	693	628	6653280256		15	1	59.8	55.7	537	179	49.1	36.4	47.8	12.0	24.4	36.7	254
Problem07_label38_true-unreach-call.c	timeout	913	860	5534601216						timeout	904	455	5411110912		1	19.3	.628	.001	283	32.9	371.588	timeout	916	842	5476814848		17.3	505	794	167	486	463	481	12.3	452	464	true	372	310	5606449152		6	1	19.5	36.4	261	123	30.4	22.1	28.7	7.40	14.7	22.2	47.6
Problem07_label41_true-unreach-call.c	timeout	913	850	6201290752		7	246	488	48.6	true	844	425	5402976256		1	18.7	.324	.00	266	44.4	341.066	timeout	912	847	4964786176												true	508	449	6148358144		10	1	43.6	43.6	376	146	36.8	27.4	35.7	10.8	16.6	27.7	143
Problem07_label43_true-unreach-call.c	timeout	908	858	5590331392		7	192	589	21.6	true	887	446	5458305024		1	18.5	.313	.00	265	59.7	364.488	timeout	913	857	4989976576												true	488	426	6234853376		10	1	31.3	48.3	366	157	40.1	28.5	37.9	11.6	16.9	28.7	101
Problem07_label45_true-unreach-call.c	timeout	912	852	5645758464		7	240	534	22.8	true	870	438	5448372224		1	19.1	.664	.00	264	52.0	352.152	timeout	913	848	5061926912												true	561	494	6266716160		10	1	32.8	50.2	430	156	42.3	30.3	40.3	11.0	19.4	30.4	165
Problem07_label49_true-unreach-call.c	timeout	917	866	5531934720		6	192	595	23.3	true	890	448	5437878272		1	19.6	.612	.00	273	44.6	362.409	timeout	913	842	5240999936												true	355	300	5537820672		6	1	19.6	31.1	251	123	24.8	16.0	23.1	7.62	8.38	16.1	49.3
Problem07_label50_true-unreach-call.c	timeout	913	868	5019594752						true	894	450	5438976000		1	19.8	.620	.00	269	37.4	364.784	timeout	911	837	5165785088		8.98	534	796	167	517	498	513	11.9	489	500	true	364	300	5543510016		6	1	18.1	32.8	253	123	26.3	17.7	24.6	8.91	8.81	17.8	44.6
Problem07_label51_true-unreach-call.c	timeout	913	867	4973219840						true	891	448	5459951616		1	19.0	.490	.001	263	64.5	363.590	timeout	907	834	5449809920		8.44	619	798	102	608	594	605	8.91	585	594	true	340	281	5505581056		6	1	16.7	33.4	236	120	24.2	16.1	22.6	8.00	8.10	16.2	34.9
Problem07_label52_true-unreach-call.c	timeout	913	866	4991406080						timeout	908	459	5437870080		1	19.8	.603	.00	267	57.4	370.603	timeout	913	845	4981313536												true	366	302	5580926976		6	1	19.3	33.4	254	122	26.8	17.7	25.1	8.87	8.81	17.8	45.1
Problem07_label53_true-unreach-call.c	timeout	913	854	6308347904						timeout	911	462	5441277952		1	19.6	.463	.001	276	41.0	372.086	timeout	912	839	5295546368		8.98	532	799	163	520	502	516	11.6	492	504	true	347	289	5485662208		6	1	17.4	30.5	244	127	24.5	15.7	22.9	7.41	8.30	15.8	39.2
Problem07_label54_true-unreach-call.c	timeout	910	859	5592788992		6	191	589	23.2	timeout	905	456	5433135104		1	18.8	.327	.00	275	44.3	0.005	timeout	913	850	4924751872												true	398	345	5582884864		6	1	19.1	27.0	297	126	21.1	12.3	19.4	7.08	5.21	12.4	95.9
Problem07_label55_true-unreach-call.c	timeout	913	862	5607071744						true	863	434	5445574656		1	19.1	.326	.00	263	53.4	351.348	timeout	912	837	5041369088		8.29	534	797	166	521	502	518	12.2	491	503	true	529	479	6111186944		10	1	31.5	33.8	418	151	25.6	15.7	23.5	9.20	6.44	15.8	173
Problem07_label56_true-unreach-call.c	timeout	913	868	5005541376						true	881	443	5448474624		1	17.9	.524	.00	265	63.6	360.382	timeout	911	842	5162012672		8.83	577	803	139	565	551	562	10.5	541	551	true	407	341	5614743552		6	1	17.9	30.3	294	128	24.2	14.8	22.6	8.93	5.86	14.9	86.9
Problem07_label57_true-unreach-call.c	timeout	913	852	6095265792						timeout	905	456	5432799232		1	19.6	.374	.001	263	64.9	372.432	timeout	912	839	5004451840		8.87	621	801	129	611	598	610	11.7	588	600	true	377	314	5582905344		6	1	19.1	30.9	265	124	23.9	14.8	22.0	8.90	5.92	14.9	57.9
Problem07_label59_true-unreach-call.c	timeout	913	868	4993552384						timeout	903	455	5367451648		1	19.9	.433	.001	286	6.97	373.873	timeout	916	835	5123985408		11.3	522	793	169	508	490	504	15.6	475	491	true	357	310	5600395264		6	1	27.4	34.5	254	115	27.1	19.6	25.5	6.12	13.5	19.8	53.3
Problem10_label00_true-unreach-call.c	timeout	907	890	5720895488		14	10.1	797	63.9	true	52.5	26.8	1185271808		1	2.93	1.14	.00	10.2	4.01	0.005	timeout	902	886	1056428032		4.84	871	876	3.62	870	869	870	10.3	858	869	timeout	905	893	962519040		5	0	3.51	6.41	885	2.47	6.18	5.44	6.10	5.00	.409	5.43	875
Problem10_label01_true-unreach-call.c	timeout	906	888	4828680192		12	10.2	816	46.7	true	55.1	28.0	1200939008		1	2.85	1.32	.00	10.9	4.76	6.385	timeout	902	885	1284046848		10.7	864	870	3.63	864	862	864	11.5	851	862	timeout	903	891	992018432		5	0	3.41	6.67	883	2.56	6.43	5.62	6.38	5.20	.413	5.65	872
Problem10_label02_true-unreach-call.c	timeout	906	889	4822925312		12	9.53	816	48.6	true	53.4	27.1	1168527360		1	2.87	1.11	.00	11.2	3.75	5.933	timeout	902	886	1005228032		5.09	871	877	3.15	871	870	871	9.17	860	870	timeout	902	891	923836416		5	0	3.66	5.55	883	2.43	5.38	4.74	5.36	4.33	.412	4.77	874
Problem10_label03_true-unreach-call.c	timeout	906	889	4813897728		12	8.87	819	47.0	true	51.7	26.3	1179422720		1	3.16	1.29	.00	10.4	3.21	5.577	true	50.0	36.6	823959552		2.97	23.8	29.3	2.80	23.5	22.3	23.5	8.03	14.2	22.3	true	324	313	952344576		6	1	3.07	6.44	306	2.71	6.28	5.18	6.26	4.75	.429	5.20	295
Problem10_label04_true-unreach-call.c	timeout	906	889	4821782528		12	9.49	817	47.4	true	51.9	26.4	1162850304		1	3.03	1.50	.00	10.5	3.14	5.717	true	53.7	39.4	829300736		3.44	26.3	31.6	3.23	25.9	24.6	25.8	7.95	16.6	24.5	true	651	639	975544320		6	1	3.72	7.00	631	2.50	6.76	6.04	6.70	5.61	.422	6.06	620
Problem10_label05_true-unreach-call.c	timeout	907	890	5221916672		13	9.91	806	55.6	true	50.2	25.5	1164591104		1	2.63	2.46	.00	10.5	3.10	5.931	true	52.1	38.3	751202304		1.13	26.7	32.8	3.49	26.4	25.4	26.3	6.51	18.8	25.3	timeout	903	893	758898688		3	0	1.52	3.78	888	1.66	3.60	3.20	3.57	2.93	.266	3.20	881
Problem10_label06_true-unreach-call.c	timeout	907	888	5208297472		13	10.4	804	55.6	true	51.7	26.2	1213292544		1	2.62	1.72	.005	10.3	3.58	5.717	true	60.3	47.0	786542592		3.37	34.9	39.5	2.55	34.6	33.3	34.5	8.08	25.2	33.2	true	317	307	954163200		6	1	3.04	5.79	300	2.78	5.60	5.01	5.56	4.58	.417	5.03	290
Problem10_label07_true-unreach-call.c	timeout	907	889	5735563264		14	10.2	796	63.9	true	52.7	26.8	1222787072		1	3.47	1.49	.00	10.2	3.37	0.008	true	67.9	55.0	995299328		3.88	41.5	46.9	2.94	41.1	39.7	41.1	9.80	29.9	39.7	true	143	134	961556480		6	1	2.99	6.70	127	2.77	6.49	5.80	6.45	5.37	.422	5.82	116
Problem10_label08_true-unreach-call.c	timeout	907	890	5716635648		14	9.79	797	63.1	true	50.1	25.5	1552183296		1	3.33	1.27	.001	9.19	3.34	0.006	true	43.8	30.7	749359104		.983	20.1	25.4	3.62	19.8	18.7	19.7	6.86	11.8	18.7	true	49.7	42.6	759054336		3	1	1.40	4.09	37.1	1.59	3.92	3.46	3.89	3.19	.274	3.48	30.7
Problem10_label09_true-unreach-call.c	timeout	906	890	5155532800		13	10.6	809	53.7	true	57.3	29.1	1164050432		1	2.77	1.86	.001	11.3	4.86	6.781	true	62.0	48.6	978489344		4.05	34.7	40.2	3.39	34.3	32.9	34.3	10.1	22.8	32.9	timeout	902	890	961818624		5	0	3.54	6.27	883	2.62	6.01	5.30	5.96	4.89	.409	5.32	873
Problem10_label10_true-unreach-call.c	timeout	907	890	5690159104		14	11.1	797	62.3	true	52.5	26.7	1136898048		1	3.07	1.28	.00	10.9	3.34	6.215	true	84.8	72.6	816398336		2.80	60.5	65.7	2.54	60.2	59.0	60.1	7.05	51.9	58.9	timeout	902	893	767442944		3	0	1.55	3.87	887	1.63	3.72	3.29	3.69	3.01	.283	3.30	881
Problem10_label11_true-unreach-call.c	timeout	907	890	5582983168		14	10.8	787	71.8	true	57.5	29.2	1187672064		1	3.27	1.53	.00	10.1	5.90	7.165	timeout	902	885	1310228480		17.4	858	864	2.75	857	855	857	11.2	844	855	timeout	902	888	1148194816		8	0	8.97	9.25	874	2.85	9.04	8.22	9.01	7.65	.566	8.32	861
Problem10_label13_true-unreach-call.c	timeout	906	888	5213786112		13	10.6	802	57.7	true	52.2	26.6	1173839872		1	3.44	1.19	.001	9.59	3.81	6.134	timeout	902	885	1309806592		19.4	855	861	3.49	854	852	854	11.6	841	852	timeout	902	892	780316672		3	0	1.56	4.31	887	1.63	4.14	3.60	4.10	3.29	.285	3.59	880
Problem10_label14_true-unreach-call.c	timeout	906	889	4805816320		12	9.97	814	49.3	true	53.6	27.3	1130840064		1	3.25	1.12	.00	10.7	3.11	6.292	timeout	902	887	870952960		3.75	874	879	2.50	874	873	874	7.55	866	873	timeout	902	888	1159536640		8	0	8.08	8.74	876	3.13	8.54	7.79	8.51	7.24	.547	7.93	862
Problem10_label16_true-unreach-call.c	timeout	905	888	4455555072		11	9.09	824	41.5	true	51.5	26.1	1144631296		1	3.34	1.05	.00	10.3	3.14	5.422	timeout	902	885	1035378688		5.24	870	876	3.12	869	867	869	9.06	859	868	timeout	905	892	1108148224		8	0	7.31	8.24	880	3.00	7.99	7.06	7.89	6.48	.572	7.13	867
Problem10_label17_true-unreach-call.c	timeout	907	890	5633081344		14	10.2	793	65.6	true	49.9	25.3	1152425984		1	3.07	1.56	.00	9.19	3.33	6.125	timeout	903	886	1042395136		5.52	872	877	2.96	871	870	871	9.62	860	870	timeout	903	889	1365606400		13	0	14.7	10.5	870	3.66	10.3	9.25	10.2	8.53	.704	9.39	854
Problem10_label18_true-unreach-call.c	timeout	906	889	5218131968		13	9.67	806	56.5	true	51.4	26.1	1221328896		1	3.29	1.44	.00	9.74	3.77	5.774	true	301	285	1072955392		5.38	269	275	3.77	269	267	269	10.9	256	267	timeout	903	889	1148379136		9	0	7.80	8.66	877	3.46	8.43	7.49	8.39	6.92	.559	7.55	863
Problem10_label19_true-unreach-call.c	timeout	907	891	5721268224		14	10.7	799	62.1	true	52.7	26.8	1190694912		1	3.67	1.06	.00	9.84	4.17	0.015	true	34.8	22.9	753913856		1.40	12.5	17.4	3.01	12.3	11.4	12.2	5.47	5.93	11.4	true	476	468	743268352		3	1	1.06	3.72	463	2.00	3.59	3.14	3.56	2.85	.282	3.15	457
Problem10_label20_true-unreach-call.c	timeout	907	890	5218889728		13	10.1	809	54.2	true	51.9	26.4	1185308672		1	3.27	1.36	.00	10.1	3.41	0.005	true	38.7	26.4	704634880		1.36	16.3	20.9	2.88	16.0	15.1	15.9	6.08	8.94	15.0	timeout	903	892	938815488		5	0	2.98	5.83	885	2.50	5.63	4.94	5.54	4.52	.421	4.97	875
Problem10_label21_true-unreach-call.c	timeout	906	889	5718618112		14	9.44	797	64.2	true	50.8	25.9	1203589120		1	3.65	1.22	.00	9.05	4.21	6.085	true	35.6	23.5	752943104		1.41	13.6	17.8	2.74	13.3	12.5	13.2	5.88	6.60	12.5	true	465	457	742477824		3	1	1.03	3.69	452	2.01	3.55	3.14	3.51	2.86	.279	3.15	445
Problem10_label22_true-unreach-call.c	timeout	905	888	4443119616		11	9.04	826	40.0	true	52.0	26.5	1153208320		1	3.57	1.22	.00	9.50	3.44	0.023	true	49.5	36.3	750735360		1.08	25.9	31.1	2.94	25.6	24.7	25.5	7.47	17.1	24.6	true	466	457	747147264		3	1	1.08	3.91	452	1.93	3.73	3.30	3.68	3.02	.277	3.31	446
Problem10_label23_true-unreach-call.c	timeout	906	890	5214400512		13	9.47	802	60.0	true	58.1	29.4	1158402048		1	3.46	1.10	.00	9.16	7.30	7.315	timeout	902	886	1044557824		8.00	869	874	2.72	868	867	868	9.26	857	867	timeout	902	891	927887360		5	0	3.75	5.96	883	2.38	5.75	5.12	5.71	4.69	.418	5.14	874
Problem10_label25_true-unreach-call.c	timeout	907	890	5204049920		13	10.5	803	58.9	true	54.7	27.8	1578516480		1	2.83	1.65	.003	10.3	5.29	6.869	timeout	903	886	1054400512		8.07	869	874	2.91	868	867	868	9.29	857	867	timeout	903	892	951873536		6	0	4.00	5.65	884	2.36	5.46	4.80	5.42	4.38	.414	4.82	874
Problem10_label27_true-unreach-call.c	timeout	907	890	5217030144		13	9.42	801	61.4	true	52.9	26.8	1208668160		1	2.86	1.20	.00	9.84	4.83	6.172	timeout	902	884	1073528832		9.31	864	870	3.42	864	862	864	13.1	849	862	timeout	902	892	754606080		3	0	1.46	4.16	887	1.69	4.01	3.59	3.98	3.31	.280	3.60	880
Problem10_label30_true-unreach-call.c	timeout	907	890	5722222592		14	9.58	794	65.5	true	52.0	26.4	1169301504		1	3.50	1.89	.00	9.49	2.98	5.859	timeout	902	886	1005375488		9.93	866	871	2.66	866	864	866	9.01	855	864	timeout	903	888	1380507648		10	0	21.5	9.22	863	3.43	9.01	7.53	8.93	7.08	.559	8.24	848
Problem10_label31_true-unreach-call.c	timeout	906	889	5197987840		13	9.56	808	55.4	true	50.9	25.9	1172885504		1	3.43	.935	.001	9.61	2.96	5.928	true	41.3	28.5	762593280		1.04	18.1	23.3	3.44	17.8	16.9	17.8	6.54	10.3	16.9	true	555	545	937922560		6	1	3.07	6.90	537	2.14	6.71	6.02	6.68	5.61	.410	6.04	527
Problem10_label32_true-unreach-call.c	timeout	908	891	5632942080		14	9.75	796	65.5	true	51.1	26.0	1132838912		1	3.10	1.03	.00	10.1	3.24	5.994	true	41.3	28.6	746409984		1.36	18.1	23.1	3.20	17.8	16.9	17.7	7.19	9.59	16.8	true	736	725	930271232		6	1	3.07	6.67	718	2.51	6.11	5.36	6.03	4.93	.423	5.38	707
Problem10_label33_true-unreach-call.c	timeout	908	892	5626449920		14	10.4	796	65.3	true	48.6	24.8	1203130368		1	3.44	1.12	.00	9.20	3.02	5.743	true	36.0	24.0	726650880		1.04	13.6	18.4	2.79	13.2	12.4	13.1	5.44	6.94	12.4	true	485	477	777461760		3	1	1.17	3.98	471	2.19	3.84	3.37	3.78	3.07	.286	3.37	464
Problem10_label34_true-unreach-call.c	timeout	907	890	5201764352		13	10.4	805	57.2	true	52.8	26.9	1212923904		1	4.02	2.14	.00	8.80	2.48	0.012	true	36.2	23.2	713818112		1.14	13.0	17.9	2.64	12.7	11.9	12.6	5.90	5.94	11.8	true	444	435	761008128		3	1	2.00	3.80	429	1.66	3.67	3.18	3.64	2.90	.269	3.18	423
Problem10_label35_true-unreach-call.c	timeout	906	890	4755996672		12	9.52	818	46.7	true	51.5	26.1	1190543360		1	3.33	1.86	.00	9.55	3.36	5.915	true	58.7	45.5	823611392		2.89	32.6	38.5	2.91	32.3	31.1	32.2	8.08	22.9	31.0	timeout	902	889	971100160		5	0	3.56	7.26	882	2.60	7.09	6.34	7.05	5.91	.419	6.35	871
Problem10_label36_true-unreach-call.c	timeout	906	890	5207998464		14	10.3	795	65.0	true	54.9	27.9	1191972864		1	3.63	1.01	.001	9.96	4.77	6.278	true	42.3	29.0	744767488		1.03	18.4	23.7	3.50	18.1	17.2	18.1	6.84	10.3	17.1	true	459	451	743444480		3	1	1.09	4.28	445	1.59	4.15	3.31	4.13	3.02	.278	3.32	439
Problem10_label37_true-unreach-call.c	timeout	907	890	5635280896		14	10.8	796	64.6	true	51.2	26.0	1144946688		1	3.21	1.43	.00	9.48	3.66	0.006	true	44.7	31.7	753725440		.961	21.6	26.5	3.11	20.8	19.9	20.7	6.67	13.1	19.8	true	476	468	752738304		3	1	1.52	3.96	462	1.66	3.81	3.34	3.78	3.05	.285	3.35	456
Problem10_label38_true-unreach-call.c	timeout	907	889	5250662400		13	10.8	806	55.7	true	51.3	26.1	1193046016		1	3.53	1.08	.00	9.78	3.57	5.537	true	46.3	33.4	725876736		1.05	22.8	27.9	3.44	22.5	21.4	22.4	6.46	14.9	21.4	true	820	808	929038336		6	1	3.01	5.98	801	3.02	5.75	5.11	5.70	4.69	.423	5.14	791
Problem10_label39_true-unreach-call.c	timeout	907	891	5246930944		13	10.1	777	85.6	true	75.6	38.2	1472053248		1	2.99	1.88	.001	9.97	15.5	14.511	timeout	902	886	1071255552		9.23	867	872	2.73	867	865	867	10.3	855	865	timeout	902	895	692772864		1	0	.037	2.46	891	.869	1.85	1.62	1.84	1.49	.136	1.62	887
Problem10_label40_true-unreach-call.c	timeout	906	888	4851453952		12	9.66	801	62.2	true	59.9	30.4	1165279232		1	3.46	1.03	.001	10.1	7.43	0.007	timeout	902	884	1093595136		8.81	865	871	3.08	865	863	864	10.0	853	863	timeout	902	894	708927488		1	0	.417	2.13	890	1.02	2.03	1.76	2.01	1.61	.140	1.75	886
Problem10_label43_true-unreach-call.c	timeout	907	889	5196574720		13	9.84	807	55.9	true	50.4	25.6	1159880704		1	3.28	1.45	.001	9.80	2.90	0.017	true	584	569	938561536		3.70	556	561	2.97	556	554	556	9.33	545	554	timeout	902	894	711847936		1	0	.081	2.45	890	.866	1.90	1.68	1.88	1.54	.131	1.67	886
Problem10_label44_true-unreach-call.c	timeout	907	890	5714571264		14	10.5	797	63.2	true	51.8	26.4	1146765312		1	3.39	1.02	.00	10.2	3.29	0.014	timeout	902	885	1061257216		7.71	867	873	3.31	867	865	867	8.78	856	865	timeout	902	894	698200064		1	0	.496	2.28	890	1.07	2.15	1.87	2.12	1.73	.142	1.87	886
Problem10_label45_true-unreach-call.c	timeout	906	889	4833812480		12	9.59	818	46.3	true	51.0	25.9	1192931328		1	3.07	1.11	.001	10.4	3.30	5.562	timeout	902	885	991784960		6.60	869	874	2.84	868	867	868	9.39	858	867	timeout	902	894	704598016		1	0	.086	2.56	890	.868	2.43	2.16	2.41	1.56	.137	1.70	886
Problem10_label49_true-unreach-call.c	timeout	907	890	4822151168		13	10.0	817	46.0	true	56.7	28.8	1148813312		1	3.92	1.01	.001	10.7	4.52	7.059	true	653	637	946176000		3.47	624	630	3.16	624	622	623	8.61	613	622	timeout	902	895	694202368		1	0	.037	2.00	891	.893	1.88	1.64	1.86	1.49	.138	1.63	887
Problem10_label51_true-unreach-call.c	timeout	906	889	5178077184		13	9.99	807	55.6	true	51.6	26.2	1173811200		1	2.73	1.36	.00	10.2	3.57	5.528	true	42.5	28.1	749154304		1.13	16.8	22.5	3.73	16.5	15.4	16.4	6.86	8.44	15.3	timeout	902	894	729882624		1	0	.439	1.97	890	.984	1.85	1.57	1.83	1.44	.132	1.57	886
Problem10_label52_true-unreach-call.c	timeout	905	888	4767531008		12	9.59	815	48.1	true	53.3	27.1	1146138624		1	3.01	1.93	.00	9.66	4.10	0.005	true	45.4	32.6	742694912		1.06	21.7	27.3	3.13	21.4	20.4	21.4	5.99	14.4	20.4	timeout	902	894	705773568		1	0	.049	2.66	890	.954	2.52	2.23	2.51	2.09	.138	2.23	886
Problem10_label53_true-unreach-call.c	timeout	907	890	5220614144		13	9.63	807	56.3	true	52.7	26.8	1193648128		1	3.48	1.49	.00	10.2	3.00	0.005	true	64.7	51.4	835305472		2.99	38.7	44.3	2.86	38.4	37.1	38.3	8.32	28.8	37.1	timeout	902	894	703598592		1	0	.078	2.17	890	.923	2.08	1.84	2.06	1.69	.147	1.84	886
Problem10_label54_true-unreach-call.c	timeout	907	890	5194747904		13	9.93	807	55.9	true	52.3	26.6	1590624256		1	2.71	1.77	.013	10.6	3.36	0.006	true	45.7	32.1	748888064		1.15	21.2	26.6	3.59	20.9	19.9	20.9	6.88	13.0	19.8	timeout	902	894	710217728		1	0	.497	2.15	890	1.14	2.02	1.80	2.00	1.66	.135	1.79	886
Problem10_label59_true-unreach-call.c	timeout	906	888	4398526464		11	9.05	576	291	true	196	98.8	3103232000		2	6.30	4.79	.081	11.5	66.6	67.781	timeout	902	886	1109827584		12.7	864	869	2.77	864	862	864	8.07	854	862	timeout	903	887	1609781248		11	0	33.1	9.29	849	3.24	9.10	8.00	9.06	7.36	.637	8.92	835
Problem11_label01_true-unreach-call.c	timeout	905	885	6221914112		9	13.0	592	258	true	624	313	4456763392		1	4.24	2.32	.063	13.9	280	271.110	timeout	903	883	1457246208		12.0	860	866	3.22	859	857	859	28.5	829	858	timeout	903	885	1885376512		5	0	12.0	16.4	866	4.97	16.1	14.6	16.0	14.3	.263	14.6	843
Problem11_label03_true-unreach-call.c	timeout	906	887	4399923200		7	11.3	217	647	true	278	140	4215971840		1	3.98	1.85	.00	13.0	108	105.712	timeout	903	883	1496997888		11.9	856	865	5.39	855	853	855	14.3	840	854	timeout	903	884	1865158656		5	0	12.8	15.9	866	4.42	15.5	14.0	15.4	13.7	.247	14.0	843
Problem11_label04_true-unreach-call.c	timeout	907	889	6194520064		8	11.0	591	271	true	262	132	4127023104		1	3.97	2.11	.00	13.7	100	97.604	timeout	902	883	1496543232		14.6	854	863	4.88	854	852	854	35.3	817	852	timeout	903	888	1380999168		2	0	3.78	11.8	878	3.91	11.5	10.4	11.4	10.2	.181	10.4	861
Problem11_label07_true-unreach-call.c	timeout	910	891	8579874816		10	13.5	722	131	true	143	72.1	3349934080		2	5.62	11.5	.147	16.7	25.0	0.006	timeout	903	882	1474445312		11.2	857	865	4.81	857	855	857	19.7	835	855	timeout	903	885	1402748928		2	0	3.41	12.0	875	4.53	11.6	10.5	11.5	10.3	.173	10.5	857
Problem11_label10_true-unreach-call.c	timeout	907	885	7034556416		10	14.5	598	251	true	298	149	5080879104		2	6.29	11.0	.158	17.2	100	0.011	timeout	903	881	1522057216		12.4	854	863	6.05	853	851	853	14.0	838	852	timeout	903	889	1393479680		2	0	3.21	11.4	880	3.06	11.2	10.0	11.1	9.84	.175	10.0	864
Problem11_label12_true-unreach-call.c	timeout	909	888	7017582592		9	13.1	768	84.8	true	134	67.4	3340398592		2	5.09	10.3	.123	14.0	26.7	0.006	timeout	903	884	1448812544		11.0	861	867	3.08	861	859	861	32.7	826	859	timeout	903	886	1422659584		3	0	3.30	12.1	876	3.79	11.8	10.7	11.7	10.5	.172	10.7	859
Problem11_label13_true-unreach-call.c	timeout	907	888	6197739520		8	12.2	782	75.6	true	83.9	42.4	1616625664		1	4.05	2.56	.00	14.0	8.03	10.919	timeout	903	881	1624002560		11.4	854	864	5.37	854	851	854	19.3	832	852	timeout	905	889	1430478848		2	0	3.73	11.5	879	3.59	11.2	9.95	11.2	9.77	.176	9.96	862
Problem11_label16_true-unreach-call.c	timeout	908	887	7020924928		9	13.0	752	102	true	121	61.2	2143387648		1	4.55	2.37	.00	13.9	29.5	0.004	timeout	902	885	1439182848		15.2	858	864	3.49	857	855	857	11.2	845	856	timeout	904	888	1420259328		2	0	3.84	10.8	878	4.35	10.5	9.46	10.4	9.28	.173	9.47	861
Problem11_label17_true-unreach-call.c	timeout	909	890	8572403712		10	13.4	728	125	true	154	77.6	3426103296		2	6.21	10.2	.127	16.1	32.9	0.006	timeout	903	882	1442820096		12.0	856	864	4.44	855	854	855	14.2	840	854	timeout	906	893	1398501376		2	0	3.95	10.1	884	3.21	9.87	8.93	9.83	8.77	.161	8.94	869
Problem11_label18_true-unreach-call.c	timeout	908	887	6180061184		8	12.9	796	60.8	true	86.0	43.4	1809670144		1	2.95	2.78	.00	13.2	12.3	14.555	timeout	903	880	1538093056		12.1	853	862	5.23	852	850	852	18.4	832	850	timeout	903	884	1883185152		5	0	13.6	16.2	864	4.90	15.9	14.4	15.8	14.1	.264	14.4	841
Problem11_label21_true-unreach-call.c	timeout	907	888	6144339968		8	12.1	776	84.2	true	139	70.1	2374987776		1	3.62	3.21	.001	13.8	39.4	0.007	timeout	902	881	1504391168		13.2	852	861	5.64	852	849	852	16.8	833	850	timeout	902	886	1389707264		3	0	3.64	11.0	876	4.04	10.7	9.57	10.7	9.36	.170	9.54	859
Problem11_label23_true-unreach-call.c	timeout	907	889	6156902400		8	11.6	622	239	true	293	147	3694419968		1	4.04	1.67	.00	16.2	113	109.845	timeout	902	882	1539547136		14.7	855	862	4.22	855	853	854	16.6	836	853	timeout	904	888	2349424640		7	0	37.1	20.5	845	4.72	20.2	18.4	20.2	18.0	.342	18.5	818
Problem11_label26_true-unreach-call.c	timeout	908	887	7017918464		9	13.2	558	294	true	883	442	6349647872		3	7.26	26.7	1.67	16.9	376	393.594	timeout	902	886	1422716928		12.8	861	867	3.74	861	859	861	12.8	847	860	timeout	903	884	1896996864		5	0	12.6	15.3	865	4.93	15.0	13.5	14.9	13.2	.240	13.5	842
Problem11_label27_true-unreach-call.c	timeout	907	886	6177722368		8	12.5	790	66.2	true	85.0	43.0	1777000448		1	4.14	2.29	.00	13.7	11.4	12.308	timeout	903	880	1516449792		11.1	853	863	5.90	852	850	852	13.1	837	851	timeout	904	889	1374302208		3	0	3.28	10.4	879	4.51	10.1	9.11	10.1	8.94	.174	9.12	862
Problem11_label30_true-unreach-call.c	timeout	910	892	7029100544		9	12.1	711	148	true	289	145	4780539904		2	5.34	13.4	.134	16.6	96.0	0.006	timeout	903	884	1494462464		13.6	856	865	4.72	856	854	856	16.9	837	854	timeout	903	889	1361068032		2	0	3.68	10.9	879	3.36	10.6	9.57	10.6	9.40	.171	9.59	864
Problem11_label32_true-unreach-call.c	timeout	906	886	5620711424		7	11.3	802	58.7	true	89.5	45.2	1817505792		1	3.85	3.07	.001	15.0	11.6	13.475	timeout	902	882	1522229248		10.5	858	866	5.02	857	855	857	28.7	827	855	timeout	905	892	1382629376		3	0	3.29	10.4	883	3.95	10.1	9.04	10.1	8.87	.163	9.05	868
Problem11_label33_true-unreach-call.c	timeout	908	888	7092146176		9	13.4	757	95.2	true	98.6	49.7	1836609536		1	4.35	2.17	.00	14.9	14.6	15.610	timeout	903	882	1457905664		13.1	855	863	3.95	855	853	855	14.1	839	853	timeout	903	887	1356570624		2	0	3.81	11.6	877	3.65	11.2	10.1	11.1	9.88	.177	10.1	860
Problem11_label37_true-unreach-call.c	timeout	908	887	7060873216		9	13.2	729	123	true	80.6	40.8	1807917056		1	4.17	3.42	.00	11.8	10.2	0.006	timeout	903	881	1480724480		11.4	853	862	6.10	852	850	852	15.6	834	850	timeout	903	886	1415417856		2	0	3.45	12.1	876	3.86	11.8	10.8	11.7	10.6	.171	10.8	858
Problem11_label38_true-unreach-call.c	timeout	911	889	8395608064		10	13.9	728	126	true	88.3	44.5	1794433024		1	4.18	3.20	.00	13.9	12.0	0.006	timeout	902	882	1492332544		13.0	856	863	4.23	856	854	856	14.5	840	854	timeout	903	886	1846657024		6	0	11.9	16.2	868	4.45	15.8	14.3	15.8	14.1	.251	14.4	845
Problem11_label53_true-unreach-call.c	timeout	910	891	8623333376		10	13.1	725	129	true	128	64.4	2141376512		1	5.05	1.69	.00	15.4	29.6	29.548	timeout	902	883	1434791936		11.9	858	865	4.03	858	856	858	13.2	843	856	timeout	905	886	1867968512		5	0	12.3	15.8	867	4.62	15.5	14.0	15.4	13.7	.257	14.0	845
Problem11_label59_true-unreach-call.c	timeout	904	885	4440150016		7	11.0	121	738	true	510	255	4382093312		1	4.63	2.94	.00	14.2	220	213.117	timeout	903	881	1521479680		16.3	848	857	5.05	848	846	848	33.4	813	846	timeout	903	888	1361436672		2	0	3.77	11.3	878	4.00	11.0	9.97	11.0	9.80	.176	9.99	861
Problem12_label04_true-unreach-call.c	timeout	912	882	9497030656		5	21.3	545	295	true	788	394	9042178048		2	13.3	14.4	.093	25.7	318	337.432	timeout	904	864	4485545984		32.3	801	820	11.2	800	794	800	43.5	752	795	timeout	906	874	4221403136		2	0	9.56	38.9	852	10.7	38.4	34.5	38.3	26.9	7.54	34.5	798
Problem12_label12_true-unreach-call.c	timeout	913	885	13330042880						true	297	149	6078881792		1	8.34	1.32	.012	21.5	94.7	104.039	timeout	904	872	4458307584		31.5	810	829	10.5	810	803	809	42.0	763	805	timeout	906	874	4235853824		2	0	9.62	40.1	854	10.5	39.7	35.7	39.5	28.4	7.27	35.7	799
Problem12_label15_true-unreach-call.c	timeout	913	884	13295583232						true	267	134	6087671808		1	8.38	1.44	.00	21.0	79.9	0.006	timeout	904	870	3578949632		10.1	832	849	10.6	832	827	832	32.8	796	829	timeout	906	871	4224892928		2	0	9.80	39.6	850	9.60	39.1	35.3	39.1	28.4	6.93	35.3	796
Problem12_label16_true-unreach-call.c	out of memory	833	804	14999998464						true	224	112	6014263296		1	8.77	1.33	.00	20.9	58.3	0.003	timeout	905	867	4504989696		32.0	800	823	13.6	799	791	799	66.0	727	793	timeout	906	867	4242554880		2	0	9.52	40.9	846	11.8	39.8	36.0	39.7	29.0	7.02	36.0	789
Problem12_label18_true-unreach-call.c	timeout	913	884	13308637184						true	810	406	6415982592		1	8.14	1.38	.00	22.2	350	344.495	timeout	904	869	3592368128		10.3	831	847	10.2	830	825	830	34.0	793	827	timeout	906	869	4223619072		2	0	10.2	41.8	847	9.71	41.2	37.3	41.1	30.1	7.25	37.3	791
Problem12_label22_true-unreach-call.c	timeout	913	885	13330771968						true	177	89.2	5432504320		1	7.49	1.47	.00	20.3	36.0	0.010	timeout	904	864	4429488128		32.2	801	820	11.4	800	794	800	76.2	719	795	timeout	906	874	4219043840		2	0	9.42	37.7	852	10.9	37.1	33.5	37.0	26.5	7.04	33.5	799
Problem12_label23_true-unreach-call.c	timeout	912	882	9519669248		5	20.5	630	211	true	423	212	6063316992		1	6.81	1.16	.001	20.3	159	166.198	timeout	904	864	4481826816		37.0	793	815	13.6	792	783	791	61.7	723	785	timeout	906	876	4202606592		2	0	10.1	38.2	854	9.50	37.6	34.0	37.5	26.9	7.14	34.0	802
Problem12_label26_true-unreach-call.c	timeout	913	887	13336981504						true	555	278	6242295808		1	8.36	.887	.00	20.9	224	227.540	timeout	905	869	4401586176		32.4	809	825	10.2	808	801	808	40.1	763	803	timeout	906	872	4211335168		2	0	9.40	39.9	850	11.1	39.4	35.5	39.3	28.6	6.88	35.5	795
Problem12_label29_true-unreach-call.c	timeout	910	879	13600468992		7	26.5	569	256	true	424	213	6082068480		1	7.32	1.65	.00	22.1	158	165.343	timeout	905	870	4407943168		34.3	807	824	10.8	805	798	805	59.9	740	800	timeout	906	874	4216176640		2	0	9.99	38.4	854	10.4	38.0	34.3	37.9	27.4	6.94	34.3	800
Problem12_label31_true-unreach-call.c	timeout	913	884	13359849472						true	436	219	6101864448		1	7.34	1.44	.00	20.5	163	169.735	timeout	904	868	4514451456		38.6	799	819	11.8	798	791	797	58.9	734	793	timeout	906	868	4230594560		2	0	9.25	39.8	847	11.6	39.3	35.5	39.1	28.8	6.73	35.5	790
Problem12_label32_true-unreach-call.c	timeout	913	886	13290217472						true	653	327	6314008576		1	8.66	1.13	.00	22.3	272	272.013	timeout	904	859	4476469248		31.9	798	817	11.0	797	791	797	44.8	748	792	timeout	906	872	4205969408		2	0	9.94	39.8	851	10.3	39.3	35.6	39.1	28.4	7.16	35.6	797
Problem12_label43_true-unreach-call.c	timeout	913	885	13276155904		6	23.9	792	43.9	true	167	84.3	5374967808		1	7.28	1.22	.001	21.1	29.6	0.005	timeout	905	864	4430864384		34.7	799	818	11.0	798	793	798	32.6	762	795	timeout	904	879	2487767040		1	0	.181	7.90	867	6.58	7.54	6.62	7.46	5.71	.906	6.62	850
Problem12_label45_true-unreach-call.c	out of memory	872	845	14999998464						timeout	904	453	6576029696		1	8.23	1.06	.001	20.7	398	0.004	timeout	905	864	4499009536		40.3	792	811	11.1	791	786	791	30.7	757	788	timeout	905	871	2456875008		1	0	.160	11.3	859	7.48	10.4	9.32	10.2	8.25	1.06	9.32	837
Problem12_label46_true-unreach-call.c	timeout	913	884	13304053760						true	163	82.1	5332033536		1	7.70	1.06	.00	20.4	28.0	0.005	timeout	905	871	4508090368		35.5	803	824	13.4	802	795	801	43.8	753	797	timeout	904	877	2484932608		1	0	.147	7.36	865	8.14	7.04	6.03	6.90	5.11	.918	6.03	846
Problem12_label47_true-unreach-call.c	timeout	913	884	13334024192						true	170	85.5	5961633792		1	7.45	1.34	.00	19.8	32.5	0.005	timeout	905	865	3580129280		11.3	825	843	12.0	824	821	824	14.8	808	823	timeout	904	876	2485202944		1	0	.751	8.07	864	7.40	7.64	6.78	7.56	5.86	.923	6.78	845
Problem12_label49_true-unreach-call.c	out of memory	814	787	14999998464						true	252	126	6051491840		1	8.39	1.30	.00	21.3	71.2	80.881	timeout	905	864	3605553152		11.2	821	841	12.5	821	818	820	14.1	805	819	timeout	904	878	2480414720		1	0	.189	7.65	866	7.20	7.20	6.30	7.14	5.36	.935	6.30	848
Problem12_label53_true-unreach-call.c	timeout	913	883	13299458048						true	164	82.5	5680836608		1	8.27	2.51	.00	19.6	29.5	42.706	timeout	905	863	4496703488		38.8	790	812	13.1	789	782	788	42.5	741	784	timeout	906	869	4213850112		2	0	12.0	27.5	847	10.1	27.0	24.3	26.8	19.9	4.38	24.3	804
Problem12_label54_true-unreach-call.c	out of memory	750	721	14999998464						true	174	87.3	5469724672		1	8.71	1.35	.00	19.5	35.5	0.005	timeout	905	867	4530786304		38.1	800	819	10.6	799	794	799	29.1	767	796	timeout	905	871	2457370624		1	0	.751	10.7	860	7.49	10.3	9.30	10.2	8.20	1.10	9.30	838
Problem12_label56_true-unreach-call.c	timeout	913	885	13301129216						true	163	82.1	4886597632		1	8.61	2.28	.00	21.1	24.2	0.014	timeout	905	861	3587866624		11.9	817	837	13.3	816	813	816	16.3	798	815	timeout	904	877	2492997632		1	0	.154	7.48	865	7.69	7.17	6.28	7.12	5.33	.945	6.28	846
Problem12_label57_true-unreach-call.c	timeout	913	886	13249384448						true	197	99.1	6044594176		1	6.82	1.31	.001	19.3	44.5	0.003	timeout	904	869	4440604672		36.2	801	821	12.4	800	793	799	40.0	755	795	timeout	904	878	2424565760		1	0	.744	7.77	866	6.62	7.40	6.55	7.33	5.57	.974	6.54	849
Problem12_label58_true-unreach-call.c	timeout	913	885	13341122560						true	154	77.3	4938682368		1	7.47	1.53	.00	20.1	24.4	0.007	timeout	905	870	3586244608		11.7	828	846	11.7	828	824	827	15.3	811	826	timeout	906	869	4285698048		2	0	12.4	27.8	846	10.8	27.3	24.6	27.1	20.3	4.39	24.7	803
Problem13_label05_true-unreach-call.c	timeout	913	885	12860768256						true	831	416	7267721216		1	6.34	.661	.00	24.9	356	356.761	timeout	905	865	4576276480		17.5	814	835	13.2	813	806	812	42.4	766	809	timeout	905	871	3895451648		1	0	.089	39.6	858	8.43	39.2	36.0	39.1	22.9	13.2	36.0	807
Problem14_label00_true-unreach-call.c	timeout	907	889	5696888832		13	11.9	812	46.5	true	57.7	29.4	1205919744		1	3.48	.167	.001	11.1	5.37	7.419	timeout	902	883	1953243136		16.2	854	862	4.47	854	850	853	22.4	828	850	timeout	904	893	894255104		2	0	1.74	3.74	887	1.81	3.55	3.10	3.53	2.62	.477	3.10	881
Problem14_label01_true-unreach-call.c	timeout	906	887	4660539392		11	9.78	833	31.3	true	59.4	30.1	1222000640		1	3.93	.153	.013	11.6	4.55	6.851	timeout	903	886	1252089856		4.77	870	877	3.50	870	868	870	11.6	856	868	timeout	903	886	1315307520		7	0	7.26	8.37	874	3.18	8.08	7.03	8.00	6.05	.966	7.05	861
Problem14_label03_true-unreach-call.c	timeout	906	889	5116153856		12	10.6	704	155	true	116	58.3	2115805184		1	3.74	.030	.016	11.3	34.1	0.006	timeout	902	884	1969938432		15.6	855	863	4.92	855	851	855	17.9	833	851	timeout	903	892	855461888		2	0	1.67	4.97	886	1.81	4.83	4.16	4.78	3.21	.938	4.16	878
Problem14_label04_true-unreach-call.c	timeout	906	889	5164371968		12	10.3	608	254	true	426	213	4378411008		2	4.66	.548	.00	12.4	186	175.215	timeout	902	883	1853476864		38.8	831	840	4.79	830	826	830	20.7	806	826	timeout	903	887	1581223936		15	0	19.9	9.72	862	3.42	9.52	8.28	9.47	6.42	1.85	8.39	847
Problem14_label05_true-unreach-call.c	timeout	906	889	4625846272		11	10.1	833	32.4	true	56.1	28.4	1197662208		1	3.87	.064	.00	11.7	3.61	6.320	timeout	902	883	1492713472		10.6	860	868	4.25	860	856	860	18.3	838	857	timeout	903	891	870989824		3	0	1.65	4.23	885	2.07	4.07	3.62	4.04	3.14	.474	3.62	877
Problem14_label06_true-unreach-call.c	timeout	907	889	5641707520		13	11.8	817	43.2	true	58.6	29.7	1193148416		1	4.21	.128	.017	10.7	4.48	6.999	timeout	902	886	1126785024		7.17	869	874	2.64	869	867	869	8.96	859	868	timeout	903	887	1322426368		7	0	7.55	8.23	875	3.20	8.02	6.96	7.98	6.01	.938	6.98	862
Problem14_label07_true-unreach-call.c	timeout	906	888	5122641920		12	10.9	781	80.3	true	120	60.7	2200010752		1	3.71	.070	.00	11.3	36.1	0.013	timeout	902	886	1906438144		15.7	859	866	4.09	858	854	858	20.0	834	854	timeout	904	891	1068355584		6	0	4.81	5.85	881	2.82	5.63	4.77	5.59	3.45	1.31	4.79	872
Problem14_label09_true-unreach-call.c	timeout	906	889	5164875776		12	11.0	655	206	true	190	95.7	3360059392		2	5.06	.550	.00	12.3	68.9	64.353	timeout	902	882	2733268992		130	735	747	6.58	734	725	733	48.9	676	724	timeout	903	885	1860239360		20	0	35.9	11.9	844	3.97	11.6	10.1	11.5	7.75	2.35	10.3	827
Problem14_label15_true-unreach-call.c	timeout	906	888	5103415296		12	11.0	822	39.1	true	51.8	26.3	1199423488		1	3.72	.037	.00	9.83	3.72	6.264	timeout	902	882	2199621632		29.6	839	848	4.98	838	832	838	30.7	802	832	timeout	902	885	1883656192		21	0	18.2	11.8	862	3.53	11.6	10.2	11.5	8.14	2.08	10.4	845
Problem14_label16_true-unreach-call.c	timeout	907	889	5637492736		13	10.1	818	43.7	true	53.4	27.1	1178910720		1	3.40	.206	.00	10.9	3.02	6.237	timeout	902	885	1672151040		10.9	863	870	3.84	862	860	862	12.4	848	860	true	516	499	1647616000		15	1	11.8	9.94	482	4.02	9.67	8.42	9.62	7.33	1.08	8.46	466
Problem14_label17_true-unreach-call.c	timeout	905	887	4650360832		11	10.6	357	492	true	118	59.7	2029404160		1	3.68	.284	.00	11.4	34.6	0.006	timeout	902	884	1924513792		16.9	854	862	3.95	854	850	854	20.7	829	850	timeout	903	888	1575075840		12	0	12.2	10.2	871	3.37	9.92	8.76	9.89	6.46	2.29	8.84	856
Problem14_label19_true-unreach-call.c	timeout	907	889	5702275072		13	11.6	802	56.7	true	67.2	34.0	1397833728		1	3.78	.051	.001	10.7	10.0	10.163	timeout	902	886	1930747904		17.0	856	864	4.36	856	852	856	20.2	832	852	timeout	902	884	1851260928		21	0	19.5	12.2	860	3.89	11.9	10.3	11.9	7.91	2.35	10.4	842
Problem14_label20_true-unreach-call.c	timeout	906	888	5137502208		12	11.2	823	37.8	true	57.0	28.9	1198526464		1	3.46	.110	.00	11.7	3.73	6.309	true	65.9	50.2	908705792		2.26	37.2	43.1	3.10	36.8	35.5	36.8	7.83	27.6	35.4	true	34.8	25.7	855162880		3	1	1.69	4.08	19.3	1.89	3.93	3.48	3.90	3.01	.468	3.49	12.3
Problem14_label21_true-unreach-call.c	timeout	908	890	7118639104		14	11.8	806	52.1	true	58.8	29.8	1183420416		1	4.12	.419	.00	10.1	5.37	6.983	timeout	902	884	1182478336		4.81	868	875	3.93	868	866	868	10.1	856	867	timeout	905	895	841252864		2	0	1.02	3.56	890	1.63	3.40	2.86	3.38	2.44	.417	2.86	883
Problem14_label23_true-unreach-call.c	timeout	905	888	3907092480		11	11.1	829	35.3	true	74.7	37.8	1591402496		1	3.77	.269	.019	10.7	13.4	0.005	timeout	902	884	1972068352		14.0	858	866	4.96	857	854	857	21.9	832	854	timeout	903	893	857800704		2	0	1.06	4.68	888	1.82	4.51	3.91	4.45	2.94	.967	3.91	880
Problem14_label24_true-unreach-call.c	timeout	905	888	3504254976		9	9.41	840	28.9	true	63.0	31.9	1440145408		1	4.15	.194	.00	10.5	7.60	0.007	timeout	902	884	1973850112		16.1	854	863	4.83	853	849	853	21.2	828	849	timeout	904	887	1621229568		12	0	10.6	12.0	871	3.75	11.8	10.0	11.7	8.17	1.82	10.1	854
Problem14_label25_true-unreach-call.c	timeout	906	890	4628230144		11	9.92	836	30.0	true	56.3	28.6	1229541376		1	3.56	.070	.00	11.1	5.22	6.902	true	54.5	39.1	879087616		2.25	26.8	32.2	3.41	26.5	25.2	26.4	7.77	17.4	25.2	timeout	904	892	886726656		2	0	1.68	4.11	886	2.01	3.94	3.48	3.89	3.00	.479	3.48	879
Problem14_label26_true-unreach-call.c	timeout	907	889	5693304832		14	12.8	806	52.5	true	55.2	28.1	1176748032		1	3.17	.071	.00	11.5	3.78	6.712	timeout	902	885	1293914112		4.57	868	876	4.50	868	866	868	10.5	855	866	timeout	903	892	847593472		2	0	1.66	3.67	886	1.88	3.54	2.87	3.49	2.45	.416	2.87	880
Problem14_label30_true-unreach-call.c	timeout	906	888	4660469760		11	10.0	833	32.0	true	58.5	29.6	1247379456		1	3.82	.062	.001	10.4	5.03	6.481	true	76.8	61.7	938307584		2.51	48.7	54.2	2.88	48.4	47.1	48.3	7.25	39.8	47.1	timeout	903	893	857583616		2	0	1.49	3.75	886	1.95	3.59	3.13	3.56	2.65	.475	3.13	880
Problem14_label33_true-unreach-call.c	timeout	905	887	3910279168		10	10.6	840	25.5	true	55.4	28.1	1195159552		1	3.61	.125	.012	10.5	4.68	6.731	timeout	902	884	2014728192		16.6	855	863	4.61	854	850	854	21.7	829	850	timeout	903	890	1064345600		5	0	3.76	6.91	881	2.52	6.70	5.89	6.64	4.74	1.15	5.91	870
Problem14_label35_true-unreach-call.c	timeout	907	890	5689622528		13	11.0	816	44.6	true	55.4	28.0	1163448320		1	3.99	.084	.00	10.5	3.81	0.006	true	113	97.4	939405312		2.23	84.0	90.4	4.05	83.6	82.0	83.5	8.20	73.8	82.0	true	33.2	24.9	855609344		3	1	1.15	4.46	19.4	1.82	4.29	3.72	4.22	2.79	.459	3.26	12.2
Problem14_label36_true-unreach-call.c	timeout	905	888	3870281728		10	10.3	842	23.7	true	54.5	27.6	1240924160		1	3.48	.064	.00	11.2	3.48	6.185	timeout	902	886	1094332416		4.66	871	876	3.15	871	869	871	7.73	862	870	timeout	905	887	1374269440		7	0	7.50	8.67	875	3.61	8.28	7.19	8.22	6.31	.872	7.21	861
Problem14_label38_true-unreach-call.c	timeout	907	889	5639565312		13	11.6	815	45.1	true	57.5	29.2	1212637184		1	3.58	.050	.001	12.3	3.89	6.236	timeout	902	884	1943138304		17.9	853	861	4.01	853	849	853	20.9	828	849	timeout	903	886	1338216448		9	0	7.98	9.00	873	2.82	8.77	7.68	8.73	6.31	1.36	7.72	860
Problem14_label42_true-unreach-call.c	timeout	908	889	5676503040		13	12.5	815	44.0	true	56.4	28.6	1220358144		1	3.46	.054	.00	11.6	3.72	6.683	true	546	530	1264607232		4.52	514	520	4.06	513	511	513	13.3	498	511	true	203	187	1382731776		10	1	6.60	10.7	176	3.58	10.5	9.31	10.4	6.99	1.86	8.90	160
Problem14_label45_true-unreach-call.c	timeout	906	888	4937170944		12	10.9	821	40.1	true	77.8	39.3	1819394048		2	4.72	.427	.001	12.8	11.7	13.764	timeout	902	885	1465004032		10.0	863	870	3.81	863	860	863	18.4	842	860	timeout	904	888	1341423616		7	0	6.43	8.47	876	3.96	8.26	7.34	8.21	6.05	1.28	7.37	862
Problem14_label47_true-unreach-call.c	timeout	907	888	5625155584		13	12.3	815	43.9	true	57.1	29.0	1240653824		1	3.22	.069	.00	11.4	4.91	0.023	timeout	902	884	1661796352		11.1	861	868	4.60	861	857	860	17.6	840	857	timeout	903	885	1651462144		12	0	10.8	13.3	869	3.24	13.1	11.8	13.0	9.39	2.38	11.9	851
Problem14_label49_true-unreach-call.c	timeout	907	892	5640056832		13	10.4	820	44.0	true	86.1	43.4	1574055936		1	4.01	.075	.00	10.7	19.9	0.005	timeout	902	885	1757138944		15.0	857	865	4.27	857	853	857	18.0	836	854	timeout	904	888	1305182208		9	0	7.86	7.97	876	2.98	7.72	6.61	7.69	5.14	1.46	6.66	863
Problem14_label50_true-unreach-call.c	timeout	907	890	5672534016		13	11.3	814	46.2	true	78.4	39.6	1881919488		2	5.76	.972	.001	12.4	11.0	13.074	timeout	902	886	1475633152		10.5	864	870	3.41	864	861	864	15.1	846	861	timeout	903	887	1358336000		9	0	6.30	9.97	877	3.26	9.73	8.46	9.68	7.22	1.23	8.49	862
Problem14_label55_true-unreach-call.c	timeout	908	889	7113682944		14	13.1	799	56.5	true	82.5	41.7	1824108544		2	4.28	.596	.00	13.7	14.5	14.295	timeout	902	884	1938968576		13.5	858	865	4.39	858	855	858	14.9	840	855	timeout	906	895	1052008448		4	0	3.53	5.83	887	2.54	5.61	4.91	5.56	4.01	.894	4.92	877
Problem14_label59_true-unreach-call.c	timeout	906	887	4675473408		11	11.6	831	30.4	true	55.0	27.9	1149992960		1	3.50	.108	.001	11.2	4.00	6.412	timeout	902	886	1131343872		5.27	870	875	3.35	869	868	869	6.99	861	868	timeout	903	890	1081819136		5	0	4.06	6.45	881	2.52	6.21	5.40	6.17	4.34	1.04	5.41	871
Problem15_label13_true-unreach-call.c	timeout	912	888	11424268288		7	14.9	559	290	true	789	395	7103152128		2	7.11	6.41	.193	14.2	351	354.689	timeout	904	879	2988838912		29.0	831	841	6.60	830	824	830	36.5	789	825	timeout	906	890	2040119296		1	0	.125	13.6	882	2.86	13.3	11.9	13.3	8.44	3.43	11.9	863
Problem15_label20_true-unreach-call.c	timeout	911	888	8253902848		6	13.5	191	664	true	849	425	5373718528		1	4.98	2.41	.00	13.4	388	383.949	timeout	903	879	2989125632		45.8	816	826	6.62	816	811	816	28.8	784	812	timeout	905	886	2861801472		2	0	10.6	26.9	868	4.56	26.6	24.0	26.6	17.2	6.81	24.0	834
Problem15_label21_true-unreach-call.c	timeout	911	885	11166187520		7	15.3	351	494	true	518	260	5319380992		1	4.82	2.44	.001	13.4	223	0.006	timeout	903	876	3034898432		50.6	806	818	6.89	806	801	806	27.9	774	802	timeout	902	881	2883907584		3	0	10.6	27.8	861	5.18	27.5	24.7	27.5	19.4	5.26	24.7	826
Problem15_label28_true-unreach-call.c	timeout	906	883	8253181952		7	14.2	244	599	true	609	305	5334347776		1	5.17	1.95	.00	13.1	269	266.863	timeout	904	879	4288913408		68.5	790	802	7.58	789	782	789	51.6	732	784	timeout	904	885	2867466240		2	0	8.99	27.7	869	4.63	27.4	24.1	27.3	17.3	6.78	24.1	834
Problem15_label31_true-unreach-call.c	timeout	912	888	11393118208		7	15.4	663	186	true	314	157	5277044736		1	5.89	1.80	.00	13.7	116	116.433	timeout	904	879	4286578688		49.4	810	821	7.15	810	802	809	58.1	745	803	timeout	903	888	2041311232		1	0	.089	15.7	881	3.43	15.5	14.0	15.4	10.2	3.79	14.0	860
Problem15_label42_true-unreach-call.c	timeout	913	890	11444895744		7	13.9	418	433	true	685	343	7066427392		2	6.33	6.03	.201	14.9	298	301.733	timeout	904	878	3023441920		44.2	815	826	6.67	815	809	814	34.7	775	810	timeout	904	884	2878414848		2	0	12.5	26.9	863	4.70	26.7	24.1	26.6	19.0	5.05	24.1	830
Problem15_label49_true-unreach-call.c	timeout	912	887	11320762368		7	14.5	457	391	true	625	313	7052476416		2	6.43	7.32	.123	15.8	268	272.725	timeout	903	876	3033214976		32.8	823	835	7.49	822	816	822	35.6	782	818	timeout	906	890	2018852864		1	0	.122	13.8	882	2.73	13.6	12.2	13.5	9.06	3.13	12.2	864
Problem15_label55_true-unreach-call.c	timeout	913	889	9806163968						true	191	96.1	3980787712		1	4.91	2.42	.001	13.7	59.1	59.807	timeout	904	878	4265660416		52.4	807	818	6.47	807	800	807	47.5	753	801	timeout	904	887	2045231104		1	0	.126	15.9	879	3.22	15.7	14.2	15.7	10.4	3.80	14.2	858
Problem15_label56_true-unreach-call.c	timeout	913	890	11436326912		7	14.5	702	150	true	256	129	6238498816		2	5.82	6.02	.146	15.4	85.0	0.006	timeout	906	878	5409497088		176	682	693	7.43	681	677	681	30.9	646	676	timeout	904	884	2908278784		2	0	9.95	26.3	866	4.19	26.0	23.4	26.0	16.9	6.51	23.4	834
Problem15_label58_true-unreach-call.c	timeout	913	889	13232025600						true	151	76.4	3799052288		1	5.25	3.46	.001	10.4	41.1	45.158	timeout	904	878	4270366720		46.0	814	823	6.54	813	805	813	51.1	755	806	timeout	904	884	2882207744		2	0	8.40	26.9	868	4.56	26.6	23.9	26.5	18.6	5.28	23.9	834
Problem16_label07_true-unreach-call.c	timeout	908	885	6709776384		9	16.6	807	41.9	true	89.1	44.9	1884930048		1	4.81	1.38	.00	14.1	10.4	0.014	timeout	903	878	4992581632		47.1	807	824	9.95	806	797	806	51.4	746	798	timeout	905	885	1402703872		2	0	4.42	11.2	873	3.79	11.0	9.98	10.9	7.54	2.40	9.96	856
Problem16_label09_true-unreach-call.c	timeout	909	887	8664657920		10	17.1	791	55.2	true	86.6	43.7	1816047616		1	4.72	1.38	.028	13.0	9.98	0.006	timeout	906	882	3789545472		32.7	824	842	10.9	823	817	823	57.4	759	816	timeout	905	884	1408798720		2	0	4.46	11.3	872	3.89	11.1	10.0	11.0	7.58	2.43	10.0	855
Problem16_label10_true-unreach-call.c	timeout	908	887	6697517056		9	14.5	807	46.2	true	83.3	42.0	1791033344		1	4.85	1.24	.00	13.9	6.73	12.277	timeout	903	880	4981895168		47.5	810	826	9.54	809	800	809	57.0	743	800	timeout	903	884	1410449408		2	0	2.51	11.6	874	4.82	11.3	10.2	11.3	7.37	2.43	9.80	856
Problem16_label11_true-unreach-call.c	timeout	908	884	6675611648		9	16.9	812	36.0	true	81.9	41.3	1803595776		1	4.95	.900	.00	14.7	6.22	11.692	timeout	903	880	5042831360		51.1	806	822	9.41	805	796	805	53.6	743	796	timeout	903	880	1961828352		5	0	8.31	21.0	864	5.12	20.3	18.6	20.2	11.8	6.79	18.6	836
Problem16_label12_true-unreach-call.c	timeout	908	885	6710919168		9	16.1	813	36.1	true	76.8	38.8	1734602752		1	4.58	2.03	.00	13.2	5.81	11.392	timeout	903	879	4962926592		36.7	820	835	10.1	819	813	819	33.5	780	814	timeout	903	881	1950896128		5	0	8.35	19.2	866	4.81	18.9	17.4	18.8	11.4	5.96	17.4	840
Problem16_label13_true-unreach-call.c	timeout	905	884	4579274752		7	13.1	838	17.7	true	82.5	41.7	1815879680		1	4.77	1.68	.021	13.1	8.17	0.015	timeout	903	879	5133680640		53.6	797	814	10.2	796	787	796	62.0	726	788	timeout	903	885	1402683392		3	0	2.70	14.6	875	4.50	14.3	13.3	14.3	7.64	5.62	13.3	855
Problem16_label16_true-unreach-call.c	timeout	909	887	8648056832		10	15.6	794	52.2	true	82.9	41.8	1815769088		1	4.47	2.26	.00	13.1	7.09	12.269	timeout	903	878	4692320256		52.4	801	819	10.7	800	790	800	57.2	733	791	timeout	903	881	1952415744		4	0	7.91	16.4	865	4.94	16.1	14.5	16.0	12.5	2.07	14.5	841
Problem16_label17_true-unreach-call.c	timeout	909	883	6708596736		9	18.1	806	37.7	true	83.8	42.3	1818730496		1	4.94	1.40	.00	14.3	7.17	0.004	timeout	903	876	4786098176		31.5	819	837	11.4	818	811	817	46.2	765	811	timeout	906	883	1988505600		4	0	9.70	15.6	866	4.83	15.2	13.7	15.1	11.6	2.15	13.7	843
Problem16_label19_true-unreach-call.c	timeout	907	882	5698330624		8	15.8	779	69.3	true	140	70.4	2606575616		1	5.09	1.79	.001	12.3	36.2	37.903	timeout	903	873	4662296576		31.6	818	835	10.4	817	811	817	41.5	769	811	timeout	903	880	1939759104		4	0	7.44	14.4	866	6.45	14.0	12.6	13.9	10.3	2.38	12.7	842
Problem16_label21_true-unreach-call.c	timeout	908	885	6741250048		9	15.9	808	40.7	true	83.4	42.0	1793949696		1	4.86	2.41	.001	12.5	7.86	13.509	timeout	903	877	4674732032		45.0	810	825	9.71	808	801	808	46.2	755	801	timeout	903	880	1939963904		4	0	6.99	14.9	866	6.89	14.6	12.9	14.5	9.74	3.21	13.0	841
Problem16_label23_true-unreach-call.c	timeout	910	885	7466893312		10	18.1	798	46.8	true	80.6	40.7	1813852160		1	4.58	2.84	.00	12.7	6.37	11.884	true	141	123	1318027264		2.37	103	113	6.89	102	99.0	102	29.2	69.8	99.0	timeout	904	890	1039568896		1	0	.138	5.16	883	2.47	4.94	4.27	4.86	3.27	.564	3.83	874
Problem16_label24_true-unreach-call.c	timeout	908	884	6681686016		9	17.1	814	34.1	true	79.7	40.1	1732784128		1	4.77	1.56	.025	13.4	5.33	0.006	true	446	424	1451876352		2.32	397	413	11.1	396	391	396	35.2	356	391	timeout	903	889	1029885952		1	0	.100	4.35	882	2.95	4.07	3.47	4.00	2.93	.529	3.46	874
Problem16_label25_true-unreach-call.c	timeout	910	886	7525638144		10	17.0	799	46.3	true	81.8	41.3	1841856512		1	4.83	.876	.00	13.3	6.89	12.666	true	288	267	1412804608		2.84	240	256	10.6	239	234	239	56.5	177	233	timeout	903	889	1013334016		1	0	.573	4.22	881	2.41	3.98	3.41	3.94	2.84	.563	3.41	873
Problem16_label26_true-unreach-call.c	timeout	908	884	6676467712		9	16.1	815	34.1	true	82.1	41.4	1811095552		1	4.34	2.28	.00	13.1	6.51	12.394	true	422	399	1440411648		2.37	370	388	11.0	369	364	369	36.7	327	364	timeout	903	890	1019863040		1	0	.103	4.97	882	2.58	4.75	3.57	4.68	2.96	.602	3.56	874
Problem16_label28_true-unreach-call.c	timeout	910	887	7567843328		10	17.2	782	65.1	true	84.4	42.6	1827086336		1	4.46	1.85	.00	12.2	9.12	0.010	timeout	903	876	4632469504		44.4	804	824	10.7	803	794	802	48.8	746	795	timeout	905	884	1400664064		2	0	3.74	11.8	873	4.39	11.5	10.2	11.4	7.76	2.45	10.2	855
Problem16_label29_true-unreach-call.c	timeout	906	883	5630955520		8	15.2	817	33.7	true	81.9	41.4	1792192512		1	5.05	2.30	.00	12.5	7.02	12.579	timeout	903	877	4668047360		48.0	806	822	9.67	805	797	805	49.3	748	797	timeout	903	883	1388195840		2	0	4.58	10.8	872	4.05	10.6	9.54	10.5	7.37	2.17	9.54	855
Problem16_label32_true-unreach-call.c	timeout	908	884	6681784320		9	17.4	811	36.5	true	82.8	41.9	1813614592		1	4.38	2.67	.00	12.6	8.08	13.072	timeout	903	878	4599894016		49.5	804	820	9.53	803	794	803	56.4	738	794	timeout	905	884	1406943232		3	0	4.46	14.7	872	4.02	14.5	13.4	14.4	7.71	5.65	13.4	852
Problem16_label34_true-unreach-call.c	timeout	906	883	5649502208		8	15.3	811	39.4	true	143	72.0	3515670528		2	5.97	4.87	.014	16.9	29.8	0.005	timeout	903	877	4648333312		41.2	812	828	10.3	811	803	810	47.3	756	803	timeout	904	879	2403999744		7	0	14.7	26.0	857	7.32	25.5	23.5	25.4	16.2	7.29	23.5	820
Problem16_label35_true-unreach-call.c	timeout	908	886	6702297088		9	15.0	805	45.4	true	134	67.7	3229859840		2	6.29	6.57	.013	18.3	20.5	31.207	timeout	903	879	4631990272		41.6	816	830	9.06	815	808	815	51.6	756	808	timeout	904	881	1916489728		4	0	8.84	14.9	865	5.16	14.5	13.0	14.5	11.0	2.02	13.1	843
Problem16_label36_true-unreach-call.c	timeout	908	884	6868140032		10	17.5	781	62.0	true	128	64.3	3397373952		2	7.36	4.74	.015	16.4	20.8	0.008	timeout	903	872	4693274624		49.6	797	816	11.5	796	787	796	58.9	729	788	timeout	906	883	1898881024		4	0	7.11	16.6	868	6.63	16.2	14.1	16.1	11.3	2.84	14.1	841
Problem16_label39_true-unreach-call.c	timeout	909	885	8548564992		10	18.2	792	49.7	true	78.9	39.8	1819488256		1	4.93	1.20	.001	13.0	6.05	0.006	timeout	903	873	4714409984		43.6	804	822	10.5	803	795	803	45.7	750	796	timeout	903	883	1397841920		2	0	3.35	8.75	873	4.25	8.45	7.67	8.40	5.71	1.96	7.68	858
Problem16_label40_true-unreach-call.c	timeout	911	887	8564039680		10	18.2	791	52.9	true	82.0	41.4	1811902464		1	5.33	.861	.001	15.4	5.96	11.008	timeout	903	873	4653568000		44.0	804	822	10.4	803	796	803	44.2	752	796	timeout	905	885	1377943552		2	0	4.10	8.71	875	4.21	8.36	7.47	8.30	5.59	1.88	7.48	860
Problem16_label42_true-unreach-call.c	timeout	908	884	6669160448		9	17.1	810	37.4	true	78.5	39.6	1801695232		1	4.68	1.02	.00	12.9	6.24	0.007	timeout	903	876	4619870208		44.8	807	825	10.5	806	798	806	45.5	753	798	timeout	905	886	1382830080		2	0	3.09	8.37	876	4.12	8.06	7.26	8.02	5.28	1.95	7.24	862
Problem16_label45_true-unreach-call.c	timeout	908	885	6737391616		9	15.8	806	44.0	true	147	73.9	3329941504		2	7.93	5.85	.035	15.4	29.6	0.012	timeout	903	875	4320489472		39.3	812	828	9.27	812	805	811	42.1	763	805	timeout	902	889	1027338240		1	0	.143	4.11	881	2.98	3.91	3.33	3.87	2.78	.544	3.32	873
Problem16_label47_true-unreach-call.c	timeout	909	885	7546859520		10	18.2	797	47.2	true	78.8	39.7	1995718656		1	5.13	1.44	.001	12.3	5.96	11.700	true	167	141	1415127040		2.39	117	132	10.4	116	111	116	31.8	79.4	111	true	215	197	1425174528		3	1	2.45	12.1	187	4.13	11.8	10.6	11.7	8.04	2.52	10.6	169
Problem16_label48_true-unreach-call.c	timeout	909	887	7559225344		10	16.5	800	46.7	true	78.9	39.8	1778765824		1	4.54	2.20	.00	11.9	6.20	0.004	true	132	110	1367060480		2.40	87.8	99.8	7.24	87.2	83.6	87.0	27.2	56.4	83.6	timeout	904	885	1402892288		2	0	4.49	11.0	874	3.92	10.7	9.64	10.6	7.23	2.40	9.63	857
Problem16_label49_true-unreach-call.c	timeout	906	882	5680406528		8	16.6	825	24.8	true	85.6	43.3	1835261952		1	5.04	.973	.00	13.5	6.01	12.915	true	147	127	1427415040		2.54	104	118	9.53	103	98.8	103	35.1	63.6	98.7	true	208	192	1353265152		3	1	2.35	11.6	183	4.79	11.3	10.2	11.2	7.68	2.46	10.2	164
Problem16_label50_true-unreach-call.c	timeout	907	883	5660594176		8	15.8	825	24.9	true	79.7	40.2	1811292160		1	4.62	2.38	.00	12.6	5.90	0.006	true	145	125	1425158144		2.75	102	116	8.67	102	97.6	102	37.3	60.3	97.5	true	210	191	1387757568		3	1	4.38	11.3	180	3.94	11.0	10.0	10.9	7.66	2.33	10.0	162
Problem16_label53_true-unreach-call.c	timeout	909	886	7596597248		10	17.5	761	83.4	true	152	76.3	3410571264		2	6.30	4.53	.030	17.6	32.0	0.005	timeout	903	878	4315869184		40.5	814	830	9.60	813	805	813	57.6	748	806	timeout	903	879	1949900800		5	0	7.46	21.0	865	6.86	20.5	18.8	20.4	11.9	6.92	18.8	834
Problem16_label55_true-unreach-call.c	timeout	909	884	6677929984		9	17.0	811	36.5	true	77.3	39.0	1782472704		1	4.67	2.12	.00	12.2	5.78	0.006	true	249	226	1405054976		3.43	201	215	9.83	200	195	200	33.5	162	195	timeout	905	883	1925124096		4	0	8.83	15.9	867	4.78	15.6	14.1	15.5	11.4	2.66	14.1	844
Problem16_label56_true-unreach-call.c	timeout	908	884	7541620736		10	18.7	795	47.4	true	79.0	39.8	1825972224		1	4.58	2.00	.014	12.8	6.52	0.007	true	335	308	1482502144		2.51	278	297	12.5	277	272	277	65.8	206	271	true	148	129	1460920320		3	1	2.45	10.7	118	5.78	10.4	9.45	10.4	7.79	1.65	9.46	99.5
Problem16_label57_true-unreach-call.c	timeout	908	886	6610989056		9	15.1	814	36.3	true	82.9	41.8	1797439488		1	5.12	1.15	.001	14.4	6.55	0.005	true	135	114	1428754432		2.69	90.4	104	9.21	89.5	85.2	89.3	41.7	43.4	85.2	true	176	157	1407062016		3	1	4.64	10.4	145	3.96	10.1	9.02	10.0	7.46	1.54	9.02	129
Problem16_label58_true-unreach-call.c	timeout	907	884	5649584128		8	15.8	827	25.4	true	80.6	40.7	1817702400		1	4.83	2.42	.00	13.4	5.83	0.005	true	379	355	1929203712		11.1	321	336	10.2	320	314	320	57.1	256	313	timeout	904	886	1358168064		3	0	2.43	11.2	877	3.76	10.9	9.66	10.8	8.04	1.60	9.65	860
Problem16_label59_true-unreach-call.c	timeout	907	882	5744975872		8	16.3	823	26.4	true	81.9	41.4	1814884352		1	4.75	2.74	.00	12.9	6.36	12.286	timeout	903	880	1392463872		3.73	857	869	7.77	857	854	857	13.8	841	854	true	422	401	1903042560		5	1	10.0	13.1	384	4.84	12.8	11.6	12.8	9.15	2.39	11.6	364
Problem18_label02_true-unreach-call.c	timeout	912	885	9540096000		8	22.6	783	53.3	true	120	60.7	2776629248		1	7.07	.060	.00	18.5	11.8	0.008	timeout	903	871	2126667776		5.73	836	856	12.1	835	832	835	15.3	818	833	timeout	905	876	2577162240		2	0	4.82	17.3	860	9.14	16.8	14.8	16.6	12.4	2.44	14.8	830
Problem18_label07_true-unreach-call.c	timeout	909	881	8086761472		7	20.8	801	38.5	true	125	62.8	2849116160		1	7.19	.115	.00	19.1	12.6	23.511	timeout	903	872	2087161856		5.08	842	857	10.4	841	838	841	14.1	825	839	timeout	903	878	2459451392		3	0	5.68	17.7	863	8.26	17.4	15.2	17.3	12.2	3.03	15.2	833
Problem18_label11_true-unreach-call.c	timeout	911	882	9529892864		8	22.6	781	53.4	true	124	62.4	2906218496		1	6.95	.116	.00	18.6	13.7	25.661	timeout	904	875	2017562624		5.78	842	858	9.33	841	839	841	8.09	832	840	timeout	904	877	2681057280		2	0	5.32	21.1	862	8.12	20.7	18.7	20.5	14.7	3.93	18.7	829
Problem18_label13_true-unreach-call.c	timeout	912	885	12517314560		9	24.5	739	89.6	true	123	61.6	2869272576		1	7.52	.165	.001	19.2	12.5	0.005	timeout	904	871	2099376128		5.90	839	855	9.99	839	837	838	8.48	829	838	timeout	904	877	2627108864		2	0	5.54	22.2	861	7.25	21.7	19.7	21.6	15.3	4.36	19.7	829
Problem18_label16_true-unreach-call.c	timeout	909	881	7853932544		8	21.9	785	53.7	true	120	60.1	2855063552		1	7.19	.304	.00	18.6	11.4	0.010	timeout	904	872	2202034176		5.66	837	856	12.9	836	832	836	28.9	804	833	timeout	904	876	2718695424		2	0	5.90	21.8	860	7.92	21.5	19.6	21.4	15.3	4.27	19.6	827
Problem18_label17_true-unreach-call.c	timeout	910	882	8096690176		7	20.4	803	37.9	true	120	60.3	2783219712		1	6.79	.115	.00	18.8	12.4	22.904	timeout	903	870	2082725888		4.78	840	854	8.66	839	836	839	15.8	821	837	timeout	904	876	2722054144		2	0	5.48	22.2	861	10.3	21.6	19.5	21.5	15.1	4.43	19.5	824
Problem18_label18_true-unreach-call.c	timeout	913	884	12531400704		9	25.5	736	89.5	true	121	60.8	2740285440		1	7.50	.307	.00	19.6	13.0	0.006	timeout	904	864	2073497600		5.28	830	848	11.4	829	826	829	16.8	811	827	timeout	904	877	2703757312		2	0	5.41	21.7	862	7.57	21.4	19.4	21.3	15.1	4.26	19.4	829
Problem18_label21_true-unreach-call.c	timeout	908	881	6483988480		6	18.8	823	21.1	true	147	74.1	3430428672		1	7.69	.170	.00	19.0	24.5	0.005	timeout	904	869	2130403328		5.69	832	853	14.2	831	828	831	15.1	814	829	timeout	904	878	2566561792		2	0	5.28	17.5	862	8.19	17.0	15.0	16.9	12.5	2.50	15.0	833
Problem18_label22_true-unreach-call.c	timeout	912	884	9544605696		8	24.4	778	54.9	true	132	66.4	3276394496		1	7.14	.070	.00	19.7	19.0	27.681	timeout	904	871	2176933888		5.69	836	856	12.8	835	832	835	12.7	820	833	timeout	905	875	2630623232		2	0	5.44	17.6	859	10.1	17.2	15.1	17.0	12.5	2.53	15.1	827
Problem18_label23_true-unreach-call.c	timeout	909	881	8102375424		7	20.6	747	91.7	true	131	65.7	2845200384		1	8.15	.294	.00	21.2	14.7	24.663	timeout	903	872	2126843904		5.76	838	856	11.8	837	834	837	13.7	822	835	timeout	905	877	2607153152		2	0	5.45	16.7	861	10.5	16.2	14.2	16.1	11.9	2.31	14.2	830
Problem18_label26_true-unreach-call.c	timeout	909	881	8247205888		8	21.1	779	55.2	true	138	69.3	3419234304		1	7.64	.132	.00	17.8	19.8	28.796	timeout	903	875	2054504448		5.55	844	860	10.2	843	841	843	13.0	829	842	timeout	905	875	3318435840		4	0	15.2	26.5	851	10.4	26.0	23.0	25.9	18.7	4.36	23.1	810
Problem18_label28_true-unreach-call.c	timeout	913	886	11084181504						true	122	61.3	2877231104		1	7.69	.121	.00	18.2	14.0	23.341	timeout	903	872	2087153664		5.45	841	856	11.0	840	837	840	13.7	824	838	timeout	905	874	3283116032		4	0	14.8	27.0	850	10.4	26.4	23.4	26.3	18.9	4.54	23.5	808
Problem18_label30_true-unreach-call.c	timeout	909	882	8095293440		7	20.5	804	37.0	true	124	62.1	2851893248		1	7.16	.304	.00	19.1	13.2	0.003	timeout	903	874	2013855744		4.91	846	859	8.36	845	843	845	14.8	829	844	timeout	904	878	2654552064		2	0	5.40	21.5	863	7.13	21.0	19.1	20.9	15.0	4.10	19.1	831
Problem18_label37_true-unreach-call.c	timeout	911	882	9549361152		8	22.2	781	54.3	true	122	61.7	2964766720		1	7.24	.066	.029	19.7	15.5	25.315	timeout	904	868	2088730624		4.77	836	853	10.2	835	832	835	15.9	817	833	timeout	904	868	2730917888		2	0	4.90	23.2	853	12.5	22.6	20.5	22.5	16.2	4.28	20.5	813
Problem18_label40_true-unreach-call.c	timeout	912	884	9292292096		8	23.7	743	91.4	true	274	138	4935397376		1	6.65	.548	.00	19.2	92.9	95.989	timeout	904	873	2046562304		5.73	840	857	11.0	840	837	840	15.9	822	838	timeout	903	880	1869606912		1	0	.667	9.29	869	4.84	9.02	7.99	8.97	7.03	.952	7.98	852
Problem18_label41_true-unreach-call.c	timeout	909	881	8096100352		7	21.2	801	37.7	true	118	59.5	2776195072		1	7.42	.148	.00	18.6	11.9	21.633	timeout	904	873	2131263488		6.91	838	856	11.3	837	834	837	13.4	821	835	timeout	903	879	1884045312		1	0	.173	9.39	869	6.60	9.15	7.97	9.10	6.94	1.03	7.98	850
Problem18_label42_true-unreach-call.c	timeout	911	883	9314385920		8	23.1	735	98.8	true	136	68.4	2877927424		1	6.66	.428	.00	17.8	16.3	0.007	timeout	904	873	2047385600		6.93	837	855	11.3	837	834	837	15.6	819	835	timeout	904	882	1860894720		1	0	.679	9.56	872	5.09	9.28	8.10	9.23	7.04	1.04	8.09	855
Problem18_label43_true-unreach-call.c	timeout	908	880	8084127744		8	22.2	790	47.4	true	110	55.4	2767597568		1	6.15	.664	.00	20.0	11.4	0.006	timeout	904	872	2153795584		5.43	837	856	12.0	837	834	836	18.0	816	834	timeout	905	883	1884094464		1	0	.168	9.30	873	5.61	8.92	7.60	8.82	6.52	1.08	7.60	855
Problem18_label44_true-unreach-call.c	timeout	910	880	11100721152		9	25.5	750	78.5	true	121	61.0	3410042880		1	7.32	.138	.029	19.2	13.2	24.449	timeout	904	873	2080788480		5.88	843	857	9.57	841	839	841	16.3	823	840	timeout	903	876	2468966400		3	0	5.58	19.0	860	7.59	18.5	16.1	18.5	13.1	3.00	16.1	830
Problem18_label46_true-unreach-call.c	timeout	911	883	9556152320		8	22.9	780	54.0	true	111	55.7	3519188992		1	7.17	.243	.001	17.6	11.6	0.007	timeout	904	872	2059419648		5.21	841	856	9.35	840	837	840	16.1	822	838	timeout	905	879	3274178560		4	0	15.6	25.5	854	9.06	25.1	22.3	25.1	17.9	4.41	22.3	816
Problem18_label47_true-unreach-call.c	timeout	909	883	8067723264		7	18.8	805	38.6	true	150	75.7	3194286080		1	7.69	.132	.001	18.1	28.8	0.010	timeout	903	874	2086748160		5.49	841	857	9.93	841	838	841	14.0	825	839	timeout	903	877	2487369728		3	0	5.49	17.6	862	8.33	17.2	15.2	17.1	12.1	3.09	15.2	832
Problem18_label48_true-unreach-call.c	timeout	905	879	8106422272		8	22.7	778	53.4	true	123	61.7	2875019264		1	7.13	.172	.00	20.2	12.0	0.007	timeout	904	873	2107191296		6.09	839	855	10.8	838	836	838	15.7	821	837	timeout	903	874	2508574720		3	0	4.87	17.6	859	10.8	17.1	15.0	17.0	12.1	2.90	15.0	826
Problem18_label50_true-unreach-call.c	timeout	913	887	12971171840		9	24.2	744	88.7	true	123	62.2	2835349504		1	7.51	.221	.00	21.0	13.3	24.239	timeout	904	874	2052665344		5.77	842	858	9.76	841	839	841	27.8	812	839	timeout	904	878	2725806080		2	0	6.32	21.3	862	7.64	20.9	18.8	20.8	14.5	4.31	18.8	829
Problem18_label51_true-unreach-call.c	timeout	911	884	9544724480		8	23.0	781	54.6	true	122	61.6	2758701056		1	6.72	.124	.00	17.6	12.0	0.005	timeout	903	874	2008989696		4.92	845	859	8.70	843	841	843	19.3	822	841	timeout	904	879	2709962752		2	0	5.99	21.0	862	7.74	20.6	18.4	20.5	14.2	4.20	18.5	830
Problem18_label53_true-unreach-call.c	timeout	911	884	9545060352		8	22.5	784	52.1	true	116	58.3	2793324544		1	7.23	.172	.00	18.8	12.2	21.841	timeout	903	875	2055495680		4.91	845	860	9.37	844	840	844	27.6	814	841	timeout	905	876	2494767104		2	0	4.74	22.4	861	9.71	22.0	19.9	21.9	15.6	4.34	19.9	825
Problem18_label54_true-unreach-call.c	timeout	910	880	8140271616		7	21.1	801	37.0	true	121	61.1	2846220288		1	7.53	.117	.00	17.6	12.0	22.880	timeout	904	872	2078416896		4.85	841	857	9.86	839	836	839	15.3	822	837	timeout	904	871	2710753280		2	0	5.40	23.6	855	9.93	22.9	20.7	22.8	16.4	4.32	20.7	818
Problem18_label56_true-unreach-call.c	timeout	913	886	12988264448						true	117	58.8	3435900928		1	7.67	.165	.00	18.5	11.8	22.644	timeout	903	874	2052116480		5.66	845	860	8.81	845	842	844	15.4	827	843	timeout	904	876	2714673152		2	0	5.96	21.8	860	7.59	21.4	19.4	21.2	15.2	4.20	19.4	827
Problem18_label58_true-unreach-call.c	timeout	912	882	9585311744		8	23.7	779	53.1	true	123	61.8	2836832256		1	7.79	.197	.001	20.4	12.9	23.144	timeout	904	868	4048232448		24.8	813	832	11.2	813	808	812	29.3	780	809	timeout	904	870	2708123648		2	0	5.48	24.0	854	9.63	23.2	21.0	23.1	16.6	4.47	21.0	816
Problem18_label59_true-unreach-call.c	timeout	911	883	9560690688		8	23.0	720	114	true	267	134	4954193920		1	6.67	.140	.001	17.2	86.7	92.185	timeout	904	867	2150850560		4.92	831	852	13.0	830	826	830	19.0	808	827	timeout	904	879	2500861952		2	0	5.50	17.7	863	7.72	17.1	15.1	17.0	12.1	2.41	14.5	835
Problem19_label00_true-unreach-call.c	out of memory	482	453	14999998464						out of memory	564	283	14999998464									timeout	907	860	6900772864		29.8	789	817	18.0	788	781	788	42.5	743	786	timeout	907	875	6441828352		1	0	.090	41.7	862	10.9	41.2	36.3	41.1	29.5	6.78	36.3	804
Problem19_label01_true-unreach-call.c	out of memory	423	391	14999998464						timeout	907	456	9494716416		1	9.27	.189	.00	32.8	381	388.759	timeout	908	862	6954070016		32.6	790	817	17.4	789	780	789	44.3	741	785	timeout	907	878	6435549184		1	0	.127	41.5	865	10.7	41.0	36.3	40.9	29.5	6.76	36.3	809
Problem19_label02_true-unreach-call.c	out of memory	377	350	14999998464						out of memory	755	378	14999998464									timeout	908	860	6915182592		29.5	790	817	17.9	788	780	788	48.4	736	784	timeout	907	872	6460170240		1	0	.098	43.1	859	11.1	42.6	37.6	42.5	30.8	6.80	37.6	800
Problem19_label03_true-unreach-call.c	out of memory	426	397	14999998464						timeout	907	456	9530728448		1	8.45	.145	.00	30.5	383	0.011	timeout	909	863	6919245824		30.5	792	820	16.6	790	782	790	42.8	744	787	timeout	907	877	6457384960		1	0	.138	41.0	865	11.0	40.4	35.8	40.4	29.3	6.53	35.8	807
Problem19_label04_true-unreach-call.c	out of memory	768	737	14999998464						out of memory	767	384	14999998464									timeout	908	868	6925303808		40.8	788	814	16.9	787	779	787	54.2	729	783	timeout	907	878	6441226240		1	0	.177	59.0	865	9.15	58.6	53.8	58.5	36.9	16.9	53.8	792
Problem19_label05_true-unreach-call.c	out of memory	384	353	14999998464						timeout	908	458	12255793152		2	12.3	3.94	.032	40.6	364	0.006	timeout	908	870	6886055936		34.4	797	823	18.1	796	789	796	58.8	735	794	timeout	908	871	6447165440		1	0	.159	63.1	857	11.6	62.6	57.4	62.5	39.2	18.2	57.4	778
Problem19_label06_true-unreach-call.c	out of memory	529	497	14999998464						out of memory	706	354	14999998464									timeout	907	861	6879662080		33.3	788	813	16.5	786	778	786	57.9	725	783	timeout	907	874	6494498816		1	0	.169	60.8	860	12.8	60.3	55.3	60.2	37.5	17.8	55.3	782
Problem19_label07_true-unreach-call.c	out of memory	331	302	14999998464						out of memory	616	309	15000006656									timeout	908	863	6931148800		30.3	793	820	16.5	792	783	791	49.1	739	788	timeout	907	880	6413385728		1	0	.119	61.0	867	9.25	60.5	55.6	60.4	37.6	17.9	55.6	794
Problem19_label08_true-unreach-call.c	out of memory	462	430	14999998464						out of memory	601	301	14999998464									timeout	908	867	6844063744		32.5	795	821	16.7	794	787	794	55.0	737	792	timeout	907	875	6454190080		1	0	.758	60.2	862	11.1	59.5	54.8	59.4	37.2	17.7	54.8	785
Problem19_label09_true-unreach-call.c	out of memory	693	663	14999998464						timeout	908	457	9506459648		1	8.02	.182	.00	27.6	388	397.985	timeout	908	870	6899294208		41.5	790	815	17.6	790	783	789	32.8	755	788	timeout	907	875	6428430336		1	0	.088	51.6	861	11.2	51.2	46.4	51.1	34.9	11.5	46.4	794
Problem19_label12_true-unreach-call.c	out of memory	495	467	14999998464						out of memory	525	263	14999998464									timeout	909	876	6842171392		29.8	812	834	14.7	811	805	811	35.7	774	809	timeout	907	881	6415736832		1	0	.102	52.2	869	9.21	51.8	46.9	51.7	35.3	11.6	46.9	804
Problem19_label13_true-unreach-call.c	out of memory	498	467	14999998464						out of memory	705	353	14999998464									timeout	908	864	6902059008		31.3	793	819	16.4	792	784	791	39.6	750	789	timeout	907	874	6469087232		1	0	.758	52.7	860	11.6	52.1	47.3	52.0	35.6	11.6	47.3	791
Problem19_label15_true-unreach-call.c	out of memory	298	269	14999998464						out of memory	488	245	14999998464									timeout	908	875	6803906560		29.0	811	834	15.3	810	800	810	65.6	739	805	timeout	907	871	6440873984		1	0	.113	53.5	858	11.4	53.0	47.9	52.7	36.5	11.4	47.9	788
Problem19_label16_true-unreach-call.c	out of memory	505	475	14999998464						out of memory	583	292	14999998464									timeout	908	867	6847746048		33.2	796	821	17.4	795	784	795	67.9	721	789	timeout	907	874	6474416128		1	0	.122	52.2	862	12.9	51.6	46.8	51.5	35.2	11.6	46.8	791
Problem19_label23_true-unreach-call.c	out of memory	395	365	14999998464						out of memory	579	290	14999998464									timeout	908	862	6932074496		33.4	790	817	16.9	788	780	788	46.7	738	785	timeout	907	876	6448234496		1	0	.121	41.3	863	10.8	40.9	36.3	40.8	29.5	6.80	36.3	806
Problem19_label24_true-unreach-call.c	out of memory	389	359	14999998464						out of memory	782	392	14999998464									timeout	908	867	6977757184		34.3	783	819	24.9	782	767	782	96.2	676	772	timeout	907	874	6440525824		1	0	.173	59.4	862	10.9	58.9	54.1	58.8	37.6	16.5	54.1	788
Problem19_label25_true-unreach-call.c	out of memory	391	361	14999998464						out of memory	594	298	14999998464									timeout	908	872	6851248128		34.8	800	824	14.5	799	792	799	62.4	734	797	timeout	907	872	6438268928		1	0	.692	59.8	859	10.9	59.3	54.5	59.2	37.7	16.8	54.5	784
Problem19_label30_true-unreach-call.c	out of memory	643	615	14999998464						out of memory	639	320	14999998464									timeout	908	862	6885998592		32.2	789	817	17.7	788	781	788	64.6	721	785	timeout	907	871	6435254272		1	0	.119	52.7	858	12.1	52.1	47.3	52.0	36.1	11.2	47.3	789
Problem19_label33_true-unreach-call.c	out of memory	387	361	14999998464						out of memory	628	314	15002009600									timeout	908	868	6866194432		31.4	797	824	17.6	796	788	796	84.5	709	793	timeout	907	877	6460153856		1	0	.139	51.1	863	9.89	50.6	45.9	50.5	34.8	11.1	45.9	798
Problem19_label34_true-unreach-call.c	out of memory	431	400	14999998464						out of memory	734	368	14999998464									timeout	908	870	6884429824		33.8	795	824	19.4	793	780	793	96.4	689	785	timeout	907	873	6471729152		1	0	.106	52.0	859	12.8	51.4	46.4	51.2	35.0	11.5	46.4	789
Problem19_label35_true-unreach-call.c	out of memory	489	458	14999998464						out of memory	697	349	14999998464									timeout	908	870	6850584576		30.7	803	827	16.1	802	792	802	63.5	733	797	timeout	907	875	6469304320		1	0	.105	51.9	861	10.9	51.5	46.6	51.4	35.2	11.4	46.6	793
Problem19_label36_true-unreach-call.c	out of memory	318	288	14999998464						out of memory	519	260	14999998464									timeout	908	865	6830759936		33.9	793	817	16.5	791	780	790	68.2	717	785	timeout	907	877	6443147264		1	0	.776	50.3	863	9.88	49.8	45.2	49.7	34.3	10.9	45.2	799
Problem19_label37_true-unreach-call.c	out of memory	651	621	14999998464						out of memory	753	377	14999998464									timeout	908	874	6826627072		31.3	807	830	15.0	806	796	806	65.7	735	801	timeout	907	871	6480941056		1	0	.668	53.3	857	12.9	52.9	48.0	52.7	36.5	11.5	48.0	786
Problem19_label38_true-unreach-call.c	out of memory	373	342	14999998464						out of memory	498	250	14999998464									timeout	907	865	6854508544		29.0	797	822	16.9	796	786	796	64.5	726	790	timeout	907	875	6460403712		1	0	.137	51.1	863	12.2	50.5	45.8	50.4	34.8	10.9	45.8	794
Problem19_label39_true-unreach-call.c	out of memory	427	396	14999998464						out of memory	608	305	14999998464									timeout	907	861	6903623680		33.9	784	813	18.9	783	775	783	46.5	733	780	timeout	907	875	6466195456		1	0	.719	42.0	862	11.7	41.3	36.5	41.2	29.7	6.78	36.5	803
Problem19_label44_true-unreach-call.c	out of memory	332	303	14999998464						out of memory	571	286	14999998464									timeout	907	871	6865268736		33.0	802	825	16.0	801	793	800	58.3	740	798	timeout	907	871	6476926976		1	0	.703	60.4	857	11.1	59.8	55.0	59.7	38.3	16.7	55.0	781
Problem19_label45_true-unreach-call.c	out of memory	331	302	14999998464						out of memory	614	308	14999998464									timeout	908	860	6911586304		39.3	779	807	17.8	777	769	777	72.0	702	774	timeout	907	872	6472687616		1	0	.173	62.9	859	11.5	62.3	57.4	62.2	39.4	18.0	57.4	780
Problem19_label46_true-unreach-call.c	timeout	913	879	11920527360		4	24.5	832	4.13	out of memory	632	317	14999998464									timeout	908	870	6868774912		36.5	795	820	16.2	794	787	794	55.5	736	792	timeout	907	872	6454329344		1	0	.759	61.5	858	11.6	60.9	56.1	60.8	38.7	17.5	56.1	781
Problem19_label48_true-unreach-call.c	out of memory	521	493	14999998464						out of memory	612	307	14999998464									timeout	908	869	6914387968		33.3	797	823	16.6	796	788	796	50.6	743	793	timeout	907	872	6467727360		1	0	.142	60.4	858	12.1	59.9	55.1	59.8	38.1	17.0	55.1	781
Problem19_label49_true-unreach-call.c	out of memory	385	355	14999998464						out of memory	672	336	14999998464									timeout	908	870	6872805376		34.1	797	823	17.0	796	789	796	46.8	748	794	timeout	907	878	6438346752		1	0	.120	51.7	865	10.5	51.3	46.6	51.2	35.1	11.4	46.6	799
Problem19_label52_true-unreach-call.c	out of memory	336	305	14999998464						true	260	131	9086664704		1	8.14	.122	.00	31.2	61.1	84.999	timeout	907	860	6915899392		31.9	786	815	18.0	785	778	784	33.8	749	783	timeout	907	871	6457126912		1	0	.157	52.4	857	11.7	51.8	47.0	51.7	35.9	11.1	47.0	788
Problem19_label54_true-unreach-call.c	out of memory	328	298	14999998464						out of memory	532	267	14999998464									timeout	908	862	6876839936		29.7	794	821	17.3	793	782	793	65.3	722	787	timeout	907	874	6482395136		1	0	.110	50.0	860	12.2	49.5	44.8	49.3	34.1	10.7	44.8	793
Problem19_label56_true-unreach-call.c	out of memory	341	310	14999998464						out of memory	513	257	14999998464									timeout	908	861	6866038784		36.9	777	810	21.8	776	760	776	103	661	765	timeout	907	870	6463102976		1	0	.115	52.8	855	12.0	52.3	47.4	52.1	36.3	11.1	47.4	785
Problem19_label57_true-unreach-call.c	timeout	916	883	12508282880		5	27.7	248	589	out of memory	590	296	15000014848									timeout	908	870	6845288448		29.4	802	826	16.3	801	791	801	66.3	729	795	timeout	907	875	6473797632		1	0	.124	51.3	863	12.5	50.7	46.0	50.6	34.9	11.2	46.0	794
test/programs/benchmarks/eca-rers2012/	status	cputime (s)	walltime (s)	memUsage	host	k	BMC formula creation (s)	Bounds check (s)	SMT check (s)	status	cputime (s)	walltime (s)	memUsage	host	k	BMC formula creation (s)	Bounds check (s)	SMT check (s)	Induction formula creation (s)	Induction check (s)	Invariant generation	status	cputime (s)	walltime (s)	memUsage	host	Refinement (s)	Precision adjustment (s)	CPA algorithm (s)	Post operator (s)	Prec operator (s)	Boolean abstraction (s)	Abstraction (s)	Solving (s)	Model enumeration (s)	SMT without itp (s)	status	cputime (s)	walltime (s)	memUsage	host	Attempted forced coverings	Successful forced coverings	Refinement (s)	Precision adjustment (s)	CPA algorithm (s)	Post operator (s)	Prec operator (s)	Boolean abstraction (s)	Abstraction (s)	Solving (s)	Model enumeration (s)	SMT without itp (s)	Forced covering (s)
total tasks	546	470000	452000	3356937101312		10386	18700	297000	62200	546	177000	89200	2216560074752		978	8220	4780	4360	22900	19600		546	269000	249000	1612497223680		6670	201000	221000	12000	200000	198000	200000	9070	189000	198000	546	285000	270000	1751697874944		3780	260	4060	7480	229000	9290	6960	5880	6840	4340	1540	6030	208000
correct results	1	17.8	9.64	482033664		2	3.50	.114	.110	413	69900	35200	976873205760		538	2960	550	31.0	13000	10200		291	37900	29800	497093382144		1050	16400	26200	5990	15900	15200	15700	1210	13900	15100	262	43800	36700	486221189120		2964	260	2620	2030	31300	7630	1610	1060	1500	603	457	1170	18600
correct true	0									412	69800	35100	975516893184		536	2950	549	30.5	13000	10200		291	37900	29800	497093382144		1050	16400	26200	5990	15900	15200	15700	1210	13900	15100	262	43800	36700	486221189120		2964	260	2620	2030	31300	7630	1610	1060	1500	603	457	1170	18600
correct false	1	17.8	9.64	482033664		2	3.50	.114	.110	1	69.1	35.1	1356312576		2	6.70	1.52	.541	10.8	4.23		0															0
incorrect results	0									0												0															0
incorrect true	0									0												0															0
incorrect false	0									0												0															0
score (546 tasks, max score: 1056)	1									825												582															524
Run set	bmc-bitprecise.BMC.ECA									k-induction-bitprecise.k-Induction.ECA												predicateAnalysis-bitprecise.PredicateAbstraction.ECA															impact-bitprecise.Impact.ECA