TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	SeqAAMLS	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	1.242920012	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-state	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.969888588	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-set	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.339262889	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-part	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.378096247	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-set	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.251941737	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-part	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.161124375	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-state	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.531827221	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-state	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.193503685	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-set	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.500921448	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-set	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.133731778	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-part	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.542875001	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-part	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.294896548	true	
Lattice	Bound	Address	Scheme program	Step filter?	Machine	p	# states	# error states	# error values	# final states	# final values	Final values	#	?	Time 1	?	Time 2	?	Time 3	?	Time 4	?	Time 5	?	Time 6	?	Time 7	?	Time 8	?	Time 9	?	Time 10	?	Time 11	?	Time 12	?	Time 13	# finished	Average time	Standard error	Correct?	Error 1	Error 2	Error 3	Error 4	Error 5	Error 6	Error 7	Error 8	Error 9	Error 10	Error 11	Error 12	Error 13
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	SeqAAMLS	1	1084654	0	0	1	1	{#f,#t}	13	true	31.613597344	true	29.961107227	true	30.014337823	true	29.759514782	true	29.928112021	true	30.740502928	true	30.115865073	true	29.920892522	true	29.885236598	true	29.772897994	true	29.442648476	true	29.42465747	true	29.642070646	13	30.017033915692306	0.37213286121893374	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	2	1084654	0	0	1	1	{#f,#t}	13	true	47.830184896	true	46.809175632	true	47.799684539	true	48.076933467	true	47.329931256	true	48.172829901	true	48.095024791	true	47.558487271	true	47.635110883	true	47.538687295	true	48.21160556	true	47.791244977	true	47.297876567	13	47.70359823346154	0.3157416148875733	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	3	1084654	0	0	1	1	{#f,#t}	13	true	47.836364277	true	47.765324367	true	47.837899961	true	47.533093331	true	47.194784267	true	48.029228484	true	47.825049607	true	47.639442033	true	48.152646578	true	48.136449878	true	48.257578759	true	48.419374877	true	47.714847259	13	47.87246797523077	0.2512213384378698	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	4	1084654	0	0	1	1	{#f,#t}	13	true	47.425844107	true	47.397073089	true	47.825431202	true	48.164635726	true	47.762375979	true	47.093023634	true	47.74356979	true	47.479513001	true	46.639045108	true	48.140958662	true	47.048768891	true	48.542161405	true	47.284673995	13	47.58054419915384	0.4147488567810647	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	5	1084654	0	0	1	1	{#f,#t}	13	true	47.694417983	true	48.346568342	true	46.512736646	true	47.747976859	true	47.416028597	true	48.241404583	true	48.539222333	true	47.51717282	true	47.379331925	true	47.033205757	true	45.967083741	true	46.816617716	true	47.619506815	13	47.44855954746154	0.548669677349111	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	6	1084654	0	0	1	1	{#f,#t}	13	true	47.276605307	true	47.87306163	true	48.056809123	true	46.54919565	true	47.263222889	true	47.637798028	true	48.626457665	true	48.420705964	true	47.081822701	true	47.558425745	true	47.538425276	true	45.998112403	true	47.403842788	13	47.48342193607693	0.5119584428402363	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	7	1084654	0	0	1	1	{#f,#t}	13	true	47.350606341	true	47.665000843	true	47.69276452	true	47.185695599	true	46.819449212	true	47.34626931	true	47.455302203	true	47.555286093	true	47.16858912	true	47.518244578	true	46.859895351	true	47.325499608	true	48.220820696	13	47.39718642107692	0.26527698562130114	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	8	1084654	0	0	1	1	{#f,#t}	13	true	47.519647261	true	48.256654992	true	46.936951546	true	47.520323672	true	47.723872701	true	47.290059619	true	48.007108588	true	47.211025209	true	46.237490126	true	46.421067132	true	47.275568171	true	47.958479587	true	48.002920289	13	47.41239760715385	0.47726520614201245	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	9	1084654	0	0	1	1	{#f,#t}	13	true	47.294062614	true	47.924911728	true	47.730452474	true	48.05481337	true	48.462289541	true	47.105295502	true	47.720114227	true	47.357480154	true	47.261419616	true	46.465409302	true	48.275183667	true	47.694659786	true	47.395559461	13	47.59551164938461	0.4144374226627232	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	10	1084654	0	0	1	1	{#f,#t}	13	true	47.021777568	true	47.296182323	true	48.085761359	true	48.137488622	true	47.287899334	true	47.40631585	true	47.244157037	true	47.38101723	true	46.798750085	true	47.149122182	true	47.342943365	true	47.15700972	true	47.0690351	13	47.33672767499999	0.25690585399999794	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	12	1084654	0	0	1	1	{#f,#t}	13	true	47.622762449	true	46.601277594	true	47.291644031	true	47.613696852	true	47.880762529	true	48.773352334	true	47.111927188	true	46.964061209	true	46.942739481	true	46.910578336	true	47.991128703	true	47.023670087	true	47.464559641	13	47.39939695646155	0.4538278106508888	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	14	1084654	0	0	1	1	{#f,#t}	13	true	48.5557131	true	47.344336931	true	47.308166561	true	47.46185878	true	46.44197798	true	47.788895159	true	47.721547194	true	47.371765762	true	46.745207057	true	48.164771903	true	47.545320012	true	47.306207137	true	46.873498304	13	47.433020452307694	0.4061512975621299	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	16	1084654	0	0	1	1	{#f,#t}	13	true	46.67535818	true	47.116002888	true	47.711672989	true	46.783770339	true	47.735121724	true	47.279142195	true	48.131908963	true	47.670686374	true	48.028203657	true	47.559573491	true	46.856342696	true	47.34911577	true	47.205823532	13	47.39251713830769	0.3818560566390538	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	24	1084654	0	0	1	1	{#f,#t}	13	true	47.561384421	true	47.344964703	true	46.695588634	true	47.703347169	true	47.355715544	true	47.96056293	true	47.697759499	true	47.392437712	true	46.228766701	true	47.507514269	true	47.47120134	true	47.604615095	true	47.574848186	13	47.39220816946153	0.2990457070532561	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-state	32	1084654	0	0	1	1	{#f,#t}	13	true	47.403089303	true	47.282655555	true	47.800641853	true	47.377067157	true	47.261060322	true	47.739904587	true	47.151317619	true	47.242159777	true	46.646720751	true	47.47187535	true	47.22398526	true	46.456972916	true	47.050298536	13	47.23905761430769	0.2563066137751487	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	2	1084654	0	0	1	1	{#f,#t}	13	true	47.010858336	true	46.726554734	true	46.933095564	true	46.435057273	true	46.52391467	true	46.976249874	true	46.503121944	true	46.930331708	true	46.184192251	true	46.261941682	true	46.602839665	true	46.615087898	true	47.392328982	13	46.69965958315384	0.2725325690887563	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	3	1084654	0	0	1	1	{#f,#t}	13	true	47.452878501	true	46.186736877	true	46.965546154	true	46.338936986	true	46.649273145	true	46.662534393	true	46.873316846	true	47.166179334	true	46.870266623	true	47.130782848	true	47.20694936	true	46.64334354	true	46.839995108	13	46.84513382423078	0.26922813790532546	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	4	1084654	0	0	1	1	{#f,#t}	13	true	47.019897989	true	46.965687378	true	46.609957222	true	46.494361104	true	46.60594053	true	46.932918082	true	46.651512018	true	47.243963621	true	46.541280397	true	47.030630692	true	47.273357607	true	47.076402518	true	46.813654948	13	46.86612031584615	0.22769471939645042	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	5	1084654	0	0	1	1	{#f,#t}	13	true	47.208292613	true	47.417882017	true	46.692111045	true	46.951283142	true	46.474930473	true	47.330881489	true	47.064882509	true	46.642727677	true	47.330326752	true	47.409390266	true	47.009426673	true	47.36348791	true	46.538060016	13	47.03336019861539	0.2910187947218924	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	6	1084654	0	0	1	1	{#f,#t}	13	true	47.43910899	true	46.344113609	true	46.776751487	true	46.957251017	true	47.386931793	true	46.536173164	true	47.900963245	true	46.705182435	true	46.490036882	true	47.343639229	true	47.617489596	true	47.68729215	true	47.076923978	13	47.09706596730769	0.429696799869823	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	7	1084654	0	0	1	1	{#f,#t}	13	true	46.765273096	true	47.325635444	true	47.763096905	true	46.951391667	true	46.583528745	true	47.146265434	true	47.069011171	true	46.956125219	true	46.757143395	true	46.995168871	true	47.405053778	true	47.17891679	true	47.117569322	13	47.07801383361539	0.22591610327810668	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	8	1084654	0	0	1	1	{#f,#t}	13	true	47.275939272	true	47.178997934	true	47.692727153	true	47.696537575	true	47.810071064	true	47.146135904	true	46.635709823	true	47.32099463	true	46.183163429	true	46.85796324	true	47.280525579	true	47.018373655	true	47.480495861	13	47.19827962453846	0.333743655727812	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	9	1084654	0	0	1	1	{#f,#t}	13	true	46.702688223	true	47.530017781	true	47.536792133	true	47.492036419	true	47.72880418	true	47.127574668	true	47.635738636	true	48.241116566	true	47.228817216	true	48.290025304	true	46.913495523	true	48.50610368	true	47.928167411	13	47.60472136461539	0.41563501373964473	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	10	1084654	0	0	1	1	{#f,#t}	13	true	46.83770469	true	47.701224038	true	47.642397583	true	47.815550535	true	46.970116373	true	46.556323917	true	47.012457621	true	47.612983828	true	47.262823236	true	47.471398807	true	47.859444135	true	47.38354436	true	46.890845234	13	47.30898571976923	0.35748357655621166	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	12	1084654	0	0	1	1	{#f,#t}	13	true	46.801592787	true	47.788851388	true	47.209402996	true	46.716502951	true	47.459404349	true	46.797310547	true	47.576689674	true	46.639636569	true	47.873629436	true	47.004579757	true	47.792927434	true	47.413412195	true	47.126173409	13	47.2461625763077	0.37352907971597643	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	14	1084654	0	0	1	1	{#f,#t}	13	true	46.888388683	true	46.814104725	true	47.326381333	true	46.746084888	true	46.981579422	true	47.306407964	true	46.888533385	true	48.07744719	true	47.067139464	true	47.351772978	true	46.715441666	true	47.462028993	true	47.787873503	13	47.185629553384615	0.3381745601065086	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	16	1084654	0	0	1	1	{#f,#t}	13	true	47.42122415	true	46.50866374	true	47.262105791	true	47.385198732	true	46.927319198	true	47.119944661	true	47.137206801	true	46.570226649	true	47.170424694	true	46.43695655	true	47.786095976	true	47.87050164	true	46.699646469	13	47.099655003923075	0.3623788328639054	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	24	1084654	0	0	1	1	{#f,#t}	13	true	47.054496241	true	47.604652635	true	46.687639444	true	46.630179501	true	47.020148869	true	46.522566651	true	46.775034999	true	46.90671465	true	46.435752862	true	47.200647998	true	47.514089406	true	47.35785867	true	46.69762776	13	46.95441612969232	0.3115995447455634	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-set	32	1084654	0	0	1	1	{#f,#t}	13	true	47.620086478	true	46.917910127	true	46.819617541	true	47.030454048	true	47.011230657	true	47.16790937	true	46.922584879	true	46.809472334	true	47.161848692	true	47.169527656	true	46.982100148	true	47.765331223	true	47.900044948	13	47.17523985392307	0.27072970572780536	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	2	1084654	0	0	1	1	{#f,#t}	13	true	36.619212427	true	36.55644048	true	37.189789531	true	37.269741585	true	37.093659314	true	36.568919048	true	37.28983903	true	36.402639722	true	36.26864613	true	36.767944073	true	37.277136704	true	36.560908795	true	37.003856718	13	36.836056427461536	0.3242591257278103	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	3	1084654	0	0	1	1	{#f,#t}	13	true	25.616927548	true	25.805758253	true	25.419027404	true	25.493910055	true	25.612028876	true	25.251846606	true	25.649578591	true	25.732182888	true	25.40890955	true	25.781662772	true	25.937494021	true	25.535149753	true	25.432514003	13	25.590537716923077	0.15413368162130162	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	4	1084654	0	0	1	1	{#f,#t}	13	true	22.26730209	true	22.033415918	true	22.158830944	true	22.248992825	true	22.045487845	true	21.863985727	true	21.966833159	true	21.769194317	true	21.83948303	true	22.139486945	true	21.919485731	true	21.939831844	true	21.670914685	13	21.989480389230774	0.14717449717159808	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	5	1084654	0	0	1	1	{#f,#t}	13	true	19.888350283	true	19.865569053	true	19.868973283	true	19.729442007	true	19.64996901	true	19.871734936	true	19.645620855	true	20.002196894	true	19.71005249	true	19.699715618	true	19.749510406	true	19.542579003	true	19.797038342	13	19.770827090769235	0.10290773021301848	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	6	1084654	0	0	1	1	{#f,#t}	13	true	17.663949433	true	18.083602405	true	17.802361091	true	17.59611184	true	17.521204072	true	17.704800173	true	17.941381285	true	17.644532654	true	17.713834139	true	17.675656303	true	17.608096064	true	17.942025498	true	17.696919398	13	17.738036488846152	0.1257268190177512	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	7	1084654	0	0	1	1	{#f,#t}	13	true	16.154848259	true	15.827009376	true	16.135615116	true	16.100729526	true	15.820357567	true	15.971218432	true	16.219445515	true	16.309566133	true	16.120599669	true	15.818073718	true	15.689500132	true	15.858290002	true	16.0748043	13	16.007696749615384	0.16334327241420132	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	8	1084654	0	0	1	1	{#f,#t}	13	true	15.157109473	true	14.446392646	true	15.142520158	true	14.677572955	true	14.958380374	true	14.82796337	true	14.606800422	true	14.753961567	true	14.419291331	true	14.758620555	true	15.071731639	true	14.444300569	true	14.71067104	13	14.767332007615387	0.20323768860355115	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	9	1084654	0	0	1	1	{#f,#t}	13	true	14.804004725	true	15.154876926	true	14.895071982	true	14.792999328	true	14.892390156	true	15.168079124	true	14.497657192	true	15.019165861	true	14.37417088	true	14.774285109	true	14.385492505	true	14.658278162	true	15.116130879	13	14.810200217615385	0.21300209573964488	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	10	1084654	0	0	1	1	{#f,#t}	13	true	16.257817223	true	16.365846181	true	16.102533163	true	16.521582731	true	16.165963767	true	16.411679904	true	16.572532941	true	16.405489899	true	16.393609741	true	16.339221961	true	16.220228043	true	15.887887878	true	16.065826124	13	16.285401504307693	0.15571581966863837	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	12	1084654	0	0	1	1	{#f,#t}	13	true	16.812762311	true	16.61831044	true	16.476717479	true	16.659308611	true	16.862315196	true	16.631168309	true	16.617689406	true	16.842374154	true	16.968427955	true	16.515124416	true	16.413705522	true	16.377829556	true	16.71713793	13	16.654836252692306	0.14358594474556233	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	14	1084654	0	0	1	1	{#f,#t}	13	true	16.424449409	true	16.636957081	true	16.540374254	true	16.678195272	true	16.676575354	true	16.805752064	true	16.724663864	true	16.774698497	true	16.684572607	true	16.649494794	true	16.630970516	true	16.192673407	true	16.67408644	13	16.622574119923076	0.10926542919526647	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	16	1084654	0	0	1	1	{#f,#t}	13	true	16.806048096	true	16.703751126	true	16.658743306	true	16.492538486	true	16.663787543	true	16.537961539	true	16.511559869	true	16.629593158	true	16.9479271	true	16.875355548	true	16.815152564	true	16.605132511	true	16.809899753	13	16.69672696915385	0.11965728801183481	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	24	1084654	0	0	1	1	{#f,#t}	13	true	16.795378077	true	16.867629508	true	17.219054643	true	16.81565805	true	17.201781413	true	16.782946368	true	17.034089956	true	17.090559607	true	16.789990099	true	17.071856585	true	17.04040138	true	17.120369191	true	16.843837982	13	16.97488868146154	0.1467526161183428	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-L-SA-part	32	1084654	0	0	1	1	{#f,#t}	13	true	17.766120541	true	17.519265784	true	17.929268532	true	17.458659406	true	17.46108203	true	17.694520797	true	17.35379838	true	17.864201664	true	17.579876147	true	17.473049051	true	17.374913248	true	17.727963842	true	17.597476018	13	17.60001503384615	0.15107695488757336	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	2	1084654	0	0	1	1	{#f,#t}	13	true	45.806851848	true	45.960099186	true	45.782828666	true	45.074493987	true	44.990926255	true	45.396590219	true	45.504355468	true	46.83253586	true	45.364823411	true	45.397386746	true	45.111535014	true	45.553211644	true	45.387187808	13	45.550986624000004	0.33547601292307844	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	3	1084654	0	0	1	1	{#f,#t}	13	true	29.997967484	true	29.819488865	true	30.009503401	true	29.55908324	true	30.110604601	true	30.423455019	true	29.857602655	true	29.987923599	true	29.67745376	true	29.733173645	true	29.572169292	true	29.339656895	true	30.54126254	13	29.89456499969231	0.26205025320710035	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	4	1084654	0	0	1	1	{#f,#t}	13	true	19.398536819	true	19.764989504	true	19.685259245	true	19.352907275	true	19.808962121	true	19.580808649	true	19.374670384	true	19.594160417	true	19.585018237	true	19.71789747	true	19.607544555	true	19.716715827	true	19.805385177	13	19.614835052307697	0.12464600463905356	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	5	1084654	0	0	1	1	{#f,#t}	13	true	14.612823076	true	14.130685656	true	13.99423906	true	14.271038438	true	14.136094181	true	14.071321995	true	14.215833545	true	14.026686775	true	14.242833196	true	14.019719511	true	14.08055624	true	13.957738145	true	14.04451476	13	14.138775736769231	0.12114235506508877	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	6	1084654	0	0	1	1	{#f,#t}	13	true	11.121861817	true	10.855407855	true	10.975289489	true	11.033774484	true	11.346922956	true	10.964765316	true	11.068751776	true	11.061452135	true	10.998240447	true	11.192606622	true	11.057150256	true	11.136767772	true	11.129685579	13	11.07251357723077	0.08696567074556259	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	7	1084654	0	0	1	1	{#f,#t}	13	true	10.514911197	true	10.404697043	true	10.301865261	true	10.451712038	true	10.765672802	true	10.967420212	true	10.602885585	true	10.62437938	true	10.649017729	true	10.793348935	true	10.649438454	true	10.458192787	true	10.42818126	13	10.58551712946154	0.1466989524260353	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	8	1084654	0	0	1	1	{#f,#t}	13	true	8.479251065	true	8.902519877	true	9.033278192	true	9.162152725	true	8.921007374	true	8.718840704	true	8.724403675	true	8.901871307	true	9.166779056	true	8.793882889	true	8.876250091	true	8.611516662	true	8.956482898	13	8.865248962692307	0.15359227976331363	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	9	1084654	0	0	1	1	{#f,#t}	13	true	8.124096008	true	7.712303134	true	7.930006759	true	7.917574271	true	8.219951233	true	7.765066203	true	7.800168195	true	7.717520517	true	7.865002432	true	8.032051186	true	7.641418308	true	8.05805719	true	7.889305069	13	7.897886192692307	0.137602998591716	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	10	1084654	0	0	1	1	{#f,#t}	13	true	7.663902442	true	7.500488479	true	7.556357864	true	7.672640594	true	7.530737417	true	7.387314273	true	7.664551334	true	7.679483049	true	7.610129874	true	7.639842591	true	7.557704445	true	7.464907308	true	7.490327113	13	7.570645137153846	0.0779506247810651	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	12	1084654	0	0	1	1	{#f,#t}	13	true	7.450750348	true	7.306818331	true	7.29672877	true	7.258084205	true	7.469513101	true	7.406840054	true	7.410555899	true	7.345138796	true	7.312289877	true	7.272213852	true	7.354072326	true	7.379280312	true	7.541258887	13	7.369503442923077	0.0678735297633136	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	14	1084654	0	0	1	1	{#f,#t}	13	true	7.411946965	true	7.300902371	true	7.248668198	true	7.280215337	true	7.222345992	true	7.327773693	true	7.257499557	true	7.59139758	true	7.273060999	true	7.266548197	true	7.192440747	true	7.241034263	true	7.258398984	13	7.2978640679230775	0.06777912881656831	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	16	1084654	0	0	1	1	{#f,#t}	13	true	7.244426448	true	7.162894757	true	7.359693703	true	7.188748344	true	7.154824182	true	7.195169234	true	7.236980546	true	7.227882084	true	7.167975805	true	7.233349621	true	7.339995262	true	7.196711563	true	7.203176662	13	7.2239867854615385	0.04590876172781065	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	24	1084654	0	0	1	1	{#f,#t}	13	true	7.391354441	true	7.294526557	true	7.320089671	true	7.309411621	true	7.316924004	true	7.386859519	true	7.287581894	true	7.319939035	true	7.436335425	true	7.273037811	true	7.38493218	true	7.383368401	true	7.290816389	13	7.338090534461537	0.04498419902958544	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-set	32	1084654	0	0	1	1	{#f,#t}	13	true	7.359500177	true	7.478790282	true	7.462859816	true	7.398674654	true	7.514284541	true	7.23570925	true	7.336287619	true	7.287984592	true	7.366643609	true	7.373986132	true	7.367225362	true	7.407938868	true	7.311521334	13	7.3770312489230765	0.058060294828402255	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	2	1084654	0	0	1	1	{#f,#t}	13	true	37.298343629	true	38.183554787	true	36.937267577	true	36.953549083	true	36.998421866	true	36.611941495	true	36.778467672	true	38.196507109	true	36.464980038	true	37.298197391	true	36.325049901	true	37.417602155	true	36.992963418	13	37.112065086230764	0.4359814830532531	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	3	1084654	0	0	1	1	{#f,#t}	13	true	22.243197315	true	22.861236825	true	22.415683773	true	22.37248595	true	22.487946358	true	22.266485548	true	22.968178743	true	22.436426708	true	22.070503599	true	22.722405805	true	22.382789373	true	22.269831463	true	22.846612856	13	22.487983408923075	0.22253855281656734	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	4	1084654	0	0	1	1	{#f,#t}	13	true	16.917317279	true	16.98649032	true	16.793756129	true	16.879420109	true	16.87741394	true	16.702448497	true	17.197684498	true	17.174484545	true	17.037384529	true	16.845147507	true	16.840076052	true	16.793165824	true	16.926195362	13	16.920844968538464	0.11046375558579988	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	5	1084654	0	0	1	1	{#f,#t}	13	true	13.714209041	true	13.520872222	true	13.604779161	true	13.846043396	true	13.947609128	true	13.842866623	true	13.695867229	true	13.885238866	true	13.672461303	true	13.729348986	true	13.986332535	true	14.007508971	true	13.67989439	13	13.77946398853846	0.12904855196449722	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	6	1084654	0	0	1	1	{#f,#t}	13	true	11.252557285	true	11.288897162	true	11.309558108	true	11.209748822	true	11.242417188	true	11.380758595	true	11.109238397	true	11.281046559	true	11.182014036	true	11.534188354	true	11.220341213	true	11.181252182	true	11.300005947	13	11.268617219076921	0.07426944777514777	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	7	1084654	0	0	1	1	{#f,#t}	13	true	10.018321659	true	9.909821824	true	9.782195956	true	9.719634621	true	10.057455044	true	9.88015913	true	9.891706791	true	9.836520353	true	10.000648312	true	9.956677798	true	9.867440886	true	9.865951916	true	9.829621646	13	9.893550456615385	0.07310343906508852	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	8	1084654	0	0	1	1	{#f,#t}	13	true	10.527811165	true	10.439690405	true	10.350430477	true	10.361404289	true	10.3740964	true	10.275746458	true	10.215550855	true	10.336931619	true	10.35290943	true	10.94918887	true	10.346748639	true	10.117162792	true	10.652104175	13	10.407675044153846	0.14432222128994082	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	9	1084654	0	0	1	1	{#f,#t}	13	true	10.668804364	true	10.589148089	true	10.45234588	true	10.642354835	true	11.012066938	true	10.518176092	true	10.758202218	true	10.337006491	true	10.942658862	true	10.886230327	true	10.387412461	true	10.610669732	true	10.418640116	13	10.632593569615384	0.1715009425088757	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	10	1084654	0	0	1	1	{#f,#t}	13	true	10.536712569	true	10.832270498	true	11.246389955	true	10.510120837	true	10.950062475	true	10.727748513	true	10.70749251	true	10.549148206	true	10.886665969	true	10.59223528	true	10.784116475	true	10.668267993	true	10.9997198	13	10.768534698461538	0.1673872278816564	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	12	1084654	0	0	1	1	{#f,#t}	13	true	9.093190589	true	8.975516421	true	9.091793903	true	9.328286313	true	9.084898373	true	9.130022004	true	9.2360638	true	9.409207786	true	9.182739252	true	9.385135306	true	9.352526494	true	9.41220763	true	9.364005758	13	9.234276433	0.13038431630769218	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	14	1084654	0	0	1	1	{#f,#t}	13	true	8.648863662	true	8.471926687	true	8.297329898	true	8.565619012	true	8.552439606	true	8.65484542	true	8.386329456	true	8.2833096	true	8.662881181	true	8.395828994	true	8.170100508	true	8.498152823	true	8.414172841	13	8.461676899076922	0.12661386114792897	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	16	1084654	0	0	1	1	{#f,#t}	13	true	8.288382374	true	8.174812376	true	8.416588569	true	8.250457826	true	8.333763426	true	8.615981071	true	8.797712703	true	8.401542985	true	8.293651343	true	8.319686451	true	8.143157896	true	8.37201261	true	8.283949127	13	8.360899904384617	0.1229751409349116	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	24	1084654	0	0	1	1	{#f,#t}	13	true	7.46187334	true	7.675161794	true	7.525870023	true	7.783193439	true	7.670171032	true	7.637527507	true	7.506423515	true	7.558709803	true	7.421295353	true	7.372832954	true	7.465098467	true	7.825123758	true	7.317059922	13	7.555410839	0.12575727676923076	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-S-part	32	1084654	0	0	1	1	{#f,#t}	13	true	7.527321655	true	7.373361575	true	7.566235772	true	7.442162407	true	7.641151914	true	7.648124611	true	7.464957384	true	7.576329767	true	7.271677276	true	7.692800763	true	7.586090146	true	7.841580865	true	7.369306359	13	7.538546191846153	0.12038315308875748	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	1	1084654	0	0	1	1	{#f,#t}	13	true	32.960800285	true	32.526693751	true	31.693457856	true	32.044768127	true	32.186881289	true	32.735109981	true	32.050257408	true	31.470621499	true	32.012540665	true	31.876222697	true	32.75996789	true	32.099714119	true	31.831738271	13	32.17298260292308	0.35454464328994134	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	2	1084654	0	0	1	1	{#f,#t}	13	true	17.925454292	true	17.623136288	true	17.008864851	true	16.88619343	true	17.290874307	true	17.251849681	true	17.178239742	true	17.802338811	true	17.10030535	true	16.771632943	true	16.952307189	true	17.265887662	true	17.457498739	13	17.270352560384616	0.2688522515502963	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	3	1084654	0	0	1	1	{#f,#t}	13	true	11.886310561	true	11.853028754	true	11.941474923	true	11.90036312	true	12.138877033	true	12.050623016	true	11.964805308	true	11.997888594	true	11.953378602	true	11.915563275	true	12.236492615	true	12.421690769	true	12.030695177	13	12.022399365153849	0.11790488988165707	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	4	1084654	0	0	1	1	{#f,#t}	13	true	9.494965852	true	9.417605879	true	9.43199826	true	9.464630006	true	9.454976988	true	9.659392719	true	9.614927736	true	9.707610274	true	9.507076814	true	9.572642684	true	9.433592632	true	9.408163777	true	9.428947124	13	9.507425441923077	0.08074948389349118	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	5	1084654	0	0	1	1	{#f,#t}	13	true	7.993046065	true	7.859649363	true	8.002394045	true	7.997207305	true	7.890978477	true	7.872762247	true	8.031669167	true	7.919976292	true	7.948534805	true	8.024434599	true	8.057361836	true	7.910671287	true	7.875472426	13	7.9526275318461535	0.060053511680473286	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	6	1084654	0	0	1	1	{#f,#t}	13	true	6.953544721	true	6.877165971	true	6.825054827	true	6.941034798	true	6.987306171	true	7.030261613	true	6.882032403	true	6.844464983	true	6.820966602	true	6.820010022	true	6.779136244	true	6.990298924	true	6.879493219	13	6.894674653692308	0.06601122439053249	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	7	1084654	0	0	1	1	{#f,#t}	13	true	6.271032363	true	6.274168584	true	6.359296224	true	6.220276986	true	6.21122818	true	6.0764876	true	6.185717348	true	6.175159749	true	6.175993188	true	6.185458402	true	6.245032104	true	6.164663488	true	6.222476498	13	6.212845439538461	0.04849386488757395	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	8	1084654	0	0	1	1	{#f,#t}	13	true	5.920936836	true	5.851137379	true	5.865162203	true	5.833576267	true	5.934571147	true	5.904507653	true	5.90972396	true	5.948058334	true	5.928814167	true	6.083005253	true	5.861642662	true	5.802556692	true	5.853355121	13	5.899772897999998	0.05095493292307699	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	9	1084654	0	0	1	1	{#f,#t}	13	true	6.000460895	true	6.046916729	true	5.967700072	true	6.060966295	true	5.979125739	true	6.108155538	true	6.083799751	true	6.109736624	true	5.962649672	true	6.076919163	true	6.090003064	true	5.991215495	true	6.246350711	13	6.055692288307693	0.059397711976331334	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	10	1084654	0	0	1	1	{#f,#t}	13	true	6.237823448	true	6.244075395	true	6.112710281	true	6.226325403	true	6.22926547	true	6.314707468	true	6.209859947	true	6.320183403	true	6.190255226	true	6.184932244	true	6.16996355	true	6.235796897	true	6.230497455	13	6.22356893746154	0.03848052912426008	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	12	1084654	0	0	1	1	{#f,#t}	13	true	6.388581688	true	6.225966858	true	6.109366665	true	6.346969564	true	6.352503581	true	6.302494668	true	6.244112893	true	6.372421438	true	6.27688545	true	6.272115293	true	6.312970201	true	6.309914443	true	6.369152318	13	6.298727312307692	0.05618298500591731	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	14	1084654	0	0	1	1	{#f,#t}	13	true	6.338209441	true	6.369590471	true	6.286725287	true	6.289861786	true	6.319972944	true	6.413815895	true	6.308004833	true	6.125096958	true	6.251980741	true	6.316240725	true	6.269701372	true	6.230212887	true	6.284900351	13	6.292639514692308	0.04769188013017745	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	16	1084654	0	0	1	1	{#f,#t}	13	true	6.430737347	true	6.322583302	true	6.306283862	true	6.360014509	true	6.241248481	true	6.358823706	true	6.278579704	true	6.312053167	true	6.305511723	true	6.487100613	true	6.316669742	true	6.245516421	true	6.467866292	13	6.340999143769232	0.06146873048520734	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	24	1084654	0	0	1	1	{#f,#t}	13	true	6.460375625	true	6.315316173	true	6.182079304	true	6.243835701	true	6.186621404	true	6.385812959	true	6.287730258	true	6.410289746	true	6.162567422	true	6.439469743	true	6.158362681	true	6.313788448	true	6.33764328	13	6.298760980307692	0.08790294028402375	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-state	32	1084654	0	0	1	1	{#f,#t}	13	true	6.376000141	true	6.416638018	true	6.276454696	true	6.309303346	true	6.349840537	true	6.415803499	true	6.314054018	true	6.319841826	true	6.316355442	true	6.307850709	true	6.448237904	true	6.377854131	true	6.355330043	13	6.35258187	0.04221115630769226	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	1	1084654	0	0	1	1	{#f,#t}	13	true	31.506811266	true	32.769957685	true	32.420377715	true	31.848105684	true	32.078244014	true	32.226475157	true	31.994420078	true	31.57807062	true	31.843925357	true	31.289495949	true	31.473283219	true	32.043308857	true	32.14951822	13	31.940153370846154	0.3232658661656809	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	2	1084654	0	0	1	1	{#f,#t}	13	true	16.908492796	true	17.286308912	true	17.040784726	true	17.737951898	true	17.737493328	true	17.305445709	true	17.266055415	true	17.288062825	true	17.456999769	true	17.560971987	true	18.080490438	true	17.230307511	true	17.738866807	13	17.433710163153844	0.26315588431952636	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	3	1084654	0	0	1	1	{#f,#t}	13	true	12.375217052	true	11.928928187	true	11.845925628	true	12.055282001	true	11.78679099	true	11.74069375	true	11.961536102	true	11.952616998	true	12.100312172	true	11.902534076	true	11.949343221	true	11.93833985	true	11.864931472	13	11.954034730692307	0.10403206218934877	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	4	1084654	0	0	1	1	{#f,#t}	13	true	9.472331906	true	9.57053204	true	9.586911325	true	9.684281929	true	9.447290184	true	9.448259947	true	9.41121246	true	9.435752461	true	9.357942404	true	9.639560484	true	9.430756856	true	9.393973345	true	9.468695965	13	9.48826933123077	0.08126283893491162	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	5	1084654	0	0	1	1	{#f,#t}	13	true	7.92670392	true	7.848281914	true	7.918382632	true	7.976831128	true	7.951287268	true	7.896287706	true	7.933041201	true	7.957632332	true	7.89988748	true	7.938915644	true	7.949567779	true	8.253918339	true	8.140429971	13	7.968551331846156	0.07161929884023764	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	6	1084654	0	0	1	1	{#f,#t}	13	true	7.047487482	true	6.940407627	true	6.977373333	true	7.121496773	true	6.881334728	true	6.925013154	true	6.9984312	true	6.961744031	true	7.037009992	true	7.032546272	true	6.928998412	true	6.957087518	true	6.90973052	13	6.978358541692307	0.05310446315976311	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	7	1084654	0	0	1	1	{#f,#t}	13	true	6.351869612	true	6.238399732	true	6.279886104	true	6.268799298	true	6.225021954	true	6.278958066	true	6.390328355	true	6.303393432	true	6.288725162	true	6.278222029	true	6.220441615	true	6.320632178	true	6.339275748	13	6.291073329615385	0.03848195029585792	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	8	1084654	0	0	1	1	{#f,#t}	13	true	5.942876549	true	5.963473243	true	5.98228638	true	5.876832983	true	6.006793775	true	5.907919772	true	5.899185289	true	6.0146595	true	5.99575607	true	6.091960459	true	5.978758737	true	6.027669858	true	5.955817028	13	5.972614587923076	0.044551179005917194	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	9	1084654	0	0	1	1	{#f,#t}	13	true	6.424042526	true	6.428980203	true	6.565926897	true	6.427443689	true	6.466949508	true	6.429991811	true	6.483253584	true	6.491571547	true	6.554296673	true	6.521062578	true	6.501377457	true	6.443964884	true	6.499145135	13	6.47984665323077	0.03964727667455618	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	10	1084654	0	0	1	1	{#f,#t}	13	true	6.646798884	true	6.663722142	true	6.67761754	true	6.633831758	true	6.777244838	true	6.716476057	true	6.832337661	true	6.721211968	true	6.597826471	true	6.690416301	true	6.619316466	true	6.638821639	true	6.664040076	13	6.68305090776923	0.049604967100591625	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	12	1084654	0	0	1	1	{#f,#t}	13	true	6.666642183	true	6.630643903	true	6.623753031	true	6.742712134	true	6.668569667	true	6.785286308	true	6.774301214	true	6.701427438	true	6.670784141	true	6.622274707	true	6.764470328	true	6.739223573	true	6.679705545	13	6.697676474769232	0.049440330213017795	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	14	1084654	0	0	1	1	{#f,#t}	13	true	6.711573472	true	6.656311266	true	6.652669403	true	6.567749879	true	6.654123089	true	6.72671197	true	6.542900306	true	6.731260129	true	6.722380092	true	6.620876385	true	6.628721169	true	6.66485564	true	6.644452035	13	6.655737295	0.042872122923077	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	16	1084654	0	0	1	1	{#f,#t}	13	true	6.653695131	true	6.662134984	true	6.623031913	true	6.676768581	true	6.660086604	true	6.769886483	true	6.638529455	true	6.801187256	true	6.591322574	true	6.587654532	true	6.597267352	true	6.660166809	true	6.677909262	13	6.66151084123077	0.043128055360946944	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	24	1084654	0	0	1	1	{#f,#t}	13	true	6.550277423	true	6.460131187	true	6.530324887	true	6.473557014	true	6.418377774	true	6.526695117	true	6.463641152	true	6.43890869	true	6.458698625	true	6.529756186	true	6.544942364	true	6.60739326	true	6.504147609	13	6.500527022153846	0.044591952449704216	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-set	32	1084654	0	0	1	1	{#f,#t}	13	true	6.689592533	true	6.561190837	true	6.661891075	true	6.489462663	true	6.505979409	true	6.580394355	true	6.509586681	true	6.578279775	true	6.658671419	true	6.576835918	true	6.648298203	true	6.58163163	true	6.532202148	13	6.582616665076923	0.05045947226035503	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	1	1084654	0	0	1	1	{#f,#t}	13	true	29.883574581	true	29.34886243	true	29.979855294	true	29.501702791	true	29.802038974	true	29.909881475	true	29.152300034	true	28.854967032	true	29.736846452	true	28.923095534	true	29.275964835	true	30.459978166	true	29.707465377	13	29.57973330576923	0.37253956594082804	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	2	1084654	0	0	1	1	{#f,#t}	13	true	16.908168194	true	16.895665767	true	16.593429978	true	16.758299317	true	16.539101942	true	16.770556484	true	16.804236696	true	16.845173375	true	16.796072891	true	17.281649286	true	16.475792529	true	16.359914017	true	16.517833264	13	16.734299518461537	0.18237320958579964	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	3	1084654	0	0	1	1	{#f,#t}	13	true	12.312723897	true	12.456330331	true	12.350760838	true	12.376637645	true	12.353462412	true	12.29833668	true	12.32863207	true	12.138321727	true	12.439064326	true	12.383145806	true	12.032430335	true	12.451302549	true	12.302109019	13	12.324865971923078	0.08313972332544359	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	4	1084654	0	0	1	1	{#f,#t}	13	true	9.681248123	true	10.150521263	true	10.079989534	true	10.007748553	true	10.160399348	true	10.177815132	true	10.164444891	true	9.773373283	true	9.875066635	true	9.820559334	true	9.884335667	true	9.847481499	true	10.153574116	13	9.982812105999999	0.15612432230769235	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	5	1084654	0	0	1	1	{#f,#t}	13	true	8.350116784	true	8.719348513	true	8.431012034	true	8.336711171	true	8.311058835	true	8.341056348	true	8.426413206	true	8.509698414	true	8.459433396	true	8.446101944	true	8.461702158	true	8.480999144	true	8.401375344	13	8.436540560846153	0.07046772368047326	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	6	1084654	0	0	1	1	{#f,#t}	13	true	7.383591122	true	7.429989452	true	7.396415352	true	7.384764622	true	7.420803733	true	7.572944413	true	7.460213501	true	7.597747292	true	7.393301651	true	7.508718544	true	7.394121185	true	7.287522454	true	7.53384294	13	7.443382789307692	0.07023888360946738	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	7	1084654	0	0	1	1	{#f,#t}	13	true	6.691017366	true	6.636721926	true	6.637276502	true	6.68456365	true	6.667431295	true	6.793528726	true	6.831271733	true	6.699919895	true	6.877902877	true	6.777988989	true	6.733696754	true	6.598110871	true	6.737030554	13	6.720497010615384	0.0659134722011835	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	8	1084654	0	0	1	1	{#f,#t}	13	true	6.120565098	true	6.206887426	true	6.112656528	true	6.328972252	true	6.122810714	true	6.209706734	true	6.134875766	true	6.158526465	true	6.057979956	true	6.09534725	true	6.131404619	true	6.169961315	true	6.11677508	13	6.15126686176923	0.048879982023668465	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	9	1084654	0	0	1	1	{#f,#t}	13	true	6.311014965	true	6.282485258	true	6.240498366	true	6.34997119	true	6.307473043	true	6.22421965	true	6.488996478	true	6.350514772	true	6.387137648	true	6.366237437	true	6.398048787	true	6.354644981	true	6.516280688	13	6.3521171740769224	0.061329688390532426	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	10	1084654	0	0	1	1	{#f,#t}	13	true	6.130036284	true	6.204345031	true	6.263336106	true	6.110557557	true	6.180353994	true	6.200682876	true	6.243331746	true	6.059987821	true	6.017685684	true	6.157883957	true	6.263199786	true	6.074250559	true	6.108842848	13	6.154961096076923	0.06590858822485203	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	12	1084654	0	0	1	1	{#f,#t}	13	true	5.920117289	true	5.997193076	true	5.983733214	true	5.936004356	true	6.000222733	true	5.987676943	true	5.862341238	true	5.924591375	true	6.082537327	true	5.970859537	true	6.030735499	true	5.998913468	true	5.96069331	13	5.973509181923077	0.04099199792899414	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	14	1084654	0	0	1	1	{#f,#t}	13	true	5.91053142	true	5.844319148	true	5.874393859	true	5.812803846	true	5.894067034	true	5.899841124	true	5.812838262	true	5.876224874	true	6.021378845	true	5.886408783	true	5.887540119	true	5.770749123	true	5.884106912	13	5.875015642230769	0.03999599586982239	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	16	1084654	0	0	1	1	{#f,#t}	13	true	5.788829192	true	5.839897456	true	5.867092153	true	5.93183676	true	5.794749674	true	5.92163447	true	5.793521273	true	5.804980966	true	5.931828534	true	5.918308455	true	5.826533921	true	5.747559763	true	5.87880998	13	5.849660199769231	0.0540844851360947	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	24	1084654	0	0	1	1	{#f,#t}	13	true	5.54572213	true	5.545450224	true	5.537928259	true	5.617681317	true	5.648105135	true	5.52056229	true	5.545705951	true	5.529333286	true	5.584772816	true	5.588479133	true	5.52013532	true	5.510265586	true	5.597008578	13	5.56085769423077	0.035655155053254624	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	ParAAM-C-part	32	1084654	0	0	1	1	{#f,#t}	13	true	5.478394496	true	5.503713767	true	5.557235424	true	5.551797229	true	5.713534921	true	5.414203325	true	5.492504502	true	5.504137161	true	5.481203403	true	5.61302604	true	5.504310707	true	5.547703003	true	5.567848284	13	5.533047097076923	0.05428651054437868	true