Lattice Bound Address Scheme program Step filter? Machine p β # initial chain # states # error states # error values # final states # final values Final values # words # ! # # states /s Ideal time Average time Time error Time min Time max Ideal abstract speedup Chain abstract speedup Abstract speedup ideal weighted Abstract speedup chain weighted Average speedup Speedup error Speedup min Speedup max Ideal abstract efficiency Chain abstract efficiency Average efficiency Efficiency error Efficiency min Efficiency max Minimal abstract overhead Chain abstract overhead Average overhead Overhead error Overhead min Overhead max TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false SeqAAMLS 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 16971.571078649504 63.910052579900004 63.910052579900004 1.577145680767075 61.008262186 66.022049979 1.0 1.0 1.000308222471661 1.000308222471661 1.000308222471661 0.02513976114532698 0.9680107267227878 1.047563892002908 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7760.667571097594 31.955026289950002 139.76297658200002 0.6417206071138826 138.850715829 140.919599233 1.999998156095717 1.9997474167835094 0.4572797913631538 0.4573371276144276 0.4572793697730709 0.0020977271024570114 0.4535213904080831 0.4602788843999025 0.9999990780478585 0.9998737083917547 0.22863727627610833 0.0 0.22863727627610836 0.22863727627610836 5.8922064160460395e-05 0.008072322789983072 215.61590058410007 2.842170943040401e-14 215.61590058410005 215.61590058410005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7648.511530332655 21.303350859966667 141.8124292156 0.8197315888924829 140.456693401 142.731933089 2.9999944682922512 2.999242346035866 0.45067446473031614 0.4507874807044191 0.45067363373050656 0.002614174241992513 0.44776281800968193 0.45501606959690105 0.999998156097417 0.999747448678622 0.15022202904076057 2.7755575615628914e-17 0.1502220290407606 0.1502220290407606 0.00011784412832092079 0.016144645579966144 361.5272350669 5.684341886080802e-14 361.52723506689995 361.52723506689995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7596.322141265987 15.977513144975001 142.78673018720002 0.8200991538485044 142.04289272 144.402365202 3.9999889365947023 3.9984848833940823 0.4475995775706081 0.4477679447388916 0.4475983395767237 0.002558453660093567 0.44258314253023634 0.44993488485116795 0.9999972341486756 0.9996212208485206 0.11189774514780007 1.3877787807814457e-17 0.11189774514780008 0.11189774514780008 0.00017676619248138117 0.024216968369949222 507.23686816890006 0.0 507.23686816890006 507.23686816890006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7575.272969025419 12.782010515980001 143.183487174 0.8495260639125226 141.930513566 144.348665967 4.999981561008171 4.997475124446877 0.446360227310967 0.44658409507726493 0.4463585812244501 0.002650847946786435 0.4427477881542091 0.450291138770387 0.9999963122016341 0.9994950248893755 0.08927014398278339 1.3877787807814457e-17 0.0892701439827834 0.0892701439827834 0.00023568825664184158 0.03228929115993229 652.0073832900999 0.0 652.0073832900999 652.0073832900999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7616.61683790991 10.651675429983333 142.4062708001 0.7185543148197713 140.80225917 143.450438906 5.999972341537755 5.996213164734705 0.44879458145136847 0.44907594205906814 0.44879251262337067 0.002272606989363961 0.4455200908920111 0.4538993405122649 0.9999953902562926 0.9993688607891175 0.07479779766816176 1.3877787807814457e-17 0.07479779766816178 0.07479779766816178 0.00029461032080230193 0.04036161394991537 790.5275722206999 1.1368683772161603e-13 790.5275722207 790.5275722207 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7605.8333264747425 9.130007511414286 142.60817367960001 0.8136925386909449 141.299112566 144.008938664 6.9999612781885565 6.994699099749787 0.44816116618599305 0.44849832207964435 0.44815868709853973 0.0025533404085364064 0.4437922615971374 0.4523032835754576 0.9999944683126509 0.9992427285356839 0.06402162846518751 1.3877787807814457e-17 0.06402162846518752 0.06402162846518752 0.00035353238496276234 0.048433936739898445 934.3471631773002 1.1368683772161603e-13 934.3471631773001 934.3471631773001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7593.528297706637 7.9887565724875005 142.8392648945 0.6574402554198514 141.723939882 143.751855613 7.999948370965675 7.992933024936142 0.44743399207602813 0.4478267020199243 0.44743110450291124 0.0020617787024845903 0.4445859311336805 0.450947473187041 0.9999935463707094 0.9991166281170177 0.055928295195217755 0.0 0.05592829519521776 0.05592829519521776 0.00041245444912322275 0.05650625952988152 1078.8040665761 0.0 1078.8040665761 1078.8040665761 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7571.206758423929 7.101116953322222 143.2603856437 0.6416059251139454 142.652125899 144.238891195 8.99993361987421 8.990915035689616 0.44611888635635927 0.4465663781541319 0.4461155959754932 0.001992310814436731 0.44308474677261955 0.44801332035632857 0.9999926244304678 0.9989905595210684 0.04956790337688512 6.938893903907228e-18 0.049567903376885124 0.049567903376885124 0.00047137651328368316 0.06457858231986457 1225.4334182134003 2.2737367544323206e-13 1225.4334182134 1225.4334182134 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7609.713211184977 6.391005257990001 142.53546354489998 0.42161972529202346 141.850830989 143.203919015 9.999917024919261 9.98864522735791 0.44838569324946453 0.44889167906122124 0.4483819727655546 0.0013274151306916684 0.4462870361334573 0.45054408306466665 0.999991702491926 0.9988645227357911 0.04483800100721442 6.938893903907228e-18 0.044838001007214426 0.044838001007214426 0.0005302985774441435 0.07265090510984766 1361.4445828691003 2.2737367544323206e-13 1361.4445828691 1361.4445828691 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7592.547521234966 5.325837714991667 142.85771632860002 0.8205372992712057 141.535014099 144.277480569 11.99987830343931 11.983350534589254 0.447380485273 0.44799752482527505 0.44737594821746857 0.0025678314535624988 0.44296623650379957 0.4515494133147619 0.9999898586199426 0.9986125445491046 0.03728071434896259 6.938893903907228e-18 0.037280714348962594 0.037280714348962594 0.0006481427057650643 0.0887955506898138 1650.3825433633006 2.2737367544323206e-13 1650.3825433633003 1650.3825433633003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7575.730711473956 4.565003755707143 143.17483571019997 1.0779576069554846 141.336097816 145.456029409 13.999832206566623 13.977049708450114 0.4463956651050302 0.4471232870718695 0.44639031494350934 0.003349994951789159 0.43937712887923513 0.4521849235083738 0.9999880147547588 0.9983606934607224 0.031884120788845616 0.0 0.03188412078884562 0.03188412078884562 0.000765986834085985 0.10494019626977995 1940.5376473628999 2.2737367544323206e-13 1940.5376473628996 1940.5376473628996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7581.877477445475 3.9943782862437502 143.0587612668 1.2670006074636828 140.629065572 145.209570258 15.999778734341998 15.969743509992096 0.4467636143143764 0.4476038685976659 0.4467574359740581 0.00397183353584004 0.44012286839185805 0.4544583462881576 0.9999861708963749 0.998108969374506 0.027921241948924487 6.938893903907228e-18 0.027921241948924494 0.027921241948924494 0.0008838309624069059 0.12108484184974609 2225.0301276889 0.0 2225.0301276889 2225.0301276889 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7550.859555168336 3.550558476661111 143.6464275458 0.5977525873808983 142.498736864 144.554034804 17.99971788680623 17.96143269949944 0.44492306215174277 0.44587142540631014 0.44491608889251805 0.0018554766526551298 0.442118773554507 0.4484955725670425 0.9999843270447906 0.9978573721944134 0.02471734617645855 3.469446951953614e-18 0.024717346176458557 0.024717346176458557 0.0010016750907278266 0.13722948742971225 2521.7256432444997 4.547473508864641e-13 2521.7256432445 2521.7256432445 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7548.242370406811 3.1955026289950004 143.6962337421 0.5805801405224502 142.591204245 144.634169049 19.999649664000117 19.952118036489992 0.44476944325693835 0.4458290107407569 0.44476165231955733 0.0017976641178237354 0.4418738186150756 0.44820473267123717 0.9999824832000059 0.9976059018244996 0.02223790106239078 3.469446951953614e-18 0.022237901062390784 0.022237901062390784 0.0011195192190487475 0.1533741330096784 2810.0146222621 0.0 2810.0146222621 2810.0146222621 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7543.5113570277335 2.6629188574958333 143.7863547444 0.9313780567729555 142.089083717 145.018010451 23.99949109274005 23.930480187165898 0.4444980237351817 0.44577987060594937 0.44448859839054367 0.002885398674224936 0.44070424343253906 0.44978861787292673 0.9999787955308355 0.9971033411319125 0.01851996917391457 0.0 0.018519969173914574 0.018519969173914574 0.001355207475690589 0.18566342416961068 3386.9624612856996 4.547473508864641e-13 3386.9624612857 3386.9624612857 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7565.03577135029 2.2825018778535715 143.377246689 0.6718735184585324 142.252166141 144.125067966 27.99930302088817 27.904836022871255 0.4457635206756654 0.44727257600891185 0.445752424680568 0.002093591158082775 0.4434346743550316 0.44927296584399645 0.9999751078888631 0.9966012865311162 0.015919554396274273 3.469446951953614e-18 0.015919554396274276 0.015919554396274276 0.0015908957323324305 0.217952715329543 3950.6528547121 0.0 3950.6528547121 3950.6528547121 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7536.1066362705915 1.9971891431218751 143.9276343012 0.728464575110373 142.695070475 145.191901316 31.999085448770842 31.87519159225678 0.4440613382860363 0.44578733486772953 0.4440486471347003 0.0022479997517142448 0.44017642857919637 0.44787848919488055 0.9999714202740888 0.9960997372580244 0.01387634246070022 1.734723475976807e-18 0.013876342460700223 0.013876342460700223 0.0018265839889742722 0.2502420064894753 4541.774245058499 0.0 4541.774245058499 4541.774245058499 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7546.839292978191 1.5977513144975002 143.72294915690003 1.1200321433114495 140.946063193 145.071281255 39.9985618050453 39.803926065851556 0.4447049278879628 0.44687947399226857 0.4446889385783723 0.0034990919793969144 0.4405424149219561 0.45343623746614914 0.9999640451261325 0.9950981516462889 0.011116883725738609 1.734723475976807e-18 0.011116883725738613 0.011116883725738613 0.002297960502257955 0.3148205888093399 5685.0079136961 9.094947017729282e-13 5685.007913696101 5685.007913696101 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7555.628682674905 1.3314594287479167 143.5557576416 0.7513287471870905 142.712145658 145.225911075 47.997920164174275 47.71673175430509 0.4452186046423381 0.4478422191876126 0.44519931335891694 0.002317478772400315 0.44007334577432605 0.44782490155432264 0.9999566700869641 0.9940985782146893 0.009274859125274697 1.734723475976807e-18 0.009274859125274698 0.009274859125274698 0.0027693370155416385 0.37939917112920446 6826.7663142168985 9.094947017729282e-13 6826.766314216899 6826.766314216899 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7525.824648955684 1.1412509389267858 144.12427216869997 0.696099414709694 142.97705627 145.11613805 55.997160528768546 55.61365661071481 0.44346479036285286 0.4465228608978204 0.44344230455009576 0.002147708495953345 0.44040623902132575 0.44699516305057585 0.9999492951565812 0.9931010109056216 0.007918520050466804 1.734723475976807e-18 0.007918520050466806 0.007918520050466806 0.0032407135288253217 0.44397775344906903 8007.049188867299 0.0 8007.049188867299 8007.049188867299 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7527.655053459186 0.9985945715609376 144.08922729550002 1.1360949983868718 142.447998706 146.038837583 63.99628290143881 63.49474839588945 0.4435845055878897 0.44708830615880085 0.4435587423483977 0.003490130482672006 0.4376236735216222 0.4486553209624564 0.9999419203349814 0.9921054436857727 0.0069303902193396235 8.673617379884035e-19 0.006930390219339625 0.006930390219339625 0.0037120900421090046 0.5085563357689337 9157.800494332101 0.0 9157.800494332101 9157.800494332101 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7662.791161864021 31.955026289950002 141.54816137990002 0.8348229272102309 140.496145283 143.162361855 1.999998156095717 1.9997474167835094 0.4515157302458515 0.45157234376749056 0.4515153139699571 0.0026572879916357617 0.446416584301888 0.4548882992566566 0.9999990780478585 0.9998737083917547 0.22575373624378028 0.0 0.2257537362437803 0.2257537362437803 5.8922064160460395e-05 0.008072322789983072 219.18627017990008 2.842170943040401e-14 219.18627017990005 219.18627017990005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7498.499148007593 21.303350859966667 144.64947966130003 0.589291757230018 143.581415198 145.483727487 2.9999944682922512 2.999242346035866 0.44183153170305633 0.44194233012820056 0.44183071700875376 0.0018019184557821592 0.43929347758573767 0.44511368335356977 0.999998156097417 0.999747448678622 0.14727568263535362 0.0 0.14727568263535365 0.14727568263535365 0.00011784412832092079 0.016144645579966144 370.03838640400005 5.684341886080802e-14 370.0383864040001 370.0383864040001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7547.566120134645 15.977513144975001 143.7091087028 0.993994352558842 142.030119686 144.814619349 3.9999889365947023 3.9984848833940823 0.4447300692582853 0.44489735704443095 0.44472883920103423 0.0030873892275913037 0.441323209405248 0.4499753483359182 0.9999972341486756 0.9996212208485206 0.11117954379647264 0.0 0.11117954379647266 0.11117954379647266 0.00017676619248138117 0.024216968369949222 510.92638223129995 0.0 510.92638223129995 510.92638223129995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7557.47995608995 12.782010515980001 143.5205923538 0.634305766520789 141.911499398 144.287638544 4.999981561008171 4.997475124446877 0.44530832715313073 0.4455316673488158 0.44530668494580955 0.001979693906069509 0.44293505129624017 0.4503514715228265 0.9999963122016341 0.9994950248893755 0.08906046377282507 1.3877787807814457e-17 0.08906046377282509 0.08906046377282509 0.00023568825664184158 0.03228929115993229 653.6929091890999 1.1368683772161603e-13 653.6929091891 653.6929091891 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7545.012327540363 10.651675429983333 143.75775053950002 0.5252210890985184 143.000161174 144.747667692 5.999972341537755 5.996213164734705 0.44457271593192926 0.4448514297459793 0.4445706665656495 0.0016234517059224606 0.441527339258346 0.4469229408919016 0.9999953902562926 0.9993688607891175 0.0740946167424663 0.0 0.07409461674246631 0.07409461674246631 0.00029461032080230193 0.04036161394991537 798.6364506571 1.1368683772161603e-13 798.6364506571001 798.6364506571001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7566.3325314769945 9.130007511414286 143.35267389950002 0.8181851369451059 142.304551628 144.885872265 6.9999612781885565 6.994699099749787 0.4458336486845183 0.44616905356468956 0.4458311824721641 0.0025393881728883777 0.44110617260878876 0.4491075784207382 0.9999944683126509 0.9992427285356839 0.06368913298272372 0.0 0.06368913298272373 0.06368913298272373 0.00035353238496276234 0.048433936739898445 939.5586647166001 0.0 939.5586647166001 939.5586647166001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7532.240128512212 7.9887565724875005 144.0015163476 1.6648058774380892 142.194120128 148.383224505 7.999948370965675 7.992933024936142 0.4438473003163206 0.4442368622438732 0.4438444358903827 0.005038620726969375 0.43070942010527924 0.44945636656684246 0.9999935463707094 0.9991166281170177 0.05547689201552387 0.0 0.055476892015523874 0.055476892015523874 0.00041245444912322275 0.05650625952988152 1088.1020782009 0.0 1088.1020782009 1088.1020782009 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7556.553230160534 7.101116953322222 143.5381935339 1.0961319780746421 141.850360341 145.835588712 8.99993361987421 8.990915035689616 0.445263958261458 0.4457105925001318 0.4452606741861736 0.003391453407810837 0.43823358306669075 0.450545577933422 0.9999926244304678 0.9989905595210684 0.04947196825105035 6.938893903907228e-18 0.04947196825105036 0.04947196825105036 0.00047137651328368316 0.06457858231986457 1227.9336892252 2.2737367544323206e-13 1227.9336892252002 1227.9336892252002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7518.866008366209 6.391005257990001 144.25765784269998 1.3067649576363554 141.476994247 146.830730004 9.999917024919261 9.98864522735791 0.4430489763735095 0.4435489399078803 0.4430453001710509 0.0040197614697255486 0.43526346683803147 0.4517345941653352 0.999991702491926 0.9988645227357911 0.04430271053588584 6.938893903907228e-18 0.044302710535885845 0.044302710535885845 0.0005302985774441435 0.07265090510984766 1378.6665258471 2.2737367544323206e-13 1378.6665258470998 1378.6665258470998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7575.480721921174 5.325837714991667 143.17956045500003 0.7526829540169842 141.705652286 144.139293351 11.99987830343931 11.983350534589254 0.44637366485470087 0.4469893157723783 0.4463691380097179 0.002351788637007926 0.4433909109313433 0.45100566949095566 0.9999898586199426 0.9986125445491046 0.03719691342861418 6.938893903907228e-18 0.037196913428614184 0.037196913428614184 0.0006481427057650643 0.0887955506898138 1654.2446728801006 0.0 1654.2446728801006 1654.2446728801006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7582.956228656623 4.565003755707143 143.0384097301 0.9587543797408767 141.272451226 145.093877482 13.999832206566623 13.977049708450114 0.44681880954199993 0.44754712123145873 0.44681345430898917 0.0029879007331658483 0.4404738069518373 0.45238864354140906 0.9999880147547588 0.9983606934607224 0.03191453095934773 6.938893903907228e-18 0.03191453095934774 0.03191453095934774 0.000765986834085985 0.10494019626977995 1938.6276836414995 4.547473508864641e-13 1938.6276836415 1938.6276836415 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7555.83722220266 3.9943782862437502 143.55179553269997 0.6777954459834334 141.655707239 144.088671048 15.999778734341998 15.969743509992096 0.4452166772997683 0.44605402216874823 0.4452105203522023 0.002122593332101287 0.4435466863221312 0.45116468531741993 0.9999861708963749 0.998108969374506 0.02782534534953874 6.938893903907228e-18 0.027825345349538746 0.027825345349538746 0.0008838309624069059 0.12108484184974609 2232.9186759432996 0.0 2232.9186759432996 2232.9186759432996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7551.908834875842 3.550558476661111 143.6264689784 0.6253178346062026 141.916611402 144.17927667 17.99971788680623 17.96143269949944 0.4449852722962696 0.44593376815312297 0.44497829806202804 0.001953798134193982 0.44326795123392404 0.45033524933078645 0.9999843270447906 0.9978573721944134 0.024720780939027888 3.469446951953614e-18 0.02472078093902789 0.02472078093902789 0.0010016750907278266 0.13722948742971225 2521.3663890313 0.0 2521.3663890313 2521.3663890313 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7545.361260332601 3.1955026289950004 143.7511025088 0.907695756827109 142.532694295 145.579307415 19.999649664000117 19.952118036489992 0.44460489077773985 0.44566406625068855 0.4445971027227917 0.002797537235958428 0.43900505995479777 0.44838872159130966 0.9999824832000059 0.9976059018244996 0.022229413014758486 3.469446951953614e-18 0.02222941301475849 0.02222941301475849 0.0011195192190487475 0.1533741330096784 2811.1119975961 4.547473508864641e-13 2811.1119975960996 2811.1119975960996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7563.184152481294 2.6629188574958333 143.4123483089 0.7037865730481392 142.381741061 144.72369995 23.99949109274005 23.930480187165898 0.4456532328227595 0.4469384110945119 0.445643782982526 0.002183889827772468 0.44160046075369846 0.4488641036670516 0.9999787955308355 0.9971033411319125 0.018568267578745 3.469446951953614e-18 0.018568267578745003 0.018568267578745003 0.001355207475690589 0.18566342416961068 3377.9863068337 0.0 3377.9863068337 3377.9863068337 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7557.627070222883 2.2825018778535715 143.51779863200002 0.7413153055898142 142.430777319 144.715700315 27.99930302088817 27.904836022871255 0.4453280113530818 0.44683559234480985 0.4453169261987309 0.002299323595214753 0.4416248716676088 0.4487095681347133 0.9999751078888631 0.9966012865311162 0.01590396382616089 3.469446951953614e-18 0.015903963826160893 0.015903963826160893 0.0015908957323324305 0.217952715329543 3954.5883091161004 4.547473508864641e-13 3954.588309116101 3954.588309116101 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7563.369407586347 1.9971891431218751 143.408835606 1.074395798577778 141.664227878 144.745469932 31.999085448770842 31.87519159225678 0.44567461672435715 0.44740688386561006 0.4456618794659656 0.0033529542101265416 0.4415340432410377 0.4511375492402979 0.9999714202740888 0.9960997372580244 0.01392654179697081 0.0 0.013926541796970813 0.013926541796970813 0.0018265839889742722 0.2502420064894753 4525.172686812099 9.094947017729282e-13 4525.1726868120995 4525.1726868120995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7561.140350470776 1.5977513144975002 143.45111315549997 0.6517021164827317 142.580138414 144.827271594 39.9985618050453 39.803926065851556 0.4455386018494521 0.4477172245050879 0.44552258256521954 0.0020162191918791667 0.44128465499965763 0.44823951842667487 0.9999640451261325 0.9950981516462889 0.011137949921417123 1.734723475976807e-18 0.011137949921417126 0.011137949921417126 0.002297960502257955 0.3148205888093399 5674.1344736401 9.094947017729282e-13 5674.134473640099 5674.134473640099 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7539.308137023296 1.3314594287479167 143.8665166998 1.096169194026401 142.107687319 145.560054878 47.997920164174275 47.71673175430509 0.4442637417203188 0.4468817293842707 0.44424449181102504 0.0033845658794906877 0.4390631250686578 0.44972973514399833 0.9999566700869641 0.9940985782146893 0.009254824953649326 1.734723475976807e-18 0.009254824953649328 0.009254824953649328 0.0027693370155416385 0.37939917112920446 6841.682749010501 9.094947017729282e-13 6841.6827490105 6841.6827490105 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7542.19554971234 1.1412509389267858 143.81143963329998 0.9166714484855782 142.425676385 145.374397993 55.997160528768546 55.61365661071481 0.44443329798060555 0.44749804720725983 0.4444107630598213 0.0028351349199372444 0.4396238502943095 0.4487256385368368 0.9999492951565812 0.9931010109056216 0.00793574518019445 0.0 0.007935745180194452 0.007935745180194452 0.0032407135288253217 0.44397775344906903 7989.530566884899 0.0 7989.530566884899 7989.530566884899 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 7572.396651084118 0.9985945715609376 143.23787434519997 1.121141360315594 141.0586881 144.687226265 63.99628290143881 63.49474839588945 0.44622085145407103 0.44974547608451243 0.44619493509649427 0.003502578513128424 0.4417117822332594 0.45307420223979805 0.9999419203349814 0.9921054436857727 0.006971581895681776 0.0 0.006971581895681778 0.006971581895681778 0.0037120900421090046 0.5085563357689337 9103.313905512898 0.0 9103.313905512898 9103.313905512898 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 8208.358610721722 31.955026289950002 132.14018190960002 1.6854262918542862 129.423670453 134.471046925 1.999998156095717 1.9997474167835094 0.4836933491691398 0.4837539972973345 0.4836929032270207 0.006199750797657412 0.47526998592898034 0.4938049767573918 0.9999990780478585 0.9998737083917547 0.24182671635650638 2.7755575615628914e-17 0.2418267163565064 0.2418267163565064 5.8922064160460395e-05 0.008072322789983072 200.37031123930004 0.0 200.37031123930004 200.37031123930004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 13000.871665910998 21.303350859966667 83.4293290383 0.6565927255425158 81.873994335 84.377029404 2.9999944682922512 2.999242346035866 0.7660634472309553 0.7662555535371454 0.7660620346845863 0.006073905782575396 0.7574342570641657 0.7805903828070513 0.999998156097417 0.999747448678622 0.2553460648135731 0.0 0.2553460648135731 0.2553460648135731 0.00011784412832092079 0.016144645579966144 186.37793453499995 2.842170943040401e-14 186.37793453499998 186.37793453499998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 17043.598437679644 15.977513144975001 63.6399645278 0.7822406174512135 62.353304493 65.231930415 3.9999889365947023 3.9984848833940823 1.0043223944622188 1.004700176136002 1.004319616655794 0.012285477695269362 0.9797357241048928 1.0249665691266574 0.9999972341486756 0.9996212208485206 0.25106100016752064 0.0 0.25106100016752064 0.25106100016752064 0.00017676619248138117 0.024216968369949222 190.6498055313 0.0 190.6498055313 190.6498055313 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 20266.67923986767 12.782010515980001 53.5190786395 0.902967770268163 52.514619591 54.960405784 4.999981561008171 4.997475124446877 1.1943283374555898 1.1949273415800012 1.1943239330134987 0.020040663825330863 1.1628380771254314 1.2169954400822312 0.9999963122016341 0.9994950248893755 0.23883091489819067 0.0 0.2388309148981907 0.2388309148981907 0.00023568825664184158 0.03228929115993229 203.68534061760005 2.842170943040401e-14 203.68534061760002 203.68534061760002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22264.363602787373 10.651675429983333 48.717044841299995 0.6084513513206499 47.665356075 49.908256133 5.999972341537755 5.996213164734705 1.311970539952421 1.3127930472723877 1.3119644921044802 0.01636658174375305 1.280550705069453 1.3408071992442365 0.9999953902562926 0.9993688607891175 0.2186437101158761 5.551115123125783e-17 0.21864371011587613 0.21864371011587613 0.00029461032080230193 0.04036161394991537 228.39221646790003 2.842170943040401e-14 228.3922164679 228.3922164679 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23618.88377005113 9.130007511414286 45.9231693826 0.6457498446337417 44.94039273 46.854345003 6.9999612781885565 6.994699099749787 1.3918187412211331 1.3928658196538555 1.3918110421150103 0.01958564004587524 1.3640154947381713 1.4221071222912742 0.9999944683126509 0.9992427285356839 0.1988104835567727 2.7755575615628914e-17 0.19881048355677272 0.19881048355677272 0.00035353238496276234 0.048433936739898445 257.55213309830003 5.684341886080802e-14 257.5521330983 257.5521330983 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24323.52634589248 7.9887565724875005 44.59279401249999 0.4717474526363387 43.9042738 45.37941323 7.999948370965675 7.992933024936142 1.4332818283768551 1.4345398106410048 1.4332725785072657 0.015162584402633836 1.4083490294592336 1.4556681399864084 0.9999935463707094 0.9991166281170177 0.17914904749516564 2.7755575615628914e-17 0.17914904749516566 0.17914904749516566 0.00041245444912322275 0.05650625952988152 292.83229952009987 5.684341886080802e-14 292.8322995200999 292.8322995200999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24681.41967781281 7.101116953322222 43.9461754696 0.48073368725160703 43.04068651 44.881969103 8.99993361987421 8.990915035689616 1.454377859724649 1.4558367133688075 1.4543671328596184 0.01589064440118961 1.423958303461069 1.4848753066485418 0.9999926244304678 0.9989905595210684 0.16158668820303732 2.7755575615628914e-17 0.16158668820303734 0.16158668820303734 0.00047137651328368316 0.06457858231986457 331.6055266465 0.0 331.6055266465 331.6055266465 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24783.49198477156 6.391005257990001 43.76518049460001 0.511707890486077 42.82352187 44.53723672 9.999917024919261 9.98864522735791 1.4604068579673726 1.4620548702939222 1.4603947402296775 0.01718351156750497 1.4349801938026479 1.4924053368126213 0.999991702491926 0.9988645227357911 0.14602945048469654 2.7755575615628914e-17 0.14602945048469657 0.14602945048469657 0.0005302985774441435 0.07265090510984766 373.7417523661001 5.684341886080802e-14 373.74175236610006 373.74175236610006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25412.641100769142 5.325837714991667 42.681671523199995 0.4847257187930472 41.838441196 43.785555034 11.99987830343931 11.983350534589254 1.497476627407101 1.4995419886334713 1.4974614409274951 0.016905765751140864 1.4596149924392439 1.5275438269915798 0.9999898586199426 0.9986125445491046 0.12478043911885599 2.7755575615628914e-17 0.124780439118856 0.124780439118856 0.0006481427057650643 0.0887955506898138 448.27000569849986 0.0 448.27000569849986 448.27000569849986 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25989.08373042293 4.565003755707143 41.7349842438 0.5488065871256791 40.47581219 42.348560229 13.999832206566623 13.977049708450114 1.531482585112528 1.533978891546188 1.5314642299181627 0.020453652746323575 1.5091434569276063 1.578968997086356 0.9999880147547588 0.9983606934607224 0.10938074707396836 1.3877787807814457e-17 0.10938074707396837 0.10938074707396837 0.000765986834085985 0.10494019626977995 520.3797268333 0.0 520.3797268333 520.3797268333 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25784.65756267844 3.9943782862437502 42.06586794350001 0.5989749059055726 40.959176607 43.023848913 15.999778734341998 15.969743509992096 1.5194603965308378 1.5223181339686394 1.5194393837555598 0.021661968911327528 1.4854564199761557 1.5603353845003234 0.9999861708963749 0.998108969374506 0.09495532795397743 0.0 0.09495532795397744 0.09495532795397744 0.0008838309624069059 0.12108484184974609 609.1438345161002 1.1368683772161603e-13 609.1438345161001 609.1438345161001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25615.229019829265 3.550558476661111 42.344107060700004 0.5620287286664962 41.506516892 43.357667 17.99971788680623 17.96143269949944 1.5094585801711458 1.5126760242047337 1.5094349224944283 0.019991968470667688 1.4740196371705148 1.5397594731013933 0.9999843270447906 0.9978573721944134 0.08385012043284815 1.3877787807814457e-17 0.08385012043284816 0.08385012043284816 0.0010016750907278266 0.13722948742971225 698.2838745127001 0.0 698.2838745127001 698.2838745127001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25615.67024542748 3.1955026289950004 42.34337769059999 0.6448120891019976 40.894784603 43.120477285 19.999649664000117 19.952118036489992 1.5095312324351746 1.5131273657441189 1.509504790278491 0.023309486152301318 1.4821276712104465 1.5627922533479155 0.9999824832000059 0.9976059018244996 0.07546640828571369 0.0 0.0754664082857137 0.0754664082857137 0.0011195192190487475 0.1533741330096784 782.9575012321 1.1368683772161603e-13 782.9575012320998 782.9575012320998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24523.5487599502 2.6629188574958333 44.2290800005 0.5016208806134759 43.408295112 45.147283188 23.99949109274005 23.930480187165898 1.4451015930882491 1.4492689883434082 1.4450709504760788 0.01636436755861686 1.4155902208726279 1.4723004535193644 0.9999787955308355 0.9971033411319125 0.06020742139483186 6.938893903907228e-18 0.060207421394831866 0.060207421394831866 0.001355207475690589 0.18566342416961068 997.5878674320999 0.0 997.5878674320999 997.5878674320999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24153.878356111512 2.2825018778535715 44.90599745549999 0.8836840843024153 42.991820466 46.206337281 27.99930302088817 27.904836022871255 1.423510400426708 1.428329448783199 1.4234749662476163 0.02848016344615719 1.3831447446534515 1.4865630691410974 0.9999751078888631 0.9966012865311162 0.05082844179366992 6.938893903907228e-18 0.05082844179366993 0.05082844179366993 0.0015908957323324305 0.217952715329543 1193.4578761740997 2.2737367544323206e-13 1193.4578761741 1193.4578761741 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23931.787686751068 1.9971891431218751 45.3227320164 0.7544267612063186 44.10555499 46.973596901 31.999085448770842 31.87519159225678 1.4103449390983125 1.4158267280630705 1.4103046318265129 0.023291562634927016 1.3605526678017592 1.4490250172430719 0.9999714202740888 0.9960997372580244 0.044065947798539444 0.0 0.04406594779853945 0.04406594779853945 0.0018265839889742722 0.2502420064894753 1386.4173719449004 2.2737367544323206e-13 1386.4173719449002 1386.4173719449002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22572.070864019923 1.5977513144975002 48.0529237452 1.1443080582085299 45.813732936 49.465148393 39.9985618050453 39.803926065851556 1.3304201847341632 1.3369257569650432 1.3303723496442301 0.03196645559668571 1.2920218508622558 1.3949977110396103 0.9999640451261325 0.9950981516462889 0.03324982519210601 0.0 0.033249825192106015 0.033249825192106015 0.002297960502257955 0.3148205888093399 1858.2068972281 0.0 1858.2068972281 1858.2068972281 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 20875.046239255676 1.3314594287479167 51.9593579611 0.7148520367706006 50.781476982 53.219466567 47.997920164174275 47.71673175430509 1.2301705059941486 1.2374197386161472 1.2301172028131044 0.016920788484040862 1.2008773612836052 1.2585307946547823 0.9999566700869641 0.9940985782146893 0.025625016955458338 3.469446951953614e-18 0.02562501695545834 0.02562501695545834 0.0027693370155416385 0.37939917112920446 2430.1391295528997 0.0 2430.1391295528997 2430.1391295528997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 20138.62570452478 1.1412509389267858 53.859385238799995 0.31478421944348617 53.407181798 54.406101989 55.997160528768546 55.61365661071481 1.1866898190923374 1.1948730644114145 1.1866296481708736 0.006927951610518596 1.1746853798278278 1.1966565249899277 0.9999492951565812 0.9931010109056216 0.021189453497598314 0.0 0.021189453497598317 0.021189453497598317 0.0032407135288253217 0.44397775344906903 2952.2155207928995 4.547473508864641e-13 2952.2155207929 2952.2155207929 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 18890.587416277987 0.9985945715609376 57.417695707300005 1.4167491423186256 55.924243515 60.842998514 63.99628290143881 63.49474839588945 1.1134696041727585 1.122264716232911 1.1134049342311398 0.02671612978956585 1.0504093180942466 1.1427969081559064 0.9999419203349814 0.9921054436857727 0.017391756308917452 0.0 0.017391756308917455 0.017391756308917455 0.0037120900421090046 0.5085563357689337 3610.8224726873004 0.0 3610.8224726873004 3610.8224726873004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 6706.77760781147 31.955026289950002 161.7250583554 4.424220465269065 151.426257785 167.827329142 1.999998156095717 1.9997474167835094 0.39532813955890583 0.39537770797188504 0.39532777508528094 0.011120874572360013 0.3808083755287866 0.4220539655060459 0.9999990780478585 0.9998737083917547 0.19758859025870323 2.7755575615628914e-17 0.19758859025870326 0.19758859025870326 5.8922064160460395e-05 0.008072322789983072 259.5400641308999 5.684341886080802e-14 259.54006413089996 259.54006413089996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 11948.641901158448 21.303350859966667 90.77634169410001 0.9027161384195541 89.552887915 92.473246941 2.9999944682922512 2.999242346035866 0.7040746922869907 0.7042512536265325 0.704073394041847 0.006982895835158896 0.6911193744573071 0.7136570809481974 0.999998156097417 0.999747448678622 0.23467954824347445 0.0 0.23467954824347448 0.23467954824347448 0.00011784412832092079 0.016144645579966144 208.4189725024001 2.842170943040401e-14 208.41897250240007 208.41897250240007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 16712.868322004993 15.977513144975001 64.8993326042 0.3982524940031456 64.08925001 65.433332025 3.9999889365947023 3.9984848833940823 0.984778013695692 0.9851484436376808 0.9847752899461185 0.0060671936931638885 0.9767201302767525 0.997203939349079 0.9999972341486756 0.9996212208485206 0.24618917489362602 2.7755575615628914e-17 0.24618917489362604 0.24618917489362604 0.00017676619248138117 0.024216968369949222 195.6872778369 0.0 195.6872778369 195.6872778369 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 21292.377152958787 12.782010515980001 50.940953760499994 0.39538180967883796 50.113042961 51.641467994 4.999981561008171 4.997475124446877 1.2546332826031878 1.255262532104631 1.2546286557686186 0.009759111692878216 1.2375723437475759 1.2753177377322187 0.9999963122016341 0.9994950248893755 0.25091816254707167 5.551115123125783e-17 0.25091816254707167 0.25091816254707167 0.00023568825664184158 0.03228929115993229 190.79471622260002 2.842170943040401e-14 190.7947162226 190.7947162226 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 25736.37656506718 10.651675429983333 42.144782784700006 0.3013806719469697 41.6730243 42.730383133 5.999972341537755 5.996213164734705 1.516486161713743 1.517436885019377 1.5164791711012016 0.010830441062562021 1.4956583090064381 1.5336072592144459 0.9999953902562926 0.9993688607891175 0.25274007187077624 0.0 0.25274007187077624 0.25274007187077624 0.00029461032080230193 0.04036161394991537 188.95864412830002 2.842170943040401e-14 188.95864412830005 188.95864412830005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 29301.445703898942 9.130007511414286 37.0170813741 0.4547656317338567 36.193942788 37.633399171 6.9999612781885565 6.994699099749787 1.7266416485458167 1.7279406174256622 1.726632097304053 0.021247624000098463 1.6982269470132951 1.7657665249194459 0.9999944683126509 0.9992427285356839 0.2466430948227685 0.0 0.24664309482276853 0.24664309482276853 0.00035353238496276234 0.048433936739898445 195.2095170388 0.0 195.2095170388 195.2095170388 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 32683.226982722244 7.9887565724875005 33.186869845299995 0.36735732168479895 32.491466632 33.782380114 7.999948370965675 7.992933024936142 1.925893733065295 1.9275840776373578 1.9258813040610887 0.021353148093559125 1.8918161587263231 1.9669796166405322 0.9999935463707094 0.9991166281170177 0.24072039965585626 0.0 0.2407203996558563 0.2407203996558563 0.00041245444912322275 0.05650625952988152 201.58490618249996 0.0 201.58490618249996 201.58490618249996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 35187.71586585688 7.101116953322222 30.82479136 0.5082247984315633 29.776481721 31.610314448 8.99993361987421 8.990915035689616 2.0736306256351575 2.0757106377686063 2.073615331428294 0.03431929823748376 2.021810086231003 2.1463265263749123 0.9999926244304678 0.9989905595210684 0.23037031687867432 2.7755575615628914e-17 0.23037031687867435 0.23037031687867435 0.00047137651328368316 0.06457858231986457 213.51306966010003 2.842170943040401e-14 213.5130696601 213.5130696601 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37534.23686839592 6.391005257990001 28.8977235318 0.2651225332371519 28.559389758 29.308849713 9.999917024919261 9.98864522735791 2.211706003366463 2.2142018275515976 2.211687651718043 0.020245816072141962 2.1805718479477743 2.2377947540702494 0.999991702491926 0.9988645227357911 0.2211594712973542 2.7755575615628914e-17 0.22115947129735422 0.22115947129735422 0.0005302985774441435 0.07265090510984766 225.06718273810003 2.842170943040401e-14 225.0671827381 225.0671827381 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 40614.47326638362 5.325837714991667 26.706095457300002 0.47440551426700517 25.920219133 27.506810257 11.99987830343931 11.983350534589254 2.3934911364481275 2.3967923056940483 2.3934668631448486 0.0426349688773578 2.3234265253869637 2.46564476372554 0.9999898586199426 0.9986125445491046 0.1994240499704299 2.7755575615628914e-17 0.19942404997042992 0.19942404997042992 0.0006481427057650643 0.0887955506898138 256.5630929077001 5.684341886080802e-14 256.5630929077 256.5630929077 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 40401.47247990884 4.565003755707143 26.8468927844 0.46207607029583353 26.042173864 27.629088046 13.999832206566623 13.977049708450114 2.380919141450753 2.3848000238248686 2.380890605550943 0.040955437015951966 2.3131437589795 2.454098222124519 0.9999880147547588 0.9983606934607224 0.17003843954559025 0.0 0.17003843954559028 0.17003843954559028 0.000765986834085985 0.10494019626977995 311.94644640170003 5.684341886080802e-14 311.9464464017 311.9464464017 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 40283.38585011843 3.9943782862437502 26.9255917076 0.6661630423758458 26.11164505 28.00496398 15.999778734341998 15.969743509992096 2.3743352569660465 2.378800807216133 2.3743024220377373 0.0582157444070312 2.282097296234409 2.4475689853137004 0.9999861708963749 0.998108969374506 0.1483487653538288 2.7755575615628914e-17 0.1483487653538288 0.1483487653538288 0.0008838309624069059 0.12108484184974609 366.8994147416999 5.684341886080802e-14 366.89941474169996 366.89941474169996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 39489.95243628908 3.550558476661111 27.4665815754 0.7784121197475236 26.478566546 28.925719825 17.99971788680623 17.96143269949944 2.327795130971307 2.332756877291441 2.327758647542483 0.06540877445568383 2.2094541801052654 2.4136522824553963 0.9999843270447906 0.9978573721944134 0.12926830617469742 2.7755575615628914e-17 0.12926830617469745 0.12926830617469745 0.0010016750907278266 0.13722948742971225 430.4884157773 5.684341886080802e-14 430.48841577729996 430.48841577729996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 39393.144147149396 3.1955026289950004 27.534080446799997 0.6027061915556601 26.698151611 28.534106977 19.999649664000117 19.952118036489992 2.3217202550253635 2.327251253896899 2.3216795859160135 0.050564668058432065 2.2397775627397376 2.393800646242798 0.9999824832000059 0.9976059018244996 0.11605626834603006 0.0 0.11605626834603007 0.11605626834603007 0.0011195192190487475 0.1533741330096784 486.77155635609995 0.0 486.77155635609995 486.77155635609995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 38400.28599212211 2.6629188574958333 28.245987548699997 0.4665592049971401 27.102272351 28.883079575 23.99949109274005 23.930480187165898 2.2629849787163585 2.2695109924636996 2.262936993321157 0.03815484121406167 2.2127160095219867 2.3581067945965755 0.9999787955308355 0.9971033411319125 0.09427600479199363 1.3877787807814457e-17 0.09427600479199365 0.09427600479199365 0.001355207475690589 0.18566342416961068 613.9936485889 1.1368683772161603e-13 613.9936485888999 613.9936485888999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 38275.02685487988 2.2825018778535715 28.338425577400006 0.4456375755139485 27.786363891 29.32915871 27.99930302088817 27.904836022871255 2.2555767063883976 2.2632125713716125 2.2555205603223447 0.03511604426557052 2.179061909406538 2.300050946953893 0.9999751078888631 0.9966012865311162 0.08054441386023486 1.3877787807814457e-17 0.08054441386023488 0.08054441386023488 0.0015908957323324305 0.217952715329543 729.5658635873002 1.1368683772161603e-13 729.5658635873001 729.5658635873001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 38087.79693755073 1.9971891431218751 28.4777300661 0.5457273261854814 27.632693025 29.765658165 31.999085448770842 31.87519159225678 2.2446840383803415 2.2534087722024294 2.244619885925767 0.04243736713673388 2.147106985695641 2.3128419847489696 0.9999714202740888 0.9960997372580244 0.0701316129651547 1.3877787807814457e-17 0.07013161296515472 0.07013161296515472 0.0018265839889742722 0.2502420064894753 847.3773095353001 1.1368683772161603e-13 847.3773095353 847.3773095353 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37723.91170206567 1.5977513144975002 28.752426539600002 0.3637483383519324 28.228254664 29.407023322 39.9985618050453 39.803926065851556 2.223027684840996 2.233897985322696 2.2229477561609836 0.027917870683490387 2.173292137735259 2.2640454870702875 0.9999640451261325 0.9950981516462889 0.055569268642316386 6.938893903907228e-18 0.05556926864231639 0.05556926864231639 0.002297960502257955 0.3148205888093399 1086.1870090041004 2.2737367544323206e-13 1086.1870090041002 1086.1870090041002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37869.916617882096 1.3314594287479167 28.6415734934 0.4508573122954853 27.990637724 29.472966829 47.997920164174275 47.71673175430509 2.231745787865551 2.2448971715888413 2.2316490865146448 0.034934922750454685 2.168429562951754 2.2832653264309744 0.9999566700869641 0.9940985782146893 0.046486951181461116 0.0 0.04648695118146112 0.04648695118146112 0.0027693370155416385 0.37939917112920446 1310.8854751032998 2.2737367544323206e-13 1310.8854751033 1310.8854751033 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37508.55626998621 1.1412509389267858 28.917508639700003 0.6019716907166963 28.06721908 30.213494415 55.997160528768546 55.61365661071481 2.2106690160426954 2.225913477220762 2.210556924416386 0.045524659164610806 2.1152817248497673 2.277035441157785 0.9999492951565812 0.9931010109056216 0.03946574212689939 0.0 0.0394657421268994 0.0394657421268994 0.0032407135288253217 0.44397775344906903 1555.4704312433003 0.0 1555.4704312433003 1555.4704312433003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37590.482398630855 0.9985945715609376 28.854484720299997 0.4469313842782443 28.023147057 29.594998814 63.99628290143881 63.49474839588945 2.2153039687596894 2.2328022880488065 2.2151753046472695 0.03446803393258671 2.1594882629178267 2.280616536390608 0.9999419203349814 0.9921054436857727 0.034607950245543494 6.938893903907228e-18 0.0346079502455435 0.0346079502455435 0.0037120900421090046 0.5085563357689337 1782.7769695192997 2.2737367544323206e-13 1782.7769695192999 1782.7769695192999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 8276.69991420151 31.955026289950002 131.0490909715 1.4371088886921506 128.317133328 133.842170595 1.999998156095717 1.9997474167835094 0.48771002989426054 0.4877711816559411 0.48770958024895406 0.005352459060621171 0.4775031090409372 0.4980632821381323 0.9999990780478585 0.9998737083917547 0.2438401216907292 5.551115123125783e-17 0.24384012169072922 0.24384012169072922 5.8922064160460395e-05 0.008072322789983072 198.1881293631 0.0 198.1881293631 198.1881293631 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 13513.804958719387 21.303350859966667 80.2626649795 0.9279659144173896 78.642019368 81.506930717 2.9999944682922512 2.999242346035866 0.7963161522411659 0.7965158450409197 0.7963146839117561 0.009254204940583294 0.7841057443544516 0.8126705429680949 0.999998156097417 0.999747448678622 0.2654204276098705 5.551115123125783e-17 0.2654204276098705 0.2654204276098705 0.00011784412832092079 0.016144645579966144 176.8779423586 0.0 176.8779423586 176.8779423586 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 18270.418950173105 15.977513144975001 59.36667369029999 0.5152180649152281 58.604519334 60.250798638 3.9999889365947023 3.9984848833940823 1.0765742835385645 1.0769792431780485 1.0765713058941566 0.009331916198504453 1.06073370021011 1.0905311280801162 0.9999972341486756 0.9996212208485206 0.2691326994051478 5.551115123125783e-17 0.2691326994051478 0.2691326994051478 0.00017676619248138117 0.024216968369949222 173.5566421813 2.842170943040401e-14 173.55664218129996 173.55664218129996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22511.852383034067 12.782010515980001 48.1814637705 0.7434712330195732 47.140661861 49.414408189 4.999981561008171 4.997475124446877 1.3266071918670268 1.3272725392045062 1.3266022996071924 0.020386825977705567 1.29334853784866 1.3557309137565061 0.9999963122016341 0.9994950248893755 0.26528896209678926 0.0 0.26528896209678926 0.26528896209678926 0.00023568825664184158 0.03228929115993229 176.9972662726 0.0 176.9972662726 176.9972662726 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 26513.430002977842 10.651675429983333 40.90960693800001 0.6007257236651475 40.097190767 42.200638071 5.999972341537755 5.996213164734705 1.5624003201558534 1.5633798282018898 1.562393117890809 0.02267162904097116 1.514433323789447 1.5938785575097694 0.9999953902562926 0.9993688607891175 0.26037100395822266 5.551115123125783e-17 0.26037100395822266 0.26037100395822266 0.00029461032080230193 0.04036161394991537 181.54758904810004 2.842170943040401e-14 181.54758904810006 181.54758904810006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 30524.803227201603 9.130007511414286 35.533529632500006 0.3528615441316343 35.139198418 36.126109385 6.9999612781885565 6.994699099749787 1.7986827952178992 1.800035961335298 1.798672845467036 0.01778552875523711 1.7690820757586543 1.818768083997106 0.9999944683126509 0.9992427285356839 0.2569406306055145 5.551115123125783e-17 0.2569406306055145 0.2569406306055145 0.00035353238496276234 0.048433936739898445 184.82465484760002 2.842170943040401e-14 184.82465484760004 184.82465484760004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 34182.01333604466 7.9887565724875005 31.7317177703 0.323786626815691 31.198011813 32.371277175 7.999948370965675 7.992933024936142 2.014192295987103 2.0159601396412765 2.0141792971367045 0.020454205678203136 1.9742827023598892 2.0485296615366084 0.9999935463707094 0.9991166281170177 0.251759347865017 0.0 0.251759347865017 0.251759347865017 0.00041245444912322275 0.05650625952988152 189.94368958249999 2.842170943040401e-14 189.9436895825 189.9436895825 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37784.048589349615 7.101116953322222 28.7066643331 0.3675766842676016 28.045469086 29.216691857 8.99993361987421 8.990915035689616 2.226513569002444 2.228746934569851 2.226497147196801 0.028626867904078854 2.18744999922323 2.278801341632871 0.9999926244304678 0.9989905595210684 0.24736823724706786 0.0 0.24736823724706788 0.24736823724706788 0.00047137651328368316 0.06457858231986457 194.44992641799996 2.842170943040401e-14 194.449926418 194.449926418 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 40711.68302545463 6.391005257990001 26.642327690600002 0.32956997583253106 26.202173033 27.21236457 9.999917024919261 9.98864522735791 2.399019634344568 2.4017268346753973 2.3989997284597826 0.02962551412202774 2.3485666751046326 2.4391126834942005 0.999991702491926 0.9988645227357911 0.2398816399306164 2.7755575615628914e-17 0.23988163993061642 0.23988163993061642 0.0005302985774441435 0.07265090510984766 202.51322432610002 0.0 202.51322432610002 202.51322432610002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 45815.48895836187 5.325837714991667 23.6743953772 0.4522981903488165 22.949597432 24.383901343 11.99987830343931 11.983350534589254 2.7000647402416393 2.7037887442902644 2.7000373578589287 0.051820784901064114 2.620993731925796 2.784800594836857 0.9999898586199426 0.9986125445491046 0.22496193166228856 2.7755575615628914e-17 0.2249619316622886 0.2249619316622886 0.0006481427057650643 0.0887955506898138 220.18269194650003 2.842170943040401e-14 220.1826919465 220.1826919465 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 48628.701717850265 4.565003755707143 22.3048109796 0.3942803797384177 21.707454183 22.935903238 13.999832206566623 13.977049708450114 2.865786836636101 2.870458050130355 2.8657524894780546 0.05088520491801532 2.7864632980319866 2.944152365409602 0.9999880147547588 0.9983606934607224 0.2046645344756474 0.0 0.20466453447564742 0.20466453447564742 0.000765986834085985 0.10494019626977995 248.3573011345 2.842170943040401e-14 248.35730113449998 248.35730113449998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 51610.679961434544 3.9943782862437502 21.0160765332 0.2917961093703958 20.518021982 21.445082177 15.999778734341998 15.969743509992096 3.0413429823170657 3.0470630127447142 3.041300923269804 0.042229436591656025 2.980172892433305 3.1148252319822474 0.9999861708963749 0.998108969374506 0.19006298725328957 2.7755575615628914e-17 0.1900629872532896 0.1900629872532896 0.0008838309624069059 0.12108484184974609 272.34717195129997 0.0 272.34717195129997 272.34717195129997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 52762.098566005836 3.550558476661111 20.5574461494 0.2789854905162127 20.145105796 21.045027888 17.99971788680623 17.96143269949944 3.109187115666853 3.115814416121481 3.1091383855164514 0.0422716909944223 3.0368243235420893 3.172485328550121 0.9999843270447906 0.9978573721944134 0.1727139864970406 0.0 0.17271398649704062 0.17271398649704062 0.0010016750907278266 0.13722948742971225 306.12397810929997 0.0 306.12397810929997 306.12397810929997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 52140.55598592877 3.1955026289950004 20.802501613 0.5046789819507292 19.769063603 21.637402352 19.999649664000117 19.952118036489992 3.073193769998171 3.080514992801426 3.0731399374775585 0.07540421217237442 2.953684159503215 3.2328315525375473 0.9999824832000059 0.9976059018244996 0.15361145925824857 2.7755575615628914e-17 0.1536114592582486 0.1536114592582486 0.0011195192190487475 0.1533741330096784 352.13997968010005 5.684341886080802e-14 352.1399796801 352.1399796801 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 49643.4924052462 2.6629188574958333 21.848865731400004 0.507124192962268 21.192265059 22.940933852 23.99949109274005 23.930480187165898 2.9259395101281025 2.9343773573284038 2.925877467133983 0.0669566744334925 2.78585226705269 3.015725426327587 0.9999787955308355 0.9971033411319125 0.12187904352713518 2.7755575615628914e-17 0.12187904352713519 0.12187904352713519 0.001355207475690589 0.18566342416961068 460.4627249737001 0.0 460.4627249737001 460.4627249737001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 45560.268054170905 2.2825018778535715 23.8070153299 0.3171732133474167 23.18786349 24.32385354 27.99930302088817 27.904836022871255 2.6848108794842975 2.6938998425522103 2.684744048873504 0.03594414162613001 2.627464125896065 2.756185476400698 0.9999751078888631 0.9966012865311162 0.0958751799091297 1.3877787807814457e-17 0.09587517990912972 0.09587517990912972 0.0015908957323324305 0.217952715329543 602.6863766572999 1.1368683772161603e-13 602.6863766573 602.6863766573 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 42480.83754883616 1.9971891431218751 25.532782840100005 0.4764327084531405 24.868587594 26.689872605 31.999085448770842 31.87519159225678 2.503560550037716 2.513291496145534 2.5034889989633937 0.045862428922965305 2.394543185939647 2.569910829810032 0.9999714202740888 0.9960997372580244 0.07822058236383185 1.3877787807814457e-17 0.07822058236383186 0.07822058236383186 0.0018265839889742722 0.2502420064894753 753.1389983033002 1.1368683772161603e-13 753.1389983033001 753.1389983033001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 38549.632983603195 1.5977513144975002 28.136558406699997 0.5026035001234381 27.190028506 28.866991264 39.9985618050453 39.803926065851556 2.271870394649507 2.282979529283197 2.271788709836024 0.040980588334696304 2.2139492126289646 2.350495975603594 0.9999640451261325 0.9950981516462889 0.05678559870055168 6.938893903907228e-18 0.056785598700551686 0.056785598700551686 0.002297960502257955 0.3148205888093399 1061.5522836880998 2.2737367544323206e-13 1061.5522836881 1061.5522836881 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 36076.15802790898 1.3314594287479167 30.065673821499995 0.8109697902686065 28.346801331 31.018190761 47.997920164174275 47.71673175430509 2.1265583763157334 2.139089904489313 2.1264662327262216 0.05862179076522856 2.060405555963497 2.254577221381522 0.9999566700869641 0.9940985782146893 0.04428503537465335 6.938893903907228e-18 0.04428503537465336 0.04428503537465336 0.0027693370155416385 0.37939917112920446 1379.2422908521 2.2737367544323206e-13 1379.2422908520998 1379.2422908520998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 33979.54194423597 1.1412509389267858 31.920795217899997 0.5089550112640924 31.36094104 32.789313852 55.997160528768546 55.61365661071481 2.0024997292644957 2.0163086844542275 2.0023981928292773 0.0317262966624339 1.9491122280987219 2.0378869530217387 0.9999492951565812 0.9931010109056216 0.0357525848318094 6.938893903907228e-18 0.03575258483180941 0.03575258483180941 0.0032407135288253217 0.44397775344906903 1723.6544796224994 4.547473508864641e-13 1723.6544796224998 1723.6544796224998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 33002.10747870966 0.9985945715609376 32.8662040962 0.6369113776709364 31.726346859 33.69217929 63.99628290143881 63.49474839588945 1.9450321872572907 1.9603956744898319 1.9449192204394044 0.03797036107095111 1.8968809357745766 2.0144157429764173 0.9999419203349814 0.9921054436857727 0.030383629598295932 3.469446951953614e-18 0.03038362959829594 0.03038362959829594 0.0037120900421090046 0.5085563357689337 2039.5270095769006 4.547473508864641e-13 2039.5270095769001 2039.5270095769001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 16444.753396438296 63.910052579900004 65.95745000560001 0.9627863800996703 64.639489915 67.771690723 1.0 1.0 0.969061571485396 0.969061571485396 0.969061571485396 0.014048510400507768 0.9430198936767936 0.9887152987119918 1.0 1.0 0.9689588147278864 0.0 0.9689588147278864 0.9689588147278864 0.0 0.0 2.047397425700005 0.0 2.047397425700005 2.047397425700005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 28918.20346701554 31.955026289950002 37.5076550394 0.7327289000713146 35.956735175 38.548050427 1.999998156095717 1.9997474167835094 1.7042498793841174 1.7044635675924382 1.7042483081472914 0.03374969656385388 1.657932161859367 1.7774153373172599 0.9999990780478585 0.9998737083917547 0.8519601200443689 0.0 0.8519601200443689 0.8519601200443689 5.8922064160460395e-05 0.008072322789983072 11.105257498899993 1.7763568394002505e-15 11.105257498899995 11.105257498899995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 37483.42426766223 21.303350859966667 28.936897340399998 0.9518858065779949 27.382297081 30.302674134 2.9999944682922512 2.999242346035866 2.2098080417608394 2.210362196983656 2.2098039670900835 0.07343906409353682 2.1090565240970625 2.3339916439751813 0.999998156097417 0.999747448678622 0.7362002432176507 0.0 0.7362002432176507 0.7362002432176507 0.00011784412832092079 0.016144645579966144 22.900639441299997 3.552713678800501e-15 22.900639441299994 22.900639441299994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 41149.9808752934 15.977513144975001 26.3585541701 1.0498680013056703 24.133327974 27.549596106 3.9999889365947023 3.9984848833940823 2.426614451110757 2.4275272361626707 2.4266077394559638 0.09992022441695834 2.3198181321424562 2.648207186706839 0.9999972341486756 0.9996212208485206 0.6061604533339389 1.1102230246251565e-16 0.6061604533339389 0.6061604533339389 0.00017676619248138117 0.024216968369949222 41.524164100499995 0.0 41.524164100499995 41.524164100499995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 47195.54640976142 12.782010515980001 22.982126122300002 0.5293438744873669 22.162956709 23.934654503 4.999981561008171 4.997475124446877 2.7816035406285273 2.782998627675414 2.781593282635536 0.06363729410133875 2.6701890587929498 2.8836428920130146 0.9999963122016341 0.9994950248893755 0.5561718027287896 1.1102230246251565e-16 0.5561718027287896 0.5561718027287896 0.00023568825664184158 0.03228929115993229 51.00057803160001 0.0 51.00057803160001 51.00057803160001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 48701.190279833296 10.651675429983333 22.2716117156 0.41512388692352986 21.449013547 22.864160693 5.999972341537755 5.996213164734705 2.870088370689013 2.8718877012547193 2.8700751403172062 0.05382895874401846 2.795206587201185 2.9796266592800436 0.9999953902562926 0.9993688607891175 0.47826244305985455 0.0 0.47826244305985455 0.47826244305985455 0.00029461032080230193 0.04036161394991537 69.7196177137 1.4210854715202004e-14 69.71961771369999 69.71961771369999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 51599.74848870424 9.130007511414286 21.0205288159 0.2723883129926552 20.599958873 21.537067458 6.9999612781885565 6.994699099749787 3.0406355883707947 3.0429230873475346 3.0406187685253774 0.039360560956360736 2.967444509543032 3.102435930766142 0.9999944683126509 0.9992427285356839 0.43433767015929287 5.551115123125783e-17 0.43433767015929287 0.43433767015929287 0.00035353238496276234 0.048433936739898445 83.23364913139999 1.4210854715202004e-14 83.2336491314 83.2336491314 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 53697.27016243968 7.9887565724875005 20.1994253473 0.26405494398269 19.56427997 20.616659547 7.999948370965675 7.992933024936142 3.1642471843756015 3.1670244238260157 3.1642267634972896 0.0419292370085785 3.0999227801285474 3.2666703133414625 0.9999935463707094 0.9991166281170177 0.39549424971910574 5.551115123125783e-17 0.39549424971910574 0.39549424971910574 0.00041245444912322275 0.05650625952988152 97.68535019850002 1.4210854715202004e-14 97.6853501985 97.6853501985 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 57991.67483498992 7.101116953322222 18.703615701500002 0.3270482335363192 18.132036753 19.167763591 8.99993361987421 8.990915035689616 3.4175366796093294 3.4209647336090216 3.4175114733299194 0.05974471305096724 3.3342467041855746 3.524703454471318 0.9999926244304678 0.9989905595210684 0.37966546504442583 0.0 0.37966546504442583 0.37966546504442583 0.00047137651328368316 0.06457858231986457 104.42248873360003 0.0 104.42248873360003 104.42248873360003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 60618.67294159737 6.391005257990001 17.8930673894 0.3451583579401033 17.520013794 18.76946097 9.999917024919261 9.98864522735791 3.5724602257432916 3.5764916081323936 3.5724305832257253 0.06717866312789403 3.405002023342602 3.6478311793217304 0.999991702491926 0.9988645227357911 0.35717773363867644 5.551115123125783e-17 0.35717773363867644 0.35717773363867644 0.0005302985774441435 0.07265090510984766 115.0206213141 0.0 115.0206213141 115.0206213141 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 66994.95168734656 5.325837714991667 16.190085561399997 0.3113682292314044 15.857849749 16.86098981 11.99987830343931 11.983350534589254 3.9482422396216865 3.953687764636759 3.9482021989965754 0.07458214471734657 3.79040929981441 4.030184015580687 0.9999898586199426 0.9986125445491046 0.3289567368123982 5.551115123125783e-17 0.3289567368123982 0.3289567368123982 0.0006481427057650643 0.0887955506898138 130.3709741569 2.842170943040401e-14 130.37097415689996 130.37097415689996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 71925.74048699667 4.565003755707143 15.080192329700001 0.20880975359980508 14.737837044 15.382492958 13.999832206566623 13.977049708450114 4.238471190597707 4.24537987046441 4.23842039148104 0.05890943134116113 4.154726594343226 4.3364607974084475 0.9999880147547588 0.9983606934607224 0.3027152211259601 5.551115123125783e-17 0.3027152211259601 0.3027152211259601 0.000765986834085985 0.10494019626977995 147.21264003590002 0.0 147.21264003590002 147.21264003590002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73790.4660445855 3.9943782862437502 14.6991075967 0.2551990930516675 14.219833445 15.107723401 15.999778734341998 15.969743509992096 4.348602959369077 4.35678162957825 4.3485428220881275 0.07567342409025835 4.230290089615337 4.494430460602346 0.9999861708963749 0.998108969374506 0.2717429109193338 5.551115123125783e-17 0.2717429109193338 0.2717429109193338 0.0008838309624069059 0.12108484184974609 171.27566896729996 2.842170943040401e-14 171.2756689673 171.2756689673 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 75251.6472330433 3.550558476661111 14.4136911268 0.20978449719216 14.205338634 14.967002543 17.99971788680623 17.96143269949944 4.434514545401005 4.44396681030803 4.4344450434531595 0.06311785717280556 4.270063587968751 4.499016477293504 0.9999843270447906 0.9978573721944134 0.24633235480253934 2.7755575615628914e-17 0.24633235480253937 0.24633235480253937 0.0010016750907278266 0.13722948742971225 195.53638770249998 0.0 195.53638770249998 195.53638770249998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 72635.63537122871 3.1955026289950004 14.932808041899998 1.3025864744826665 13.807782736 18.602187548 19.999649664000117 19.952118036489992 4.294550781455538 4.304781624501581 4.294475554668434 0.3200437168093037 3.4356202685834787 4.628552882228665 0.9999824832000059 0.9976059018244996 0.21399207838396717 2.7755575615628914e-17 0.2139920783839672 0.2139920783839672 0.0011195192190487475 0.1533741330096784 234.74610825809992 2.842170943040401e-14 234.74610825809995 234.74610825809995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 67971.31930590502 2.6629188574958333 15.957524601200001 0.2723244334340371 15.530316396 16.338856289 23.99949109274005 23.930480187165898 4.00568038514221 4.017231997506743 4.005595446816 0.06867106868465817 3.911537714113253 4.1151803318289595 0.9999787955308355 0.9971033411319125 0.1668754348839031 2.7755575615628914e-17 0.16687543488390313 0.16687543488390313 0.001355207475690589 0.18566342416961068 319.0705378489001 5.684341886080802e-14 319.0705378489 319.0705378489 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 60354.61977676877 2.2825018778535715 17.9713500642 0.31032919441705314 17.530354718 18.656521213 27.99930302088817 27.904836022871255 3.5568333849906244 3.5688744294909758 3.55674484789871 0.06071040909630227 3.4256146604312816 3.645679372036766 0.9999751078888631 0.9966012865311162 0.12700781353096288 0.0 0.12700781353096288 0.12700781353096288 0.0015908957323324305 0.217952715329543 439.2877492177 5.684341886080802e-14 439.28774921769997 439.28774921769997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 54604.08833625643 1.9971891431218751 19.863970502 0.20292651666205191 19.488197071 20.178728418 31.999085448770842 31.87519159225678 3.217645542948536 3.2301520251153137 3.2175535835208393 0.032900391318353345 3.1671992038353824 3.279423558118842 0.9999714202740888 0.9960997372580244 0.10054329988663586 0.0 0.10054329988663588 0.10054329988663588 0.0018265839889742722 0.2502420064894753 571.7370034840999 1.1368683772161603e-13 571.7370034841 571.7370034841 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 49351.24478053844 1.5977513144975002 21.9782500892 0.4497013252458493 20.882191744 22.576045247 39.9985618050453 39.803926065851556 2.908601298862153 2.9228239602872423 2.908496720469321 0.06111861388764381 2.830879008288338 3.0605050161108225 0.9999640451261325 0.9950981516462889 0.07269693028393678 1.3877787807814457e-17 0.0726969302839368 0.0726969302839368 0.002297960502257955 0.3148205888093399 815.2199509881001 1.1368683772161603e-13 815.2199509881 815.2199509881 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 43366.94553442048 1.3314594287479167 25.0110766768 2.366968467271623 22.996540056 31.38477785 47.997920164174275 47.71673175430509 2.5657529843232587 2.5808726284240704 2.5656418104695766 0.21015493421351833 2.036339173256248 2.7791160072023664 0.9999566700869641 0.9940985782146893 0.053234790567131554 6.938893903907228e-18 0.05323479056713156 0.05323479056713156 0.0027693370155416385 0.37939917112920446 1136.6216279064997 2.2737367544323206e-13 1136.6216279065 1136.6216279065 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 45536.01197650091 1.1412509389267858 23.8196968272 0.5773057109427175 22.560326436 24.627773622 55.997160528768546 55.61365661071481 2.684009164618612 2.7025177125806437 2.6838730723541855 0.06621346721277073 2.5950397937233403 2.8328514111354948 0.9999492951565812 0.9931010109056216 0.04791206820162284 6.938893903907228e-18 0.047912068201622846 0.047912068201622846 0.0032407135288253217 0.44397775344906903 1269.9929697433001 0.0 1269.9929697433001 1269.9929697433001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 44309.40609102207 0.9985945715609376 24.479091364299997 0.3240795881667476 23.85210127 24.930379732 63.99628290143881 63.49474839588945 2.611182973951524 2.6318082759619257 2.6110313173190947 0.03476153412896664 2.5635410798764005 2.679430707443915 0.9999419203349814 0.9921054436857727 0.04079377607198588 6.938893903907228e-18 0.040793776071985886 0.040793776071985886 0.0037120900421090046 0.5085563357689337 1502.7517947353 2.2737367544323206e-13 1502.7517947352999 1502.7517947352999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 16219.499124883841 63.910052579900004 66.87345840020001 0.8289458466270798 65.411369436 68.096836759 1.0 1.0 0.9557599897470763 0.9557599897470763 0.9557599897470763 0.011895733277021606 0.9385172002347576 0.9770480748370676 1.0 1.0 0.9556863680869369 1.1102230246251565e-16 0.9556863680869369 0.9556863680869369 0.0 0.0 2.9634058203000038 0.0 2.9634058203000038 2.9634058203000038 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 28900.874384120274 31.955026289950002 37.530144783299995 0.7040839436417117 36.276574968 38.681590874 1.999998156095717 1.9997474167835094 1.7032019695774336 1.7034155263930686 1.7032003993067304 0.03220472681474466 1.6522084830502 1.7617443939036646 0.9999990780478585 0.9998737083917547 0.8514495873772705 2.220446049250313e-16 0.8514495873772705 0.8514495873772705 5.8922064160460395e-05 0.008072322789983072 11.150236986699985 1.7763568394002505e-15 11.150236986699987 11.150236986699987 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 39065.988124354786 21.303350859966667 27.764663127100004 0.684350242754017 26.57328802 28.878408601 2.9999944682922512 2.999242346035866 2.302554280935846 2.3031316942027384 2.30255003525006 0.05702134171182681 2.2130739080160717 2.405048729077073 0.999998156097417 0.999747448678622 0.7672828862516722 1.1102230246251565e-16 0.7672828862516722 0.7672828862516722 0.00011784412832092079 0.016144645579966144 19.383936801400008 3.552713678800501e-15 19.383936801400004 19.383936801400004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 47393.449164098936 15.977513144975001 22.886158723 0.6027506288720328 21.788601982 23.870080929 3.9999889365947023 3.9984848833940823 2.7935016531375068 2.7945524449311154 2.7934939267272596 0.0742207126922322 2.677412480083176 2.933187390026096 0.9999972341486756 0.9996212208485206 0.6981299631081388 0.0 0.6981299631081388 0.6981299631081388 0.00017676619248138117 0.024216968369949222 27.6345823121 0.0 27.6345823121 27.6345823121 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 52139.909507996854 12.782010515980001 20.8027595413 0.5205345850798231 20.031829425 21.729772619 4.999981561008171 4.997475124446877 3.0731621587945255 3.0747034743192203 3.0731508255921383 0.07665358961239363 2.9411284554362327 3.190425159079049 0.9999963122016341 0.9994950248893755 0.6144382186701578 1.1102230246251565e-16 0.6144382186701578 0.6144382186701578 0.00023568825664184158 0.03228929115993229 40.103745126599975 7.105427357601002e-15 40.10374512659998 40.10374512659998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 55349.0124596578 10.651675429983333 19.596627867400002 0.5533216616874903 18.310916152 20.40542478 5.999972341537755 5.996213164734705 3.262613054731939 3.2646584688917972 3.26259801492194 0.09433257085260634 3.1320128480020792 3.490270615046176 0.9999953902562926 0.9993688607891175 0.5435463438943464 1.1102230246251565e-16 0.5435463438943464 0.5435463438943464 0.00029461032080230193 0.04036161394991537 53.6697146245 7.105427357601002e-15 53.66971462450001 53.66971462450001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 58094.24166880263 9.130007511414286 18.6705940011 0.46606729829674926 18.038298693 19.546672345 6.9999612781885565 6.994699099749787 3.424113707773947 3.4266897009750825 3.424094766647468 0.08495498444802911 3.269612927043721 3.543019974755221 0.9999944683126509 0.9992427285356839 0.48900466213749716 0.0 0.48900466213749716 0.48900466213749716 0.00035353238496276234 0.048433936739898445 66.7841054278 0.0 66.7841054278 66.7841054278 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 59942.80011107341 7.9887565724875005 18.094817025399998 0.23371323748413758 17.770656647 18.453546635 7.999948370965675 7.992933024936142 3.5322707383896326 3.535370989751991 3.5322479424237327 0.045579661271621885 3.4632937420649927 3.596381036976996 0.9999935463707094 0.9991166281170177 0.44149418926278994 0.0 0.44149418926278994 0.44149418926278994 0.00041245444912322275 0.05650625952988152 80.8484836233 1.4210854715202004e-14 80.84848362329998 80.84848362329998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 61525.97316457599 7.101116953322222 17.629205101699995 0.47799875930872426 16.620392341 18.41016161 8.99993361987421 8.990915035689616 3.626607006764801 3.6302447744964628 3.6265802584726563 0.09953329064699623 3.4714552720268057 3.8452794175167306 0.9999926244304678 0.9989905595210684 0.4028041487042123 5.551115123125783e-17 0.4028041487042123 0.4028041487042123 0.00047137651328368316 0.06457858231986457 94.75279333539994 1.4210854715202004e-14 94.75279333539996 94.75279333539996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 62358.314828309296 6.391005257990001 17.3938953127 0.46526273534729506 16.743142854 18.378304516 9.999917024919261 9.98864522735791 3.675613069040628 3.6797608554005445 3.675582570611511 0.09694344365966506 3.47747271921958 3.817088173779253 0.999991702491926 0.9988645227357911 0.36742806272518286 5.551115123125783e-17 0.3674280627251829 0.3674280627251829 0.0005302985774441435 0.07265090510984766 110.0289005471 0.0 110.0289005471 110.0289005471 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 66769.66912698856 5.325837714991667 16.2447113215 0.263196852152548 15.86024627 16.705722 11.99987830343931 11.983350534589254 3.934760812880965 3.940187743939006 3.934720908976126 0.06334668854395059 3.825638459678666 4.029575045173621 0.9999898586199426 0.9986125445491046 0.3278505606894276 0.0 0.3278505606894276 0.3278505606894276 0.0006481427057650643 0.0887955506898138 131.02648327809996 2.842170943040401e-14 131.0264832781 131.0264832781 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 70477.07837410715 4.565003755707143 15.390166916999998 0.31374345672064313 14.831060842 15.826774704 13.999832206566623 13.977049708450114 4.153573210326142 4.160343507049336 4.153523428732589 0.0854968316552646 4.038097071271737 4.309203047627819 0.9999880147547588 0.9983606934607224 0.2966182095572098 0.0 0.2966182095572098 0.2966182095572098 0.000765986834085985 0.10494019626977995 151.55228425809995 2.842170943040401e-14 151.55228425809997 151.55228425809997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73407.4531347113 3.9943782862437502 14.7758020975 0.26151175288056683 14.417863381 15.249179264 15.999778734341998 15.969743509992096 4.326052578732615 4.334188837130905 4.3259927533032165 0.07599878102936623 4.191048677011605 4.432699276657129 0.9999861708963749 0.998108969374506 0.2703324164662155 0.0 0.2703324164662155 0.2703324164662155 0.0008838309624069059 0.12108484184974609 172.50278098009997 2.842170943040401e-14 172.5027809801 172.5027809801 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73293.33519883754 3.550558476661111 14.7988080643 0.3679363517780532 14.218255107 15.533040329 17.99971788680623 17.96143269949944 4.319992335780621 4.329200494088831 4.319924628734237 0.10686301431217538 4.114458678162362 4.494929377686823 0.9999843270447906 0.9978573721944134 0.23992192217333527 0.0 0.2399219221733353 0.2399219221733353 0.0010016750907278266 0.13722948742971225 202.46849257749997 0.0 202.46849257749997 202.46849257749997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73509.64040622172 3.1955026289950004 14.7552619494 0.2635407394661207 14.331559046 15.162446849 19.999649664000117 19.952118036489992 4.332106884205569 4.342427196584311 4.332030999555725 0.07743623641434837 4.215022365213767 4.459392894713543 0.9999824832000059 0.9976059018244996 0.21656698742138836 2.7755575615628914e-17 0.21656698742138838 0.21656698742138838 0.0011195192190487475 0.1533741330096784 231.19518640810003 2.842170943040401e-14 231.1951864081 231.1951864081 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 71600.3694804959 2.6629188574958333 15.1487207101 0.41025932536242404 14.576756577 15.733886196 23.99949109274005 23.930480187165898 4.220478590265117 4.232649639370379 4.22038909725699 0.11431229935411634 4.06193687838849 4.384380862937697 0.9999787955308355 0.9971033411319125 0.175785065185102 0.0 0.17578506518510204 0.17578506518510204 0.001355207475690589 0.18566342416961068 299.6592444624999 5.684341886080802e-14 299.65924446249994 299.65924446249994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64560.0948523932 2.2825018778535715 16.800687831699996 0.467482274112008 16.066046108 17.699872646 27.99930302088817 27.904836022871255 3.8055767326838086 3.818459854783684 3.805482003844839 0.10541845114993094 3.610763413845413 3.9779577470574012 0.9999751078888631 0.9966012865311162 0.13585764468207576 2.7755575615628914e-17 0.13585764468207576 0.13585764468207576 0.0015908957323324305 0.217952715329543 406.50920670769983 0.0 406.50920670769983 406.50920670769983 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 59036.28788597767 1.9971891431218751 18.3726660134 0.20181675129950483 18.037284449 18.789243218 31.999085448770842 31.87519159225678 3.47884866287835 3.492370400491293 3.4787492383370786 0.03806043091486509 3.4014170681805056 3.5432192002407112 0.9999714202740888 0.9960997372580244 0.10870437320665581 0.0 0.10870437320665582 0.10870437320665582 0.0018265839889742722 0.2502420064894753 524.0152598489001 1.1368683772161603e-13 524.0152598489 524.0152598489 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 54423.32108682959 1.5977513144975002 19.9299487488 0.403847011857796 19.299306865 20.689352781 39.9985618050453 39.803926065851556 3.207507376565162 3.2231916477140508 3.207392051042008 0.06489594644810841 3.0890310226906466 3.3115206171369413 0.9999640451261325 0.9950981516462889 0.08016836042258772 1.3877787807814457e-17 0.08016836042258774 0.08016836042258774 0.002297960502257955 0.3148205888093399 733.2878973721 0.0 733.2878973721 733.2878973721 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 51834.62564554832 1.3314594287479167 20.9252789326 0.28459754789499475 20.489667053 21.435971526 47.997920164174275 47.71673175430509 3.0546170978302385 3.072617553706402 3.0544847415370313 0.0413510738942557 2.981439516393394 3.1191357289791877 0.9999566700869641 0.9940985782146893 0.06362923204209256 0.0 0.06362923204209257 0.06362923204209257 0.0027693370155416385 0.37939917112920446 940.5033361849 0.0 940.5033361849 940.5033361849 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 51037.43074953371 1.1412509389267858 21.252127782899997 0.4404891516001815 20.625069834 22.31083937 55.997160528768546 55.61365661071481 3.0080209297552294 3.028763817068388 3.0078684085249856 0.061165505544221115 2.864529277452281 3.0986587242747468 0.9999492951565812 0.9931010109056216 0.05370054945016212 0.0 0.05370054945016213 0.05370054945016213 0.0032407135288253217 0.44397775344906903 1126.2091032624996 2.2737367544323206e-13 1126.2091032624999 1126.2091032624999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 48919.25805679423 0.9985945715609376 22.1723313698 0.3984159458192652 21.402817539 22.773039964 63.99628290143881 63.49474839588945 2.8830580588726717 2.9058308571679152 2.8828906118263835 0.05207686268799771 2.806390920181499 2.986057908658229 0.9999419203349814 0.9921054436857727 0.04503786971725856 6.938893903907228e-18 0.045037869717258566 0.045037869717258566 0.0037120900421090046 0.5085563357689337 1355.1191550873002 2.2737367544323206e-13 1355.1191550873 1355.1191550873 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 16819.051676834366 63.910052579900004 64.4896050527 0.6136692133935375 63.474101075 65.425880951 1.0 1.0 0.991058242114914 0.991058242114914 0.991058242114914 0.00947236974218901 0.9768313647586151 1.006868179265507 1.0 1.0 0.9910132420205335 2.220446049250313e-16 0.9910132420205335 0.9910132420205335 0.0 0.0 0.5795524727999961 0.0 0.5795524727999961 0.5795524727999961 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24441.044179794437 31.955026289950002 44.3783822009 1.5954276477595692 41.830440292 46.364311605 1.999998156095717 1.9997474167835094 1.4410537139784587 1.4412344012062877 1.441052385395901 0.05219955712659682 1.3784320389436742 1.527836000141808 0.9999990780478585 0.9998737083917547 0.7200583866552475 1.1102230246251565e-16 0.7200583866552475 0.7200583866552475 5.8922064160460395e-05 0.008072322789983072 24.84671182189999 3.552713678800501e-15 24.846711821899994 24.846711821899994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 24878.759129489612 21.303350859966667 43.59759240219999 1.3584124356081624 41.425423367 46.134487304 2.9999944682922512 2.999242346035866 1.4666223551002089 1.466990141090041 1.46661965079146 0.04573480047513492 1.385298858070518 1.5427736733962152 0.999998156097417 0.999747448678622 0.4886359472201422 5.551115123125783e-17 0.4886359472201422 0.4886359472201422 0.00011784412832092079 0.016144645579966144 66.88272462669998 1.4210854715202004e-14 66.88272462669997 66.88272462669997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 28056.038267084874 15.977513144975001 38.6602694819 0.5296780021072329 37.971316631 39.778618218 3.9999889365947023 3.9984848833940823 1.6532782631289606 1.6539001533037871 1.653273690407087 0.022399950552383013 1.606643353714595 1.6831139462707878 0.9999972341486756 0.9996212208485206 0.41327992171537675 0.0 0.41327992171537675 0.41327992171537675 0.00017676619248138117 0.024216968369949222 90.7310253477 1.4210854715202004e-14 90.73102534770001 90.73102534770001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 32879.06101183982 12.782010515980001 32.9892024474 0.5890907045425167 31.563666737 33.881993561 4.999981561008171 4.997475124446877 1.937622185788358 1.938593981938913 1.9376150402284276 0.035288486203199895 1.8862541976710578 2.0247981044921652 0.9999963122016341 0.9994950248893755 0.3874604284950635 5.551115123125783e-17 0.3874604284950635 0.3874604284950635 0.00023568825664184158 0.03228929115993229 101.03595965709998 1.4210854715202004e-14 101.0359596571 101.0359596571 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 36478.60190221345 10.651675429983333 29.733979468500007 0.39346509330358787 29.179593544 30.494296334 5.999972341537755 5.996213164734705 2.149591932174966 2.15093956540705 2.149582023107083 0.028289942062679343 2.0958034866553943 2.1902310765065947 0.9999953902562926 0.9993688607891175 0.35823242029435226 0.0 0.35823242029435226 0.35823242029435226 0.00029461032080230193 0.04036161394991537 114.49382423110004 0.0 114.49382423110004 114.49382423110004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 41007.22809841815 9.130007511414286 26.450312549699998 0.36027554067116085 25.968913805 27.23921798 6.9999612781885565 6.994699099749787 2.41646619835565 2.4182841287834873 2.416452831220151 0.032512860771934084 2.3462513728119885 2.4610213988848044 0.9999944683126509 0.9992427285356839 0.34517578929394693 0.0 0.34517578929394693 0.34517578929394693 0.00035353238496276234 0.048433936739898445 121.242135268 0.0 121.242135268 121.242135268 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 44417.23666462082 7.9887565724875005 24.419664109000003 0.3236586622356538 23.944957313 24.986996152 7.999948370965675 7.992933024936142 2.6174017183464113 2.6196989950401117 2.6173848266060165 0.034620189111382975 2.557732517791441 2.6690401550727545 0.9999935463707094 0.9991166281170177 0.3271444085728927 5.551115123125783e-17 0.3271444085728927 0.3271444085728927 0.00041245444912322275 0.05650625952988152 131.44726029210003 0.0 131.44726029210003 131.44726029210003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 49360.578773023124 7.101116953322222 21.9740940435 0.28618484194365934 21.62285896 22.315636218 8.99993361987421 8.990915035689616 2.908695256429092 2.9116129030683164 2.90867380314498 0.037868028307185615 2.863913533791591 2.955670787943761 0.9999926244304678 0.9989905595210684 0.32315857660683645 5.551115123125783e-17 0.32315857660683645 0.32315857660683645 0.00047137651328368316 0.06457858231986457 133.8567938116 0.0 133.8567938116 133.8567938116 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 52733.215369999416 6.391005257990001 20.5687059359 0.22276384615950967 20.201607955 20.880000362 9.999917024919261 9.98864522735791 3.1073582187793667 3.1108647516469823 3.1073324354494583 0.03373890457095167 3.060826219917668 3.1636121600945106 0.999991702491926 0.9988645227357911 0.31071498994184815 5.551115123125783e-17 0.31071498994184815 0.31071498994184815 0.0005302985774441435 0.07265090510984766 141.7770067791 0.0 141.7770067791 141.7770067791 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 59028.67251450243 5.325837714991667 18.375036296700003 0.3199936334760728 17.904077867 18.847531938 11.99987830343931 11.983350534589254 3.478653865047365 3.4834517207743505 3.478618586696431 0.060572231677094156 3.3908976936680975 3.56958079911483 0.9999898586199426 0.9986125445491046 0.2898409357671931 5.551115123125783e-17 0.2898409357671931 0.2898409357671931 0.0006481427057650643 0.0887955506898138 156.5903829805 2.842170943040401e-14 156.59038298050004 156.59038298050004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64642.07193763748 4.565003755707143 16.779381716699994 0.3131359278616691 16.120069958 17.237520402 13.999832206566623 13.977049708450114 3.8095573951280346 3.8157669483591983 3.8095117366483935 0.07177862420903226 3.7076128752534947 3.964626254502264 0.9999880147547588 0.9983606934607224 0.2720603078696123 0.0 0.2720603078696123 0.2720603078696123 0.000765986834085985 0.10494019626977995 171.00129145389994 0.0 171.00129145389994 171.00129145389994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 70599.86898103869 3.9943782862437502 15.3633996161 0.2389950276396031 15.073563467 15.744526366 15.999778734341998 15.969743509992096 4.160449649997473 4.168274449347315 4.160392114708135 0.06447975267489156 4.059191816523139 4.2398768360126615 0.9999861708963749 0.998108969374506 0.25999312561380367 5.551115123125783e-17 0.25999312561380367 0.25999312561380367 0.0008838309624069059 0.12108484184974609 181.9043412777 0.0 181.9043412777 181.9043412777 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 18 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 74500.19015109699 3.550558476661111 14.559076933899998 0.27583453125332535 14.179832046 14.984490132 17.99971788680623 17.96143269949944 4.3905594549146585 4.399918028583322 4.390490641872977 0.08282926210500406 4.265080227415775 4.507109278344974 0.9999843270447906 0.9978573721944134 0.24387249911385753 5.551115123125783e-17 0.24387249911385755 0.24387249911385755 0.0010016750907278266 0.13722948742971225 198.1533322303 2.842170943040401e-14 198.15333223029998 198.15333223029998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 20 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 77024.878750306 3.1955026289950004 14.0818657244 0.2217401702091097 13.676531386 14.428448125 19.999649664000117 19.952118036489992 4.539110133797224 4.549923586870853 4.539030623112859 0.07207353409152402 4.429447437882375 4.672972318501869 0.9999824832000059 0.9976059018244996 0.22692324238386058 0.0 0.2269232423838606 0.2269232423838606 0.0011195192190487475 0.1533741330096784 217.72726190810005 2.842170943040401e-14 217.72726190810002 217.72726190810002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 79781.22604610323 2.6629188574958333 13.5953538665 0.3164431770641858 13.139559653 14.148827708 23.99949109274005 23.930480187165898 4.7022436623478 4.715804029328776 4.702143953767058 0.10893739556729524 4.516985710679346 4.86394173531593 0.9999787955308355 0.9971033411319125 0.19586977166202865 2.7755575615628914e-17 0.19586977166202868 0.19586977166202868 0.001355207475690589 0.18566342416961068 262.3784402161 0.0 262.3784402161 262.3784402161 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 28 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 78535.44591389503 2.2825018778535715 13.811012178999999 0.4440150497560335 13.212970587 14.5210671 27.99930302088817 27.904836022871255 4.629961268067348 4.645635201487721 4.629846018556904 0.14734224880331093 4.40119532123779 4.836917796727705 0.9999751078888631 0.9966012865311162 0.16526680653603176 2.7755575615628914e-17 0.1652668065360318 0.1652668065360318 0.0015908957323324305 0.217952715329543 322.7982884320999 0.0 322.7982884320999 322.7982884320999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 77682.28095193871 1.9971891431218751 13.962695053599997 0.37301799019771126 13.349742842 14.535202402 31.999085448770842 31.87519159225678 4.578967505289514 4.596765231820535 4.5788366396532565 0.12264369060059588 4.396915213998408 4.787362074034175 0.9999714202740888 0.9960997372580244 0.14303751069940757 2.7755575615628914e-17 0.1430375106994076 0.1430375106994076 0.0018265839889742722 0.2502420064894753 382.89618913529995 5.684341886080802e-14 382.8961891352999 382.8961891352999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 40 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73723.79916630717 1.5977513144975002 14.712399690000002 0.295692871961784 14.394236028 15.394488789 39.9985618050453 39.803926065851556 4.344980882610256 4.366227243194647 4.344824659370665 0.08568371407616164 4.151489111191947 4.439975310643836 0.9999640451261325 0.9950981516462889 0.10859896061575117 1.3877787807814457e-17 0.10859896061575118 0.10859896061575118 0.002297960502257955 0.3148205888093399 524.5859350201 0.0 524.5859350201 524.5859350201 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 48 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 69911.09271447329 1.3314594287479167 15.514762506000002 0.3798328852777043 14.914979319 16.014778187 47.997920164174275 47.71673175430509 4.120724907210671 4.145007795865601 4.120546356558797 0.10160141283481601 3.990692336393332 4.284957505672557 0.9999566700869641 0.9940985782146893 0.08581887271771019 1.3877787807814457e-17 0.0858188727177102 0.0858188727177102 0.0027693370155416385 0.37939917112920446 680.7985477081 0.0 680.7985477081 680.7985477081 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 56 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 66695.88530774794 1.1412509389267858 16.2626823978 0.44106052947933666 15.673726883 16.97120266 55.997160528768546 55.61365661071481 3.9314941323222534 3.9586051603581325 3.931294786527872 0.10553218040090909 3.7657939664188778 4.077527511929404 0.9999492951565812 0.9931010109056216 0.07017605773824698 0.0 0.07017605773824699 0.07017605773824699 0.0032407135288253217 0.44397775344906903 846.8001616968997 1.1368683772161603e-13 846.8001616968999 846.8001616968999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 64 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64651.29887638827 0.9985945715609376 16.776986987900003 0.30819358490382726 16.299255314 17.239386387 63.99628290143881 63.49474839588945 3.810252104276583 3.840348654832573 3.8100308061107304 0.06999969802942299 3.707211564565532 3.921041259167554 0.9999419203349814 0.9921054436857727 0.05952168719455703 6.938893903907228e-18 0.059521687194557034 0.059521687194557034 0.0037120900421090046 0.5085563357689337 1009.8171146457001 0.0 1009.8171146457001 1009.8171146457001