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-20.scm false SeqAAMLS 1 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 23327.943311996518 3.2527085215 3.2527085215 0.0831016212920213 3.111273354 3.426510487 1.0 1.0 1.0003243814358511 1.0003243814358511 1.0003243814358511 0.02533557916747134 0.9492772702259644 1.0454589331786497 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-20.scm false ParAAM-L-SA-state 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10837.276540223007 1.62635426075 7.001666859600002 0.21814867783762873 6.731189874 7.398976175 1.9999736425935688 1.9979725104007584 0.4647925263888758 0.4652580539587961 0.4647864010261137 0.014374464772006509 0.43961602856492504 0.48322935207398665 0.9999868212967844 0.9989862552003792 0.23228101155942624 0.0 0.23228101155942626 0.23228101155942626 4.2867045183779435e-05 0.0033007624791510162 10.750625197700003 0.0 10.750625197700003 10.750625197700003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10584.040240682187 1.0842361738333333 7.169190429599999 0.09380159242520837 7.051017239 7.30874264 2.9999209288227617 2.9939236910288956 0.45375721703954286 0.4546661546786094 0.45374525733376564 0.00591154614647837 0.44504351592546976 0.46131053311129194 0.9999736429409206 0.9979745636762984 0.15123551040808766 2.7755575615628914e-17 0.1512355104080877 0.1512355104080877 8.573409036755887e-05 0.0066015249583020325 18.25486276729999 3.552713678800501e-15 18.254862767299993 18.254862767299993 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10620.427974785996 0.813177130375 7.144627333300001 0.13371453825849142 6.900453821 7.44945954 3.99984185972958 3.9878596767836028 0.45536362909619427 0.4567318443176424 0.45534562626433306 0.008450370096919426 0.4366368464765163 0.47137602915348886 0.999960464932395 0.9969649191959007 0.1138165914665566 0.0 0.11381659146655661 0.11381659146655661 0.0001286011355513383 0.00990228743745305 25.3258008117 3.552713678800501e-15 25.325800811700002 25.325800811700002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10701.6524507708 0.6505417042999999 7.090400323599999 0.1246351495482512 6.892224128 7.275276182 4.999736436355969 4.97978657776261 0.45884343120027327 0.46068163479112867 0.4588192443109198 0.008090645206547186 0.4470907275723268 0.4719388779430012 0.9999472872711939 0.9959573155525221 0.09174964382965914 1.3877787807814457e-17 0.09174964382965915 0.09174964382965915 0.00017146818073511774 0.013203049916604065 32.19929309650001 7.105427357601002e-15 32.1992930965 32.1992930965 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10664.65565137879 0.5421180869166666 7.1149976596 0.10743085747452631 6.87846604 7.297689828 5.999604659743819 5.969710479387391 0.45724482641362524 0.459534545379905 0.45721469853248997 0.006966700680864278 0.44571756242912763 0.472882835007789 0.9999341099573033 0.9949517465645652 0.07619371261285053 1.3877787807814457e-17 0.07619371261285054 0.07619371261285054 0.00021433522591889716 0.01650381239575508 39.4372774361 7.105427357601002e-15 39.437277436100004 39.437277436100004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10686.993533904413 0.4646726459285714 7.100125939 0.09568402509705028 6.959714698 7.255538289 6.999446530934968 6.957637442527607 0.45819759480359656 0.46095094662846897 0.45816136649011147 0.006159435048466379 0.4483069886670403 0.46736233633754043 0.9999209329907096 0.9939482060753724 0.06544569067094844 1.3877787807814457e-17 0.06544569067094845 0.06544569067094845 0.0002572022711026766 0.0198045748749061 46.44817305150001 7.105427357601002e-15 46.4481730515 46.4481730515 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10576.343449150469 0.4065885651875 7.174407711400001 0.19818958030434844 6.941319808 7.531870815 7.999262050971193 7.9435735036248 0.4535894290840056 0.4567693249313647 0.4535475883491719 0.01231351557697914 0.43185930844991527 0.46860087295663755 0.9999077563713992 0.9929466879531 0.05667207406423784 6.938893903907228e-18 0.05667207406423785 0.05667207406423785 0.00030006931628645604 0.023105337354057117 54.14255316970001 0.0 54.14255316970001 54.14255316970001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10717.75763523077 0.3614120579444444 7.079745837 0.07525202787196393 6.956956512 7.214689207 8.999051220894223 8.927524674815347 0.4595129866752342 0.4631945644935502 0.4594645448618353 0.004881128602527661 0.45084527249546424 0.46754762889338586 0.9998945800993583 0.9919471860905942 0.05104873342424826 6.938893903907228e-18 0.05104873342424827 0.05104873342424827 0.0003429363614702355 0.02640609983320813 60.4650040115 0.0 60.4650040115 60.4650040115 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10709.947602829428 0.32527085214999996 7.0849086114999995 0.12562911402602622 6.945764231 7.374495824 9.99881404174573 9.909496944052655 0.45922954592669085 0.46336871166322174 0.45917508321963124 0.007990693066363198 0.44107537642291295 0.4683010268305204 0.999881404174573 0.9909496944052656 0.045910380780639935 6.938893903907228e-18 0.04591038078063994 0.04591038078063994 0.0003858034066540149 0.029706862312359153 67.59637759349998 1.4210854715202004e-14 67.5963775935 67.5963775935 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10630.126239608056 0.2710590434583333 7.138109020499999 0.08983817354847864 6.957080499 7.252400902 11.998260640400579 11.86752860829445 0.455784423166497 0.46080531890726906 0.4557183587488552 0.005775520138516582 0.44850092616956655 0.4675392963999107 0.999855053366715 0.9889607173578708 0.03797350848521315 6.938893903907228e-18 0.03797350848521316 0.03797350848521316 0.0004715374970215738 0.03630838727066118 82.4045997245 1.4210854715202004e-14 82.40459972449999 82.40459972449999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10712.014888557707 0.2323363229642857 7.0835413122 0.10257524653841339 6.930602586 7.262766892 13.997601855268012 13.817715920915713 0.4593191841689599 0.4652988309559589 0.45924050460597304 0.006636372967385145 0.44786079050435806 0.469325499642781 0.9998287039477152 0.9869797086368366 0.032799459016937225 6.938893903907228e-18 0.03279945901693723 0.03279945901693723 0.0005572715873891327 0.04290991222896321 95.91686984930003 1.4210854715202004e-14 95.91686984930001 95.91686984930001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10570.701836253475 0.20329428259375 7.1782367127 0.19172386317983978 6.911138124 7.496536049 15.99683769467942 15.760105927252901 0.4533855667118411 0.4601958487638017 0.45329595773747317 0.012058531366038024 0.4338948682750474 0.470647303402093 0.9998023559174638 0.9850066204533063 0.028320922077433613 0.0 0.02832092207743362 0.02832092207743362 0.0006430056777566916 0.04951143718726525 111.59907888170002 1.4210854715202004e-14 111.59907888170001 111.59907888170001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10715.821583952147 0.1807060289722222 7.0810249504 0.12078838277531022 6.942453662 7.326705738 17.99596816696532 17.694745297196455 0.45952465305139145 0.4673472767962844 0.45942172379159013 0.00771142476114816 0.44395238976635965 0.468524340220508 0.9997760092758512 0.9830414053998031 0.025519756001144197 0.0 0.0255197560011442 0.0255197560011442 0.0007287397681242505 0.05611296214556728 124.2057405857 0.0 124.2057405857 124.2057405857 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10789.587990000817 0.16263542607499998 7.0326132999999995 0.11578934021790885 6.921361115 7.260080655 19.994993280455347 19.621680328928655 0.4626956952034305 0.4714987280089557 0.46257986582441046 0.007510094632462908 0.4480264994383867 0.469952147772021 0.9997496640227674 0.9810840164464327 0.023125887794086444 0.0 0.023125887794086447 0.023125887794086447 0.0008144738584918093 0.06271448710386932 137.39955747849996 2.842170943040401e-14 137.3995574785 137.3995574785 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10762.303114254286 0.13552952172916666 7.050442567399999 0.14157327900184158 6.892589893 7.343605966 23.99272746436194 23.452620734063103 0.46157987464866823 0.4722099189279477 0.4614400056449935 0.009095826282037874 0.4429306987002902 0.4719138338410931 0.9996969776817475 0.9771925305859627 0.019222838911677857 0.0 0.01922283891167786 0.01922283891167786 0.0009859420392269271 0.07591753702047338 165.95791309609996 2.842170943040401e-14 165.9579130961 165.9579130961 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10693.328271804512 0.11616816148214285 7.0959198176000005 0.11912189529651934 6.947464652 7.268108179 27.990040313018735 27.253290233202495 0.4586189118168129 0.4710169568599992 0.458455779645192 0.007660335454127002 0.4475316604254962 0.4681864081976476 0.9996442968935262 0.9733317940429462 0.016371120935443927 0.0 0.01637112093544393 0.01637112093544393 0.0011574102199620449 0.08912058693707745 195.43304637129998 2.842170943040401e-14 195.4330463713 195.4330463713 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10738.419203037296 0.101647141296875 7.0661238461 0.1297089387367713 6.940890369 7.330160001 31.986931893031223 31.024046201415686 0.4605892222295134 0.4748844166383229 0.4604011275662396 0.00833211886956779 0.44374318173904204 0.46862986570534604 0.9995916216572257 0.9695014437942402 0.014385134411842639 1.734723475976807e-18 0.014385134411842642 0.014385134411842642 0.0013288784006971624 0.10232363685368151 222.86325455369996 2.842170943040401e-14 222.8632545537 222.8632545537 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10716.733476989106 0.08131771303749999 7.080422421899999 0.14444126754275588 6.94257104 7.31630983 39.97945151347506 38.47721913744581 0.4597257304782411 0.47767439963624714 0.45948956377879363 0.009265522064061144 0.4445832116297896 0.4685164188827659 0.9994862878368767 0.9619304784361451 0.011484867454515338 1.734723475976807e-18 0.011484867454515341 0.011484867454515341 0.0016718147621673982 0.12872973668688967 279.9641883545 0.0 279.9641883545 279.9641883545 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10705.849182414388 0.06776476086458333 7.0876208609999996 0.10615172045925417 6.972827185 7.281441937 47.97028685825672 45.814888424866034 0.45926366567830645 0.4808700958050471 0.45897937054505983 0.006829557701117516 0.4467121415844368 0.4664834557347487 0.9993809762136817 0.9544768421847091 0.009561002513193449 1.734723475976807e-18 0.00956100251319345 0.00956100251319345 0.0020147511236376335 0.15513583652009777 336.9530928065 0.0 336.9530928065 336.9530928065 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10591.511631668844 0.05808408074107142 7.164133188799999 0.1631916012991546 6.972183324 7.456529066 55.95943845971502 53.03971840127818 0.45447291353962954 0.47949064971309135 0.454143732800505 0.010229874423308206 0.43622287162154005 0.4665265341350625 0.9992756867806253 0.9471378285942532 0.008107621565701316 1.734723475976807e-18 0.008107621565701318 0.008107621565701318 0.0023576874851078686 0.1815419363533059 397.9387500512999 5.684341886080802e-14 397.93875005129996 397.93875005129996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10603.029554697714 0.0508235706484375 7.156350890899999 0.17071912700817635 6.958972279 7.501793305 63.94690684996445 60.15429208472687 0.455026186924096 0.48371473058890035 0.45464870608640123 0.0106997453761045 0.4335907947946321 0.46741219695840086 0.9991704195306945 0.9399108138238573 0.007101883546971492 0.0 0.007101883546971494 0.007101883546971494 0.002700623846578104 0.20794803618651403 454.7537484961 5.684341886080802e-14 454.75374849609994 454.75374849609994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10960.1383713022 1.62635426075 6.9231790174 0.18451596781960544 6.654996215 7.195664105 1.9999736425935688 1.9979725104007584 0.47000248267623057 0.47047322844169437 0.4699962886530008 0.012601305370279965 0.452037292741307 0.48876188902535683 0.9999868212967844 0.9989862552003792 0.23491437339154306 5.551115123125783e-17 0.23491437339154309 0.23491437339154309 4.2867045183779435e-05 0.0033007624791510162 10.593649513299999 1.7763568394002505e-15 10.5936495133 10.5936495133 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10625.699461446204 1.0842361738333333 7.141082831800001 0.09286398175164864 7.050022267 7.376607905 2.9999209288227617 2.9939236910288956 0.45554239599178353 0.45645490958795054 0.45553038923393924 0.005817673057502582 0.440949087085848 0.46137563802108766 0.9999736429409206 0.9979745636762984 0.15183077964102504 2.7755575615628914e-17 0.15183077964102507 0.15183077964102507 8.573409036755887e-05 0.0066015249583020325 18.1705399739 3.552713678800501e-15 18.170539973900002 18.170539973900002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10648.444597666285 0.813177130375 7.125829439600001 0.17166183463936274 6.794707562 7.408739812 3.99984185972958 3.9878596767836028 0.4566188533272797 0.45799084007721536 0.4566008008700437 0.011126106976964548 0.4390366788467263 0.4787120699191027 0.999960464932395 0.9969649191959007 0.11411683892628315 2.7755575615628914e-17 0.11411683892628316 0.11411683892628316 0.0001286011355513383 0.00990228743745305 25.250609236900004 0.0 25.250609236900004 25.250609236900004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10789.788765211413 0.6505417042999999 7.032482437900001 0.11846284303594873 6.789243364 7.208665703 4.999736436355969 4.97978657776261 0.46261683664311654 0.4644701571278036 0.46259245084726536 0.007876164613516158 0.45122199523641854 0.4790973525485188 0.9999472872711939 0.9959573155525221 0.09250527250435066 1.3877787807814457e-17 0.09250527250435067 0.09250527250435067 0.00017146818073511774 0.013203049916604065 31.909703668000002 0.0 31.909703668000002 31.909703668000002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10782.275921985402 0.5421180869166666 7.037382510799999 0.15279067634070548 6.837695215 7.276306043 5.999604659743819 5.969710479387391 0.462343304149986 0.4646585544738618 0.4623128403299349 0.009980419210316102 0.44702744803170996 0.4757024727227477 0.9999341099573033 0.9949517465645652 0.0770340515219542 0.0 0.07703405152195421 0.07703405152195421 0.00021433522591889716 0.01650381239575508 38.971586543299985 7.105427357601002e-15 38.97158654329999 38.97158654329999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10786.367509549547 0.4646726459285714 7.034713023899999 0.16694720260191778 6.818263665 7.323983374 6.999446530934968 6.957637442527607 0.4625460088953334 0.4653254907436074 0.4625094367657509 0.010915706605614205 0.4441174092566966 0.47705818978474485 0.9999209329907096 0.9939482060753724 0.06605424334295869 1.3877787807814457e-17 0.0660542433429587 0.0660542433429587 0.0002572022711026766 0.0198045748749061 45.9902826458 0.0 45.9902826458 45.9902826458 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10606.070868167903 0.4065885651875 7.154298791999999 0.10772512055686398 6.963401335 7.33072383 7.999262050971193 7.9435735036248 0.45474440633661906 0.45793239917022577 0.4547024590624926 0.006847207131108435 0.44370905205686895 0.4671149004655208 0.9999077563713992 0.9929466879531 0.05683136489101502 6.938893903907228e-18 0.05683136489101503 0.05683136489101503 0.00030006931628645604 0.023105337354057117 53.98168181449999 0.0 53.98168181449999 53.98168181449999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10846.885550941466 0.3614120579444444 6.995464241200001 0.1353952115352661 6.817728509 7.286204719 8.999051220894223 8.927524674815347 0.46510927336927027 0.4688356881466171 0.46506024159588405 0.008881238607787905 0.4464201387339581 0.4770956363554429 0.9998945800993583 0.9919471860905942 0.05166377033505467 1.3877787807814457e-17 0.051663770335054676 0.051663770335054676 0.0003429363614702355 0.02640609983320813 59.70646964930002 0.0 59.70646964930002 59.70646964930002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10873.955436466178 0.32527085214999996 6.978049564699999 0.10487877395794723 6.726344316 7.145051848 9.99881404174573 9.909496944052655 0.46624278599430896 0.4704451640464398 0.4661874915462546 0.007109340793359382 0.45523931676023854 0.4835774632831032 0.999881404174573 0.9909496944052656 0.04661343390213996 6.938893903907228e-18 0.04661343390213997 0.04661343390213997 0.0003858034066540149 0.029706862312359153 66.52778712550001 1.4210854715202004e-14 66.5277871255 66.5277871255 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10724.326458440395 0.2710590434583333 7.0754093783 0.11230181984595701 6.860222401 7.265855184 11.998260640400579 11.86752860829445 0.45984500509577375 0.46491063198021265 0.45977835211045215 0.007347263354578446 0.4476704309580415 0.4741403895339981 0.999855053366715 0.9889607173578708 0.03831001557163047 6.938893903907228e-18 0.038310015571630475 0.038310015571630475 0.0004715374970215738 0.03630838727066118 81.65220401809998 1.4210854715202004e-14 81.6522040181 81.6522040181 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10926.007427303386 0.2323363229642857 6.9448058227 0.10107265159469524 6.788398559 7.114592397 13.997601855268012 13.817715920915713 0.46849550900020215 0.47459461777177486 0.46841525756899727 0.006817399285227514 0.45718831663098014 0.47915697542354624 0.9998287039477152 0.9869797086368366 0.033454689576037415 0.0 0.03345468957603742 0.03345468957603742 0.0005572715873891327 0.04290991222896321 93.97457299630001 0.0 93.97457299630001 93.97457299630001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10793.478626813443 0.20329428259375 7.0300783115000005 0.13825812509781268 6.878503976 7.350937163 15.99683769467942 15.760105927252901 0.46286439241950605 0.46981705544106556 0.46277291001132764 0.008934709986210381 0.4424889574450576 0.47288022698672927 0.9998023559174638 0.9850066204533063 0.02891778349911059 0.0 0.028917783499110596 0.028917783499110596 0.0006430056777566916 0.04951143718726525 109.22854446250003 1.4210854715202004e-14 109.22854446250001 109.22854446250001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10740.841576813122 0.1807060289722222 7.064530228600001 0.12012353897093679 6.934627693 7.287805351 17.99596816696532 17.694745297196455 0.460597569451518 0.4684384577688385 0.46049439986839535 0.007776509643583011 0.44632209078603857 0.46905308626494413 0.9997760092758512 0.9830414053998031 0.025579341176948045 3.469446951953614e-18 0.02557934117694805 0.02557934117694805 0.0007287397681242505 0.05611296214556728 123.90883559329998 2.842170943040401e-14 123.90883559330001 123.90883559330001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10922.927667586015 0.16263542607499998 6.9467639363 0.15321807719576624 6.727314099 7.21711903 19.994993280455347 19.621680328928655 0.46846380640823565 0.4773765806111592 0.4683465330634603 0.010195570751422035 0.4506934841976688 0.48350775266811274 0.9997496640227674 0.9810840164464327 0.023411681693278206 3.469446951953614e-18 0.02341168169327821 0.02341168169327821 0.0008144738584918093 0.06271448710386932 135.68257020450002 2.842170943040401e-14 135.6825702045 135.6825702045 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10825.059292526077 0.13552952172916666 7.0095689963 0.1322500138587251 6.835450444 7.335714395 23.99272746436194 23.452620734063103 0.4642604511556651 0.4749522282975073 0.464119769877483 0.008580482126784866 0.44340719204076917 0.4758586940462939 0.9996969776817475 0.9771925305859627 0.019334929408741947 3.469446951953614e-18 0.01933492940874195 0.01933492940874195 0.0009859420392269271 0.07591753702047338 164.97694738969997 0.0 164.97694738969997 164.97694738969997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10808.872875052031 0.11616816148214285 7.0200659104 0.11591271522823066 6.837831022 7.215633274 27.990040313018735 27.253290233202495 0.4635724858839356 0.47610444305509253 0.46340759171063095 0.00764934968805377 0.4507862855531258 0.475693024737633 0.9996442968935262 0.9733317940429462 0.016548015782877974 3.469446951953614e-18 0.016548015782877977 0.016548015782877977 0.0011574102199620449 0.08912058693707745 193.30913696969995 2.842170943040401e-14 193.30913696969998 193.30913696969998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10954.814440036667 0.101647141296875 6.9265436138 0.14225743616640116 6.718705218 7.206400532 31.986931893031223 31.024046201415686 0.4698906650529512 0.48447454605498985 0.46969877188187176 0.009531686128594195 0.4513638267893045 0.4841272858326495 0.9995916216572257 0.9695014437942402 0.014675016424405348 1.734723475976807e-18 0.014675016424405352 0.014675016424405352 0.0013288784006971624 0.10232363685368151 218.3966871201 2.842170943040401e-14 218.39668712009998 218.39668712009998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10900.479908823208 0.08131771303749999 6.9610696625 0.0921031515149052 6.878961269 7.174103371 39.97945151347506 38.47721913744581 0.46755206804881916 0.48580629405183157 0.46731188086456893 0.006096135755054903 0.4533958256927937 0.4728487913078261 0.9994862878368767 0.9619304784361451 0.011681784119410107 1.734723475976807e-18 0.011681784119410111 0.011681784119410111 0.0016718147621673982 0.12872973668688967 275.1900779785 0.0 275.1900779785 275.1900779785 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10948.71091427605 0.06776476086458333 6.930404921099999 0.1258451700346925 6.761238623 7.246493532 47.97028685825672 45.814888424866034 0.46970593223792206 0.491803627229807 0.469415173093292 0.008346951469571423 0.4488665458868169 0.4810817518605422 0.9993809762136817 0.9544768421847091 0.009777893447216883 0.0 0.009777893447216884 0.009777893447216884 0.0020147511236376335 0.15513583652009777 329.40672769130003 5.684341886080802e-14 329.4067276913 329.4067276913 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10861.37591276751 0.05808408074107142 6.986131463400001 0.11149881110309348 6.775650841 7.123023887 55.95943845971502 53.03971840127818 0.46599222503601423 0.49164407401869054 0.4656547007072948 0.007490175995332803 0.45664714496274716 0.48005846195875423 0.9992756867806253 0.9471378285942532 0.008314198071618184 1.734723475976807e-18 0.008314198071618185 0.008314198071618185 0.0023576874851078686 0.1815419363533059 387.97065342890016 5.684341886080802e-14 387.9706534289001 387.9706534289001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 10900.464721297101 0.0508235706484375 6.9610793612999995 0.13322485144757787 6.761934715 7.177781297 63.94690684996445 60.15429208472687 0.46774437468609315 0.4972347761239933 0.46735634308822604 0.0089522916605572 0.4531635037221725 0.48103222799305007 0.9991704195306945 0.9399108138238573 0.0073011049020630684 0.0 0.007301104902063071 0.007301104902063071 0.002700623846578104 0.20794803618651403 442.25637060170004 5.684341886080802e-14 442.2563706017 442.2563706017 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 9417.533158886585 1.62635426075 8.0572055038 0.0917172950195067 7.911631364 8.224684896 1.9999736425935688 1.9979725104007584 0.4037332928658787 0.404137664640494 0.4037279721846338 0.004595133569794561 0.39548123273171537 0.41112993918051816 0.9999868212967844 0.9989862552003792 0.20185090972086614 5.551115123125783e-17 0.20185090972086617 0.20185090972086617 4.2867045183779435e-05 0.0033007624791510162 12.8617024861 0.0 12.8617024861 12.8617024861 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 15081.426547880204 1.0842361738333333 5.0312879725999995 0.11946069042523492 4.847621183 5.214583618 2.9999209288227617 2.9939236910288956 0.6466947630277546 0.647990180905487 0.6466777180556792 0.015264698881453107 0.6237714762636298 0.670990656800255 0.9999736429409206 0.9979745636762984 0.2154987310879438 5.551115123125783e-17 0.21549873108794382 0.21549873108794382 8.573409036755887e-05 0.0066015249583020325 11.841155396299998 1.7763568394002505e-15 11.8411553963 11.8411553963 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 18371.847133446154 0.813177130375 4.1301780626 0.13078715834651716 3.89594775 4.324740418 3.99984185972958 3.9878596767836028 0.7879744070676923 0.7903420062982269 0.7879432544462378 0.02510519956821495 0.7521164756991895 0.8348953143686282 0.999960464932395 0.9969649191959007 0.19688670029473124 2.7755575615628914e-17 0.19688670029473126 0.19688670029473126 0.0001286011355513383 0.00990228743745305 13.268003728899998 0.0 13.268003728899998 13.268003728899998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 20213.723954219888 0.6505417042999999 3.7538357688000006 0.10096834189352492 3.577835636 3.904389811 4.999736436355969 4.97978657776261 0.8668647471939083 0.8703375524750246 0.8668190523875777 0.023653589049709642 0.8330901059971032 0.909127431336256 0.9999472872711939 0.9959573155525221 0.17330052361559772 2.7755575615628914e-17 0.17330052361559772 0.17330052361559772 0.00017146818073511774 0.013203049916604065 15.516470322500002 0.0 15.516470322500002 15.516470322500002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 20777.121209292796 0.5421180869166666 3.6520458843 0.12976232425562242 3.472255592 3.897938705 5.999604659743819 5.969710479387391 0.8912724467851711 0.8957356212327275 0.891213720805598 0.03147844025085363 0.8344688738505958 0.936771051357558 0.9999341099573033 0.9949517465645652 0.14844229894460273 2.7755575615628914e-17 0.14844229894460273 0.14844229894460273 0.00021433522591889716 0.01650381239575508 18.659566784300004 3.552713678800501e-15 18.6595667843 18.6595667843 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21751.913039084917 0.4646726459285714 3.4883828316 0.10555149314945493 3.35062101 3.694329447 6.999446530934968 6.957637442527607 0.932936286735713 0.9385423873715633 0.9328625222536625 0.027772833812390096 0.8804597879437578 0.9707778085889816 0.9999209329907096 0.9939482060753724 0.13320574844001346 2.7755575615628914e-17 0.13320574844001346 0.13320574844001346 0.0002572022711026766 0.0198045748749061 21.1659712997 0.0 21.1659712997 21.1659712997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21721.77851042034 0.4065885651875 3.4932222498999996 0.1034324995040899 3.363267316 3.669931403 7.999262050971193 7.9435735036248 0.9316393990533586 0.9381706717557857 0.9315534612546424 0.027256895134014386 0.8863131661918967 0.9671275625419243 0.9999077563713992 0.9929466879531 0.11639355760977972 0.0 0.11639355760977974 0.11639355760977974 0.00030006931628645604 0.023105337354057117 24.693069477699996 0.0 24.693069477699996 24.693069477699996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21878.651194454804 0.3614120579444444 3.4681754065 0.07941509084459789 3.380667469 3.632776977 8.999051220894223 8.927524674815347 0.938215619508112 0.945732520909682 0.9381167129107228 0.021182904997633898 0.895377982764616 0.9621497977327387 0.9998945800993583 0.9919471860905942 0.10420812547920488 1.3877787807814457e-17 0.1042081254792049 0.1042081254792049 0.0003429363614702355 0.02640609983320813 27.960870136999993 3.552713678800501e-15 27.960870136999997 27.960870136999997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 22032.487497682916 0.32527085214999996 3.4439597439 0.08597372522309506 3.355621505 3.637176693 9.99881404174573 9.909496944052655 0.9448681710064244 0.9533845349765961 0.9447561135857642 0.022889529733281094 0.8942948875043834 0.969331170590409 0.999881404174573 0.9909496944052656 0.09444676370742289 0.0 0.0944467637074229 0.0944467637074229 0.0003858034066540149 0.029706862312359153 31.186888917499992 3.552713678800501e-15 31.186888917499996 31.186888917499996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21268.015032696847 0.2710590434583333 3.5677518509999997 0.11256390568437247 3.45093586 3.785251632 11.998260640400579 11.86752860829445 0.9122775165250363 0.9223271146778222 0.9121452849703943 0.028258879873938287 0.8593110413062229 0.9425583822644562 0.999855053366715 0.9889607173578708 0.07597474678132632 0.0 0.07597474678132633 0.07597474678132633 0.0004715374970215738 0.03630838727066118 39.56031369049999 7.105427357601002e-15 39.560313690499996 39.560313690499996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21071.795541845957 0.2323363229642857 3.6009745752 0.06466781003752467 3.514939557 3.689617204 13.997601855268012 13.817715920915713 0.9035857266201961 0.9153490573783887 0.9034309459523252 0.016168542626185167 0.8815842787088217 0.9253952930775816 0.9998287039477152 0.9869797086368366 0.06452040082826233 1.3877787807814457e-17 0.06452040082826234 0.06452040082826234 0.0005572715873891327 0.04290991222896321 47.16093553130001 7.105427357601002e-15 47.160935531300005 47.160935531300005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 20186.736917283004 0.20329428259375 3.7588541581 0.10103845491021493 3.639129728 3.959507454 15.99683769467942 15.760105927252901 0.8658250834242879 0.8788305989473026 0.8656539582200377 0.02277400094351121 0.8214932183582649 0.8938149405538311 0.9998023559174638 0.9850066204533063 0.054084110221639926 0.0 0.05408411022163993 0.05408411022163993 0.0006430056777566916 0.04951143718726525 56.888958008100005 0.0 56.888958008100005 56.888958008100005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 19440.155733489668 0.1807060289722222 3.9032094721999995 0.0984493425224891 3.770857975 4.100674412 17.99596816696532 17.694745297196455 0.8337923548548418 0.8479862481097229 0.8336055931014881 0.02084812161452279 0.7932130656317027 0.8625910981173985 0.9997760092758512 0.9830414053998031 0.04629677967817835 0.0 0.04629677967817836 0.04629677967817836 0.0007287397681242505 0.05611296214556728 67.00506197809999 0.0 67.00506197809999 67.00506197809999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 19203.42687593554 0.16263542607499998 3.9513260049999994 0.08641879957021617 3.883722758 4.148322822 19.994993280455347 19.621680328928655 0.8235931926668199 0.8392624931781757 0.8233870176600915 0.017456253028217517 0.7841020723483125 0.8375233568873609 0.9997496640227674 0.9810840164464327 0.04115970837870665 6.938893903907228e-18 0.04115970837870666 0.04115970837870666 0.0008144738584918093 0.06271448710386932 75.7738115785 1.4210854715202004e-14 75.77381157849999 75.77381157849999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 17649.30135049641 0.13552952172916666 4.2992636645 0.12237870332861399 4.155417448 4.483850022 23.99272746436194 23.452620734063103 0.7571083514547513 0.7745443267695377 0.7568789307269252 0.021435923945386025 0.725427591364696 0.782763359446721 0.9996969776817475 0.9771925305859627 0.03152389160224454 6.938893903907228e-18 0.031523891602244544 0.031523891602244544 0.0009859420392269271 0.07591753702047338 99.92961942650001 1.4210854715202004e-14 99.9296194265 99.9296194265 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 16397.493691346695 0.11616816148214285 4.627475480599999 0.10297793384109742 4.509161676 4.79000668 27.990040313018735 27.253290233202495 0.7033357326541791 0.722349314234112 0.70308555394918 0.015562561614037506 0.6790613748162873 0.7213554880528085 0.9996442968935262 0.9733317940429462 0.025104003677417747 3.469446951953614e-18 0.02510400367741775 0.02510400367741775 0.0011574102199620449 0.08912058693707745 126.31660493529998 1.4210854715202004e-14 126.31660493529999 126.31660493529999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 15213.242474867946 0.101647141296875 4.9876941175 0.1144445865146258 4.860244322 5.197561363 31.986931893031223 31.024046201415686 0.6525837160701058 0.6728377963633633 0.6523172150136156 0.014807676493779223 0.6258143568357135 0.6692479443423338 0.9995916216572257 0.9695014437942402 0.020379586017561145 0.0 0.02037958601756115 0.02037958601756115 0.0013288784006971624 0.10232363685368151 156.3535032385 0.0 156.3535032385 156.3535032385 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 12980.524133486173 0.08131771303749999 5.8456037075000005 0.15235411140984856 5.647496244 6.134548511 39.97945151347506 38.47721913744581 0.5569103985570677 0.578653363615725 0.556624306911559 0.014347574234066544 0.5302278587686597 0.5759558538805112 0.9994862878368767 0.9619304784361451 0.013910917863482274 0.0 0.013910917863482277 0.013910917863482277 0.0016718147621673982 0.12872973668688967 230.5714397785 0.0 230.5714397785 230.5714397785 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 12134.96312930732 0.06776476086458333 6.2529238195 0.13911000848269892 6.104862318 6.492861607 47.97028685825672 45.814888424866034 0.5206398791792848 0.5451338028474407 0.520317590709967 0.011418988778274752 0.5009668645937612 0.532806204639454 0.9993809762136817 0.9544768421847091 0.010837291932656545 0.0 0.010837291932656548 0.010837291932656548 0.0020147511236376335 0.15513583652009777 296.8876348145 0.0 296.8876348145 296.8876348145 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 11884.860550040501 0.05808408074107142 6.3845090719 0.1472707549524718 6.223626347 6.645474537 55.95943845971502 53.03971840127818 0.5099731940320418 0.5380460988053177 0.5096038137060777 0.011678320996637782 0.4894621901551046 0.5226387864798336 0.9992756867806253 0.9471378285942532 0.00909765811074114 1.734723475976807e-18 0.009097658110741142 0.009097658110741142 0.0023576874851078686 0.1815419363533059 354.27979950490004 0.0 354.27979950490004 354.27979950490004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 11741.142761588175 0.0508235706484375 6.4626588349 0.1465796203825201 6.311118076 6.76249666 63.94690684996445 60.15429208472687 0.5038543042810757 0.5356213687368155 0.5034363165908686 0.011254861444283686 0.48099225552889213 0.5153933870876923 0.9991704195306945 0.9399108138238573 0.007864189019846953 1.734723475976807e-18 0.007864189019846955 0.007864189019846955 0.002700623846578104 0.20794803618651403 410.3574569121 0.0 410.3574569121 410.3574569121 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 8342.437817115087 1.62635426075 9.0955427734 0.3035349270709125 8.63199652 9.778911522 1.9999736425935688 1.9979725104007584 0.35781718104666616 0.35817556409568496 0.3578124654802317 0.011742851146189984 0.3326248033006797 0.37681995283056485 0.9999868212967844 0.9989862552003792 0.17880782942457135 2.7755575615628914e-17 0.17880782942457135 0.17880782942457135 4.2867045183779435e-05 0.0033007624791510162 14.938377025299996 3.552713678800501e-15 14.9383770253 14.9383770253 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 15602.926445699479 1.0842361738333333 4.863126174700001 0.136533080862256 4.625578967 5.106967207 2.9999209288227617 2.9939236910288956 0.6691321676039216 0.670472530665502 0.669114531247848 0.018745444108641547 0.6369158817079515 0.7032003009148929 0.9999736429409206 0.9979745636762984 0.22295045098232888 5.551115123125783e-17 0.2229504509823289 0.2229504509823289 8.573409036755887e-05 0.0066015249583020325 11.336670002600004 1.7763568394002505e-15 11.336670002600005 11.336670002600005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 22366.72386003038 0.813177130375 3.3924950509 0.11029352550096651 3.183027482 3.550808517 3.99984185972958 3.9878596767836028 0.9593455206728392 0.9622280327140796 0.9593075928828229 0.03170862340777375 0.9160472906176708 1.0218914350862647 0.999960464932395 0.9969649191959007 0.23969884058025992 0.0 0.23969884058025995 0.23969884058025995 0.0001286011355513383 0.00990228743745305 10.3172716821 0.0 10.3172716821 10.3172716821 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 28506.07338624315 0.6505417042999999 2.6618538082 0.07074518627714062 2.555061353 2.795713586 4.999736436355969 4.97978657776261 1.2224657891203912 1.2273631916992638 1.2224013496127744 0.03233976273727764 1.1634627158477455 1.2730451727434506 0.9999472872711939 0.9959573155525221 0.2443942271720435 2.7755575615628914e-17 0.24439422717204354 0.24439422717204354 0.00017146818073511774 0.013203049916604065 10.056560519499998 1.7763568394002505e-15 10.0565605195 10.0565605195 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 33790.05109185934 0.5421180869166666 2.2456018132000004 0.09255893347583363 2.155658419 2.41375643 5.999604659743819 5.969710479387391 1.44977922638779 1.4570392035374837 1.4496837003726624 0.057803668616920184 1.3475711472263172 1.5089164836277338 0.9999341099573033 0.9949517465645652 0.24141327448615835 2.7755575615628914e-17 0.24141327448615837 0.24141327448615837 0.00021433522591889716 0.01650381239575508 10.2209023577 1.7763568394002505e-15 10.220902357700002 10.220902357700002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 38687.85706593483 0.4646726459285714 1.9613130774000003 0.03609183554232474 1.913567652 2.031481358 6.999446530934968 6.957637442527607 1.6588435900982508 1.6688117350160185 1.6587124302967013 0.030119484453425594 1.6011510559478142 1.6998137056196432 0.9999209329907096 0.9939482060753724 0.2369191595584327 0.0 0.23691915955843273 0.23691915955843273 0.0002572022711026766 0.0198045748749061 10.476483020300003 1.7763568394002505e-15 10.476483020300002 10.476483020300002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 42235.51163881413 0.4065885651875 1.7965687416999998 0.04196596533581362 1.752159907 1.867042056 7.999262050971193 7.9435735036248 1.8111688290426036 1.8238660566873688 1.811001760257804 0.04181425626581861 1.7421720689402616 1.8563993551645626 0.9999077563713992 0.9929466879531 0.22631394822263592 5.551115123125783e-17 0.22631394822263595 0.22631394822263595 0.00030006931628645604 0.023105337354057117 11.1198414121 1.7763568394002505e-15 11.119841412099998 11.119841412099998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 44803.59862674222 0.3614120579444444 1.6935916383000003 0.04264158678254148 1.658593408 1.81416501 8.999051220894223 8.927524674815347 1.9213888074274024 1.9367828063325623 1.921186254810229 0.04597432525463267 1.7929507534157545 1.9611247131521217 0.9998945800993583 0.9919471860905942 0.213399765192053 0.0 0.213399765192053 0.213399765192053 0.0003429363614702355 0.02640609983320813 11.989616223200002 0.0 11.989616223200002 11.989616223200002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46761.24468240639 0.32527085214999996 1.6226899116000002 0.041988036792872094 1.574873443 1.736350819 9.99881404174573 9.909496944052655 2.005406472701124 2.02348176823306 2.005168639865177 0.04974615025793575 1.8733014583846028 2.0653777203226356 0.999881404174573 0.9909496944052656 0.20045163886504802 2.7755575615628914e-17 0.20045163886504805 0.20045163886504805 0.0003858034066540149 0.029706862312359153 12.974190594500001 0.0 12.974190594500001 12.974190594500001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47827.97384735479 0.2710590434583333 1.5864983167 0.0649631611093878 1.528154699 1.763920901 11.998260640400579 11.86752860829445 2.0521793695304518 2.074786062809243 2.0518819130399413 0.07822192108909626 1.8440217583770213 2.1285204460180114 0.999855053366715 0.9889607173578708 0.17085365966359822 2.7755575615628914e-17 0.17085365966359825 0.17085365966359825 0.0004715374970215738 0.03630838727066118 15.785271278899994 3.552713678800501e-15 15.785271278899998 15.785271278899998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47896.75820270272 0.2323363229642857 1.5842199523999998 0.04374937187557207 1.524363283 1.662182114 13.997601855268012 13.817715920915713 2.0543240615234604 2.0810682792642656 2.0539721639216078 0.05636955207741821 1.9568905802219454 2.133814529498871 0.9998287039477152 0.9869797086368366 0.14665660700227257 0.0 0.14665660700227257 0.14665660700227257 0.0005572715873891327 0.04290991222896321 18.9263708121 3.552713678800501e-15 18.926370812099996 18.926370812099996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47073.82140364836 0.20329428259375 1.6119150249 0.053613659531031845 1.541400205 1.722066435 15.99683769467942 15.760105927252901 2.019416682329905 2.0497502398951424 2.019017556572468 0.06587948235570325 1.8888403231086726 2.110229719023555 0.9998023559174638 0.9850066204533063 0.12611972681770986 0.0 0.12611972681770986 0.12611972681770986 0.0006430056777566916 0.04951143718726525 22.537931876899997 3.552713678800501e-15 22.5379318769 22.5379318769 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46835.7230195181 0.1807060289722222 1.6201095042000002 0.06862932114208702 1.54686802 1.760167276 17.99596816696532 17.694745297196455 2.009906843028832 2.0441220802112032 2.00945664253959 0.08131958823459545 1.847954206313741 2.102770552784458 0.9997760092758512 0.9830414053998031 0.11153939193848114 1.3877787807814457e-17 0.11153939193848116 0.11153939193848116 0.0007287397681242505 0.05611296214556728 25.909262554100003 0.0 25.909262554100003 25.909262554100003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46882.115246759095 0.16263542607499998 1.6185063238000001 0.06092825067064545 1.555786851 1.750891252 19.994993280455347 19.621680328928655 2.0115951536006778 2.049866826132225 2.0110915789621044 0.07332032975815496 1.8577444588774494 2.0907160382601795 0.9997496640227674 0.9810840164464327 0.10048488762969883 0.0 0.10048488762969884 0.10048488762969884 0.0008144738584918093 0.06271448710386932 29.117417954500006 3.552713678800501e-15 29.117417954500002 29.117417954500002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46836.23268470607 0.13552952172916666 1.6200918744 0.07524256251749409 1.543486939 1.773361329 23.99272746436194 23.452620734063103 2.010435129097557 2.056734839324725 2.0098259223840413 0.0888194554407138 1.8342051720131987 2.1073767709413707 0.9996969776817475 0.9771925305859627 0.08365545428055425 1.3877787807814457e-17 0.08365545428055426 0.08365545428055426 0.0009859420392269271 0.07591753702047338 35.629496464099994 7.105427357601002e-15 35.6294964641 35.6294964641 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46711.67597715915 0.11616816148214285 1.6244118502000002 0.08065071111717184 1.553342508 1.795776842 27.990040313018735 27.253290233202495 2.0055050657504574 2.0597207587776216 2.004791701368521 0.09543036866978642 1.811309983192221 2.0940059933646005 0.9996442968935262 0.9733317940429462 0.07151398302581947 1.3877787807814457e-17 0.07151398302581949 0.07151398302581949 0.0011574102199620449 0.08912058693707745 42.230823284100005 7.105427357601002e-15 42.23082328410001 42.23082328410001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46238.631772469525 0.101647141296875 1.6410303915 0.07181622013365169 1.559944732 1.813345773 31.986931893031223 31.024046201415686 1.9847644026500175 2.0463650472639476 1.983953867852466 0.08295355118659095 1.7937607763127918 2.085143437953544 0.9995916216572257 0.9695014437942402 0.061941047419580945 0.0 0.06194104741958095 0.06194104741958095 0.0013288784006971624 0.10232363685368151 49.2602640065 0.0 49.2602640065 49.2602640065 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 48161.68507840472 0.08131771303749999 1.5755055056 0.04348929924673523 1.532733236 1.660806049 39.97945151347506 38.47721913744581 2.0663820755551625 2.147058021601495 2.0653205499492895 0.05536670113627497 1.9585119667998028 2.1221621904596057 0.9994862878368767 0.9619304784361451 0.051613728259573256 0.0 0.05161372825957326 0.05161372825957326 0.0016718147621673982 0.12872973668688967 59.76751170249999 1.4210854715202004e-14 59.7675117025 59.7675117025 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 46774.34607457852 0.06776476086458333 1.6222353996999999 0.07013065530953627 1.554859661 1.765139176 47.97028685825672 45.814888424866034 2.008143229769382 2.102617950112035 2.006900141343821 0.08318036904608496 1.8427490396938535 2.091962768786501 0.9993809762136817 0.9544768421847091 0.04177245847126444 6.938893903907228e-18 0.04177245847126445 0.04177245847126445 0.0020147511236376335 0.15513583652009777 74.61459066409999 0.0 74.61459066409999 74.61459066409999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47459.81478020788 0.05808408074107142 1.5988052282 0.04158482266666837 1.548092907 1.686681413 55.95943845971502 53.03971840127818 2.0366149955858894 2.1487261800559425 2.0351398484218097 0.05174720872198534 1.928466452781145 2.1011067919711097 0.9992756867806253 0.9471378285942532 0.03632967901066025 0.0 0.036329679010660254 0.036329679010660254 0.0023576874851078686 0.1815419363533059 86.2803842577 0.0 86.2803842577 86.2803842577 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 45675.06017249005 0.0508235706484375 1.6612785996 0.10139860605312247 1.556563564 1.830594881 63.94690684996445 60.15429208472687 1.9631355390325393 2.0869075355678928 1.9615069601307584 0.1149018492059011 1.7768587442586647 2.0896727873684187 0.9991704195306945 0.9399108138238573 0.03059304481540586 0.0 0.030593044815405868 0.030593044815405868 0.002700623846578104 0.20794803618651403 103.0691218529 0.0 103.0691218529 103.0691218529 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 9861.953447115591 1.62635426075 7.6941145998 0.2268733209052865 7.394152378 8.161459578 1.9999736425935688 1.9979725104007584 0.4229404519362407 0.4233640612449802 0.4229348781295468 0.012299766327733115 0.39854495270282153 0.43990282526200863 0.9999868212967844 0.9989862552003792 0.21137640200891666 2.7755575615628914e-17 0.2113764020089167 0.2113764020089167 4.2867045183779435e-05 0.0033007624791510162 12.135520678099999 1.7763568394002505e-15 12.1355206781 12.1355206781 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 16868.12435564116 1.0842361738333333 4.4983661728 0.08172395446849194 4.375048612 4.659794565 2.9999209288227617 2.9939236910288956 0.7232241387615729 0.724672855424397 0.7232050767002198 0.012991383618061575 0.69803689328523 0.7434679725794097 0.9999736429409206 0.9979745636762984 0.24102888297296 2.7755575615628914e-17 0.24102888297296002 0.24102888297296002 8.573409036755887e-05 0.0066015249583020325 10.2423899969 1.7763568394002505e-15 10.242389996899998 10.242389996899998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 22322.0688957847 0.813177130375 3.3992816863999997 0.09211296562777668 3.278717711 3.604820375 3.99984185972958 3.9878596767836028 0.9572648437957806 0.9601411040997451 0.9572269982654652 0.025342799261251707 0.9023219420468349 0.9920672678185315 0.999960464932395 0.9969649191959007 0.23922028398776005 5.551115123125783e-17 0.23922028398776007 0.23922028398776007 0.0001286011355513383 0.00990228743745305 10.344418224099998 1.7763568394002505e-15 10.3444182241 10.3444182241 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 27086.97760554542 0.6505417042999999 2.801309216 0.05953138023115314 2.734049582 2.938949803 4.999736436355969 4.97978657776261 1.1614585604527887 1.1661115578616634 1.1613973368026718 0.024185064785939948 1.1067587878431009 1.18970356021144 0.9999472872711939 0.9959573155525221 0.23222773858178744 5.551115123125783e-17 0.23222773858178747 0.23222773858178747 0.00017146818073511774 0.013203049916604065 10.753837558499997 1.7763568394002505e-15 10.753837558499999 10.753837558499999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 31518.730188597794 0.5421180869166666 2.4074256655000004 0.042139619579343715 2.318993049 2.454760975 5.999604659743819 5.969710479387391 1.3514124565673966 1.3581798480266714 1.3513234119429323 0.023929839700130698 1.325061199288456 1.4026383230870996 0.9999341099573033 0.9949517465645652 0.22518580518832906 0.0 0.2251858051883291 0.2251858051883291 0.00021433522591889716 0.01650381239575508 11.191845471500002 0.0 11.191845471500002 11.191845471500002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 35103.331065170416 0.4646726459285714 2.1615897323000004 0.055892291880030254 2.086469286 2.276059107 6.999446530934968 6.957637442527607 1.5053948512859425 1.514440908506558 1.5052758242172504 0.03854869428899226 1.4290966836038321 1.5589534642687284 0.9999209329907096 0.9939482060753724 0.214968011267404 2.7755575615628914e-17 0.21496801126740403 0.21496801126740403 0.0002572022711026766 0.0198045748749061 11.8784196046 1.7763568394002505e-15 11.878419604600001 11.878419604600001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 38269.403646287225 0.4065885651875 1.9827588823 0.05960714249194684 1.923169965 2.125333248 7.999262050971193 7.9435735036248 1.6413702976205797 1.6528771499824666 1.6412188916684496 0.047493456125772056 1.5304463545003555 1.6913266017546191 0.9999077563713992 0.9929466879531 0.20506203190771097 0.0 0.205062031907711 0.205062031907711 0.00030006931628645604 0.023105337354057117 12.609362536899999 1.7763568394002505e-15 12.6093625369 12.6093625369 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 41073.125130912435 0.3614120579444444 1.8474123836 0.03362649009997379 1.79334783 1.906344341 8.999051220894223 8.927524674815347 1.7611600590056788 1.7752703192067074 1.760974397687244 0.03192697693420325 1.706254453376322 1.813763324151121 0.9998945800993583 0.9919471860905942 0.19563150120287218 0.0 0.1956315012028722 0.1956315012028722 0.0003429363614702355 0.02640609983320813 13.374002930900001 0.0 13.374002930900001 13.374002930900001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 42724.94256143751 0.32527085214999996 1.7759883443 0.051499690940714986 1.720969817 1.900098455 9.99881404174573 9.909496944052655 1.832462213004689 1.8489787130270272 1.8322448906359738 0.051379194640227256 1.7118631473756973 1.8900439097590516 0.999881404174573 0.9909496944052656 0.18314920432555226 0.0 0.1831492043255523 0.1831492043255523 0.0003858034066540149 0.029706862312359153 14.507174921499999 0.0 14.507174921499999 14.507174921499999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 44804.30075561229 0.2710590434583333 1.6935650979999999 0.057463319867954075 1.635255986 1.827204399 11.998260640400579 11.86752860829445 1.9219828302716602 1.9431552857481014 1.9217042453311806 0.06263467087641743 1.7801558070241925 1.9891127440275884 0.999855053366715 0.9889607173578708 0.16005233207653957 2.7755575615628914e-17 0.1600523320765396 0.1600523320765396 0.0004715374970215738 0.03630838727066118 17.0700726545 0.0 17.0700726545 17.0700726545 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 45660.74873917012 0.2323363229642857 1.6617992936000001 0.04572602518154491 1.60952642 1.775653657 13.997601855268012 13.817715920915713 1.958399284263894 1.983894705294473 1.9580638181977021 0.05188201726061908 1.8318372553550286 2.0209103007454825 0.9998287039477152 0.9869797086368366 0.13981009852337178 2.7755575615628914e-17 0.1398100985233718 0.1398100985233718 0.0005572715873891327 0.04290991222896321 20.012481588900005 3.552713678800501e-15 20.012481588900002 20.012481588900002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 45913.398772652974 0.20329428259375 1.6526548247000001 0.03662889387491685 1.619532507 1.751395045 15.99683769467942 15.760105927252901 1.9690321169375453 1.9986088504515096 1.968642949391309 0.04200135554533479 1.8572100742125828 2.008424349274269 0.9998023559174638 0.9850066204533063 0.12301073373301238 1.3877787807814457e-17 0.1230107337330124 0.1230107337330124 0.0006430056777566916 0.04951143718726525 23.1897686737 0.0 23.1897686737 23.1897686737 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 44370.784473374886 0.1807060289722222 1.7101117526 0.033824961039199866 1.649556616 1.764466769 17.99596816696532 17.694745297196455 1.9028426345352858 1.9352352861087494 1.9024164154356349 0.03762131714358362 1.8434512786791961 1.971868373567846 0.9997760092758512 0.9830414053998031 0.10566913460332777 1.3877787807814457e-17 0.10566913460332779 0.10566913460332779 0.0007287397681242505 0.05611296214556728 27.529303025300003 3.552713678800501e-15 27.5293030253 27.5293030253 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 43034.110042723274 0.16263542607499998 1.7632292134 0.07722015857748195 1.660267196 1.885835754 19.994993280455347 19.621680328928655 1.8469630276672846 1.8821024860449962 1.8465006663728412 0.07992667148852456 1.7248100820025072 1.9591476175260165 0.9997496640227674 0.9810840164464327 0.09223725698225772 1.3877787807814457e-17 0.09223725698225774 0.09223725698225774 0.0008144738584918093 0.06271448710386932 32.011875746499996 7.105427357601002e-15 32.0118757465 32.0118757465 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 41736.307282621645 0.13552952172916666 1.8180573447999997 0.06820289797810553 1.729611356 1.954635458 23.99272746436194 23.452620734063103 1.7909006768674034 1.8321445753570904 1.7903579939925391 0.06613425647225164 1.6640998239273728 1.8806008125561822 0.9996969776817475 0.9771925305859627 0.07454634042034353 1.3877787807814457e-17 0.07454634042034354 0.07454634042034354 0.0009859420392269271 0.07591753702047338 40.38066775369999 7.105427357601002e-15 40.380667753699996 40.380667753699996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 39708.67111086334 0.11616816148214285 1.9108924543999997 0.07291672136876144 1.80875708 2.047207528 27.990040313018735 27.253290233202495 1.7040246512889867 1.7500902927988147 1.7034185244270152 0.0638952547985591 1.5888513875668007 1.7983114247160266 0.9996442968935262 0.9733317940429462 0.060792621382043416 6.938893903907228e-18 0.06079262138204342 0.06079262138204342 0.0011574102199620449 0.08912058693707745 50.252280201699996 0.0 50.252280201699996 50.252280201699996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 39514.050191902206 0.101647141296875 1.9203042875 0.05423130134004441 1.865698654 2.036175045 31.986931893031223 31.024046201415686 1.6952083782653944 1.7478221437665573 1.6945160918772213 0.046800936676983464 1.5974601640891832 1.7434265252463432 0.9995916216572257 0.9695014437942402 0.052932830467825 6.938893903907228e-18 0.05293283046782501 0.05293283046782501 0.0013288784006971624 0.10232363685368151 58.19702867850002 1.4210854715202004e-14 58.197028678500004 58.197028678500004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 37813.849215036345 0.08131771303749999 2.0066457548 0.08629832260530383 1.890859178 2.18091041 39.97945151347506 38.47721913744581 1.6232695035904534 1.6866453934800987 1.6224356103024316 0.06761160849733094 1.4914452728482321 1.7202277987409171 0.9994862878368767 0.9619304784361451 0.040524199571839635 6.938893903907228e-18 0.04052419957183964 0.04052419957183964 0.0016718147621673982 0.12872973668688967 77.01312167050001 0.0 77.01312167050001 77.01312167050001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 36819.16073577208 0.06776476086458333 2.0608563173 0.06748456115583541 1.960905893 2.226237172 47.97028685825672 45.814888424866034 1.5801346095807371 1.6544733186582914 1.5791564686718218 0.05008380869776186 1.4610790630981343 1.6587784926912859 0.9993809762136817 0.9544768421847091 0.032881846393524566 6.938893903907228e-18 0.03288184639352457 0.03288184639352457 0.0020147511236376335 0.15513583652009777 95.6683947089 0.0 95.6683947089 95.6683947089 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 35795.6051584999 0.05808408074107142 2.1197853665 0.06314311228655133 2.016407028 2.209017256 55.95943845971502 53.03971840127818 1.5362442702532075 1.620811144771321 1.5351315482200747 0.04562191109864703 1.4724685887650666 1.6131210000424574 0.9992756867806253 0.9471378285942532 0.027400925423395416 3.469446951953614e-18 0.02740092542339542 0.02740092542339542 0.0023576874851078686 0.1815419363533059 115.45527200249998 1.4210854715202004e-14 115.4552720025 115.4552720025 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 35163.96559285355 0.0508235706484375 2.1578624231 0.052170499136165234 2.08085964 2.272858208 63.94690684996445 60.15429208472687 1.5090624053105184 1.6042059463895888 1.5078105166121096 0.0358054157809604 1.4311093010778786 1.563156139402079 0.9991704195306945 0.9399108138238573 0.02355273909233935 3.469446951953614e-18 0.023552739092339355 0.023552739092339355 0.002700623846578104 0.20794803618651403 134.8504865569 0.0 134.8504865569 134.8504865569 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 1 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 22000.831134680982 3.2527085215 3.4489151585 0.19386355641345057 3.236429164 3.804393378 1.0 1.0 0.9445657601526325 0.9445657601526325 0.9445657601526325 0.051204640488775016 0.8549874311919802 1.0050300367086915 1.0 1.0 0.943110622331071 0.0 0.943110622331071 0.943110622331071 0.0 0.0 0.1962066370000004 0.0 0.1962066370000004 0.1962066370000004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 37434.72613603558 1.62635426075 2.0269682146 0.11581128843513887 1.840515774 2.209266778 1.9999736425935688 1.9979725104007584 1.6073268342577043 1.6089367029899602 1.6073056517743851 0.09031200907499706 1.4723022832238506 1.7672809803910976 0.9999868212967844 0.9989862552003792 0.8023580483579231 0.0 0.8023580483579231 0.8023580483579231 4.2867045183779435e-05 0.0033007624791510162 0.8012279077000004 0.0 0.8012279077000004 0.8012279077000004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47369.330825061836 1.0842361738333333 1.6018592341999998 0.10421732884443802 1.461502094 1.763985161 2.9999209288227617 2.9939236910288956 2.0349469023394002 2.0390231787347504 2.034893267123672 0.13285599814460566 1.8439545827335901 2.2255927889898732 0.9999736429409206 0.9979745636762984 0.6768610816011073 1.1102230246251565e-16 0.6768610816011073 0.6768610816011073 8.573409036755887e-05 0.0066015249583020325 1.5528691810999995 2.220446049250313e-16 1.5528691810999993 1.5528691810999993 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 55365.577603194244 0.813177130375 1.3705085955 0.14811095539772096 1.179867873 1.740355128 3.99984185972958 3.9878596767836028 2.3863024225298055 2.3934724622274515 2.3862080799022047 0.2316688706618755 1.8689912588346163 2.756841334470338 0.999960464932395 0.9969649191959007 0.5933396791855435 0.0 0.5933396791855435 0.5933396791855435 0.0001286011355513383 0.00990228743745305 2.229325860500001 4.440892098500626e-16 2.2293258605000004 2.2293258605000004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 58002.374824792176 0.6505417042999999 1.3082050559 0.08040258589634136 1.229756442 1.487860895 4.999736436355969 4.97978657776261 2.4910220281572264 2.5010014793723836 2.4908907195886054 0.1436297000386632 2.186164400469709 2.6450022219115157 0.9999472872711939 0.9959573155525221 0.4972780844761754 0.0 0.4972780844761754 0.4972780844761754 0.00017146818073511774 0.013203049916604065 3.2883167580000006 0.0 3.2883167580000006 3.2883167580000006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 61609.280402193755 0.5421180869166666 1.2316163977999999 0.0912348875917623 1.113392253 1.410822294 5.999604659743819 5.969710479387391 2.6483262374221845 2.6615881104154426 2.6481517390933256 0.19214375724377522 2.3055409142124033 2.9214398723681434 0.9999341099573033 0.9949517465645652 0.44016796779016265 5.551115123125783e-17 0.4401679677901627 0.4401679677901627 0.00021433522591889716 0.01650381239575508 4.1369898653 8.881784197001252e-16 4.1369898652999995 4.1369898652999995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 64453.70862835711 0.4646726459285714 1.1772635216 0.041974301202366684 1.111084908 1.255885568 6.999446530934968 6.957637442527607 2.7649005274899046 2.781515071082649 2.7646819150742106 0.09741090884284145 2.589972051896371 2.927506708155197 0.9999209329907096 0.9939482060753724 0.3947057200048484 5.551115123125783e-17 0.3947057200048484 0.3947057200048484 0.0002572022711026766 0.0198045748749061 4.988136129700001 8.881784197001252e-16 4.9881361297 4.9881361297 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 68446.00772816468 0.4065885651875 1.1085964327 0.04098230470174042 1.035451248 1.173223609 7.999262050971193 7.9435735036248 2.9363540126322616 2.9569393687548713 2.93608315268328 0.10860513436735941 2.772454028838078 3.141343957798774 0.9999077563713992 0.9929466879531 0.366759763241569 5.551115123125783e-17 0.366759763241569 0.366759763241569 0.00030006931628645604 0.023105337354057117 5.6160629401 0.0 5.6160629401 5.6160629401 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 72115.86858915708 0.3614120579444444 1.0521817386999999 0.03576561657467751 0.996957934 1.120177048 8.999051220894223 8.927524674815347 3.093501927282601 3.118286793884099 3.093175810616792 0.10479953580167244 2.903745017189461 3.262633668453257 0.9998945800993583 0.9919471860905942 0.3434882441420996 0.0 0.3434882441420996 0.3434882441420996 0.0003429363614702355 0.02640609983320813 6.2169271268 8.881784197001252e-16 6.216927126799999 6.216927126799999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 74790.39032837698 0.32527085214999996 1.0145554752000001 0.02563420357838462 0.981313984 1.056041279 9.99881404174573 9.909496944052655 3.2074387366280495 3.2363482888082835 3.2070583477835726 0.08006530333180178 3.080096002099554 3.3146460506365307 0.999881404174573 0.9909496944052656 0.32060430415190366 5.551115123125783e-17 0.32060430415190366 0.32060430415190366 0.0003858034066540149 0.029706862312359153 6.8928462305 8.881784197001252e-16 6.892846230500001 6.892846230500001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 77944.23268917741 0.2710590434583333 0.9735037139000001 0.0322895906104746 0.92917644 1.044413839 11.998260640400579 11.86752860829445 3.343529453701967 3.380361587359825 3.3430448203643635 0.10803991320808116 3.11438665406271 3.5006360272113657 0.999855053366715 0.9889607173578708 0.27843657870849886 5.551115123125783e-17 0.27843657870849886 0.27843657870849886 0.0004715374970215738 0.03630838727066118 8.429336045300003 1.7763568394002505e-15 8.429336045300001 8.429336045300001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 79464.22302155312 0.2323363229642857 0.9548825511000001 0.013590701139009493 0.934800031 0.974074605 13.997601855268012 13.817715920915713 3.407325014379719 3.451683274989627 3.4067413530559048 0.04846245073578047 3.339280692468109 3.4795768224573367 0.9998287039477152 0.9869797086368366 0.24331403133991736 2.7755575615628914e-17 0.24331403133991739 0.24331403133991739 0.0005572715873891327 0.04290991222896321 10.115647193900003 0.0 10.115647193900003 10.115647193900003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 77373.13818728316 0.20329428259375 0.9806891872000001 0.03919238878686565 0.940083049 1.082110873 15.99683769467942 15.760105927252901 3.319964318973129 3.3698333379157246 3.3193081476712525 0.12544015917821474 3.0058920972509253 3.460022521371939 0.9998023559174638 0.9850066204533063 0.20729736316781727 2.7755575615628914e-17 0.2072973631678173 0.2072973631678173 0.0006430056777566916 0.04951143718726525 12.438318473700003 1.7763568394002505e-15 12.4383184737 12.4383184737 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 75171.61260398138 0.1807060289722222 1.0094102996000003 0.023336804087134403 0.982378073 1.060733172 17.99596816696532 17.694745297196455 3.223956223353862 3.2788385813249428 3.2232340870647684 0.07297368715386003 3.0664719529484086 3.3110557033982166 0.9997760092758512 0.9830414053998031 0.17902138411291293 2.7755575615628914e-17 0.17902138411291296 0.17902138411291296 0.0007287397681242505 0.05611296214556728 14.916676871300009 3.552713678800501e-15 14.916676871300005 14.916676871300005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 70535.81858549327 0.16263542607499998 1.0757513207000002 0.062354037232401835 1.01216234 1.207835019 19.994993280455347 19.621680328928655 3.0293294221988942 3.086964032935082 3.028571072057628 0.1667753566127378 2.6930072984578697 3.2136233417852713 0.9997496640227674 0.9810840164464327 0.1511831061189604 2.7755575615628914e-17 0.15118310611896044 0.15118310611896044 0.0008144738584918093 0.06271448710386932 18.2623178925 3.552713678800501e-15 18.262317892500004 18.262317892500004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 62342.77556684944 0.13552952172916666 1.2171257906000001 0.050584162422624 1.148280744 1.30836954 23.99272746436194 23.452620734063103 2.675546148809648 2.737163163751537 2.6747353986130444 0.10947867734513532 2.486077841203793 2.83267705959197 0.9996969776817475 0.9771925305859627 0.11135210737943146 1.3877787807814457e-17 0.11135210737943148 0.11135210737943148 0.0009859420392269271 0.07591753702047338 25.9583104529 3.552713678800501e-15 25.958310452900005 25.958310452900005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 59168.37354981784 0.11616816148214285 1.2824249755000001 0.06086486813307242 1.213425143 1.444742288 27.990040313018735 27.253290233202495 2.5400005716368645 2.608665514763875 2.539097085543088 0.11238048609993599 2.251410890729046 2.6806008926584437 0.9996442968935262 0.9733317940429462 0.09058476222895646 1.3877787807814457e-17 0.09058476222895648 0.09058476222895648 0.0011574102199620449 0.08912058693707745 32.6551907925 7.105427357601002e-15 32.65519079250001 32.65519079250001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 54741.573718326195 0.101647141296875 1.3861311403 0.10064666677228357 1.295766797 1.601903868 31.986931893031223 31.024046201415686 2.3534347353018057 2.426477710356094 2.3524736435247755 0.157487872301276 2.03052666672255 2.510257655182069 0.9995916216572257 0.9695014437942402 0.0733315473129588 1.3877787807814457e-17 0.07333154731295881 0.07333154731295881 0.0013288784006971624 0.10232363685368151 41.103487968100005 0.0 41.103487968100005 41.103487968100005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 50384.148408030975 0.08131771303749999 1.5060093779 0.052062061518207865 1.406474871 1.605269339 39.97945151347506 38.47721913744581 2.1622213882318877 2.2466391046459044 2.1611106288053876 0.07482097005173195 2.0262696374218856 2.3126673562161355 0.9994862878368767 0.9619304784361451 0.0539954891588328 6.938893903907228e-18 0.05399548915883281 0.05399548915883281 0.0016718147621673982 0.12872973668688967 56.9876665945 0.0 56.9876665945 56.9876665945 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47657.70831048057 0.06776476086458333 1.5921663607 0.034454484261688366 1.520561226 1.645634356 47.97028685825672 45.814888424866034 2.0446935242566204 2.140887782727298 2.0434278103293746 0.0448304323461463 1.9765681906436814 2.1391499834943177 0.9993809762136817 0.9544768421847091 0.04256135698959898 6.938893903907228e-18 0.04256135698959899 0.04256135698959899 0.0020147511236376335 0.15513583652009777 73.1712767921 0.0 73.1712767921 73.1712767921 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 48507.490369765816 0.05808408074107142 1.5642738765000002 0.05033308344627827 1.497926902 1.661674392 55.95943845971502 53.03971840127818 2.0819473348832167 2.1965539651122556 2.080439352906519 0.06603083534524122 1.9574885050644748 2.1714734658660935 0.9992756867806253 0.9471378285942532 0.037131656811294586 0.0 0.03713165681129459 0.03713165681129459 0.0023576874851078686 0.1815419363533059 84.3466285625 1.4210854715202004e-14 84.34662856250002 84.34662856250002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 47126.92325916155 0.0508235706484375 1.6100987450999997 0.13650466187993335 1.435166984 1.883277784 63.94690684996445 60.15429208472687 2.0289713973030983 2.156894220645744 2.027288202259116 0.16614373449542774 1.7271528125773292 2.26643210007122 0.9991704195306945 0.9399108138238573 0.03156549919879662 6.938893903907228e-18 0.03156549919879663 0.03156549919879663 0.002700623846578104 0.20794803618651403 99.79361116489999 0.0 99.79361116489999 99.79361116489999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 1 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 21774.76289635617 3.2527085215 3.4847222154 0.17912275681233364 3.242072242 3.815105938 1.0 1.0 0.9346387995994389 0.9346387995994389 0.9346387995994389 0.04723197327249624 0.8525866841865926 1.0032807040392901 1.0 1.0 0.9334197449441839 2.220446049250313e-16 0.9334197449441839 0.9334197449441839 0.0 0.0 0.23201369390000037 0.0 0.23201369390000037 0.23201369390000037 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 38078.999906752295 1.62635426075 1.9926731317999997 0.09663668703983129 1.910652877 2.252594742 1.9999736425935688 1.9979725104007584 1.634176057929802 1.6358128183462841 1.6341545216085325 0.07326360754233757 1.4439830036236496 1.702406837293868 0.9999868212967844 0.9989862552003792 0.8161671047779419 1.1102230246251565e-16 0.8161671047779419 0.8161671047779419 4.2867045183779435e-05 0.0033007624791510162 0.7326377420999997 0.0 0.7326377420999997 0.7326377420999997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 52162.944470307215 1.0842361738333333 1.4546533132 0.06133512093116537 1.370425551 1.551616016 2.9999209288227617 2.9939236910288956 2.2381117491095885 2.2425949924229953 2.2380527590659907 0.09389748420890769 2.096336005789205 2.3735025365854403 0.9999736429409206 0.9979745636762984 0.745357099175879 1.1102230246251565e-16 0.745357099175879 0.745357099175879 8.573409036755887e-05 0.0066015249583020325 1.1112514181000002 0.0 1.1112514181000002 1.1112514181000002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 57909.58480355895 0.813177130375 1.3103012265999998 0.06908833874039307 1.199580289 1.427341742 3.99984185972958 3.9878596767836028 2.485966950282235 2.493436448511912 2.485868667410792 0.13143822047282555 2.278857561429041 2.7115388201414503 0.999960464932395 0.9969649191959007 0.6206031970870171 0.0 0.6206031970870171 0.6206031970870171 0.0001286011355513383 0.00990228743745305 1.9884963848999995 0.0 1.9884963848999995 1.9884963848999995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 62604.57163893236 0.6505417042999999 1.2120360864 0.10832402926137441 1.10515707 1.42830777 4.999736436355969 4.97978657776261 2.694086649514098 2.70487961159325 2.6939446368551616 0.22559641632405839 2.277316268817889 2.9432092593860886 0.9999472872711939 0.9959573155525221 0.5367346002314539 0.0 0.5367346002314539 0.5367346002314539 0.00017146818073511774 0.013203049916604065 2.807471910499999 4.440892098500626e-16 2.8074719104999994 2.8074719104999994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 65119.60028340317 0.5421180869166666 1.1652252113000001 0.045672592799296495 1.055939696 1.21471792 5.999604659743819 5.969710479387391 2.7938829337417674 2.8078737027421083 2.793698844675973 0.11498793448504786 2.677748033469367 3.0803923120056655 0.9999341099573033 0.9949517465645652 0.46524747461638327 0.0 0.46524747461638327 0.46524747461638327 0.00021433522591889716 0.01650381239575508 3.738642746300001 0.0 3.738642746300001 3.738642746300001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 65884.8212578554 0.4646726459285714 1.1516916727 0.052636089276884956 1.045549085 1.233292283 6.999446530934968 6.957637442527607 2.8275185183829983 2.8445093392880874 2.827294954950037 0.133113405989816 2.637419017645795 3.111005086384825 0.9999209329907096 0.9939482060753724 0.403469658540817 5.551115123125783e-17 0.403469658540817 0.403469658540817 0.0002572022711026766 0.0198045748749061 4.8091331874 0.0 4.8091331874 4.8091331874 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 69814.2117058862 0.4065885651875 1.0868703970999998 0.039618769689968615 1.00047738 1.15274485 7.999262050971193 7.9435735036248 2.995024916507693 3.0160215859273762 2.9947486445416445 0.11188394424381945 2.82170726809146 3.2511564844174687 0.9999077563713992 0.9929466879531 0.37409112095827085 0.0 0.3740911209582709 0.3740911209582709 0.00030006931628645604 0.023105337354057117 5.442254655299998 0.0 5.442254655299998 5.442254655299998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 72727.24248165391 0.3614120579444444 1.0433366839 0.03620016333435543 1.003951751 1.141458934 8.999051220894223 8.927524674815347 3.119733749696916 3.1447287833629685 3.119404867674994 0.10198375409218001 2.84960625793306 3.239905222795911 0.9998945800993583 0.9919471860905942 0.3464002210614157 5.551115123125783e-17 0.3464002210614157 0.3464002210614157 0.0003429363614702355 0.02640609983320813 6.137321633600001 8.881784197001252e-16 6.1373216336 6.1373216336 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 75032.8551601514 0.32527085214999996 1.0112769910999997 0.03726542667190028 0.966277878 1.079349939 9.99881404174573 9.909496944052655 3.2189849227300287 3.247998543950081 3.2186031645560806 0.1171642113212704 3.0135810490836556 3.3662247636595484 0.999881404174573 0.9909496944052656 0.3216436792418188 5.551115123125783e-17 0.3216436792418188 0.3216436792418188 0.0003858034066540149 0.029706862312359153 6.860061389499998 8.881784197001252e-16 6.8600613894999976 6.8600613894999976 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 78797.27131580305 0.2710590434583333 0.9629648176 0.030406903082577614 0.933735203 1.038209691 11.998260640400579 11.86752860829445 3.3799373389035074 3.4171705397906247 3.379447428365519 0.10272522207356966 3.132997649412232 3.4835449183551876 0.999855053366715 0.9889607173578708 0.28148384915442143 5.551115123125783e-17 0.28148384915442143 0.28148384915442143 0.0004715374970215738 0.03630838727066118 8.302869289699998 0.0 8.302869289699998 8.302869289699998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 79473.78967173658 0.2323363229642857 0.9547676072 0.031129204398535476 0.927327439 1.024469521 13.997601855268012 13.817715920915713 3.40915579427055 3.4535378888884187 3.4085718193413674 0.10696680592125044 3.175017367354162 3.5076159560290976 0.9998287039477152 0.9869797086368366 0.24334332377032247 2.7755575615628914e-17 0.2433433237703225 0.2433433237703225 0.0005572715873891327 0.04290991222896321 10.114037979300003 1.7763568394002505e-15 10.1140379793 10.1140379793 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 78515.74567800632 0.20329428259375 0.9664176191000001 0.031064121860897985 0.935338684 1.031662884 15.99683769467942 15.760105927252901 3.368111738409812 3.418703977345527 3.3674460510553943 0.10538448895413179 3.1528792708801183 3.4775729659653423 0.9998023559174638 0.9850066204533063 0.210358626101077 2.7755575615628914e-17 0.210358626101077 0.210358626101077 0.0006430056777566916 0.04951143718726525 12.209973384100005 1.7763568394002505e-15 12.209973384100003 12.209973384100003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 77588.8188023313 0.1807060289722222 0.9779630772999998 0.00947542846305556 0.961403906 0.998994588 17.99596816696532 17.694745297196455 3.32690434579272 3.3835392200254093 3.326159150079132 0.032117160128528326 3.2559821250002607 3.3832903124277505 0.9997760092758512 0.9830414053998031 0.18477796674197838 0.0 0.1847779667419784 0.1847779667419784 0.0007287397681242505 0.05611296214556728 14.350626869899994 0.0 14.350626869899994 14.350626869899994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 72603.74641772934 0.16263542607499998 1.0451113578 0.05375280071749087 1.003772923 1.15487926 19.994993280455347 19.621680328928655 3.1170280923692557 3.176331217160175 3.1162477880956905 0.1499383533079824 2.8164922811931006 3.2404824308057165 0.9997496640227674 0.9810840164464327 0.15561540391002338 2.7755575615628914e-17 0.1556154039100234 0.1556154039100234 0.0008144738584918093 0.06271448710386932 17.649518634499998 0.0 17.649518634499998 17.649518634499998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 67582.40482297626 0.13552952172916666 1.122762651 0.039306553763768654 1.06929892 1.181394957 23.99272746436194 23.452620734063103 2.8997080540382245 2.9664874495542692 2.8988293777814347 0.10112335697315986 2.7532778113086187 3.0419076094269313 0.9996969776817475 0.9771925305859627 0.12071075004895818 1.3877787807814457e-17 0.12071075004895819 0.12071075004895819 0.0009859420392269271 0.07591753702047338 23.6935951025 3.552713678800501e-15 23.693595102499998 23.693595102499998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 62351.18353620242 0.11616816148214285 1.2169616629 0.03529712859936629 1.1607254 1.289284971 27.990040313018735 27.253290233202495 2.674882396023749 2.747193658330296 2.6739309320460314 0.07715091705499832 2.5228778700314187 2.802306662282052 0.9996442968935262 0.9733317940429462 0.0954575357824469 1.3877787807814457e-17 0.09545753578244691 0.09545753578244691 0.0011574102199620449 0.08912058693707745 30.822218039699997 3.552713678800501e-15 30.8222180397 30.8222180397 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 57619.95995762623 0.101647141296875 1.3168874128999999 0.06170609191582454 1.196787587 1.408831037 31.986931893031223 31.024046201415686 2.47375409587229 2.5505313933281606 2.4727438682741867 0.11819612541334443 2.3087995906353673 2.717866191822392 0.9995916216572257 0.9695014437942402 0.07718741959347267 1.3877787807814457e-17 0.07718741959347268 0.07718741959347268 0.0013288784006971624 0.10232363685368151 38.887688691300006 7.105427357601002e-15 38.8876886913 38.8876886913 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 53642.17032538526 0.08131771303749999 1.4145400818 0.06421206735686859 1.338564721 1.563567079 39.97945151347506 38.47721913744581 2.3029645318777723 2.392877159614089 2.3017814709865045 0.10002814284435065 2.0803127446123466 2.4299971980958848 0.9994862878368767 0.9619304784361451 0.05748703347735706 0.0 0.057487033477357063 0.057487033477357063 0.0016718147621673982 0.12872973668688967 53.3288947505 7.105427357601002e-15 53.328894750500005 53.328894750500005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 51793.31893138051 0.06776476086458333 1.4650345173 0.061378869701623213 1.417447081 1.617236799 47.97028685825672 45.814888424866034 2.223473800732774 2.3280789217218616 2.222097417561865 0.087594611823826 2.011275357765341 2.2947654026034146 0.9993809762136817 0.9544768421847091 0.04625471964269556 0.0 0.04625471964269557 0.04625471964269557 0.0020147511236376335 0.15513583652009777 67.06894830889999 1.4210854715202004e-14 67.0689483089 67.0689483089 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 50047.24109923603 0.05808408074107142 1.5161475105000002 0.09170092755115049 1.317240467 1.654291973 55.95943845971502 53.03971840127818 2.1510064748264477 2.2694146591019306 2.14944847240177 0.13764629667973485 1.966223964444032 2.469335404573476 0.9992756867806253 0.9471378285942532 0.038310309741508106 0.0 0.03831030974150811 0.03831030974150811 0.0023576874851078686 0.1815419363533059 81.65155206650002 0.0 81.65155206650002 81.65155206650002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 51296.29020647788 0.0508235706484375 1.4792297785000001 0.1001749866364442 1.340660502 1.706560117 63.94690684996445 60.15429208472687 2.2056719245343337 2.3447353831563134 2.2038421421840444 0.1443984880667952 1.9060028938318379 2.4261985168113798 0.9991704195306945 0.9399108138238573 0.03435813109439608 6.938893903907228e-18 0.03435813109439609 0.03435813109439609 0.002700623846578104 0.20794803618651403 91.41799730250001 0.0 91.41799730250001 91.41799730250001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 1 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 22298.338017036604 3.2527085215 3.4028993525000004 0.1665650210480478 3.170330231 3.648487094 1.0 1.0 0.9570055532940617 0.9570055532940617 0.9570055532940617 0.04661797334418025 0.8915225510456471 1.0259841355624382 1.0 1.0 0.9558638632994948 1.1102230246251565e-16 0.9558638632994948 0.9558638632994948 0.0 0.0 0.15019083100000064 0.0 0.15019083100000064 0.15019083100000064 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 2 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 34267.32464449044 1.62635426075 2.2143251854999995 0.14176393722732333 2.049155324 2.510667764 1.9999736425935688 1.9979725104007584 1.4718807870056299 1.4733549954902427 1.4718613895255692 0.09017063543795253 1.2955551380154653 1.58734112705065 0.9999868212967844 0.9989862552003792 0.7344694769313052 1.1102230246251565e-16 0.7344694769313052 0.7344694769313052 4.2867045183779435e-05 0.0033007624791510162 1.1759418494999991 0.0 1.1759418494999991 1.1759418494999991 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 3 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 31510.083436929 1.0842361738333333 2.4080862924999997 0.10555891449652989 2.227671557 2.598037138 2.9999209288227617 2.9939236910288956 1.3520843512894318 1.3547927607910988 1.3520487143223046 0.05976887432568537 1.2519869227134965 1.4601382826292466 0.9999736429409206 0.9979745636762984 0.45024805681183183 5.551115123125783e-17 0.45024805681183183 0.45024805681183183 8.573409036755887e-05 0.0066015249583020325 3.971550355999999 0.0 3.971550355999999 3.971550355999999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 4 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 37497.69462118678 0.813177130375 2.0235644022000003 0.02692439588136075 1.981224408 2.081230076 3.99984185972958 3.9878596767836028 1.6076205929750966 1.6124509545259031 1.60755703558627 0.021252825222167405 1.562877914849045 1.6417668328564219 0.999960464932395 0.9969649191959007 0.40185384240349425 5.551115123125783e-17 0.40185384240349425 0.40185384240349425 0.0001286011355513383 0.00990228743745305 4.8415490873000016 0.0 4.8415490873000016 4.8415490873000016 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 5 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 44139.00609777935 0.6505417042999999 1.719091722 0.045289772929139674 1.669937776 1.818436362 4.999736436355969 4.97978657776261 1.8928554484972617 1.9004385442676341 1.8927556709213356 0.04876779642560072 1.788739264937774 1.9478022284705774 0.9999472872711939 0.9959573155525221 0.3784217537521247 5.551115123125783e-17 0.3784217537521247 0.3784217537521247 0.00017146818073511774 0.013203049916604065 5.342750088499999 8.881784197001252e-16 5.3427500885 5.3427500885 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 6 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 50084.000044101165 0.5421180869166666 1.5150347403 0.03426465754591775 1.465613392 1.583408417 5.999604659743819 5.969710479387391 2.1476394507172283 2.1583940629052063 2.147497942662123 0.04801113447275621 2.0542448092215744 2.2193496178834042 0.9999341099573033 0.9949517465645652 0.35782551547914937 5.551115123125783e-17 0.35782551547914937 0.35782551547914937 0.00021433522591889716 0.01650381239575508 5.837499920299999 8.881784197001252e-16 5.8374999203 5.8374999203 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 7 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 55532.08484542173 0.4646726459285714 1.3663992664999998 0.04071632727142136 1.335748403 1.470379398 6.999446530934968 6.957637442527607 2.3817095275282965 2.3960214408781404 2.381521212878957 0.06777188491287983 2.2121559414694683 2.4351206516097177 0.9999209329907096 0.9939482060753724 0.34007091288830954 5.551115123125783e-17 0.34007091288830954 0.34007091288830954 0.0002572022711026766 0.0198045748749061 6.312086343999999 8.881784197001252e-16 6.312086343999998 6.312086343999998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 8 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 61416.515376766736 0.4065885651875 1.2354820121999999 0.026097271098322224 1.199841266 1.297304563 7.999262050971193 7.9435735036248 2.63356757114315 2.65203023814165 2.633324641314222 0.05461599307639956 2.5072821095904834 2.7109490344033556 0.9999077563713992 0.9929466879531 0.329093067460768 0.0 0.329093067460768 0.329093067460768 0.00030006931628645604 0.023105337354057117 6.6311475761 8.881784197001252e-16 6.631147576099999 6.631147576099999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 9 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 65603.69182644988 0.3614120579444444 1.1566269807 0.023807690747345872 1.132354547 1.217215626 8.999051220894223 8.927524674815347 2.8131175437137323 2.8356559951820723 2.81282098514178 0.05628753353042319 2.672253339524578 2.8725177375915987 0.9998945800993583 0.9919471860905942 0.31247071352746314 0.0 0.3124707135274632 0.3124707135274632 0.0003429363614702355 0.02640609983320813 7.156934304800002 8.881784197001252e-16 7.156934304800001 7.156934304800001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 10 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 68342.2277178892 0.32527085214999996 1.1102798743000002 0.03171919608039862 1.078942243 1.17423704 9.99881404174573 9.909496944052655 2.9311519453912194 2.957571246606795 2.9308043230068037 0.08155670749416427 2.770061248876973 3.0147197800466508 0.999881404174573 0.9909496944052656 0.29296293635428994 5.551115123125783e-17 0.29296293635428994 0.29296293635428994 0.0003858034066540149 0.029706862312359153 7.850090221500001 0.0 7.850090221500001 7.850090221500001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 12 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 74772.12303460443 0.2710590434583333 1.0148033374 0.03979117030931828 0.953969698 1.100902457 11.998260640400579 11.86752860829445 3.2081410270590482 3.243481729373205 3.207676017818072 0.12220762566159386 2.9545837606392045 3.4096560177113715 0.999855053366715 0.9889607173578708 0.2671049980509586 0.0 0.2671049980509586 0.2671049980509586 0.0004715374970215738 0.03630838727066118 8.924931527300002 1.7763568394002505e-15 8.9249315273 8.9249315273 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 14 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 78305.16333779736 0.2323363229642857 0.9690165599 0.04320052303578331 0.935811229 1.070222824 13.997601855268012 13.817715920915713 3.360486459768354 3.4042349526562883 3.359910821704039 0.1406810798794257 3.0392815856261346 3.475816939037819 0.9998287039477152 0.9869797086368366 0.2397650696374706 2.7755575615628914e-17 0.2397650696374706 0.2397650696374706 0.0005572715873891327 0.04290991222896321 10.313523317099998 1.7763568394002505e-15 10.3135233171 10.3135233171 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 16 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 82131.57513623127 0.20329428259375 0.9238712379999999 0.015431745450303243 0.898889505 0.958825381 15.99683769467942 15.760105927252901 3.521921483424351 3.574824090891394 3.5212253964839952 0.058167907437823504 3.392388839464816 3.618585491772985 0.9998023559174638 0.9850066204533063 0.22004612139873758 2.7755575615628914e-17 0.2200461213987376 0.2200461213987376 0.0006430056777566916 0.04951143718726525 11.529231286499998 1.7763568394002505e-15 11.5292312865 11.5292312865 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 18 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 82827.08262244539 0.1807060289722222 0.9161133967000001 0.03401007916982231 0.894331486 1.012225198 17.99596816696532 17.694745297196455 3.553672939422167 3.6141681623289528 3.552876949647077 0.12218715524830798 3.2134237795372482 3.6370278497608433 0.9997760092758512 0.9830414053998031 0.19725290517872213 0.0 0.19725290517872215 0.19725290517872215 0.0007287397681242505 0.05611296214556728 13.237332619100002 0.0 13.237332619100002 13.237332619100002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 20 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 82055.42431045101 0.16263542607499998 0.9247286286999999 0.03396660653372697 0.89937484 1.019170186 19.994993280455347 19.621680328928655 3.520616908081469 3.5875985257165794 3.519735571007322 0.12037046819092592 3.1915263674127923 3.6166327729381442 0.9997496640227674 0.9810840164464327 0.17587367907451482 2.7755575615628914e-17 0.17587367907451484 0.17587367907451484 0.0008144738584918093 0.06271448710386932 15.241864052500002 3.552713678800501e-15 15.241864052499999 15.241864052499999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 24 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 77935.90684442407 0.13552952172916666 0.9736077127000001 0.03382332363644564 0.935680793 1.046837625 23.99272746436194 23.452620734063103 3.343863490134405 3.420871650403633 3.342850224867705 0.11202707045901539 3.1071757871713865 3.476301475710638 0.9996969776817475 0.9771925305859627 0.13920341833911465 0.0 0.13920341833911465 0.13920341833911465 0.0009859420392269271 0.07591753702047338 20.1138765833 0.0 20.1138765833 20.1138765833 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 28 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 72881.81777535882 0.11616816148214285 1.0411238675999999 0.05686833103018179 0.970571936 1.151950984 27.990040313018735 27.253290233202495 3.1298987580063766 3.2145106760553985 3.1287854432952056 0.1652809585743897 2.823651845155245 3.3513317260185027 0.9996442968935262 0.9733317940429462 0.11157957770186734 0.0 0.11157957770186736 0.11157957770186736 0.0011574102199620449 0.08912058693707745 25.8987597713 3.552713678800501e-15 25.898759771299996 25.898759771299996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 32 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 70729.0915163758 0.101647141296875 1.0728117437 0.030161972720849514 1.03649236 1.151201707 31.986931893031223 31.024046201415686 3.0343525976947414 3.12852905297295 3.033113433809502 0.08192319946079522 2.825489661561108 3.138188612890499 0.9995916216572257 0.9695014437942402 0.09474834880750474 1.3877787807814457e-17 0.09474834880750475 0.09474834880750475 0.0013288784006971624 0.10232363685368151 31.077267276899995 3.552713678800501e-15 31.0772672769 31.0772672769 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 40 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 64627.316544236244 0.08131771303749999 1.1741010467 0.052092478709096 1.083462472 1.282017464 39.97945151347506 38.47721913744581 2.7745070009671577 2.882829648440308 2.77308170297409 0.12138450428744396 2.537179572695743 3.002142303549947 0.9994862878368767 0.9619304784361451 0.06925955246020478 1.3877787807814457e-17 0.06925955246020479 0.06925955246020479 0.0016718147621673982 0.12872973668688967 43.7113333465 0.0 43.7113333465 43.7113333465 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 48 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 62038.536269716664 0.06776476086458333 1.2230946209 0.0522144385590028 1.187679121 1.362779045 47.97028685825672 45.814888424866034 2.6633622732688265 2.7886623027727677 2.6617135886700902 0.10542794380745935 2.3868201770742665 2.7387098619375325 0.9993809762136817 0.9544768421847091 0.05540434869603089 6.938893903907228e-18 0.0554043486960309 0.0554043486960309 0.0020147511236376335 0.15513583652009777 55.45583328170001 7.105427357601002e-15 55.4558332817 55.4558332817 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 56 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 61842.852141085816 0.05808408074107142 1.2269647562 0.04720081941774356 1.152433138 1.30786269 55.95943845971502 53.03971840127818 2.654901145966909 2.801047625674835 2.652978165970752 0.10177390589572288 2.487041297508074 2.8224704880883076 0.9992756867806253 0.9471378285942532 0.04733964887545922 0.0 0.047339648875459224 0.047339648875459224 0.0023576874851078686 0.1815419363533059 65.4573178257 0.0 65.4573178257 65.4573178257 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 64 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 10 60989.584561990145 0.0508235706484375 1.2441304617000002 0.06724789597720307 1.141226956 1.367040724 63.94690684996445 60.15429208472687 2.6203677223158537 2.7855769695630728 2.618193916431022 0.13781857077824108 2.3793793881885845 2.850185499386329 0.9991704195306945 0.9399108138238573 0.04085067620560574 6.938893903907228e-18 0.04085067620560575 0.04085067620560575 0.002700623846578104 0.20794803618651403 76.37164102730002 0.0 76.37164102730002 76.37164102730002