TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	SeqAAMLS	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	3.584357995	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-state	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	3.495615038	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-set	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	1.085849714	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-L-SA-part	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.920101368	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-state	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	1.550369295	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-set	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.955176026	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-part	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.43756389	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	1.635391198	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-state	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.580801546	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	1.828122603	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-set	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.389526472	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	1.81108279	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-part	64	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.282812272	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/solovay-strassen.scm	false	SeqAAMLS	1	698817	18162	1	4878	1	#f	13	true	25.790115508	true	20.198785549	true	19.380361838	true	19.138339535	true	19.802714689	true	20.199311164	true	19.483208359	true	19.281953049	true	20.599749037	true	19.950662537	true	20.10462955	true	19.361201769	true	19.529364868	13	20.216953650153847	0.9163011145680486	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	2	698817	18162	1	4878	1	#f	13	true	37.878458835	true	38.217849121	true	38.385284484	true	37.986904684	true	38.048640777	true	37.575662371	true	37.823220699	true	37.30716343	true	37.617012543	true	37.65988358	true	37.551730776	true	37.771898457	true	37.906200297	13	37.82537769646154	0.22631877218934995	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	3	698817	18162	1	4878	1	#f	13	true	35.908905113	true	36.802392255	true	37.39403046	true	35.531436069	true	36.631689959	true	37.085046575	true	36.139432578	true	37.317380897	true	37.42344007	true	36.425791502	true	36.062065429	true	35.12073417	true	36.812985482	13	36.51194850453846	0.5974347948047338	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	4	698817	18162	1	4878	1	#f	13	true	41.004397408	true	40.319332611	true	41.172554894	true	38.26893121	true	40.928599274	true	40.514269295	true	38.658971717	true	40.109274766	true	38.761176912	true	39.083265326	true	41.080339713	true	40.07480429	true	38.726969033	13	39.900222034538466	0.9233532268757384	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	5	698817	18162	1	4878	1	#f	13	true	42.270643795	true	40.793234665	true	41.468214106	true	42.727101775	true	40.088781433	true	41.37660628	true	42.650350915	true	42.554870192	true	42.353449743	true	41.404653338	true	41.540360456	true	43.577331515	true	41.045398937	13	41.83469208846153	0.7885531391124249	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	6	698817	18162	1	4878	1	#f	13	true	42.783766953	true	42.886071611	true	42.036241653	true	42.453853013	true	42.11700154	true	42.21561627	true	41.424851831	true	41.161471109	true	43.981747651	true	41.546499485	true	42.216909061	true	42.077199286	true	41.246835603	13	42.16523577430769	0.5456230635621302	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	7	698817	18162	1	4878	1	#f	13	true	42.423027352	true	41.823859108	true	42.392913531	true	43.756247086	true	42.2066097	true	42.26644208	true	41.642036966	true	41.276342681	true	42.899243914	true	42.794478605	true	42.485314084	true	42.429355953	true	41.559157624	13	42.30423297569231	0.4693768761775149	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	8	698817	18162	1	4878	1	#f	13	true	42.582107725	true	42.679041632	true	42.051891815	true	42.915101735	true	41.619963575	true	43.988679377	true	43.617126025	true	42.695172758	true	42.946430952	true	42.164108564	true	41.938381743	true	43.368399483	true	44.402687097	13	42.8437763446923	0.642425630899407	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	9	698817	18162	1	4878	1	#f	13	true	42.96435709	true	43.809313622	true	43.312604562	true	44.128218762	true	42.13722262	true	43.250415738	true	41.168676191	true	42.249952116	true	42.848461564	true	43.524361929	true	42.633279339	true	42.773199997	true	43.159270314	13	42.91994875723078	0.5706001102130167	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	10	698817	18162	1	4878	1	#f	13	true	41.332524545	true	43.523916285	true	41.447565084	true	42.559525411	true	42.84808575	true	42.591286753	true	43.492340621	true	42.182519117	true	41.257121789	true	43.249865879	true	44.660661282	true	43.047049221	true	41.171878074	13	42.566487677769224	0.8381218533254441	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	12	698817	18162	1	4878	1	#f	13	true	43.949768083	true	42.792202066	true	41.364643318	true	42.55730241	true	42.696485465	true	42.466949558	true	44.567303297	true	42.295940088	true	42.752328339	true	43.268327377	true	41.156734749	true	44.039671852	true	43.551733172	13	42.88149152107693	0.7645147962485219	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	14	698817	18162	1	4878	1	#f	13	true	43.64665657	true	42.390342746	true	42.569220772	true	41.913492404	true	42.18258915	true	43.034588124	true	41.242238537	true	41.571386264	true	42.894143299	true	42.413104917	true	42.377257811	true	44.523357406	true	42.436958841	13	42.553487449307696	0.6000813729940842	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	16	698817	18162	1	4878	1	#f	13	true	43.507896306	true	41.488321629	true	41.877848592	true	42.130940983	true	42.961932344	true	41.838614415	true	41.902567882	true	44.106859024	true	41.022094445	true	43.198157019	true	43.003295074	true	41.351726508	true	42.249075254	13	42.35687149807693	0.7682741964023679	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	18	698817	18162	1	4878	1	#f	13	true	43.713008285	true	41.760426663	true	43.634584164	true	43.711539513	true	41.078355513	true	42.7928259	true	42.439999406	true	43.056118581	true	43.325797204	true	41.586846402	true	40.908625316	true	42.087278949	true	42.449239987	13	42.50343429869231	0.8020412084378705	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	20	698817	18162	1	4878	1	#f	13	true	43.321756292	true	41.518147678	true	43.059576667	true	43.765252274	true	43.400107103	true	43.914608594	true	41.817754818	true	42.311814073	true	41.700953317	true	43.007634921	true	42.864820068	true	43.787912615	true	43.251582677	13	42.901686238230766	0.6607601903313627	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	24	698817	18162	1	4878	1	#f	13	true	42.409014474	true	43.323807518	true	43.957928906	true	43.499745878	true	44.101906972	true	43.184577413	true	42.909078517	true	43.411496079	true	42.13187657	true	44.030426161	true	42.468699562	true	42.550441236	true	42.32411312	13	43.10023941584616	0.5858789255502959	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	28	698817	18162	1	4878	1	#f	13	true	43.072522401	true	42.907899583	true	43.021124496	true	44.072173609	true	43.527879437	true	44.03706396	true	42.806304305	true	41.151996369	true	43.769251518	true	41.897464241	true	43.197088445	true	43.297226662	true	44.301011715	13	43.158385133923076	0.6296922166982242	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	32	698817	18162	1	4878	1	#f	13	true	44.999764171	true	42.30175082	true	43.123556685	true	41.46199549	true	41.611898367	true	42.642203531	true	43.869773209	true	41.547804083	true	41.758000609	true	41.692284813	true	42.182245029	true	42.708160729	true	43.114875919	13	42.539562573461545	0.8032244312662721	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	40	698817	18162	1	4878	1	#f	13	true	43.891767751	true	42.36699164	true	42.646711403	true	44.106751502	true	42.661768821	true	43.171435639	true	42.576253154	true	41.662932058	true	42.592042773	true	41.275071331	true	43.978153202	true	40.586090899	true	42.572819993	13	42.62221462815384	0.7266616229349109	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	48	698817	18162	1	4878	1	#f	13	true	44.246930326	true	42.421157616	true	42.808139319	true	41.903765652	true	41.886371952	true	43.042016619	true	43.67530588	true	42.990295929	true	43.622007777	true	41.67854934	true	41.983896738	true	43.384786974	true	42.20169037	13	42.757301114769234	0.6874423108639056	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	56	698817	18162	1	4878	1	#f	13	true	42.196109953	true	41.983231665	true	42.591994581	true	42.126269228	true	42.323718953	true	42.812911906	true	40.534374825	true	42.800968691	true	42.682489293	true	42.442381049	true	42.401558726	true	42.521076655	true	43.091473568	13	42.34681223792307	0.39543947163313875	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	64	698817	18162	1	4878	1	#f	13	true	42.497321954	true	42.764332046	true	42.33146944	true	43.139750778	true	42.423466411	true	43.164581252	true	41.530890859	true	42.88567433	true	42.997167696	true	43.006920189	true	41.040009781	true	42.542892213	true	43.968309476	13	42.63790664807693	0.5325214200710048	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	2	698817	18162	1	4878	1	#f	13	true	37.766629159	true	37.524716276	true	37.41192003	true	38.275158474	true	37.104332446	true	37.183323259	true	37.06892419	true	36.96563479	true	37.546107621	true	36.948874158	true	37.886248618	true	37.545048673	true	36.880424327	13	37.39287246315385	0.3393417859881647	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	3	698817	18162	1	4878	1	#f	13	true	35.336261998	true	36.386977601	true	34.676221014	true	36.570370894	true	33.941330729	true	35.143625356	true	36.134722703	true	35.492206672	true	35.749102037	true	36.047395516	true	35.51925639	true	35.109963443	true	34.283266528	13	35.41466929853846	0.6149764189585805	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	4	698817	18162	1	4878	1	#f	13	true	38.166925959	true	39.615507617	true	37.843274827	true	38.522420078	true	35.892559169	true	39.015367648	true	37.926295076	true	37.572751339	true	37.731800124	true	38.732596332	true	38.242774005	true	38.796371436	true	40.319624175	13	38.33678982961539	0.7663305089704147	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	5	698817	18162	1	4878	1	#f	13	true	40.740816154	true	39.044496036	true	40.202904055	true	41.129795392	true	39.713295286	true	39.757067735	true	40.579430662	true	41.07402751	true	38.707754925	true	38.794352242	true	39.368685313	true	39.583921571	true	39.172994247	13	39.836118548307695	0.6994432356094682	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	6	698817	18162	1	4878	1	#f	13	true	42.432962582	true	40.126916938	true	40.580170919	true	39.359433802	true	40.743901525	true	39.860397232	true	41.088132199	true	40.258839061	true	41.297474314	true	39.936647298	true	39.691422316	true	40.838316192	true	41.522720667	13	40.59517961884615	0.6696045793727816	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	7	698817	18162	1	4878	1	#f	13	true	40.921547297	true	41.379871847	true	42.069612185	true	40.38976405	true	40.308938759	true	41.081392966	true	39.54962882	true	39.836744717	true	39.417017674	true	42.285429928	true	41.410065655	true	39.010184043	true	39.992859683	13	40.58869674030769	0.8639599132544367	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	8	698817	18162	1	4878	1	#f	13	true	40.824230172	true	39.961442661	true	40.304180345	true	40.044048848	true	40.383464009	true	39.386122882	true	39.68753741	true	42.701063454	true	41.866159031	true	40.527262351	true	40.742090458	true	40.573524731	true	42.195229263	13	40.70741197038462	0.7371865424733741	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	9	698817	18162	1	4878	1	#f	13	true	43.572410163	true	41.039330123	true	40.298899436	true	40.246809244	true	42.204827049	true	40.871808274	true	41.785224831	true	41.346113241	true	40.010996474	true	41.547728685	true	40.281804813	true	40.212575637	true	41.258628836	13	41.129012062	0.7601323743076924	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	10	698817	18162	1	4878	1	#f	13	true	42.432752119	true	40.485610815	true	42.948035369	true	41.733631507	true	40.52712645	true	41.33704806	true	41.757011499	true	41.111603638	true	40.341536632	true	40.636778503	true	40.20784866	true	39.69695211	true	40.213652434	13	41.03304521507693	0.7879709079289949	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	12	698817	18162	1	4878	1	#f	13	true	41.542917858	true	41.407647222	true	41.000919101	true	40.724739911	true	43.268459924	true	39.360940667	true	41.084880478	true	39.610265865	true	40.281344522	true	41.290918396	true	40.37435568	true	40.94146753	true	40.801479369	13	40.89925665561538	0.6526790645680478	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	14	698817	18162	1	4878	1	#f	13	true	43.401753912	true	38.587100946	true	42.482473464	true	41.427992489	true	42.86028711	true	41.093518513	true	40.373060271	true	42.215586041	true	40.967790555	true	42.947378164	true	40.681106272	true	41.533639843	true	41.262946899	13	41.52574111376923	0.9671802848284028	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	16	698817	18162	1	4878	1	#f	13	true	42.693799454	true	40.541487158	true	40.518990605	true	40.553115503	true	41.658132438	true	41.20728997	true	40.356299228	true	41.023403698	true	41.749416737	true	43.141108609	true	40.541564815	true	40.327286619	true	42.277932214	13	41.27614054215384	0.7907210371124248	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	18	698817	18162	1	4878	1	#f	13	true	41.556035058	true	41.965100118	true	41.920046321	true	39.640601261	true	43.64838934	true	40.694671651	true	41.849789509	true	39.242506061	true	41.17875703	true	41.655612646	true	40.334110728	true	40.750957957	true	40.098826519	13	41.11810801530768	0.9149190638224863	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	20	698817	18162	1	4878	1	#f	13	true	40.727432265	true	40.793842695	true	42.918148322	true	39.811952966	true	39.9465749	true	43.460894725	true	41.736139802	true	41.293669142	true	42.090797401	true	40.793580166	true	41.249323651	true	42.31720056	true	40.396593089	13	41.348934591076926	0.8890012084023684	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	24	698817	18162	1	4878	1	#f	13	true	42.20887942	true	41.478967079	true	41.322456814	true	41.501328648	true	40.221184655	true	41.237028095	true	40.489361634	true	42.159228111	true	41.274680413	true	41.684618222	true	41.135637956	true	41.194792697	true	42.130827119	13	41.38761468176923	0.4366400782130182	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	28	698817	18162	1	4878	1	#f	13	true	42.876538476	true	40.484055068	true	43.306134745	true	42.382708976	true	42.062118938	true	40.547817564	true	41.721289184	true	42.114985791	true	41.07958364	true	42.585949935	true	41.123312231	true	41.262617683	true	41.166154599	13	41.74717437153846	0.7454447125798817	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	32	698817	18162	1	4878	1	#f	13	true	40.805328891	true	41.417473919	true	41.57805684	true	40.955658009	true	41.23665694	true	41.418442137	true	41.247072992	true	38.955725109	true	41.220346784	true	41.178177031	true	42.273710317	true	41.698185626	true	41.167162222	13	41.16553821669231	0.42767732939644804	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	40	698817	18162	1	4878	1	#f	13	true	41.078841919	true	42.240283912	true	41.401868781	true	41.884901863	true	42.063595202	true	42.363740691	true	41.713046751	true	42.703790154	true	41.068198965	true	43.402789216	true	40.97054643	true	42.647727107	true	40.473832919	13	41.84716645461538	0.6733327634911248	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	48	698817	18162	1	4878	1	#f	13	true	43.086308265	true	41.132410196	true	40.067506678	true	42.762221129	true	41.772775165	true	41.994271461	true	41.259757224	true	40.440690697	true	40.880134113	true	44.000031418	true	40.620253914	true	41.206726964	true	41.108617361	13	41.563977275769226	0.8916493937159745	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	56	698817	18162	1	4878	1	#f	13	true	42.954869446	true	42.021194807	true	41.753490282	true	41.342853396	true	41.589277718	true	41.993863266	true	41.542005661	true	41.525146144	true	40.9407081	true	42.164916362	true	43.079168954	true	42.347550303	true	41.748336846	13	41.92333702192308	0.46485246253254403	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	64	698817	18162	1	4878	1	#f	13	true	43.700816795	true	43.036191655	true	40.310270287	true	42.605958443	true	41.665528173	true	39.388039915	true	41.08702754	true	42.1799865	true	41.001159977	true	40.304177815	true	41.647999163	true	40.757764907	true	41.123881813	13	41.446830998692306	0.9469991902840232	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	2	698817	18162	1	4878	1	#f	13	true	26.223923719	true	24.45955571	true	24.073944262	true	25.586094839	true	25.670102573	true	23.802584725	true	26.767994133	true	24.865328229	true	24.424432146	true	24.606932645	true	23.772134925	true	24.911955188	true	24.15937569	13	24.871104521846153	0.7391612065798813	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	3	698817	18162	1	4878	1	#f	13	true	30.270848225	true	30.078907249	true	28.884748977	true	29.129944202	true	28.769488458	true	28.558893112	true	29.506656516	true	29.27523363	true	28.426861244	true	30.142818849	true	29.905142946	true	29.812661646	true	28.585977522	13	29.33447558276923	0.5707972206745561	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	4	698817	18162	1	4878	1	#f	13	true	25.138371505	true	26.241542069	true	25.629001157	true	25.454461876	true	26.835528025	true	25.008855192	true	27.287412754	true	25.629370667	true	26.431985303	true	27.483199341	true	26.016214839	true	26.906475999	true	26.909114843	13	26.228579505384612	0.691569507124261	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	5	698817	18162	1	4878	1	#f	13	true	26.493643537	true	25.392657964	true	26.202318801	true	25.26574811	true	25.306348571	true	25.711718573	true	23.878850833	true	25.261792993	true	24.700415629	true	24.620678715	true	25.563239996	true	23.958455034	true	26.046245448	13	25.261701092615382	0.5982160245325455	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	6	698817	18162	1	4878	1	#f	13	true	24.362202385	true	24.282815589	true	24.814361115	true	24.459221543	true	25.503539787	true	24.819207244	true	24.384311095	true	25.110455505	true	24.39202113	true	24.598289538	true	25.060055038	true	24.771665066	true	24.085555509	13	24.664900041846156	0.32152053906508943	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	7	698817	18162	1	4878	1	#f	13	true	25.06566215	true	24.379940928	true	23.684168948	true	24.926308486	true	24.8286612	true	24.408762933	true	23.980084482	true	24.367407673	true	24.700148	true	25.509596854	true	24.699658658	true	25.308769789	true	24.777358079	13	24.66434832153846	0.3848271759526637	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	8	698817	18162	1	4878	1	#f	13	true	25.635308862	true	24.661384829	true	24.876642351	true	24.215694745	true	24.526853677	true	24.249308742	true	24.409252465	true	25.700427316	true	25.221010757	true	25.379456514	true	23.518601038	true	25.625107794	true	25.157611304	13	24.859743107230766	0.5503635611360949	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	9	698817	18162	1	4878	1	#f	13	true	23.92168258	true	24.099391216	true	24.021718324	true	24.772447312	true	25.128602561	true	25.220498676	true	24.602105074	true	23.910138282	true	23.601977505	true	24.093256631	true	25.118341661	true	25.758991436	true	24.959683717	13	24.55452576730769	0.5659984716686394	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	10	698817	18162	1	4878	1	#f	13	true	24.588639388	true	25.094740458	true	24.211144633	true	23.819268418	true	25.023615654	true	24.093795038	true	24.623060447	true	24.728013226	true	25.482925104	true	23.864371948	true	24.167490332	true	24.1807154	true	24.023661067	13	24.453957008692306	0.43342341920710087	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	12	698817	18162	1	4878	1	#f	13	true	24.015534748	true	25.266953043	true	24.953245703	true	24.119625682	true	24.435881865	true	23.775373033	true	24.055253504	true	23.916415626	true	23.45830932	true	23.799854592	true	23.949976125	true	25.155049918	true	24.523609651	13	24.26346790846154	0.46421548272189384	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	14	698817	18162	1	4878	1	#f	13	true	23.754581361	true	23.632326495	true	24.238978376	true	24.4992433	true	23.580184943	true	24.511067889	true	23.633419589	true	23.679509502	true	23.456494995	true	24.785695307	true	24.464429117	true	25.262384454	true	24.249018588	13	24.13441030123077	0.4722992188284025	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	16	698817	18162	1	4878	1	#f	13	true	24.071391052	true	25.189174131	true	24.037442414	true	23.559983022	true	23.840293513	true	24.321382028	true	24.384929906	true	25.041309173	true	24.0533715	true	23.72211018	true	22.626692269	true	24.721749612	true	23.738294965	13	24.100624905	0.48544928076923044	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	18	698817	18162	1	4878	1	#f	13	true	24.49026335	true	23.966908326	true	24.457224557	true	23.820349025	true	24.028076678	true	24.742077524	true	24.162444405	true	24.831012895	true	25.019199603	true	23.738559366	true	23.779931803	true	24.054366808	true	23.511127534	13	24.200118605692314	0.39064383085207244	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	20	698817	18162	1	4878	1	#f	13	true	25.345237095	true	25.230609882	true	25.41361155	true	23.713253456	true	24.298045355	true	23.757907097	true	23.323295543	true	24.331228156	true	22.870548137	true	24.586325336	true	23.548522476	true	24.174056634	true	24.689873605	13	24.25250110169231	0.6349881949467455	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	24	698817	18162	1	4878	1	#f	13	true	23.924788688	true	24.256977245	true	23.843269965	true	23.876453679	true	24.208827022	true	23.86410275	true	23.636418675	true	24.740390734	true	23.822578199	true	24.012231316	true	23.529536182	true	24.82053024	true	24.538746892	13	24.082680891307692	0.3310873348402366	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	28	698817	18162	1	4878	1	#f	13	true	23.059178825	true	23.864884243	true	23.588045856	true	24.067864798	true	23.752028378	true	23.347706888	true	23.834885926	true	23.245178049	true	24.480040857	true	23.729405224	true	24.135674775	true	23.791718656	true	23.630119447	13	23.732825532461536	0.27651060088757345	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	32	698817	18162	1	4878	1	#f	13	true	23.756735781	true	23.682662035	true	23.447474263	true	23.661718134	true	24.289637506	true	24.827342744	true	23.445653072	true	22.411312528	true	25.510683531	true	22.7784602	true	23.944186381	true	24.187700943	true	23.585189348	13	23.809904343538463	0.5707737518934913	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	40	698817	18162	1	4878	1	#f	13	true	24.206342472	true	23.971551753	true	24.021879775	true	23.130830679	true	23.320203679	true	23.623400353	true	23.94903865	true	23.238150825	true	22.810411461	true	23.493241905	true	24.096242895	true	23.007293787	true	23.449010162	13	23.56289218430769	0.3832465834082835	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	48	698817	18162	1	4878	1	#f	13	true	24.231610105	true	23.332613623	true	24.402203954	true	23.858233868	true	23.697902492	true	23.005356221	true	23.542738307	true	23.082940581	true	23.23096034	true	23.822507431	true	23.02094816	true	23.767160073	true	22.675240275	13	23.513108879230774	0.42009139621301755	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	56	698817	18162	1	4878	1	#f	13	true	23.945166986	true	23.802280648	true	24.316815245	true	23.334958015	true	23.798415364	true	23.936649824	true	23.913633078	true	22.904565967	true	23.33413031	true	24.034481586	true	24.141424936	true	23.244416512	true	22.911865258	13	23.662984902230768	0.39769053063905346	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	64	698817	18162	1	4878	1	#f	13	true	24.192892429	true	24.260976578	true	23.352653916	true	23.439726627	true	23.384325511	true	23.469926548	true	22.272501279	true	23.855040747	true	23.496838268	true	23.173131281	true	23.578287421	true	23.974120734	true	22.897384577	13	23.488292762769234	0.3735999385207104	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	2	698817	18162	1	4878	1	#f	13	true	257.756769596	true	193.001574428	true	187.140824102	true	181.382109613	true	184.29449837	true	203.721166672	true	171.105984072	true	189.480686311	true	186.64630986	true	185.117682953	true	181.976379781	true	184.857704784	true	173.698415816	13	190.78308510446152	12.635423905017742	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	3	698817	18162	1	4878	1	#f	13	true	251.815410596	true	247.927104608	true	232.528210731	true	246.246142785	true	244.946578627	true	237.614573872	true	233.567705289	true	278.143993278	true	237.700853319	true	252.597340918	true	239.591325609	true	245.723459107	true	236.359974862	13	244.98174412315382	8.086613315857981	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	4	698817	18162	1	4878	1	#f	13	true	218.810365358	true	229.973582602	true	221.690454151	true	229.013577732	true	216.380497125	true	215.602856041	true	222.465199825	true	225.286610443	true	219.612686235	true	207.225265648	true	214.77625583	true	209.77891222	true	226.283659166	13	219.76153249046155	5.560598304035503	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	5	698817	18162	1	4878	1	#f	13	true	219.839585722	true	214.030399442	true	222.52587433	true	210.786059396	true	213.640078201	true	215.966520857	true	219.742278463	true	212.419445423	true	211.588109636	true	211.95575457	true	221.242575538	true	215.997747659	true	217.289661157	13	215.9249300303077	3.250728232899405	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	6	698817	18162	1	4878	1	#f	13	true	214.449068532	true	212.684496336	true	213.052246228	true	215.518732383	true	215.122347766	true	214.166001609	true	220.120201852	true	218.733474963	true	213.803270698	true	221.512442915	true	211.429723644	true	212.740647583	true	218.698860653	13	215.54088578169228	2.6002211163431834	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	7	698817	18162	1	4878	1	#f	13	true	215.527463462	true	215.182789095	true	215.725676457	true	207.082382739	true	213.517799153	true	211.164564803	true	211.166412528	true	207.412864897	true	215.869311177	true	211.42357732	true	219.604156578	true	217.815194779	true	214.010833124	13	213.50023277784615	2.961747938804732	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	8	698817	18162	1	4878	1	#f	13	true	214.713413789	true	211.702706788	true	212.785277155	true	210.981767015	true	213.702535663	true	211.756821682	true	218.904500843	true	217.723752239	true	220.315908705	true	211.491567431	true	208.700127631	true	211.70099664	true	214.659969105	13	213.77994959123083	2.6796610345917293	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	9	698817	18162	1	4878	1	#f	13	true	217.848757996	true	210.093703212	true	216.560291239	true	208.854109134	true	208.838274005	true	211.808553297	true	210.439689382	true	213.98657424	true	216.56123718	true	220.385742546	true	215.965122933	true	217.931007672	true	216.905428565	13	214.32142241546154	3.3704048035029555	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	10	698817	18162	1	4878	1	#f	13	true	217.036673358	true	219.475578396	true	213.419124396	true	210.662476196	true	208.975304987	true	219.189941042	true	216.248520067	true	213.704995808	true	217.309885039	true	212.407038276	true	215.80743836	true	211.560420746	true	217.046325668	13	214.8341324876154	2.8116053102603518	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	12	698817	18162	1	4878	1	#f	13	true	212.15600956	true	213.375085519	true	212.969017643	true	220.426086159	true	208.91100023	true	222.223108798	true	216.495311856	true	208.50527627	true	208.973771055	true	213.385303779	true	219.667335499	true	217.332659259	true	216.519776172	13	214.68767244607696	3.7751143179289954	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	14	698817	18162	1	4878	1	#f	13	true	216.474605063	true	212.82729779	true	212.998946045	true	212.094221096	true	211.925668356	true	208.590310819	true	212.247097274	true	211.38530152	true	217.241940769	true	209.083522541	true	211.114827491	true	212.053996339	true	209.936096719	13	212.15183321707693	1.69703397778698	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	16	698817	18162	1	4878	1	#f	13	true	212.132250655	true	216.3483055	true	209.499992963	true	213.419380827	true	211.587651529	true	211.636741975	true	212.314000179	true	211.906802039	true	216.003307293	true	217.013233739	true	215.061792424	true	208.670080097	true	215.746958986	13	213.18003832353847	2.2327305888875717	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	18	698817	18162	1	4878	1	#f	13	true	214.960671411	true	213.856887081	true	216.509186159	true	210.224618322	true	216.391530581	true	217.017793669	true	213.865262653	true	221.25060753	true	220.952848522	true	218.849215295	true	216.993786386	true	216.360106274	true	211.24885527	13	216.0370283963846	2.4659764992189386	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	20	698817	18162	1	4878	1	#f	13	true	216.066526909	true	213.967091796	true	214.67535686	true	218.533709771	true	217.744808462	true	216.519131986	true	210.804636034	true	207.836666639	true	218.297456471	true	219.346663949	true	212.658433018	true	214.085117856	true	209.726084404	13	214.63551416576922	2.8823161919408276	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	24	698817	18162	1	4878	1	#f	13	true	216.334250613	true	222.460377822	true	218.506093984	true	210.544696006	true	216.231695919	true	218.282317754	true	211.24118522	true	213.39409549	true	213.901426323	true	209.628597062	true	215.719557482	true	213.748993156	true	211.291738153	13	214.71423269107692	2.961368835005909	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	28	698817	18162	1	4878	1	#f	13	true	217.455475459	true	212.696804506	true	215.051361707	true	214.312183901	true	215.647997038	true	210.93124054	true	211.526563562	true	214.265751617	true	212.664458169	true	206.09435715	true	223.280050885	true	214.385324901	true	215.645830335	13	214.15056921307695	2.5906803289822427	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	32	698817	18162	1	4878	1	#f	13	true	213.320106461	true	211.665253063	true	214.889303167	true	207.189297454	true	210.337715573	true	217.347853243	true	217.800329761	true	219.695847341	true	217.394601749	true	215.46219175	true	212.54205747	true	213.914811771	true	218.916985088	13	214.65202722238462	2.91429562189349	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	40	698817	18162	1	4878	1	#f	13	true	213.91144897	true	211.329130091	true	213.862157401	true	214.146231371	true	215.566444729	true	213.692622947	true	210.069748739	true	221.012111064	true	224.174571981	true	213.758283511	true	213.460390709	true	215.563369024	true	218.08286254	13	215.27918254438464	2.7697610178579977	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	48	698817	18162	1	4878	1	#f	13	true	217.205285962	true	214.144903542	true	218.670282212	true	211.852199783	true	217.839540025	true	211.214057347	true	219.251002503	true	209.664647359	true	214.533934999	true	213.01181504	true	217.769493581	true	214.127896527	true	212.073380581	13	214.71987995853846	2.6363391523550272	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	56	698817	18162	1	4878	1	#f	13	true	209.506827506	true	217.782377262	true	218.379241604	true	216.827488801	true	221.710993286	true	218.495273298	true	213.992538096	true	221.350860869	true	218.362325955	true	212.280158166	true	218.315093029	true	211.665393578	true	209.947979032	13	216.04742696015384	3.5144982188875704	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	64	698817	18162	1	4878	1	#f	13	true	217.16540632	true	214.900784144	true	215.194802743	true	212.845985674	true	212.116693171	true	210.463918532	true	214.49415034	true	213.639168771	true	213.969452884	true	213.446505174	true	219.177733748	true	210.177575323	true	215.432790408	13	214.07884363323075	1.8296316774792865	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	2	698817	18162	1	4878	1	#f	13	true	43.244351985	true	44.103032986	true	43.865204152	true	43.555606022	true	43.240481592	true	42.873889515	true	42.197908727	true	42.611342617	true	42.209414174	true	42.417155161	true	43.370854822	true	42.653975911	true	43.332779766	13	43.0519998023077	0.5151250321301771	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	3	698817	18162	1	4878	1	#f	13	true	42.461381922	true	41.738029436	true	40.510883939	true	41.366525042	true	39.910580592	true	39.545306493	true	40.747803436	true	42.073885291	true	39.930426991	true	41.143277862	true	38.127087761	true	40.114482936	true	41.965781601	13	40.741188715538456	0.9705174740355034	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	4	698817	18162	1	4878	1	#f	13	true	47.184887145	true	52.608962756	true	52.41578115	true	50.520543168	true	47.413345469	true	51.960102888	true	50.583190118	true	49.400001872	true	50.957950196	true	51.535031517	true	50.410687474	true	50.6174074	true	50.397856168	13	50.46198056315385	1.1543268750414195	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	5	698817	18162	1	4878	1	#f	13	true	61.419277228	true	60.598742632	true	63.207860393	true	58.65509738	true	60.881216734	true	61.011052114	true	63.415388154	true	63.252085403	true	62.80250519	true	62.136831123	true	60.435862118	true	58.37321395	true	61.462157395	13	61.35779152415385	1.2602406487573954	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	6	698817	18162	1	4878	1	#f	13	true	69.978233568	true	69.961577249	true	63.16299092	true	64.181858528	true	64.591442593	true	65.989214782	true	67.465785212	true	67.305399012	true	68.126544263	true	65.141231949	true	68.692437354	true	68.934478563	true	67.916137275	13	67.03441009753847	1.8623556485680444	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	7	698817	18162	1	4878	1	#f	13	true	74.702274034	true	75.141439595	true	71.316601585	true	75.486585591	true	74.644536009	true	74.16124207	true	76.217202148	true	73.596683424	true	69.995215556	true	74.945009684	true	72.480215478	true	72.487375418	true	69.207879507	13	73.41402000761539	1.7819711529349083	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	8	698817	18162	1	4878	1	#f	13	true	73.094212263	true	73.357577661	true	71.820322471	true	71.143220342	true	70.808642192	true	78.299057088	true	73.537949532	true	70.578258109	true	73.929368167	true	70.695797547	true	72.042625096	true	70.733388517	true	71.089222696	13	72.39458782161537	1.5761885542958571	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	9	698817	18162	1	4878	1	#f	13	true	77.95892303	true	69.674822909	true	73.311613935	true	72.533787906	true	73.373441659	true	72.945700441	true	71.830360349	true	78.250258227	true	72.721377048	true	75.30146995	true	78.574584998	true	71.458860586	true	74.506970311	13	74.03401318069231	2.2187908634674582	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	10	698817	18162	1	4878	1	#f	13	true	77.056683136	true	73.405950909	true	76.881628349	true	75.704966482	true	77.380402458	true	77.642660226	true	72.172196169	true	79.190403145	true	72.086321775	true	74.737731621	true	79.647472194	true	75.23371267	true	74.422789575	13	75.81253220838462	1.9883163473372802	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	12	698817	18162	1	4878	1	#f	13	true	74.777820351	true	75.111127027	true	76.912538917	true	77.172800861	true	79.327324383	true	81.815732422	true	71.090901407	true	77.238351275	true	77.821372594	true	78.54056976	true	79.454877907	true	74.494279786	true	79.688527776	13	77.18817111276923	2.087624358094673	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	14	698817	18162	1	4878	1	#f	13	true	76.830208668	true	83.869130047	true	78.294206532	true	75.778997779	true	79.890436002	true	74.820863096	true	77.231264506	true	81.262600268	true	78.413770146	true	80.0602295	true	75.958863775	true	78.495387448	true	75.47308628	13	78.18300338823077	2.000728650059173	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	16	698817	18162	1	4878	1	#f	13	true	79.971583718	true	81.74138566	true	76.859053576	true	75.924768076	true	80.135506141	true	83.367747249	true	80.971418607	true	80.524862356	true	82.811074242	true	81.993195358	true	78.589152076	true	77.962399198	true	80.822047135	13	80.12878410707692	1.744148290982248	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	18	698817	18162	1	4878	1	#f	13	true	82.136099025	true	78.936691001	true	77.01893183	true	74.552476069	true	76.371040047	true	77.406707299	true	76.71357304	true	82.987114772	true	81.40310665	true	84.145839916	true	81.248436477	true	75.453494976	true	83.997427229	13	79.41314910238462	2.9906353007218933	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	20	698817	18162	1	4878	1	#f	13	true	76.910147592	true	85.065375698	true	82.793557786	true	79.676613851	true	78.955460525	true	80.506685081	true	78.392513922	true	82.354786748	true	81.959286735	true	77.514744493	true	80.53937416	true	76.339701762	true	78.011718275	13	79.92461281753846	2.103290661964494	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	24	698817	18162	1	4878	1	#f	13	true	76.807462885	true	75.636249516	true	82.494467105	true	77.547692561	true	77.889221821	true	79.70983575	true	78.427416642	true	77.959563199	true	80.259610044	true	77.711599226	true	78.18782299	true	79.684035072	true	80.713191748	13	78.69447450453846	1.4444257225088732	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	28	698817	18162	1	4878	1	#f	13	true	78.894909311	true	81.175488667	true	78.515596356	true	76.41938872	true	76.045029071	true	81.636743872	true	80.996850369	true	82.292897901	true	81.612902523	true	75.887133629	true	79.866340812	true	82.301254061	true	78.548809812	13	79.55333423876922	2.0014059282485195	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	32	698817	18162	1	4878	1	#f	13	true	81.091342581	true	76.756295235	true	82.622102545	true	80.374159448	true	80.757557	true	81.253167049	true	77.845718169	true	73.623616975	true	78.945542253	true	76.437115277	true	74.425916341	true	77.506100625	true	76.470689798	13	78.316101792	2.3303477113846163	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	40	698817	18162	1	4878	1	#f	13	true	77.342465874	true	72.983803168	true	81.367443295	true	73.960100471	true	75.320772073	true	76.056512732	true	79.277162892	true	75.183035567	true	77.074869722	true	76.99480924	true	81.881389236	true	79.55756614	true	78.311844676	13	77.3316750066154	2.1150495497396475	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	48	698817	18162	1	4878	1	#f	13	true	81.976565085	true	81.041557147	true	79.506001677	true	79.578896389	true	78.692348561	true	84.583591801	true	80.346542761	true	74.249296073	true	78.440990923	true	78.726858626	true	80.366572921	true	82.573906109	true	77.033136283	13	79.77817418123075	1.8799524210177514	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	56	698817	18162	1	4878	1	#f	13	true	78.376198971	true	79.245369655	true	76.433495214	true	80.004882714	true	78.715929406	true	77.057361362	true	79.798969155	true	77.182711597	true	78.571541511	true	77.264384641	true	77.641743439	true	77.921212235	true	82.73157395	13	78.53425952692307	1.2096475737633143	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	64	698817	18162	1	4878	1	#f	13	true	80.494074772	true	75.961808482	true	74.220384368	true	78.279939129	true	78.109190337	true	79.62602532	true	78.194126828	true	76.062525383	true	79.534324771	true	77.475942315	true	76.976052057	true	81.462302227	true	80.250941863	13	78.20366445015385	1.6039417509349123	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	2	698817	18162	1	4878	1	#f	13	true	23.812874758	true	22.027857471	true	22.482434553	true	22.948330381	true	23.154740833	true	22.571153875	true	22.499306606	true	22.11168555	true	21.143439903	true	22.401528592	true	22.799977549	true	21.889850429	true	22.513215963	13	22.488953574076923	0.4426038379171601	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	3	698817	18162	1	4878	1	#f	13	true	13.72825565	true	12.129767237	true	12.951164578	true	13.022026502	true	12.888176635	true	11.08229528	true	10.829444912	true	13.212952535	true	13.660256718	true	10.311616738	true	11.183407675	true	11.775295531	true	13.701829749	13	12.344345364615387	1.0391145868757394	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	4	698817	18162	1	4878	1	#f	13	true	7.604991867	true	7.62696964	true	9.660324698	true	8.839535663	true	7.802230834	true	9.178454463	true	9.425114752	true	8.581589753	true	8.498753133	true	9.236048541	true	8.726590098	true	8.123083791	true	8.666546556	13	8.613094906846154	0.5293769881656806	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	5	698817	18162	1	4878	1	#f	13	true	6.863881977	true	7.329278802	true	6.819803116	true	7.804838331	true	6.931532899	true	6.355719671	true	6.828317103	true	6.482451292	true	7.096507446	true	6.683156034	true	6.721456678	true	6.795269936	true	6.198692062	13	6.839300411307692	0.28146729207100574	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	6	698817	18162	1	4878	1	#f	13	true	6.323019325	true	6.317045527	true	6.512227103	true	6.385653497	true	5.691754905	true	6.455401255	true	5.821476633	true	6.569079918	true	5.762408312	true	6.026314826	true	5.878634381	true	6.188591452	true	5.908951158	13	6.141581407076922	0.2707612657633137	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	7	698817	18162	1	4878	1	#f	13	true	6.277642836	true	5.485545989	true	5.370714899	true	5.343234565	true	6.337647627	true	6.511157993	true	6.206576412	true	5.530988284	true	5.173557656	true	5.629035203	true	5.339400615	true	5.519504004	true	5.692350154	13	5.724412018230769	0.3746733530887573	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	8	698817	18162	1	4878	1	#f	13	true	5.362117535	true	4.871387266	true	4.892485134	true	5.357051971	true	4.905370439	true	4.827168445	true	5.972172024	true	4.991395798	true	5.588357261	true	5.033127111	true	4.977443691	true	4.997772115	true	4.722526121	13	5.115259608538461	0.2797939010532543	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	9	698817	18162	1	4878	1	#f	13	true	4.789162745	true	4.992593325	true	5.106973943	true	4.69446522	true	5.038383034	true	4.589101887	true	5.081680656	true	4.833057247	true	4.516220676	true	4.685939643	true	4.832781917	true	4.991081116	true	4.824633047	13	4.844313419692306	0.1521761500828399	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	10	698817	18162	1	4878	1	#f	13	true	4.9354785	true	4.296611227	true	4.332308072	true	4.320918921	true	4.414062462	true	4.535650081	true	4.578426385	true	4.3468651	true	4.262635938	true	4.761286656	true	4.349576442	true	4.509200476	true	4.547399969	13	4.4761861714615385	0.1554346212662723	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	12	698817	18162	1	4878	1	#f	13	true	4.698809017	true	4.280786586	true	4.155460239	true	4.234925876	true	4.417118904	true	4.753681982	true	4.405730115	true	4.076430273	true	4.213110373	true	4.508518638	true	4.362656006	true	4.434568697	true	4.114596689	13	4.358184107307692	0.1651991704378698	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	14	698817	18162	1	4878	1	#f	13	true	4.475166505	true	4.31672941	true	4.281915309	true	4.282185549	true	4.477694014	true	4.344086669	true	4.230723212	true	4.275575606	true	4.297361388	true	4.371686621	true	3.991810564	true	4.376837004	true	4.41678011	13	4.318350150846154	0.08494615660355033	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	16	698817	18162	1	4878	1	#f	13	true	4.410442991	true	4.159897647	true	4.235331023	true	3.984144215	true	4.085430649	true	4.343715414	true	3.974478023	true	4.384773774	true	4.176301828	true	4.475754471	true	4.202916574	true	4.385981126	true	4.162454498	13	4.229355556384616	0.13228699395266277	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	18	698817	18162	1	4878	1	#f	13	true	4.194044696	true	4.170331461	true	4.016983657	true	4.096617107	true	4.322685293	true	4.235717118	true	4.198101026	true	4.502444374	true	4.117948277	true	4.102451459	true	4.20654401	true	4.170373423	true	4.067124396	13	4.1847204843846155	0.08480209395266278	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	20	698817	18162	1	4878	1	#f	13	true	4.414832157	true	4.121796152	true	4.878039434	true	4.63656196	true	4.473706389	true	4.715576759	true	4.521223457	true	4.663113057	true	4.634292063	true	4.359179936	true	4.576762558	true	4.435482958	true	4.22965028	13	4.512324396923078	0.15989207839053243	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	24	698817	18162	1	4878	1	#f	13	true	5.123200182	true	4.257016522	true	4.550941092	true	4.989782312	true	4.802499013	true	5.154274085	true	4.823494962	true	4.700433408	true	4.915034401	true	4.729332815	true	5.13453001	true	4.764031824	true	4.427248088	13	4.797832208769231	0.20892146209467446	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	28	698817	18162	1	4878	1	#f	13	true	5.184155938	true	5.05069194	true	4.745042363	true	5.215449645	true	4.910154191	true	4.863271716	true	4.771702842	true	4.974138038	true	5.059011914	true	4.905317293	true	5.372906922	true	5.412374572	true	4.967637715	13	5.033219622230769	0.16850356886390527	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	32	698817	18162	1	4878	1	#f	13	true	5.655432325	true	5.239158285	true	5.802838514	true	5.548578246	true	5.305014642	true	5.360700873	true	5.249547405	true	5.276777662	true	5.365486941	true	5.064984074	true	5.335473435	true	5.226375194	true	5.230527369	13	5.358530381923078	0.14467461375147958	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	40	698817	18162	1	4878	1	#f	13	true	5.58575289	true	5.942552719	true	5.708599611	true	5.343021623	true	5.57188555	true	5.917045748	true	5.871981251	true	5.931323121	true	5.955369729	true	5.963495873	true	5.555227697	true	5.817507199	true	5.497262941	13	5.7431558424615385	0.1841822681183431	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	48	698817	18162	1	4878	1	#f	13	true	6.566129831	true	5.856277226	true	6.050142238	true	5.71126593	true	6.133945733	true	5.762245044	true	5.984351525	true	5.704997186	true	6.205994435	true	6.170429003	true	6.209382945	true	5.844932884	true	5.981716689	13	6.013985436076923	0.19263254900591714	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	56	698817	18162	1	4878	1	#f	13	true	7.145025708	true	6.156378903	true	6.394599611	true	6.772362132	true	6.286184856	true	5.95369397	true	5.874914518	true	6.615227168	true	6.02581213	true	6.240314448	true	6.287484997	true	6.514568588	true	6.122523459	13	6.337622345230769	0.26979561243786976	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	64	698817	18162	1	4878	1	#f	13	true	6.324925539	true	6.608022097	true	6.500571799	true	6.390716073	true	6.468718374	true	6.535998084	true	6.825815871	true	6.750258862	true	6.432525019	true	6.372229358	true	6.108807177	true	6.171899173	true	5.992700846	13	6.42178371323077	0.1799114020591715	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	1	698817	18162	1	4878	1	#f	13	true	12.714622455	true	13.394389507	true	12.147120047	true	13.108228672	true	12.221237798	true	12.978182206	true	12.473586406	true	11.971375582	true	12.20452899	true	12.088718846	true	12.080289654	true	11.755680459	true	12.2945756	13	12.417887401692308	0.3968572673136095	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	2	698817	18162	1	4878	1	#f	13	true	8.854569545	true	8.213791168	true	7.561028819	true	8.227086711	true	8.239522507	true	7.454246171	true	7.559349285	true	8.286363879	true	7.813459821	true	8.445493055	true	7.70525989	true	7.571512893	true	7.827454279	13	7.981472155615385	0.36584522020118343	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	3	698817	18162	1	4878	1	#f	13	true	9.500906053	true	10.133989333	true	10.646781309	true	9.369153559	true	10.087859217	true	9.181528138	true	9.973384003	true	9.249698962	true	9.644812533	true	9.636932227	true	10.302775062	true	11.221129931	true	9.931479618	13	9.913879226538459	0.44619136726627234	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	4	698817	18162	1	4878	1	#f	13	true	11.949246999	true	10.504931793	true	10.277239484	true	12.357654721	true	11.872219214	true	10.183394511	true	11.960809718	true	10.257358909	true	11.220115798	true	9.922020301	true	10.451319514	true	11.546014053	true	10.193943018	13	10.976636002538461	0.7763453058106506	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	5	698817	18162	1	4878	1	#f	13	true	12.882937117	true	11.953865163	true	11.036613979	true	11.955757605	true	10.581620006	true	10.821031776	true	12.199353196	true	11.347395856	true	12.280812208	true	11.188906516	true	11.7961171	true	10.839050149	true	11.544216099	13	11.571359751538465	0.5601052122721898	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	6	698817	18162	1	4878	1	#f	13	true	10.980551765	true	10.563898955	true	11.044039807	true	10.368296896	true	11.777216488	true	10.705203886	true	10.957682147	true	12.2579684	true	11.681877021	true	10.766902054	true	11.245853291	true	10.846824482	true	11.072510901	13	11.097602007153846	0.3957703340591712	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	7	698817	18162	1	4878	1	#f	13	true	10.624562837	true	10.401664077	true	9.81493005	true	12.020440159	true	10.436329521	true	10.456870321	true	10.635583465	true	10.208929473	true	10.033817935	true	10.436283612	true	10.14242737	true	10.017659555	true	10.577308402	13	10.446677444384616	0.3202119941656806	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	8	698817	18162	1	4878	1	#f	13	true	10.451691394	true	9.90020359	true	9.959283638	true	9.605312266	true	10.33645226	true	9.962250754	true	9.750477907	true	10.572390469	true	9.772256743	true	10.693543288	true	10.257211935	true	10.960034563	true	11.070442481	13	10.253196252923077	0.39529117223668647	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	9	698817	18162	1	4878	1	#f	13	true	10.041812109	true	9.518655754	true	9.5399357	true	10.12009002	true	9.301632049	true	9.633108486	true	9.533038041	true	9.958835454	true	10.583069033	true	9.388744413	true	9.296265685	true	9.167930673	true	10.687919299	13	9.751618208923075	0.40517459544378676	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	10	698817	18162	1	4878	1	#f	13	true	9.17779472	true	9.376915499	true	9.264810454	true	8.79815576	true	9.857317947	true	8.89723598	true	9.767172263	true	9.662844678	true	9.260682495	true	9.448471632	true	9.306539897	true	9.846401125	true	9.595229341	13	9.404582445461537	0.2692218943431954	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	12	698817	18162	1	4878	1	#f	13	true	8.6776758	true	9.180153939	true	8.883609694	true	9.254306225	true	9.449725992	true	9.236208741	true	9.535382032	true	8.995551143	true	8.387562834	true	9.860272019	true	8.740547006	true	8.938194913	true	8.758385884	13	9.069044324769234	0.3233512306745563	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	14	698817	18162	1	4878	1	#f	13	true	9.716265257	true	9.20479429	true	8.640601972	true	8.651720282	true	9.360281969	true	9.604039536	true	9.822684331	true	8.551858098	true	8.331983002	true	9.236882306	true	9.645311943	true	9.194327026	true	9.304737263	13	9.174268251923078	0.38783225441420094	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	16	698817	18162	1	4878	1	#f	13	true	8.962672326	true	8.905698689	true	9.73633099	true	9.700969364	true	8.940475805	true	9.213203165	true	8.716057144	true	9.466756701	true	8.881375227	true	8.958545749	true	8.839401619	true	8.866659171	true	9.25679514	13	9.111149314615384	0.2797398133727808	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	18	698817	18162	1	4878	1	#f	13	true	10.227731359	true	9.775439367	true	9.493727303	true	9.684373544	true	9.673036409	true	9.460535242	true	9.024936531	true	9.170180884	true	9.247576431	true	9.00073468	true	9.250899478	true	8.980489499	true	8.932919939	13	9.378660051230769	0.3142896794792899	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	20	698817	18162	1	4878	1	#f	13	true	9.249929351	true	10.063612607	true	9.941705462	true	9.949628111	true	9.958529387	true	9.896956779	true	9.348704893	true	9.444154637	true	9.241742626	true	9.103500757	true	9.20608086	true	9.768887791	true	9.008789803	13	9.55247869723077	0.3483766082485204	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	24	698817	18162	1	4878	1	#f	13	true	9.991737999	true	9.293274285	true	9.095085644	true	9.760818575	true	10.045317141	true	9.755113157	true	9.90626383	true	9.643114194	true	9.835626711	true	9.550306948	true	10.095427841	true	10.118237121	true	9.613116136	13	9.746418429384617	0.23649152921893446	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	28	698817	18162	1	4878	1	#f	13	true	9.702052381	true	10.029395435	true	9.39907421	true	9.803061234	true	9.372701928	true	9.55068877	true	9.207489232	true	9.932483313	true	9.176861118	true	9.31241208	true	9.737408003	true	9.680410829	true	9.453868583	13	9.565992855076924	0.22905447146745564	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	32	698817	18162	1	4878	1	#f	13	true	10.335787128	true	10.09215589	true	9.773574695	true	9.233962504	true	9.905544619	true	9.968773701	true	9.719142063	true	9.889022348	true	10.438013582	true	9.954563508	true	9.622721077	true	9.388452274	true	10.387248675	13	9.90068938953846	0.2734248271124262	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	40	698817	18162	1	4878	1	#f	13	true	10.39942571	true	9.862752691	true	10.211459121	true	9.943132924	true	10.163604812	true	10.024250732	true	10.10634061	true	9.518027539	true	9.764411139	true	9.324476719	true	9.122635733	true	9.999087595	true	9.915303878	13	9.873454554076924	0.2730721460591716	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	48	698817	18162	1	4878	1	#f	13	true	10.261757226	true	9.80237594	true	10.098132574	true	9.616125006	true	10.077518335	true	9.888285167	true	9.858194898	true	9.420140837	true	9.429644835	true	9.2965097	true	9.765491801	true	9.252293952	true	9.282700389	13	9.696090050769232	0.28909624394082817	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	56	698817	18162	1	4878	1	#f	13	true	9.26746882	true	9.267679604	true	9.664078785	true	9.173366699	true	9.489577996	true	9.395708024	true	9.393502807	true	9.557675607	true	9.442419626	true	9.370768732	true	9.0823584	true	9.595265231	true	9.316630992	13	9.385884717153846	0.12877462398816555	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	64	698817	18162	1	4878	1	#f	13	true	10.235686063	true	8.982025264	true	10.131089025	true	9.215998451	true	9.124410089	true	8.875124864	true	9.520736321	true	9.151012495	true	9.359982638	true	9.603586653	true	9.464909598	true	9.827284385	true	9.745724993	13	9.47981314146154	0.3361890140355029	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	1	698817	18162	1	4878	1	#f	13	true	14.109002689	true	13.971978102	true	13.218097743	true	12.809067085	true	12.592669134	true	12.635233964	true	12.991942856	true	12.764038173	true	12.684372431	true	12.283308455	true	12.358399821	true	12.724505896	true	13.056023299	13	12.938356896	0.40850157061538456	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	2	698817	18162	1	4878	1	#f	13	true	7.286062325	true	8.114166527	true	8.063073624	true	8.123307136	true	8.308905826	true	7.755813141	true	7.492873038	true	7.527594308	true	7.326577612	true	7.277008109	true	8.663877623	true	7.871401436	true	7.471594388	13	7.790942699461538	0.3690886115739644	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	3	698817	18162	1	4878	1	#f	13	true	6.732931082	true	6.934103535	true	7.11067102	true	6.859348185	true	6.815919806	true	6.729786535	true	7.313812431	true	6.097173295	true	6.694939248	true	6.216415302	true	6.152415521	true	6.460487628	true	6.31425402	13	6.6486352006153835	0.30806619031952687	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	4	698817	18162	1	4878	1	#f	13	true	6.63105048	true	6.731769208	true	6.290836196	true	6.293276026	true	6.075144911	true	6.601651874	true	6.476547228	true	6.343525446	true	6.653427816	true	6.546753748	true	6.864513133	true	7.305841397	true	6.405194807	13	6.5553486361538456	0.2240249370887573	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	5	698817	18162	1	4878	1	#f	13	true	6.877622664	true	6.516599651	true	6.64544167	true	6.638034625	true	6.771260321	true	6.85938087	true	6.524252655	true	6.720722045	true	6.27855172	true	6.475760111	true	6.780955658	true	6.503031397	true	6.528415755	13	6.624617626307693	0.14170684136094677	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	6	698817	18162	1	4878	1	#f	13	true	6.441574362	true	6.567478062	true	6.457101856	true	6.375710254	true	6.420286231	true	6.54465709	true	6.173415447	true	6.526423767	true	6.19152781	true	6.652502132	true	6.328033573	true	6.659721048	true	6.425119228	13	6.443350066153845	0.11504362431952654	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	7	698817	18162	1	4878	1	#f	13	true	6.213024811	true	6.808820598	true	6.172000249	true	6.717540537	true	6.665189557	true	6.715169994	true	6.977978552	true	6.481589934	true	6.140941086	true	6.732338755	true	6.433206486	true	6.342581557	true	6.896016428	13	6.561261426461538	0.24372683627218936	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	8	698817	18162	1	4878	1	#f	13	true	6.938558787	true	6.995407538	true	7.207319709	true	6.108224585	true	7.102360481	true	6.943030355	true	6.218488014	true	7.210819534	true	6.47035505	true	6.598560564	true	6.898417147	true	6.443938307	true	6.860377386	13	6.768912112076923	0.3084606215976331	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	9	698817	18162	1	4878	1	#f	13	true	6.999349833	true	7.903925255	true	7.148319454	true	6.565946196	true	7.097705594	true	7.629377689	true	7.386535293	true	8.260854982	true	7.16291576	true	6.333504535	true	7.234311562	true	6.978551654	true	6.773753252	13	7.190388543000001	0.37893262553846174	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	10	698817	18162	1	4878	1	#f	13	true	7.279163492	true	7.202681519	true	8.344389696	true	7.516356628	true	7.488888099	true	7.703940341	true	7.580068423	true	6.999803931	true	8.395184722	true	8.320224131	true	7.097779194	true	7.605825524	true	7.344012858	13	7.606024504461539	0.35994474956213024	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	12	698817	18162	1	4878	1	#f	13	true	7.628750587	true	8.436951882	true	8.436932253	true	8.460859611	true	8.484822978	true	8.710454078	true	8.202160176	true	7.613589453	true	7.346366189	true	8.400690308	true	7.559684898	true	8.159942703	true	8.465917464	13	8.146701736923076	0.3751408954911248	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	14	698817	18162	1	4878	1	#f	13	true	7.426446465	true	7.905517089	true	7.226170093	true	8.369549073	true	8.041975378	true	8.449602148	true	8.003936829	true	8.365282645	true	7.378053192	true	8.120947212	true	7.40671346	true	7.296671936	true	8.086474442	13	7.8521030739999995	0.3886861883076926	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	16	698817	18162	1	4878	1	#f	13	true	8.026409479	true	8.360612621	true	8.430044896	true	7.674973514	true	7.652907447	true	7.811943002	true	7.438779784	true	7.968805094	true	7.775139617	true	8.074693056	true	8.211638307	true	7.787360804	true	7.72207599	13	7.918106431615384	0.2405484405088756	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	18	698817	18162	1	4878	1	#f	13	true	7.76625354	true	7.257735529	true	7.428184399	true	7.688240353	true	8.025238787	true	8.049720047	true	7.750298396	true	7.472413883	true	7.223307466	true	7.701182632	true	7.410445603	true	7.953884032	true	7.247116608	13	7.613386251923076	0.25247908054437873	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	20	698817	18162	1	4878	1	#f	13	true	8.005859524	true	7.345643336	true	7.76490526	true	8.249471567	true	8.849750057	true	7.801503996	true	8.112658427	true	7.745841199	true	8.169796328	true	8.374346224	true	7.801579539	true	7.521147125	true	7.988250397	13	7.979288690692308	0.2915556444852071	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	24	698817	18162	1	4878	1	#f	13	true	7.878572751	true	7.780071072	true	8.073980423	true	7.70792566	true	8.185646164	true	7.553092046	true	8.280911733	true	7.606743191	true	8.41867745	true	7.909083629	true	7.7643132	true	8.302298058	true	7.712367264	13	7.936437126230768	0.2429735687455618	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	28	698817	18162	1	4878	1	#f	13	true	8.250828785	true	8.13409836	true	8.037243581	true	7.959855591	true	7.606394396	true	8.433676877	true	7.697542892	true	8.19594715	true	7.630618766	true	7.732045651	true	8.016482586	true	8.043136003	true	8.138405544	13	7.9904827832307666	0.20399332617751534	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	32	698817	18162	1	4878	1	#f	13	true	8.510677896	true	8.396923458	true	8.208220979	true	7.899580429	true	8.002399536	true	7.862651646	true	8.082238664	true	8.096182138	true	8.191777496	true	8.374606593	true	7.950886515	true	8.284849546	true	8.22486044	13	8.160450410461538	0.1644251591952664	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	40	698817	18162	1	4878	1	#f	13	true	8.993290901	true	8.370816677	true	8.794531171	true	8.08025802	true	7.779965186	true	7.871292199	true	7.715331011	true	8.709308802	true	7.867571711	true	7.672294864	true	7.685174847	true	7.755424901	true	7.799485591	13	8.084211221615384	0.3894004099289937	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	48	698817	18162	1	4878	1	#f	13	true	8.14046937	true	7.956910233	true	7.928712551	true	8.718338136	true	8.19055469	true	8.347853184	true	7.929753616	true	8.091915536	true	7.890568098	true	7.789810708	true	8.206482165	true	8.001602832	true	7.687350221	13	8.067717026153847	0.19835552678106522	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	56	698817	18162	1	4878	1	#f	13	true	8.478393127	true	7.938472099	true	8.442753492	true	7.966797354	true	7.801803053	true	7.934159868	true	8.028663963	true	7.965405296	true	7.9133765	true	8.016862231	true	7.899891316	true	8.023891225	true	7.747754778	13	8.012171100153846	0.14303208265088754	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	64	698817	18162	1	4878	1	#f	13	true	7.826850656	true	8.785614563	true	7.770119847	true	7.745613559	true	7.859486521	true	7.688707022	true	8.028233997	true	7.650138874	true	8.233597411	true	8.232386572	true	7.978320669	true	8.13756715	true	7.865158318	13	7.9847534737692305	0.22978958833136076	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	1	698817	18162	1	4878	1	#f	13	true	22.197557848	true	20.609552365	true	20.996603371	true	20.688067025	true	20.226556501	true	21.568434319	true	20.849088805	true	20.302370677	true	21.341017511	true	20.500161087	true	20.996963075	true	20.840309238	true	20.753302255	13	20.91307569823077	0.39003040505325476	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	2	698817	18162	1	4878	1	#f	13	true	11.624348691	true	13.1110562	true	12.512984216	true	11.410557072	true	12.258248992	true	12.57361457	true	11.644850082	true	12.501287988	true	12.061772732	true	12.136307225	true	12.268680948	true	11.973430977	true	11.44058416	13	12.116747988692309	0.39152987971597636	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	3	698817	18162	1	4878	1	#f	13	true	8.157192891	true	7.545184684	true	7.393202009	true	8.132587725	true	7.679484733	true	7.394626742	true	8.011818719	true	7.738275512	true	8.034564739	true	8.180015454	true	7.55724649	true	9.722637781	true	7.944375649	13	7.960862548307692	0.3805603106390532	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	4	698817	18162	1	4878	1	#f	13	true	6.580505447	true	7.070022229	true	6.46140599	true	7.196253933	true	6.268358184	true	6.219171893	true	6.428465873	true	6.856740394	true	6.608069129	true	6.214428379	true	7.100161857	true	7.385211041	true	6.934217184	13	6.7171547333076935	0.3445658827928994	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	5	698817	18162	1	4878	1	#f	13	true	5.545833324	true	6.113654895	true	5.453987358	true	5.560741144	true	6.073540984	true	6.057560421	true	6.655149812	true	6.016755947	true	6.350747137	true	5.483652157	true	5.454285449	true	5.726467538	true	5.180740592	13	5.821008981384616	0.36020850887573974	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	6	698817	18162	1	4878	1	#f	13	true	5.08658362	true	5.123642712	true	5.462407115	true	5.198988445	true	5.164589436	true	4.62838945	true	5.262825987	true	5.288344998	true	4.678353603	true	5.118522421	true	4.654167305	true	5.088316606	true	5.208519696	13	5.074127030307692	0.1940724204497043	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	7	698817	18162	1	4878	1	#f	13	true	5.080175257	true	4.509745223	true	4.721583688	true	4.610637653	true	4.998885752	true	4.5252463	true	4.952103174	true	4.625340418	true	4.576368665	true	4.833440788	true	4.877319687	true	5.087246237	true	4.325581681	13	4.747974963307692	0.20635709463905305	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	8	698817	18162	1	4878	1	#f	13	true	4.550330691	true	4.569450515	true	4.477645183	true	4.307635025	true	4.371771488	true	4.30485813	true	4.136189068	true	4.261200685	true	4.219939109	true	4.145741321	true	4.527513885	true	4.991778963	true	4.449847455	13	4.408761655230769	0.17138411701775136	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	9	698817	18162	1	4878	1	#f	13	true	4.168439762	true	4.708509197	true	4.431591643	true	4.661182212	true	4.10893501	true	4.241372825	true	4.829234015	true	4.654604656	true	4.265242511	true	4.209997754	true	4.151366219	true	4.382958936	true	4.162014363	13	4.382726854076923	0.21103377454437863	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	10	698817	18162	1	4878	1	#f	13	true	4.017292995	true	4.27249655	true	4.725546005	true	4.311863091	true	3.843972409	true	4.191314633	true	4.052065994	true	4.442890933	true	4.06046609	true	3.857035783	true	3.927989492	true	3.88021967	true	4.923021289	13	4.192782687230769	0.263369912591716	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	12	698817	18162	1	4878	1	#f	13	true	4.315647275	true	4.083776236	true	4.191060196	true	3.77410375	true	3.88678712	true	4.268328351	true	4.420091582	true	4.37304665	true	4.267344085	true	3.868441743	true	3.948093759	true	4.307441115	true	4.080940185	13	4.137315542076924	0.18180776299408274	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	14	698817	18162	1	4878	1	#f	13	true	4.243055628	true	4.188546862	true	4.62271894	true	4.488749211	true	4.347505432	true	3.470773093	true	4.445136014	true	4.015072898	true	3.937969403	true	4.310019358	true	4.28858573	true	3.773061338	true	3.874032948	13	4.154248219615384	0.26158944893491154	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	16	698817	18162	1	4878	1	#f	13	true	4.039516685	true	4.193480297	true	4.300814493	true	4.115737904	true	3.93977984	true	4.30117082	true	3.879198999	true	3.977291298	true	4.203252384	true	3.707988235	true	4.147237301	true	4.434276547	true	4.184446708	13	4.109553193153846	0.15446013981065093	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	18	698817	18162	1	4878	1	#f	13	true	3.958541929	true	4.393754821	true	4.340624711	true	4.081173087	true	4.16884254	true	4.054467421	true	4.409840804	true	3.991008369	true	4.118791614	true	4.524769135	true	4.086642713	true	3.755094146	true	4.000394565	13	4.144918911923076	0.17126730021301767	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	20	698817	18162	1	4878	1	#f	13	true	4.240409676	true	4.13905889	true	4.209670996	true	4.102161178	true	4.137456901	true	4.805555731	true	4.294440813	true	4.210951237	true	4.175644367	true	4.350087992	true	4.209619333	true	3.918629308	true	4.499295448	13	4.253306297692308	0.14402381434319547	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	24	698817	18162	1	4878	1	#f	13	true	4.941371411	true	4.521651224	true	4.538303709	true	4.52517654	true	4.96682343	true	4.947082318	true	4.66999361	true	4.087645901	true	4.566074304	true	4.304772168	true	5.077887399	true	4.484331089	true	3.871211893	13	4.577101922769231	0.26425362371597616	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	28	698817	18162	1	4878	1	#f	13	true	4.850952544	true	4.878025526	true	4.580899921	true	5.052493115	true	4.718652051	true	4.91283728	true	4.600673907	true	4.962950189	true	4.651645232	true	5.098759698	true	4.705708665	true	4.905583658	true	4.502572677	13	4.801673420230769	0.16152124128994078	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	32	698817	18162	1	4878	1	#f	13	true	5.237292985	true	4.84182255	true	5.352602099	true	5.014097139	true	5.242883619	true	4.910970502	true	5.018945771	true	4.812674073	true	5.151283632	true	4.909737285	true	5.156588181	true	4.972118464	true	5.029462448	13	5.05003682676923	0.13699482802366847	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	40	698817	18162	1	4878	1	#f	13	true	5.223943641	true	5.190956547	true	5.286837369	true	5.199244253	true	5.350238022	true	5.31328255	true	5.048123545	true	5.112017822	true	5.36826618	true	5.391622733	true	5.108680639	true	5.35602114	true	5.317491125	13	5.2512865820000005	0.09611585307692305	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	48	698817	18162	1	4878	1	#f	13	true	5.172922791	true	5.479865556	true	5.104101662	true	5.712632398	true	5.12101019	true	5.124823527	true	5.255404185	true	5.078707619	true	5.055316204	true	5.291161951	true	5.025341384	true	5.333881377	true	5.39193286	13	5.242084746461538	0.15574920742011827	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	56	698817	18162	1	4878	1	#f	13	true	5.10833074	true	5.830846729	true	5.303226916	true	5.355388693	true	5.38762255	true	5.401481203	true	5.475388359	true	5.438514104	true	5.115636512	true	5.199379047	true	5.260734026	true	5.301295836	true	5.163848211	13	5.333976378923078	0.1362128253017752	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	64	698817	18162	1	4878	1	#f	13	true	5.455381614	true	5.218061997	true	5.103989197	true	5.478921013	true	5.136603469	true	5.443099628	true	5.248331659	true	5.190493683	true	5.318146333	true	5.226436641	true	5.383025618	true	5.222937019	true	5.625218076	13	5.31158814976923	0.12834821282840234	true