ReachSafety-ECA.GC8.true – BenchExec results

Tool	CPAchecker 1.7-svn 28809
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host	apollon*
OS	Linux 4.4.0-131-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution	2018-07-25 09:02:11 CEST																				2018-07-25 11:17:10 CEST																				2018-07-25 11:29:04 CEST																				2018-07-25 11:39:40 CEST																				2018-07-25 11:50:10 CEST
Run set	bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true
Options	-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6				-noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8
../../../sv-benchmarks/c/eca-rers2012/	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage
Problem03_label00_true-unreach-call.c	true	8.95	2.96	469626880	true	10.0	2.87	460173312	true	10.2	2.53	458915840	true	10.4	2.58	459288576	true	10.2	2.48	451907584	true	8.76	2.92	462209024	true	9.58	2.54	466636800	true	10.4	2.39	467402752	true	10.1	2.27	466345984	true	10.8	2.50	457781248	true	8.95	2.71	461983744	true	9.45	2.49	462741504	true	10.5	2.38	464142336	true	10.9	2.41	457117696	true	10.3	2.22	458608640	true	8.93	2.85	459567104	true	9.52	2.41	467648512	true	10.4	2.30	459112448	true	10.3	2.30	458493952	true	10.5	2.29	459571200	true	9.33	2.84	464683008	true	10.1	2.59	467230720	true	10.3	2.27	468680704	true	10.5	2.28	387846144	true	10.9	2.30	464023552
Problem03_label01_true-unreach-call.c	true	8.38	2.94	464121856	true	10.4	2.82	465149952	true	10.1	2.47	455901184	true	10.4	2.59	453898240	true	10.5	2.56	462958592	true	9.67	3.05	466976768	true	9.55	2.52	465207296	true	9.94	2.30	462823424	true	10.4	2.43	465637376	true	10.6	2.37	461410304	true	8.68	2.74	459653120	true	10.1	2.58	460849152	true	10.8	2.38	470552576	true	10.5	2.29	463171584	true	10.2	2.25	453074944	true	9.10	2.81	463101952	true	9.82	2.49	374423552	true	10.4	2.31	465240064	true	10.6	2.25	461012992	true	10.7	2.34	375947264	true	9.15	2.75	461062144	true	10.0	2.47	473587712	true	10.3	2.25	467169280	true	10.2	2.24	474783744	true	10.5	2.28	465764352
Problem03_label02_true-unreach-call.c	true	8.88	2.93	469057536	true	9.83	2.64	464027648	true	10.4	2.53	454983680	true	10.2	2.44	458862592	true	10.4	2.43	469164032	true	9.22	3.06	463405056	true	9.40	2.54	461062144	true	10.5	2.38	469561344	true	10.6	2.38	461217792	true	10.1	2.33	454438912	true	9.19	2.76	470679552	true	9.16	2.38	462917632	true	10.4	2.29	470368256	true	10.2	2.26	458739712	true	9.96	2.29	464838656	true	8.49	2.63	380637184	true	9.66	2.41	461766656	true	10.5	2.34	457236480	true	10.4	2.26	459280384	true	10.3	2.26	459440128	true	9.28	2.85	461283328	true	10.0	2.53	468754432	true	10.6	2.28	466378752	true	10.8	2.34	462254080	true	10.6	2.31	461565952
Problem03_label03_true-unreach-call.c	true	9.32	3.01	478347264	true	9.39	2.61	474284032	true	10.8	2.60	465084416	true	10.5	2.61	461922304	true	10.3	2.46	456220672	true	8.79	2.78	465584128	true	9.51	2.51	466378752	true	10.3	2.40	462376960	true	10.3	2.37	458858496	true	9.79	2.32	456237056	true	9.23	2.80	461193216	true	9.51	2.44	466972672	true	10.5	2.30	457940992	true	10.5	2.32	467419136	true	10.3	2.32	460587008	true	9.39	2.79	459616256	true	9.96	2.42	474030080	true	10.5	2.32	466092032	true	10.6	2.38	462102528	true	10.8	2.36	465969152	true	9.02	2.85	458956800	true	10.2	2.46	468500480	true	10.3	2.30	463683584	true	11.0	2.34	461848576	true	11.0	2.40	457654272
Problem03_label04_true-unreach-call.c	true	9.12	3.15	463978496	true	9.37	2.65	460283904	true	10.2	2.51	459649024	true	10.5	2.55	459317248	true	10.6	2.62	454049792	true	9.28	2.89	465178624	true	9.77	2.56	465555456	true	10.8	2.50	467345408	true	10.4	2.41	458960896	true	10.4	2.36	456712192	true	8.83	2.84	462970880	true	9.80	2.60	463011840	true	10.9	2.47	462811136	true	9.97	2.21	466980864	true	10.4	2.29	456876032	true	8.87	2.81	466247680	true	9.41	2.40	466948096	true	10.5	2.32	463560704	true	10.5	2.26	464773120	true	10.6	2.29	457519104	true	9.04	2.83	462102528	true	10.2	2.58	471068672	true	11.1	2.38	381616128	true	10.4	2.34	468496384	true	10.4	2.32	464285696
Problem03_label05_true-unreach-call.c	true	9.19	3.13	458874880	true	9.47	2.67	463683584	true	10.3	2.47	458760192	true	10.2	2.47	459464704	true	10.9	2.55	459796480	true	9.05	2.88	463634432	true	9.99	2.58	463966208	true	10.9	2.51	463134720	true	10.4	2.46	459919360	true	10.4	2.40	457797632	true	8.89	2.86	462598144	true	9.02	2.52	462372864	true	10.3	2.31	458489856	true	11.1	2.49	465027072	true	10.5	2.25	456323072	true	8.84	2.80	460107776	true	9.75	2.41	471945216	true	10.2	2.26	478212096	true	10.3	2.23	462557184	true	10.1	2.20	453132288	true	9.56	2.92	461762560	true	10.4	2.59	465670144	true	10.5	2.30	459333632	true	10.2	2.23	465797120	true	10.9	2.31	461615104
Problem03_label06_true-unreach-call.c	true	9.19	3.09	465793024	true	10.0	2.81	464277504	true	10.7	2.55	466599936	true	11.2	2.73	461369344	true	10.6	2.54	458575872	true	8.90	2.78	462286848	true	9.88	2.63	459501568	true	10.5	2.37	459206656	true	10.7	2.51	452128768	true	10.2	2.35	461103104	true	8.61	2.76	463486976	true	9.93	2.45	473710592	true	9.91	2.23	469770240	true	10.4	2.40	461606912	true	10.4	2.30	454094848	true	9.26	2.77	461393920	true	9.62	2.40	468807680	true	10.6	2.37	465793024	true	10.7	2.31	464744448	true	10.6	2.30	460214272	true	9.22	2.85	459411456	true	10.2	2.52	466964480	true	10.3	2.24	463167488	true	10.5	2.30	460406784	true	10.3	2.28	462376960
Problem03_label07_true-unreach-call.c	true	8.78	3.02	462811136	true	9.67	2.74	461549568	true	9.97	2.47	458633216	true	10.8	2.54	459878400	true	10.8	2.53	458514432	true	8.43	2.78	460476416	true	9.56	2.57	462077952	true	10.1	2.35	461737984	true	10.2	2.37	455143424	true	10.6	2.41	458440704	true	9.11	2.76	458645504	true	10.4	2.56	471818240	true	10.3	2.31	458428416	true	10.2	2.27	464613376	true	10.4	2.38	461393920	true	9.18	2.79	462254080	true	9.74	2.47	465100800	true	10.4	2.33	463802368	true	10.4	2.34	462360576	true	10.7	2.31	375422976	true	9.24	2.84	465620992	true	9.43	2.38	377196544	true	10.6	2.44	463020032	true	10.7	2.25	459984896	true	10.4	2.27	458842112
Problem03_label08_true-unreach-call.c	true	8.98	2.92	461819904	true	9.86	2.65	463196160	true	10.3	2.47	469053440	true	10.8	2.52	457273344	true	10.4	2.48	455954432	true	8.91	2.94	462331904	true	10.0	2.67	463429632	true	10.6	2.56	456888320	true	10.4	2.37	453586944	true	10.6	2.41	461586432	true	8.94	2.75	461103104	true	9.91	2.45	463319040	true	10.1	2.23	467722240	true	10.3	2.27	463736832	true	10.2	2.25	468086784	true	9.12	2.80	469123072	true	10.5	2.54	467062784	true	9.96	2.23	459509760	true	10.2	2.28	462307328	true	10.4	2.31	464097280	true	9.61	2.76	381882368	true	9.61	2.48	461541376	true	10.8	2.42	462123008	true	10.5	2.28	466841600	true	10.6	2.27	467976192
Problem03_label10_true-unreach-call.c	true	8.99	3.07	470040576	true	9.35	2.63	455843840	true	10.4	2.53	462721024	true	10.8	2.63	458940416	true	10.6	2.48	455499776	true	8.92	2.82	458117120	true	10.5	2.64	463749120	true	10.2	2.32	460812288	true	10.5	2.40	457486336	true	10.6	2.36	458551296	true	8.66	2.81	463855616	true	9.86	2.55	461983744	true	10.6	2.45	461459456	true	10.4	2.34	461623296	true	10.6	2.33	463433728	true	9.15	2.82	463269888	true	9.38	2.42	471207936	true	10.7	2.35	467046400	true	10.8	2.37	465117184	true	10.5	2.25	462557184	true	8.97	2.72	460591104	true	10.0	2.57	465952768	true	10.6	2.34	465436672	true	10.7	2.32	459280384	true	10.4	2.29	457629696
Problem03_label11_true-unreach-call.c	true	8.72	3.01	460058624	true	10.1	2.82	462913536	true	10.2	2.48	458440704	true	9.98	2.49	464576512	true	10.4	2.54	463290368	true	9.44	2.98	459059200	true	9.54	2.54	466870272	true	10.4	2.36	467652608	true	9.95	2.30	461254656	true	10.4	2.39	458838016	true	8.73	2.83	462471168	true	9.46	2.42	461852672	true	10.4	2.32	454770688	true	10.3	2.26	463286272	true	10.2	2.28	465264640	true	9.55	2.87	455532544	true	9.27	2.51	458100736	true	10.6	2.43	375619584	true	10.4	2.29	466468864	true	10.4	2.29	475144192	true	8.97	2.75	459247616	true	10.0	2.54	463695872	true	10.4	2.28	465887232	true	10.7	2.38	373092352	true	10.6	2.26	466370560
Problem03_label12_true-unreach-call.c	true	8.86	3.03	468271104	true	9.68	2.60	463400960	true	10.7	2.57	457711616	true	10.4	2.53	459677696	true	10.0	2.45	461254656	true	8.39	2.79	463269888	true	9.78	2.63	463273984	true	10.6	2.44	456351744	true	10.5	2.45	461529088	true	10.4	2.35	462692352	true	8.84	2.72	463077376	true	9.35	2.42	462594048	true	10.4	2.33	470601728	true	10.3	2.39	464867328	true	11.4	2.46	460783616	true	9.27	2.87	464314368	true	9.75	2.55	460451840	true	10.6	2.34	460361728	true	11.0	2.32	460750848	true	10.4	2.29	461230080	true	8.89	2.75	468750336	true	9.67	2.47	466878464	true	10.3	2.26	464306176	true	10.7	2.39	467574784	true	10.7	2.35	462622720
Problem03_label14_true-unreach-call.c	true	9.17	3.15	460627968	true	9.55	2.65	462639104	true	10.3	2.49	453967872	true	10.3	2.43	454979584	true	10.4	2.47	460275712	true	9.29	3.02	464474112	true	9.63	2.58	464236544	true	10.2	2.39	461049856	true	10.4	2.34	458076160	true	10.2	2.31	459382784	true	9.34	2.74	471195648	true	9.48	2.46	465223680	true	10.2	2.26	458723328	true	10.5	2.42	460169216	true	10.5	2.40	474681344	true	9.37	2.79	457945088	true	9.54	2.44	463958016	true	10.8	2.40	378040320	true	10.4	2.27	466227200	true	10.8	2.37	460931072	true	8.68	2.69	463499264	true	9.72	2.50	462213120	true	10.3	2.32	462991360	true	10.5	2.26	474411008	true	11.1	2.31	455393280
Problem03_label15_true-unreach-call.c	true	8.47	2.88	462888960	true	10.0	2.76	468008960	true	10.6	2.69	456564736	true	10.1	2.49	459759616	true	10.4	2.46	454283264	true	8.76	2.94	462077952	true	9.93	2.58	464031744	true	10.2	2.38	463953920	true	10.6	2.34	459943936	true	10.1	2.30	458964992	true	8.76	2.76	466464768	true	9.32	2.50	463388672	true	10.2	2.28	459616256	true	10.7	2.39	462082048	true	10.2	2.24	459624448	true	9.01	2.84	458956800	true	10.1	2.65	366735360	true	10.5	2.28	472092672	true	10.2	2.20	464130048	true	10.3	2.33	467423232	true	9.16	2.81	460857344	true	9.48	2.45	460111872	true	10.3	2.27	462594048	true	10.4	2.30	375705600	true	10.3	2.28	459374592
Problem03_label16_true-unreach-call.c	true	8.86	3.07	463020032	true	9.44	2.70	463118336	true	10.3	2.52	461455360	true	10.2	2.46	459436032	true	10.6	2.55	456912896	true	8.42	2.80	458412032	true	9.57	2.58	465027072	true	10.3	2.31	471597056	true	10.4	2.33	462241792	true	10.7	2.47	460349440	true	9.38	2.78	466034688	true	9.26	2.46	459866112	true	10.3	2.29	459776000	true	10.1	2.38	467804160	true	10.4	2.27	459386880	true	9.13	2.84	382869504	true	10.0	2.50	463572992	true	10.4	2.29	465981440	true	11.0	2.42	461877248	true	10.4	2.28	457261056	true	9.05	2.83	463568896	true	9.90	2.46	473042944	true	10.4	2.32	460869632	true	10.4	2.27	465088512	true	10.7	2.35	458108928
Problem03_label17_true-unreach-call.c	true	8.80	2.99	460931072	true	9.14	2.68	458919936	true	10.5	2.65	454320128	true	11.5	2.59	468168704	true	10.6	2.53	464244736	true	9.19	2.90	461656064	true	8.98	2.56	460333056	true	10.4	2.49	458534912	true	10.4	2.36	461926400	true	9.83	2.34	460693504	true	9.15	2.99	459956224	true	9.72	2.47	468037632	true	10.9	2.50	470261760	true	10.6	2.30	464924672	true	11.0	2.36	458158080	true	8.68	2.68	463196160	true	9.50	2.50	384548864	true	10.5	2.29	469016576	true	10.3	2.25	460062720	true	10.3	2.26	456511488	true	9.13	2.93	457261056	true	9.86	2.45	465100800	true	10.8	2.39	387948544	true	11.0	2.30	460713984	true	10.6	2.33	462139392
Problem03_label18_true-unreach-call.c	true	8.93	3.01	458248192	true	9.89	2.67	462729216	true	9.80	2.39	469213184	true	10.7	2.48	458297344	true	10.9	2.64	457428992	true	8.83	2.91	458588160	true	9.06	2.48	464220160	true	9.99	2.26	462766080	true	10.6	2.43	458887168	true	10.1	2.33	468287488	true	9.19	2.72	457138176	true	9.66	2.59	466378752	true	10.6	2.35	467832832	true	10.5	2.29	465190912	true	10.3	2.31	461660160	true	9.09	2.87	461484032	true	10.6	2.57	472264704	true	10.6	2.35	464011264	true	10.2	2.25	466944000	true	10.6	2.39	463646720	true	9.51	2.90	467300352	true	9.86	2.48	462667776	true	10.8	2.37	466612224	true	10.8	2.29	462864384	true	10.4	2.31	469835776
Problem03_label19_true-unreach-call.c	true	8.86	3.08	463323136	true	9.20	2.63	465375232	true	10.4	2.51	463794176	true	10.5	2.54	460124160	true	10.4	2.52	461852672	true	9.10	2.94	462364672	true	9.29	2.53	461443072	true	10.5	2.42	461250560	true	10.5	2.41	459780096	true	10.3	2.33	454660096	true	9.32	2.80	461352960	true	9.79	2.50	469094400	true	10.3	2.28	458711040	true	10.6	2.30	459853824	true	10.9	2.36	454258688	true	8.53	2.70	462684160	true	9.59	2.39	467394560	true	10.5	2.33	460775424	true	10.8	2.39	459517952	true	10.5	2.32	451907584	true	9.57	3.03	464465920	true	10.7	2.55	467849216	true	10.4	2.30	468754432	true	10.9	2.35	383377408	true	10.6	2.28	466882560
Problem03_label20_true-unreach-call.c	true	9.06	3.13	458149888	true	9.33	2.65	459493376	true	10.6	2.59	461332480	true	10.5	2.53	455659520	true	10.7	2.59	452321280	true	8.71	2.82	462675968	true	9.45	2.53	460152832	true	10.4	2.36	462061568	true	10.4	2.33	455737344	true	10.3	2.36	458129408	true	9.14	2.87	468078592	true	9.86	2.50	481984512	true	10.1	2.27	459104256	true	10.5	2.36	458674176	true	10.1	2.34	455327744	true	9.05	2.76	466391040	true	9.81	2.40	472690688	true	10.4	2.34	461692928	true	10.4	2.26	455438336	true	10.5	2.29	462073856	true	8.61	2.71	465113088	true	9.83	2.52	466616320	true	10.5	2.30	462495744	true	10.6	2.25	462848000	true	10.6	2.28	469520384
Problem03_label21_true-unreach-call.c	true	8.95	2.95	463552512	true	8.95	2.65	457515008	true	10.3	2.54	458063872	true	10.1	2.48	462721024	true	10.3	2.49	451604480	true	8.50	2.76	461103104	true	9.15	2.52	461279232	true	10.4	2.42	460791808	true	10.1	2.35	466923520	true	10.4	2.36	458166272	true	8.52	2.72	463421440	true	9.96	2.68	463384576	true	10.4	2.38	459018240	true	10.4	2.28	462123008	true	10.6	2.32	458235904	true	9.39	2.91	465309696	true	9.92	2.58	461451264	true	10.6	2.33	462028800	true	10.9	2.33	459038720	true	10.3	2.26	457801728	true	9.39	2.94	461012992	true	10.1	2.61	460718080	true	10.3	2.23	468590592	true	10.6	2.29	463548416	true	10.3	2.29	460935168
Problem03_label22_true-unreach-call.c	true	9.31	3.18	458117120	true	8.88	2.62	460632064	true	10.4	2.55	463257600	true	10.3	2.47	457580544	true	10.6	2.64	454811648	true	8.25	2.78	460898304	true	9.97	2.52	471875584	true	10.1	2.31	465346560	true	10.1	2.31	458006528	true	10.7	2.50	455512064	true	9.02	2.86	464068608	true	9.62	2.41	464760832	true	10.5	2.38	460111872	true	10.6	2.37	456040448	true	10.6	2.35	455614464	true	9.23	2.89	459878400	true	9.68	2.57	379908096	true	10.4	2.26	460791808	true	10.5	2.24	467243008	true	10.6	2.27	461074432	true	8.79	2.70	460468224	true	9.84	2.49	468066304	true	10.6	2.31	456867840	true	11.2	2.35	460361728	true	10.9	2.33	459415552
Problem03_label23_true-unreach-call.c	true	9.07	3.02	456228864	true	9.65	2.63	464859136	true	10.3	2.47	462831616	true	10.4	2.56	459321344	true	10.4	2.52	459198464	true	9.12	3.03	463380480	true	9.90	2.48	462929920	true	10.1	2.34	456249344	true	11.0	2.42	462282752	true	10.5	2.47	459931648	true	8.32	2.70	458924032	true	9.42	2.43	463024128	true	10.5	2.36	454676480	true	10.2	2.26	459325440	true	10.3	2.30	463720448	true	9.76	2.87	380940288	true	9.41	2.42	460169216	true	10.1	2.28	462106624	true	10.4	2.31	469131264	true	10.4	2.30	461438976	true	8.85	2.70	468377600	true	10.0	2.53	464576512	true	11.6	2.52	467484672	true	10.4	2.26	464056320	true	10.6	2.31	457371648
Problem03_label24_true-unreach-call.c	true	8.97	2.96	471216128	true	9.23	2.63	459612160	true	10.3	2.48	455364608	true	10.4	2.48	457912320	true	10.2	2.54	461553664	true	9.04	2.95	462311424	true	9.20	2.48	464519168	true	10.4	2.43	455892992	true	10.5	2.36	461692928	true	10.5	2.38	460353536	true	9.06	2.74	464470016	true	9.35	2.49	466132992	true	10.6	2.34	458305536	true	10.6	2.33	460214272	true	10.3	2.33	461205504	true	9.02	2.85	458027008	true	9.16	2.39	464064512	true	10.6	2.34	456466432	true	10.5	2.36	465096704	true	10.7	2.39	457019392	true	8.84	2.69	464031744	true	9.77	2.48	460783616	true	10.4	2.31	464384000	true	10.8	2.30	456871936	true	10.2	2.27	463155200
Problem03_label25_true-unreach-call.c	true	8.84	3.02	458821632	true	9.79	2.67	462012416	true	10.8	2.62	459796480	true	10.6	2.64	452616192	true	10.7	2.58	455974912	true	8.43	2.77	462020608	true	10.0	2.57	463073280	true	10.4	2.40	463228928	true	10.9	2.51	458076160	true	11.1	2.53	456867840	true	8.86	2.83	460791808	true	9.77	2.48	470220800	true	10.5	2.41	457764864	true	10.1	2.26	468357120	true	10.4	2.35	458084352	true	9.17	2.76	467734528	true	9.97	2.54	463400960	true	10.7	2.44	460689408	true	11.3	2.37	467714048	true	10.2	2.24	464187392	true	9.43	2.69	464392192	true	10.0	2.55	460263424	true	10.3	2.23	459313152	true	10.2	2.24	465027072	true	10.1	2.23	458477568
Problem03_label29_true-unreach-call.c	true	9.05	2.92	466391040	true	9.54	2.68	461111296	true	10.4	2.44	465649664	true	10.3	2.47	454262784	true	10.7	2.60	462139392	true	8.94	2.83	459460608	true	9.29	2.52	462737408	true	10.1	2.35	469835776	true	10.5	2.37	461193216	true	10.9	2.41	461881344	true	8.67	2.76	453107712	true	9.48	2.47	465084416	true	10.3	2.34	462704640	true	9.93	2.20	463597568	true	10.9	2.36	462675968	true	8.69	2.69	471597056	true	9.74	2.54	461283328	true	10.3	2.28	462708736	true	10.5	2.28	456744960	true	10.7	2.29	460054528	true	9.36	2.93	460103680	true	9.64	2.38	472260608	true	10.8	2.32	461975552	true	10.4	2.31	460087296	true	10.6	2.32	370003968
Problem03_label30_true-unreach-call.c	true	8.68	2.98	460025856	true	9.51	2.60	462659584	true	10.4	2.53	457756672	true	10.2	2.50	458940416	true	10.5	2.51	455794688	true	8.96	2.78	473178112	true	9.59	2.49	465395712	true	10.3	2.40	462708736	true	10.4	2.37	459513856	true	10.4	2.40	460148736	true	9.27	2.89	459374592	true	9.53	2.45	462700544	true	10.1	2.28	468271104	true	10.5	2.32	462716928	true	10.7	2.40	460382208	true	9.14	2.86	365887488	true	9.56	2.36	456777728	true	10.4	2.28	468811776	true	10.3	2.27	461516800	true	10.3	2.26	464805888	true	8.71	2.70	457674752	true	9.79	2.50	461594624	true	10.6	2.34	469721088	true	10.7	2.39	377712640	true	10.4	2.29	461664256
Problem03_label32_true-unreach-call.c	true	9.02	3.06	464146432	true	9.68	2.77	456830976	true	10.2	2.44	461189120	true	10.4	2.51	454852608	true	10.3	2.48	451678208	true	9.04	2.84	460861440	true	10.1	2.69	465063936	true	10.3	2.34	470487040	true	10.9	2.48	456687616	true	10.2	2.30	467386368	true	9.36	2.82	463302656	true	9.72	2.51	458829824	true	11.1	2.49	468676608	true	11.0	2.44	454078464	true	10.4	2.28	459837440	true	9.05	2.75	457375744	true	9.44	2.43	462077952	true	10.7	2.36	469946368	true	10.6	2.29	378032128	true	10.1	2.25	468156416	true	9.09	2.86	465223680	true	9.86	2.45	466214912	true	10.4	2.38	461836288	true	10.6	2.28	464859136	true	10.3	2.24	472379392
Problem03_label33_true-unreach-call.c	true	9.64	3.14	463765504	true	9.48	2.64	465768448	true	10.2	2.55	456560640	true	10.3	2.49	458092544	true	10.6	2.67	452657152	true	9.25	3.04	461643776	true	9.65	2.64	463060992	true	10.8	2.55	458387456	true	10.2	2.29	465068032	true	10.7	2.49	464351232	true	9.09	2.98	463056896	true	9.84	2.49	471560192	true	10.2	2.34	469049344	true	10.6	2.30	466714624	true	10.7	2.34	461946880	true	9.19	2.69	471556096	true	9.33	2.50	456888320	true	10.5	2.31	463478784	true	10.4	2.28	460574720	true	10.6	2.37	461598720	true	9.18	2.83	459362304	true	9.63	2.50	463585280	true	11.0	2.42	461377536	true	10.7	2.32	461713408	true	10.7	2.37	459317248
Problem03_label34_true-unreach-call.c	true	8.69	2.95	463204352	true	9.48	2.62	463114240	true	10.4	2.51	464932864	true	10.9	2.50	464412672	true	10.2	2.51	465526784	true	8.81	2.81	465039360	true	9.71	2.61	468742144	true	10.2	2.32	463507456	true	10.0	2.35	458993664	true	10.0	2.33	463441920	true	9.05	2.71	464166912	true	9.57	2.47	470192128	true	10.4	2.35	453472256	true	10.3	2.32	458244096	true	10.5	2.29	462700544	true	9.65	2.97	460136448	true	10.1	2.48	468717568	true	10.6	2.35	460136448	true	10.6	2.32	462688256	true	10.0	2.26	471662592	true	8.67	2.74	460492800	true	10.5	2.66	471138304	true	10.7	2.33	470126592	true	10.4	2.30	466112512	true	10.1	2.21	467664896
Problem03_label36_true-unreach-call.c	true	8.56	3.00	460365824	true	10.1	2.79	461078528	true	10.5	2.54	468041728	true	10.1	2.49	459431936	true	10.7	2.48	459304960	true	8.51	2.83	464089088	true	9.42	2.59	463581184	true	10.6	2.48	465735680	true	10.7	2.47	460689408	true	10.7	2.45	463384576	true	9.39	2.93	455540736	true	9.72	2.41	472952832	true	11.2	2.57	463360000	true	11.0	2.45	459530240	true	10.8	2.39	458280960	true	9.01	2.82	459358208	true	9.74	2.40	471371776	true	10.3	2.33	463781888	true	10.2	2.27	461180928	true	10.4	2.27	467013632	true	9.22	2.93	463392768	true	10.1	2.47	468566016	true	10.7	2.36	460595200	true	10.7	2.26	466255872	true	11.0	2.37	380788736
Problem03_label38_true-unreach-call.c	true	8.76	2.98	458117120	true	9.72	2.78	455503872	true	10.6	2.56	467013632	true	9.96	2.45	461795328	true	10.5	2.49	462356480	true	8.69	2.78	469463040	true	10.2	2.65	468131840	true	10.0	2.34	466993152	true	10.4	2.37	458399744	true	10.1	2.40	461402112	true	8.91	2.84	461324288	true	10.1	2.58	471511040	true	10.2	2.29	461361152	true	10.5	2.34	461950976	true	10.4	2.30	464629760	true	9.42	2.77	469086208	true	9.63	2.46	463613952	true	11.4	2.44	463187968	true	10.6	2.28	460054528	true	10.6	2.28	375996416	true	9.18	2.76	469762048	true	10.0	2.62	461455360	true	10.3	2.28	460742656	true	10.6	2.30	457744384	true	10.8	2.32	460218368
Problem03_label40_true-unreach-call.c	true	8.74	2.94	460386304	true	9.55	2.61	468287488	true	10.1	2.51	458194944	true	10.3	2.57	459399168	true	10.4	2.46	455921664	true	9.01	2.79	460472320	true	9.42	2.58	462282752	true	10.2	2.39	469434368	true	10.7	2.40	466923520	true	10.2	2.33	458506240	true	8.67	2.67	458907648	true	9.65	2.41	469114880	true	11.3	2.49	452915200	true	10.4	2.23	457326592	true	10.2	2.25	458928128	true	8.88	2.78	458477568	true	10.1	2.54	469135360	true	10.6	2.43	458477568	true	10.8	2.40	459669504	true	10.8	2.34	456302592	true	8.65	2.71	461332480	true	10.2	2.57	466759680	true	10.2	2.22	468410368	true	11.0	2.35	461066240	true	10.6	2.30	460787712
Problem03_label41_true-unreach-call.c	true	9.27	2.91	458555392	true	9.19	2.57	461770752	true	10.4	2.52	460091392	true	10.3	2.49	454680576	true	10.4	2.51	461324288	true	8.68	2.86	465145856	true	9.44	2.54	464506880	true	10.5	2.37	465747968	true	10.6	2.44	466747392	true	10.7	2.38	459276288	true	8.34	2.66	461168640	true	9.89	2.60	466530304	true	10.2	2.37	460337152	true	10.3	2.27	458866688	true	10.3	2.32	458006528	true	8.78	2.69	462561280	true	10.6	2.75	387645440	true	10.5	2.35	380432384	true	10.4	2.26	461533184	true	10.2	2.25	456175616	true	9.24	2.74	462163968	true	9.52	2.42	469082112	true	10.5	2.32	466788352	true	10.8	2.34	380096512	true	10.5	2.33	463015936
Problem03_label42_true-unreach-call.c	true	9.05	3.13	461713408	true	9.82	2.77	460161024	true	10.3	2.51	467587072	true	10.2	2.51	456826880	true	10.2	2.48	458190848	true	8.87	2.88	460976128	true	10.2	2.51	467132416	true	10.3	2.37	458326016	true	10.3	2.40	462139392	true	10.4	2.42	462204928	true	9.60	3.00	465874944	true	9.94	2.54	463134720	true	10.2	2.29	461152256	true	10.4	2.29	465793024	true	10.5	2.30	463015936	true	8.59	2.74	459005952	true	9.59	2.54	465252352	true	10.5	2.29	465555456	true	10.6	2.32	461836288	true	11.0	2.35	461209600	true	9.14	2.83	463392768	true	9.99	2.46	466677760	true	10.3	2.30	458551296	true	11.1	2.41	380108800	true	10.5	2.27	464691200
Problem03_label44_true-unreach-call.c	true	9.32	3.15	458231808	true	9.37	2.59	468209664	true	9.88	2.46	458526720	true	10.5	2.55	459587584	true	10.6	2.51	457928704	true	8.86	2.92	464236544	true	9.54	2.53	460861440	true	9.92	2.34	456392704	true	10.3	2.37	460656640	true	10.2	2.43	456871936	true	9.94	2.97	459534336	true	9.80	2.50	469630976	true	10.5	2.42	458022912	true	10.5	2.30	461258752	true	10.4	2.30	461008896	true	9.49	2.97	459571200	true	9.56	2.44	380039168	true	10.3	2.32	375947264	true	10.6	2.27	453386240	true	10.4	2.30	463015936	true	9.06	2.70	468111360	true	9.76	2.44	464248832	true	10.9	2.38	469782528	true	10.3	2.24	458649600	true	10.6	2.30	463912960
Problem03_label46_true-unreach-call.c	true	8.95	3.09	463671296	true	10.3	2.90	473866240	true	10.5	2.53	455598080	true	10.9	2.53	465494016	true	10.6	2.58	457117696	true	8.83	2.84	461393920	true	9.55	2.58	473038848	true	10.3	2.46	463732736	true	10.2	2.35	456122368	true	10.5	2.51	458805248	true	8.78	2.72	466677760	true	9.68	2.58	460939264	true	10.4	2.35	464166912	true	10.5	2.29	462274560	true	10.4	2.32	464764928	true	9.43	2.92	462438400	true	9.57	2.41	464986112	true	10.3	2.33	464453632	true	10.7	2.35	383959040	true	10.5	2.29	456904704	true	8.80	2.73	462442496	true	10.1	2.48	461860864	true	10.5	2.34	398499840	true	10.5	2.25	466235392	true	10.3	2.26	469913600
Problem03_label47_true-unreach-call.c	true	8.81	3.05	460386304	true	9.80	2.74	463261696	true	9.97	2.48	457650176	true	10.5	2.50	454500352	true	10.6	2.51	459763712	true	9.87	3.13	465981440	true	9.00	2.54	462680064	true	10.1	2.39	457764864	true	10.3	2.35	469557248	true	10.2	2.35	453767168	true	9.47	2.89	460197888	true	10.0	2.52	471699456	true	10.5	2.32	462540800	true	10.1	2.27	461361152	true	10.2	2.27	457428992	true	8.80	2.68	461754368	true	10.1	2.57	463151104	true	10.3	2.31	459235328	true	10.2	2.22	465846272	true	10.8	2.30	461385728	true	8.59	2.70	466026496	true	9.63	2.47	464683008	true	10.8	2.33	470093824	true	10.4	2.25	464248832	true	10.7	2.31	466419712
Problem03_label48_true-unreach-call.c	true	9.18	3.16	464863232	true	10.8	2.93	465387520	true	10.2	2.49	466231296	true	10.1	2.46	459038720	true	10.5	2.54	455200768	true	8.91	2.89	463532032	true	9.76	2.60	464859136	true	10.3	2.42	453996544	true	10.2	2.36	458989568	true	10.7	2.34	462639104	true	9.04	2.84	460136448	true	8.99	2.44	462577664	true	10.1	2.25	457318400	true	10.3	2.32	460021760	true	10.2	2.23	458428416	true	8.96	2.74	461926400	true	9.47	2.41	460070912	true	10.5	2.36	460394496	true	10.3	2.23	459845632	true	10.2	2.27	466026496	true	9.29	2.72	470253568	true	9.19	2.43	465002496	true	10.3	2.25	461279232	true	11.3	2.45	452456448	true	10.9	2.31	457932800
Problem03_label49_true-unreach-call.c	true	8.52	2.89	467378176	true	8.83	2.59	458018816	true	10.5	2.52	459677696	true	10.2	2.48	459128832	true	10.7	2.61	456462336	true	9.01	2.92	460046336	true	9.30	2.49	462061568	true	10.7	2.44	475430912	true	10.4	2.33	462786560	true	10.3	2.40	462704640	true	8.99	2.84	460648448	true	9.38	2.53	457674752	true	10.1	2.30	465936384	true	10.6	2.35	460570624	true	10.1	2.27	458051584	true	9.60	2.84	463060992	true	10.2	2.49	469737472	true	10.4	2.31	458031104	true	10.4	2.24	466907136	true	10.9	2.34	462921728	true	9.12	2.87	459055104	true	10.6	2.60	460529664	true	10.9	2.46	457465856	true	10.8	2.37	455524352	true	11.1	2.43	462438400
Problem03_label51_true-unreach-call.c	true	8.70	3.06	458256384	true	9.50	2.63	467062784	true	10.5	2.58	456302592	true	11.1	2.65	456548352	true	10.3	2.47	457433088	true	8.70	2.78	461922304	true	9.52	2.49	478253056	true	10.0	2.31	469860352	true	10.7	2.49	459571200	true	10.5	2.37	457207808	true	8.91	2.88	459030528	true	9.98	2.56	463220736	true	10.5	2.35	464547840	true	10.6	2.28	464814080	true	10.3	2.29	457695232	true	8.84	2.69	460574720	true	10.6	2.54	470245376	true	10.4	2.31	471896064	true	10.6	2.37	460750848	true	10.2	2.28	460972032	true	8.91	2.84	459927552	true	9.92	2.53	469188608	true	10.3	2.27	459759616	true	10.5	2.31	461873152	true	10.8	2.39	456929280
Problem03_label53_true-unreach-call.c	true	9.08	3.16	462028800	true	10.5	2.91	466788352	true	10.3	2.49	460988416	true	10.3	2.47	454840320	true	10.2	2.44	459128832	true	9.17	2.83	468111360	true	9.70	2.50	463937536	true	10.7	2.59	460152832	true	10.4	2.37	456441856	true	10.6	2.42	464408576	true	8.74	2.81	464760832	true	9.74	2.57	463839232	true	10.4	2.34	458588160	true	10.5	2.33	461111296	true	10.4	2.27	459083776	true	9.74	2.99	464764928	true	9.36	2.41	458326016	true	10.4	2.35	372363264	true	10.6	2.27	465141760	true	10.5	2.26	457584640	true	8.51	2.64	462680064	true	10.0	2.51	468049920	true	10.3	2.29	386056192	true	10.5	2.24	461369344	true	10.4	2.30	458850304
Problem03_label54_true-unreach-call.c	true	8.90	3.01	461090816	true	9.29	2.63	456753152	true	10.4	2.57	460115968	true	10.7	2.51	465506304	true	10.3	2.49	457048064	true	9.26	3.02	462962688	true	9.79	2.61	460111872	true	10.1	2.39	462581760	true	10.7	2.50	456167424	true	10.4	2.37	458895360	true	8.36	2.64	461967360	true	9.75	2.49	460066816	true	10.5	2.38	460402688	true	10.1	2.24	459890688	true	10.2	2.24	463523840	true	8.38	2.59	465567744	true	10.4	2.65	459333632	true	10.4	2.24	461541376	true	11.0	2.44	466726912	true	10.3	2.34	468873216	true	8.86	2.76	464293888	true	9.64	2.49	461512704	true	10.5	2.30	467111936	true	10.4	2.25	463405056	true	10.4	2.27	467546112
Problem03_label55_true-unreach-call.c	true	9.45	3.14	467021824	true	10.4	2.78	468451328	true	10.6	2.56	459563008	true	10.5	2.54	460988416	true	10.4	2.45	458825728	true	8.69	2.83	462417920	true	10.1	2.63	473882624	true	10.8	2.58	453959680	true	10.3	2.38	459771904	true	10.4	2.37	458420224	true	9.29	2.96	461033472	true	10.2	2.75	466055168	true	10.8	2.34	455294976	true	10.3	2.28	460230656	true	10.5	2.38	460070912	true	8.80	2.71	471289856	true	10.3	2.63	467984384	true	10.2	2.29	466755584	true	10.6	2.34	457723904	true	10.1	2.23	382623744	true	9.59	2.95	461488128	true	9.90	2.44	465702912	true	10.4	2.29	469008384	true	10.5	2.27	457474048	true	10.9	2.46	462020608
Problem03_label56_true-unreach-call.c	true	8.84	3.05	466837504	true	9.24	2.60	460115968	true	10.2	2.52	459644928	true	10.4	2.56	458067968	true	10.3	2.48	455749632	true	8.79	2.95	461512704	true	9.47	2.61	457277440	true	10.4	2.44	463974400	true	10.1	2.34	458817536	true	10.4	2.51	451739648	true	9.12	2.85	462385152	true	9.96	2.56	464044032	true	10.0	2.27	459354112	true	9.95	2.26	459665408	true	10.5	2.28	466591744	true	9.34	2.76	462176256	true	9.85	2.45	462909440	true	10.4	2.27	458539008	true	10.4	2.29	466268160	true	10.8	2.31	374984704	true	9.50	2.73	469573632	true	10.2	2.54	470618112	true	10.6	2.33	392941568	true	10.8	2.31	461475840	true	10.8	2.38	374435840
Problem03_label57_true-unreach-call.c	true	9.43	3.18	462041088	true	9.49	2.68	457506816	true	10.4	2.52	462569472	true	10.2	2.44	459415552	true	10.3	2.44	452927488	true	9.06	2.81	461086720	true	9.26	2.54	463196160	true	10.2	2.39	463228928	true	10.3	2.42	459603968	true	10.3	2.35	454529024	true	8.76	2.84	459034624	true	9.72	2.49	458686464	true	9.98	2.21	468520960	true	10.4	2.30	468303872	true	10.6	2.38	460775424	true	8.73	2.69	459755520	true	9.60	2.47	465133568	true	10.4	2.31	460578816	true	10.5	2.29	460107776	true	10.7	2.33	458629120	true	8.71	2.63	467755008	true	9.48	2.49	467681280	true	10.4	2.33	470298624	true	10.6	2.30	454275072	true	10.6	2.27	460820480
Problem03_label58_true-unreach-call.c	true	8.75	2.93	462188544	true	8.90	2.63	459890688	true	10.4	2.52	454500352	true	10.7	2.51	462131200	true	10.3	2.48	456749056	true	9.11	2.95	467853312	true	10.2	2.64	462815232	true	10.2	2.33	465666048	true	10.6	2.35	458141696	true	10.1	2.29	464957440	true	8.96	2.84	460390400	true	9.49	2.45	463278080	true	10.5	2.35	455221248	true	10.6	2.34	458948608	true	10.3	2.24	460050432	true	9.14	2.85	459464704	true	9.70	2.43	475123712	true	10.4	2.27	462979072	true	10.4	2.27	384708608	true	10.3	2.31	381300736	true	8.88	2.70	467128320	true	10.2	2.53	462987264	true	10.8	2.32	465047552	true	10.5	2.27	464355328	true	10.5	2.27	467722240
Problem03_label59_true-unreach-call.c	true	8.99	3.04	454598656	true	9.45	2.64	465788928	true	10.5	2.51	457318400	true	10.5	2.52	462962688	true	10.5	2.48	458756096	true	9.30	2.84	464781312	true	9.46	2.58	462749696	true	10.5	2.41	459423744	true	10.6	2.42	460636160	true	10.3	2.33	457019392	true	8.57	2.69	464691200	true	9.85	2.51	464871424	true	10.7	2.39	460312576	true	10.4	2.24	459726848	true	10.9	2.38	460779520	true	9.43	2.88	467963904	true	9.92	2.54	461303808	true	10.4	2.34	469147648	true	10.4	2.31	466546688	true	10.4	2.35	458739712	true	9.31	2.77	463048704	true	9.78	2.50	467562496	true	10.6	2.38	466055168	true	11.1	2.41	458797056	true	10.6	2.41	460513280
Problem04_label00_true-unreach-call.c	true	25.3	16.5	2120876032	true	26.6	13.2	2194481152	true	31.7	11.4	2268467200	true	34.3	11.3	2357817344	true	34.9	11.1	2304737280	true	28.5	15.3	2120372224	true	28.5	10.6	2228891648	true	32.1	9.28	2407854080	true	35.3	8.49	2413457408	true	35.2	8.53	2348134400	true	27.9	13.1	2552774656	true	29.7	9.45	2058960896	true	34.2	7.88	2460057600	true	36.2	7.22	2352427008	true	37.4	7.29	2440237056	true	31.1	12.7	1948655616	true	32.4	9.34	2266771456	true	36.4	7.52	2120179712	true	39.1	7.04	2160922624	true	38.9	6.80	2361966592	true	30.7	12.4	2116435968	true	34.7	9.17	2275631104	true	36.3	7.17	2262958080	true	38.6	6.71	2289647616	true	40.2	6.89	2334130176
Problem04_label01_true-unreach-call.c	true	26.2	16.7	2181005312	true	29.5	14.7	2442649600	true	30.4	11.3	2289758208	true	33.2	11.1	2330218496	true	35.1	11.0	2289557504	true	26.9	14.3	2122256384	true	28.4	11.2	2149838848	true	33.0	9.20	2462568448	true	35.1	8.61	2356183040	true	35.6	8.50	2567344128	true	27.1	12.7	2090754048	true	28.8	9.10	2297004032	true	34.1	7.74	2359926784	true	37.6	7.68	2219855872	true	38.2	7.43	2238894080	true	30.2	12.9	2166878208	true	32.2	9.08	2417266688	true	35.2	7.34	2190340096	true	37.9	6.98	2234458112	true	38.4	6.79	2197602304	true	31.1	12.6	2122555392	true	33.5	9.24	2380070912	true	38.2	7.38	2274881536	true	40.4	7.04	2256584704	true	40.6	6.79	2273013760
Problem04_label02_true-unreach-call.c	true	25.7	16.8	2177122304	true	29.0	13.5	2383081472	true	32.7	12.0	2207961088	true	34.0	11.2	2355052544	true	34.1	10.8	2324086784	true	26.8	14.2	2373095424	true	27.8	10.4	2215772160	true	32.3	8.97	2399571968	true	34.7	8.48	2440056832	true	35.9	8.56	2497949696	true	27.9	12.9	2248695808	true	31.2	9.53	2148409344	true	34.5	7.91	2244882432	true	35.7	7.30	2385727488	true	36.7	7.06	2222047232	true	30.4	12.6	2091130880	true	31.8	9.28	2218774528	true	35.6	7.39	2123239424	true	38.5	7.01	2340253696	true	38.7	6.91	2135904256	true	30.3	12.4	2167533568	true	33.1	8.98	2255077376	true	36.3	7.27	2268041216	true	38.3	6.65	2185797632	true	40.0	6.69	2114187264
Problem04_label03_true-unreach-call.c	true	25.6	16.9	2199519232	true	29.5	13.9	2389340160	true	32.1	11.7	2250412032	true	34.3	11.1	2277494784	true	34.1	10.9	2285170688	true	25.1	13.7	2139340800	true	27.9	10.6	2256166912	true	32.5	8.98	2369396736	true	35.0	8.69	2526294016	true	35.2	8.59	2481995776	true	28.8	13.2	2129371136	true	30.3	9.26	2306691072	true	35.0	7.94	2185781248	true	35.5	7.21	2234810368	true	36.1	7.05	2559250432	true	29.2	12.5	1979219968	true	30.5	9.12	2192510976	true	35.0	7.33	2253086720	true	38.6	7.03	2511302656	true	38.1	6.77	2161836032	true	32.5	12.5	2119888896	true	33.1	9.01	2224676864	true	35.3	7.09	2135183360	true	41.3	7.04	2173284352	true	39.5	6.58	2222596096
Problem04_label05_true-unreach-call.c	true	25.8	16.5	2184876032	true	28.0	13.3	2403196928	true	32.9	12.1	2365554688	true	33.6	11.2	2361384960	true	33.7	10.8	2229387264	true	29.4	15.4	2121236480	true	28.5	10.4	2301300736	true	32.6	8.96	2483744768	true	34.8	8.59	2448371712	true	35.3	8.53	2463870976	true	26.8	12.6	2038095872	true	29.3	9.29	2125742080	true	33.8	7.60	2419134464	true	37.1	7.32	2183053312	true	36.7	7.12	2290728960	true	28.9	12.4	2018349056	true	32.4	9.25	2387845120	true	33.7	7.18	2240991232	true	37.8	7.16	2242514944	true	40.9	7.11	2113802240	true	30.7	12.4	1994424320	true	34.6	9.38	2266648576	true	37.6	7.29	2244329472	true	38.8	6.69	2163564544	true	41.1	6.81	2299850752
Problem04_label07_true-unreach-call.c	true	25.5	16.6	2167312384	true	29.2	13.8	2417422336	true	30.6	11.4	2224635904	true	34.2	11.3	2343227392	true	34.3	10.9	2268418048	true	27.3	14.8	2397769728	true	27.9	10.5	2229067776	true	31.6	8.84	2396459008	true	34.6	8.52	2332614656	true	36.3	8.72	2486652928	true	29.0	13.3	2260975616	true	34.6	9.89	2226135040	true	33.4	7.95	2492911616	true	37.7	7.52	2173997056	true	36.8	7.42	2469535744	true	29.7	12.6	1991520256	true	31.4	9.25	2426404864	true	36.3	7.52	2351144960	true	37.4	6.83	2361257984	true	39.4	6.89	2201071616	true	32.9	12.8	2250387456	true	32.7	8.93	2108219392	true	37.0	7.36	2260881408	true	39.8	6.91	2223136768	true	40.6	6.97	2524487680
Problem04_label08_true-unreach-call.c	true	26.1	17.0	2228084736	true	27.1	13.2	2160619520	true	32.5	12.1	2374135808	true	34.3	11.2	2295697408	true	34.3	11.2	2347692032	true	27.2	14.6	2187472896	true	28.4	10.5	2382733312	true	32.9	9.28	2519887872	true	34.5	8.51	2389196800	true	35.0	8.33	2356027392	true	28.2	13.2	2098655232	true	29.2	9.48	2059571200	true	33.4	7.69	2267119616	true	37.2	7.45	2463772672	true	37.0	7.22	2396180480	true	30.4	12.7	2238296064	true	31.2	9.05	2381389824	true	35.7	7.41	2391293952	true	37.2	6.83	2504822784	true	38.3	6.74	2270031872	true	29.5	12.2	2327437312	true	35.9	9.92	2281578496	true	37.7	7.43	2096418816	true	40.1	6.94	2440982528	true	38.1	6.48	2180096000
Problem04_label10_true-unreach-call.c	true	25.5	16.6	2158415872	true	28.7	13.4	2343477248	true	32.0	11.8	2327687168	true	33.4	11.2	2465517568	true	34.4	10.9	2295095296	true	26.6	13.9	2065522688	true	27.7	10.6	2241445888	true	33.6	9.55	2599550976	true	35.3	8.86	2679029760	true	35.0	8.27	2264920064	true	27.5	12.8	2374684672	true	32.2	10.2	2065276928	true	33.9	7.96	2360700928	true	35.3	7.15	2230284288	true	36.0	7.08	2367672320	true	29.6	12.4	1959239680	true	32.1	9.42	2148769792	true	34.2	7.16	2292502528	true	38.4	7.00	2217209856	true	38.6	6.71	2136190976	true	33.2	12.9	2212741120	true	34.4	9.24	2292285440	true	37.9	7.41	2116800512	true	39.8	6.84	2353618944	true	39.2	6.58	2188115968
Problem04_label16_true-unreach-call.c	true	25.6	16.7	2239696896	true	26.7	13.0	2149941248	true	32.3	11.8	2295107584	true	34.3	11.3	2380599296	true	34.7	11.3	2366517248	true	27.5	14.9	2160242688	true	28.5	10.9	2168012800	true	33.7	9.23	2559455232	true	34.1	8.10	2753454080	true	35.3	8.55	2459308032	true	28.9	13.1	2144710656	true	28.7	9.05	2114121728	true	34.8	7.98	2235072512	true	37.1	7.39	2284085248	true	37.4	7.42	2566586368	true	29.5	12.7	2024169472	true	31.2	9.14	2293993472	true	34.9	7.34	2267361280	true	37.9	6.99	2192809984	true	42.1	7.48	2868580352	true	30.8	12.4	2176614400	true	32.7	8.78	2267451392	true	37.5	7.41	2438623232	true	40.8	7.12	2159894528	true	39.9	6.65	2407141376
Problem04_label20_true-unreach-call_false-termination.c	true	26.2	17.0	2220040192	true	29.0	13.5	2421940224	true	32.5	12.1	2345705472	true	33.6	11.1	2332078080	true	35.0	11.3	2359336960	true	26.1	14.2	2171473920	true	28.7	10.7	2269790208	true	36.2	11.1	2574893056	true	35.3	8.60	2358104064	true	36.6	8.62	2531270656	true	27.7	12.7	2104233984	true	30.4	9.45	2139709440	true	32.4	7.42	2281820160	true	36.3	7.28	2296479744	true	37.7	7.21	2213670912	true	29.2	12.5	2187558912	true	34.7	9.53	2248687616	true	36.1	7.50	2369585152	true	37.2	6.81	2181988352	true	38.3	6.80	2199728128	true	30.5	12.3	2036301824	true	32.6	8.83	2185162752	true	36.6	7.38	2184167424	true	39.7	6.83	2177339392	true	40.7	6.92	2331160576
Problem04_label21_true-unreach-call.c	true	26.5	17.2	2262556672	true	27.8	13.1	2177417216	true	31.9	11.8	2332102656	true	34.4	11.2	2285543424	true	33.9	11.0	2268532736	true	26.7	14.5	2388000768	true	30.8	11.9	2282414080	true	36.3	10.8	2535661568	true	34.6	8.45	2246852608	true	35.3	8.46	2404786176	true	27.4	12.6	2305368064	true	31.8	9.97	2605318144	true	33.0	7.58	2347495424	true	36.9	7.28	2385199104	true	36.6	7.04	2408742912	true	28.6	12.3	2181279744	true	31.0	9.06	2330042368	true	34.5	7.32	2287104000	true	37.9	6.93	2326614016	true	39.2	6.86	2177781760	true	31.1	12.4	2041602048	true	32.5	9.01	2359939072	true	36.6	7.25	2417750016	true	39.9	6.88	2130927616	true	39.7	6.65	2448756736
Problem04_label22_true-unreach-call.c	true	26.0	16.7	2211454976	true	27.6	13.5	2197585920	true	30.6	11.5	2271166464	true	35.1	12.2	2597703680	true	35.3	11.0	2270416896	true	26.0	14.1	2160005120	true	28.9	10.5	2233307136	true	32.7	9.19	2526449664	true	34.4	8.34	2245206016	true	35.2	8.30	2440265728	true	27.5	12.7	2364465152	true	30.2	9.37	2191863808	true	34.1	7.78	2298454016	true	35.0	6.96	2331996160	true	36.1	7.00	2242244608	true	32.0	13.1	2004639744	true	31.8	9.14	2246545408	true	36.7	7.55	2214793216	true	37.2	6.84	2173624320	true	39.3	7.04	2445905920	true	31.6	12.6	2059710464	true	32.8	8.91	2095788032	true	37.0	7.30	2170621952	true	39.1	6.68	2251890688	true	40.5	6.81	2471776256
Problem04_label23_true-unreach-call_false-termination.c	true	24.7	16.8	2197520384	true	27.1	13.1	2181042176	true	32.5	11.8	2302926848	true	34.0	11.1	2290151424	true	34.4	10.9	2321887232	true	26.7	14.1	2177048576	true	30.7	11.6	2525741056	true	32.5	8.94	2306981888	true	34.9	8.62	2305024000	true	34.8	8.13	2238853120	true	27.0	12.7	2113822720	true	30.0	9.74	2133553152	true	34.4	7.97	2165346304	true	36.8	7.36	2230071296	true	34.4	6.69	2282287104	true	30.0	12.8	2304098304	true	30.8	8.87	2182500352	true	35.6	7.43	2213675008	true	37.5	6.98	2312658944	true	38.7	6.80	2126745600	true	32.1	12.6	2185510912	true	33.8	9.14	2470297600	true	37.3	7.24	2220822528	true	41.5	7.15	2164592640	true	39.5	6.70	2337488896
Problem04_label24_true-unreach-call_false-termination.c	true	27.2	17.1	2195034112	true	28.4	13.3	2221854720	true	31.7	11.6	2259189760	true	33.3	11.0	2350026752	true	35.8	11.3	2306666496	true	29.4	15.7	2145570816	true	28.6	11.0	2161184768	true	32.2	8.80	2315923456	true	34.1	8.52	2431127552	true	37.2	9.73	2371809280	true	28.8	13.1	2146746368	true	29.8	9.35	2072698880	true	32.9	7.65	2455166976	true	36.1	7.23	2267140096	true	36.6	7.11	2306248704	true	29.7	12.7	2106859520	true	32.6	9.58	2244014080	true	34.6	7.32	2279972864	true	37.6	6.82	2150420480	true	38.6	6.81	2169925632	true	30.1	12.3	1998196736	true	32.0	8.87	2395860992	true	37.0	7.21	2314289152	true	39.5	6.78	2253053952	true	40.3	6.70	2360885248
Problem04_label25_true-unreach-call.c	true	27.2	17.3	2279821312	true	28.7	13.4	2435796992	true	32.3	11.8	2302517248	true	33.4	11.2	2328932352	true	35.0	10.9	2275049472	true	26.2	14.1	2076798976	true	32.6	12.6	2474913792	true	33.5	9.11	2332516352	true	34.3	8.42	2367279104	true	36.2	8.70	2435239936	true	26.0	12.5	2108600320	true	29.5	9.47	2388819968	true	35.0	7.95	2468794368	true	35.2	6.97	2254385152	true	37.9	7.54	2263662592	true	28.8	12.4	2194644992	true	32.0	9.17	2413490176	true	34.6	7.25	2249560064	true	38.0	6.90	2294820864	true	38.5	6.79	2627817472	true	31.2	12.3	2080722944	true	33.2	8.99	2267656192	true	37.2	7.47	2264596480	true	39.9	6.85	2217197568	true	40.2	6.74	2222632960
Problem04_label28_true-unreach-call.c	true	26.2	17.3	2394140672	true	28.7	14.1	2196893696	true	31.2	11.5	2252738560	true	34.6	11.3	2275606528	true	34.2	10.9	2331058176	true	30.8	16.4	2280046592	true	29.8	11.2	2218524672	true	32.9	9.31	2577797120	true	34.5	8.43	2344120320	true	34.6	8.23	2368659456	true	27.8	13.1	2107113472	true	28.6	9.17	2241269760	true	34.8	7.87	2470440960	true	36.0	7.39	2520342528	true	37.8	7.24	2219601920	true	30.1	12.7	2122788864	true	40.3	10.5	2270035968	true	36.0	7.50	2294644736	true	37.6	6.92	2372546560	true	38.9	6.88	2179960832	true	30.8	12.4	2061971456	true	34.1	9.31	2268078080	true	35.6	7.16	2093211648	true	39.1	6.69	2252214272	true	41.2	6.86	2518822912
Problem04_label29_true-unreach-call_false-termination.c	true	25.7	17.1	2210508800	true	27.9	13.5	2405605376	true	31.3	11.4	2244739072	true	33.7	10.9	2264047616	true	34.1	10.8	2315440128	true	29.0	15.2	2114330624	true	28.0	10.8	2358620160	true	31.8	8.89	2295390208	true	35.0	8.44	2319749120	true	35.1	8.55	2456346624	true	26.6	12.4	2030383104	true	30.8	9.49	2359234560	true	32.2	7.53	2397253632	true	35.5	7.08	2314690560	true	37.1	7.23	2357252096	true	30.4	12.7	2196664320	true	31.3	9.18	2277584896	true	35.7	7.40	2112573440	true	37.3	6.83	2156982272	true	37.9	6.65	2115272704	true	31.8	12.6	1972985856	true	37.8	9.20	2383609856	true	35.8	7.14	2109587456	true	39.8	6.88	2223022080	true	39.1	6.58	2173325312
Problem04_label30_true-unreach-call.c	true	26.2	17.0	2291560448	true	29.1	13.5	2427379712	true	31.8	11.9	2559078400	true	33.4	11.2	2356871168	true	34.9	10.8	2288787456	true	30.6	16.3	2218901504	true	28.6	11.0	2532519936	true	32.4	8.98	2259963904	true	34.2	8.50	2542129152	true	39.1	10.3	2480029696	true	27.4	12.8	2230972416	true	30.7	9.44	2164932608	true	32.7	7.56	2215653376	true	35.0	7.00	2294149120	true	37.9	7.38	2370232320	true	28.8	12.6	2162679808	true	37.4	9.63	2430136320	true	34.1	7.24	2347167744	true	38.1	7.07	2487267328	true	38.1	6.81	2376519680	true	31.9	12.2	1979105280	true	34.7	9.36	2285236224	true	35.1	6.97	2127917056	true	38.4	6.72	2109997056	true	38.6	6.60	2283417600
Problem04_label33_true-unreach-call.c	true	26.3	16.8	2169102336	true	27.4	13.3	2203369472	true	31.8	11.7	2293436416	true	33.1	11.0	2283384832	true	35.1	11.1	2273112064	true	26.3	13.9	2205732864	true	34.3	11.2	2346717184	true	31.3	8.86	2304499712	true	35.4	8.69	2461556736	true	35.7	8.40	2265681920	true	29.8	13.3	2273697792	true	30.4	9.57	2104377344	true	31.9	7.33	2221416448	true	35.2	7.13	2414628864	true	36.2	6.94	2252906496	true	29.4	12.7	2299371520	true	31.3	9.10	2368106496	true	36.1	7.69	2115002368	true	37.3	6.83	2197454848	true	39.0	6.91	2206904320	true	29.8	12.2	2218385408	true	34.0	9.13	2263805952	true	37.2	7.27	2491297792	true	39.6	6.88	2151870464	true	41.0	6.72	2276126720
Problem04_label34_true-unreach-call.c	true	25.7	16.8	2166358016	true	28.2	13.1	2206617600	true	30.8	11.4	2256728064	true	33.5	11.1	2277728256	true	35.1	11.2	2274553856	true	26.0	13.8	2262360064	true	29.9	10.8	2289823744	true	34.1	9.49	2372886528	true	35.4	8.58	2506203136	true	36.2	8.45	2285015040	true	28.0	13.0	2047860736	true	34.4	11.2	2121961472	true	33.9	7.66	2288099328	true	35.5	7.16	2331676672	true	36.6	7.14	2390564864	true	29.5	12.5	2005901312	true	34.8	9.66	2341335040	true	35.5	7.27	2177626112	true	38.2	6.94	2202181632	true	38.4	6.81	2144653312	true	31.4	12.3	2079117312	true	33.6	8.93	2064519168	true	37.0	7.19	2173775872	true	39.3	6.91	2340868096	true	38.2	6.39	2109116416
Problem04_label37_true-unreach-call_false-termination.c	true	25.4	16.4	2165260288	true	27.1	13.4	2426716160	true	32.8	11.8	2320146432	true	33.7	10.9	2268983296	true	33.9	10.8	2285170688	true	29.3	15.2	2057084928	true	33.2	13.0	2326446080	true	31.0	8.72	2478080000	true	34.7	8.57	2408853504	true	35.0	8.21	2231263232	true	27.0	12.7	2054725632	true	28.3	9.20	2319929344	true	35.5	8.05	2358259712	true	36.0	7.22	2334388224	true	37.4	7.43	2490646528	true	30.2	12.6	2194796544	true	32.0	9.20	2231685120	true	35.1	7.32	2229030912	true	37.7	6.86	2143404032	true	37.4	6.65	2490552320	true	30.2	12.2	2146734080	true	33.3	9.04	2287046656	true	38.1	7.73	2209914880	true	39.1	6.81	2263543808	true	41.5	6.93	2181304320
Problem04_label41_true-unreach-call.c	true	27.0	16.9	2280153088	true	31.1	14.3	2452852736	true	32.4	11.7	2294685696	true	33.5	11.0	2342899712	true	35.6	11.4	2304552960	true	27.4	14.2	2334322688	true	28.7	10.8	2203963392	true	32.5	9.11	2373406720	true	35.2	8.63	2376941568	true	35.5	8.46	2301583360	true	27.3	12.8	2292756480	true	29.8	9.31	2097414144	true	35.0	8.04	2519789568	true	34.1	6.86	2165284864	true	36.2	7.29	2455744512	true	28.8	12.4	1982115840	true	32.1	10.1	2196750336	true	36.0	7.55	2149904384	true	37.7	6.86	2119626752	true	39.2	6.82	2167189504	true	32.6	12.5	1960079360	true	34.3	9.30	2380738560	true	36.2	7.14	2464972800	true	46.2	7.72	2448744448	true	41.3	6.98	2226905088
Problem04_label42_true-unreach-call_false-termination.c	true	26.1	17.0	2238513152	true	27.0	13.1	2211733504	true	32.6	12.1	2407604224	true	33.8	11.1	2343337984	true	33.9	10.9	2305355776	true	27.5	14.5	2332512256	true	29.2	10.4	2707316736	true	31.4	8.95	2514083840	true	36.0	8.73	2446278656	true	34.1	8.38	2239352832	true	29.4	13.3	2222055424	true	30.3	9.52	2162683904	true	32.2	7.52	2341478400	true	35.3	7.09	2188582912	true	36.6	6.97	2417233920	true	30.2	12.5	2098102272	true	32.2	9.08	2302615552	true	36.6	7.75	2490314752	true	37.4	6.86	2162987008	true	38.1	6.75	2200604672	true	30.2	12.5	2059636736	true	32.6	9.06	2249203712	true	36.1	7.36	2217275392	true	39.4	7.00	2360524800	true	39.5	6.67	2259984384
Problem04_label43_true-unreach-call_false-termination.c	true	25.5	16.8	2134990848	true	28.8	13.6	2442665984	true	31.0	11.6	2291208192	true	34.5	11.2	2311946240	true	34.4	11.1	2325196800	true	27.8	15.2	2065915904	true	28.9	10.8	2369572864	true	32.5	9.27	2426544128	true	36.1	8.77	2465914880	true	35.9	8.52	2507337728	true	28.4	12.9	2240167936	true	31.2	9.67	2427596800	true	33.1	7.70	2359173120	true	36.2	7.26	2405888000	true	36.0	7.07	2259714048	true	29.0	12.5	2129076224	true	34.8	9.59	2259333120	true	36.0	7.41	2126077952	true	37.1	6.80	2284064768	true	39.4	6.96	2204413952	true	31.2	12.4	2168651776	true	33.4	8.96	2058559488	true	36.0	7.26	2122530816	true	40.0	6.82	2142404608	true	39.8	6.79	2225549312
Problem04_label44_true-unreach-call_false-termination.c	true	26.5	17.3	2272686080	true	27.7	13.4	2403983360	true	30.8	11.4	2259918848	true	33.3	11.0	2289266688	true	34.9	11.0	2273316864	true	26.9	14.2	2337796096	true	28.2	10.7	2201022464	true	31.8	8.94	2413502464	true	35.2	8.79	2562375680	true	35.8	8.55	2260357120	true	27.6	12.7	2187702272	true	30.7	9.72	2166980608	true	36.5	8.38	2400006144	true	35.5	7.17	2194853888	true	37.4	7.19	2940317696	true	28.8	12.4	1966051328	true	35.2	10.3	2250350592	true	36.1	7.50	2163871744	true	36.3	6.68	2166452224	true	38.0	6.74	2454126592	true	31.2	12.5	2067542016	true	33.3	9.21	2078269440	true	35.1	7.00	2617659392	true	38.0	6.63	2253209600	true	39.8	6.63	2130247680
Problem04_label46_true-unreach-call_false-termination.c	true	26.1	17.1	2205270016	true	28.1	13.5	2387808256	true	32.1	11.9	2445783040	true	34.4	11.4	2435944448	true	36.2	11.2	2301276160	true	29.0	15.4	2221821952	true	33.9	13.6	2189217792	true	31.1	8.92	2338267136	true	35.3	8.94	2469277696	true	35.0	8.29	2474184704	true	27.2	13.0	2042855424	true	31.5	10.1	2365820928	true	33.4	7.69	2366394368	true	36.3	7.15	2277416960	true	37.1	7.31	2334527488	true	30.0	12.4	2032521216	true	31.5	9.00	2298736640	true	36.8	7.60	2362437632	true	36.8	6.76	2418253824	true	37.7	6.70	2453012480	true	30.6	12.3	2026766336	true	33.0	8.98	2168426496	true	36.8	7.24	2303217664	true	39.0	6.71	2217639936	true	39.6	6.62	2142986240
Problem04_label47_true-unreach-call.c	true	25.8	17.0	2274369536	true	28.0	13.4	2392748032	true	31.9	11.5	2279854080	true	33.7	10.9	2229731328	true	34.1	11.1	2309156864	true	26.4	14.2	2272505856	true	29.1	11.0	2532954112	true	32.3	8.86	2236305408	true	35.3	8.75	2466754560	true	35.1	8.27	2326183936	true	26.8	12.7	2088742912	true	29.0	9.25	2111803392	true	34.4	7.83	2348457984	true	35.7	7.22	2376945664	true	37.3	7.39	2316783616	true	29.5	12.5	2026864640	true	30.8	9.12	2373337088	true	35.4	7.32	2173878272	true	36.8	6.79	2144124928	true	37.3	6.62	2312183808	true	30.5	12.4	1998893056	true	33.9	9.09	2200055808	true	36.3	7.25	2286534656	true	37.8	6.69	2266755072	true	39.1	6.58	2299478016
Problem04_label48_true-unreach-call.c	true	26.6	17.0	2241265664	true	28.2	13.2	2219302912	true	32.2	12.1	2472984576	true	33.6	11.2	2380840960	true	34.4	11.1	2305486848	true	28.3	14.7	2275803136	true	28.5	10.8	2366918656	true	31.7	8.89	2274381824	true	34.2	8.32	2382381056	true	35.1	8.49	2573230080	true	28.5	12.8	2200043520	true	30.5	9.64	2334842880	true	33.5	7.61	2282225664	true	37.2	7.45	2247139328	true	36.6	7.10	2303160320	true	29.5	12.5	2002636800	true	34.2	9.81	2293899264	true	35.0	7.29	2210623488	true	41.3	7.12	2358026240	true	38.7	6.94	2179780608	true	31.9	12.7	2302513152	true	32.7	8.89	2222428160	true	35.6	7.07	2129043456	true	39.3	6.82	2218643456	true	39.3	6.52	2115203072
Problem04_label49_true-unreach-call_false-termination.c	true	25.8	16.7	2244435968	true	29.8	14.4	2383147008	true	32.9	12.0	2279178240	true	33.7	11.3	2430877696	true	34.3	10.9	2310500352	true	26.2	14.2	2328580096	true	29.1	10.7	2287259648	true	33.6	9.35	2202935296	true	35.0	8.52	2259382272	true	34.8	8.22	2311884800	true	27.5	12.9	2076573696	true	30.3	9.65	2078629888	true	31.9	7.46	2394333184	true	37.5	7.64	2440912896	true	39.6	8.02	2501447680	true	28.8	12.4	2246885376	true	32.7	9.17	2388566016	true	36.5	7.50	2182754304	true	37.3	6.83	2301763584	true	37.2	6.61	2211057664	true	31.5	12.6	2192576512	true	32.9	9.33	2333097984	true	36.1	7.20	2185334784	true	40.8	6.96	2255462400	true	39.6	6.57	2200846336
Problem04_label50_true-unreach-call.c	true	25.8	16.8	2160185344	true	28.7	13.6	2347917312	true	32.2	11.6	2276204544	true	35.6	12.0	2506833920	true	34.4	11.1	2367508480	true	26.8	14.3	2263838720	true	27.5	10.5	2248626176	true	34.2	9.41	2457792512	true	33.6	8.38	2401292288	true	35.8	8.34	2342211584	true	26.5	12.7	2116440064	true	32.2	9.79	2191888384	true	33.9	7.64	2252693504	true	36.7	7.43	2360487936	true	37.8	7.39	2534989824	true	28.7	12.4	1960087552	true	32.2	9.26	2137300992	true	35.1	7.37	2377318400	true	38.5	6.93	2183450624	true	38.9	6.85	2391732224	true	31.4	12.6	2115698688	true	38.5	9.31	2229727232	true	37.7	7.52	2189291520	true	40.2	6.95	2156752896	true	39.1	6.56	2120679424
Problem04_label51_true-unreach-call.c	true	27.6	17.2	2215469056	true	27.2	13.1	2172358656	true	31.8	11.5	2217050112	true	36.8	11.6	2421714944	true	35.7	11.6	2412511232	true	26.3	14.3	2126135296	true	28.7	10.7	2375835648	true	32.6	9.02	2372653056	true	34.4	8.43	2268737536	true	35.0	8.29	2371420160	true	28.1	12.7	2208616448	true	33.2	10.2	2293219328	true	33.5	7.63	2340659200	true	35.7	7.31	2272571392	true	36.8	7.10	2330267648	true	29.5	12.3	2093707264	true	31.4	9.09	2161676288	true	34.2	7.21	2377695232	true	36.8	6.83	2162814976	true	38.9	6.90	2434686976	true	31.3	12.5	2028158976	true	33.6	9.03	2164731904	true	37.6	7.41	2395545600	true	39.1	6.79	2375532544	true	41.5	6.88	2401648640
Problem04_label53_true-unreach-call.c	true	25.9	16.9	2215755776	true	27.9	13.3	2294820864	true	31.9	11.5	2219548672	true	35.0	11.2	2264043520	true	34.9	11.3	2371211264	true	29.7	16.0	2319798272	true	28.3	10.6	2224828416	true	31.9	8.82	2270928896	true	35.6	9.04	2612768768	true	35.4	8.52	2489225216	true	27.8	12.7	2090835968	true	31.8	10.3	2250846208	true	32.9	7.62	2298724352	true	37.0	7.36	2282844160	true	37.5	7.30	2396553216	true	30.0	12.6	2047184896	true	32.6	9.18	2277834752	true	35.5	7.39	2195435520	true	36.6	6.73	2111492096	true	39.4	7.01	2184777728	true	30.8	12.4	1999802368	true	34.3	9.80	2200023040	true	36.8	7.43	2305839104	true	39.0	6.70	2125623296	true	39.5	6.53	2159112192
Problem04_label54_true-unreach-call.c	true	25.5	17.0	2235195392	true	27.7	13.5	2147770368	true	33.1	11.7	2268610560	true	34.4	11.1	2275667968	true	34.4	10.9	2313449472	true	27.2	14.2	2226085888	true	28.4	10.9	2469687296	true	33.4	9.36	2511167488	true	34.1	8.46	2383462400	true	35.5	8.30	2281345024	true	27.4	12.9	2015727616	true	31.1	9.62	2410598400	true	32.3	7.49	2154872832	true	35.1	7.16	2498543616	true	36.9	7.10	2155339776	true	28.5	12.4	2017210368	true	30.9	9.16	2073493504	true	35.5	7.35	2168438784	true	36.6	6.85	2282270720	true	40.3	7.15	2173239296	true	30.2	12.2	2102726656	true	32.5	8.78	2211819520	true	37.2	7.29	2187112448	true	40.4	7.05	2515693568	true	40.9	7.00	2563842048
Problem04_label56_true-unreach-call.c	true	26.2	17.1	2183413760	true	26.9	13.3	2181287936	true	31.9	11.5	2212081664	true	33.7	11.3	2336886784	true	35.5	11.0	2307952640	true	25.2	13.9	2193784832	true	27.7	10.6	2241392640	true	32.7	8.88	2356207616	true	35.2	8.46	2358681600	true	35.5	8.61	2500014080	true	29.8	13.5	2268774400	true	29.0	9.24	2197225472	true	33.3	7.47	2281742336	true	35.7	7.24	2260987904	true	36.2	7.02	2270400512	true	28.5	12.4	2104774656	true	31.6	9.22	2191458304	true	35.8	7.45	2150850560	true	37.4	6.94	2182418432	true	38.9	6.84	2110349312	true	31.8	12.8	2051055616	true	34.3	9.33	2136821760	true	36.5	7.23	2245951488	true	39.1	6.83	2317938688	true	39.0	6.53	2220519424
Problem04_label57_true-unreach-call_false-termination.c	true	26.7	17.3	2218037248	true	27.7	13.5	2290843648	true	31.9	11.7	2227298304	true	34.1	11.0	2292445184	true	34.2	11.0	2359533568	true	26.4	14.3	2268004352	true	27.2	10.6	2265141248	true	33.0	9.07	2334269440	true	34.0	8.51	2427297792	true	36.0	8.54	2312794112	true	29.1	13.5	2160099328	true	30.9	9.52	2110054400	true	33.6	7.72	2175311872	true	34.9	6.97	2211328000	true	36.7	7.04	2176724992	true	28.8	12.4	1937752064	true	37.8	9.75	2405163008	true	38.2	7.86	2425880576	true	37.2	6.77	2318004224	true	38.7	6.81	2170486784	true	31.4	12.6	2272768000	true	33.8	9.00	2402447360	true	38.6	7.52	2202320896	true	38.9	6.71	2266759168	true	41.0	6.96	2224951296
Problem04_label59_true-unreach-call.c	true	25.9	16.9	2257444864	true	32.0	13.6	2392829952	true	32.2	11.8	2234585088	true	33.2	11.1	2354601984	true	35.1	11.1	2284552192	true	26.7	14.4	2082222080	true	27.9	10.6	2233540608	true	33.4	9.25	2378641408	true	34.5	8.54	2440630272	true	35.7	8.61	2387066880	true	28.1	12.9	2056257536	true	29.6	9.22	2148225024	true	34.0	7.88	2246193152	true	35.8	7.19	2310414336	true	35.7	7.02	2472923136	true	29.6	12.2	2012979200	true	34.2	10.3	2174832640	true	35.4	7.32	2187014144	true	38.2	6.99	2200510464	true	39.4	6.85	2304393216	true	31.6	12.5	2179538944	true	38.5	9.40	2291630080	true	35.1	6.97	2285158400	true	38.8	6.80	2215055360	true	39.3	6.59	2189225984
Problem05_label02_true-unreach-call.c	true	64.5	51.2	5095235584	true	65.2	38.8	5370023936	true	72.5	35.7	5466476544	true	75.4	32.1	5241012224	true	79.0	33.9	5641363456	true	56.2	34.1	5223034880	true	66.4	29.0	5072936960	true	79.1	27.1	5051416576	true	81.1	23.5	5405908992	true	81.2	22.2	5156728832	true	76.9	34.8	5384519680	true	65.4	21.9	5076246528	true	93.8	22.9	5363675136	true	94.0	19.8	5243068416	true	87.1	17.6	5084389376	true	67.4	29.9	5095272448	true	100	25.9	5342146560	true	103	20.3	5415620608	true	103	18.3	5145919488	true	106	18.1	5048881152	true	76.9	29.6	4739006464	true	111	25.4	4915724288	true	108	19.1	4974149632	true	120	18.5	5413552128	true	115	17.4	5179846656
Problem05_label03_true-unreach-call.c	true	63.4	50.2	5381496832	true	67.9	41.9	5077295104	true	72.7	35.1	5218136064	true	78.5	33.6	5518127104	true	82.4	36.8	5596622848	true	69.6	40.8	5128736768	true	68.5	29.0	5001842688	true	73.1	23.9	5428314112	true	83.6	25.6	5628092416	true	75.5	20.3	5452443648	true	58.6	30.3	4985081856	true	74.1	24.5	4713623552	true	83.0	20.2	4980015104	true	85.0	18.1	5425098752	true	99.4	20.6	5488009216	true	69.1	29.8	4932001792	true	103	26.6	5360959488	true	105	20.7	5494177792	true	93.4	16.5	5026394112	true	113	19.1	5240033280	true	89.9	31.4	5109256192	true	76.6	20.1	4676284416	true	81.2	15.6	4841447424	true	124	19.0	5336997888	true	135	19.7	5385347072
Problem05_label04_true-unreach-call.c	true	66.7	53.4	5119610880	true	66.8	41.0	5174288384	true	72.1	35.0	5449842688	true	76.3	33.3	5427474432	true	77.9	32.0	5359890432	true	61.3	36.4	5031780352	true	77.0	33.5	5330255872	true	71.5	23.7	5446795264	true	79.1	23.4	5492756480	true	81.7	22.5	5393354752	true	69.6	32.3	5340069888	true	71.2	23.4	4816982016	true	74.1	17.9	5061390336	true	74.5	15.3	4834455552	true	100	21.0	5554827264	true	67.9	29.5	4913512448	true	101	26.0	5200420864	true	111	22.3	5383188480	true	108	19.0	5326254080	true	112	19.1	5236899840	true	73.2	29.1	4960391168	true	105	23.9	5296693248	true	118	20.1	5158178816	true	126	19.2	5210451968	true	122	18.0	5031542784
Problem05_label05_true-unreach-call.c	true	62.5	49.6	5223395328	true	66.3	41.2	5162770432	true	74.7	34.5	5382963200	true	75.4	32.6	5392982016	true	78.5	32.5	5424529408	true	70.8	40.9	5256011776	true	73.2	31.4	5268537344	true	73.3	23.4	4893458432	true	78.9	22.9	5416243200	true	75.7	20.1	5044609024	true	73.1	33.4	5137838080	true	79.0	25.3	5065166848	true	77.6	18.6	5047263232	true	90.2	19.2	5107884032	true	100	20.7	5142810624	true	71.2	30.6	5045436416	true	72.7	21.2	4990242816	true	102	20.7	4895866880	true	112	20.0	5466398720	true	116	19.6	5384237056	true	97.7	31.8	4980891648	true	73.9	20.1	5112483840	true	107	18.7	4694818816	true	107	16.9	4945485824	true	133	19.3	5187457024
Problem05_label06_true-unreach-call.c	true	66.4	53.4	5110923264	true	65.6	38.3	4989550592	true	80.9	40.8	5358624768	true	75.2	31.3	5215756288	true	80.9	33.5	5599625216	true	65.0	39.0	5441671168	true	66.6	28.5	5227143168	true	73.2	24.1	5388877824	true	82.1	24.6	5560643584	true	86.8	25.4	5642547200	true	78.5	34.8	5478207488	true	74.7	24.1	4851138560	true	80.3	19.5	5136793600	true	86.2	18.2	5285785600	true	93.0	18.9	5517221888	true	66.9	29.7	4759564288	true	70.9	20.9	4729147392	true	91.1	18.5	4854251520	true	95.4	17.0	5051969536	true	101	17.5	5319823360	true	71.4	29.0	5009522688	true	115	25.6	4915073024	true	122	21.2	5109919744	true	112	17.4	4992835584	true	115	17.3	5319950336
Problem05_label07_true-unreach-call.c	true	65.3	50.9	5186465792	true	65.5	39.8	4982181888	true	70.7	34.0	5198405632	true	74.5	31.6	5125861376	true	81.4	37.0	5538250752	true	65.1	38.7	5410488320	true	64.9	28.1	5199417344	true	74.3	24.5	5403209728	true	75.9	21.6	5503545344	true	81.7	23.0	5416726528	true	64.3	31.0	4936196096	true	72.4	23.7	4959137792	true	90.7	21.8	5509877760	true	88.3	18.8	5069123584	true	94.9	19.1	5272399872	true	88.1	33.5	5222715392	true	88.9	25.1	5396078592	true	99.4	19.9	5227597824	true	115	20.1	5399150592	true	107	18.1	5093019648	true	94.1	32.3	5021827072	true	118	25.5	5108928512	true	123	21.0	5121503232	true	121	18.5	5567471616	true	127	18.6	5202178048
Problem05_label08_true-unreach-call.c	true	63.6	50.0	5345345536	true	64.9	38.6	5082099712	true	72.3	35.0	5391720448	true	75.2	31.4	5116428288	true	76.9	31.5	5351124992	true	59.5	35.2	4943671296	true	69.5	28.9	5157060608	true	76.6	25.5	5478559744	true	80.2	23.1	5568638976	true	78.5	21.2	5007474688	true	81.3	35.6	5210353664	true	76.5	25.1	5562884096	true	86.9	21.1	5428187136	true	83.6	17.8	4982931456	true	94.9	19.2	5464834048	true	72.3	30.0	4936015872	true	95.6	25.8	5405765632	true	110	22.1	5365436416	true	113	20.0	5371760640	true	118	20.1	5437689856	true	75.5	29.3	4964790272	true	114	25.2	4961742848	true	83.0	15.8	5110398976	true	108	16.9	5054328832	true	111	16.9	5007872000
Problem05_label09_true-unreach-call.c	true	63.5	50.0	5381087232	true	64.6	40.0	5318844416	true	72.6	33.3	4985077760	true	75.6	33.7	5488627712	true	78.6	33.6	5353492480	true	57.2	33.8	5218004992	true	64.3	27.6	4992864256	true	72.2	23.1	4991709184	true	76.1	21.4	5504233472	true	82.4	23.3	5179052032	true	64.6	31.6	5000654848	true	90.0	28.6	5438947328	true	85.7	20.9	5114109952	true	85.0	18.2	5379735552	true	90.6	18.4	5383168000	true	97.3	35.1	4962758656	true	68.5	20.6	5120462848	true	98.3	19.6	5221953536	true	108	19.2	5105000448	true	97.7	16.6	5273960448	true	70.3	28.6	4653584384	true	76.5	20.3	4583153664	true	120	20.5	5072408576	true	126	19.3	5229154304	true	110	16.7	5031067648
Problem05_label10_true-unreach-call.c	true	61.2	48.1	5219512320	true	66.7	40.7	5020393472	true	70.3	33.7	5166637056	true	81.0	38.7	5730533376	true	76.8	31.8	5349056512	true	64.6	38.3	5156220928	true	65.7	27.7	4975349760	true	81.0	27.9	5273759744	true	76.7	22.3	5362581504	true	83.9	24.2	5586046976	true	67.4	32.1	5223534592	true	79.3	25.1	5413539840	true	79.2	19.3	5333581824	true	90.1	19.4	5192359936	true	97.5	19.9	5347622912	true	65.6	29.4	4914786304	true	70.7	21.7	4700844032	true	98.1	19.5	5462011904	true	109	19.5	5402075136	true	105	17.9	5068873728	true	72.2	29.4	5044957184	true	74.1	19.8	4888764416	true	111	19.5	5186936832	true	119	18.6	5205966848	true	120	17.7	5168795648
Problem05_label12_true-unreach-call.c	true	68.3	55.7	5298372608	true	72.1	42.6	5141344256	true	70.8	35.3	5023649792	true	75.7	32.6	5423022080	true	77.1	32.2	5356769280	true	65.8	39.0	5329809408	true	66.6	28.8	5013233664	true	75.6	24.5	5426761728	true	85.3	25.6	5643448320	true	91.1	27.1	5865439232	true	72.3	33.1	5066809344	true	80.9	26.1	5586771968	true	86.9	21.2	5226708992	true	88.6	19.0	5475332096	true	105	22.0	5643493376	true	70.2	29.8	5111746560	true	98.0	25.2	5462798336	true	101	20.4	5237469184	true	96.5	17.5	5128744960	true	112	19.2	5106954240	true	103	33.2	5029560320	true	79.7	21.6	4872380416	true	78.0	15.1	4891959296	true	116	17.9	5434658816	true	123	18.0	5440323584
Problem05_label14_true-unreach-call.c	true	62.8	49.5	5365198848	true	67.0	40.7	5068283904	true	71.2	33.8	5185171456	true	74.8	32.5	5368016896	true	75.6	30.8	5086486528	true	65.6	38.3	5422395392	true	73.5	32.6	5321560064	true	74.7	24.4	5541400576	true	82.1	25.0	5115523072	true	78.2	21.1	5511712768	true	71.1	33.2	5229879296	true	79.7	25.7	5218508800	true	72.6	17.5	5091958784	true	94.4	20.5	5507723264	true	89.6	18.3	5427052544	true	85.1	32.4	5000511488	true	104	26.4	5101228032	true	79.1	16.7	4998275072	true	106	18.9	5226524672	true	118	20.0	5444657152	true	76.0	29.6	5197889536	true	107	24.7	5405614080	true	111	19.5	5066674176	true	114	17.8	5009506304	true	112	17.1	5215485952
Problem05_label16_true-unreach-call.c	true	63.1	49.3	5344616448	true	67.2	41.4	5442682880	true	71.4	34.4	5306507264	true	75.2	32.8	5396045824	true	79.8	33.1	5491851264	true	69.2	40.3	5260967936	true	65.9	28.4	5049040896	true	78.6	26.5	5228646400	true	77.8	22.9	5430288384	true	87.8	25.8	5530132480	true	72.1	33.1	5280628736	true	81.8	25.9	4941828096	true	86.3	21.2	5338783744	true	82.2	17.5	5286625280	true	90.9	18.6	5131587584	true	93.9	34.2	4836687872	true	100	25.6	5027356672	true	101	20.1	5169950720	true	114	20.2	5161431040	true	106	18.0	4989349888	true	73.2	29.3	4725125120	true	105	24.6	5363138560	true	109	19.1	5348134912	true	119	18.4	5612236800	true	112	16.6	5156200448
Problem05_label17_true-unreach-call.c	true	65.6	52.6	5088677888	true	64.1	38.3	5007196160	true	71.9	34.4	5413265408	true	74.8	32.9	5440835584	true	77.7	32.5	5449400320	true	65.3	38.3	5011599360	true	62.5	27.3	4953726976	true	77.9	25.9	5396652032	true	72.8	20.6	5317382144	true	78.0	20.9	5394542592	true	60.1	30.1	4713537536	true	80.1	25.6	5252456448	true	79.3	19.4	5124403200	true	88.7	18.9	5109624832	true	91.7	18.7	5265104896	true	71.9	30.7	5164179456	true	73.0	22.3	5222256640	true	98.7	20.0	5039652864	true	105	18.7	5160099840	true	113	18.9	5323251712	true	75.0	29.7	4357853184	true	75.5	20.4	4946546688	true	79.0	15.4	4877082624	true	84.8	13.9	4908232704	true	122	18.1	5075058688
Problem05_label19_true-unreach-call.c	true	61.8	49.2	5259698176	true	66.4	41.6	5313056768	true	70.1	34.1	5321310208	true	76.8	33.0	5374427136	true	78.3	32.9	5451161600	true	70.3	40.5	5215891456	true	66.5	28.5	5333831680	true	78.4	26.8	5602627584	true	78.9	23.5	5601603584	true	85.4	24.4	5713444864	true	61.4	30.7	5333450752	true	73.9	23.7	4832370688	true	83.9	20.3	5433778176	true	96.7	21.0	5285683200	true	92.0	18.5	5259575296	true	85.2	32.7	5230866432	true	70.7	21.0	4701667328	true	90.9	18.7	4926099456	true	111	19.6	4868456448	true	108	18.3	5258076160	true	73.2	29.4	4785377280	true	104	23.7	5268107264	true	123	21.2	5326614528	true	115	17.8	5426937856	true	123	18.1	5082132480
Problem05_label20_true-unreach-call.c	true	61.7	49.6	5363535872	true	67.7	41.0	5069824000	true	73.3	35.1	5317177344	true	76.1	32.4	5375836160	true	77.2	32.1	5352566784	true	67.8	39.9	5362462720	true	66.6	28.5	5210968064	true	75.6	26.0	5537165312	true	74.6	21.0	4889108480	true	80.3	22.5	5643808768	true	69.2	32.8	5217988608	true	77.6	24.7	5431865344	true	93.8	23.0	5530537984	true	88.2	18.9	5232209920	true	97.9	20.3	5271855104	true	64.8	28.9	4875272192	true	72.8	22.2	4817629184	true	103	20.5	5544144896	true	104	18.7	5140660224	true	108	18.2	5046550528	true	70.8	29.0	5027131392	true	73.4	19.9	4653563904	true	112	19.8	4946825216	true	108	16.9	4818419712	true	112	16.9	4874575872
Problem05_label21_true-unreach-call.c	true	65.2	52.5	5138935808	true	67.3	42.0	5093273600	true	70.5	33.7	5273010176	true	75.8	32.8	5403201536	true	82.4	37.0	5642608640	true	65.7	38.5	5280980992	true	67.3	29.2	5064241152	true	72.9	24.2	5421850624	true	74.6	21.1	4981313536	true	84.1	23.4	5545021440	true	66.2	31.5	4759404544	true	77.1	24.6	5284610048	true	84.7	20.9	5120270336	true	91.3	19.5	5381570560	true	105	22.1	5375475712	true	66.8	29.3	5004058624	true	93.4	24.4	5159768064	true	94.1	19.4	5196988416	true	101	18.0	5037105152	true	110	18.6	5038178304	true	98.5	32.1	5002031104	true	79.7	21.6	4712046592	true	122	21.1	5232193536	true	117	18.2	5147942912	true	127	18.6	5192536064
Problem05_label22_true-unreach-call.c	true	62.3	48.3	4810354688	true	63.7	38.4	5104513024	true	70.8	33.8	5254545408	true	74.5	33.0	5315727360	true	77.9	32.4	5382844416	true	76.4	44.5	5135314944	true	67.8	29.7	5201833984	true	72.7	23.0	5491109888	true	88.4	26.9	5485535232	true	81.7	23.0	5639471104	true	75.6	34.6	4998516736	true	64.0	21.6	4735291392	true	93.6	22.8	5348286464	true	90.4	19.2	5390970880	true	101	21.2	5525270528	true	71.5	30.5	4817633280	true	93.3	24.3	5172559872	true	105	21.1	5060083712	true	112	20.0	5466685440	true	108	18.3	5523529728	true	75.6	29.8	5040504832	true	97.9	23.0	5153083392	true	122	21.1	5152452608	true	118	18.1	5232533504	true	128	18.8	5189238784
Problem05_label23_true-unreach-call.c	true	63.2	49.4	5197078528	true	64.8	38.1	5024432128	true	81.4	39.0	5483982848	true	74.9	33.3	5441024000	true	77.2	31.8	5300695040	true	66.9	39.2	5487329280	true	65.2	27.5	5017665536	true	74.7	25.0	5264056320	true	77.1	22.3	5469880320	true	85.1	25.0	5652918272	true	60.7	30.4	5059133440	true	82.2	26.1	5468487680	true	88.5	21.6	5164060672	true	98.3	21.4	5557501952	true	98.7	20.5	5487517696	true	89.5	33.2	5026164736	true	67.4	20.1	5329891328	true	102	20.5	5242212352	true	98.7	17.6	5319278592	true	114	19.3	5105516544	true	75.0	29.4	4664438784	true	116	25.1	5102424064	true	118	20.4	5216100352	true	116	18.0	4942520320	true	121	17.8	5574332416
Problem05_label25_true-unreach-call.c	true	62.3	49.9	5416730624	true	63.8	38.7	5035937792	true	73.5	36.6	5078343680	true	73.8	31.9	5162545152	true	77.7	32.0	5310963712	true	67.1	39.8	5116125184	true	69.9	29.8	5043580928	true	71.1	23.2	5412814848	true	77.6	22.5	5452922880	true	80.1	22.4	5650649088	true	77.3	34.3	5128306688	true	84.4	27.7	5274959872	true	77.6	18.9	5086797824	true	88.2	19.1	4931072000	true	95.4	19.6	5118083072	true	91.5	33.8	4900368384	true	71.6	20.9	4949577728	true	102	20.4	5092454400	true	103	18.6	5013180416	true	118	20.0	5395337216	true	78.4	29.4	4606636032	true	75.2	20.4	5043605504	true	113	20.4	5190090752	true	120	18.6	5064949760	true	121	17.9	5197709312
Problem05_label27_true-unreach-call.c	true	61.7	49.4	5331501056	true	65.8	40.9	5195079680	true	72.3	34.7	5249503232	true	75.0	32.4	5339062272	true	78.0	32.3	5487292416	true	75.2	43.0	5249839104	true	65.4	27.8	5043560448	true	72.3	22.7	5398085632	true	79.5	23.4	5066944512	true	80.3	22.5	5546520576	true	70.1	32.4	5209497600	true	61.3	20.9	4802211840	true	82.3	19.9	5019508736	true	97.1	21.4	5612998656	true	101	21.3	5720219648	true	69.2	30.0	5080506368	true	94.3	24.9	4474208256	true	98.0	19.8	5000237056	true	105	18.6	5132304384	true	84.1	14.4	4746182656	true	98.8	32.6	5061259264	true	103	23.7	5259902976	true	120	20.6	5080072192	true	85.9	14.2	4831883264	true	127	18.5	5020479488
Problem05_label28_true-unreach-call.c	true	61.5	49.3	5343567872	true	63.3	38.3	5124308992	true	70.6	34.8	5415407616	true	78.0	34.2	5096058880	true	78.3	32.8	5471666176	true	68.7	40.4	4963475456	true	64.0	27.9	5086605312	true	74.5	24.4	5432647680	true	81.5	24.7	5273460736	true	81.9	22.7	5705506816	true	76.7	34.3	5055938560	true	84.5	26.9	5000646656	true	84.4	20.6	4974288896	true	86.7	18.7	5478924288	true	89.3	17.9	5389193216	true	84.6	32.5	5170155520	true	93.5	24.5	5293727744	true	98.5	19.9	5376610304	true	113	20.1	5384843264	true	114	19.3	5050425344	true	70.8	28.2	4768686080	true	119	26.8	5137907712	true	114	19.9	5324013568	true	118	18.3	5247127552	true	119	17.7	4789944320
Problem05_label29_true-unreach-call.c	true	66.8	53.1	5334487040	true	65.4	38.6	5041471488	true	77.9	38.9	5485445120	true	78.0	34.0	5412765696	true	80.0	33.8	5605539840	true	70.3	41.0	5143343104	true	63.7	27.5	4961759232	true	74.8	24.0	5322031104	true	78.0	23.1	5421645824	true	83.6	24.1	5551632384	true	75.7	34.0	5144629248	true	83.5	26.2	5461774336	true	84.4	20.5	4277329920	true	92.4	19.8	5078224896	true	92.4	18.8	5175062528	true	84.9	32.3	4875292672	true	87.7	23.4	5420187648	true	97.5	19.5	5131182080	true	113	20.1	5320380416	true	102	17.3	5163847680	true	73.7	28.9	4713787392	true	75.9	19.8	4705243136	true	110	19.4	4929011712	true	111	17.4	4854546432	true	122	18.3	5344477184
Problem05_label31_true-unreach-call.c	true	63.2	49.8	5309042688	true	69.9	43.8	4952248320	true	71.0	32.6	5015744512	true	79.9	38.4	5605048320	true	77.3	32.0	5396992000	true	71.9	41.9	5139333120	true	65.0	27.5	5013004288	true	72.2	23.4	5155672064	true	83.3	25.8	5291896832	true	80.5	22.2	5160439808	true	75.1	33.8	5190983680	true	80.7	25.5	5128048640	true	84.2	20.7	5429415936	true	81.7	17.1	5043269632	true	97.4	20.0	5680508928	true	85.8	33.0	5201530880	true	89.2	23.9	5070712832	true	95.9	19.2	4234080256	true	103	18.4	5363916800	true	98.0	16.7	5026770944	true	71.2	29.0	5025083392	true	99.9	22.9	5067010048	true	118	20.4	5277954048	true	114	18.1	5253545984	true	121	18.0	5063323648
Problem05_label34_true-unreach-call.c	true	55.1	42.6	5254090752	true	65.6	40.2	5154504704	true	73.5	35.1	5292363776	true	76.7	32.7	5366652928	true	78.5	32.6	5391040512	true	68.3	40.2	5091418112	true	62.2	26.9	4733054976	true	73.0	23.7	5349064704	true	73.5	20.8	5352972288	true	85.7	25.0	5650665472	true	72.4	33.3	5270863872	true	76.8	24.6	5068574720	true	93.7	23.0	5625991168	true	90.0	18.8	5575106560	true	93.1	19.0	5392195584	true	73.3	30.8	4944175104	true	94.5	25.6	5095903232	true	102	20.4	5125246976	true	111	19.7	5130362880	true	115	19.5	5165035520	true	106	34.2	4747231232	true	76.3	20.3	4780949504	true	82.7	15.8	4856479744	true	86.8	14.3	4944957440	true	124	18.2	5130174464
Problem05_label35_true-unreach-call.c	true	64.0	50.4	5406294016	true	68.5	44.0	5129682944	true	72.6	34.1	5180878848	true	77.6	33.7	5528141824	true	82.2	37.5	5604372480	true	66.2	38.7	5067993088	true	60.0	25.9	4858277888	true	76.9	25.9	5490192384	true	83.4	25.2	5613084672	true	81.2	22.8	5101068288	true	72.8	33.8	5371588608	true	79.9	25.6	5074993152	true	85.8	20.8	5306900480	true	88.6	19.0	5380161536	true	79.3	15.5	4904439808	true	69.0	30.1	4976226304	true	96.0	25.2	4991102976	true	106	21.1	5450854400	true	105	18.7	5097963520	true	121	20.5	5493649408	true	73.0	29.1	4775526400	true	115	25.2	5070323712	true	108	19.1	5190807552	true	117	18.2	5201547264	true	117	17.5	4993826816
Problem05_label42_true-unreach-call.c	true	61.7	49.4	5393797120	true	66.2	41.0	5084987392	true	73.0	34.7	5353816064	true	75.3	32.7	5343641600	true	77.4	32.8	5394821120	true	65.8	38.6	5125664768	true	70.3	30.7	5106835456	true	82.8	28.2	5436391424	true	72.0	19.0	5112987648	true	83.4	23.7	5564899328	true	65.1	31.4	4774600704	true	66.9	22.9	4807344128	true	81.9	19.6	5107843072	true	95.9	21.0	5618868224	true	101	20.9	5486948352	true	89.4	33.3	5267554304	true	74.9	22.4	4929343488	true	96.7	19.5	5288255488	true	105	18.5	5155667968	true	115	19.7	5335490560	true	75.3	29.3	5227433984	true	80.2	21.7	4557709312	true	82.7	15.7	4986900480	true	119	18.3	5045788672	true	124	18.3	4933488640
Problem05_label43_true-unreach-call.c	true	61.4	49.4	5240356864	true	62.8	37.4	5070274560	true	70.9	34.7	5276844032	true	76.9	33.5	5522956288	true	79.3	33.6	5475721216	true	56.2	34.1	5178392576	true	68.5	29.4	5069438976	true	74.7	24.2	5438484480	true	78.4	22.6	5337923584	true	77.4	21.0	5487149056	true	66.3	31.9	5259460608	true	75.3	23.9	5236412416	true	71.8	17.2	5011767296	true	87.5	18.3	5354766336	true	92.1	18.5	5427261440	true	68.3	29.5	4876922880	true	92.7	24.8	4936613888	true	96.6	19.8	4901859328	true	109	19.3	5488205824	true	109	18.5	5196988416	true	75.2	28.9	5035376640	true	104	23.8	5282709504	true	115	20.2	5108457472	true	88.3	14.5	4943122432	true	128	18.7	5388292096
Problem05_label45_true-unreach-call.c	true	65.3	52.9	5102338048	true	68.6	42.9	5393383424	true	69.8	33.2	5058408448	true	74.5	31.9	5320417280	true	79.3	33.4	5617090560	true	68.8	40.6	5148459008	true	79.1	34.1	5259280384	true	75.0	23.5	5165883392	true	80.4	23.6	5086085120	true	77.7	20.9	5596446720	true	75.0	33.8	5068451840	true	81.9	25.5	5119488000	true	97.0	23.2	5285928960	true	85.2	18.4	5471875072	true	97.2	20.0	5284851712	true	68.0	29.4	4804734976	true	103	26.0	5281411072	true	95.0	19.6	5369577472	true	112	20.0	5493231616	true	98.6	16.7	5230026752	true	98.3	32.4	4951367680	true	114	24.9	4889133056	true	119	20.2	5524000768	true	115	18.0	5353959424	true	123	18.3	5280452608
Problem05_label46_true-unreach-call.c	true	65.0	51.7	5333082112	true	70.5	41.9	5045465088	true	72.9	35.2	5405827072	true	75.1	33.6	5419515904	true	78.4	32.1	5322092544	true	64.5	38.4	5352603648	true	68.7	28.9	5061296128	true	75.5	25.3	5487718400	true	79.6	22.8	5477543936	true	87.7	25.8	5656739840	true	64.7	31.0	4730028032	true	83.8	26.9	5239750656	true	89.7	21.9	5528330240	true	100	21.8	5610774528	true	91.9	18.7	5205192704	true	86.9	33.0	5138513920	true	68.7	20.3	4529328128	true	98.4	19.8	4986527744	true	102	18.3	4420829184	true	114	19.4	5412540416	true	75.1	29.7	4883877888	true	80.1	22.5	4717535232	true	111	19.7	4859346944	true	83.2	13.9	4689256448	true	123	18.1	5604450304
Problem05_label49_true-unreach-call.c	true	63.4	49.2	5279068160	true	62.6	38.1	5073301504	true	73.3	34.8	5274259456	true	76.1	33.1	5469769728	true	78.2	33.3	5026017280	true	61.0	35.8	4937469952	true	72.0	31.1	5384323072	true	71.4	22.7	5319462912	true	76.3	21.4	5425582080	true	87.6	25.3	5753221120	true	58.3	29.6	5267259392	true	84.4	26.7	5084250112	true	79.6	19.2	5169692672	true	85.3	18.2	5665579008	true	95.8	19.7	5307084800	true	66.6	29.2	4781531136	true	107	26.8	5302734848	true	106	21.1	5371346944	true	100	18.0	5283545088	true	111	18.9	5159432192	true	106	33.8	5212045312	true	105	24.6	5433495552	true	112	19.5	5330006016	true	118	18.6	5218291712	true	127	18.7	5193416704
Problem05_label50_true-unreach-call.c	true	60.9	48.5	5234036736	true	72.4	43.8	4989599744	true	69.5	33.5	5265039360	true	75.1	33.0	5401403392	true	77.0	31.6	5274771456	true	65.1	38.4	5179236352	true	69.1	29.9	5059022848	true	72.6	23.1	4994080768	true	79.2	22.6	5598289920	true	79.0	21.0	5033242624	true	82.2	35.8	5211115520	true	73.1	23.8	4790747136	true	88.9	21.6	4845158400	true	86.7	18.5	5386960896	true	99.9	20.7	5422022656	true	70.4	30.7	4946939904	true	96.0	25.1	5152129024	true	77.9	16.4	4779929600	true	110	19.1	5545562112	true	111	18.9	5327986688	true	75.8	30.1	4760547328	true	75.4	20.1	4852391936	true	122	21.1	5383434240	true	83.5	13.9	4965748736	true	134	19.7	5384552448
Problem05_label52_true-unreach-call.c	true	62.8	50.2	5426147328	true	66.9	40.7	5223030784	true	72.5	35.2	5380108288	true	75.9	32.9	5451612160	true	78.1	33.2	5494857728	true	56.0	34.0	5212778496	true	70.0	30.1	5175799808	true	75.4	24.5	5545652224	true	80.1	23.6	5089099776	true	85.2	24.6	5677494272	true	65.6	31.4	4711944192	true	63.8	21.8	4872261632	true	81.3	19.7	4955197440	true	82.1	17.3	5394714624	true	86.1	17.4	5151629312	true	87.8	33.0	5161807872	true	74.3	21.4	4675670016	true	72.8	15.6	4947628032	true	109	19.3	5135163392	true	113	19.1	5013712896	true	75.5	29.4	4946575360	true	73.0	19.7	4751310848	true	118	20.6	4436574208	true	112	17.6	4993343488	true	110	16.5	4933124096
Problem05_label53_true-unreach-call.c	true	63.4	49.3	5256015872	true	65.4	40.6	5090091008	true	70.2	33.0	5257584640	true	81.2	37.5	5569417216	true	80.2	33.6	5519564800	true	68.0	40.0	5171924992	true	67.4	29.3	5071925248	true	77.3	26.5	5049044992	true	77.9	23.0	5591908352	true	80.2	22.1	5670895616	true	63.6	31.6	4769566720	true	67.7	22.3	5037219840	true	87.3	21.1	5281419264	true	97.5	21.1	5692076032	true	88.2	17.9	5227331584	true	67.7	30.0	5044498432	true	91.4	24.3	5440131072	true	82.5	17.0	5030445056	true	107	19.2	5347168256	true	113	19.1	4863094784	true	69.9	29.4	4592066560	true	79.4	20.8	4697276416	true	107	19.3	4903796736	true	116	18.1	5388292096	true	121	18.0	4972949504
Problem05_label54_true-unreach-call.c	true	64.3	51.9	5038395392	true	66.8	40.5	5084868608	true	71.4	34.3	5262716928	true	76.0	33.3	5442387968	true	79.0	32.6	5419589632	true	55.0	33.5	5042962432	true	66.3	28.0	5107212288	true	73.3	23.1	5305929728	true	77.1	22.4	5583921152	true	81.9	22.6	5571014656	true	64.6	31.7	4918435840	true	78.7	25.0	5205385216	true	96.8	23.5	5158297600	true	88.1	18.7	5304631296	true	101	21.3	5581365248	true	66.0	29.6	5041618944	true	69.2	20.3	4854140928	true	101	20.5	5464510464	true	92.9	16.8	5321805824	true	113	19.2	5154336768	true	97.3	32.8	4984315904	true	109	24.5	4832006144	true	113	19.7	5483347968	true	113	18.1	5241208832	true	136	20.1	5424476160
Problem05_label56_true-unreach-call.c	true	62.0	49.2	5323587584	true	62.8	37.5	5005504512	true	72.6	34.1	5234765824	true	78.2	32.7	5326884864	true	81.9	36.6	5517094912	true	57.3	34.2	5127811072	true	69.6	30.3	5117550592	true	72.1	22.7	5383806976	true	79.6	23.9	5737439232	true	81.0	22.4	5580349440	true	60.7	30.1	5142552576	true	64.3	21.5	4893224960	true	89.9	21.9	5119131648	true	100	21.6	5597646848	true	97.7	20.1	5049139200	true	66.8	29.3	4773470208	true	102	26.5	4667240448	true	99.7	19.7	5131272192	true	104	18.6	5406400512	true	117	20.0	5268000768	true	77.3	29.8	4848447488	true	75.4	20.2	5233496064	true	121	20.9	5121863680	true	120	18.5	5072195584	true	122	17.9	5116186624
Problem05_label59_true-unreach-call.c	true	62.2	49.3	5028728832	true	67.4	41.0	5597802496	true	72.3	34.2	5127311360	true	75.8	32.7	5399674880	true	82.0	33.2	5504581632	true	69.9	40.6	5264801792	true	75.0	32.5	5086752768	true	76.7	25.8	5192699904	true	76.8	22.3	5472751616	true	84.8	24.2	5551460352	true	62.5	30.9	4695142400	true	80.1	25.3	5069131776	true	92.1	22.2	5500506112	true	78.0	16.2	4941471744	true	94.3	19.7	5439221760	true	69.4	30.2	5095002112	true	98.9	25.9	5089034240	true	100	20.0	5290156032	true	108	19.4	4860796928	true	108	18.5	5310095360	true	91.9	32.0	5403127808	true	117	25.4	5023240192	true	112	19.4	5232406528	true	84.3	14.0	5058940928	true	123	18.5	5047595008
Problem06_label03_true-unreach-call.c	true	46.8	35.4	4201869312	true	50.3	27.9	3802189824	true	56.0	24.1	3961446400	true	57.7	21.7	4004491264	true	60.9	22.2	4079357952	true	45.0	27.4	3376132096	true	58.0	24.4	3854139392	true	55.2	17.0	3907293184	true	57.4	15.5	3762917376	true	58.9	14.9	3647975424	true	51.9	26.0	3227254784	true	52.4	18.0	3783172096	true	59.1	14.0	3674591232	true	61.0	13.2	3630383104	true	64.1	12.7	3837788160	true	54.2	24.3	3324846080	true	57.7	17.0	3965845504	true	61.8	13.2	3533357056	true	64.3	12.0	3672412160	true	68.2	11.8	3769888768	true	62.4	24.4	3059359744	true	63.3	17.0	3632357376	true	69.1	13.4	3624194048	true	70.8	11.9	3788406784	true	71.9	11.5	3672952832
Problem06_label06_true-unreach-call.c	true	45.3	34.0	3598753792	true	55.9	34.2	4354981888	true	53.0	23.4	3989917696	true	57.7	22.3	4069691392	true	60.1	22.2	4153511936	true	48.5	29.2	3735752704	true	49.1	20.3	3888336896	true	55.0	17.4	3695972352	true	60.4	16.0	3887362048	true	60.8	15.6	3712716800	true	50.4	25.5	3517476864	true	54.3	18.2	3464163328	true	61.1	15.0	3632599040	true	59.4	12.4	3539988480	true	62.8	12.5	3837620224	true	54.5	24.9	3301122048	true	59.5	17.3	3517685760	true	63.5	13.8	3508338688	true	65.5	12.4	3927654400	true	66.3	11.6	3529981952	true	65.4	25.3	3477536768	true	65.0	17.2	3431837696	true	67.1	13.2	3489370112	true	69.1	11.6	3632902144	true	71.6	11.3	3690958848
Problem06_label07_true-unreach-call.c	true	45.1	34.1	3668877312	true	47.9	26.3	3807440896	true	58.9	24.8	4223766528	true	57.0	22.2	3999318016	true	58.7	22.3	4114694144	true	45.4	27.5	3451174912	true	56.1	23.1	4057190400	true	58.1	18.6	3998527488	true	57.7	15.7	3874373632	true	59.9	15.3	3909582848	true	50.6	25.3	3398541312	true	54.7	18.2	3761221632	true	58.6	14.4	3551236096	true	62.3	13.1	3636772864	true	64.4	12.8	3758190592	true	60.4	25.7	3620315136	true	60.2	17.4	3597115392	true	62.7	13.4	3710451712	true	64.7	12.0	3703963648	true	66.5	11.5	3682488320	true	66.2	24.9	3488362496	true	61.9	17.1	3761668096	true	68.9	13.5	3723304960	true	77.5	12.8	3541094400	true	78.9	12.5	3599982592
Problem06_label08_true-unreach-call.c	true	48.3	37.2	3744694272	true	47.3	25.7	3836571648	true	53.6	23.1	3825852416	true	58.4	22.3	4021145600	true	60.3	22.4	4184936448	true	46.3	28.0	3590754304	true	53.3	22.6	3456282624	true	55.4	17.3	3777736704	true	59.8	15.8	3807363072	true	60.1	15.4	3880759296	true	53.1	26.3	3706273792	true	50.6	17.1	3831615488	true	59.9	14.5	3984986112	true	62.4	13.2	3720810496	true	64.1	12.5	3638886400	true	57.3	25.0	3168092160	true	60.6	17.6	3772616704	true	68.5	14.5	3596984320	true	66.7	12.1	3518926848	true	67.1	11.8	3653001216	true	62.4	24.8	3111895040	true	63.6	16.8	3638960128	true	67.4	13.3	3469201408	true	70.6	11.8	3442069504	true	75.1	12.1	3836522496
Problem06_label13_true-unreach-call.c	true	48.1	36.1	3941687296	true	47.2	26.3	3725004800	true	53.3	23.0	3878440960	true	58.4	23.0	4187648000	true	59.0	22.2	4306857984	true	50.0	29.3	3682881536	true	48.1	20.1	3659620352	true	56.4	16.9	3607412736	true	56.6	15.1	3989000192	true	61.1	15.4	4237135872	true	50.2	24.9	3361918976	true	52.9	18.0	3592802304	true	59.6	14.4	3663724544	true	63.3	13.3	3817955328	true	64.2	12.6	3573444608	true	60.5	25.6	3456880640	true	60.4	17.5	3823386624	true	64.7	13.7	3590627328	true	66.0	12.0	3745226752	true	66.1	11.5	3644436480	true	70.1	26.0	3587190784	true	63.9	17.2	3457028096	true	68.4	13.1	3527520256	true	69.1	11.7	3441360896	true	86.3	13.2	4001689600
Problem06_label14_true-unreach-call.c	true	45.7	34.5	3670454272	true	50.0	28.3	3871657984	true	53.6	23.2	3849654272	true	58.7	21.8	3868487680	true	59.2	22.0	4002357248	true	48.4	29.2	3468738560	true	47.9	20.2	3555274752	true	54.4	16.8	3691548672	true	58.0	15.4	4089671680	true	58.9	14.9	3731275776	true	50.5	25.6	3257384960	true	54.0	18.1	3856150528	true	59.6	14.6	3657302016	true	62.7	13.4	3814457344	true	64.7	13.0	3842191360	true	62.3	25.7	3643760640	true	55.3	16.8	3346206720	true	63.6	13.7	3405611008	true	70.6	12.9	3715903488	true	66.8	12.0	3954724864	true	63.3	24.5	3352367104	true	76.3	19.2	3826876416	true	67.7	13.1	3576020992	true	70.2	11.9	3628548096	true	72.5	11.4	3652239360
Problem06_label16_true-unreach-call.c	true	47.2	35.5	3725324288	true	48.0	26.0	3540312064	true	55.2	23.8	3941249024	true	58.9	22.4	4040265728	true	61.6	22.0	3992485888	true	47.8	28.8	3567792128	true	47.7	19.8	3610968064	true	56.7	17.5	4046045184	true	59.0	15.9	3901030400	true	58.7	14.8	3763212288	true	51.2	25.8	3429842944	true	48.8	16.9	3697893376	true	57.7	14.0	3746390016	true	58.0	12.3	3729698816	true	61.9	12.2	3538178048	true	57.4	25.1	3537068032	true	61.8	18.3	3694796800	true	62.1	13.4	3748192256	true	67.1	12.2	3723292672	true	66.8	11.7	3431854080	true	63.1	24.7	3118735360	true	67.0	18.0	3531882496	true	64.5	12.6	3541622784	true	71.8	12.1	3731308544	true	76.9	12.1	3607928832
Problem06_label17_true-unreach-call.c	true	46.8	35.2	3637944320	true	47.8	26.5	3631165440	true	55.0	23.6	4211777536	true	58.8	22.9	4212203520	true	58.2	21.6	3911925760	true	48.4	29.0	3932106752	true	48.5	20.4	3549048832	true	57.0	18.4	3632205824	true	57.3	15.1	3723059200	true	60.1	15.5	3617837056	true	53.1	26.0	3407073280	true	56.4	18.6	3439685632	true	61.7	15.0	4027777024	true	61.0	13.0	3793887232	true	63.8	12.6	4031148032	true	51.8	24.2	3262599168	true	61.0	17.9	3409014784	true	71.5	14.9	3992522752	true	63.4	11.7	3477848064	true	70.0	12.3	3753832448	true	65.5	25.3	3487739904	true	63.7	17.0	3710431232	true	68.9	13.7	3556384768	true	69.7	11.8	3412975616	true	71.1	11.3	3771174912
Problem06_label18_true-unreach-call.c	true	47.0	35.6	3768078336	true	48.9	26.8	3893121024	true	55.9	24.3	4254900224	true	58.3	23.1	4394668032	true	59.8	22.3	4221648896	true	49.2	29.3	3694759936	true	49.9	20.8	3896627200	true	55.1	16.9	3606835200	true	59.5	16.0	3782225920	true	59.0	15.0	3762966528	true	53.7	26.4	3405766656	true	51.1	17.7	3716194304	true	57.2	13.9	3922702336	true	61.5	12.8	3595735040	true	64.5	12.8	3618041856	true	65.6	26.6	3674497024	true	66.8	19.1	3678289920	true	62.5	13.2	3731021824	true	68.0	12.6	3734450176	true	66.8	11.6	3724947456	true	66.8	25.4	3519938560	true	63.8	17.0	3674415104	true	66.9	13.0	3608051712	true	70.7	12.1	3642068992	true	71.9	11.6	3852836864
Problem06_label19_true-unreach-call.c	true	48.3	36.8	3702046720	true	47.9	26.5	3836391424	true	53.8	23.1	3919966208	true	58.0	22.4	3885801472	true	60.5	22.1	4102356992	true	51.6	30.6	3675394048	true	49.6	20.3	3764019200	true	55.1	16.8	3654660096	true	57.8	15.4	4011646976	true	63.3	16.1	4105478144	true	51.2	25.4	3347668992	true	50.1	17.3	3539775488	true	57.3	14.0	3596320768	true	61.5	12.8	4020617216	true	62.1	12.1	3687829504	true	63.9	26.7	3531669504	true	63.3	18.7	3852668928	true	62.3	13.3	3716984832	true	67.5	12.3	3876855808	true	67.0	11.6	3489767424	true	61.8	24.7	3087769600	true	78.3	19.8	3856179200	true	78.4	14.7	3749847040	true	69.6	11.7	3586392064	true	70.3	11.5	3614453760
Problem06_label22_true-unreach-call.c	true	46.2	34.9	3659501568	true	49.3	27.5	3816296448	true	56.0	24.4	4113043456	true	59.1	22.8	3935584256	true	60.5	21.9	3978313728	true	48.4	29.4	3656589312	true	50.8	20.4	3585196032	true	53.6	16.3	3792699392	true	57.3	15.5	3724046336	true	63.7	16.1	4174458880	true	50.4	25.5	3434672128	true	57.2	18.6	3481104384	true	60.1	14.7	3772768256	true	65.5	13.9	3681906688	true	64.5	12.6	3901235200	true	55.6	24.9	3245137920	true	59.9	17.6	3697098752	true	62.8	13.6	3583021056	true	65.9	12.1	3518406656	true	66.8	11.7	3674173440	true	65.8	25.1	3495862272	true	65.1	18.3	3331391488	true	68.8	13.3	3518443520	true	68.3	11.6	3465084928	true	71.4	11.5	3522015232
Problem06_label23_true-unreach-call.c	true	47.4	36.7	3639808000	true	48.2	26.5	3642892288	true	54.9	23.9	3947679744	true	57.0	21.7	3890917376	true	59.2	21.6	4002586624	true	46.7	28.2	3432312832	true	49.4	20.8	3874336768	true	53.5	16.2	3713167360	true	58.5	15.9	4106473472	true	61.9	16.0	4167766016	true	50.7	25.5	3351527424	true	52.2	17.7	3368992768	true	61.4	14.9	3533291520	true	61.8	13.3	3574833152	true	64.1	12.6	3759222784	true	58.1	25.4	3504758784	true	58.1	17.0	3354136576	true	63.9	13.6	3508097024	true	65.9	12.5	3858518016	true	67.0	11.8	3827687424	true	60.7	24.8	3502002176	true	68.5	17.7	3871641600	true	68.5	13.3	3514171392	true	84.8	13.7	3920601088	true	72.8	11.8	3983917056
Problem06_label25_true-unreach-call.c	true	47.1	35.6	3727896576	true	48.2	26.3	3648241664	true	58.2	24.4	3978153984	true	58.9	22.5	4075950080	true	59.4	20.9	3872296960	true	45.7	27.7	3376029696	true	48.9	20.4	3789369344	true	54.8	17.0	3770986496	true	59.3	16.4	3822329856	true	60.1	15.0	3681669120	true	49.1	25.5	3512143872	true	51.7	17.4	3463819264	true	56.6	13.7	3887935488	true	61.4	13.1	3848298496	true	64.8	12.7	3669065728	true	61.5	26.0	3501101056	true	59.6	17.5	3481858048	true	60.6	13.0	3712679936	true	66.3	12.4	3693092864	true	67.9	11.9	3804950528	true	63.2	24.7	3371126784	true	68.5	18.4	3520921600	true	82.3	15.2	3824132096	true	70.0	12.0	3658436608	true	71.4	11.5	3733094400
Problem06_label26_true-unreach-call.c	true	48.0	37.2	3676971008	true	47.7	26.3	3868778496	true	55.3	23.6	3854393344	true	57.2	22.0	3885326336	true	59.4	21.4	3905916928	true	45.5	27.9	3465797632	true	51.1	21.0	3946549248	true	53.3	16.5	4005998592	true	61.7	16.8	4018102272	true	62.9	16.4	4142907392	true	53.3	26.4	3525685248	true	57.0	19.1	3612622848	true	63.0	15.4	3981877248	true	63.1	13.4	3721101312	true	66.1	13.1	3816566784	true	61.0	26.0	3176169472	true	59.5	17.5	3680247808	true	64.7	14.2	3711557632	true	67.4	12.5	3730149376	true	68.1	11.7	3693445120	true	62.7	25.2	3027898368	true	64.8	17.3	3721011200	true	70.0	13.2	3810213888	true	70.8	12.0	3644063744	true	72.3	11.5	3711221760
Problem06_label28_true-unreach-call.c	true	45.7	34.8	3685847040	true	48.3	26.5	3878387712	true	55.0	22.8	3806371840	true	56.7	21.9	3898425344	true	58.9	21.7	3975372800	true	58.7	33.8	3670302720	true	50.6	20.7	3728605184	true	55.2	17.3	4056543232	true	61.8	17.4	3946016768	true	60.5	15.3	4288180224	true	49.1	24.9	3237363712	true	56.7	18.5	3726417920	true	57.5	13.8	3717533696	true	61.5	13.1	3982667776	true	62.8	12.2	4003151872	true	55.1	26.1	3294187520	true	63.0	18.5	3494129664	true	60.4	12.9	3651473408	true	64.6	11.9	3490213888	true	67.4	11.7	3767857152	true	64.1	25.6	3643195392	true	66.8	18.2	3463421952	true	69.8	13.3	3561447424	true	71.1	11.9	3893776384	true	82.7	13.0	3822579712
Problem06_label30_true-unreach-call.c	true	45.1	34.2	3541471232	true	49.8	27.0	3910397952	true	55.1	23.7	4028575744	true	56.2	21.4	3943849984	true	58.5	21.5	3971670016	true	45.6	27.5	3382411264	true	48.6	20.5	3731394560	true	55.3	17.0	3992834048	true	58.5	15.5	3796348928	true	64.0	17.0	4187471872	true	52.5	26.1	3741298688	true	50.5	17.3	3606700032	true	58.7	14.3	3571269632	true	59.1	12.5	3780575232	true	61.0	12.0	3478179840	true	58.4	25.4	3164782592	true	59.5	17.4	3552227328	true	63.7	13.5	3434078208	true	65.0	12.0	3471523840	true	66.3	11.6	3804540928	true	63.3	24.8	3099324416	true	65.3	17.3	3396878336	true	70.1	13.5	3461070848	true	67.9	11.7	3691847680	true	72.5	11.5	3759849472
Problem06_label31_true-unreach-call.c	true	45.2	34.5	3589332992	true	49.1	27.2	3889799168	true	56.0	24.4	3985543168	true	58.1	21.4	3727667200	true	59.3	21.6	4064387072	true	45.3	27.6	3547176960	true	49.3	19.8	3697487872	true	55.0	17.2	3999559680	true	58.3	15.5	3834544128	true	60.4	15.4	3690614784	true	53.8	26.5	3382263808	true	53.1	18.0	3740516352	true	61.9	14.8	3658637312	true	62.6	13.1	3768209408	true	65.0	13.2	3836977152	true	54.7	24.3	3315732480	true	60.7	18.5	3927658496	true	62.8	13.2	3532918784	true	65.8	12.0	3581063168	true	66.2	11.6	3640623104	true	66.3	25.7	3436576768	true	65.7	17.3	3526066176	true	70.4	13.6	3525746688	true	68.8	11.6	3554451456	true	80.0	12.5	4174741504
Problem06_label32_true-unreach-call.c	true	47.1	35.7	3701448704	true	48.1	27.1	3921715200	true	53.9	22.7	3704647680	true	59.1	22.5	4030455808	true	61.3	22.1	4115107840	true	45.7	27.9	3499831296	true	49.8	20.7	3995795456	true	55.8	17.1	3739815936	true	56.3	15.3	3742699520	true	60.9	16.0	4181958656	true	56.6	26.9	3465682944	true	49.2	17.0	3830976512	true	57.2	14.2	3765153792	true	62.7	13.1	3773038592	true	65.6	13.1	4066283520	true	58.1	24.9	3204018176	true	60.3	17.5	3494125568	true	66.5	13.9	3600338944	true	64.6	12.0	3663745024	true	68.4	11.9	3713617920	true	63.0	24.8	3156262912	true	65.3	17.2	3508076544	true	66.5	13.1	3626057728	true	69.7	11.9	3786420224	true	70.2	11.3	3681918976
Problem06_label34_true-unreach-call.c	true	46.8	35.2	3786022912	true	52.4	28.8	3670142976	true	53.8	23.7	4141891584	true	58.9	23.1	4187025408	true	59.4	21.7	3940986880	true	46.0	28.2	3995676672	true	51.7	21.1	3645059072	true	55.4	17.1	3839512576	true	56.1	15.2	3671941120	true	59.3	15.3	4036689920	true	52.4	26.2	3372634112	true	52.2	17.7	3544428544	true	61.5	15.1	3814944768	true	64.0	13.7	3698741248	true	62.5	12.3	3856130048	true	59.0	25.6	3523710976	true	60.2	17.5	3533836288	true	62.6	13.1	3740073984	true	64.6	11.9	3461918720	true	68.6	11.9	3591028736	true	64.0	25.0	3109998592	true	69.3	18.3	3672195072	true	79.3	14.5	3706277888	true	70.4	12.1	3835052032	true	71.6	11.5	3626504192
Problem06_label35_true-unreach-call.c	true	48.7	36.6	3649167360	true	47.6	26.0	3542294528	true	56.9	24.6	4168634368	true	56.6	22.1	4060905472	true	60.6	22.6	4157169664	true	48.0	29.2	3674578944	true	52.2	21.2	3569074176	true	54.5	16.6	3590524928	true	60.9	16.7	4004937728	true	60.0	15.5	3929288704	true	53.5	26.4	3513761792	true	56.6	19.2	3854094336	true	58.3	14.1	3567783936	true	61.5	12.9	3941335040	true	65.5	13.2	3807502336	true	58.6	25.5	3175157760	true	58.9	17.5	3773616128	true	72.0	15.3	3800723456	true	64.0	11.8	3463385088	true	66.5	11.8	3466817536	true	66.7	25.4	3530698752	true	66.7	17.5	3590447104	true	75.9	14.3	3493470208	true	69.1	11.7	3665371136	true	72.0	11.5	3694608384
Problem06_label39_true-unreach-call.c	true	45.2	34.4	3686002688	true	47.8	26.4	3623292928	true	55.3	23.6	3977875456	true	56.2	21.6	3901476864	true	59.4	21.9	3986350080	true	47.8	28.5	3715182592	true	50.0	20.9	3953987584	true	54.8	16.7	3751440384	true	59.0	15.8	3930800128	true	59.7	15.3	3864825856	true	53.9	26.3	3363377152	true	52.0	17.6	3757580288	true	55.0	13.4	3552808960	true	67.0	14.3	3925577728	true	60.8	12.0	3901296640	true	57.5	24.8	3059445760	true	70.2	19.6	3769970688	true	63.5	13.1	3672252416	true	67.7	12.4	3773820928	true	75.0	13.1	3896266752	true	61.8	24.6	3063279616	true	65.6	17.4	3550846976	true	67.1	13.2	3620720640	true	69.0	11.7	3409248256	true	71.1	11.3	3612446720
Problem06_label40_true-unreach-call.c	true	46.4	35.3	3713769472	true	49.2	27.2	3780943872	true	53.8	22.6	3872776192	true	58.1	21.8	3907600384	true	59.6	21.7	4044877824	true	47.2	28.5	3633471488	true	50.5	20.7	3917664256	true	55.4	17.2	3694190592	true	57.2	15.5	3871399936	true	62.8	15.9	4016635904	true	53.4	26.2	3529240576	true	58.3	19.5	3616833536	true	58.4	14.2	3634720768	true	59.0	12.3	3732672512	true	66.9	13.4	3653324800	true	59.6	25.6	3183353856	true	59.9	17.6	3466293248	true	64.2	13.7	3645538304	true	67.4	12.6	3945201664	true	65.9	11.6	3448283136	true	64.3	25.1	3681923072	true	65.1	17.9	3859951616	true	69.0	13.8	3470237696	true	71.5	12.2	3565416448	true	72.5	11.6	3565481984
Problem06_label41_true-unreach-call.c	true	47.4	36.4	3722526720	true	47.5	26.5	3915816960	true	54.8	23.1	3908415488	true	58.0	21.8	3903442944	true	59.6	21.3	3864752128	true	49.7	29.9	3797938176	true	50.2	20.5	3723599872	true	56.1	17.6	4025442304	true	60.2	16.5	4017868800	true	58.6	14.7	3826601984	true	53.2	26.4	3739963392	true	52.8	17.6	3484590080	true	59.3	14.4	3480793088	true	65.5	13.7	3868172288	true	64.7	12.7	3814109184	true	54.9	24.7	3480096768	true	64.8	18.5	3742380032	true	63.5	13.9	3926327296	true	63.7	12.0	3581648896	true	66.5	11.7	3593318400	true	66.1	25.3	3485839360	true	67.7	17.7	4168396800	true	68.7	13.4	4005523456	true	69.2	11.8	3612872704	true	71.9	11.4	4140339200
Problem06_label42_true-unreach-call.c	true	46.5	35.6	3765809152	true	48.1	26.8	3919118336	true	54.3	23.5	3841929216	true	57.5	22.5	3954003968	true	59.8	21.7	3996442624	true	46.9	28.5	4234006528	true	47.2	19.7	3691679744	true	55.5	17.3	4062826496	true	62.3	16.7	4203683840	true	60.8	15.5	4079366144	true	52.2	25.9	3435204608	true	57.1	18.8	3977351168	true	59.9	14.6	3696627712	true	59.7	12.6	3776593920	true	63.1	12.5	3940442112	true	60.5	25.7	3559497728	true	56.6	16.9	3931033600	true	65.5	14.1	4057759744	true	67.3	12.1	3662512128	true	75.5	13.3	3893784576	true	63.3	24.6	3108036608	true	68.0	17.8	3387912192	true	76.7	14.3	3484274688	true	73.4	12.3	3746160640	true	81.8	12.8	3668791296
Problem06_label43_true-unreach-call.c	true	49.0	37.2	3733417984	true	47.7	26.7	3797901312	true	54.3	24.1	4233289728	true	56.2	22.0	4031631360	true	61.0	22.5	4227665920	true	50.6	30.0	3791421440	true	48.1	20.0	3740758016	true	54.1	17.0	3995045888	true	59.7	16.0	3858300928	true	62.1	15.8	4016717824	true	52.4	26.5	3992248320	true	58.9	18.8	3471822848	true	58.6	14.1	3762761728	true	61.1	12.5	3781922816	true	62.3	12.5	3541204992	true	54.3	25.4	3424206848	true	59.7	17.4	3915747328	true	62.3	13.4	3727187968	true	68.7	12.7	4007890944	true	66.8	11.8	3678674944	true	66.2	25.3	3384651776	true	66.8	17.5	3496370176	true	69.4	13.5	3469828096	true	69.3	11.9	3778347008	true	80.4	12.8	3867107328
Problem06_label45_true-unreach-call.c	true	47.4	36.7	3785592832	true	48.0	26.1	3501678592	true	54.6	23.4	3860393984	true	58.4	22.3	3936882688	true	60.4	22.1	3955953664	true	49.2	29.8	3603828736	true	49.7	20.5	3682496512	true	54.2	16.6	3691368448	true	60.1	16.3	3834359808	true	59.2	14.9	3648704512	true	55.1	26.5	3719892992	true	61.0	21.4	3807625216	true	57.9	14.2	3727495168	true	60.3	12.7	3505836032	true	67.9	13.7	3795189760	true	63.1	26.0	3777273856	true	58.4	17.3	3576754176	true	66.6	14.1	3511083008	true	65.5	12.0	3465482240	true	66.8	11.6	3984084992	true	60.6	25.3	3384418304	true	65.3	17.4	3959361536	true	68.0	13.2	3632201728	true	68.3	11.6	3591774208	true	70.4	11.2	3452088320
Problem06_label46_true-unreach-call.c	true	47.6	36.5	3699298304	true	53.8	29.6	3722706944	true	52.3	23.0	3912716288	true	57.0	22.3	4100407296	true	59.1	21.4	3959332864	true	45.6	27.5	3421958144	true	49.7	20.9	3971280896	true	55.8	17.5	3976548352	true	64.1	18.2	3964379136	true	60.7	15.7	3709198336	true	50.4	25.7	3548983296	true	56.3	18.7	3551404032	true	61.4	14.6	3786158080	true	63.5	13.4	3842850816	true	64.5	12.9	4149460992	true	58.4	25.0	3470721024	true	60.2	18.4	3524059136	true	63.9	13.8	3785277440	true	66.8	12.1	3755442176	true	74.4	12.9	3640696832	true	63.8	25.4	3154964480	true	66.6	17.3	3446022144	true	68.8	13.7	3665801216	true	81.3	13.4	3749523456	true	73.2	11.6	3832188928
Problem06_label49_true-unreach-call.c	true	48.4	37.3	3801038848	true	48.3	26.2	4042772480	true	52.9	22.5	3813601280	true	59.3	22.3	3988783104	true	59.8	20.6	3874729984	true	46.6	28.4	3603828736	true	49.3	20.5	3459768320	true	57.6	16.8	3718041600	true	58.5	16.0	4014280704	true	60.1	15.2	3828985856	true	53.9	26.3	3187634176	true	49.4	17.1	3732729856	true	54.6	13.2	3927216128	true	61.2	13.0	3722047488	true	64.0	12.7	3990167552	true	58.4	25.6	3225812992	true	56.4	17.1	3834855424	true	62.6	13.2	3502092288	true	66.7	12.1	3442536448	true	66.9	11.7	3737370624	true	68.3	25.4	3584868352	true	66.2	17.7	3514798080	true	67.7	13.2	3510878208	true	70.5	12.0	3665571840	true	73.3	11.7	3755868160
Problem06_label50_true-unreach-call.c	true	47.0	36.0	3706060800	true	48.8	26.6	3739901952	true	55.8	23.7	3949342720	true	57.4	21.6	3821322240	true	59.5	21.7	3969605632	true	51.8	30.9	3888484352	true	49.5	20.6	3715366912	true	56.9	17.7	3900850176	true	57.6	15.6	4037201920	true	59.3	15.1	3656105984	true	51.6	25.6	3600113664	true	54.2	18.0	3647078400	true	56.6	13.8	3906150400	true	60.4	12.6	3739385856	true	65.9	13.3	4024791040	true	63.5	26.5	3404640256	true	61.7	19.0	3637870592	true	64.2	13.8	3791753216	true	66.8	12.3	3767734272	true	67.6	11.7	3498541056	true	62.6	25.2	3153281024	true	63.7	17.4	3888742400	true	68.9	13.2	3869929472	true	68.9	11.7	3433582592	true	71.5	11.4	3565264896
Problem06_label51_true-unreach-call.c	true	45.0	34.1	3841183744	true	49.8	27.0	3895021568	true	56.7	23.2	3799035904	true	57.9	22.1	4022161408	true	60.7	22.0	3963547648	true	52.6	30.7	3806236672	true	49.5	20.5	3885027328	true	52.9	16.3	3811237888	true	58.0	15.3	3641585664	true	59.1	15.2	3844608000	true	55.3	26.5	3228385280	true	51.4	17.8	3691065344	true	59.3	14.4	3676848128	true	62.4	13.0	3652608000	true	62.9	12.3	3880546304	true	57.2	24.9	3170996224	true	61.4	18.8	3411480576	true	64.5	13.8	3613249536	true	65.4	12.0	3471560704	true	68.4	11.8	3832983552	true	72.2	26.7	3422912512	true	62.5	17.4	3498663936	true	68.4	13.4	3429974016	true	83.6	13.6	3699322880	true	70.4	11.2	3466166272
Problem06_label52_true-unreach-call.c	true	47.5	35.8	3771478016	true	48.2	26.7	3738345472	true	54.8	22.8	3752906752	true	58.2	22.5	4041363456	true	59.2	21.6	4164706304	true	46.5	28.3	3539513344	true	48.0	20.1	3692306432	true	58.2	17.6	3926216704	true	59.6	16.4	4096786432	true	61.7	16.0	4202733568	true	50.2	25.3	3408605184	true	55.8	19.0	3919667200	true	58.9	14.1	4009218048	true	60.4	12.6	3596980224	true	64.5	12.8	3633545216	true	54.1	24.6	3377717248	true	62.2	19.2	3610812416	true	61.7	13.2	3456245760	true	67.4	12.5	3559051264	true	67.2	11.7	3781500928	true	60.8	24.9	3450253312	true	68.2	17.7	3683078144	true	69.2	13.5	3594629120	true	71.4	12.1	3862376448	true	80.1	12.5	3975770112
Problem06_label53_true-unreach-call.c	true	46.0	34.9	3564462080	true	49.6	27.8	4045979648	true	55.5	24.0	4004044800	true	57.2	22.8	4259332096	true	60.0	22.3	4113432576	true	46.2	28.1	3499089920	true	50.0	20.6	3502837760	true	54.2	16.7	3651907584	true	59.4	16.1	4017164288	true	61.0	15.9	4114583552	true	50.5	25.5	3809050624	true	56.1	18.4	3583340544	true	54.9	13.4	3595485184	true	62.2	13.0	3679023104	true	62.0	12.1	3914997760	true	60.9	25.5	3542593536	true	65.3	19.6	3709427712	true	63.1	13.7	3570651136	true	67.5	12.5	3507941376	true	67.2	11.7	3689709568	true	65.5	25.3	3446325248	true	63.4	17.0	3590725632	true	74.4	14.1	3865378816	true	71.8	12.2	3710574592	true	73.7	11.7	3660587008
Problem06_label54_true-unreach-call.c	true	47.9	36.0	3859628032	true	47.8	26.4	3516596224	true	54.8	24.1	4231208960	true	58.4	22.9	4102688768	true	60.8	22.7	4103561216	true	48.1	29.3	3731484672	true	52.6	22.0	3751813120	true	55.4	16.9	3834834944	true	58.7	15.8	3744653312	true	64.0	17.3	3843887104	true	53.5	26.2	3337928704	true	54.9	18.4	3633319936	true	61.6	14.9	3603570688	true	62.8	13.3	3775287296	true	62.9	12.5	3818373120	true	54.9	24.3	3472433152	true	58.2	17.2	3635310592	true	61.6	13.2	3625578496	true	72.2	13.5	3861159936	true	68.4	11.9	3707330560	true	63.0	25.0	3067797504	true	65.0	17.5	3459780608	true	76.8	14.8	3624472576	true	69.5	11.7	3440828416	true	78.9	12.4	3588186112
Problem06_label55_true-unreach-call.c	true	47.6	36.7	3586064384	true	47.8	26.9	3986608128	true	55.5	23.1	3708420096	true	58.0	21.9	3869106176	true	58.1	21.2	3894726656	true	47.0	28.3	3594510336	true	50.8	21.7	4102213632	true	57.4	18.1	3989970944	true	59.2	15.3	3753336832	true	58.2	14.7	3684315136	true	51.2	25.7	3203604480	true	54.0	18.0	3559149568	true	56.7	13.7	3537653760	true	62.4	13.0	3814973440	true	66.4	13.4	3987570688	true	55.9	25.5	3235594240	true	65.4	19.2	3699077120	true	61.8	13.1	3496062976	true	65.7	12.2	3605229568	true	67.0	11.5	3745370112	true	64.8	25.6	3232464896	true	57.6	17.0	3297374208	true	70.5	13.5	3656441856	true	69.2	12.1	3462430720	true	70.7	11.4	3674148864
Problem06_label57_true-unreach-call.c	true	47.7	36.4	3721412608	true	51.1	27.9	4083732480	true	53.5	23.1	3872612352	true	58.8	22.9	4162842624	true	60.1	21.8	4007665664	true	46.7	28.3	3473813504	true	50.7	21.1	3727671296	true	58.3	17.8	4051275776	true	58.1	15.6	4182990848	true	60.4	15.6	3852275712	true	52.1	26.3	3524464640	true	53.8	18.3	3808546816	true	58.4	14.1	3722862592	true	71.5	15.5	4325023744	true	67.6	13.6	3754889216	true	58.2	25.0	3064881152	true	58.9	17.2	3467337728	true	65.9	14.1	3780067328	true	65.1	12.1	3747524608	true	67.5	11.7	3793514496	true	58.0	24.2	3211026432	true	74.5	18.3	3811102720	true	70.6	13.6	3674963968	true	69.9	11.8	3650584576	true	69.8	11.1	3531239424
../../../sv-benchmarks/c/eca-rers2012/	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage	status	cputime (s)	walltime (s)	memUsage
total	154	5280	3810	420806397952	154	5570	3020	422991384576	154	6170	2620	432708259840	154	6490	2500	440172826624	154	6670	2480	441401573376	154	5440	3060	415393419264	154	5700	2300	419941339136	154	6300	1930	434643079168	154	6650	1810	439854374912	154	6850	1790	442638815232	154	5740	2680	404315389952	154	6190	1990	413437980672	154	6830	1630	422844715008	154	7170	1510	428404084736	154	7490	1520	432818814976	154	6260	2590	394447532032	154	6920	1940	413425393664	154	7530	1560	415894368256	154	7990	1460	418544443392	154	8210	1440	419642781696	154	6730	2550	390918574080	154	7390	1880	408820449280	154	8220	1540	412495261696	154	8400	1400	414277533696	154	8920	1410	419720663040
correct results	154	5280	3810	420806397952	154	5570	3020	422991384576	154	6170	2620	432708259840	154	6490	2500	440172826624	154	6670	2480	441401573376	154	5440	3060	415393419264	154	5700	2300	419941339136	154	6300	1930	434643079168	154	6650	1810	439854374912	154	6850	1790	442638815232	154	5740	2680	404315389952	154	6190	1990	413437980672	154	6830	1630	422844715008	154	7170	1510	428404084736	154	7490	1520	432818814976	154	6260	2590	394447532032	154	6920	1940	413425393664	154	7530	1560	415894368256	154	7990	1460	418544443392	154	8210	1440	419642781696	154	6730	2550	390918574080	154	7390	1880	408820449280	154	8220	1540	412495261696	154	8400	1400	414277533696	154	8920	1410	419720663040
correct true	154	5280	3810	420806397952	154	5570	3020	422991384576	154	6170	2620	432708259840	154	6490	2500	440172826624	154	6670	2480	441401573376	154	5440	3060	415393419264	154	5700	2300	419941339136	154	6300	1930	434643079168	154	6650	1810	439854374912	154	6850	1790	442638815232	154	5740	2680	404315389952	154	6190	1990	413437980672	154	6830	1630	422844715008	154	7170	1510	428404084736	154	7490	1520	432818814976	154	6260	2590	394447532032	154	6920	1940	413425393664	154	7530	1560	415894368256	154	7990	1460	418544443392	154	8210	1440	419642781696	154	6730	2550	390918574080	154	7390	1880	408820449280	154	8220	1540	412495261696	154	8400	1400	414277533696	154	8920	1410	419720663040
correct false	0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0
incorrect results	0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0
incorrect true	0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0
incorrect false	0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0				0
score (154 tasks, max score: 308)	308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308				308
Run set	bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc1.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc2.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc4.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc6.VA-parallelBAM-8.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-1.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-2.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-4.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-6.ReachSafety-ECA-true				bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true