TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	SeqAAMLS	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	1.264766911	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.930393945	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.330457674	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.278194796	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	ParAAM-C-S-state	32	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.530696749	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.215101942	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.192677276	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.547422866	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.159189943	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.511956754	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.150952332	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.578244143	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.144499291	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	9.939867821	true	9.171474051	true	9.364593824	true	8.640269263	true	8.550141067	true	8.557860296	true	8.902965088	true	8.859216331	true	9.031898811	true	9.111426161	true	9.166228598	true	9.163621479	true	8.419244361	13	8.990677473153847	0.30990283583431943	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	13.03685052	true	13.326258945	true	13.299819344	true	13.427613062	true	13.360038531	true	12.959047491	true	13.273609326	true	13.228931798	true	13.264016847	true	13.39012305	true	13.322381133	true	13.063848514	true	13.09065603	13	13.234091891615382	0.12171155462721978	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	8.923753331	true	8.921972	true	8.877342156	true	8.712268737	true	9.090140979	true	8.691625284	true	8.760298203	true	8.901380342	true	8.778068078	true	8.916049893	true	8.989077113	true	9.115708938	true	9.050873985	13	8.902196849153846	0.10649204537278113	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	10.035896276	true	10.031525116	true	9.889284241	true	9.83832597	true	9.846895953	true	9.7686592	true	9.731134788	true	10.152815112	true	10.110068134	true	9.751989808	true	9.993558737	true	10.020388903	true	9.958692766	13	9.93301807723077	0.1187413082130179	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	10.55430665	true	10.57734922	true	10.826714591	true	10.63467534	true	10.319475689	true	10.981361384	true	10.970173105	true	10.859654283	true	10.711423066	true	10.852289286	true	10.208954983	true	10.416173629	true	10.788213699	13	10.669289609615383	0.2007387917988167	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	11.030242102	true	10.929077016	true	11.140713854	true	11.297293382	true	11.362394536	true	11.398495431	true	11.664166715	true	11.199543988	true	11.337856515	true	11.262667772	true	11.495917936	true	10.930886405	true	11.363563241	13	11.26252453023077	0.16648604402366823	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	11.47575383	true	11.66106667	true	11.791208211	true	11.628559028	true	11.688024972	true	11.667337763	true	11.721963044	true	11.571707608	true	11.627568304	true	11.544107136	true	11.645735301	true	11.420129678	true	11.458838437	13	11.607846152461537	0.08749139589349152	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	11.777784298	true	11.831767594	true	11.568239366	true	11.761296843	true	11.352211057	true	11.521607258	true	11.602611113	true	12.058123903	true	11.517435256	true	11.571633993	true	11.92489097	true	11.518565123	true	11.919607161	13	11.686597994999998	0.17752043061538444	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	11.9702461	true	11.894879257	true	12.188821465	true	11.950102536	true	11.849486896	true	11.786793588	true	11.908216703	true	11.932477272	true	12.196928787	true	11.841233561	true	12.139815946	true	12.23655804	true	11.686760096	13	11.96787078823077	0.13738713797633187	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	12.010078812	true	11.659377335	true	11.830192428	true	12.12637178	true	12.522893507	true	12.339031307	true	12.089818662	true	11.690506923	true	12.106434689	true	11.842247715	true	11.910780584	true	12.189477163	true	12.070997295	13	12.02986216923077	0.1901521874437871	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	11	698817	18162	1	4878	1	#f	13	true	11.905843636	true	12.194853348	true	11.832140262	true	12.020925422	true	11.727855583	true	11.958105254	true	11.882098792	true	12.336950293	true	12.260305885	true	11.906492869	true	12.272202311	true	12.20219336	true	12.181362526	13	12.052409964692306	0.1743704515147927	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	11.879389875	true	11.926794625	true	12.316519294	true	11.800910207	true	12.351248017	true	12.020960949	true	12.340523081	true	11.902609467	true	12.160288609	true	12.118693165	true	11.875807822	true	12.22220154	true	12.087298189	13	12.07717268	0.16254817461538493	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	13	698817	18162	1	4878	1	#f	13	true	12.037343979	true	11.850585622	true	12.154510066	true	11.430332592	true	11.763956695	true	11.934800974	true	12.18700442	true	11.784385557	true	12.079149287	true	11.795875425	true	12.007291901	true	12.229166298	true	12.14950963	13	11.95414711123077	0.17922243113609476	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	12.127011577	true	11.963146055	true	11.887097705	true	11.897706603	true	11.757752417	true	12.214873739	true	11.915429704	true	12.088119904	true	11.905137153	true	12.074428295	true	11.926717615	true	11.696032244	true	12.416556643	13	11.990000742615386	0.1493825299881661	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-state	15	698817	18162	1	4878	1	#f	13	true	12.221985387	true	12.041683884	true	12.028557837	true	12.283278777	true	11.807472217	true	11.876431445	true	12.347184428	true	12.04772513	true	11.995208144	true	11.90409168	true	11.699339144	true	11.960772047	true	12.300336627	13	12.039543595923078	0.15460502422485212	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	12.04093327	true	11.988135836	true	12.024396293	true	11.936845811	true	12.089948808	true	11.916456514	true	11.790672652	true	12.068438392	true	12.12035424	true	11.766623269	true	12.528166947	true	12.072882851	true	11.999205136	13	12.02638923223077	0.11729063301775146	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	12.179779896	true	12.086126198	true	11.978299416	true	12.257102292	true	12.151668189	true	11.618488282	true	12.018984815	true	11.806910832	true	11.668335803	true	11.787187797	true	11.835324522	true	11.959757724	true	11.840012636	13	11.937536800153849	0.16445552752662707	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	12.265931399	true	11.907274236	true	11.808982827	true	12.065427958	true	11.839536705	true	12.213991226	true	12.248901277	true	12.090739191	true	12.137059764	true	11.864340073	true	12.278163533	true	12.00851089	true	12.050138817	13	12.059922915076923	0.13550060653254453	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	12.052310028	true	11.698178279	true	12.314025873	true	12.390679787	true	12.147221914	true	12.373591811	true	12.059021166	true	12.061452674	true	12.134297516	true	12.050246211	true	11.664960756	true	11.769584018	true	12.016938086	13	12.056346778384617	0.1670558911242604	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	11.921507062	true	12.376822987	true	12.400698749	true	12.356798832	true	12.069533557	true	12.101300572	true	11.701098221	true	11.996593375	true	12.154480319	true	12.109750206	true	11.980972094	true	12.090306191	true	12.151222415	13	12.108544967692307	0.13823133874556207	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	11.864804735	true	11.875350449	true	11.841257645	true	12.031180512	true	11.779964551	true	11.915705455	true	11.87438084	true	11.952544934	true	12.508811136	true	12.025549002	true	12.061264427	true	11.99004511	true	11.990764859	13	11.977817204230771	0.11395566471005918	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	12.926754162	true	12.787655211	true	103.849101562	true	12.502324481	true	12.598839454	true	12.680257075	true	12.711348879	true	12.720520126	true	12.630339667	true	12.599795448	true	12.564073057	true	12.481681386	true	12.36720146	13	19.647683997538458	12.95406424068639	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	9.001419447	true	8.824881391	true	8.940618175	true	8.867088329	true	8.650342482	true	8.621116063	true	8.617452104	true	8.787863967	true	8.767741057	true	8.752337422	true	8.577964585	true	8.696022004	true	8.674219356	13	8.752235875538462	0.10404594757396442	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	9.441992716	true	9.654630832	true	9.390082424	true	9.758848978	true	9.481055571	true	9.643410512	true	9.6047609	true	9.721713753	true	9.700174407	true	9.566554338	true	9.885326724	true	9.548512061	true	9.438008169	13	9.602697798846155	0.11538177139644987	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	10.499104613	true	10.23257118	true	10.23899762	true	10.451053754	true	10.157848161	true	10.239772039	true	10.17855203	true	9.925430927	true	10.653852085	true	10.156273981	true	10.259237986	true	10.330731884	true	10.19548565	13	10.270685531538463	0.13107695536094732	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	10.596529486	true	10.929360673	true	10.919286337	true	10.987354963	true	10.740768465	true	10.575365115	true	10.795837068	true	10.980753905	true	10.977559827	true	10.961089002	true	11.074741624	true	11.115371193	true	10.79097025	13	10.880383685230766	0.13883816033136137	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	11.587943738	true	11.199886198	true	11.179316642	true	11.04835221	true	11.027245536	true	11.218478383	true	11.021670094	true	11.3660986	true	11.295490043	true	11.45710314	true	11.152870135	true	11.21900348	true	11.134750063	13	11.223708327846156	0.1248926476331368	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	11.239792989	true	11.187941366	true	11.425454267	true	11.229561917	true	11.617784053	true	11.024038876	true	11.295528459	true	11.268948753	true	10.900696134	true	11.190679598	true	11.239979719	true	11.359271028	true	11.230049066	13	11.246902017307692	0.11268868822485181	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	11.366895114	true	11.23717772	true	11.333980502	true	11.24828657	true	11.566501559	true	11.511008377	true	11.490717757	true	11.807778468	true	11.398659013	true	11.378848618	true	11.563863382	true	11.68390602	true	11.584071182	13	11.474745713999997	0.1360964226153851	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	11.546101701	true	11.387575781	true	11.571795441	true	11.361017836	true	11.728681905	true	11.586320729	true	11.42499542	true	11.054725271	true	11.184611173	true	11.756916264	true	11.40091705	true	11.279660806	true	11.288778174	13	11.428622888538463	0.16103101497041428	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	11	698817	18162	1	4878	1	#f	13	true	11.591570907	true	11.487074085	true	11.784016201	true	11.307983781	true	11.713803991	true	11.449381347	true	11.678666969	true	11.43205777	true	11.616700072	true	11.729040193	true	11.488645712	true	11.653851801	true	11.257766267	13	11.55311993046154	0.13781701857988166	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	12.017989636	true	11.396186245	true	11.328184797	true	11.522692727	true	11.295377041	true	11.743940358	true	11.628698478	true	11.72695443	true	11.527806214	true	11.386155756	true	11.635459452	true	11.918814679	true	11.139143049	13	11.559030989384617	0.20271863026035483	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	13	698817	18162	1	4878	1	#f	13	true	11.437145593	true	11.464407343	true	11.767636775	true	11.161778508	true	11.446871386	true	11.180453881	true	11.474370711	true	11.610005298	true	11.782472458	true	11.507387898	true	11.637340767	true	11.707268755	true	11.705349114	13	11.529422191307694	0.15900615679289964	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	11.773498058	true	11.487487358	true	11.80773052	true	11.665277655	true	11.50820325	true	11.475072588	true	11.376681144	true	11.848196197	true	11.590794374	true	11.683873818	true	11.808611046	true	11.618180913	true	11.326084387	13	11.613053177538461	0.14061476372781073	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-set	15	698817	18162	1	4878	1	#f	13	true	11.837073983	true	11.684396366	true	11.708290825	true	11.509525606	true	11.48802416	true	11.739969044	true	11.590101594	true	11.460521125	true	11.576238879	true	11.09671446	true	11.324425752	true	11.848853597	true	11.380918873	13	11.55731186646154	0.16672941888757392	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	11.680135813	true	11.349583148	true	11.645702839	true	11.811025976	true	11.518833591	true	11.411035409	true	11.233800068	true	11.497509429	true	11.830973327	true	11.421151969	true	11.1498603	true	11.256926306	true	11.259178635	13	11.466593600769231	0.1822491339053254	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	11.571631158	true	11.5246777	true	11.782402508	true	11.508815291	true	11.475425856	true	11.28749462	true	11.241074444	true	11.410478272	true	11.484805124	true	11.530792521	true	11.307035656	true	11.113735156	true	11.518555872	13	11.442840321384617	0.13144360906508817	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	11.702882432	true	11.825854438	true	11.538944652	true	11.661252206	true	11.569754316	true	11.670623542	true	11.579125529	true	11.237386226	true	11.424917906	true	11.540870708	true	12.084984162	true	11.417781846	true	11.429478651	13	11.591065893384616	0.15234881739644995	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	11.505905968	true	11.400933044	true	11.936375687	true	11.507835266	true	11.65006988	true	11.731783463	true	11.53907508	true	11.546347854	true	11.779201919	true	11.357128005	true	11.417313779	true	11.491060315	true	11.710293047	13	11.582563331307693	0.137678052224852	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	11.240847763	true	11.439622749	true	11.750061048	true	11.615440846	true	11.72872964	true	11.526021831	true	11.478797063	true	11.76945937	true	11.457105365	true	11.848992833	true	11.429557825	true	11.653551672	true	11.708345642	13	11.588194895923078	0.14726411992899402	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	11.586380685	true	11.615005559	true	11.367918048	true	11.731328941	true	11.531271774	true	11.680217259	true	11.807331366	true	12.049005808	true	11.551362856	true	11.577899067	true	11.59548597	true	11.832126751	true	11.723167507	13	11.665269353153848	0.12793254047337277	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	10.017226648	true	9.836162991	true	9.602017507	true	9.967810716	true	9.808787912	true	9.726689048	true	9.822242826	true	10.008283244	true	9.632598761	true	9.829250492	true	10.170068013	true	9.775468104	true	9.815405102	13	9.847077797230769	0.11924268185798804	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	7.841086107	true	8.064652279	true	7.928779777	true	7.571496724	true	7.610294119	true	7.569440339	true	7.777532953	true	7.784301322	true	7.638919533	true	7.805854553	true	7.715347244	true	7.642882936	true	7.862966201	13	7.754888775923078	0.1201464246982247	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	6.689496254	true	6.810718999	true	6.742050137	true	6.958459757	true	6.969698432	true	6.779116087	true	7.027261386	true	6.704919722	true	6.870061072	true	6.716821604	true	6.957185042	true	7.037631016	true	6.658496107	13	6.840147355000001	0.1199096269230771	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	6.554537895	true	6.331583741	true	6.539649004	true	6.510085006	true	6.524975872	true	6.454790749	true	6.497752435	true	6.566654291	true	6.490389985	true	6.207580051	true	6.450057547	true	6.600505062	true	6.527795816	13	6.481258265692306	0.07400322688757463	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	6.080214001	true	6.090570659	true	6.099260295	true	5.991035365	true	6.107557272	true	6.078333604	true	5.990025839	true	6.091058953	true	6.017577432	true	6.069307053	true	6.130992799	true	6.097449723	true	6.026146235	13	6.066886863846154	0.03734808990532543	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	6.014272521	true	5.92581235	true	6.038767863	true	5.976322936	true	5.936246565	true	5.939983831	true	6.057805277	true	6.011050916	true	6.029188923	true	5.937245264	true	5.937236475	true	5.897584704	true	5.923529303	13	5.971157455999999	0.0462251846153846	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	5.82742958	true	5.829875484	true	5.86885156	true	5.866707669	true	5.897250669	true	5.751095153	true	5.826402225	true	5.833382651	true	5.846017582	true	5.901689109	true	5.838579293	true	5.781322417	true	5.878316608	13	5.842070769230771	0.03175516640236711	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	5.83622898	true	5.569489295	true	5.645101505	true	5.579881746	true	5.587943265	true	5.568535488	true	5.585842003	true	5.615193812	true	5.591681226	true	5.556428735	true	5.639132235	true	5.567581303	true	5.58500466	13	5.609849557923076	0.04557820004733702	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	5.554980161	true	5.590873209	true	5.617573049	true	5.589190443	true	5.675515683	true	5.676677754	true	5.545229983	true	5.597213299	true	5.620875641	true	5.724338533	true	5.67373262	true	5.691028535	true	5.627101679	13	5.629563891461539	0.04514979502958622	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	11	698817	18162	1	4878	1	#f	13	true	5.601362137	true	5.561151222	true	5.54854464	true	5.61681574	true	5.634108455	true	5.649912222	true	5.558621178	true	5.638735005	true	5.3410439	true	5.431422092	true	5.410499467	true	5.440226718	true	5.410452254	13	5.526376540769231	0.0920366573609467	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	5.556522351	true	5.519839893	true	5.489590241	true	5.461140462	true	5.377467299	true	5.531303062	true	5.58006335	true	5.625351427	true	5.688109814	true	5.700807987	true	5.617711286	true	5.635773657	true	5.621396003	13	5.56962129476923	0.0741329939408283	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	13	698817	18162	1	4878	1	#f	13	true	5.750632994	true	5.749973883	true	5.816357117	true	5.547951341	true	5.616795371	true	5.540542873	true	5.611577838	true	5.566860505	true	5.748000222	true	5.65139917	true	5.65910236	true	5.77809803	true	5.739550147	13	5.675141680846154	0.08180958583431945	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	5.679684392	true	5.620649755	true	5.687276965	true	5.75556199	true	5.710150349	true	5.706354755	true	5.690701337	true	5.740905075	true	5.748334964	true	5.710206196	true	5.747389263	true	5.759582799	true	5.625794922	13	5.706353289384615	0.035024473218934954	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-L-SA-part	15	698817	18162	1	4878	1	#f	13	true	5.681782571	true	5.627583278	true	5.640873835	true	5.715435965	true	5.638431467	true	5.735874782	true	5.678138661	true	5.674569449	true	5.766853973	true	5.460824899	true	5.518078391	true	5.556885914	true	5.465350905	13	5.62774493	0.07846173276923055	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	5.548581747	true	5.457249208	true	5.459578885	true	5.460162193	true	5.54082842	true	5.471152093	true	5.459589825	true	5.489535928	true	5.461193106	true	5.719529454	true	5.673011369	true	5.467613899	true	5.64881884	13	5.527449612846155	0.07592642550295889	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	5.611087709	true	5.697811179	true	5.787087896	true	5.739725199	true	5.748009504	true	5.756975453	true	5.7318613	true	5.650015566	true	5.761818915	true	5.799149029	true	5.71589155	true	5.731445521	true	5.738441023	13	5.728409218769231	0.03674321093491098	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	5.708297317	true	5.738510409	true	5.703556555	true	5.809843647	true	5.740665458	true	5.670633122	true	5.705896072	true	5.710345747	true	5.601135613	true	5.785030764	true	5.633902549	true	5.550305485	true	5.550777796	13	5.685300041076923	0.06457625236686383	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	5.569405455	true	5.54118152	true	5.515759809	true	5.565315711	true	5.609510684	true	5.630452602	true	5.531379526	true	5.637515979	true	5.517847946	true	5.588332002	true	5.762963271	true	5.689820257	true	5.711393384	13	5.605452165076924	0.0629143363905326	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	5.797675767	true	5.622895179	true	5.678288244	true	5.61936826	true	5.580272758	true	5.486929731	true	5.558660242	true	5.549671296	true	5.648231884	true	5.777566596	true	5.73674653	true	5.702786621	true	5.749290191	13	5.654491022999999	0.07929350938461521	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	5.778062314	true	5.623781355	true	5.645999358	true	5.658362403	true	5.657428541	true	5.738146938	true	5.774596867	true	5.799817608	true	5.696471381	true	5.667606971	true	5.695741781	true	5.759304243	true	5.618705147	13	5.701078839	0.05300519615384607	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	81.173033192	true	75.66524808	true	67.445679965	true	78.634673109	true	74.798201922	true	78.448121627	true	68.828661272	true	87.618296021	true	79.614791569	true	78.116478616	true	75.769202771	true	95.799106674	true	78.61967641	13	78.50239778676922	4.68387542375148	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	96.179059524	true	93.661130228	true	91.38551809	true	94.535059239	true	96.518627244	true	94.78062892	true	92.216464166	true	96.378314822	true	91.81604898	true	96.047845131	true	92.19469697	true	95.10951896	true	96.733806489	13	94.42743990484617	1.6712832446508843	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	81.499490937	true	83.667398066	true	82.179066905	true	84.819141925	true	85.639488285	true	80.510133394	true	82.242425377	true	84.220931457	true	81.819998515	true	84.06056655	true	83.036008654	true	86.787542497	true	83.341996076	13	83.3710914336923	1.3797723350532551	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	79.523030763	true	79.997781565	true	81.567998781	true	80.476591292	true	85.451467684	true	80.116817368	true	81.696296521	true	80.347624242	true	80.24870884	true	79.189464154	true	81.006181001	true	79.708827923	true	79.454675474	13	80.67580504676923	1.0798036615266255	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	80.341984024	true	80.489650521	true	81.762852847	true	84.298344408	true	80.045696937	true	80.402682701	true	79.408486994	true	81.469598849	true	79.198772265	true	79.786220537	true	80.290428585	true	81.698815304	true	80.23796531	13	80.72549994476923	0.9734787121420079	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	81.748872539	true	77.37916306	true	79.859031818	true	78.915346557	true	83.239548254	true	79.875738354	true	80.68867994	true	82.776525402	true	80.374823239	true	78.336393584	true	80.36068916	true	81.45825647	true	79.397672374	13	80.33928775007692	1.272673962071005	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	77.589576447	true	81.293967824	true	81.373913921	true	78.822821908	true	79.717847425	true	81.900871412	true	80.790890572	true	80.006813683	true	80.400559337	true	79.429226273	true	80.791322012	true	80.928613507	true	81.985818262	13	80.38709558330771	0.9798757200828349	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	78.853386829	true	80.495285976	true	79.619664039	true	79.049058916	true	79.697066471	true	78.647894522	true	78.465429304	true	79.664725394	true	79.720462568	true	78.245193618	true	82.127700063	true	83.324618851	true	82.279660574	13	80.01462670192308	1.2567321009704147	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	78.504309254	true	83.447047219	true	80.955373857	true	78.369188819	true	79.039088514	true	79.381262033	true	79.598924826	true	80.310516285	true	79.64854982	true	77.810461747	true	80.713893827	true	82.828208874	true	79.178745477	13	79.9835054270769	1.282694296402362	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	11	698817	18162	1	4878	1	#f	13	true	81.261080065	true	80.582865709	true	78.329480584	true	79.868902131	true	78.708529193	true	79.322623915	true	78.547809069	true	78.562807825	true	78.147261036	true	80.820830803	true	80.987405443	true	75.868038317	true	80.640973809	13	79.35758522300002	1.2333148649230803	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	80.076409485	true	80.231836611	true	81.229188953	true	79.436589165	true	82.8031512	true	80.295978019	true	80.353557295	true	82.228268857	true	80.699046969	true	81.257853501	true	79.800345006	true	82.678476906	true	80.827719363	13	80.91680164076924	0.8635278789467472	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	13	698817	18162	1	4878	1	#f	13	true	79.957921492	true	80.712780819	true	80.110590405	true	81.727677425	true	79.104197128	true	80.767774127	true	78.568432579	true	79.729598249	true	79.275812256	true	82.001504693	true	79.716844542	true	78.489049808	true	80.886646685	13	80.08067924676924	0.8804459497514789	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	80.50436964	true	79.723975402	true	79.368019346	true	78.794481013	true	82.485523738	true	79.757571307	true	79.693849164	true	80.766590108	true	79.675183725	true	83.188426523	true	81.785114237	true	82.639642936	true	79.938677675	13	80.64010960107693	1.1791922364023708	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-state	15	698817	18162	1	4878	1	#f	13	true	80.219069084	true	80.111266447	true	84.144723286	true	82.259693446	true	80.138568414	true	80.95877764	true	80.490440687	true	79.960638135	true	81.045541261	true	80.207193167	true	79.969238176	true	80.604897394	true	78.240496322	13	80.64234949684615	0.8983596377869794	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	80.733022731	true	80.42731795	true	80.491842946	true	80.489804148	true	80.975200686	true	80.068307915	true	80.409578371	true	80.374364164	true	82.376018981	true	79.068114707	true	78.380547974	true	82.871586027	true	79.819040527	13	80.49882670207693	0.7631571717988171	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	81.060177468	true	82.886877635	true	82.949523142	true	78.542345264	true	82.088672205	true	82.874027567	true	78.727267736	true	80.855872441	true	77.690418583	true	79.547891258	true	81.417547089	true	79.016905284	true	82.052706602	13	80.74694094415385	1.5707502455029574	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	80.030869711	true	79.729912299	true	79.095573954	true	79.253539207	true	79.138092732	true	78.376400309	true	80.679936695	true	82.833127333	true	78.120997598	true	80.988774221	true	79.517888064	true	81.176518142	true	81.471478545	13	80.03177760076923	1.0755302972544358	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	78.740257987	true	78.239617476	true	79.689014819	true	79.047593058	true	82.113858529	true	81.487317619	true	79.490599806	true	79.115561364	true	80.490593159	true	84.217785409	true	79.209205993	true	80.34073093	true	80.774623185	13	80.2274430256923	1.2400385656686366	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	83.340880995	true	80.304642719	true	81.929540993	true	80.010536017	true	79.325386139	true	79.244494472	true	79.846537795	true	80.50747869	true	80.336553801	true	80.058544883	true	82.480470915	true	82.91025606	true	79.817980709	13	80.777946476	1.1614404706153836	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	80.47517902	true	80.84057396	true	78.066854222	true	81.587127741	true	80.399751927	true	80.144119411	true	79.529787515	true	80.789487481	true	80.760629394	true	80.553998609	true	80.47816723	true	79.700439072	true	79.341038454	13	80.20516569507694	0.6528599694437827	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	13.699556542	true	12.824994135	true	13.385284828	true	13.538819799	true	13.660796918	true	13.279444076	true	13.510786822	true	13.693493951	true	13.719910659	true	13.118777079	true	12.559646588	true	13.338780291	true	13.14025769	13	13.343888413692309	0.27714317279289935	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	14.764783137	true	14.95828922	true	15.168872088	true	14.909396706	true	14.396932144	true	14.327726218	true	14.374846443	true	14.118651834	true	14.236841997	true	14.834454407	true	14.160152787	true	14.480486842	true	14.863961069	13	14.584261145538461	0.3067984236568048	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	18.583137269	true	17.77511968	true	17.765506337	true	18.539737684	true	17.199619983	true	17.478593313	true	17.717975191	true	16.845852919	true	17.72555572	true	16.854820376	true	17.379861637	true	17.208560775	true	17.168177908	13	17.557116830153845	0.42528167693491115	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	18.420069992	true	18.865694572	true	18.510757002	true	19.140551002	true	19.030664641	true	18.697677598	true	18.818494241	true	18.778345464	true	20.526634257	true	18.95961957	true	19.494192261	true	18.627857453	true	18.789842664	13	18.97387697823077	0.3533129612426042	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	20.365878179	true	20.630172705	true	20.117792126	true	19.990238505	true	20.155205467	true	20.289397293	true	19.815337183	true	19.747722639	true	21.520885763	true	21.135820638	true	20.567876724	true	20.606310044	true	20.917537402	13	20.450782666769232	0.4113703500591717	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	21.861177412	true	21.496545596	true	22.019432423	true	20.497402722	true	20.650378989	true	20.896822754	true	21.450691353	true	21.238700848	true	20.64509378	true	21.316425838	true	21.607256964	true	20.797527291	true	21.664148738	13	21.241661900615384	0.41908384918343233	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	21.149682707	true	22.327804929	true	20.363504768	true	20.529722881	true	21.395991099	true	21.569301294	true	20.819672396	true	21.40490403	true	21.107343964	true	21.836923388	true	20.888569058	true	21.024958733	true	21.979756419	13	21.26139505123077	0.45327859255621306	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	21.299403946	true	20.956608814	true	20.901150621	true	22.428465661	true	21.167121946	true	21.277567453	true	21.637940894	true	21.579468138	true	21.367373348	true	20.984145293	true	21.228534125	true	21.948589234	true	21.086250938	13	21.374047723923077	0.32281123558579866	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	21.168491849	true	21.46531102	true	22.55014395	true	21.755650369	true	21.505966603	true	21.375388844	true	21.560102826	true	21.63062915	true	21.786902294	true	22.3576712	true	21.587008414	true	21.299589174	true	22.094252749	13	21.70285449553846	0.3123612437396443	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	11	698817	18162	1	4878	1	#f	13	true	22.925539069	true	21.977819952	true	22.00703248	true	21.334001077	true	22.056566151	true	22.279878579	true	21.587851527	true	21.731046759	true	22.235428659	true	21.309343314	true	21.246195809	true	21.446549959	true	22.978862355	13	21.932008899230766	0.4518561462130177	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	21.659968609	true	21.788567336	true	21.385194982	true	22.479442382	true	21.766277362	true	22.328927437	true	21.276484986	true	22.198060321	true	21.904204834	true	21.487765154	true	22.25997541	true	21.996946317	true	21.936761491	13	21.882198201615385	0.29675858164497	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	13	698817	18162	1	4878	1	#f	13	true	21.335657997	true	22.47794093	true	22.59729216	true	22.468294646	true	22.858446495	true	22.106609466	true	21.826675189	true	22.613847011	true	22.068898434	true	21.858260893	true	22.279675266	true	22.824683418	true	21.267997739	13	22.198790741846153	0.41979149739644994	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	21.560140822	true	22.515142565	true	21.536880167	true	21.517559193	true	21.098394295	true	22.569917744	true	21.426549248	true	21.767377248	true	21.859063415	true	21.697497637	true	21.985558643	true	21.177041691	true	22.136506716	13	21.757509952615386	0.3520779408165684	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-set	15	698817	18162	1	4878	1	#f	13	true	21.387323067	true	21.228791097	true	21.431054814	true	22.080260881	true	21.800635313	true	22.106389042	true	21.757385441	true	22.265335814	true	21.235838202	true	21.473037215	true	21.744017788	true	22.295241385	true	21.691142805	13	21.73049637415385	0.2978140069112426	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	22.030038054	true	22.028003543	true	21.25918699	true	21.560033827	true	21.613558627	true	22.657531358	true	21.373015257	true	21.12694598	true	21.74736655	true	22.349482732	true	21.506858477	true	21.897512088	true	22.016579761	13	21.782008711076926	0.3518608106982249	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	21.69733819	true	21.60763821	true	21.341190514	true	22.189330952	true	21.908103655	true	21.598391409	true	21.316660534	true	21.794500417	true	22.773821155	true	21.506052068	true	21.738402411	true	22.74175382	true	22.125528319	13	21.872208588769233	0.36576845494674615	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	21.038929965	true	21.376983166	true	21.964512552	true	21.818727304	true	21.168829746	true	21.257407735	true	21.398101626	true	22.443293312	true	21.760307335	true	21.519465567	true	22.8502078	true	22.116708493	true	21.300272209	13	21.693365139230767	0.4297793785562129	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	20.689322636	true	20.810310166	true	21.555000214	true	22.140163246	true	21.918275102	true	22.325287768	true	20.399032857	true	21.035874135	true	21.817356019	true	20.816821112	true	20.873431614	true	21.626547403	true	20.537700064	13	21.272701718153844	0.5763722220118339	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	19.394932079	true	19.259697101	true	20.349142681	true	19.538314622	true	20.859309589	true	20.207683293	true	20.13863195	true	19.984236804	true	19.627415424	true	19.570799051	true	19.418444753	true	20.478283059	true	19.538213247	13	19.874238742538463	0.42643921857988115	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	19.607258576	true	18.941319661	true	20.505849073	true	19.403569798	true	19.875106441	true	19.116259382	true	19.977571976	true	19.266955796	true	19.649488553	true	19.145341053	true	20.598065607	true	20.368326564	true	20.199495021	13	19.74266211546154	0.4720679983431951	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	10.30646659	true	9.879540099	true	10.431691022	true	9.908373552	true	9.865700682	true	10.120849946	true	10.09655391	true	9.688115594	true	9.816030214	true	9.62749038	true	9.76654928	true	9.587780804	true	9.944700934	13	9.926141769769231	0.1953159312544382	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	5.170083762	true	5.183276015	true	4.415478183	true	4.821028637	true	5.204463216	true	4.709848415	true	5.220132514	true	5.041657152	true	5.540300735	true	5.127285958	true	5.036105669	true	5.048632246	true	5.045137215	13	5.043340747461539	0.1834747202011833	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	3.444332379	true	3.049534218	true	3.196078922	true	3.078502458	true	3.176737563	true	3.171401549	true	3.351857017	true	3.65066811	true	3.490471431	true	3.384374106	true	3.35396604	true	3.589223012	true	3.098678676	13	3.310448113923077	0.16796235346745564	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	2.765877097	true	2.688821631	true	2.656692851	true	2.649974806	true	2.704592484	true	2.727349837	true	2.747700278	true	2.735164517	true	2.724197161	true	2.737940935	true	2.571238239	true	2.583369757	true	2.666162303	13	2.689160145846153	0.04903096739644981	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	2.218836286	true	2.238292155	true	2.130790175	true	2.36500847	true	2.087032364	true	2.31600188	true	2.170516533	true	2.223912487	true	2.128422177	true	2.219202342	true	2.315281244	true	2.357577124	true	2.179404001	13	2.2269444029230767	0.07037520898224842	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	1.980027853	true	1.878557012	true	2.010222931	true	1.82758686	true	1.888449706	true	1.990214649	true	1.950989622	true	1.94539722	true	1.888513936	true	1.847559541	true	1.937313148	true	1.94212698	true	2.089987265	13	1.9366882094615387	0.05427292189349105	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	1.838310313	true	1.694912957	true	1.71582386	true	1.817866362	true	1.736535398	true	1.7303018	true	1.707217683	true	1.777812333	true	1.746815477	true	1.779006684	true	1.7585843	true	1.78410629	true	1.749564538	13	1.7566813842307691	0.03316891947928994	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	1.839333137	true	1.70806086	true	1.753018353	true	1.789437719	true	1.798536124	true	1.680121994	true	1.72030274	true	1.693609387	true	1.764703231	true	1.80638446	true	1.72533724	true	1.736988266	true	1.868365865	13	1.7603230289230771	0.046895748071005904	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	1.906579775	true	1.788263421	true	1.89428187	true	1.868814252	true	1.876311846	true	1.965897199	true	1.885197455	true	1.899507488	true	1.930353149	true	1.808157283	true	1.86051028	true	1.858259205	true	1.839324578	13	1.8754967539230767	0.03533100069822488	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	11	698817	18162	1	4878	1	#f	13	true	1.954561688	true	1.8982533	true	1.870723797	true	1.93905511	true	1.889806241	true	1.948796218	true	1.908305416	true	1.908298486	true	1.847454892	true	1.889094954	true	1.926434316	true	1.918000915	true	1.878611494	13	1.9059536020769232	0.024888759147928985	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	1.93876793	true	1.954659943	true	1.959578808	true	2.017954085	true	1.965914395	true	1.915231234	true	1.936498507	true	1.884193288	true	1.928382977	true	1.9593585	true	1.890606498	true	1.899545623	true	1.906176451	13	1.9351437106923077	0.028727106639053243	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	13	698817	18162	1	4878	1	#f	13	true	1.988628354	true	1.909832196	true	2.008889645	true	1.919915059	true	1.926276124	true	1.895836051	true	1.896836311	true	1.854768317	true	1.901162232	true	1.879046175	true	1.970128902	true	1.87523415	true	1.948349738	13	1.921146404153846	0.0363908834201183	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	1.895976879	true	1.905565242	true	1.849815172	true	1.855254174	true	1.916646526	true	1.95359383	true	1.858190574	true	1.878542396	true	1.963867133	true	1.915206289	true	1.860226073	true	1.917655322	true	1.898805419	13	1.8976419253076922	0.02889942828402369	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-S-part	15	698817	18162	1	4878	1	#f	13	true	1.956837342	true	2.028606341	true	1.919252013	true	1.919397018	true	1.917809037	true	2.0094584	true	1.974811136	true	2.028933864	true	2.020241559	true	1.927300167	true	1.957198195	true	1.927253398	true	2.05006242	13	1.972089299230769	0.04301198840236689	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	2.069830867	true	2.02857534	true	1.925547406	true	1.939005872	true	2.008891697	true	1.903692643	true	1.984338034	true	1.917035095	true	1.904148414	true	1.973789638	true	1.989875229	true	1.888360006	true	1.879532714	13	1.954817150384615	0.05021506195266269	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	2.024888942	true	1.985038645	true	1.976288375	true	1.925338565	true	1.998961335	true	1.957583574	true	2.036810836	true	1.946051395	true	1.984382433	true	1.959529044	true	1.980660329	true	1.989673499	true	1.940749909	13	1.9773812985384613	0.024422604497041426	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	2.016940806	true	1.93602353	true	1.9795561	true	2.054504564	true	1.994878229	true	1.958493064	true	1.970640765	true	1.990795115	true	1.99781124	true	1.928941702	true	1.913279907	true	1.989164268	true	1.945422506	13	1.9751116766153847	0.030441320875739662	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	1.966280276	true	1.859164441	true	1.88673543	true	1.954028836	true	1.906599809	true	1.899088384	true	1.976090821	true	1.905427293	true	1.919541631	true	1.945547786	true	1.897842551	true	1.894298448	true	1.884389695	13	1.9150027231538462	0.028688574497041423	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	1.939280299	true	1.847492691	true	1.854409899	true	1.939411208	true	1.893575936	true	1.90943033	true	1.870602204	true	1.879606981	true	1.88874435	true	1.893396538	true	1.91919341	true	1.830579442	true	1.894393589	13	1.889239759769231	0.02523122947928993	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	1.837055645	true	1.839992085	true	1.834179957	true	1.890017038	true	1.82879537	true	1.848640098	true	1.876119383	true	1.853725847	true	1.877362438	true	1.829061062	true	1.847816015	true	1.867015461	true	1.867009382	13	1.853599213923077	0.016869886994082872	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	1	698817	18162	1	4878	1	#f	13	true	5.092287378	true	5.023237395	true	5.099108682	true	5.364364127	true	5.371905246	true	5.074079795	true	5.420551034	true	5.352387788	true	5.021255522	true	5.057044368	true	5.26648551	true	5.010333009	true	5.571900081	13	5.209610764230769	0.1676814154792899	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	2	698817	18162	1	4878	1	#f	13	true	3.299299652	true	3.250070132	true	3.218430554	true	3.144875192	true	3.144724675	true	3.177556426	true	3.149697852	true	3.20249088	true	3.145525714	true	3.162012586	true	3.144824811	true	3.262363156	true	3.140131847	13	3.1878464213076922	0.045141887301775124	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	3	698817	18162	1	4878	1	#f	13	true	2.705120149	true	2.605863781	true	2.619168527	true	2.636254829	true	2.612318486	true	2.638863722	true	2.56697976	true	2.636506633	true	2.633835681	true	2.633318191	true	2.643554134	true	2.63796966	true	2.646732219	13	2.632037367076923	0.019049063739644954	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	4	698817	18162	1	4878	1	#f	13	true	3.228745403	true	3.270084278	true	3.159819717	true	3.150541901	true	3.231258501	true	3.190349898	true	3.149449416	true	3.268784319	true	3.280379779	true	3.18039481	true	3.200248818	true	3.246161589	true	3.26770124	13	3.2172245899230774	0.04192968915976331	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	5	698817	18162	1	4878	1	#f	13	true	3.557325226	true	3.46966892	true	3.535745102	true	3.450744949	true	3.427812276	true	3.537315221	true	3.394744755	true	3.618373949	true	3.677155648	true	3.483253606	true	3.401290404	true	3.619742563	true	3.508023777	13	3.5139381843076927	0.07108132356213016	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	6	698817	18162	1	4878	1	#f	13	true	3.103294216	true	3.166445097	true	3.200655152	true	3.145651184	true	3.224167819	true	3.269343403	true	3.285886955	true	3.149748801	true	3.258833567	true	3.308390049	true	3.351785088	true	3.207907855	true	3.326221314	13	3.230640807692308	0.06409469689940835	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	7	698817	18162	1	4878	1	#f	13	true	3.168130499	true	3.074947474	true	3.140809261	true	2.960517565	true	3.115973742	true	3.247911068	true	3.1281358	true	3.07655883	true	3.075973568	true	3.019574478	true	3.129745428	true	2.998599297	true	3.049154209	13	3.0912331706923077	0.05897027289940823	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	8	698817	18162	1	4878	1	#f	13	true	3.097690232	true	3.069387283	true	3.19713321	true	3.044401105	true	3.14810628	true	3.05654302	true	3.256440178	true	2.943523557	true	3.040596598	true	3.179119549	true	3.121906354	true	3.115370651	true	3.03180287	13	3.1001554528461535	0.06417592383431953	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	9	698817	18162	1	4878	1	#f	13	true	3.106858915	true	2.996328707	true	3.170487632	true	3.07753175	true	3.266682307	true	3.155028139	true	3.199463985	true	3.178291992	true	3.196857809	true	3.1800454	true	3.110778971	true	3.215964552	true	3.176802373	13	3.1562401947692313	0.051488383360946625	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	10	698817	18162	1	4878	1	#f	13	true	3.229524079	true	3.139239978	true	2.982885708	true	3.236364437	true	3.087242959	true	3.199460714	true	3.036210688	true	3.14634308	true	3.217505026	true	3.147078818	true	3.117656333	true	3.117225507	true	3.108619166	13	3.135796653307693	0.05614454751479284	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	11	698817	18162	1	4878	1	#f	13	true	3.154927589	true	3.146356427	true	3.057904705	true	2.976457261	true	3.048703216	true	3.139253241	true	3.178265014	true	3.047335972	true	3.03520998	true	2.900129695	true	3.037590915	true	3.019035791	true	3.060350488	13	3.061655407230769	0.057258560319526634	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	12	698817	18162	1	4878	1	#f	13	true	3.107990729	true	3.066377085	true	2.996192656	true	2.880521148	true	2.999302581	true	2.949095729	true	3.068474327	true	3.031210417	true	2.93049135	true	3.039359401	true	3.074909801	true	3.059314782	true	2.876784134	13	3.006155703076923	0.062237941609467454	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	13	698817	18162	1	4878	1	#f	13	true	3.038237593	true	3.066878993	true	2.949157093	true	2.917582665	true	3.030304684	true	2.967615712	true	2.967540351	true	2.868156515	true	2.987632212	true	2.956324754	true	2.947948662	true	2.971347708	true	2.990715131	13	2.973803236384616	0.03765422016568058	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	14	698817	18162	1	4878	1	#f	13	true	3.027727428	true	2.954118243	true	2.837198983	true	2.918369772	true	2.99989798	true	3.09004017	true	3.031756353	true	2.900795308	true	2.899220444	true	2.916844261	true	2.998891956	true	2.951095062	true	3.000377825	13	2.9635641373076926	0.056508752023668674	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	15	698817	18162	1	4878	1	#f	13	true	2.986750206	true	2.950151304	true	3.00448649	true	2.948379206	true	2.926689392	true	2.920183246	true	2.957454707	true	2.848496613	true	2.917879069	true	2.857195745	true	2.908044423	true	3.023117532	true	2.950569045	13	2.9384151521538464	0.038769603834319474	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	16	698817	18162	1	4878	1	#f	13	true	2.895323268	true	2.955144877	true	2.93951808	true	2.887026925	true	2.948914839	true	2.858449849	true	2.859900079	true	2.900475141	true	2.910724441	true	2.930771955	true	2.917828298	true	2.795786151	true	3.028006826	13	2.9098362099230775	0.04031628408284023	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	18	698817	18162	1	4878	1	#f	13	true	2.937422768	true	2.879720882	true	2.889802096	true	2.928775328	true	2.834419918	true	2.969668079	true	2.936077996	true	2.919339485	true	2.921009424	true	2.919668988	true	2.89090836	true	2.917173572	true	2.884347096	13	2.909871845538462	0.026178596260354955	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	20	698817	18162	1	4878	1	#f	13	true	2.890002602	true	2.946170637	true	2.939436152	true	2.939818977	true	2.899788608	true	2.909255918	true	2.821221438	true	2.83691066	true	2.830930874	true	2.858124471	true	2.924592869	true	2.848739154	true	2.851517444	13	2.884346908	0.039790370307692294	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	24	698817	18162	1	4878	1	#f	13	true	2.85921326	true	2.699155667	true	2.816062081	true	2.828142245	true	2.75456508	true	2.780956866	true	2.768328993	true	2.839255014	true	2.867589787	true	2.799844523	true	2.888331733	true	2.789096661	true	2.779597443	13	2.8053953348461538	0.04095724783431956	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	28	698817	18162	1	4878	1	#f	13	true	2.999625832	true	2.798096496	true	2.829091065	true	2.806154344	true	2.860094783	true	2.807065611	true	2.961772127	true	2.868583559	true	2.986566589	true	2.889184863	true	2.840682348	true	2.908893346	true	2.918316662	13	2.882625201923077	0.05670895499408287	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-state	32	698817	18162	1	4878	1	#f	13	true	2.973455691	true	2.811000839	true	2.849307512	true	2.897812325	true	2.911085135	true	2.877681006	true	2.859322528	true	2.950596627	true	2.852774273	true	2.852064917	true	2.924948586	true	2.848350517	true	2.860372302	13	2.8822132506153846	0.03797417091124256	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	1	698817	18162	1	4878	1	#f	13	true	5.321684429	true	5.705887057	true	5.623778683	true	5.58312031	true	5.505168647	true	5.556429754	true	5.420111568	true	5.18111718	true	5.156135593	true	5.170837574	true	5.436329559	true	5.441643779	true	5.427346402	13	5.425353118076924	0.13490449944378674	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	2	698817	18162	1	4878	1	#f	13	true	3.179179773	true	3.187989433	true	3.190489537	true	3.214798859	true	3.178553783	true	3.192912023	true	3.158667467	true	3.229753263	true	3.154818513	true	3.170163714	true	3.241694365	true	3.150646573	true	3.135226995	13	3.183453407538462	0.024141082272189387	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	3	698817	18162	1	4878	1	#f	13	true	2.429705864	true	2.276786067	true	2.248054354	true	2.289302104	true	2.2557386	true	2.33891017	true	2.364325357	true	2.351018891	true	2.292806946	true	2.357059428	true	2.451647772	true	2.430362107	true	2.331109116	13	2.339755905846154	0.05316676675739643	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	4	698817	18162	1	4878	1	#f	13	true	2.072678981	true	2.109035523	true	2.059153612	true	2.030135947	true	2.060968334	true	2.019919562	true	2.027594443	true	2.000269163	true	2.04871967	true	2.057566831	true	2.070708497	true	2.106714415	true	2.057372369	13	2.055449026692308	0.023170207455621244	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	5	698817	18162	1	4878	1	#f	13	true	2.039652391	true	2.033331053	true	2.061218873	true	1.970597116	true	1.968388751	true	1.979500152	true	2.009783594	true	2.028389788	true	1.978247842	true	1.968846963	true	1.980128344	true	1.967114801	true	2.028265206	13	2.001035759538462	0.029911745810650932	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	6	698817	18162	1	4878	1	#f	13	true	2.048684128	true	2.07619638	true	2.057221672	true	2.014759487	true	1.983910298	true	2.007396895	true	2.059172414	true	2.039289621	true	2.044814172	true	2.037392613	true	2.12814582	true	2.117703983	true	2.027768686	13	2.0494197053076926	0.029437191147928993	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	7	698817	18162	1	4878	1	#f	13	true	2.268410645	true	2.239525562	true	2.217742027	true	2.236468404	true	2.229842637	true	2.263307009	true	2.218469326	true	2.210063083	true	2.246713617	true	2.229797793	true	2.228840201	true	2.247724991	true	2.225835264	13	2.235595427615385	0.013627332662721904	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	8	698817	18162	1	4878	1	#f	13	true	2.588855877	true	2.452986231	true	2.445676838	true	2.456569732	true	2.429351045	true	2.468616514	true	2.444822766	true	2.425635742	true	2.447023604	true	2.419711326	true	2.426539434	true	2.438306231	true	2.448730655	13	2.453294307307692	0.02371680016568023	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	9	698817	18162	1	4878	1	#f	13	true	2.624837042	true	2.568046136	true	2.630787082	true	2.560595839	true	2.585744914	true	2.598915057	true	2.639653438	true	2.62133609	true	2.577939789	true	2.632225539	true	2.56440564	true	2.654628677	true	2.684168581	13	2.6110218326153847	0.03238209549112417	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	10	698817	18162	1	4878	1	#f	13	true	2.669561663	true	2.59737607	true	2.578717513	true	2.655814479	true	2.607984624	true	2.620472741	true	2.544904466	true	2.616674985	true	2.589756626	true	2.599841019	true	2.580884263	true	2.566066743	true	2.52073404	13	2.596060710153846	0.030046247680473412	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	11	698817	18162	1	4878	1	#f	13	true	2.63866956	true	2.586960171	true	2.540217791	true	2.582590185	true	2.572035771	true	2.597680188	true	2.569799879	true	2.638401641	true	2.562955729	true	2.565739471	true	2.596241692	true	2.566111947	true	2.566520448	13	2.5833788056153844	0.021701419065088705	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	12	698817	18162	1	4878	1	#f	13	true	2.586869695	true	2.55996383	true	2.555062369	true	2.580908059	true	2.65805667	true	2.510311645	true	2.614841381	true	2.528430502	true	2.58950023	true	2.653132015	true	2.533487224	true	2.674097459	true	2.617226574	13	2.5893759733076918	0.04163053679289945	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	13	698817	18162	1	4878	1	#f	13	true	2.654259588	true	2.546203138	true	2.599401073	true	2.577610073	true	2.549592733	true	2.570418188	true	2.558287505	true	2.538788477	true	2.567827815	true	2.567677687	true	2.545602119	true	2.544139926	true	2.527546454	13	2.5651811366153847	0.022478092970414167	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	14	698817	18162	1	4878	1	#f	13	true	2.577898052	true	2.585573053	true	2.577910399	true	2.569738148	true	2.566415834	true	2.557142431	true	2.536126373	true	2.57858824	true	2.558889052	true	2.543970689	true	2.550795487	true	2.548073627	true	2.53819014	13	2.5607162711538463	0.014127092165680474	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	15	698817	18162	1	4878	1	#f	13	true	2.606670986	true	2.547828456	true	2.572573364	true	2.59061704	true	2.571944251	true	2.551094892	true	2.597418794	true	2.489755205	true	2.540621026	true	2.557230653	true	2.570569187	true	2.600670713	true	2.558386079	13	2.5657985112307693	0.02305765482840241	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	16	698817	18162	1	4878	1	#f	13	true	2.620489403	true	2.52849133	true	2.516564994	true	2.511708462	true	2.50841945	true	2.540991709	true	2.549627593	true	2.487173024	true	2.508878983	true	2.5874123	true	2.479692322	true	2.530268285	true	2.589302977	13	2.5353092947692306	0.032504232023668624	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	18	698817	18162	1	4878	1	#f	13	true	2.583445777	true	2.540299688	true	2.482417783	true	2.529762256	true	2.470380804	true	2.462910806	true	2.449048153	true	2.529758292	true	2.595415857	true	2.508534408	true	2.485287619	true	2.459725012	true	2.465479719	13	2.504805090307692	0.03975165171597634	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	20	698817	18162	1	4878	1	#f	13	true	2.619102327	true	2.519179388	true	2.519236405	true	2.535289642	true	2.519212599	true	2.496587744	true	2.496840299	true	2.491875967	true	2.467316677	true	2.499259436	true	2.521131112	true	2.555020911	true	2.544128549	13	2.521860081230769	0.025554016011834227	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	24	698817	18162	1	4878	1	#f	13	true	2.549860834	true	2.491151307	true	2.48572171	true	2.409629558	true	2.501079205	true	2.458094238	true	2.459858679	true	2.469870569	true	2.500691212	true	2.467669643	true	2.459195734	true	2.494194732	true	2.428399188	13	2.475032046846154	0.026539495218934943	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	28	698817	18162	1	4878	1	#f	13	true	2.568928807	true	2.516160288	true	2.529183084	true	2.540909662	true	2.460471128	true	2.508657559	true	2.460282335	true	2.517703262	true	2.489275334	true	2.458004805	true	2.529268157	true	2.467583989	true	2.518996449	13	2.5050326814615387	0.029160894816567993	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-set	32	698817	18162	1	4878	1	#f	13	true	2.665795563	true	2.485167113	true	2.488883438	true	2.532972667	true	2.5499057	true	2.511290079	true	2.450820547	true	2.470229319	true	2.497853981	true	2.489660272	true	2.459662806	true	2.447429403	true	2.501384474	13	2.503927335538462	0.037577641053254604	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	1	698817	18162	1	4878	1	#f	13	true	8.789058113	true	8.478242351	true	8.451280492	true	8.491871696	true	8.437335531	true	8.485460942	true	8.962394601	true	8.566497192	true	8.74534925	true	8.498351014	true	8.8530511	true	8.442310204	true	8.382138502	13	8.583333922153848	0.1563872885207106	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	2	698817	18162	1	4878	1	#f	13	true	4.74701648	true	4.532215133	true	4.269489717	true	4.621235675	true	4.731576101	true	4.259432164	true	4.831379538	true	4.722455336	true	4.770501444	true	4.864732364	true	4.815110076	true	4.260346182	true	4.822890078	13	4.634490791384615	0.18919001321893497	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	3	698817	18162	1	4878	1	#f	13	true	3.12431728	true	3.285283377	true	3.142109148	true	3.182280894	true	3.28060066	true	3.230321845	true	3.077367493	true	3.187401886	true	3.247870191	true	3.097496454	true	3.036309529	true	2.96816701	true	3.222667315	13	3.1601686986153847	0.079268504260355	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	4	698817	18162	1	4878	1	#f	13	true	2.488669263	true	2.438100896	true	2.510263318	true	2.389939356	true	2.420355273	true	2.420117427	true	2.400106717	true	2.519686487	true	2.49703979	true	2.516497078	true	2.437691841	true	2.442069474	true	2.571247216	13	2.4655218566153847	0.047734155739644936	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	5	698817	18162	1	4878	1	#f	13	true	2.116301853	true	2.069591309	true	2.180586699	true	2.113107879	true	1.999062911	true	2.069966003	true	2.107092114	true	2.144680046	true	2.171787769	true	2.008668195	true	2.032412098	true	2.046664175	true	2.027573799	13	2.08365345	0.05102087076923074	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	6	698817	18162	1	4878	1	#f	13	true	1.778222342	true	1.898579803	true	1.73395504	true	1.865970004	true	1.84867281	true	1.817191057	true	1.808279945	true	1.796644695	true	1.905275181	true	1.845114412	true	1.794073094	true	1.829935782	true	1.880683063	13	1.8309690175384614	0.039766333502958585	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	7	698817	18162	1	4878	1	#f	13	true	1.692403736	true	1.649951132	true	1.669267305	true	1.65611499	true	1.646686351	true	1.648776995	true	1.665725835	true	1.617256678	true	1.654198328	true	1.594895396	true	1.670564436	true	1.616444798	true	1.65990117	13	1.6493990115384618	0.01891305226035496	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	8	698817	18162	1	4878	1	#f	13	true	1.578157026	true	1.529180928	true	1.54983978	true	1.561014637	true	1.545303312	true	1.50120029	true	1.557674397	true	1.517499032	true	1.520589629	true	1.596301505	true	1.529503114	true	1.55931709	true	1.517793915	13	1.5433365119230766	0.02219264054437871	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	9	698817	18162	1	4878	1	#f	13	true	1.819820535	true	1.777509949	true	1.757900711	true	1.779133284	true	1.750321626	true	1.790815626	true	1.7595456	true	1.771620467	true	1.721878009	true	1.837627076	true	1.759649729	true	1.764129322	true	1.758398181	13	1.7729500088461536	0.021562527041420056	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	10	698817	18162	1	4878	1	#f	13	true	1.777190967	true	1.759678692	true	1.806779157	true	1.778474881	true	1.773766423	true	1.814507562	true	1.738852364	true	1.776127457	true	1.780185206	true	1.763639055	true	1.756642777	true	1.806717699	true	1.758624713	13	1.776245150230769	0.016366857017751448	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	11	698817	18162	1	4878	1	#f	13	true	1.747303275	true	1.758139725	true	1.777360406	true	1.786933256	true	1.768168394	true	1.777834469	true	1.833654832	true	1.72866161	true	1.73356689	true	1.746126254	true	1.758906297	true	1.738594655	true	1.744317377	13	1.7615051876923078	0.020988525928994087	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	12	698817	18162	1	4878	1	#f	13	true	1.747847635	true	1.759309588	true	1.765836616	true	1.785905157	true	1.780210993	true	1.799271832	true	1.733775773	true	1.769912009	true	1.83057141	true	1.765173747	true	1.758105627	true	1.823812862	true	1.777441461	13	1.7767057469230767	0.021073728224852043	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	13	698817	18162	1	4878	1	#f	13	true	1.799800526	true	1.757307442	true	1.78719602	true	1.68633687	true	1.753903797	true	1.735899889	true	1.727412025	true	1.725664479	true	1.713943795	true	1.788150173	true	1.759556872	true	1.75095419	true	1.765070015	13	1.7500920071538462	0.02480045811834323	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	14	698817	18162	1	4878	1	#f	13	true	1.769457833	true	1.767112032	true	1.745330591	true	1.768036327	true	1.847944382	true	1.755919331	true	1.74042441	true	1.769866105	true	1.72796239	true	1.731289295	true	1.74023772	true	1.804586865	true	1.736774266	13	1.7619185805384616	0.023921855502958556	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	15	698817	18162	1	4878	1	#f	13	true	1.786120564	true	1.726020536	true	1.738335802	true	1.720311752	true	1.757114816	true	1.718623723	true	1.782990351	true	1.725493359	true	1.739625525	true	1.740495813	true	1.76607681	true	1.739100073	true	1.756668932	13	1.745921388923077	0.018363773597633158	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	16	698817	18162	1	4878	1	#f	13	true	1.757528963	true	1.738405732	true	1.780063987	true	1.767080288	true	1.777162037	true	1.762561165	true	1.717244431	true	1.76450929	true	1.753921322	true	1.758796281	true	1.753076368	true	1.736482615	true	1.749735989	13	1.7551206513846151	0.012593454047337293	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	18	698817	18162	1	4878	1	#f	13	true	1.797248285	true	1.747275576	true	1.789616633	true	1.758467942	true	1.744064676	true	1.790635412	true	1.738266447	true	1.808420863	true	1.747491266	true	1.715060978	true	1.748655894	true	1.733215938	true	1.765335804	13	1.760288901076923	0.02304807563313607	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	20	698817	18162	1	4878	1	#f	13	true	1.825050053	true	1.804288986	true	1.760078287	true	1.797100135	true	1.758834166	true	1.707077735	true	1.775723643	true	1.826386858	true	1.757361598	true	1.813900295	true	1.758284581	true	1.776260552	true	1.718525457	13	1.7752978727692308	0.029480832710059197	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	24	698817	18162	1	4878	1	#f	13	true	1.703194357	true	1.797270023	true	1.738944567	true	1.776928687	true	1.790956066	true	1.799036409	true	1.779113746	true	1.779572833	true	1.757772678	true	1.758992546	true	1.80931962	true	1.766867882	true	1.779255544	13	1.7720942275384615	0.020722939644970406	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	28	698817	18162	1	4878	1	#f	13	true	1.777059786	true	1.777690528	true	1.74586722	true	1.794826773	true	1.800937134	true	1.729013364	true	1.716359573	true	1.757554864	true	1.7666854	true	1.768444207	true	1.777225643	true	1.800098729	true	1.755343225	13	1.7667004958461539	0.01990451216568042	true													
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	ParAAM-C-part	32	698817	18162	1	4878	1	#f	13	true	1.758022719	true	1.737934919	true	1.777881492	true	1.788806255	true	1.748672807	true	1.72576656	true	1.739181572	true	1.757225276	true	1.793322156	true	1.749429865	true	1.788567579	true	1.787314798	true	1.768741569	13	1.7631436589999998	0.01934952230769227	true