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-32.scm false SeqAAMLS 1 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 19301.921417032838 23.6931852596 23.6931852596 0.5934625953106185 22.710227731 24.56001558 1.0 1.0 1.0003156217634044 1.0003156217634044 1.0003156217634044 0.02528776675541707 0.9647056282364133 1.0432825923298972 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-32.scm false ParAAM-L-SA-state 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8875.229943687265 11.8465926298 51.5281297388 0.4788271963745489 50.496824074 52.203959639 1.99999562674247 1.9995059428948685 0.4598316661095616 0.4599442799981623 0.45983066062841343 0.004308959305243462 0.45385801045443186 0.4692014932439927 0.999997813371235 0.9997529714474342 0.2299053485902026 5.551115123125783e-17 0.22990534859020262 0.22990534859020262 5.1808313711066994e-05 0.005854339449350569 79.36307421799998 1.4210854715202004e-14 79.363074218 79.363074218 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8759.057542854182 7.897728419866667 52.211553327800004 0.37116639094938647 51.357041078 52.736636923 2.9999868802560976 2.998518194732816 0.4538055006226696 0.4540277762687941 0.4538035160186864 0.0032466464193520546 0.4492737239614668 0.46134249096662877 0.9999956267520325 0.9995060649109387 0.151264000331159 2.7755575615628914e-17 0.15126400033115903 0.15126400033115903 0.00010361662742213399 0.011708678898701138 132.94147472379998 2.842170943040401e-14 132.9414747238 132.9414747238 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8747.454095457415 5.9232963149 52.28081165210001 0.328329725683365 51.6541243 52.763635986 3.9999737605695707 3.9970371212005342 0.45320276566997475 0.453535735578301 0.4531997927243647 0.002850894743727263 0.4490438313592834 0.4586891285194046 0.9999934401423927 0.9992592803001336 0.11329771148765386 1.3877787807814457e-17 0.11329771148765387 0.11329771148765387 0.00015542494113320097 0.01756301834805171 185.43006134880008 2.842170943040401e-14 185.43006134880005 185.43006134880005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8727.66789446972 4.73863705192 52.3993357137 0.28935215797048336 52.029090641 52.96479005 4.9999562677115765 4.995063087623641 0.45217659283799033 0.45261954650273734 0.45217263789455503 0.002490243057428886 0.44733841552535336 0.4553834204615 0.9999912535423153 0.9990126175247283 0.09043315124853891 1.3877787807814457e-17 0.09043315124853893 0.09043315124853893 0.00020723325484426798 0.023417357797402276 238.30349330890004 5.684341886080802e-14 238.3034933089 238.3034933089 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8792.314305630744 3.9488642099333333 52.0140641136 0.504204779261532 51.252190812 53.141723487 5.999934401710803 5.99259645896713 0.4555412586733502 0.45609906958159585 0.4555362782188123 0.004384799334835787 0.44584901852865266 0.46228629223889806 0.9999890669518006 0.9987660764945216 0.07591916296540327 1.3877787807814457e-17 0.07591916296540328 0.07591916296540328 0.000259041568555335 0.02927169724675285 288.39119942199994 5.684341886080802e-14 288.391199422 288.391199422 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8732.01851315578 3.3847407513714285 52.373228401999995 0.47001176590122057 51.321491542 53.148014662 6.999908162595937 6.989637599835809 0.4524153694502364 0.45308014789965056 0.4524094339283667 0.00408120573940664 0.4457962430069896 0.46166205516864595 0.9999868803708482 0.9985196571194013 0.06462730778005989 1.3877787807814457e-17 0.0646273077800599 0.0646273077800599 0.00031084988226640195 0.03512603669610342 342.9194135543999 5.684341886080802e-14 342.91941355439997 342.91941355439997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8728.9287382599 2.96164815745 52.391766929599996 0.32999002030107033 51.610029319 52.91300277 7.999877550395666 7.9861868744747495 0.4522470047154722 0.45302228925051785 0.4522400825321236 0.0028646771061416896 0.4477762368276194 0.4590810269289551 0.9999846937994582 0.9982733593093437 0.05652888480416462 0.0 0.056528884804164625 0.056528884804164625 0.0003626581959774689 0.04098037614545399 395.4409501771999 5.684341886080802e-14 395.44095017719997 395.44095017719997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8759.860500142946 2.6325761399555554 52.20676744710001 0.3649474207988181 51.495181955 52.592393624 8.999842565138675 8.98224464676973 0.4538526656679443 0.45474184899305276 0.453844726531113 0.0031885019118711487 0.4505059311236189 0.46010489447934605 0.9999825072376304 0.9980271829744145 0.050425955650732206 0.0 0.05042595565073221 0.05042595565073221 0.00041446650968853595 0.04683471559480455 446.16772176430015 5.684341886080802e-14 446.1677217643001 446.1677217643001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8682.04761970507 2.36931852596 52.674670772599995 0.3462976867042147 52.006493325 53.110881061 9.999803206853649 9.977811280247677 0.4498208466583648 0.4508122892470947 0.449811994492394 0.002969644823886547 0.4461079309226186 0.455581288888987 0.9999803206853649 0.9977811280247676 0.044980224673610264 6.938893903907228e-18 0.04498022467361027 0.04498022467361027 0.00046627482339960287 0.05268905504415513 503.05352246639995 0.0 503.05352246639995 503.05352246639995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8703.608352869744 1.9744321049666667 52.5441841428 0.4636717616727001 51.662931007 53.255475196 11.999711371314245 11.96747258306856 0.45094772799030075 0.45216252152432734 0.4509368816194612 0.003997364908890294 0.4448967016518066 0.45861093820615256 0.9999759476095204 0.9972893819223799 0.03757660599697822 6.938893903907228e-18 0.03757660599697823 0.03757660599697823 0.0005698914508217368 0.06439773394285628 606.837024454 0.0 606.837024454 606.837024454 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8637.993311336446 1.6923703756857142 52.943314901600004 0.3745692569008162 52.373432322 53.67491034 13.999602044006936 13.955173683992562 0.44754376956490144 0.4489685913669566 0.4475310479416688 0.0031580144671573525 0.44142011806851955 0.45238939304055187 0.999971574571924 0.9967981202851831 0.0319657048077012 6.938893903907228e-18 0.03196570480770121 0.03196570480770121 0.0006735080782438709 0.0761064128415574 717.5132233628001 0.0 717.5132233628001 717.5132233628001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8702.068933635532 1.480824078725 52.553479349300005 0.3849834313074312 51.996034294 53.280598254 15.999475225161204 15.940917478361461 0.45086638162219206 0.4525226049513315 0.4508515939138962 0.003294489158475031 0.4446869223699314 0.4556729293167275 0.9999672015725752 0.9963073423975913 0.02817746982806998 3.469446951953614e-18 0.028177469828069988 0.028177469828069988 0.0007771247056660049 0.08781509174025855 817.1624843292001 0.0 817.1624843292001 817.1624843292001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8655.818766761173 1.3162880699777777 52.83428550469999 0.3387358092725768 52.087128227 53.152442319 17.999330915006528 17.9247068558177 0.44846931430569864 0.4503363797436062 0.4484526440785745 0.0029001832331764614 0.4457591076888404 0.45487601382712334 0.9999628286114737 0.9958170475454278 0.024913520783027988 3.469446951953614e-18 0.02491352078302799 0.02491352078302799 0.0008807413330881388 0.09952377063895969 927.3239538249998 1.1368683772161603e-13 927.3239538249999 927.3239538249999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8651.493324007119 1.18465926298 52.860700791499994 0.4877656190965872 51.9023183 53.668186672 19.999169113772375 19.90654470031841 0.4482570184810861 0.45034274174639843 0.4482383959519315 0.004147300163368789 0.44147542014795355 0.4564957026129602 0.9999584556886189 0.9953272350159205 0.022410964009968122 3.469446951953614e-18 0.022410964009968126 0.022410964009968126 0.0009843579605102728 0.11123244953766083 1033.5208305704 0.0 1033.5208305704 1033.5208305704 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8622.043474415903 0.9872160524833333 53.0412542406 0.428039572138112 52.324659821 53.577764972 23.99879303898353 23.864377297939004 0.4467305575763358 0.4492467606263538 0.4467080914776749 0.0036097395119227826 0.44222048590459445 0.452811071121211 0.9999497099576471 0.9943490540807918 0.01861223054804154 3.469446951953614e-18 0.018612230548041543 0.018612230548041543 0.0011915912153545407 0.1346498073350631 1249.2969165148004 2.2737367544323206e-13 1249.2969165148002 1249.2969165148002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8637.721659224613 0.8461851878428571 52.9449799429 0.3883412965721441 52.20147563 53.443214922 27.998347002630364 27.814438229704045 0.4475442853656928 0.45050344347171173 0.44751786431117474 0.003295998243319569 0.44333383188455333 0.45387960730335397 0.9999409643796559 0.9933727939180016 0.01598234976678524 3.469446951953614e-18 0.015982349766785243 0.015982349766785243 0.0013988244701988086 0.15806716513246538 1458.7662531415997 2.2737367544323206e-13 1458.7662531416 1458.7662531416 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8635.597915928973 0.7404120393625 52.958000644799995 0.38158020810327886 52.375547036 53.554368481 31.997831006548523 31.75675036401947 0.44743769982394416 0.45083441286696047 0.4474073720289172 0.00322056269695315 0.4424136803705539 0.45237112737580837 0.9999322189546413 0.9923984488756085 0.013981117684721387 1.734723475976807e-18 0.01398111768472139 0.01398111768472139 0.0016060577250430765 0.18148452292986766 1670.9628353740004 4.547473508864641e-13 1670.962835374 1670.962835374 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8651.892652023265 0.59232963149 52.85826100639999 0.4586231111099707 52.04071632 53.576262531 39.99658914254105 39.61821926619612 0.4482950845213005 0.45257648229328695 0.4482568577554792 0.0038952551626178326 0.44223288710911446 0.4552816897044587 0.9999147285635261 0.9904554816549029 0.011205999217762413 1.734723475976807e-18 0.011205999217762417 0.011205999217762417 0.0020205242347316127 0.22831923852467223 2090.6372549964 0.0 2090.6372549964 2090.6372549964 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8603.875520834079 0.49360802624166666 53.1532562149 0.3770382494594616 52.553150397 53.746211555 47.99506746164492 47.448965166924246 0.4458093146612174 0.45094024826299073 0.44576350275405874 0.0031646620698832215 0.44083451789628186 0.45084233924351996 0.9998972387842692 0.9885201076442552 0.00928650587738212 1.734723475976807e-18 0.009286505877382122 0.009286505877382122 0.0024349907444201485 0.2751539541194768 2527.6631130555993 4.547473508864641e-13 2527.6631130555998 2527.6631130555998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8624.675931301641 0.42309259392142856 53.025064784200005 0.4337674023863009 52.329185142 53.63048303 55.99326597854296 55.24916781543732 0.4468986344627395 0.4529174844499284 0.446844894730711 0.003665497621828492 0.44178578899515836 0.4527719129450686 0.9998797496168386 0.9865922824185236 0.007979105648306502 0.0 0.007979105648306504 0.007979105648306504 0.0028494572541086843 0.3219886697142813 2945.7104426556 0.0 2945.7104426556 2945.7104426556 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8690.689488484833 0.37020601968125 52.6222920064 0.5030952482169284 51.707012869 53.496151632 63.99118470791693 63.01900556150055 0.45033257480533045 0.4572797478728344 0.4502705464743706 0.0043056120610569905 0.4428951342628421 0.45821995789288417 0.999862261061202 0.9846719618984461 0.007035155740388976 0.0 0.007035155740388978 0.007035155740388978 0.0032639237637972205 0.3688233853090859 3344.1335031499993 9.094947017729282e-13 3344.1335031500003 3344.1335031500003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8977.446821225925 11.8465926298 50.941432359 0.33308632500962776 50.123402957 51.410227631 1.99999562674247 1.9995059428948685 0.46511739111221767 0.4652312994876719 0.46511637407315115 0.0030644725725720444 0.46086520817723786 0.47269706089041824 0.999997813371235 0.9997529714474342 0.2325531906192469 2.7755575615628914e-17 0.23255319061924692 0.23255319061924692 5.1808313711066994e-05 0.005854339449350569 78.18967945839998 1.4210854715202004e-14 78.1896794584 78.1896794584 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8817.038796149955 7.897728419866667 51.8682077479 0.4543806096635062 51.173779457 52.724879752 2.9999868802560976 2.998518194732816 0.4568153813923628 0.45703913128944257 0.4568133836254246 0.003982652958982295 0.449373907935774 0.46299463340417857 0.9999956267520325 0.9995060649109387 0.15226530398452842 2.7755575615628914e-17 0.15226530398452845 0.15226530398452845 0.00010361662742213399 0.011708678898701138 131.91143798410005 2.842170943040401e-14 131.91143798410002 131.91143798410002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8817.523768741723 5.9232963149 51.86535494479999 0.39191024188399926 51.420243466 52.569552446 3.9999737605695707 3.9970371212005342 0.4568370383663512 0.4571726783895536 0.4568340415804298 0.003436978183869513 0.4507016734437275 0.46077543905964513 0.9999934401423927 0.9992592803001336 0.11420525939144022 1.3877787807814457e-17 0.11420525939144023 0.11420525939144023 0.00015542494113320097 0.01756301834805171 183.76823451959993 2.842170943040401e-14 183.76823451959996 183.76823451959996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8861.875929672802 4.73863705192 51.60577778669999 0.5285809802229192 50.56352617 52.280779913 4.9999562677115765 4.995063087623641 0.45914703257199085 0.45959681450222967 0.45914301666189944 0.004727834770661157 0.453191121077911 0.46858253476905404 0.9999912535423153 0.9990126175247283 0.09182376964660838 1.3877787807814457e-17 0.09182376964660839 0.09182376964660839 0.00020723325484426798 0.023417357797402276 234.3357036738999 5.684341886080802e-14 234.33570367389996 234.33570367389996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8814.134341278097 3.9488642099333333 51.885299485199994 0.4539399299520441 51.113881983 52.685904164 5.999934401710803 5.99259645896713 0.4566679102874621 0.45722710078218465 0.45666291751518784 0.00399672776377747 0.4497063424374034 0.46353719068882565 0.9999890669518006 0.9987660764945216 0.07610757284073738 1.3877787807814457e-17 0.0761075728407374 0.0761075728407374 0.000259041568555335 0.02927169724675285 287.6186116516 5.684341886080802e-14 287.61861165159996 287.61861165159996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8840.061878998946 3.3847407513714285 51.7331220369 0.28565182802035155 51.24697839 52.070745589 6.999908162595937 6.989637599835809 0.4580017013237514 0.45867468832064545 0.4579956925112791 0.00253527180180741 0.45501912814179507 0.4623333122060389 0.9999868803708482 0.9985196571194013 0.06542695700748881 1.3877787807814457e-17 0.06542695700748882 0.06542695700748882 0.00031084988226640195 0.03512603669610342 338.4386689987 0.0 338.4386689987 338.4386689987 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8782.533740384693 2.96164815745 52.07198896340001 0.4807096627699849 51.1996494 52.654357005 7.999877550395666 7.9861868744747495 0.4550347005993237 0.4558147640659811 0.4550277357469429 0.004227939908895313 0.4499757780225124 0.46276069342771714 0.9999846937994582 0.9982733593093437 0.056876032899985086 6.938893903907228e-18 0.0568760328999851 0.0568760328999851 0.0003626581959774689 0.04098037614545399 392.8827264476 5.684341886080802e-14 392.8827264476001 392.8827264476001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8796.491968721784 2.6325761399555554 51.9893613984 0.4841676967733543 51.20216475 52.604218667 8.999842565138675 8.98224464676973 0.4557592064251149 0.45665212502463765 0.4557512339376193 0.004262328992645762 0.450404660690519 0.4627379599140874 0.9999825072376304 0.9980271829744145 0.05063682394137994 1.3877787807814457e-17 0.050636823941379944 0.050636823941379944 0.00041446650968853595 0.04683471559480455 444.21106732600003 5.684341886080802e-14 444.211067326 444.211067326 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8858.804628450038 2.36931852596 51.6236692399 0.4741760117217501 50.668922328 52.327569255 9.999803206853649 9.977811280247677 0.4589881711451197 0.4599998192800985 0.4589791385724859 0.004231771179983456 0.45278589464264235 0.46760783871077083 0.9999803206853649 0.9977811280247676 0.04589597292957918 6.938893903907228e-18 0.045895972929579185 0.045895972929579185 0.00046627482339960287 0.05268905504415513 492.54350713940005 0.0 492.54350713940005 492.54350713940005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8858.978727974776 1.9744321049666667 51.6226547148 0.5870776250013552 50.836212649 52.488472975 11.999711371314245 11.96747258306856 0.4590094765308312 0.46024598734912847 0.45899843625566783 0.005221687963325899 0.4513978768421201 0.4660690485184299 0.9999759476095204 0.9972893819223799 0.03824739575821553 6.938893903907228e-18 0.038247395758215535 0.038247395758215535 0.0005698914508217368 0.06439773394285628 595.7786713180001 1.1368683772161603e-13 595.778671318 595.778671318 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8833.019070116232 1.6923703756857142 51.774370277 0.4927223740789645 51.018768339 52.512351418 13.999602044006936 13.955173683992562 0.4576575528806174 0.4591145734081369 0.4576445437687645 0.004354582263599581 0.45119261697122426 0.464401357205802 0.999971574571924 0.9967981202851831 0.032687415928601346 0.0 0.03268741592860135 0.03268741592860135 0.0006735080782438709 0.0761064128415574 701.1479986184002 1.1368683772161603e-13 701.1479986184 701.1479986184 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8826.432986424295 1.480824078725 51.8130031354 0.598446106676454 50.968098179 52.960769318 15.999475225161204 15.940917478361461 0.45732799654986295 0.45900795612952655 0.4573129969107588 0.005252498683971634 0.44737237703885274 0.46486304386696 0.9999672015725752 0.9963073423975913 0.02858016306939873 0.0 0.028580163069398735 0.028580163069398735 0.0007771247056660049 0.08781509174025855 805.3148649067999 1.1368683772161603e-13 805.3148649068 805.3148649068 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8812.355652007616 1.3162880699777777 51.895772034100005 0.3378581781765203 51.359654507 52.385836008 17.999330915006528 17.9247068558177 0.4565799428268592 0.45848077439704943 0.45656297111641114 0.0029768026191856274 0.4522822782857134 0.46131901561703004 0.9999628286114737 0.9958170475454278 0.025364071452928048 0.0 0.02536407145292805 0.02536407145292805 0.0008807413330881388 0.09952377063895969 910.4307113542002 1.1368683772161603e-13 910.4307113542001 910.4307113542001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8815.899757348001 1.18465926298 51.87490926480001 0.3600778206122897 51.291032775 52.479974317 19.999169113772375 19.90654470031841 0.45676687685332534 0.4588921961737126 0.4567479007879647 0.0031693250103422992 0.4514709766526123 0.4619362094644428 0.9999584556886189 0.9953272350159205 0.022836845013700226 0.0 0.02283684501370023 0.02283684501370023 0.0009843579605102728 0.11123244953766083 1013.8050000364003 1.1368683772161603e-13 1013.8050000364002 1013.8050000364002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8842.482183661072 0.9872160524833333 51.71896199519999 0.34180720374010404 51.219381461 52.504961081 23.99879303898353 23.864377297939004 0.4581471032200475 0.4607276097892276 0.45812406298282266 0.0030129746688733056 0.4512561245983642 0.46258241672911876 0.9999497099576471 0.9943490540807918 0.019088087123151392 3.469446951953614e-18 0.019088087123151395 0.019088087123151395 0.0011915912153545407 0.1346498073350631 1217.5619026251995 2.2737367544323206e-13 1217.5619026251998 1217.5619026251998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8824.494520936381 0.8461851878428571 51.8243848319 0.25700638279285154 51.479296183 52.291422177 27.998347002630364 27.814438229704045 0.45721478981599606 0.46023788919569253 0.4571877978572488 0.002264576116127482 0.45309888836837325 0.4602468762466142 0.9999409643796559 0.9933727939180016 0.016327935017223703 0.0 0.016327935017223707 0.016327935017223707 0.0013988244701988086 0.15806716513246538 1427.3895900336 2.2737367544323206e-13 1427.3895900336001 1427.3895900336001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8800.156379078271 0.7404120393625 51.96771287920001 0.4068789849917108 51.407487489 52.93530248 31.997831006548523 31.75675036401947 0.45596606607708295 0.45942752201704123 0.4559351602204762 0.0035406827112623284 0.44758760504961226 0.46088977339477616 0.9999322189546413 0.9923984488756085 0.014247539449804197 0.0 0.0142475394498042 0.0142475394498042 0.0016060577250430765 0.18148452292986766 1639.2736268748008 4.547473508864641e-13 1639.2736268748004 1639.2736268748004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8760.76548059245 0.59232963149 52.20137452749999 0.554114163546303 51.316248391 53.109228419 39.99658914254105 39.61821926619612 0.45394480967686474 0.45828016458897736 0.4539061011508638 0.004830645118379077 0.44612181281706753 0.46170922470932974 0.9999147285635261 0.9904554816549029 0.011347012159190503 1.734723475976807e-18 0.011347012159190506 0.011347012159190506 0.0020205242347316127 0.22831923852467223 2064.3617958403997 0.0 2064.3617958403997 2064.3617958403997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8817.548709202649 0.49360802624166666 51.8652082435 0.44993923791726587 50.962454924 52.755296783 47.99506746164492 47.448965166924246 0.45688647773805857 0.4621449012472298 0.4568395275281552 0.003966224115146056 0.44911481319227364 0.4649145198152935 0.9998972387842692 0.9885201076442552 0.00951713186852051 1.734723475976807e-18 0.009517131868520512 0.009517131868520512 0.0024349907444201485 0.2751539541194768 2465.8368104284004 4.547473508864641e-13 2465.8368104284 2465.8368104284 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8774.180756918218 0.42309259392142856 52.121561279599995 0.36196009260083795 51.674082649 52.756688657 55.99326597854296 55.24916781543732 0.4546411346426105 0.4607642609544842 0.45458646387196877 0.003154002630549044 0.4491029642448243 0.45851196663785404 0.9998797496168386 0.9865922824185236 0.00811741980735761 0.0 0.008117419807357612 0.008117419807357612 0.0028494572541086843 0.3219886697142813 2895.114246398 0.0 2895.114246398 2895.114246398 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8780.014176149254 0.37020601968125 52.08693184599999 0.4114541643136647 51.228582939 52.583776176 63.99118470791693 63.01900556150055 0.45495463457824176 0.46197311105786204 0.4548919696096737 0.0036118706603794097 0.45057976019633816 0.46249932948198974 0.999862261061202 0.9846719618984461 0.007107464512899311 0.0 0.007107464512899312 0.007107464512899312 0.0032639237637972205 0.3688233853090859 3309.8704528844 4.547473508864641e-13 3309.8704528843996 3309.8704528843996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8629.77287096874 11.8465926298 52.993746977799994 0.5492350668367698 51.588782627 53.555042886 1.99999562674247 1.9995059428948685 0.4471192082995642 0.44722870887646154 0.44711823061584194 0.004703471734708068 0.4424081091678803 0.4592700981317537 0.999997813371235 0.9997529714474342 0.2235469900772018 2.7755575615628914e-17 0.22354699007720183 0.22354699007720183 5.1808313711066994e-05 0.005854339449350569 82.294308696 1.4210854715202004e-14 82.29430869599999 82.29430869599999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 14147.004013025855 7.897728419866667 32.326561834500005 0.432197110997334 31.677303901 33.33003806 2.9999868802560976 2.998518194732816 0.733000689372694 0.7333597158754941 0.7329974837789192 0.009702028037964551 0.7108658327046626 0.7479546028805831 0.9999956267520325 0.9995060649109387 0.244310807326189 0.0 0.24431080732618904 0.24431080732618904 0.00010361662742213399 0.011708678898701138 73.28650024390002 1.4210854715202004e-14 73.28650024390001 73.28650024390001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 18282.82177515128 5.9232963149 25.013863047199997 0.5730285048120295 23.722619389 25.807504006 3.9999737605695707 3.9970371212005342 0.9474603209943638 0.9481564239313304 0.9474541057895696 0.0221570615361769 0.9180734895591437 0.9987592378009637 0.9999934401423927 0.9992592803001336 0.23680054151264102 0.0 0.23680054151264102 0.23680054151264102 0.00015542494113320097 0.01756301834805171 76.3622669292 1.4210854715202004e-14 76.36226692919999 76.36226692919999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 20901.392976523664 4.73863705192 21.880072802500003 0.4548746522927797 20.888292319 22.527968553 4.9999562677115765 4.995063087623641 1.0831114855695132 1.0841725051124564 1.0831020121807369 0.022825815722752635 1.0517231149297228 1.1342806246563615 0.9999912535423153 0.9990126175247283 0.216573184865206 2.7755575615628914e-17 0.21657318486520602 0.21657318486520602 0.00020723325484426798 0.023417357797402276 85.70717875290002 1.4210854715202004e-14 85.7071787529 85.7071787529 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 22706.988557450433 3.9488642099333333 20.1402312263 0.24441765246772826 19.767413065 20.64838626 5.999934401710803 5.99259645896713 1.1765100733572675 1.1779507115872507 1.1764972105159284 0.01422827166732357 1.1474594169859356 1.1985981767918301 0.9999890669518006 0.9987660764945216 0.19606846443633338 2.7755575615628914e-17 0.1960684644363334 0.1960684644363334 0.000259041568555335 0.02927169724675285 97.1482020982 1.4210854715202004e-14 97.14820209819999 97.14820209819999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 23735.91510342844 3.3847407513714285 19.267173732599996 0.3048755217749266 18.762820804 19.764132539 6.999908162595937 6.989637599835809 1.229887484346207 1.2316946791278323 1.229871348678514 0.01939740355591992 1.1987971246826499 1.262773092974853 0.9999868803708482 0.9985196571194013 0.17567396227109625 2.7755575615628914e-17 0.17567396227109627 0.17567396227109627 0.00031084988226640195 0.03512603669610342 111.17703086859999 0.0 111.17703086859999 111.17703086859999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 23536.498290949105 2.96164815745 19.430417997899998 0.3260753360148222 18.819760958 19.959808423 7.999877550395666 7.9861868744747495 1.2195768664658628 1.2216675803324262 1.2195581993777687 0.020505594656016278 1.187044722949243 1.2589525080831794 0.9999846937994582 0.9982733593093437 0.15242328588968537 2.7755575615628914e-17 0.1524232858896854 0.1524232858896854 0.0003626581959774689 0.04098037614545399 131.75015872359998 0.0 131.75015872359998 131.75015872359998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 23919.283043245618 2.6325761399555554 19.119469391000003 0.4761040830441877 18.443740926 19.792407165 8.999842565138675 8.98224464676973 1.2396250830581814 1.2420537433627743 1.239603398591176 0.031042726400617 1.1970845719816212 1.284619283835195 0.9999825072376304 0.9980271829744145 0.1376908577386971 2.7755575615628914e-17 0.13769085773869713 0.13769085773869713 0.00041446650968853595 0.04683471559480455 148.38203925940002 0.0 148.38203925940002 148.38203925940002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24594.022995764026 2.36931852596 18.594924469200002 0.4125990997691193 18.031684279 19.268703623 9.999803206853649 9.977811280247677 1.274512915466391 1.2773220480214222 1.274487833925721 0.028183230287155456 1.2296200991601083 1.3139751613327368 0.9999803206853649 0.9977811280247676 0.12741748587817378 0.0 0.1274174858781738 0.1274174858781738 0.00046627482339960287 0.05268905504415513 162.2560594324 2.842170943040401e-14 162.25605943240004 162.25605943240004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 25316.89013886729 1.9744321049666667 18.0639880132 0.4494442345118143 17.351795592 18.685474023 11.999711371314245 11.96747258306856 1.3120660917013185 1.3156006242102583 1.3120345333753458 0.03302293322636526 1.268000224689831 1.3654601412273253 0.9999759476095204 0.9972893819223799 0.10930211554192124 1.3877787807814457e-17 0.10930211554192125 0.10930211554192125 0.0005698914508217368 0.06439773394285628 193.07467089879995 2.842170943040401e-14 193.07467089879998 193.07467089879998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 25388.829404362918 1.6923703756857142 18.012803690800002 0.46019475565773066 17.350603595 18.564972323 13.999602044006936 13.955173683992562 1.315820927559623 1.3200100381509965 1.315783524786486 0.03382148441728023 1.2762305726815815 1.365553949167957 0.999971574571924 0.9967981202851831 0.09395374560985686 1.3877787807814457e-17 0.09395374560985688 0.09395374560985688 0.0006735080782438709 0.0761064128415574 228.4860664116 2.842170943040401e-14 228.48606641160004 228.48606641160004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24613.96853713599 1.480824078725 18.5798563653 0.43064412120534434 17.872640907 19.410689769 15.999475225161204 15.940917478361461 1.275590423356852 1.2802762076683574 1.2755485859969278 0.029293629969732976 1.2206256213233284 1.3256678396263377 0.9999672015725752 0.9963073423975913 0.07970051272789211 0.0 0.07970051272789212 0.07970051272789212 0.0007771247056660049 0.08781509174025855 273.58451658520005 5.684341886080802e-14 273.5845165852 273.5845165852 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24683.93386742015 1.3162880699777777 18.527192726099997 0.43226422103959716 17.989333514 19.219771565 17.999330915006528 17.9247068558177 1.2792285230155422 1.284554201465149 1.2791809723150993 0.029829792696429266 1.2327506172209806 1.3170685418201316 0.9999628286114737 0.9958170475454278 0.071046277190363 1.3877787807814457e-17 0.07104627719036301 0.07104627719036301 0.0008807413330881388 0.09952377063895969 309.7962838101999 5.684341886080802e-14 309.79628381019995 309.79628381019995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24580.473709327 1.18465926298 18.605174392000002 0.38236011916594576 17.993266573 19.129767986 19.999169113772375 19.90654470031841 1.2737952397771843 1.2797221617378263 1.2737423208311072 0.02624834010350502 1.238550581321201 1.316780650332446 0.9999584556886189 0.9953272350159205 0.06367364465497237 0.0 0.06367364465497238 0.06367364465497238 0.0009843579605102728 0.11123244953766083 348.4103025804001 5.684341886080802e-14 348.41030258040007 348.41030258040007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 23276.47018443495 0.9872160524833333 19.647480755300002 0.6027061218565272 18.711488047 20.560744304 23.99879303898353 23.864377297939004 1.206545226356774 1.2133410739366095 1.2064845491462397 0.03724688270642571 1.1523505622795278 1.266237361779397 0.9999497099576471 0.9943490540807918 0.05024644455839596 1.3877787807814457e-17 0.05024644455839597 0.05024644455839597 0.0011915912153545407 0.1346498073350631 447.8463528676001 5.684341886080802e-14 447.84635286760005 447.84635286760005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 22689.40896296943 0.8461851878428571 20.155835735799997 0.51055407954495 19.214984718 20.737843205 27.998347002630364 27.814438229704045 1.1759505392966507 1.1837259118897643 1.1758811163270693 0.030257125935927193 1.1425096151699832 1.233057720696752 0.9999409643796559 0.9933727939180016 0.04198214348115054 6.938893903907228e-18 0.04198214348115055 0.04198214348115055 0.0013988244701988086 0.15806716513246538 540.6702153427998 1.1368683772161603e-13 540.6702153427999 540.6702153427999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 21529.184831944458 0.7404120393625 21.2420490404 0.40190453163967316 20.451358116 21.778982625 31.997831006548523 31.75675036401947 1.1156670841706857 1.1241366452692647 1.1155914630894483 0.021277700045137665 1.0878921971498656 1.1585140275385317 0.9999322189546413 0.9923984488756085 0.03485596130365385 6.938893903907228e-18 0.03485596130365386 0.03485596130365386 0.0016060577250430765 0.18148452292986766 656.0523840331999 1.1368683772161603e-13 656.0523840332 656.0523840332 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 20320.595594168935 0.59232963149 22.5054427111 0.6141709811267069 21.858217386 23.809015464 39.99658914254105 39.61821926619612 1.0532513285730707 1.0633103009936802 1.0531615163193153 0.02805168655186415 0.9951350275455472 1.0839486514932037 0.9999147285635261 0.9904554816549029 0.02631939478346074 3.469446951953614e-18 0.026319394783460747 0.026319394783460747 0.0020205242347316127 0.22831923852467223 876.5245231843999 1.1368683772161603e-13 876.5245231844 876.5245231844 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 18465.6336093764 0.49360802624166666 24.766223010500003 0.4235520470809592 23.685943239 25.29395937 47.99506746164492 47.448965166924246 0.9569138987783188 0.9679272659641899 0.9568155651427306 0.016776602376801765 0.9367131856668275 1.0003057518346188 0.9998972387842692 0.9885201076442552 0.019930694560587388 3.469446951953614e-18 0.01993069456058739 0.01993069456058739 0.0024349907444201485 0.2751539541194768 1165.0855192443998 2.2737367544323206e-13 1165.0855192444 1165.0855192444 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 17225.03095014453 0.42309259392142856 26.5499668084 0.7696679807499454 25.089216784 28.221274961 55.99326597854296 55.24916781543732 0.8928803265376336 0.9049056770925823 0.8927729573362502 0.025718866163584424 0.8395504913347278 0.9443573094999808 0.9998797496168386 0.9865922824185236 0.01593571084192725 3.469446951953614e-18 0.015935710841927252 0.015935710841927252 0.0028494572541086843 0.3219886697142813 1463.1049560108002 2.2737367544323206e-13 1463.1049560108 1463.1049560108 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 15918.844340763058 0.37020601968125 28.728467356699998 0.7154055022769695 27.431827963 29.69629364 63.99118470791693 63.01900556150055 0.8251001221394264 0.8378287446446918 0.8249864737242009 0.020816857754622425 0.7978499117373355 0.8637114993414703 0.999862261061202 0.9846719618984461 0.01288638252381087 1.734723475976807e-18 0.012886382523810873 0.012886382523810873 0.0032639237637972205 0.3688233853090859 1814.9287255691997 0.0 1814.9287255691997 1814.9287255691997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 7288.94366229346 11.8465926298 62.7421504663 0.683697605773954 61.62019275 64.100961457 1.99999562674247 1.9995059428948685 0.3776510694838089 0.37774355714527985 0.3776502437011172 0.0040998948194165205 0.3696229310927542 0.38450358887590463 0.999997813371235 0.9997529714474342 0.1888139399391965 2.7755575615628914e-17 0.18881393993919654 0.18881393993919654 5.1808313711066994e-05 0.005854339449350569 101.79111567300001 1.4210854715202004e-14 101.791115673 101.791115673 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 13364.683889585573 7.897728419866667 34.2188415213 0.21991764983980827 33.885114041 34.61306905 2.9999868802560976 2.998518194732816 0.6924190518326981 0.6927582012963424 0.6924160237124871 0.004444776668122032 0.6845155864501418 0.6992210570969877 0.9999956267520325 0.9995060649109387 0.23080057853363076 5.551115123125783e-17 0.23080057853363078 0.23080057853363078 0.00010361662742213399 0.011708678898701138 78.9633393043 0.0 78.9633393043 78.9633393043 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 18816.63131506109 5.9232963149 24.304244067000003 0.3264305194090858 23.8668175 25.104471511 3.9999737605695707 3.9970371212005342 0.9749513922710211 0.975667693009449 0.9749449967287137 0.012902484706940668 0.9437834709732241 0.992724952105575 0.9999934401423927 0.9992592803001336 0.24371448453904299 0.0 0.243714484539043 0.243714484539043 0.00015542494113320097 0.01756301834805171 73.52379100840002 1.4210854715202004e-14 73.52379100840001 73.52379100840001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24084.2120619009 4.73863705192 18.988538999100005 0.25355670077198184 18.625260929 19.512238537 4.9999562677115765 4.995063087623641 1.2478839870034382 1.2491064182260563 1.2478730724389504 0.016532820994401128 1.2142730427711763 1.2720995077555728 0.9999912535423153 0.9990126175247283 0.24955248279736508 2.7755575615628914e-17 0.2495524827973651 0.2495524827973651 0.00020723325484426798 0.023417357797402276 71.24950973590002 0.0 71.24950973590002 71.24950973590002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 28812.2937136019 3.9488642099333333 15.872530127099997 0.3334050348640493 15.428071858 16.503934997 5.999934401710803 5.99259645896713 1.4930605661934602 1.4948888209445657 1.4930442424903252 0.031161426229170026 1.4356082512386787 1.535719140905754 0.9999890669518006 0.9987660764945216 0.24878605857494837 0.0 0.2487860585749484 0.2487860585749484 0.000259041568555335 0.02927169724675285 71.54199550299997 1.4210854715202004e-14 71.54199550299998 71.54199550299998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 32828.19191276099 3.3847407513714285 13.9308311958 0.3125780072823467 13.503670943 14.575713119 6.999908162595937 6.989637599835809 1.7012195121363265 1.7037192814760933 1.7011971927672214 0.03761506472436333 1.6255249445541726 1.7545736533132879 0.9999868803708482 0.9985196571194013 0.24296760931191905 5.551115123125783e-17 0.24296760931191907 0.24296760931191907 0.00031084988226640195 0.03512603669610342 73.82263311099999 1.4210854715202004e-14 73.822633111 73.822633111 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 35977.641356325395 2.96164815745 12.7113391195 0.33308316413147293 12.09386439 13.176295395 7.999877550395666 7.9861868744747495 1.8646178847532922 1.867814388864421 1.8645893445380144 0.04983716900709559 1.7981674324477301 1.9591078993072784 0.9999846937994582 0.9982733593093437 0.23299261624659542 0.0 0.23299261624659545 0.23299261624659545 0.0003626581959774689 0.04098037614545399 77.99752769639998 1.4210854715202004e-14 77.9975276964 77.9975276964 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 38240.989294364284 2.6325761399555554 11.9590002361 0.24966412923440984 11.360800152 12.208053097 8.999842565138675 8.98224464676973 1.9816751513827275 1.9855576283046112 1.9816404864102108 0.04247173873555073 1.9407832740686841 2.085520820945782 0.9999825072376304 0.9980271829744145 0.22013346333155318 0.0 0.2201334633315532 0.2201334633315532 0.00041446650968853595 0.04683471559480455 83.93781686529998 1.4210854715202004e-14 83.9378168653 83.9378168653 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 40661.570167852224 2.36931852596 11.2470816575 0.40455325628081557 10.732888802 11.880139387 9.999803206853649 9.977811280247677 2.1080101568408263 2.1126563866954298 2.1079686726456957 0.07566275695602395 1.994352464039823 2.2075310474832217 0.9999803206853649 0.9977811280247676 0.2106607383240651 0.0 0.21066073832406512 0.21066073832406512 0.00046627482339960287 0.05268905504415513 88.7776313154 1.4210854715202004e-14 88.77763131540001 88.77763131540001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 43446.390425652215 1.9744321049666667 10.526167893799999 0.2729236855418115 10.184419799 11.149685028 11.999711371314245 11.96747258306856 2.2516847200452226 2.2577504608590586 2.251630561645099 0.057218311210170396 2.1250093791976847 2.3264148304183627 0.9999759476095204 0.9972893819223799 0.18757368539880723 0.0 0.18757368539880725 0.18757368539880725 0.0005698914508217368 0.06439773394285628 102.620829466 2.842170943040401e-14 102.62082946599998 102.62082946599998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 42478.90682874407 1.6923703756857142 10.765907932700001 0.35678782076460486 10.239942373 11.278949048 13.999602044006936 13.955173683992562 2.2020367538015146 2.2090472635864984 2.201974159964149 0.0734244987364197 2.1006554031557854 2.313800644237278 0.999971574571924 0.9967981202851831 0.15719718079191128 2.7755575615628914e-17 0.1571971807919113 0.1571971807919113 0.0006735080782438709 0.0761064128415574 127.02952579820001 0.0 127.02952579820001 127.02952579820001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 42286.73500347616 1.480824078725 10.8148335397 0.559398349757951 9.842524552 11.533794561 15.999475225161204 15.940917478361461 2.1938692090087195 2.201928220532195 2.1937972535486883 0.11704870060758234 2.054240270562419 2.4072264320423304 0.9999672015725752 0.9963073423975913 0.13692527705480312 2.7755575615628914e-17 0.13692527705480315 0.13692527705480315 0.0007771247056660049 0.08781509174025855 149.34415137559998 2.842170943040401e-14 149.3441513756 149.3441513756 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 40784.335508476936 1.3162880699777777 11.2132267033 0.3656539541554994 10.552233081 11.577513738 17.999330915006528 17.9247068558177 2.1141895099300667 2.1229912942155496 2.114110922570375 0.07075371389069873 2.0464830183559743 2.2453242908613493 0.9999628286114737 0.9958170475454278 0.11738709158447676 0.0 0.11738709158447677 0.11738709158447677 0.0008807413330881388 0.09952377063895969 178.14489539979996 2.842170943040401e-14 178.1448953998 178.1448953998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 43511.404680546395 1.18465926298 10.5104398113 0.1204244694261125 10.314821675 10.814653223 19.999169113772375 19.90654470031841 2.2544929108964067 2.2649829827120627 2.2543992495409095 0.02551598959603551 2.190840960966798 2.2970038655176266 0.9999584556886189 0.9953272350159205 0.1127126251849468 0.0 0.11271262518494682 0.11271262518494682 0.0009843579605102728 0.11123244953766083 186.51561096639998 2.842170943040401e-14 186.5156109664 186.5156109664 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 40942.08513324248 0.9872160524833333 11.1700222036 0.38947395953364494 10.49254866 11.609846348 23.99879303898353 23.864377297939004 2.122556467475223 2.1345117343955615 2.122449724020577 0.07570328438268933 2.0407837062961276 2.258096295509579 0.9999497099576471 0.9943490540807918 0.08838084960700991 1.3877787807814457e-17 0.08838084960700993 0.08838084960700993 0.0011915912153545407 0.1346498073350631 244.38734762680002 0.0 244.38734762680002 244.38734762680002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 42129.747304427736 0.8461851878428571 10.8551327568 0.22909966800418155 10.630303175 11.441187454 27.998347002630364 27.814438229704045 2.1832766602016216 2.197712462507618 2.183147769109604 0.04474164254989544 2.0708676747811285 2.2288343868988476 0.9999409643796559 0.9933727939180016 0.07795254160413466 0.0 0.07795254160413467 0.07795254160413467 0.0013988244701988086 0.15806716513246538 280.25053193080004 5.684341886080802e-14 280.2505319308 280.2505319308 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 40196.294080317435 0.7404120393625 11.3772677423 0.49753509244465066 10.661086642 12.203033363 31.997831006548523 31.75675036401947 2.0846497571503866 2.10047532800197 2.08450845741064 0.09219326715372099 1.9415816178490932 2.2223987155548715 0.9999322189546413 0.9923984488756085 0.06507819417923094 1.3877787807814457e-17 0.06507819417923096 0.06507819417923096 0.0016060577250430765 0.18148452292986766 340.37938249399997 5.684341886080802e-14 340.379382494 340.379382494 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 40331.85097995972 0.59232963149 11.339028308600001 0.4358341430245299 10.787865395 11.997341592 39.99658914254105 39.61821926619612 2.091249681850146 2.111221954662598 2.0910713579857494 0.08054115931588465 1.9748696057299024 2.1962811355230114 0.9999147285635261 0.9904554816549029 0.05223812970294394 0.0 0.05223812970294395 0.05223812970294395 0.0020205242347316127 0.22831923852467223 429.86794708440004 0.0 429.86794708440004 429.86794708440004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 39611.76174852746 0.49360802624166666 11.5451567871 0.3682154842713101 11.045922736 12.062163423 47.99506746164492 47.448965166924246 2.0534751662453203 2.077109137955629 2.053264148640764 0.0656400106794084 1.9642566949824354 2.1449711197400503 0.9998972387842692 0.9885201076442552 0.042754553735744875 0.0 0.04275455373574488 0.04275455373574488 0.0024349907444201485 0.2751539541194768 530.4743405212001 1.1368683772161603e-13 530.4743405212 530.4743405212 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 39912.064408327606 0.42309259392142856 11.4582897873 0.470537394023933 10.647241674 12.349596069 55.99326597854296 55.24916781543732 2.0697707737036635 2.0976465353062173 2.069521882975069 0.08517718407155643 1.91853928883348 2.2252885756747216 0.9998797496168386 0.9865922824185236 0.03692458488790978 0.0 0.036924584887909784 0.036924584887909784 0.0028494572541086843 0.3219886697142813 617.9710428292 0.0 617.9710428292 617.9710428292 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 41910.98110756142 0.37020601968125 10.9117941865 0.3970579969730061 10.472262258 11.705535052 63.99118470791693 63.01900556150055 2.173039248738606 2.206562206188423 2.1727399366185183 0.07620341025239995 2.0241010047252646 2.262470579506375 0.999862261061202 0.9846719618984461 0.03392714464311161 6.938893903907228e-18 0.03392714464311162 0.03392714464311162 0.0032639237637972205 0.3688233853090859 674.6616426764001 1.1368683772161603e-13 674.6616426764 674.6616426764 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 8773.053811926626 11.8465926298 52.1282565688 0.6579259445246894 50.822389714 53.000996345 1.99999562674247 1.9995059428948685 0.45455451748236086 0.4546658389844831 0.45455352354037765 0.005784231738622655 0.44703282755995144 0.4661958123758446 0.999997813371235 0.9997529714474342 0.22725856204618333 2.7755575615628914e-17 0.22725856204618336 0.22725856204618336 5.1808313711066994e-05 0.005854339449350569 80.563327878 0.0 80.563327878 80.563327878 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 14930.866867847442 7.897728419866667 30.6294339135 0.36692631126956526 30.142913403 31.25803988 2.9999868802560976 2.998518194732816 0.7736018280757916 0.7739807411694907 0.7735984449231693 0.009243302028375129 0.7579869163440328 0.786028375652697 0.9999956267520325 0.9995060649109387 0.25784767822253885 5.551115123125783e-17 0.25784767822253885 0.25784767822253885 0.00010361662742213399 0.011708678898701138 68.19511648089998 1.4210854715202004e-14 68.1951164809 68.1951164809 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 19913.24996954432 5.9232963149 22.965814254300003 0.4230866429678707 22.423724258 23.590866295 3.9999737605695707 3.9970371212005342 1.0318534747738453 1.0326115817028567 1.0318467059619791 0.018965030291080542 1.0043372279474825 1.0566124068862959 0.9999934401423927 0.9992592803001336 0.2579179753572618 5.551115123125783e-17 0.2579179753572618 0.2579179753572618 0.00015542494113320097 0.01756301834805171 68.17007175760001 0.0 68.17007175760001 68.17007175760001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 24738.17202015934 4.73863705192 18.486572072799998 0.14624615064377117 18.248825522 18.674600243 4.9999562677115765 4.995063087623641 1.2816943522726478 1.2829499042393286 1.281683141987231 0.01016232893789086 1.2687385513636988 1.298340281188864 0.9999912535423153 0.9990126175247283 0.256328595331751 5.551115123125783e-17 0.256328595331751 0.256328595331751 0.00020723325484426798 0.023417357797402276 68.7396751044 1.4210854715202004e-14 68.73967510439999 68.73967510439999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 29213.28999710994 3.9488642099333333 15.654655810600001 0.19392224904537833 15.393714751 15.942109909 5.999934401710803 5.99259645896713 1.5136238961447874 1.5154773307221727 1.513607347621775 0.01873258644745296 1.4862013494351956 1.5391466999907124 0.9999890669518006 0.9987660764945216 0.2522485487837745 5.551115123125783e-17 0.2522485487837745 0.2522485487837745 0.000259041568555335 0.02927169724675285 70.23474960399999 1.4210854715202004e-14 70.234749604 70.234749604 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 33139.36527322562 3.3847407513714285 13.800022910200003 0.34571108949714124 13.252178077 14.366991983 6.999908162595937 6.989637599835809 1.7174547197333678 1.719978345062257 1.7174321873643599 0.0428867020410288 1.649140285428946 1.7878710293458124 0.9999868803708482 0.9985196571194013 0.2452706617515589 0.0 0.24527066175155893 0.24527066175155893 0.00031084988226640195 0.03512603669610342 72.90697511180001 1.4210854715202004e-14 72.90697511180002 72.90697511180002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 36881.7296387577 2.96164815745 12.399743842799998 0.28792068385203406 11.982774038 12.985380341 7.999877550395666 7.9861868744747495 1.9113188208810645 1.914595384148306 1.911289565851893 0.04364306767799484 1.82460464286835 1.9772704704656636 0.9999846937994582 0.9982733593093437 0.23884752741643953 5.551115123125783e-17 0.23884752741643955 0.23884752741643955 0.0003626581959774689 0.04098037614545399 75.50476548279997 1.4210854715202004e-14 75.50476548279998 75.50476548279998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 39662.612715983596 2.6325761399555554 11.530354877899999 0.24211941430638956 11.101047915 11.83511775 8.999842565138675 8.98224464676973 2.0553450854282236 2.059371895702912 2.055309131765057 0.04358825025632052 2.001939123892536 2.1343197003577656 0.9999825072376304 0.9980271829744145 0.2283170091322481 0.0 0.2283170091322481 0.2283170091322481 0.00041446650968853595 0.04683471559480455 80.08000864149997 1.4210854715202004e-14 80.08000864149999 80.08000864149999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 43669.600926408435 2.36931852596 10.472364993 0.32016947356446157 10.12200134 11.232774849 9.999803206853649 9.977811280247677 2.263522525559101 2.2685115176190735 2.263477980987137 0.0665003997344224 2.109290498394463 2.3407609289646665 0.9999803206853649 0.9977811280247676 0.22624483844324697 0.0 0.226244838443247 0.226244838443247 0.00046627482339960287 0.05268905504415513 81.03046467039998 1.4210854715202004e-14 81.0304646704 81.0304646704 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 47121.84662836799 1.9744321049666667 9.705137483399998 0.2539358099611025 9.286907709 10.143280897 11.999711371314245 11.96747258306856 2.44219929496963 2.448778256849658 2.4421405542385584 0.06407553978313857 2.335850253994992 2.551245904666285 0.9999759476095204 0.9972893819223799 0.20344195106393942 2.7755575615628914e-17 0.20344195106393945 0.20344195106393945 0.0005698914508217368 0.06439773394285628 92.76846454119996 1.4210854715202004e-14 92.76846454119998 92.76846454119998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 49050.29147602223 1.6923703756857142 9.3235735454 0.14861103580154927 9.064585641 9.574285802 13.999602044006936 13.955173683992562 2.5416079856365226 2.5496995706757537 2.5415357393415294 0.040520515575991 2.4746686854335036 2.613818898950375 0.999971574571924 0.9967981202851831 0.181515206314931 0.0 0.18151520631493104 0.18151520631493104 0.0006735080782438709 0.0761064128415574 106.83684437600002 0.0 106.83684437600002 106.83684437600002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 50552.86572638175 1.480824078725 9.046450550900001 0.3525444192402059 8.481763559 9.481405065 15.999475225161204 15.940917478361461 2.6211458047146436 2.6307743842845484 2.621059835254198 0.1030506923484825 2.4989107729467097 2.7934267555076047 0.9999672015725752 0.9963073423975913 0.1636911704091145 2.7755575615628914e-17 0.16369117040911452 0.16369117040911452 0.0007771247056660049 0.08781509174025855 121.05002355479999 2.842170943040401e-14 121.05002355480002 121.05002355480002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 51421.659763994125 1.3162880699777777 8.893606353800001 0.28157687217500427 8.492909428 9.324521253 17.999330915006528 17.9247068558177 2.6654962778998668 2.6765932600491196 2.665397197702106 0.08365756847451576 2.5409546095438555 2.7897607363486885 0.9999628286114737 0.9958170475454278 0.14800386003315322 0.0 0.14800386003315325 0.14800386003315325 0.0008807413330881388 0.09952377063895969 136.39172910880004 2.842170943040401e-14 136.3917291088 136.3917291088 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 48061.05145994779 1.18465926298 9.5154805421 0.3256098228925053 8.825308873 9.909109012 19.999169113772375 19.90654470031841 2.491557222363864 2.503150345619692 2.4914537123347937 0.08826691343063137 2.3910510249617185 2.68468623597827 0.9999584556886189 0.9953272350159205 0.12449810156603543 0.0 0.12449810156603544 0.12449810156603544 0.0009843579605102728 0.11123244953766083 166.61642558240004 2.842170943040401e-14 166.6164255824 166.6164255824 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 46161.984830929636 0.9872160524833333 9.906939696699999 0.43664099346523766 9.262436236 10.397147758 23.99879303898353 23.864377297939004 2.394064202631483 2.40754873272784 2.393943805041337 0.10860304927448279 2.2788158647999857 2.5579863284253976 0.9999497099576471 0.9943490540807918 0.09964894131859658 0.0 0.0996489413185966 0.0996489413185966 0.0011915912153545407 0.1346498073350631 214.07336746119995 0.0 214.07336746119995 214.07336746119995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 43848.445581834545 0.8461851878428571 10.4296513578 0.37574568734417085 9.868580302 11.148667546 27.998347002630364 27.814438229704045 2.2733136710809405 2.28834479715555 2.2731794645981314 0.08118075729818006 2.125203317960702 2.4008706961424084 0.9999409643796559 0.9933727939180016 0.08113264373022618 1.3877787807814457e-17 0.08113264373022619 0.08113264373022619 0.0013988244701988086 0.15806716513246538 268.3370527588 0.0 268.3370527588 268.3370527588 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 42191.57276761767 0.7404120393625 10.839226177199999 0.47142395128174663 10.198177303 11.634566564 31.997831006548523 31.75675036401947 2.1880782826258893 2.204689028758056 2.1879299723925665 0.09434149066709306 2.0364476088788828 2.323276459669923 0.9999322189546413 0.9923984488756085 0.06830856993462646 1.3877787807814457e-17 0.06830856993462647 0.06830856993462647 0.0016060577250430765 0.18148452292986766 323.1620524107999 5.684341886080802e-14 323.16205241079996 323.16205241079996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 38864.9956540933 0.59232963149 11.7669896086 0.32007323408530497 11.164310465 12.229231843 39.99658914254105 39.61821926619612 2.014453598919784 2.0336924383538473 2.014281823567694 0.0555772147309757 1.9374221998384922 2.122225580691069 0.9999147285635261 0.9904554816549029 0.050338247180663015 6.938893903907228e-18 0.05033824718066302 0.05033824718066302 0.0020205242347316127 0.22831923852467223 446.9863990844 0.0 446.9863990844 446.9863990844 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 35624.76126771497 0.49360802624166666 12.837250938 0.3875862818479525 12.075556699 13.556080154 47.99506746164492 47.448965166924246 1.8466946798292334 1.8679487619521078 1.8465049112388507 0.05627555437953373 1.7477902897032398 1.9620780929762085 0.9998972387842692 0.9885201076442552 0.038451225159159275 0.0 0.03845122515915928 0.03845122515915928 0.0024349907444201485 0.2751539541194768 592.4948597644 1.1368683772161603e-13 592.4948597644001 592.4948597644001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 34797.63032647464 0.42309259392142856 13.142389171599998 0.20884487574472707 12.760092857 13.469490345 55.99326597854296 55.24916781543732 1.8032512074116254 1.8275374720579158 1.8030343657629977 0.028691412463693937 1.7590261140352004 1.8568191881614926 0.9998797496168386 0.9865922824185236 0.032192974077781 6.938893903907228e-18 0.03219297407778101 0.03219297407778101 0.0028494572541086843 0.3219886697142813 712.2806083499999 0.0 712.2806083499999 712.2806083499999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 33559.769790999 0.37020601968125 13.6271494962 0.2582987816872855 13.183597836 14.154895804 63.99118470791693 63.01900556150055 1.7392258080148666 1.7660564291329852 1.7389862488977406 0.03278466333000654 1.673850912622373 1.7971714212111225 0.999862261061202 0.9846719618984461 0.027166798146926012 0.0 0.02716679814692602 0.02716679814692602 0.0032639237637972205 0.3688233853090859 848.4443824972002 2.2737367544323206e-13 848.4443824972 848.4443824972 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 1 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 18508.33958834872 23.6931852596 24.7090776467 0.2442225632889774 24.33694853 25.155564282 1.0 1.0 0.9589325577891551 0.9589325577891551 0.9589325577891551 0.009434644188924778 0.9418665784632626 0.9735479051695228 1.0 1.0 0.9588858636641309 0.0 0.9588858636641309 0.9588858636641309 0.0 0.0 1.0158923870999992 0.0 1.0158923870999992 1.0158923870999992 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 33516.41654691821 11.8465926298 13.644776116199997 0.2975000021681271 13.269103121 14.055469015 1.99999562674247 1.9995059428948685 1.736844276739022 1.7372696341084963 1.736840478905366 0.03768574378449421 1.6856915435774236 1.7855905590259975 0.999997813371235 0.9997529714474342 0.8682145114667676 0.0 0.8682145114667676 0.8682145114667676 5.1808313711066994e-05 0.005854339449350569 3.596366972799996 8.881784197001252e-16 3.596366972799995 3.596366972799995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 43360.00927745597 7.897728419866667 10.5471379647 0.4507581641178324 9.86503531 11.304952494 2.9999868802560976 2.998518194732816 2.2484650314138546 2.249566338068269 2.248455198318726 0.09575754748928637 2.0958235138250196 2.401733446973339 0.9999956267520325 0.9995060649109387 0.7488029877204045 0.0 0.7488029877204045 0.7488029877204045 0.00010361662742213399 0.011708678898701138 7.948228634499998 0.0 7.948228634499998 7.948228634499998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 46551.59588567283 5.9232963149 9.8240241027 0.4912777710299634 9.107427084 10.666773299 3.9999737605695707 3.9970371212005342 2.4147683023067525 2.4165424423631565 2.4147524617705347 0.11936955321616374 2.221213913097901 2.60152346442876 0.9999934401423927 0.9992592803001336 0.6029399208489383 1.1102230246251565e-16 0.6029399208489383 0.6029399208489383 0.00015542494113320097 0.01756301834805171 15.6029111512 3.552713678800501e-15 15.602911151199997 15.602911151199997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 49059.00403647429 4.73863705192 9.3219177393 0.31321239638176884 8.756375759 9.920322037 4.9999562677115765 4.995063087623641 2.5431148901938174 2.5456061338325338 2.543092646947043 0.08494701424255101 2.3883483995006523 2.705820982527801 0.9999912535423153 0.9990126175247283 0.5083328542948323 0.0 0.5083328542948323 0.5083328542948323 0.00020723325484426798 0.023417357797402276 22.916403436899998 0.0 22.916403436899998 22.916403436899998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 52958.716300429034 3.9488642099333333 8.6354812191 0.2969103665519204 8.225876739 9.114368803 5.999934401710803 5.99259645896713 2.7453473154569332 2.74870899708363 2.7453173004424087 0.09383628828567367 2.5995420825851787 2.880323400333412 0.9999890669518006 0.9987660764945216 0.4572836313046707 5.551115123125783e-17 0.4572836313046707 0.4572836313046707 0.000259041568555335 0.02927169724675285 28.119702055000005 0.0 28.119702055000005 28.119702055000005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 55841.23256178053 3.3847407513714285 8.189718941 0.16752422706754977 7.818311116 8.474684833 6.999908162595937 6.989637599835809 2.893688857841272 2.897940839807181 2.893650893716576 0.060029639452728725 2.7957600461246557 3.0304735777414153 0.9999868803708482 0.9985196571194013 0.41329144208191065 5.551115123125783e-17 0.41329144208191065 0.41329144208191065 0.00031084988226640195 0.03512603669610342 33.6348473274 0.0 33.6348473274 33.6348473274 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 58003.232278403586 2.96164815745 7.8844571593 0.17584504082978356 7.654713801 8.139966176 7.999877550395666 7.9861868744747495 3.005843197803844 3.01099609814753 3.0057971897650613 0.0670483698089744 2.9107228147283153 3.0952411645363878 0.9999846937994582 0.9982733593093437 0.37563120676692746 0.0 0.37563120676692746 0.37563120676692746 0.0003626581959774689 0.04098037614545399 39.382472014799994 7.105427357601002e-15 39.3824720148 39.3824720148 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 61668.28989444964 2.6325761399555554 7.415869659799999 0.2117776741772412 7.067319667 7.819273374 8.999842565138675 8.98224464676973 3.1962870230576126 3.202549154665853 3.1962311111682538 0.09111880171435893 3.0301006406020563 3.3524994447658116 0.9999825072376304 0.9980271829744145 0.3549922343196299 5.551115123125783e-17 0.3549922343196299 0.3549922343196299 0.00041446650968853595 0.04683471559480455 43.04964167859999 7.105427357601002e-15 43.0496416786 43.0496416786 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 65298.165140064266 2.36931852596 7.003627116 0.24731458070612938 6.655775332 7.357993008 9.999803206853649 9.977811280247677 3.3851576495454454 3.392618818782613 3.3850910319629706 0.11899783331521147 3.220060855431571 3.5597934241690234 0.9999803206853649 0.9977811280247676 0.3382987824333508 5.551115123125783e-17 0.3382987824333508 0.3382987824333508 0.00046627482339960287 0.05268905504415513 46.343085900400006 7.105427357601002e-15 46.3430859004 46.3430859004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 72536.33199327074 1.9744321049666667 6.304757732200001 0.1705118214644066 6.142337625 6.662496438 11.999711371314245 11.96747258306856 3.7594268509342252 3.769554249625231 3.7593364277316272 0.09913176772493058 3.5562023154660634 3.8573563854852413 0.9999759476095204 0.9972893819223799 0.31316542027978966 5.551115123125783e-17 0.31316542027978966 0.31316542027978966 0.0005698914508217368 0.06439773394285628 51.963907526799986 1.4210854715202004e-14 51.9639075268 51.9639075268 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 75525.86400227067 1.6923703756857142 6.0551971969 0.22022753795816855 5.791384197 6.39791177 13.999602044006936 13.955173683992562 3.915549526977471 3.928015258180674 3.915438225806014 0.14092093286531837 3.7032685212537713 4.0911092156298885 0.999971574571924 0.9967981202851831 0.2794905468235015 5.551115123125783e-17 0.2794905468235015 0.2794905468235015 0.0006735080782438709 0.0761064128415574 61.07957549699999 1.4210854715202004e-14 61.07957549700001 61.07957549700001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 74918.34423961383 1.480824078725 6.104299349400001 0.19700481579017598 5.720952856 6.320745272 15.999475225161204 15.940917478361461 3.883581041399036 3.8978470807036887 3.883453666048102 0.12898518782994775 3.748479687127629 4.141475354887979 0.9999672015725752 0.9963073423975913 0.24258706756747633 2.7755575615628914e-17 0.24258706756747636 0.24258706756747636 0.0007771247056660049 0.08781509174025855 73.97560433080001 0.0 73.97560433080001 73.97560433080001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 76680.14636098307 1.3162880699777777 5.964047040900001 0.2221180225968037 5.7042273 6.285802452 17.999330915006528 17.9247068558177 3.9755508443599323 3.9921018398046035 3.975403067614891 0.1462718015342296 3.7693175120483406 4.153618713546004 0.9999628286114737 0.9958170475454278 0.2207038376711301 2.7755575615628914e-17 0.22070383767113014 0.22070383767113014 0.0008807413330881388 0.09952377063895969 83.65966147660002 1.4210854715202004e-14 83.65966147660001 83.65966147660001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 74138.61065007848 1.18465926298 6.168499732999999 0.21540932864353451 5.837181949 6.503239407 19.999169113772375 19.90654470031841 3.8435052398779335 3.861388927067767 3.8433455640994523 0.13480834208371315 3.6432897171365046 4.0590109177013085 0.9999584556886189 0.9953272350159205 0.1920498199330959 2.7755575615628914e-17 0.19204981993309592 0.19204981993309592 0.0009843579605102728 0.11123244953766083 99.67680940039997 0.0 99.67680940039997 99.67680940039997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 62837.492935467635 0.9872160524833333 7.277884247700001 0.3365927515242405 6.450704927 7.646260243 23.99879303898353 23.864377297939004 3.2592959460940505 3.27765388078508 3.2591320359628804 0.16055689606882068 3.0986632035302017 3.672960634182795 0.9999497099576471 0.9943490540807918 0.1356460227840693 2.7755575615628914e-17 0.1356460227840693 0.1356460227840693 0.0011915912153545407 0.1346498073350631 150.97603668520006 2.842170943040401e-14 150.97603668520003 150.97603668520003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 55813.463791126036 0.8461851878428571 8.193793556900001 0.385709405617387 7.198710053 8.583007669 27.998347002630364 27.814438229704045 2.8951510866911536 2.9142937952151406 2.894980169650761 0.14779489437828905 2.7604758347327065 3.2913098437304154 0.9999409643796559 0.9933727939180016 0.10327148004971198 1.3877787807814457e-17 0.103271480049712 0.103271480049712 0.0013988244701988086 0.15806716513246538 205.73303433360002 0.0 205.73303433360002 205.73303433360002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 53405.33091167455 0.7404120393625 8.5632649811 0.38050976751006294 8.015905161 9.098599399 31.997831006548523 31.75675036401947 2.769769616485708 2.790796259046603 2.7695818786057 0.12369973305481856 2.6040475265021614 2.955771654444603 0.9999322189546413 0.9923984488756085 0.08646375430360556 1.3877787807814457e-17 0.08646375430360558 0.08646375430360558 0.0016060577250430765 0.18148452292986766 250.3312941356 0.0 250.3312941356 250.3312941356 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 48411.04130902646 0.59232963149 9.446687938 0.2529195842920673 9.132261691 9.858724998 39.99658914254105 39.61821926619612 2.5092039225722473 2.533167825935212 2.508989959149364 0.06678990193080961 2.4032707337314454 2.59444878621361 0.9999147285635261 0.9904554816549029 0.06270236038043664 0.0 0.06270236038043665 0.06270236038043665 0.0020205242347316127 0.22831923852467223 354.1743322603999 5.684341886080802e-14 354.1743322604 354.1743322604 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 46684.05542975984 0.49360802624166666 9.796149794399998 0.3297994219841384 9.367416204 10.341957073 47.99506746164492 47.448965166924246 2.4202379910330456 2.4480931300444784 2.4199892844347293 0.0811424011634955 2.290976948788192 2.529319157344874 0.9998972387842692 0.9885201076442552 0.050387962271038284 6.938893903907228e-18 0.05038796227103829 0.05038796227103829 0.0024349907444201485 0.2751539541194768 446.52200487159996 5.684341886080802e-14 446.5220048715999 446.5220048715999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 44924.01885461606 0.42309259392142856 10.1799440847 0.25997551608679376 9.789869675 10.568766821 55.99326597854296 55.24916781543732 2.3284805947844776 2.3598406713596423 2.3282005941007706 0.05991896818848925 2.2418117137868867 2.4201737148865567 0.9998797496168386 0.9865922824185236 0.04156138682110422 0.0 0.041561386821104225 0.041561386821104225 0.0028494572541086843 0.3219886697142813 546.3836834836001 0.0 546.3836834836001 546.3836834836001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 44371.70841748645 0.37020601968125 10.306657469600001 0.2929734571464273 9.887087402 10.939263105 63.99118470791693 63.01900556150055 2.3000610569972575 2.3355435495433348 2.299744249028096 0.06457254758816323 2.165884944185187 2.396376637148696 0.999862261061202 0.9846719618984461 0.03591911546233015 6.938893903907228e-18 0.035919115462330155 0.035919115462330155 0.0032639237637972205 0.3688233853090859 635.9328927948001 0.0 635.9328927948001 635.9328927948001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 1 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 18622.84733234872 23.6931852596 24.557147026900005 0.3061842604814282 24.000699299 24.907742396 1.0 1.0 0.9648936567174169 0.9648936567174169 0.9648936567174169 0.012113627313603147 0.9512377670729786 0.9871872883548517 1.0 1.0 0.9648183167876294 0.0 0.9648183167876294 0.9648183167876294 0.0 0.0 0.8639617673000046 0.0 0.8639617673000046 0.8639617673000046 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 32416.304251487523 11.8465926298 14.1078389582 0.5012975282181944 13.308710551 14.927787042 1.99999562674247 1.9995059428948685 1.6804995240993799 1.6809110825024831 1.680495849470781 0.05984202731452307 1.5871867138068192 1.7802765466125283 0.999997813371235 0.9997529714474342 0.8397170300072301 0.0 0.8397170300072301 0.8397170300072301 5.1808313711066994e-05 0.005854339449350569 4.5224926568 8.881784197001252e-16 4.522492656800001 4.522492656800001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 45714.68826415004 7.897728419866667 10.0038744081 0.4832408401377618 9.365063853 11.031784678 2.9999868802560976 2.998518194732816 2.37111776535499 2.37227914778118 2.3711073958690423 0.11110668430368167 2.147720060821151 2.529954480984146 0.9999956267520325 0.9995060649109387 0.7894669702642393 1.1102230246251565e-16 0.7894669702642393 0.7894669702642393 0.00010361662742213399 0.011708678898701138 6.318437964699998 8.881784197001252e-16 6.318437964699999 6.318437964699999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 51403.441155611436 5.9232963149 8.896758460500001 0.6381362849351435 7.768496446 9.693934262 3.9999737605695707 3.9970371212005342 2.67015746679623 2.672119242306627 2.6701399509434585 0.19831851123146582 2.444124812407357 3.049906172229714 0.9999934401423927 0.9992592803001336 0.6657814013045723 1.1102230246251565e-16 0.6657814013045723 0.6657814013045723 0.00015542494113320097 0.01756301834805171 11.893848582400006 1.7763568394002505e-15 11.893848582400004 11.893848582400004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 56171.108191786894 4.73863705192 8.141623242299998 0.6708362402824796 6.857221019 9.093160367 4.9999562677115765 4.995063087623641 2.9204836291371934 2.923344544423057 2.9204580852507123 0.25752211674979214 2.605605125538638 3.4552167990430642 0.9999912535423153 0.9990126175247283 0.5820260789396761 0.0 0.5820260789396761 0.5820260789396761 0.00020723325484426798 0.023417357797402276 17.014930951899995 3.552713678800501e-15 17.01493095189999 17.01493095189999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 61345.1525491479 3.9488642099333333 7.4549329653 0.262805930363129 7.017632066 7.764062527 5.999934401710803 5.99259645896713 3.1802197878579714 3.1841139714352216 3.1801850183617457 0.11390487947480105 3.0516479197849717 3.3762364622095307 0.9999890669518006 0.9987660764945216 0.5296981513199192 0.0 0.5296981513199192 0.5296981513199192 0.000259041568555335 0.02927169724675285 21.036412532200007 3.552713678800501e-15 21.036412532200004 21.036412532200004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 62727.63020021339 3.3847407513714285 7.2906309156 0.2650693014500668 6.71177348 7.590663678 6.999908162595937 6.989637599835809 3.2520462994888657 3.2568248513294544 3.2520036338474316 0.1218590318044428 3.121358851436126 3.5300931013541894 0.9999868803708482 0.9985196571194013 0.4642589633949222 5.551115123125783e-17 0.4642589633949222 0.4642589633949222 0.00031084988226640195 0.03512603669610342 27.3412311496 7.105427357601002e-15 27.341231149600006 27.341231149600006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 64073.97406194643 2.96164815745 7.1374377303 0.19791817370863343 6.691482368 7.345454038 7.999877550395666 7.9861868744747495 3.3209223303488726 3.3266153691041587 3.3208714996457007 0.09543361550382129 3.225557622037904 3.540797682275235 0.9999846937994582 0.9982733593093437 0.4149455686145112 5.551115123125783e-17 0.4149455686145112 0.4149455686145112 0.0003626581959774689 0.04098037614545399 33.4063165828 0.0 33.4063165828 33.4063165828 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 65719.68168000875 2.6325761399555554 6.9587068639 0.1972332929981403 6.666215299 7.35458096 8.999842565138675 8.98224464676973 3.406244675472318 3.412918153884551 3.4061850908436377 0.09567346055697012 3.2215547545757115 3.554218427831789 0.9999825072376304 0.9980271829744145 0.3783139872743729 0.0 0.3783139872743729 0.3783139872743729 0.00041446650968853595 0.04683471559480455 38.935176515500004 7.105427357601002e-15 38.9351765155 38.9351765155 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 64742.00855656781 2.36931852596 7.0637907318 0.1676338180984902 6.662269308 7.296013763 9.999803206853649 9.977811280247677 3.3552023992147095 3.3625975445866993 3.3551363711310307 0.08188668127696025 3.247415099427904 3.5563235534698983 0.9999803206853649 0.9977811280247676 0.3354174289583248 5.551115123125783e-17 0.3354174289583248 0.3354174289583248 0.00046627482339960287 0.05268905504415513 46.9447220584 7.105427357601002e-15 46.944722058400004 46.944722058400004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 70872.50211691744 1.9744321049666667 6.452770628100001 0.2482163883916976 6.096959752 6.849351858 11.999711371314245 11.96747258306856 3.674582719373727 3.684481559196326 3.674494336875311 0.14074645784879583 3.45918646768402 3.8860655512491893 0.9999759476095204 0.9972893819223799 0.30598206859679317 5.551115123125783e-17 0.30598206859679317 0.30598206859679317 0.0005698914508217368 0.06439773394285628 53.74006227760002 1.4210854715202004e-14 53.7400622776 53.7400622776 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 75116.58718112035 1.6923703756857142 6.088189269000001 0.17416652914410619 5.835282227 6.354226145 13.999602044006936 13.955173683992562 3.8933646040272922 3.9057597062461458 3.8932539334717666 0.11113122318882737 3.7287286789821987 4.0603323606133435 0.999971574571924 0.9967981202851831 0.27797597954172837 5.551115123125783e-17 0.27797597954172837 0.27797597954172837 0.0006735080782438709 0.0761064128415574 61.541464506400004 1.4210854715202004e-14 61.54146450640002 61.54146450640002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 76703.25429703112 1.480824078725 5.9622502877 0.2183981958211424 5.64151816 6.249885156 15.999475225161204 15.940917478361461 3.9766762065112933 3.9912842238177966 3.976545777785342 0.1467340165121329 3.7909793009322934 4.199788884416176 0.9999672015725752 0.9963073423975913 0.2483666413300209 2.7755575615628914e-17 0.24836664133002093 0.24836664133002093 0.0007771247056660049 0.08781509174025855 71.70281934360001 1.4210854715202004e-14 71.7028193436 71.7028193436 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 77540.93458406448 1.3162880699777777 5.8978396695 0.11158144058674534 5.713727198 6.114097662 17.999330915006528 17.9247068558177 4.018132659848476 4.034860931716408 4.017983300278227 0.07591505420427301 3.8751728496024147 4.146712721582757 0.9999628286114737 0.9958170475454278 0.22318139246558533 0.0 0.22318139246558535 0.22318139246558535 0.0008807413330881388 0.09952377063895969 82.46792879140001 1.4210854715202004e-14 82.4679287914 82.4679287914 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 74128.99540813187 1.18465926298 6.1692998465999995 0.2708591700789969 5.792378213 6.659302868 19.999169113772375 19.90654470031841 3.844308407966907 3.862195832268041 3.844148698821361 0.16528273259729512 3.557907746387846 4.09040715028323 0.9999584556886189 0.9953272350159205 0.192024912459537 0.0 0.192024912459537 0.192024912459537 0.0009843579605102728 0.11123244953766083 99.6928116724 1.4210854715202004e-14 99.69281167239998 99.69281167239998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 67981.06874380836 0.9872160524833333 6.7272258064 0.28447867670939764 6.350895125 7.296943067 23.99879303898353 23.864377297939004 3.5252706022640945 3.5451266351481676 3.5250933162562013 0.14625485101916402 3.2470015240698604 3.730684382793992 0.9999497099576471 0.9943490540807918 0.14674935566220138 2.7755575615628914e-17 0.1467493556622014 0.1467493556622014 0.0011915912153545407 0.1346498073350631 137.760234094 0.0 137.760234094 137.760234094 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 62118.88989713094 0.8461851878428571 7.362076185800001 0.30612501361464456 6.872137002 7.766273791 27.998347002630364 27.814438229704045 3.221269686088114 3.2425686873600696 3.2210795164338997 0.1355328666601542 3.0507790347356813 3.4477172461353094 0.9999409643796559 0.9933727939180016 0.11493839054192104 1.3877787807814457e-17 0.11493839054192105 0.11493839054192105 0.0013988244701988086 0.15806716513246538 182.44494794280007 2.842170943040401e-14 182.44494794280004 182.44494794280004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 57466.10610829865 0.7404120393625 7.958151873700001 0.2601425099684346 7.605071512 8.471004445 31.997831006548523 31.75675036401947 2.97899091574454 3.001605857003441 2.9787889966261565 0.0952186747704835 2.7969747169221324 3.115445426412448 0.9999322189546413 0.9923984488756085 0.09303818915663122 1.3877787807814457e-17 0.09303818915663123 0.09303818915663123 0.0016060577250430765 0.18148452292986766 230.96767469880007 2.842170943040401e-14 230.96767469880004 230.96767469880004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 52192.50642459351 0.59232963149 8.762254034699998 0.19368608973539533 8.426269469 9.141662407 39.99658914254105 39.61821926619612 2.7048944340664844 2.730727260263624 2.7046637838325815 0.05945237176061816 2.5917808167426455 2.811823826281196 0.9999147285635261 0.9904554816549029 0.06760014365530548 1.3877787807814457e-17 0.06760014365530549 0.06760014365530549 0.0020205242347316127 0.22831923852467223 326.7969761283999 5.684341886080802e-14 326.79697612839993 326.79697612839993 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 50886.72822523351 0.49360802624166666 8.987097735499999 0.3056298170474577 8.493607603 9.501205037 47.99506746164492 47.448965166924246 2.6381536153482537 2.668516801101599 2.637882515475456 0.08994417960007015 2.493703184736355 2.7895314178667032 0.9998972387842692 0.9885201076442552 0.05492407457547301 1.3877787807814457e-17 0.05492407457547302 0.05492407457547302 0.0024349907444201485 0.2751539541194768 407.6875060443999 0.0 407.6875060443999 407.6875060443999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 49286.05900446752 0.42309259392142856 9.278972781300002 0.3869357055430507 8.710911822 10.012001721 55.99326597854296 55.24916781543732 2.5559470522462484 2.590370656832023 2.5556396986338754 0.10604300380165932 2.3664783446754662 2.7199431866318804 0.9998797496168386 0.9865922824185236 0.04559692154438591 6.938893903907228e-18 0.04559692154438592 0.04559692154438592 0.0028494572541086843 0.3219886697142813 495.9292904932 1.1368683772161603e-13 495.92929049320014 495.92929049320014 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 47299.00477469075 0.37020601968125 9.6687869476 0.3620546463261353 9.179010666 10.319222096 63.99118470791693 63.01900556150055 2.452516642060628 2.4903510305027563 2.452178835020966 0.09018006082320508 2.296024355245159 2.5812351811902774 0.999862261061202 0.9846719618984461 0.03828877621231928 6.938893903907228e-18 0.038288776212319284 0.038288776212319284 0.0032639237637972205 0.3688233853090859 595.1091793868 0.0 595.1091793868 595.1091793868 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 1 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 19078.456563259722 23.6931852596 23.9707021626 0.2041199748247633 23.751157733 24.316475944 1.0 1.0 0.9884584363223966 0.9884584363223966 0.9884584363223966 0.008394873980397127 0.9743675569669134 0.9975591727337378 1.0 1.0 0.9884226627523247 0.0 0.9884226627523247 0.9884226627523247 0.0 0.0 0.27751690299999865 0.0 0.27751690299999865 0.27751690299999865 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 2 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 29288.313320640184 11.8465926298 15.614555710099998 0.6299943954481928 14.756280139 16.976316798 1.99999562674247 1.9995059428948685 1.5185924813097094 1.5189643882859445 1.5185891607117072 0.059515673687284644 1.395661116691185 1.6056340104970137 0.999997813371235 0.9997529714474342 0.7586890622918744 0.0 0.7586890622918744 0.7586890622918744 5.1808313711066994e-05 0.005854339449350569 7.535926160599997 1.7763568394002505e-15 7.535926160599995 7.535926160599995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 3 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 28118.74634969962 7.897728419866667 16.264025227599998 0.8477569796913824 15.243026686 17.499678709 2.9999868802560976 2.998518194732816 1.4587637138529628 1.4594782218229954 1.4587573343175162 0.07559522977497361 1.353921157844727 1.55436225020593 0.9999956267520325 0.9995060649109387 0.48559494401571923 1.1102230246251565e-16 0.48559494401571923 0.48559494401571923 0.00010361662742213399 0.011708678898701138 25.098890423199986 3.552713678800501e-15 25.09889042319999 25.09889042319999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 4 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 30507.28651498367 5.9232963149 14.9906482104 0.41261810615234457 14.291064254 15.529882737 3.9999737605695707 3.9970371212005342 1.5811448817526117 1.5823065553040723 1.5811345096673308 0.04402989411066632 1.5256512660685393 1.6579020875207662 0.9999934401423927 0.9992592803001336 0.3951327675604194 5.551115123125783e-17 0.3951327675604194 0.3951327675604194 0.00015542494113320097 0.01756301834805171 36.26940758199999 7.105427357601002e-15 36.269407582 36.269407582 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 5 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 36714.27206243122 4.73863705192 12.456300351599998 0.3393063147951439 11.661374451 12.811770864 4.9999562677115765 4.995063087623641 1.9028443730117084 1.9047084055640762 1.9028277298639193 0.053781022304493276 1.8493294573489338 2.031766097483323 0.9999912535423153 0.9990126175247283 0.3804209049367798 5.551115123125783e-17 0.3804209049367798 0.3804209049367798 0.00020723325484426798 0.023417357797402276 38.58831649839999 0.0 38.58831649839999 38.58831649839999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 6 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 41753.09877498859 3.9488642099333333 10.9530553041 0.2229415940427463 10.734014109 11.483441046 5.999934401710803 5.99259645896713 2.1636224900521928 2.1662718488167343 2.1635988350632234 0.043030223822772454 2.0632478683602415 2.2072996196021677 0.9999890669518006 0.9987660764945216 0.3605262732906293 0.0 0.3605262732906293 0.3605262732906293 0.000259041568555335 0.02927169724675285 42.025146565 0.0 42.025146565 42.025146565 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 7 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 46705.291194708174 3.3847407513714285 9.791695722300002 0.2556523178987868 9.445702245 10.357139544 6.999908162595937 6.989637599835809 2.420565517182751 2.4241222924381396 2.420533760260828 0.061683633212466844 2.287618618919324 2.508356143889861 0.9999868803708482 0.9985196571194013 0.34567462545459654 5.551115123125783e-17 0.34567462545459654 0.34567462545459654 0.00031084988226640195 0.03512603669610342 44.84868479650002 7.105427357601002e-15 44.84868479650001 44.84868479650001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 8 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 50619.38728151527 2.96164815745 9.0345621423 0.4100208048537926 8.576942394 9.991555123 7.999877550395666 7.9861868744747495 2.6251725651231896 2.6296728839099255 2.625132383705451 0.11440097514768116 2.371321077442651 2.7624279342454914 0.9999846937994582 0.9982733593093437 0.3278131370178422 5.551115123125783e-17 0.3278131370178422 0.3278131370178422 0.0003626581959774689 0.04098037614545399 48.58331187880001 7.105427357601002e-15 48.583311878800004 48.583311878800004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 9 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 56066.61546970285 2.6325761399555554 8.156796984600001 0.26592804983339524 7.794148878 8.648060096 8.999842565138675 8.98224464676973 2.9062852938904817 2.9119792571891923 2.9062344549324575 0.09237328638849701 2.7397109868094978 3.0398681922123787 0.9999825072376304 0.9980271829744145 0.3227463114413474 0.0 0.3227463114413474 0.3227463114413474 0.00041446650968853595 0.04683471559480455 49.71798760180002 0.0 49.71798760180002 49.71798760180002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 10 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 58998.04313759621 2.36931852596 7.751511332899999 0.2875978173077706 7.34126923 8.233771001 9.999803206853649 9.977811280247677 3.0587416078175127 3.0654833289281256 3.058681413879025 0.11253398494907545 2.877561843379229 3.2273963149012586 0.9999803206853649 0.9977811280247676 0.30565891272116474 5.551115123125783e-17 0.30565891272116474 0.30565891272116474 0.00046627482339960287 0.05268905504415513 53.82192806939999 0.0 53.82192806939999 53.82192806939999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 12 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 65157.158949559656 1.9744321049666667 7.0187836206 0.2492012926936597 6.645797418 7.3230241 11.999711371314245 11.96747258306856 3.377907982336915 3.3870076196580015 3.3778267355751197 0.12127318446448562 3.2354372914872696 3.5651380518201647 0.9999759476095204 0.9972893819223799 0.2813068776150536 5.551115123125783e-17 0.2813068776150536 0.2813068776150536 0.0005698914508217368 0.06439773394285628 60.53221818759998 1.4210854715202004e-14 60.532218187599995 60.532218187599995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 14 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 70603.49312909976 1.6923703756857142 6.4773565688 0.1797438979548838 6.150834176 6.774080794 13.999602044006936 13.955173683992562 3.6593655168267856 3.6710156483326553 3.6592614977954834 0.10212766837772186 3.497623659963687 3.8520279659056116 0.999971574571924 0.9967981202851831 0.2612748515092545 0.0 0.2612748515092545 0.2612748515092545 0.0006735080782438709 0.0761064128415574 66.98980670360002 1.4210854715202004e-14 66.98980670360001 66.98980670360001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 16 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 75579.51776850355 1.480824078725 6.050898623099998 0.22806837691112994 5.785663144 6.584519103 15.999475225161204 15.940917478361461 3.9184900025043277 3.932884277220036 3.9183614821943658 0.14243717710513917 3.5983167318635387 4.095154638266648 0.9999672015725752 0.9963073423975913 0.24472796041761208 0.0 0.2447279604176121 0.2447279604176121 0.0007771247056660049 0.08781509174025855 73.12119270999996 1.4210854715202004e-14 73.12119270999997 73.12119270999997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 18 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 78642.26828219964 1.3162880699777777 5.8152442699 0.16894880984651514 5.507777945 6.024454429 17.999330915006528 17.9247068558177 4.076214319973876 4.093184397148742 4.076062801427672 0.12047481260525494 3.9328350042034983 4.30176842570584 0.9999628286114737 0.9958170475454278 0.22635129478411625 0.0 0.22635129478411628 0.22635129478411628 0.0008807413330881388 0.09952377063895969 80.9812115986 0.0 80.9812115986 80.9812115986 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 20 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 80256.73852604836 1.18465926298 5.6982629546000005 0.21534316382365168 5.398863864 5.991936821 19.999169113772375 19.90654470031841 4.161117474558426 4.180478999684777 4.160944603798369 0.1579281744059818 3.9541780842151506 4.388550231389942 0.9999584556886189 0.9953272350159205 0.20789831434922942 0.0 0.20789831434922945 0.20789831434922945 0.0009843579605102728 0.11123244953766083 90.27207383240001 0.0 90.27207383240001 90.27207383240001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 24 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 81947.34580306984 0.9872160524833333 5.580705458100001 0.12478387660668046 5.426450337 5.796530628 23.99879303898353 23.864377297939004 4.246821868883777 4.270742028268761 4.246608296032125 0.09403105473006063 4.087476937523739 4.3662401364017125 0.9999497099576471 0.9943490540807918 0.17689807496478047 2.7755575615628914e-17 0.17689807496478047 0.17689807496478047 0.0011915912153545407 0.1346498073350631 110.24374573480006 2.842170943040401e-14 110.24374573480003 110.24374573480003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 28 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 79944.00741886262 0.8461851878428571 5.7205538572000005 0.19226283098886182 5.48589071 6.212550432 27.998347002630364 27.814438229704045 4.144280636382695 4.171682576346576 4.144035976204446 0.13340393879307652 3.8137614364560544 4.318931329858739 0.9999409643796559 0.9933727939180016 0.14792015055986787 2.7755575615628914e-17 0.1479201505598679 0.1479201505598679 0.0013988244701988086 0.15806716513246538 136.48232274199998 2.842170943040401e-14 136.482322742 136.482322742 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 32 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 76446.28612910844 0.7404120393625 5.982291922300001 0.22262225470921143 5.539005513 6.336841223 31.997831006548523 31.75675036401947 3.9635738129727254 3.9936631927294597 3.963305157796326 0.14842262035976955 3.738958327313608 4.277516099955541 0.9999322189546413 0.9923984488756085 0.1237672866819637 0.0 0.12376728668196371 0.12376728668196371 0.0016060577250430765 0.18148452292986766 167.74015625400006 2.842170943040401e-14 167.74015625400003 167.74015625400003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 40 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 70659.82685687955 0.59232963149 6.472192479700001 0.17642746480405053 6.193018768 6.700502841 39.99658914254105 39.61821926619612 3.6624470231117483 3.6974248604028106 3.662134720993078 0.10071805845881944 3.5360309251154605 3.8257893520402777 0.9999147285635261 0.9904554816549029 0.0915191619142723 1.3877787807814457e-17 0.09151916191427231 0.09151916191427231 0.0020205242347316127 0.22831923852467223 235.1945139284 5.684341886080802e-14 235.19451392840006 235.19451392840006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 48 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 65949.31163134292 0.49360802624166666 6.934477232400001 0.2769001251910991 6.675454656 7.68402746 47.99506746164492 47.448965166924246 3.419677420567511 3.459035363991706 3.4193260103583665 0.1276744619512821 3.0834331843473133 3.549299108534009 0.9998972387842692 0.9885201076442552 0.07118172137553191 0.0 0.07118172137553193 0.07118172137553193 0.0024349907444201485 0.2751539541194768 309.1617218956 5.684341886080802e-14 309.16172189560007 309.16172189560007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 56 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 62842.71238550498 0.42309259392142856 7.277279777400001 0.15315281385834711 7.109248034 7.675302944 55.99326597854296 55.24916781543732 3.256873114122794 3.3007368209895205 3.256481473882913 0.06649882433206976 3.0869381225038977 3.3327273357586162 0.9998797496168386 0.9865922824185236 0.058138838530760656 0.0 0.05813883853076066 0.05813883853076066 0.0028494572541086843 0.3219886697142813 383.8344822748 5.684341886080802e-14 383.83448227480005 383.83448227480005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 64 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 10 61127.51304908408 0.37020601968125 7.4814756431000005 0.12675232507283926 7.249403391 7.709640417 63.99118470791693 63.01900556150055 3.167804283444569 3.216673243480567 3.1673679534442476 0.05368207218004508 3.0731894067790475 3.268294503933199 0.999862261061202 0.9846719618984461 0.04948302144412951 0.0 0.04948302144412952 0.04948302144412952 0.0032639237637972205 0.3688233853090859 455.1212558988001 5.684341886080802e-14 455.12125589880003 455.12125589880003