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 54100.48903967341 1.4025566376 1.4025566376 0.04719497297053786 1.346224936 1.49752145 1.0 1.0 1.0005609208508424 1.0005609208508424 1.0005609208508424 0.033208696350448375 0.9365853407976227 1.0418441971275445 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 24563.048212447433 0.7012783188 3.089152427 0.04971786848796857 3.040473479 3.183713047 1.9999736425935688 1.9979725104007584 0.45409062874300854 0.45454543749082704 0.45408464441737934 0.00721107986431275 0.4405411596128689 0.4612954683825414 0.9999868212967844 0.9989862552003792 0.22701318091999734 2.7755575615628914e-17 0.22701318091999736 0.22701318091999736 1.848412126675365e-05 0.0014232773375400308 4.775748216400001 8.881784197001252e-16 4.7757482164 4.7757482164 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 24207.17422199922 0.4675188792 3.1345666084 0.055914182257258055 3.030925867 3.206672814 2.9999209288227617 2.9939236910288956 0.4475316549785417 0.4484281219670729 0.44751985936027155 0.008038313597380144 0.4373868863317092 0.462748578865192 0.9999736429409206 0.9979745636762984 0.14914944794828877 2.7755575615628914e-17 0.1491494479482888 0.1491494479482888 3.69682425335073e-05 0.0028465546750800616 8.001143187600002 1.7763568394002505e-15 8.0011431876 8.0011431876 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 24657.547152602576 0.3506391594 3.0773133893 0.03783642544122021 3.011169537 3.128236432 3.99984185972958 3.9878596767836028 0.4558256202208368 0.45719522357091125 0.4558075991241253 0.005618227310251438 0.4483537827424676 0.46578467946290203 0.999960464932395 0.9969649191959007 0.11394327292735053 0.0 0.11394327292735054 0.11394327292735054 5.545236380026094e-05 0.004269832012620093 10.906696919599998 1.7763568394002505e-15 10.9066969196 10.9066969196 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 24641.84147785941 0.28051132752 3.0792747395999998 0.07181577690557286 3.01935406 3.275657595 4.999736436355969 4.97978657776261 0.4556271875791188 0.4574525063596632 0.4556031702267432 0.010182145907545445 0.42817559434199653 0.46452208311071674 0.9999472872711939 0.9959573155525221 0.09109655722257463 1.3877787807814457e-17 0.09109655722257465 0.09109655722257465 7.39364850670146e-05 0.005693109350160123 13.993817060400001 3.552713678800501e-15 13.993817060399998 13.993817060399998 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 24714.03579602812 0.2337594396 3.0702796025000003 0.061003574901578705 2.987643109 3.195498445 5.999604659743819 5.969710479387391 0.45693633754534163 0.4592245117094241 0.4569062299905511 0.008901791141524612 0.4389163887075526 0.4694525371437195 0.9999341099573033 0.9949517465645652 0.07613620577411237 0.0 0.07613620577411238 0.07613620577411238 9.242060633376823e-05 0.007116386687700154 17.019120977400004 3.552713678800501e-15 17.0191209774 17.0191209774 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 24485.628951153096 0.20036523394285716 3.0989197848 0.05412713799839168 3.010299186 3.197384577 6.999446530934968 6.957637442527607 0.45269999415899387 0.45542031039193187 0.45266420052434997 0.007877766650684532 0.43865747263845645 0.46591934918724054 0.9999209329907096 0.9939482060753724 0.06465647640369251 0.0 0.06465647640369253 0.06465647640369253 0.00011090472760052189 0.008539664025240186 20.289881855999997 3.552713678800501e-15 20.289881856 20.289881856 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 24735.698150053344 0.1753195797 3.0675907969000002 0.027789299890868247 3.00974857 3.099897869 7.999262050971193 7.9435735036248 0.4572786792978815 0.4604844386920579 0.45723649825322127 0.004173007103620744 0.45245253129983043 0.46600458642297815 0.9999077563713992 0.9929466879531 0.05715220552792498 6.938893903907228e-18 0.057152205527924986 0.057152205527924986 0.00012938884886727552 0.009962941362780217 23.138169737600006 3.552713678800501e-15 23.138169737600002 23.138169737600002 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 24653.953750928904 0.15583962640000001 3.0777619187 0.036756581638071856 2.996200784 3.135216994 8.999051220894223 8.927524674815347 0.45578739291286985 0.45943912160014205 0.45573934385119513 0.005487346139512967 0.44735552285029495 0.46811169835138794 0.9998945800993583 0.9919471860905942 0.05063407453745619 6.938893903907228e-18 0.0506340745374562 0.0506340745374562 0.0001478729701340292 0.011386218700320246 26.2973006307 3.552713678800501e-15 26.297300630699997 26.297300630699997 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 24633.937831706095 0.14025566376 3.0802627058 0.04407575283967346 3.010009544 3.15203158 9.99881404174573 9.909496944052655 0.45543742147274774 0.4595424077194186 0.4553834084958179 0.006536937802661244 0.4449690943769034 0.46596418286971386 0.999881404174573 0.9909496944052656 0.045533669415892576 6.938893903907228e-18 0.04553366941589258 0.04553366941589258 0.00016635709140078284 0.01280949603786028 29.40007042039999 7.105427357601002e-15 29.4000704204 29.4000704204 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 24698.04251791478 0.1168797198 3.0722677696 0.04049517831659359 2.978626262 3.147364407 11.998260640400579 11.86752860829445 0.45662767482652533 0.4616578597804715 0.45656148818239445 0.006069165730393914 0.44562893145788823 0.47087365591756136 0.999855053366715 0.9889607173578708 0.03804346774604786 6.938893903907228e-18 0.03804346774604787 0.03804346774604787 0.00020332533393429013 0.01565605071294034 35.46465659759999 7.105427357601002e-15 35.4646565976 35.4646565976 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 24883.01218568781 0.10018261697142858 3.0494298453 0.03001580683063384 2.995033022 3.0966714 13.997601855268012 13.817715920915713 0.4600417469561638 0.46603080042678896 0.45996294362102397 0.004542131275376331 0.4529239484693145 0.46829421488762474 0.9998287039477152 0.9869797086368366 0.0328529010515973 6.938893903907228e-18 0.03285290105159731 0.03285290105159731 0.00024029357646779742 0.018502605388020402 41.289461196599994 7.105427357601002e-15 41.2894611966 41.2894611966 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 24627.263597765188 0.08765978985 3.0810974877000006 0.0698336212643437 2.976402739 3.228328904 15.99683769467942 15.760105927252901 0.45541951563233257 0.46226034952988515 0.45532950465999633 0.01022451614441721 0.43445283281458363 0.4712254222932295 0.9998023559174638 0.9850066204533063 0.02845083292558746 3.469446951953614e-18 0.028450832925587467 0.028450832925587467 0.0002772618190013047 0.021349160063100465 47.895003165600016 7.105427357601002e-15 47.89500316560001 47.89500316560001 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 24562.704748317497 0.0584398599 3.0891956231 0.04344721322649991 2.994790424 3.163957504 23.99272746436194 23.452620734063103 0.45420277795170816 0.4646629299353132 0.45406514437297657 0.006435898556454454 0.44329186970015644 0.4683321498426162 0.9996969776817475 0.9771925305859627 0.018917500550306922 3.469446951953614e-18 0.018917500550306925 0.018917500550306925 0.00042513478913533393 0.03273537876342071 72.7381383168 0.0 72.7381383168 72.7381383168 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 24356.23012536786 0.043829894925 3.1153836044999994 0.05147118105798514 3.05665499 3.215182674 31.986931893031223 31.024046201415686 0.45044850452006224 0.46442896396742445 0.45026455110628116 0.007365475580140628 0.4362292223524218 0.4588534336353086 0.9995916216572257 0.9695014437942402 0.014068859726195558 0.0 0.014068859726195562 0.014068859726195562 0.000573007759269363 0.04412159746374096 98.28971870639998 0.0 98.28971870639998 98.28971870639998 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 24909.08849014863 0.7012783188 3.0462375221 0.046654634777771986 2.990790408 3.152358964 1.9999736425935688 1.9979725104007584 0.4604821153852236 0.460943325727465 0.46047604682808885 0.00694234814472628 0.44492288271013036 0.46895851807212297 0.9999868212967844 0.9989862552003792 0.23021130614810237 2.7755575615628914e-17 0.2302113061481024 0.2302113061481024 1.848412126675365e-05 0.0014232773375400308 4.6899184066 0.0 4.6899184066 4.6899184066 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 24739.244151816532 0.4675188792 3.0671511035 0.03803827986737132 3.026155723 3.1618815 2.9999209288227617 2.9939236910288956 0.4573300212756602 0.45824611572926377 0.4573179674012706 0.0055783800209534004 0.4435829228894252 0.463478011703101 0.9999736429409206 0.9979745636762984 0.1524277296500009 0.0 0.15242772965000093 0.15242772965000093 3.69682425335073e-05 0.0028465546750800616 7.7988966729 0.0 7.7988966729 7.7988966729 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 24524.915439285665 0.3506391594 3.0939556219 0.04223585990606651 3.051895075 3.202664082 3.99984185972958 3.9878596767836028 0.45338110975649787 0.4547433681712007 0.4533631853036728 0.006065859866911663 0.43793435767516753 0.45956908842942445 0.999960464932395 0.9969649191959007 0.11333037775915876 0.0 0.11333037775915877 0.11333037775915877 5.545236380026094e-05 0.004269832012620093 10.973265850000002 1.7763568394002505e-15 10.97326585 10.97326585 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 24604.17211422216 0.28051132752 3.0839891563000004 0.029491531057330163 3.034184703 3.146396533 4.999736436355969 4.97978657776261 0.4548312350448636 0.4566533651063219 0.45480725964931806 0.004338381294885009 0.4457660129261273 0.4622515683416521 0.9999472872711939 0.9959573155525221 0.09095730020547217 1.3877787807814457e-17 0.09095730020547219 0.09095730020547219 7.39364850670146e-05 0.005693109350160123 14.017389143900001 0.0 14.017389143900001 14.017389143900001 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 24466.13240402273 0.2337594396 3.1013892489 0.047557792552233406 3.035550447 3.198919083 5.999604659743819 5.969710479387391 0.45231751950624893 0.4545825642773782 0.4522877162855762 0.006855358138355937 0.4384470507721186 0.4620435937693379 0.9999341099573033 0.9949517465645652 0.07537249304740117 1.3877787807814457e-17 0.07537249304740118 0.07537249304740118 9.242060633376823e-05 0.007116386687700154 17.205778855799995 3.552713678800501e-15 17.2057788558 17.2057788558 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 24406.35073484231 0.20036523394285716 3.1089858875 0.040696882756750354 3.05453851 3.197353213 6.999446530934968 6.957637442527607 0.45120407171306315 0.4539153988093425 0.4511683963565332 0.005860368949026003 0.43866177558907066 0.4591713717172942 0.9999209329907096 0.9939482060753724 0.06444713523739246 1.3877787807814457e-17 0.06444713523739247 0.06444713523739247 0.00011090472760052189 0.008539664025240186 20.3603445749 3.552713678800501e-15 20.360344574899997 20.360344574899997 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 24571.709406489863 0.1753195797 3.0880635427 0.025542345727899166 3.037080764 3.134117589 7.999262050971193 7.9435735036248 0.4542439336342549 0.45742841789608746 0.4542020325255466 0.0037714320965180274 0.447512448965743 0.4618107803470978 0.9999077563713992 0.9929466879531 0.056773307050123734 6.938893903907228e-18 0.05677330705012374 0.05677330705012374 0.00012938884886727552 0.009962941362780217 23.301951704 0.0 23.301951704 23.301951704 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 24391.491544128537 0.15583962640000001 3.1108798682 0.033612860545271434 3.027766518 3.147551249 8.999051220894223 8.927524674815347 0.45092938050943865 0.4545421872266595 0.45088184357894884 0.004938414445491783 0.4456024784491126 0.46323143784761284 0.9998945800993583 0.9919471860905942 0.050095031953185334 6.938893903907228e-18 0.05009503195318534 0.05009503195318534 0.0001478729701340292 0.011386218700320246 26.595362176200005 3.552713678800501e-15 26.595362176200002 26.595362176200002 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 24604.8721244976 0.14025566376 3.0839014166 0.0600939147878955 3.010224177 3.193874317 9.99881404174573 9.909496944052655 0.4549393497830021 0.4590398467687123 0.4548853958752954 0.008803563420041021 0.43913958358806643 0.4659309590017953 0.999881404174573 0.9909496944052656 0.045479944010218 6.938893903907228e-18 0.04547994401021801 0.04547994401021801 0.00016635709140078284 0.01280949603786028 29.436457528400005 7.105427357601002e-15 29.4364575284 29.4364575284 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 24479.973317148473 0.1168797198 3.0996357315000003 0.045450505786346074 3.045773535 3.212899169 11.998260640400579 11.86752860829445 0.45260446010067346 0.45759032554597806 0.4525388566079721 0.006517554959898751 0.4365392637069713 0.46049275216386043 0.999855053366715 0.9889607173578708 0.03770756628342216 6.938893903907228e-18 0.037707566283422166 0.037707566283422166 0.00020332533393429013 0.01565605071294034 35.7930721404 0.0 35.7930721404 35.7930721404 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 24592.20954747212 0.10018261697142858 3.0854893235 0.028836616297934714 3.041540061 3.123925656 13.997601855268012 13.817715920915713 0.4546631505479178 0.460582182761344 0.45458526854510956 0.00425902292745738 0.4489724763155503 0.46113370512005236 0.9998287039477152 0.9869797086368366 0.03246895596377796 0.0 0.03246895596377797 0.03246895596377797 0.00024029357646779742 0.018502605388020402 41.7942938914 0.0 41.7942938914 41.7942938914 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 24880.56261244886 0.08765978985 3.0497300717 0.11990363304206972 2.766454517 3.165418742 15.99683769467942 15.760105927252901 0.4603559451122662 0.46727092887156185 0.4602649584838544 0.01919181740766495 0.44308723487048846 0.5069870583381075 0.9998023559174638 0.9850066204533063 0.028743458532097598 0.0 0.028743458532097605 0.028743458532097605 0.0002772618190013047 0.021349160063100465 47.3931245096 0.0 47.3931245096 47.3931245096 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 24227.086867412014 0.0584398599 3.1319902560000004 0.05472729084354705 3.06329702 3.244779731 23.99272746436194 23.452620734063103 0.4480199660033469 0.4583377297061987 0.4478842059546252 0.007728387383328408 0.43225018456576403 0.45785851924995513 0.9996969776817475 0.9771925305859627 0.018659017149892432 0.0 0.018659017149892435 0.018659017149892435 0.00042513478913533393 0.03273537876342071 73.7652095064 1.4210854715202004e-14 73.76520950640001 73.76520950640001 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 24737.34308830922 0.043829894925 3.0673868139 0.03852713797937346 3.004646531 3.125116881 31.986931893031223 31.024046201415686 0.4574710686659028 0.4716694857094658 0.45728424738901385 0.005774786790152107 0.44880133800026023 0.46679588534935057 0.9995916216572257 0.9695014437942402 0.014289001545674928 3.469446951953614e-18 0.014289001545674931 0.014289001545674931 0.000573007759269363 0.04412159746374096 96.7538214072 0.0 96.7538214072 96.7538214072 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 31890.246091291036 0.7012783188 2.379379569 0.057577526778645687 2.311845718 2.479747614 1.9999736425935688 1.9979725104007584 0.5896431282193864 0.5902337038354205 0.5896353574875964 0.014217152365686127 0.5656045920486165 0.6066826288102675 0.9999868212967844 0.9989862552003792 0.29473158798902 5.551115123125783e-17 0.29473158798902 0.29473158798902 1.848412126675365e-05 0.0014232773375400308 3.356202500400001 8.881784197001252e-16 3.3562025004000002 3.3562025004000002 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 39815.24198683525 0.4675188792 1.9057776924999998 0.04368384985169557 1.803121206 1.948219409 2.9999209288227617 2.9939236910288956 0.7361660981400859 0.7376407393139935 0.7361466949667449 0.01734971524659816 0.719917187520433 0.777849338653943 0.9999736429409206 0.9979745636762984 0.24531658704993473 0.0 0.24531658704993475 0.24531658704993475 3.69682425335073e-05 0.0028465546750800616 4.3147764399 8.881784197001252e-16 4.314776439899999 4.314776439899999 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 43699.24467299093 0.3506391594 1.7363915685000002 0.018691281515344212 1.714220629 1.766978788 3.99984185972958 3.9878596767836028 0.8078207582382435 0.8102479891082564 0.8077888209899539 0.00866319197064456 0.7937597480655212 0.8181891023083704 0.999960464932395 0.9969649191959007 0.20193553445027565 5.551115123125783e-17 0.20193553445027568 0.20193553445027568 5.545236380026094e-05 0.004269832012620093 5.543009636400001 0.0 5.543009636400001 5.543009636400001 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 46309.8513079011 0.28051132752 1.6385066645 0.015106676019593764 1.613587575 1.661098619 4.999736436355969 4.97978657776261 0.8560783873687521 0.8595079806868878 0.8560332611408819 0.007883321936626744 0.8443548273156442 0.8692163098739776 0.9999472872711939 0.9959573155525221 0.1711993814841148 0.0 0.17119938148411482 0.17119938148411482 7.39364850670146e-05 0.005693109350160123 6.789976684899999 0.0 6.789976684899999 6.789976684899999 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 48728.208174034575 0.2337594396 1.5571883893 0.018298673593150842 1.528096673 1.596419148 5.999604659743819 5.969710479387391 0.9008193612050431 0.9053303431941042 0.9007600061788712 0.010511593886884694 0.8785641536291571 0.9178454886931097 0.9999341099573033 0.9949517465645652 0.15011635150007857 2.7755575615628914e-17 0.15011635150007857 0.15011635150007857 9.242060633376823e-05 0.007116386687700154 7.9405736982 0.0 7.9405736982 7.9405736982 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 52263.74360003955 0.20036523394285716 1.4518477776999998 0.012682909002182462 1.43337171 1.474470876 6.999446530934968 6.957637442527607 0.9661626039485841 0.9719683646048476 0.9660862123610017 0.008431657948161208 0.9512270879197753 0.9785016878838776 0.9999209329907096 0.9939482060753724 0.13800705350823578 0.0 0.1380070535082358 0.1380070535082358 0.00011090472760052189 0.008539664025240186 8.7603778063 0.0 8.7603778063 8.7603778063 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 53807.72292128581 0.1753195797 1.4101879038999996 0.009729503230860144 1.395538197 1.426183101 7.999262050971193 7.9435735036248 0.9947038882216712 1.0016772755201706 0.9946121331256383 0.006855835179363945 0.9834337797275584 1.0050291999280905 0.9999077563713992 0.9929466879531 0.12432355944561584 2.7755575615628914e-17 0.12432355944561585 0.12432355944561585 0.00012938884886727552 0.009962941362780217 9.878946593599995 1.7763568394002505e-15 9.878946593599997 9.878946593599997 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 53093.783827461164 0.15583962640000001 1.4291503549 0.010447769415112409 1.410416396 1.441769541 8.999051220894223 8.927524674815347 0.9815217053609792 0.9893855713309012 0.9814182334403221 0.007203484156941882 0.9728022389952821 0.9944273489571657 0.9998945800993583 0.9919471860905942 0.10904354875306618 1.3877787807814457e-17 0.1090435487530662 0.1090435487530662 0.0001478729701340292 0.011386218700320246 11.459796556499997 1.7763568394002505e-15 11.459796556499999 11.459796556499999 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 49383.98736064618 0.14025566376 1.5365101939999999 0.02540355937416548 1.496372063 1.580656078 9.99881404174573 9.909496944052655 0.9130521651256345 0.9212817624393855 0.9129438809504535 0.015006279934039283 0.8873256220130132 0.9373047467807477 0.999881404174573 0.9909496944052656 0.09128196110100131 1.3877787807814457e-17 0.09128196110100133 0.09128196110100133 0.00016635709140078284 0.01280949603786028 13.962545302399999 0.0 13.962545302399999 13.962545302399999 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 47731.525976494835 0.1168797198 1.5897040466999999 0.009113207916583698 1.568684601 1.601075821 11.998260640400579 11.86752860829445 0.8824177705695302 0.8921384354291445 0.8822898670845352 0.0050869950054090425 0.8760088805313362 0.8940972817007975 0.999855053366715 0.9889607173578708 0.07352294286639435 0.0 0.07352294286639437 0.07352294286639437 0.00020332533393429013 0.01565605071294034 17.673891922800003 3.552713678800501e-15 17.6738919228 17.6738919228 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 45868.195533559716 0.10018261697142858 1.6542835208 0.010189526978647749 1.638865164 1.667330932 13.997601855268012 13.817715920915713 0.8479946366721096 0.859034254827278 0.847849378538489 0.0052256440582843415 0.8411987150730794 0.8558096592746907 0.9998287039477152 0.9869797086368366 0.06055952060924897 6.938893903907228e-18 0.06055952060924898 0.06055952060924898 0.00024029357646779742 0.018502605388020402 21.7574126536 0.0 21.7574126536 21.7574126536 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 44487.42669466919 0.08765978985 1.7056279861 0.018795838168639754 1.685678116 1.740375454 15.99683769467942 15.760105927252901 0.8225232794598552 0.8348783607388 0.8223607126009217 0.009005817766254625 0.8058931389640249 0.832042976821798 0.9998023559174638 0.9850066204533063 0.05139443686687992 6.938893903907228e-18 0.051394436866879924 0.051394436866879924 0.0002772618190013047 0.021349160063100465 25.88749114 0.0 25.88749114 25.88749114 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 39380.391015142806 0.0584398599 1.9268219041 0.016509715254009325 1.896491 1.958371655 23.99272746436194 23.452620734063103 0.728159282575042 0.7449285696286266 0.7279386340611791 0.006234201127491236 0.7161851194174887 0.7395535426216102 0.9996969776817475 0.9771925305859627 0.030329663460669804 3.469446951953614e-18 0.03032966346066981 0.03032966346066981 0.00042513478913533393 0.03273537876342071 44.84116906079999 7.105427357601002e-15 44.8411690608 44.8411690608 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 33987.47946334918 0.043829894925 2.2325574358 0.02894030822524478 2.197386715 2.305357159 31.986931893031223 31.024046201415686 0.6285375443124409 0.6480453094869911 0.6282808631917232 0.008004039790344069 0.6083901716159201 0.638283934286915 0.9995916216572257 0.9695014437942402 0.019632146623495165 3.469446951953614e-18 0.01963214662349517 0.01963214662349517 0.000573007759269363 0.04412159746374096 70.039281308 0.0 70.039281308 70.039281308 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 31265.52114030278 0.7012783188 2.4269226046000005 0.07082970789966504 2.327933876 2.554930558 1.9999736425935688 1.9979725104007584 0.578169462705377 0.5787485465109332 0.5781618431816197 0.016878421751026204 0.5489607665493349 0.6024898954647112 0.9999868212967844 0.9989862552003792 0.2889578421128032 5.551115123125783e-17 0.2889578421128032 0.2889578421128032 1.848412126675365e-05 0.0014232773375400308 3.451288571600002 8.881784197001252e-16 3.451288571600001 3.451288571600001 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 51672.56910903352 0.4675188792 1.4684580486 0.019294096929151003 1.442056262 1.508530636 2.9999209288227617 2.9939236910288956 0.9552292484631325 0.9571427030270732 0.9552040714293963 0.012458768080368571 0.9297501848016828 0.9726088187813022 0.9999736429409206 0.9979745636762984 0.31837401119202796 5.551115123125783e-17 0.31837401119202796 0.31837401119202796 3.69682425335073e-05 0.0028465546750800616 3.0028175081999997 0.0 3.0028175081999997 3.0028175081999997 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 77012.08358361859 0.3506391594 0.9852869377000001 0.00806855524093796 0.973045148 0.997309829 3.99984185972958 3.9878596767836028 1.4236046848824373 1.4278821402493647 1.4235484025749776 0.011650262777545854 1.4063399325025605 1.441409620594501 0.999960464932395 0.9969649191959007 0.35587517299124344 5.551115123125783e-17 0.35587517299124344 0.35587517299124344 5.545236380026094e-05 0.004269832012620093 2.5385911132 4.440892098500626e-16 2.5385911132000003 2.5385911132000003 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 104092.29521341823 0.28051132752 0.7289588518000001 0.011392828579971632 0.718008588 0.759154444 4.999736436355969 4.97978657776261 1.9243871448905159 1.9320965619147072 1.9242857051928288 0.029335398747371445 1.847524767437178 1.9533981362351058 0.9999472872711939 0.9959573155525221 0.38481092153190855 5.551115123125783e-17 0.38481092153190855 0.38481092153190855 7.39364850670146e-05 0.005693109350160123 2.2422376214000006 4.440892098500626e-16 2.2422376214 2.2422376214 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 129979.17354180636 0.2337594396 0.5837781387 0.010333826235776597 0.568388691 0.601490579 5.999604659743819 5.969710479387391 2.403084007397536 2.4151177947942344 2.4029256680896847 0.04227403237789903 2.3318015054064545 2.4676012380408183 0.9999341099573033 0.9949517465645652 0.4004251343165277 1.1102230246251565e-16 0.4004251343165277 0.4004251343165277 9.242060633376823e-05 0.007116386687700154 2.1001121946 4.440892098500626e-16 2.1001121945999994 2.1001121945999994 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 123365.59450852558 0.20036523394285716 0.6150742458 0.06775618782231198 0.526489968 0.781471509 6.999446530934968 6.957637442527607 2.293361914456233 2.307142938808767 2.293180585188437 0.22826214009134874 1.794763624069627 2.663975997354616 0.9999209329907096 0.9939482060753724 0.3257578012915349 5.551115123125783e-17 0.3257578012915349 0.3257578012915349 0.00011090472760052189 0.008539664025240186 2.902963083 4.440892098500626e-16 2.9029630830000004 2.9029630830000004 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 141764.6993910012 0.1753195797 0.5352460826000001 0.062280631799818076 0.455305685 0.677116838 7.999262050971193 7.9435735036248 2.6375695722186068 2.656060295308772 2.637326273230578 0.28771925154023187 2.071365765681934 3.080472490915636 0.9999077563713992 0.9929466879531 0.32754948686101787 5.551115123125783e-17 0.32754948686101787 0.32754948686101787 0.00012938884886727552 0.009962941362780217 2.8794120232000004 0.0 2.8794120232000004 2.8794120232000004 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 162681.70851285945 0.15583962640000001 0.4664261317 0.04634916455761785 0.429093255 0.580154041 8.999051220894223 8.927524674815347 3.020978429100106 3.045182243783686 3.020659957854269 0.2641306137413817 2.4175590248107914 3.2686522597517875 0.9998945800993583 0.9919471860905942 0.334114269781596 5.551115123125783e-17 0.334114269781596 0.334114269781596 0.0001478729701340292 0.011386218700320246 2.7952785477000006 0.0 2.7952785477000006 2.7952785477000006 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 168559.35698810243 0.14025566376 0.45016189759999997 0.029662478226138884 0.411969168 0.497788888 9.99881404174573 9.909496944052655 3.122741260299684 3.1508874101790454 3.122370916222324 0.2026165012239121 2.817573215093544 3.404518460468867 0.999881404174573 0.9909496944052656 0.3115671595214104 0.0 0.3115671595214104 0.3115671595214104 0.00016635709140078284 0.01280949603786028 3.0990623383999996 0.0 3.0990623383999996 3.0990623383999996 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 184883.44639948124 0.1168797198 0.4104153264 0.007642612649166624 0.398891257 0.419135412 11.998260640400579 11.86752860829445 3.4184967759230704 3.456154745414066 3.4180012763245045 0.0637550672177889 3.3463090863818494 3.5161378270068226 0.999855053366715 0.9889607173578708 0.2847840036219466 5.551115123125783e-17 0.2847840036219466 0.2847840036219466 0.00020332533393429013 0.01565605071294034 3.5224272792000013 8.881784197001252e-16 3.5224272792000004 3.5224272792000004 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 180866.6105979459 0.10018261697142858 0.4195301706 0.016117912048791268 0.396340359 0.442923797 13.997601855268012 13.817715920915713 3.3462035312425886 3.389766081825887 3.3456303397875455 0.12870253175022273 3.166586774293367 3.5387681464960274 0.9998287039477152 0.9869797086368366 0.23879716881422441 0.0 0.23879716881422444 0.23879716881422444 0.00024029357646779742 0.018502605388020402 4.470865750800001 8.881784197001252e-16 4.4708657508 4.4708657508 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 184923.24720887994 0.08765978985 0.4103269932 0.017772687046194783 0.39160282 0.44042927 15.99683769467942 15.760105927252901 3.4219652714763025 3.473366441654221 3.4212889402897506 0.14387943904682737 3.184521858867373 3.5815795136511017 0.9998023559174638 0.9850066204533063 0.21363398290317498 2.7755575615628914e-17 0.213633982903175 0.213633982903175 0.0002772618190013047 0.021349160063100465 5.1626752536 0.0 5.1626752536 5.1626752536 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 178087.817472559 0.0584398599 0.42607630930000007 0.01797312273772857 0.400073322 0.45222077 23.99272746436194 23.452620734063103 3.295717419573409 3.3716167904650103 3.294718743640625 0.13848414678701967 3.1014865540121037 3.505748972684562 0.9996969776817475 0.9771925305859627 0.13715820059559455 2.7755575615628914e-17 0.13715820059559455 0.13715820059559455 0.00042513478913533393 0.03273537876342071 8.823274785600004 1.7763568394002505e-15 8.823274785600002 8.823274785600002 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 182616.46037150902 0.043829894925 0.41551018919999994 0.01705365473047755 0.399593863 0.452071309 31.986931893031223 31.024046201415686 3.3796501495067752 3.484543519974934 3.3782699735795627 0.13298251848527523 3.1025119481758576 3.50995540089163 0.9995916216572257 0.9695014437942402 0.10548452496288388 1.3877787807814457e-17 0.1054845249628839 0.1054845249628839 0.000573007759269363 0.04412159746374096 11.893769416799998 0.0 11.893769416799998 11.893769416799998 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 32531.818811132303 0.7012783188 2.3324548941000005 0.05334722662410216 2.282787428 2.466190294 1.9999736425935688 1.9979725104007584 0.6014840227544705 0.6020864579907559 0.6014760959750457 0.013332630725610705 0.5687138745993296 0.6144052750583135 0.9999868212967844 0.9989862552003792 0.3006610419665135 5.551115123125783e-17 0.3006610419665135 0.3006610419665135 1.848412126675365e-05 0.0014232773375400308 3.2623531506 8.881784197001252e-16 3.262353150600001 3.262353150600001 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 51976.64443610261 0.4675188792 1.4598672312 0.02763765682876152 1.424474885 1.507050922 2.9999209288227617 2.9939236910288956 0.960939560121589 0.9628644532191822 0.9609142325808311 0.018105550354146027 0.9306630699237913 0.9846131036560888 0.9999736429409206 0.9979745636762984 0.3202475329319523 5.551115123125783e-17 0.3202475329319523 0.3202475329319523 3.69682425335073e-05 0.0028465546750800616 2.977045056 4.440892098500626e-16 2.9770450559999997 2.9770450559999997 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 69435.369111323 0.3506391594 1.0928004124 0.022821104140712718 1.059376777 1.133449423 3.99984185972958 3.9878596767836028 1.2837820260653008 1.287639361163781 1.2837312716561102 0.02675582106856178 1.2374232225446198 1.3239450477400827 0.999960464932395 0.9969649191959007 0.32086294571387375 5.551115123125783e-17 0.32086294571387375 0.32086294571387375 5.545236380026094e-05 0.004269832012620093 2.9686450119999996 0.0 2.9686450119999996 2.9686450119999996 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 88505.47265417756 0.28051132752 0.8573368146 0.013931241097561893 0.831399568 0.876208511 4.999736436355969 4.97978657776261 1.6362485263568276 1.64280361184386 1.636162275231998 0.026662721305126837 1.600711040799283 1.6869826393751506 0.9999472872711939 0.9959573155525221 0.3271891778622334 5.551115123125783e-17 0.3271891778622334 0.3271891778622334 7.39364850670146e-05 0.005693109350160123 2.8841274354 0.0 2.8841274354 2.8841274354 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 110891.64330993069 0.2337594396 0.6842625624 0.010208745361829284 0.664016446 0.696369749 5.999604659743819 5.969710479387391 2.0500993901491604 2.060365556511723 2.049964309012811 0.030907942710169525 2.0140975963044023 2.112231776861744 0.9999341099573033 0.9949517465645652 0.34162243040172496 0.0 0.34162243040172496 0.34162243040172496 9.242060633376823e-05 0.007116386687700154 2.7030187368000007 0.0 2.7030187368000007 2.7030187368000007 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 122508.7983227153 0.20036523394285716 0.6193759227 0.03094969430579988 0.573650922 0.681854242 6.999446530934968 6.957637442527607 2.2674359809721305 2.281061213986867 2.2672567015903575 0.11108252308583753 2.056974278675823 2.4449653679803554 0.9999209329907096 0.9939482060753724 0.3234953549201908 0.0 0.3234953549201908 0.3234953549201908 0.00011090472760052189 0.008539664025240186 2.9330748213 0.0 2.9330748213 2.9330748213 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 116980.13278161592 0.1753195797 0.6486486055 0.030128495480200513 0.606898568 0.712013784 7.999262050971193 7.9435735036248 2.1647884115751768 2.179964694881162 2.16458872363694 0.0994529949438331 1.9698447826678591 2.3110231454690138 0.9999077563713992 0.9929466879531 0.27028437001704153 5.551115123125783e-17 0.27028437001704153 0.27028437001704153 0.00012938884886727552 0.009962941362780217 3.7866322064 0.0 3.7866322064 3.7866322064 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 111846.1937286166 0.15583962640000001 0.6784227292 0.03288783160678215 0.634029475 0.738536277 8.999051220894223 8.927524674815347 2.069982627372076 2.086567146953061 2.069764410009168 0.09764226639231875 1.899103241478279 2.2121316009795917 0.9998945800993583 0.9919471860905942 0.22970873423384114 0.0 0.22970873423384117 0.22970873423384117 0.0001478729701340292 0.011386218700320246 4.703247925200001 8.881784197001252e-16 4.7032479252 4.7032479252 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 128115.79674606923 0.14025566376 0.5922688843 0.057978049411641086 0.520233781 0.731950129 9.99881404174573 9.909496944052655 2.37905584638763 2.4004989493674045 2.3787737002957905 0.21311593402255394 1.9161915300379706 2.696012233007991 0.999881404174573 0.9909496944052656 0.23681079232411056 2.7755575615628914e-17 0.2368107923241106 0.2368107923241106 0.00016635709140078284 0.01280949603786028 4.520132205400001 8.881784197001252e-16 4.5201322054 4.5201322054 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 143716.54070225367 0.1168797198 0.5279768051 0.03034439078763603 0.486685746 0.574817467 11.998260640400579 11.86752860829445 2.661222350883896 2.6905382276178393 2.6608366156637127 0.1515166559755795 2.44000351088844 2.8818527132290415 0.999855053366715 0.9889607173578708 0.22137283053156606 0.0 0.2213728305315661 0.2213728305315661 0.00020332533393429013 0.01565605071294034 4.933165023599999 8.881784197001252e-16 4.9331650236 4.9331650236 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 152655.62211070067 0.10018261697142858 0.4970599769 0.019179865160289442 0.463412789 0.522412959 13.997601855268012 13.817715920915713 2.8243071950618592 2.8610754382063424 2.8238234023889057 0.11036133151621785 2.6847661671424965 3.026581637133023 0.9998287039477152 0.9869797086368366 0.201550359367565 2.7755575615628914e-17 0.20155035936756502 0.20155035936756502 0.00024029357646779742 0.018502605388020402 5.556283038999999 0.0 5.556283038999999 5.556283038999999 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 154294.4341997019 0.08765978985 0.49178053890000006 0.01952661392625043 0.464289259 0.527548232 15.99683769467942 15.760105927252901 2.8548053806921665 2.8976872703539196 2.8542411453018803 0.11304213645597842 2.65863205015916 3.0208681558149078 0.9998023559174638 0.9850066204533063 0.17824981453327693 0.0 0.17824981453327696 0.17824981453327696 0.0002772618190013047 0.021349160063100465 6.465931984800001 0.0 6.465931984800001 6.465931984800001 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 165814.16423400832 0.0584398599 0.4576147058999999 0.025801068461004505 0.421692932 0.496482327 23.99272746436194 23.452620734063103 3.070767246750139 3.141486083504365 3.069836735740215 0.17498844204612726 2.8249880435321115 3.3260140997573084 0.9996969776817475 0.9771925305859627 0.12770537997695064 2.7755575615628914e-17 0.12770537997695064 0.12770537997695064 0.00042513478913533393 0.03273537876342071 9.580196303999998 0.0 9.580196303999998 9.580196303999998 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 168951.12667491034 0.043829894925 0.44911804670000005 0.026724695357520492 0.419221097 0.505174175 31.986931893031223 31.024046201415686 3.1295859807163615 3.2267181710808424 3.128307925579987 0.17946245030781305 2.7763822994316767 3.345625131074928 0.9995916216572257 0.9695014437942402 0.09759103480042809 1.3877787807814457e-17 0.0975910348004281 0.0975910348004281 0.000573007759269363 0.04412159746374096 12.969220856800003 1.7763568394002505e-15 12.969220856800002 12.969220856800002 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 49893.37383138314 1.4025566376 1.5208231909999999 0.058502848487391054 1.468701241 1.658914385 1.0 1.0 0.9228972866017319 0.9228972866017319 0.9228972866017319 0.03394158510031243 0.8454665595054202 0.9549638813166905 1.0 1.0 0.9222351723067591 0.0 0.9222351723067591 0.9222351723067591 0.0 0.0 0.11826655339999981 0.0 0.11826655339999981 0.11826655339999981 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 92844.53063384925 0.7012783188 0.8172694663000002 0.005270851785438843 0.806524524 0.826232626 1.9999736425935688 1.9979725104007584 1.7162079196687237 1.7179268416757718 1.716185302273894 0.011091040204711144 1.6975323818790957 1.7390130068754117 0.9999868212967844 0.9989862552003792 0.8580747815954468 2.220446049250313e-16 0.8580747815954468 0.8580747815954468 1.848412126675365e-05 0.0014232773375400308 0.23198229500000034 0.0 0.23198229500000034 0.23198229500000034 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 134366.53251255932 0.4675188792 0.5647165152 0.008939632518670207 0.54830444 0.580313655 2.9999209288227617 2.9939236910288956 2.484024101118695 2.4889999404377607 2.4839586295487073 0.0393537402336956 2.416894080495142 2.5579888384635368 0.9999736429409206 0.9979745636762984 0.8278824270517812 1.1102230246251565e-16 0.8278824270517812 0.8278824270517812 3.69682425335073e-05 0.0028465546750800616 0.291592908 5.551115123125783e-17 0.29159290799999993 0.29159290799999993 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 166929.2429919184 0.3506391594 0.45455786319999997 0.010805741839259617 0.441911693 0.476499218 3.99984185972958 3.9878596767836028 3.0865211841635487 3.0957951467632334 3.0863991583398684 0.071727491781209 2.9434605233706805 3.1738391624771967 0.999960464932395 0.9969649191959007 0.7713850926075015 0.0 0.7713850926075015 0.7713850926075015 5.545236380026094e-05 0.004269832012620093 0.41567481519999994 1.1102230246251565e-16 0.4156748151999998 0.4156748151999998 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 198007.04819134282 0.28051132752 0.38321363150000004 0.006175411545658857 0.374197268 0.393974735 4.999736436355969 4.97978657776261 3.660652489670451 3.67531767629802 3.660459526688509 0.05861724227075676 3.5600167041168262 3.7481744457845694 0.9999472872711939 0.9959573155525221 0.7319972580881429 1.1102230246251565e-16 0.7319972580881429 0.7319972580881429 7.39364850670146e-05 0.005693109350160123 0.5135115199000001 1.1102230246251565e-16 0.5135115199000002 0.5135115199000002 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 221163.0860572211 0.2337594396 0.343090709 0.0054027283305235 0.330969996 0.350234223 5.999604659743819 5.969710479387391 4.088787103531772 4.109262290650824 4.088517693174943 0.06544552539754324 4.004624749649323 4.237715365594651 0.9999341099573033 0.9949517465645652 0.6813342170685246 0.0 0.6813342170685246 0.6813342170685246 9.242060633376823e-05 0.007116386687700154 0.6559876164 0.0 0.6559876164 0.6559876164 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 244160.9833501728 0.20036523394285716 0.3107744692 0.005041684738810825 0.303072158 0.31901494 6.999446530934968 6.957637442527607 4.51405304903498 4.541178412286742 4.513696136360615 0.07341630943031631 4.396523365332044 4.627797706181906 0.9999209329907096 0.9939482060753724 0.6447287464077733 1.1102230246251565e-16 0.6447287464077733 0.6447287464077733 0.00011090472760052189 0.008539664025240186 0.7728646468000001 1.1102230246251565e-16 0.7728646468 0.7728646468 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 248037.8926690048 0.1753195797 0.3059169677 0.005444535537727229 0.293996403 0.312699699 7.999262050971193 7.9435735036248 4.585919921962257 4.618069585911917 4.585496900068183 0.08301945228698815 4.485314959001608 4.770659175717874 0.9999077563713992 0.9929466879531 0.5730953108554887 1.1102230246251565e-16 0.5730953108554887 0.5730953108554887 0.00012938884886727552 0.009962941362780217 1.0447791039999998 0.0 1.0447791039999998 1.0447791039999998 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 226545.96663163824 0.15583962640000001 0.33493864900000003 0.014534497573991025 0.320257129 0.366308842 8.999051220894223 8.927524674815347 4.191792425500156 4.2253766994166915 4.191350527159149 0.17532526284115776 3.82889102524039 4.37947046480892 0.9998945800993583 0.9919471860905942 0.46527812441256966 0.0 0.46527812441256966 0.46527812441256966 0.0001478729701340292 0.011386218700320246 1.6118912034000004 0.0 1.6118912034000004 1.6118912034000004 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 220981.4148991882 0.14025566376 0.34337276750000006 0.013098764009489523 0.328629546 0.373704729 9.99881404174573 9.909496944052655 4.0880385329744025 4.124885180093242 4.087553708670207 0.15088889044030276 3.7531145012617704 4.2678957344876105 0.999881404174573 0.9909496944052656 0.4084647270695396 0.0 0.4084647270695396 0.4084647270695396 0.00016635709140078284 0.01280949603786028 2.0311710374000005 0.0 2.0311710374000005 2.0311710374000005 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 210891.0198199671 0.1168797198 0.3598019492 0.01713326879861313 0.335189983 0.39038698 11.998260640400579 11.86752860829445 3.903044510446046 3.946040230708701 3.902478777284695 0.18111154502013893 3.592734157271331 4.184363223050135 0.999855053366715 0.9889607173578708 0.32484459870180155 0.0 0.32484459870180155 0.32484459870180155 0.00020332533393429013 0.01565605071294034 2.915066752800001 4.440892098500626e-16 2.9150667528000005 2.9150667528000005 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 217352.56255255383 0.10018261697142858 0.3491056148999999 0.009064226730805397 0.332965888 0.361901294 13.997601855268012 13.817715920915713 4.019623266937824 4.071952732332523 4.018934721340525 0.10543632161404996 3.8755225826852118 4.212313297390993 0.9998287039477152 0.9869797086368366 0.28696936599007594 5.551115123125783e-17 0.28696936599007594 0.28696936599007594 0.00024029357646779742 0.018502605388020402 3.4849219709999986 0.0 3.4849219709999986 3.4849219709999986 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 218098.8140954374 0.08765978985 0.3479111077 0.009174647974234307 0.331764243 0.36670117 15.99683769467942 15.760105927252901 4.03356438175645 4.094152351756744 4.032767171624867 0.10647243521839876 3.8247945530143794 4.227570231551446 0.9998023559174638 0.9850066204533063 0.25196030799220154 0.0 0.25196030799220154 0.25196030799220154 0.0002772618190013047 0.021349160063100465 4.164021085599999 8.881784197001252e-16 4.1640210856 4.1640210856 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 216729.86687224754 0.0584398599 0.35010864490000004 0.013350881622295434 0.329477964 0.372829903 23.99272746436194 23.452620734063103 4.010174292036165 4.102527387639433 4.008959119725596 0.1517191520166791 3.761920989475997 4.2569057443853815 0.9996969776817475 0.9771925305859627 0.16691921422474987 2.7755575615628914e-17 0.1669192142247499 0.1669192142247499 0.00042513478913533393 0.03273537876342071 7.00005084 0.0 7.00005084 7.00005084 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 213878.80723056343 0.043829894925 0.3547756834 0.01140713778551095 0.339581774 0.374013091 31.986931893031223 31.024046201415686 3.9570173920161364 4.079830367587076 3.955401431811256 0.1267947569817507 3.7500201767001786 4.130247100953068 0.9995916216572257 0.9695014437942402 0.12354255653869878 0.0 0.12354255653869879 0.12354255653869879 0.000573007759269363 0.04412159746374096 9.950265231200001 1.7763568394002505e-15 9.9502652312 9.9502652312 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 49815.57484930465 1.4025566376 1.5231983215999998 0.058429176131066546 1.467727036 1.641224521 1.0 1.0 0.9214566992346274 0.9214566992346274 0.9214566992346274 0.03394929107423337 0.8545793824390465 0.9555977393605768 1.0 1.0 0.9207971264875902 1.1102230246251565e-16 0.9207971264875902 0.9207971264875902 0.0 0.0 0.12064168399999975 0.0 0.12064168399999975 0.12064168399999975 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 92735.9175668218 0.7012783188 0.8182266589999999 0.02251770080345935 0.788156676 0.86451275 1.9999736425935688 1.9979725104007584 1.714806555759871 1.7165240741868315 1.7147839568332006 0.046427872482171936 1.6223666309143503 1.7795403887437224 0.9999868212967844 0.9989862552003792 0.8570709730444019 0.0 0.8570709730444019 0.8570709730444019 1.848412126675365e-05 0.0014232773375400308 0.23389668039999983 5.551115123125783e-17 0.23389668039999978 0.23389668039999978 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 136160.96973349171 0.4675188792 0.5572742332 0.005474426707713867 0.549670059 0.566433129 2.9999209288227617 2.9939236910288956 2.5170034793400036 2.5220453808550025 2.5169371385305954 0.02467104795147714 2.4761204205624776 2.5516336839442078 0.9999736429409206 0.9979745636762984 0.8389386254508779 2.220446049250313e-16 0.8389386254508779 0.8389386254508779 3.69682425335073e-05 0.0028465546750800616 0.269266062 5.551115123125783e-17 0.26926606200000003 0.26926606200000003 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 169963.98933922534 0.3506391594 0.44644162739999993 0.004922874840220647 0.438806106 0.457345781 3.99984185972958 3.9878596767836028 3.141948998875945 3.1513895034981703 3.141824781709863 0.034318808321776945 3.0667313351689147 3.19630155192052 0.999960464932395 0.9969649191959007 0.7854087474818664 1.1102230246251565e-16 0.7854087474818664 0.7854087474818664 5.545236380026094e-05 0.004269832012620093 0.3832098719999997 0.0 0.3832098719999997 0.3832098719999997 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 200567.8839931282 0.28051132752 0.3783207884 0.00622592895477431 0.366357087 0.386742731 4.999736436355969 4.97978657776261 3.7080223499984126 3.722877308215662 3.7078268900218694 0.06171041709040368 3.626588233406254 3.828386804484009 0.9999472872711939 0.9959573155525221 0.741464217989032 0.0 0.741464217989032 0.741464217989032 7.39364850670146e-05 0.005693109350160123 0.48904730439999977 1.1102230246251565e-16 0.4890473043999999 0.4890473043999999 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 222331.39419652952 0.2337594396 0.3412878342 0.00571549212590062 0.334162954 0.352380252 5.999604659743819 5.969710479387391 4.110445416500373 4.1310290607240585 4.110174579076378 0.06844814966223726 3.980236206880288 4.1972236024703085 0.9999341099573033 0.9949517465645652 0.68493340862251 0.0 0.68493340862251 0.68493340862251 9.242060633376823e-05 0.007116386687700154 0.6451703675999996 0.0 0.6451703675999996 0.6451703675999996 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 246796.4105982603 0.20036523394285716 0.3074558492 0.0033811195380712773 0.30242913 0.313072659 6.999446530934968 6.957637442527607 4.562450830410147 4.58986702041696 4.562090091067952 0.050024889462426524 4.4799716528424165 4.637637378383491 0.9999209329907096 0.9939482060753724 0.651687825956824 1.1102230246251565e-16 0.651687825956824 0.651687825956824 0.00011090472760052189 0.008539664025240186 0.7496343068 0.0 0.7496343068 0.7496343068 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 250939.84751205068 0.1753195797 0.3023792385 0.006324303345424984 0.294834566 0.31610057 7.999262050971193 7.9435735036248 4.63983392414109 4.672361553053446 4.639405929023822 0.09544958590670502 4.437058236244243 4.757097027761663 0.9999077563713992 0.9929466879531 0.5798003215091767 1.1102230246251565e-16 0.5798003215091767 0.5798003215091767 0.00012938884886727552 0.009962941362780217 1.0164772703999996 2.220446049250313e-16 1.0164772703999998 1.0164772703999998 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 224190.6718739692 0.15583962640000001 0.3384574361 0.0051587962929078345 0.331116062 0.346717175 8.999051220894223 8.927524674815347 4.14488605416615 4.1780945183422675 4.1444491006901485 0.0632016715634248 4.045247073785716 4.23584597234066 0.9998945800993583 0.9919471860905942 0.46044084064371366 0.0 0.46044084064371366 0.46044084064371366 0.0001478729701340292 0.011386218700320246 1.6435602873000001 0.0 1.6435602873000001 1.6435602873000001 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 213690.93623139302 0.14025566376 0.3550875921 0.008101166590593317 0.345584852 0.373857325 9.99881404174573 9.909496944052655 3.9513713124953416 3.986986139315746 3.9509026963529674 0.08826607016445352 3.751582606011531 4.0585014924207385 0.999881404174573 0.9909496944052656 0.39498891789071894 5.551115123125783e-17 0.39498891789071894 0.39498891789071894 0.00016635709140078284 0.01280949603786028 2.1483192834 4.440892098500626e-16 2.1483192834000002 2.1483192834000002 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 214236.10828879822 0.1168797198 0.3541839917 0.006525947829676751 0.342289302 0.362674611 11.998260640400579 11.86752860829445 3.961215212599817 4.004851738067381 3.9606410477910328 0.07341040165876797 3.8672589562658968 4.097576609624802 0.999855053366715 0.9889607173578708 0.3299971837772927 5.551115123125783e-17 0.3299971837772927 0.3299971837772927 0.00020332533393429013 0.01565605071294034 2.8476512627999995 0.0 2.8476512627999995 2.8476512627999995 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 211686.53586545787 0.10018261697142858 0.3584498168 0.011407943340287455 0.342851449 0.386473887 13.997601855268012 13.817715920915713 3.9154447092196376 3.966417926063429 3.914774008998009 0.12024902633564662 3.6291110079579583 4.090858130221874 0.9998287039477152 0.9869797086368366 0.27948854281972274 0.0 0.27948854281972274 0.27948854281972274 0.00024029357646779742 0.018502605388020402 3.6157407976 0.0 3.6157407976 3.6157407976 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 214082.9386832946 0.08765978985 0.35443739919999995 0.00833358221373575 0.344040382 0.367685988 15.99683769467942 15.760105927252901 3.959005025235205 4.018473042848826 3.958222551319236 0.09226202583038629 3.8145501416279153 4.076720963529218 0.9998023559174638 0.9850066204533063 0.24732093748531267 0.0 0.2473209374853127 0.2473209374853127 0.0002772618190013047 0.021349160063100465 4.2684417496 8.881784197001252e-16 4.268441749599999 4.268441749599999 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 214867.54324089523 0.0584398599 0.35314314510000006 0.010411609394134486 0.341934279 0.373986474 23.99272746436194 23.452620734063103 3.9745431034010106 4.066075623555222 3.9733387281358237 0.11459206856748581 3.750287069472999 4.1018310351972636 0.9996969776817475 0.9771925305859627 0.1654849052314225 2.7755575615628914e-17 0.16548490523142254 0.16548490523142254 0.00042513478913533393 0.03273537876342071 7.072878844800002 0.0 7.072878844800002 7.072878844800002 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 214363.998958488 0.043829894925 0.3539726837 0.012289041628214144 0.340794499 0.379676714 31.986931893031223 31.024046201415686 3.966287002246084 4.089387676429878 3.9646672565331396 0.13327403695597292 3.6940812693611753 4.1155495224117455 0.9995916216572257 0.9695014437942402 0.12382281724921701 1.3877787807814457e-17 0.12382281724921702 0.12382281724921702 0.000573007759269363 0.04412159746374096 9.924569240799999 1.7763568394002505e-15 9.9245692408 9.9245692408 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 55490.27777194597 1.4025566376 1.3674287289 0.021248769941001066 1.33950108 1.401850292 1.0 1.0 1.025812845221939 1.025812845221939 1.025812845221939 0.015937051603638532 1.0005038666425587 1.047073913221481 1.0 1.0 1.0256890234624938 0.0 1.0256890234624938 1.0256890234624938 0.0 0.0 -0.03512790870000004 0.0 -0.03512790870000004 -0.03512790870000004 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 97459.95327825916 0.7012783188 0.7785659386000001 0.009848645094410009 0.765559019 0.796541368 1.9999736425935688 1.9979725104007584 1.8016289637207135 1.803433441860444 1.8016052205872959 0.02267019818099378 1.7608082818367823 1.8320685966603445 0.9999868212967844 0.9989862552003792 0.9007307975237435 0.0 0.9007307975237435 0.9007307975237435 1.848412126675365e-05 0.0014232773375400308 0.1545752396000002 0.0 0.1545752396000002 0.1545752396000002 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 129381.42991734664 0.4675188792 0.5864752001 0.009922572498990149 0.571504077 0.605169121 2.9999209288227617 2.9939236910288956 2.3919065881272115 2.396697903494633 2.391843544503956 0.04033239086214755 2.3176275671210265 2.4541498373247825 0.9999736429409206 0.9979745636762984 0.7971673467527413 0.0 0.7971673467527413 0.7971673467527413 3.69682425335073e-05 0.0028465546750800616 0.35686896269999996 5.551115123125783e-17 0.3568689626999999 0.3568689626999999 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 156401.7417243745 0.3506391594 0.48515444370000005 0.012469212829460737 0.468344289 0.512093825 3.99984185972958 3.9878596767836028 2.8920093109596317 2.900698830514978 2.8918949751760086 0.07334781995138957 2.7388665301714976 2.994712801120545 0.999960464932395 0.9969649191959007 0.7227371900912055 0.0 0.7227371900912055 0.7227371900912055 5.545236380026094e-05 0.004269832012620093 0.5380611372 1.1102230246251565e-16 0.5380611372000002 0.5380611372000002 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 176348.4157494916 0.28051132752 0.43027888670000003 0.009018789911035323 0.414457723 0.447273065 4.999736436355969 4.97978657776261 3.260533402656521 3.2735956452458703 3.260361531043503 0.068353401288593 3.1357949927076425 3.3840764926462716 0.9999472872711939 0.9959573155525221 0.6519291003826984 1.1102230246251565e-16 0.6519291003826984 0.6519291003826984 7.39364850670146e-05 0.005693109350160123 0.7488377959000001 0.0 0.7488377959000001 0.7488377959000001 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 194920.32350297165 0.2337594396 0.3892821366 0.0076902388018543 0.376136791 0.402774789 5.999604659743819 5.969710479387391 3.603871822886206 3.621918727275758 3.6036343636179224 0.07126046595976812 3.4822354226346572 3.7288472469580887 0.9999341099573033 0.9949517465645652 0.6004884828306298 1.1102230246251565e-16 0.6004884828306298 0.6004884828306298 9.242060633376823e-05 0.007116386687700154 0.9331361820000001 0.0 0.9331361820000001 0.9331361820000001 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 220119.54507152518 0.20036523394285716 0.34471723070000004 0.004597458705241171 0.335526975 0.354032267 6.999446530934968 6.957637442527607 4.069400174098331 4.093853577002579 4.06907841879696 0.05432437231521987 3.9616632955097284 4.180160589472724 0.9999209329907096 0.9939482060753724 0.5812451948978167 1.1102230246251565e-16 0.5812451948978167 0.5812451948978167 0.00011090472760052189 0.008539664025240186 1.0104639773000004 2.220446049250313e-16 1.0104639773000001 1.0104639773000001 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 241664.59967405835 0.1753195797 0.3139847545 0.004926478784730166 0.308148495 0.325643676 7.999262050971193 7.9435735036248 4.467914146327305 4.499236528925494 4.467502009714171 0.069037747068894 4.307028635802527 4.551560888200996 0.9999077563713992 0.9929466879531 0.5583697207820961 0.0 0.5583697207820961 0.5583697207820961 0.00012938884886727552 0.009962941362780217 1.1093213984000003 2.220446049250313e-16 1.1093213984 1.1093213984 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 241784.36051250016 0.15583962640000001 0.3138292313 0.007645856704805358 0.298578602 0.325324536 8.999051220894223 8.927524674815347 4.470977573549679 4.506798654429384 4.470506243538104 0.10998002700341426 4.3112537862806635 4.697445256308086 0.9998945800993583 0.9919471860905942 0.49657460445750384 5.551115123125783e-17 0.49657460445750384 0.49657460445750384 0.0001478729701340292 0.011386218700320246 1.4219064441 2.220446049250313e-16 1.4219064441000002 1.4219064441000002 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 241087.6512923666 0.14025566376 0.3147361534 0.00795579514290377 0.305253499 0.331457124 9.99881404174573 9.909496944052655 4.458229831092523 4.498413117046393 4.457701103645761 0.11080335975276966 4.231487381155217 4.594727471412212 0.999881404174573 0.9909496944052656 0.44562933824049206 5.551115123125783e-17 0.44562933824049206 0.44562933824049206 0.00016635709140078284 0.01280949603786028 1.7448048963999998 0.0 1.7448048963999998 1.7448048963999998 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 242645.85538093088 0.1168797198 0.3127150055 0.011674919845833655 0.30098996 0.335353339 11.998260640400579 11.86752860829445 4.4888026768147915 4.538251076311658 4.4881520399793065 0.16199191497165477 4.182324952488397 4.6598120335974 0.999855053366715 0.9889607173578708 0.37375795131135786 5.551115123125783e-17 0.37375795131135786 0.37375795131135786 0.00020332533393429013 0.01565605071294034 2.3500234283999997 0.0 2.3500234283999997 2.3500234283999997 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 256483.5172332444 0.10018261697142858 0.29584357240000003 0.00806958139061847 0.28645728 0.311914424 13.997601855268012 13.817715920915713 4.743417783685965 4.805169967977876 4.742605254945282 0.12598658565269766 4.496607177101883 4.896215720543043 0.9998287039477152 0.9869797086368366 0.3386337453901992 5.551115123125783e-17 0.3386337453901992 0.3386337453901992 0.00024029357646779742 0.018502605388020402 2.7392533760000006 0.0 2.7392533760000006 2.7392533760000006 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 260937.21308413846 0.08765978985 0.29079409219999997 0.009394845282718835 0.276378839 0.306678869 15.99683769467942 15.760105927252901 4.826646233051049 4.899147046101859 4.825692274984591 0.15407266124199828 4.573372277566342 5.074761304717689 0.9998023559174638 0.9850066204533063 0.301449693103497 5.551115123125783e-17 0.301449693103497 0.301449693103497 0.0002772618190013047 0.021349160063100465 3.2501488376000003 8.881784197001252e-16 3.2501488375999994 3.2501488375999994 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 272993.0754534156 0.0584398599 0.2779521051 0.005116495343272494 0.27279134 0.28737539 23.99272746436194 23.452620734063103 5.048416301036516 5.1646797946758385 5.046886518225473 0.09199839907792746 4.880573237673553 5.141499864328538 0.9996969776817475 0.9771925305859627 0.21025154631937337 2.7755575615628914e-17 0.2102515463193734 0.2102515463193734 0.00042513478913533393 0.03273537876342071 5.268293884800001 8.881784197001252e-16 5.2682938848 5.2682938848 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 266736.5957903859 0.043829894925 0.2844716518 0.01241116276733371 0.271248337 0.319038799 31.986931893031223 31.024046201415686 4.936856132453764 5.090080122021161 4.934840027327877 0.19895577970605874 4.396194575694852 5.17074741586342 0.9995916216572257 0.9695014437942402 0.15407473696470445 2.7755575615628914e-17 0.15407473696470447 0.15407473696470447 0.000573007759269363 0.04412159746374096 7.700536220000002 1.7763568394002505e-15 7.70053622 7.70053622