Lattice Bound Address Scheme program Step filter? Machine p β # initial chain # states # error states # error values # final states # final values Final values # words # ! # # states /s Ideal time Average time Time error Time min Time max Ideal abstract speedup Chain abstract speedup Abstract speedup ideal weighted Abstract speedup chain weighted Average speedup Speedup error Speedup min Speedup max Ideal abstract efficiency Chain abstract efficiency Average efficiency Efficiency error Efficiency min Efficiency max Minimal abstract overhead Chain abstract overhead Average overhead Overhead error Overhead min Overhead max TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false SeqAAMLS 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 36320.70751237259 29.863239850999996 29.863239850999996 0.35756315005942657 29.42465747 30.740502928 1.0 1.0 1.0000710524973924 1.0000710524973924 1.0000710524973924 0.011818532421170452 0.9714623056410391 1.0149052671708125 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22705.389245670765 14.931619925499998 47.7707731968 0.33023951152891423 47.297876567 48.21160556 1.999998156095717 1.9997474167835094 0.6251517197455162 0.6252301047009955 0.6251511433855494 0.004322136658673349 0.6194201479939262 0.6313864811393192 0.9999990780478585 0.9998737083917547 0.3125681023412913 5.551115123125783e-17 0.3125681023412913 0.3125681023412913 2.7532503315342956e-05 0.003771952954201984 65.67830654260001 0.0 65.67830654260001 65.67830654260001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22648.74397521492 9.954413283666666 47.8902495073 0.3567688659105947 47.194784267 48.419374877 2.9999944682922512 2.999242346035866 0.6235951056450278 0.6237514850581648 0.6235939557964019 0.004659145177697722 0.6167621933753119 0.6327656819459446 0.999998156097417 0.999747448678622 0.20785887286198612 2.7755575615628914e-17 0.20785887286198615 0.20785887286198615 5.506500663068591e-05 0.007543905908403968 113.8075086709 0.0 113.8075086709 113.8075086709 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22791.697903487944 7.465809962749999 47.58987261910001 0.5606543656198383 46.639045108 48.542161405 3.9999889365947023 3.9984848833940823 0.627557776516283 0.6277938360012802 0.6275560407847757 0.0073923773521208 0.615202104451904 0.6403055590406492 0.9999972341486756 0.9996212208485206 0.1568781245225192 0.0 0.15687812452251923 0.15687812452251923 8.259750994602887e-05 0.011315858862605953 160.49625062540005 2.842170943040401e-14 160.49625062540002 160.49625062540002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22869.604462179228 5.972647970199999 47.427755114600004 0.6862865534853503 45.967083741 48.539222333 4.999981561008171 4.997475124446877 0.6297260140290859 0.6300418471779972 0.6297236917265204 0.009178138783716297 0.6152393552192759 0.6496657481963273 0.9999963122016341 0.9994950248893755 0.12593149213510632 2.7755575615628914e-17 0.12593149213510632 0.12593149213510632 0.00011013001326137182 0.015087811816807937 207.27553572200003 0.0 207.27553572200003 207.27553572200003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22879.230404264887 4.977206641833333 47.40780091090001 0.738603758318511 45.998112403 48.626457665 5.999972341537755 5.996213164734705 0.6300019898869162 0.6303969539752824 0.6299990857392077 0.009845189491041803 0.6141356225603648 0.6492275071933672 0.9999953902562926 0.9993688607891175 0.10498708115965304 0.0 0.10498708115965305 0.10498708115965305 0.00013766251657671476 0.018859764771009924 254.58356561440002 5.684341886080802e-14 254.58356561440007 254.58356561440007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22909.3341795604 4.266177121571428 47.345505177 0.3770769893074051 46.819449212 48.220820696 6.9999612781885565 6.994699099749787 0.6307747331629819 0.6312492709741495 0.6307712439143704 0.004993881963156783 0.6193017750416928 0.6378383418347846 0.9999944683126509 0.9992427285356839 0.09010733132157803 1.3877787807814457e-17 0.09010733132157804 0.09010733132157804 0.00016519501989205773 0.022631717725211907 301.555296388 0.0 301.555296388 301.555296388 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22900.00579406625 3.7329049813749995 47.36479150940001 0.5936319147649158 46.237490126 48.007108588 7.999948370965675 7.992933024936142 0.6305483806318031 0.6311018088995858 0.6305443113063046 0.007976267951991087 0.6220587060822217 0.6458663688193462 0.9999935463707094 0.9991166281170177 0.07881181068081271 1.3877787807814457e-17 0.07881181068081272 0.07881181068081272 0.00019272752320740068 0.026403670679413894 349.05509222420005 0.0 349.05509222420005 349.05509222420005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22796.79960832904 3.318137761222222 47.5792224626 0.5632600961093578 46.465409302 48.462289541 8.99993361987421 8.990915035689616 0.6277016591461334 0.6283312925297597 0.6276970294889008 0.007453426356116615 0.6162160338243025 0.6426983061077781 0.9999926244304678 0.9989905595210684 0.0697392178661698 1.3877787807814457e-17 0.06973921786616981 0.06973921786616981 0.00022026002652274365 0.030175623633615874 398.34976231239995 5.684341886080802e-14 398.3497623124 398.3497623124 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22932.647452743688 2.9863239850999994 47.2973738525 0.3274294841154132 46.798750085 48.137488622 9.999917024919261 9.98864522735791 0.6314134727735128 0.6321259983143258 0.6314082336151244 0.004333206883711561 0.620373864650508 0.6381204582763377 0.999991702491926 0.9988645227357911 0.06313931920222565 1.3877787807814457e-17 0.06313931920222567 0.06313931920222567 0.0002477925298380866 0.033947576587817864 443.11049867400004 0.0 443.11049867400004 443.11049867400004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22850.384504358422 2.4886033209166665 47.467647635999995 0.5774087093818782 46.910578336 48.773352334 11.99987830343931 11.983350534589254 0.6291808596625418 0.6300486433248293 0.629174478900319 0.0075665272093963735 0.612285980395534 0.6365992684443718 0.9999898586199426 0.9986125445491046 0.05242735726025912 1.3877787807814457e-17 0.05242735726025913 0.05242735726025913 0.00030285753646877247 0.04149148249622183 539.7485317809999 1.1368683772161603e-13 539.748531781 539.748531781 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22910.97959482921 2.133088560785714 47.3421049288 0.49641640045257657 46.44197798 48.164771903 13.999832206566623 13.977049708450114 0.6308389320514585 0.6318671953173889 0.6308313712921501 0.006635354608398863 0.620022449418886 0.6430225660039813 0.9999880147547588 0.9983606934607224 0.045056901546599276 6.938893903907228e-18 0.04505690154659928 0.04505690154659928 0.0003579225430994584 0.0490353884046258 632.9262291522 0.0 632.9262291522 632.9262291522 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22854.08157087774 1.8664524906874997 47.4599688741 0.4284404115021614 46.783770339 48.131908963 15.999778734341998 15.969743509992096 0.6292644274437842 0.6304479216083498 0.6292557252808094 0.0056837189103729315 0.6204457810712741 0.6383247787557073 0.9999861708963749 0.998108969374506 0.03932687978870685 0.0 0.03932687978870686 0.03932687978870686 0.0004129875497301443 0.056579294313029764 729.4962621346001 1.1368683772161603e-13 729.4962621346 729.4962621346 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22859.038714943847 1.2443016604583332 47.4496768445 0.43967113277035225 46.228766701 47.96056293 23.99949109274005 23.930480187165898 0.6294072559760916 0.6312223455342671 0.6293939097293403 0.005940163372657388 0.6226624131703034 0.645988244595632 0.9999787955308355 0.9971033411319125 0.026223606633531012 0.0 0.026223606633531016 0.026223606633531016 0.0006332475762528879 0.08675491794664564 1108.9290044169998 2.2737367544323206e-13 1108.929004417 1108.929004417 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22998.406916257194 0.9332262453437499 47.1621362275 0.3565807165708531 46.456972916 47.739904587 31.999085448770842 31.87519159225678 0.6332399639130745 0.6357012680593083 0.6332218660884699 0.004808771620962767 0.6255404175887695 0.6428150173494184 0.9999714202740888 0.9960997372580244 0.019787616083420546 3.469446951953614e-18 0.01978761608342055 0.01978761608342055 0.0008535076027756316 0.11693054158026153 1479.3251194290003 2.2737367544323206e-13 1479.325119429 1479.325119429 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23254.62500171999 14.931619925499998 46.642506594699995 0.34499214078135476 46.184192251 47.392328982 1.999998156095717 1.9997474167835094 0.640276078775566 0.640356360106232 0.640275488471664 0.004709456214283622 0.6301281344991992 0.6466117170286416 0.9999990780478585 0.9998737083917547 0.3201290199784564 0.0 0.3201290199784564 0.3201290199784564 2.7532503315342956e-05 0.003771952954201984 63.4217733384 7.105427357601002e-15 63.421773338399994 63.421773338399994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23157.486342817225 9.954413283666666 46.8381578183 0.2617633056701488 46.338936986 47.20694936 2.9999944682922512 2.999242346035866 0.6375947094163223 0.6377545995206146 0.6375935337537908 0.0035672650675990574 0.6326026200774605 0.6444524150396961 0.999998156097417 0.999747448678622 0.21252785650287476 2.7755575615628914e-17 0.21252785650287478 0.21252785650287478 5.506500663068591e-05 0.007543905908403968 110.65123360389998 0.0 110.65123360389998 110.65123360389998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23143.530337343294 7.465809962749999 46.8664021517 0.27286991991946885 46.494361104 47.273357607 3.9999889365947023 3.9984848833940823 0.6372118843379171 0.6374515752713733 0.6372101219045828 0.0037078982539337298 0.6317139581931874 0.6422981011439429 0.9999972341486756 0.9996212208485206 0.1592998314354111 2.7755575615628914e-17 0.15929983143541113 0.15929983143541113 8.259750994602887e-05 0.011315858862605953 157.60236875579997 2.842170943040401e-14 157.6023687558 157.6023687558 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23072.07990072638 5.972647970199999 47.0115396907 0.33769698444345664 46.474930473 47.409390266 4.999981561008171 4.997475124446877 0.6352508771716997 0.6355694812636636 0.635248534494553 0.00457535814460563 0.6299013694005814 0.6425666385525697 0.9999963122016341 0.9994950248893755 0.12704642327172133 2.7755575615628914e-17 0.12704642327172133 0.12704642327172133 0.00011013001326137182 0.015087811816807937 205.1944586025 0.0 205.1944586025 205.1944586025 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22994.481005189664 4.977206641833333 47.170188348900005 0.47047018467434143 46.490036882 47.900963245 5.999972341537755 5.996213164734705 0.6331300456498011 0.6335269707949774 0.6331271270825571 0.006318543322996473 0.6234371467283005 0.642357843827877 0.9999953902562926 0.9993688607891175 0.10551593741832915 1.3877787807814457e-17 0.10551593741832917 0.10551593741832917 0.00013766251657671476 0.018859764771009924 253.15789024240001 0.0 253.15789024240001 253.15789024240001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23069.88254380858 4.266177121571428 47.016017439200006 0.21684824294836078 46.583528745 47.405053778 6.9999612781885565 6.994699099749787 0.6351818939068801 0.6356597472668528 0.6351783802792332 0.00293404372233643 0.6299589910993645 0.6410686492745644 0.9999944683126509 0.9992427285356839 0.09073880251742603 0.0 0.09073880251742604 0.09073880251742604 0.00016519501989205773 0.022631717725211907 299.2488822234 0.0 299.2488822234 299.2488822234 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23007.743827814156 3.7329049813749995 47.14299707600001 0.46811361459379935 46.183163429 47.810071064 7.999948370965675 7.992933024936142 0.6334962114688363 0.6340522270288299 0.6334921231191304 0.006324131838378766 0.624622369019786 0.6466261215932176 0.9999935463707094 0.9991166281170177 0.07918259790223181 0.0 0.07918259790223182 0.07918259790223182 0.00019272752320740068 0.026403670679413894 347.280736757 5.684341886080802e-14 347.28073675700006 347.28073675700006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22734.69841705475 3.318137761222222 47.7091879603 0.5058100083304462 46.913495523 48.50610368 8.99993361987421 8.990915035689616 0.6259829515209466 0.6266108609077 0.6259783345401616 0.006635606990342428 0.6156594239770526 0.6365596832655355 0.9999926244304678 0.9989905595210684 0.06954923994898689 1.3877787807814457e-17 0.0695492399489869 0.0695492399489869 0.00022026002652274365 0.030175623633615874 399.51945179169996 5.684341886080802e-14 399.5194517917 399.5194517917 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22939.352637898428 2.9863239850999994 47.283548804599995 0.4029550150542934 46.556323917 47.859444135 9.999917024919261 9.98864522735791 0.6316060020046733 0.6323187448072339 0.6316007612487722 0.005391108745999233 0.6239779920293885 0.6414432527843003 0.999991702491926 0.9988645227357911 0.06315778025547594 1.3877787807814457e-17 0.06315778025547596 0.06315778025547596 0.0002477925298380866 0.033947576587817864 442.9722481949999 5.684341886080802e-14 442.97224819499996 442.97224819499996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22960.486632388314 2.4886033209166665 47.2400266321 0.4239839079116062 46.639636569 47.873629436 11.99987830343931 11.983350534589254 0.6321915455464542 0.6330634816300722 0.6321851342517216 0.0056734875615136885 0.623793102858908 0.6402974389995402 0.9999898586199426 0.9986125445491046 0.05267997286067656 6.938893903907228e-18 0.05267997286067657 0.05267997286067657 0.00030285753646877247 0.04149148249622183 537.0170797341999 0.0 537.0170797341999 537.0170797341999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22961.262224310143 2.133088560785714 47.238430945299996 0.42508387021369426 46.715441666 48.07744719 13.999832206566623 13.977049708450114 0.6322141158646304 0.6332446206710352 0.6322065386234067 0.00566057760496062 0.6211486174168475 0.639258429033216 0.9999880147547588 0.9983606934607224 0.04515578773680556 0.0 0.045155787736805564 0.045155787736805564 0.0003579225430994584 0.0490353884046258 631.4747933831998 1.1368683772161603e-13 631.4747933831999 631.4747933831999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23023.68695622896 1.8664524906874997 47.110352137 0.4540701396375982 46.43695655 47.87050164 15.999778734341998 15.969743509992096 0.6339379056098217 0.6351301894562708 0.6339291388168331 0.006096738230689702 0.6238338606848156 0.6430920988296335 0.9999861708963749 0.998108969374506 0.039618733590862 6.938893903907228e-18 0.03961873359086201 0.03961873359086201 0.0004129875497301443 0.056579294313029764 723.9023943410001 1.1368683772161603e-13 723.902394341 723.902394341 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23123.96203376158 1.2443016604583332 46.9060621366 0.34330717090657153 46.435752862 47.514089406 23.99949109274005 23.930480187165898 0.6366910844400029 0.6385271791595631 0.6366775837435356 0.004647554594186158 0.6285133572870054 0.6431087687917757 0.9999787955308355 0.9971033411319125 0.026527523389933548 0.0 0.026527523389933555 0.026527523389933555 0.0006332475762528879 0.08675491794664564 1095.8822514274 2.2737367544323206e-13 1095.8822514274002 1095.8822514274002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 22983.82865143378 0.9332262453437499 47.192050395500004 0.3396726808054201 46.809472334 47.900044948 31.999085448770842 31.87519159225678 0.6328367279250114 0.635296464756379 0.6328186416247809 0.004517955447019591 0.623449098710019 0.6379742894326299 0.9999714202740888 0.9960997372580244 0.01977507307952734 3.469446951953614e-18 0.019775073079527344 0.019775073079527344 0.0008535076027756316 0.11693054158026153 1480.2823728050005 2.2737367544323206e-13 1480.2823728050003 1480.2823728050003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 29434.038342136137 14.931619925499998 36.850329111899995 0.3664075250670366 36.26864613 37.28983903 1.999998156095717 1.9997474167835094 0.8104336122290399 0.8105352288456258 0.8104328650480355 0.008072146509682358 0.8008412111131603 0.8233899810861232 0.9999990780478585 0.9998737083917547 0.40519637911939743 0.0 0.40519637911939743 0.40519637911939743 2.7532503315342956e-05 0.003771952954201984 43.8374183728 7.105427357601002e-15 43.837418372799995 43.837418372799995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 42396.5769002388 9.954413283666666 25.5835277115 0.1911815358429411 25.251846606 25.937494021 2.9999944682922512 2.999242346035866 1.167318619178932 1.1676113485460462 1.167316466757115 0.008715400862205097 1.151354090985874 1.1826160802000238 0.999998156097417 0.999747448678622 0.3890946313550057 0.0 0.3890946313550057 0.3890946313550057 5.506500663068591e-05 0.007543905908403968 46.88734328350001 0.0 46.88734328350001 46.88734328350001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 49436.45067246662 7.465809962749999 21.9403696108 0.16278885939480991 21.670914685 22.248992825 3.9999889365947023 3.9984848833940823 1.3611504213694596 1.3616624259680734 1.3611466566297639 0.01007905396282153 1.3422288409138357 1.3780331972637268 0.9999972341486756 0.9996212208485206 0.3402773105096189 0.0 0.3402773105096189 0.3402773105096189 8.259750994602887e-05 0.011315858862605953 57.8982385922 7.105427357601002e-15 57.89823859220001 57.89823859220001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 54947.60695035903 5.972647970199999 19.7397859561 0.1216815002171445 19.542579003 20.002196894 4.999981561008171 4.997475124446877 1.512879420781203 1.513638191199994 1.5128738415869474 0.00929112282886015 1.4929979946331786 1.5281115070030247 0.9999963122016341 0.9994950248893755 0.3025690341061843 5.551115123125783e-17 0.3025690341061843 0.3025690341061843 0.00011013001326137182 0.015087811816807937 68.83568992949999 1.4210854715202004e-14 68.8356899295 68.8356899295 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 61264.463096956366 4.977206641833333 17.704456142599998 0.13105072250805685 17.521204072 17.942025498 5.999972341537755 5.996213164734705 1.6868178393747943 1.68787534789201 1.6868100635768737 0.012413225268418775 1.664429685172884 1.7044056862920371 0.9999953902562926 0.9993688607891175 0.2811273388882762 0.0 0.2811273388882762 0.2811273388882762 0.00013766251657671476 0.018859764771009924 76.3634970046 1.4210854715202004e-14 76.36349700459999 76.36349700459999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 67798.25441879683 4.266177121571428 15.9982584994 0.18892655806280773 15.689500132 16.309566133 6.9999612781885565 6.994699099749787 1.8667961615040851 1.8682005699526196 1.8667858349713753 0.022048146047618653 1.8310260130449538 1.9033901398867077 0.9999944683126509 0.9992427285356839 0.26666509493714124 5.551115123125783e-17 0.26666509493714124 0.26666509493714124 0.00016519501989205773 0.022631717725211907 82.12456964479999 1.4210854715202004e-14 82.1245696448 82.1245696448 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73671.0726407032 3.7329049813749995 14.722929382200002 0.19387951627533978 14.419291331 15.071731639 7.999948370965675 7.992933024936142 2.028537939331247 2.030318374064535 2.0285248478993845 0.026697870274093878 1.9814073502825058 2.071061549800099 0.9999935463707094 0.9991166281170177 0.2535436314656291 5.551115123125783e-17 0.2535436314656291 0.2535436314656291 0.00019272752320740068 0.026403670679413894 87.92019520660004 1.4210854715202004e-14 87.92019520660003 87.92019520660003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 73446.9069093692 3.318137761222222 14.767864919599997 0.2733161862397683 14.37417088 15.168079124 8.99993361987421 8.990915035689616 2.0225388713102674 2.0245676344567456 2.0225239539341904 0.03749879613381733 1.9688214708577225 2.0775626017185624 0.9999926244304678 0.9989905595210684 0.2246863564426547 0.0 0.22468635644265472 0.22468635644265472 0.00022026002652274365 0.030175623633615874 103.04754442539999 2.842170943040401e-14 103.04754442539996 103.04754442539996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 66549.71328528348 2.9863239850999994 16.298402298899997 0.2015570221757044 15.887887878 16.572532941 9.999917024919261 9.98864522735791 1.832436242207206 1.8345040752212036 1.8324210375526913 0.022838157553370538 1.8019719711715974 1.8796230235456093 0.999991702491926 0.9988645227357911 0.18322802016621903 2.7755575615628914e-17 0.18322802016621903 0.18322802016621903 0.0002477925298380866 0.033947576587817864 133.12078313799998 0.0 133.12078313799998 133.12078313799998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 65103.29655804026 2.4886033209166665 16.6605081055 0.18343220282355097 16.377829556 16.968427955 11.99987830343931 11.983350534589254 1.7925835283989129 1.7950559092339955 1.7925653491280666 0.019730907847101405 1.759929672341883 1.8233942262550678 0.9999898586199426 0.9986125445491046 0.14937139402699992 2.7755575615628914e-17 0.14937139402699992 0.14937139402699992 0.00030285753646877247 0.04149148249622183 170.06285741500002 2.842170943040401e-14 170.062857415 170.062857415 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 65147.6387084892 2.133088560785714 16.6491682815 0.16067446260514515 16.192673407 16.805752064 13.999832206566623 13.977049708450114 1.7937837825314364 1.7967076381733207 1.7937622835928932 0.01767950011451524 1.7769653947811566 1.8442439429483144 0.9999880147547588 0.9983606934607224 0.1281198270520174 0.0 0.1281198270520174 0.1281198270520174 0.0003579225430994584 0.0490353884046258 203.22511609 0.0 203.22511609 203.22511609 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64992.57575216159 1.8664524906874997 16.6888908071 0.15375177191902709 16.492538486 16.9479271 15.999778734341998 15.969743509992096 1.7895088689962055 1.7928745022841046 1.789484121692618 0.016445354956004826 1.7620585499804275 1.810712151822472 0.9999861708963749 0.998108969374506 0.11183801921056667 2.7755575615628914e-17 0.11183801921056669 0.11183801921056669 0.0004129875497301443 0.056579294313029764 237.15901306260002 0.0 237.15901306260002 237.15901306260002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 63881.52880742582 1.2443016604583332 16.979149063100003 0.14717358492273375 16.782946368 17.201781413 23.99949109274005 23.930480187165898 1.7589218346063031 1.7639942271237516 1.7588845376024982 0.015266868003278799 1.7360550709260427 1.7793800442537406 0.9999787955308355 0.9971033411319125 0.07328410015331782 1.3877787807814457e-17 0.07328410015331784 0.07328410015331784 0.0006332475762528879 0.08675491794664564 377.6363376634 5.684341886080802e-14 377.63633766340007 377.63633766340007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 61773.537638612084 0.9332262453437499 17.5585540583 0.15652997069753682 17.35379838 17.864201664 31.999085448770842 31.87519159225678 1.700896135271965 1.707507251039498 1.7008475241266154 0.015099354599836348 1.671680627698046 1.720847459275368 0.9999714202740888 0.9960997372580244 0.053149379057360925 0.0 0.05314937905736093 0.05314937905736093 0.0008535076027756316 0.11693054158026153 532.0104900145999 1.1368683772161603e-13 532.0104900146 532.0104900146 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 23858.840140214892 14.931619925499998 45.461304641199995 0.49059839107909203 44.990926255 46.83253586 1.999998156095717 1.9997474167835094 0.6569319128645962 0.6570142825952013 0.6569313072048123 0.00694070288301277 0.6376601075003159 0.6637613922803198 0.9999990780478585 0.9998737083917547 0.328446797630352 0.0 0.328446797630352 0.328446797630352 2.7532503315342956e-05 0.003771952954201984 61.059369431399986 7.105427357601002e-15 61.05936943139999 61.05936943139999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 36300.04489780157 9.954413283666666 29.880238524599996 0.3674560521271444 29.339656895 30.54126254 2.9999944682922512 2.999242346035866 0.9995082490663273 0.9997588965008559 0.9995064060704851 0.012225103816446132 0.9777997819143202 1.0178455718781505 0.999998156097417 0.999747448678622 0.3331437021652733 0.0 0.3331437021652733 0.3331437021652733 5.506500663068591e-05 0.007543905908403968 59.77747572279999 7.105427357601002e-15 59.777475722799984 59.777475722799984 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 55298.842293863534 7.465809962749999 19.6144070112 0.1496018214266973 19.352907275 19.808962121 3.9999889365947023 3.9984848833940823 1.5225641606885807 1.5231368819982307 1.5225599495024804 0.011654532196931657 1.5075620655229176 1.5430880449459496 0.9999972341486756 0.9996212208485206 0.3806288896976062 5.551115123125783e-17 0.3806288896976062 0.3806288896976062 8.259750994602887e-05 0.011315858862605953 48.59438819380001 0.0 48.59438819380001 48.59438819380001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 76889.64105202777 5.972647970199999 14.1066336786 0.10013637360035407 13.957738145 14.271038438 4.999981561008171 4.997475124446877 2.117025354763537 2.1180871288831136 2.1170175476008932 0.01499148686954436 2.092576512966435 2.139547220385255 0.9999963122016341 0.9994950248893755 0.42339285943609684 0.0 0.42339285943609684 0.42339285943609684 0.00011013001326137182 0.015087811816807937 40.669928541999994 7.105427357601002e-15 40.669928542 40.669928542 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 97725.27734591208 4.977206641833333 11.0990117343 0.10444998990827338 10.964765316 11.346922956 5.999972341537755 5.996213164734705 2.6907522867222635 2.692439186987666 2.6907398830438414 0.02507387053750606 2.6318359582417874 2.7235639788316286 0.9999953902562926 0.9993688607891175 0.44843692041985567 0.0 0.44843692041985567 0.44843692041985567 0.00013766251657671476 0.018859764771009924 36.730830554799994 7.105427357601002e-15 36.7308305548 36.7308305548 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 101950.50846666415 4.266177121571428 10.6390249182 0.16176196146729171 10.42818126 10.967420212 6.9999612781885565 6.994699099749787 2.8072913122742094 2.809403264140062 2.807275783216372 0.04241365035087659 2.722904682572948 2.8637054829060378 0.9999944683126509 0.9992427285356839 0.4009932446227614 5.551115123125783e-17 0.4009932446227615 0.4009932446227615 0.00016519501989205773 0.022631717725211907 44.609934576400015 0.0 44.609934576400015 44.609934576400015 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 122100.08803894278 3.7329049813749995 8.8833187381 0.17304562863215983 8.611516662 9.166779056 7.999948370965675 7.992933024936142 3.362378423455945 3.3653295614235956 3.362356723912065 0.06516722800053298 3.25776804137691 3.4678258224567315 0.9999935463707094 0.9991166281170177 0.4202151348419823 5.551115123125783e-17 0.4202151348419823 0.4202151348419823 0.00019272752320740068 0.026403670679413894 41.2033100538 0.0 41.2033100538 41.2033100538 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 137461.3368613407 3.318137761222222 7.8906114604 0.16549675951716733 7.641418308 8.219951233 8.99993361987421 8.990915035689616 3.785510496243776 3.789307656483475 3.7854825759478956 0.07875210933128943 3.6330191024869305 3.9080755230655795 0.9999926244304678 0.9989905595210684 0.42051719031848195 5.551115123125783e-17 0.42051719031848195 0.42051719031848195 0.00022026002652274365 0.030175623633615874 41.15226329260001 7.105427357601002e-15 41.152263292600004 41.152263292600004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 143287.69413236613 2.9863239850999994 7.5697637998000005 0.09508336841768023 7.387314273 7.679483049 9.999917024919261 9.98864522735791 3.9454141823638977 3.9498664287844116 3.945381445257865 0.04987089102004483 3.888704442793021 4.0425029648660775 0.999991702491926 0.9988645227357911 0.3945068913747217 5.551115123125783e-17 0.3945068913747217 0.3945068913747217 0.0002477925298380866 0.033947576587817864 45.83439814700001 0.0 45.83439814700001 45.83439814700001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 147073.22983995176 2.4886033209166665 7.3749247309 0.08268466187098675 7.258084205 7.541258887 11.99987830343931 11.983350534589254 4.049588938216224 4.055174243404067 4.049547869795725 0.04518561267591343 3.9599807271541554 4.114479662612291 0.9999898586199426 0.9986125445491046 0.3374411823472223 0.0 0.3374411823472223 0.3374411823472223 0.00030285753646877247 0.04149148249622183 58.63585691980002 7.105427357601002e-15 58.63585691980001 58.63585691980001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 148764.69045847544 2.133088560785714 7.2910715349 0.10570522538782622 7.192440747 7.59139758 13.999832206566623 13.977049708450114 4.096335164209167 4.103012163297663 4.0962860686276334 0.05759792183851152 3.9338263523012578 4.152031403728434 0.9999880147547588 0.9983606934607224 0.29256173808956737 0.0 0.29256173808956737 0.29256173808956737 0.0003579225430994584 0.0490353884046258 72.21176163760002 1.4210854715202004e-14 72.2117616376 72.2117616376 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 150344.00261659513 1.8664524906874997 7.214481330300001 0.04898570952939037 7.154824182 7.339995262 15.999778734341998 15.969743509992096 4.139498817582234 4.147284213484456 4.139441572024129 0.027844306378927104 4.068563913876814 4.173860753438148 0.9999861708963749 0.998108969374506 0.2587091719052084 0.0 0.2587091719052084 0.2587091719052084 0.0004129875497301443 0.056579294313029764 85.56846143380004 1.4210854715202004e-14 85.56846143380002 85.56846143380002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 147794.75824776277 1.2443016604583332 7.3389206279 0.051851335774170636 7.273037811 7.436335425 23.99949109274005 23.930480187165898 4.069347306559176 4.0810825220887 4.069261018209694 0.028658956381993537 4.015854334731007 4.106020156506512 0.9999787955308355 0.9971033411319125 0.16954831964361827 0.0 0.1695483196436183 0.1695483196436183 0.0006332475762528879 0.08675491794664564 146.2708552186 0.0 146.2708552186 146.2708552186 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 147370.9548747693 0.9332262453437499 7.3600255961 0.07171917445621741 7.23570925 7.514284541 31.999085448770842 31.87519159225678 4.057799463522003 4.073571491841938 4.057683492725533 0.03940538066100507 3.9741960379671486 4.127202851745321 0.9999714202740888 0.9960997372580244 0.1267966032398388 2.7755575615628914e-17 0.12679660323983882 0.12679660323983882 0.0008535076027756316 0.11693054158026153 205.6575792242 0.0 205.6575792242 205.6575792242 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 29311.987893362824 14.931619925499998 37.003768012799995 0.5136613855212998 36.325049901 38.196507109 1.999998156095717 1.9997474167835094 0.8071102658828022 0.807211465799974 0.8071095217657641 0.011067837121972136 0.7818316938190275 0.822111461164927 0.9999990780478585 0.9998737083917547 0.4035162019266522 5.551115123125783e-17 0.4035162019266522 0.4035162019266522 2.7532503315342956e-05 0.003771952954201984 44.1442961746 7.105427357601002e-15 44.144296174599994 44.144296174599994 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 48244.654015015505 9.954413283666666 22.4823666403 0.26680433404575554 22.070503599 22.968178743 2.9999944682922512 2.999242346035866 1.3283917661637878 1.3287248879649824 1.328389316738779 0.01568549753712482 1.3002006029799555 1.3530837534832274 0.999998156097417 0.999747448678622 0.4427653655386627 5.551115123125783e-17 0.4427653655386627 0.4427653655386627 5.506500663068591e-05 0.007543905908403968 37.58386006990001 7.105427357601002e-15 37.583860069900005 37.583860069900005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64077.04142033352 7.465809962749999 16.9273420863 0.15297585097365565 16.702448497 17.197684498 3.9999889365947023 3.9984848833940823 1.7642780312522934 1.7649416746314919 1.7642731515215642 0.015862622728081865 1.7364686423031503 1.7879558111712701 0.9999972341486756 0.9996212208485206 0.44105033883567507 5.551115123125783e-17 0.44105033883567507 0.44105033883567507 8.259750994602887e-05 0.011315858862605953 37.84612849420001 0.0 37.84612849420001 37.84612849420001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 78431.49367447617 5.972647970199999 13.8293171427 0.12195211161513515 13.672461303 14.007508971 4.999981561008171 4.997475124446877 2.159507270477019 2.160590351001147 2.1594993066496357 0.019037781781394418 2.1319450812293894 2.1841890197522393 0.9999963122016341 0.9994950248893755 0.43188307192396297 5.551115123125783e-17 0.43188307192396297 0.43188307192396297 0.00011013001326137182 0.015087811816807937 39.28334586250001 7.105427357601002e-15 39.283345862500006 39.283345862500006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 96292.99200613669 4.977206641833333 11.264101129299998 0.11447985782476476 11.109238397 11.534188354 5.999972341537755 5.996213164734705 2.651335290071169 2.6529974788302613 2.651323068094999 0.026659859572078386 2.5891063102540346 2.688144657969031 0.9999953902562926 0.9993688607891175 0.4418645202755418 1.1102230246251565e-16 0.4418645202755418 0.4418645202755418 0.00013766251657671476 0.018859764771009924 37.721366924799995 7.105427357601002e-15 37.72136692479999 37.72136692479999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 109665.34005943924 4.266177121571428 9.8905816497 0.09024618925755395 9.719634621 10.057455044 6.9999612781885565 6.994699099749787 3.01950365871381 3.0217752599395493 3.019486955763621 0.02752888651082558 2.969264065347782 3.07246527420673 0.9999944683126509 0.9992427285356839 0.4313373341092462 5.551115123125783e-17 0.4313373341092462 0.4313373341092462 0.00016519501989205773 0.022631717725211907 39.3708316969 7.105427357601002e-15 39.370831696900005 39.370831696900005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 104311.86476496332 3.7329049813749995 10.3981843527 0.22489569928456474 10.117162792 10.94918887 7.999948370965675 7.992933024936142 2.872644696543132 2.8751659983610356 2.8726261575591767 0.06043919368961568 2.727438553263352 2.951740568473794 0.9999935463707094 0.9991166281170177 0.3589958453088698 0.0 0.3589958453088698 0.3589958453088698 0.00019272752320740068 0.026403670679413894 53.32223497060001 7.105427357601002e-15 53.3222349706 53.3222349706 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 101832.6159871055 3.318137761222222 10.651341807200001 0.22883696587238297 10.337006491 11.012066938 8.99993361987421 8.990915035689616 2.804373250146852 2.8071862537333696 2.804352566296951 0.06005900453804108 2.7118650857405453 2.888964022321227 0.9999926244304678 0.9989905595210684 0.31152298191944755 0.0 0.31152298191944755 0.31152298191944755 0.00022026002652274365 0.030175623633615874 65.99883641380002 1.4210854715202004e-14 65.9988364138 65.9988364138 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 101014.96258433304 2.9863239850999994 10.737557805799998 0.15888162594162056 10.510120837 10.9997198 9.999917024919261 9.98864522735791 2.781521729494024 2.784660568559154 2.781498649795016 0.041033825537445875 2.714909142594705 2.8413793061131094 0.999991702491926 0.9988645227357911 0.2781194792252394 5.551115123125783e-17 0.2781194792252394 0.2781194792252394 0.0002477925298380866 0.033947576587817864 77.51233820699997 0.0 77.51233820699997 77.51233820699997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 116773.74358836829 2.4886033209166665 9.2885092716 0.11449872469845658 9.084898373 9.41220763 11.99987830343931 11.983350534589254 3.215351532276691 3.2197862341360537 3.2153189241747833 0.039919010842087765 3.1728199190820443 3.2871297646820685 0.9999898586199426 0.9986125445491046 0.2679227902076465 0.0 0.2679227902076465 0.2679227902076465 0.00030285753646877247 0.04149148249622183 81.59887140820001 0.0 81.59887140820001 81.59887140820001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 128234.43094085107 2.133088560785714 8.4583679441 0.1507188037607852 8.170100508 8.662881181 13.999832206566623 13.977049708450114 3.5312202552703256 3.536976120813684 3.5311779327295656 0.06335225647179336 3.4472641638555563 3.6551863495141217 0.9999880147547588 0.9983606934607224 0.2521867782157214 5.551115123125783e-17 0.2521867782157214 0.2521867782157214 0.0003579225430994584 0.0490353884046258 88.55391136640002 1.4210854715202004e-14 88.5539113664 88.5539113664 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 129415.25012662126 1.8664524906874997 8.3811915438 0.18055952806847783 8.143157896 8.797712703 15.999778734341998 15.969743509992096 3.5639890540349155 3.570692055291733 3.5639397672609685 0.07500248776998845 3.394432264288046 3.6672799707923036 0.9999861708963749 0.998108969374506 0.22269536269794607 5.551115123125783e-17 0.2226953626979461 0.2226953626979461 0.0004129875497301443 0.056579294313029764 104.2358248498 0.0 104.2358248498 104.2358248498 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 143553.5747386716 1.2443016604583332 7.555743574999999 0.16224724539722513 7.317059922 7.825123758 23.99949109274005 23.930480187165898 3.953381668686415 3.9647824616041696 3.953297839326726 0.08451756814376757 3.8163281213884153 4.081316836180475 0.9999787955308355 0.9971033411319125 0.16468288635090864 0.0 0.16468288635090866 0.16468288635090866 0.0006332475762528879 0.08675491794664564 151.47460594899994 2.842170943040401e-14 151.47460594899997 151.47460594899997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 143597.76972162968 0.9332262453437499 7.5534181492000005 0.15943726379962442 7.271677276 7.841580865 31.999085448770842 31.87519159225678 3.9546011598401685 3.9699720725843166 3.9544881384229322 0.08367115271550689 3.8083188026908137 4.106788395239008 0.9999714202740888 0.9960997372580244 0.12355018971676947 0.0 0.12355018971676948 0.12355018971676948 0.0008535076027756316 0.11693054158026153 211.84614092340001 0.0 211.84614092340001 211.84614092340001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 33782.70651433972 29.863239850999996 32.1067821946 0.37112568179861066 31.470621499 32.75996789 1.0 1.0 0.9301844098776318 0.9301844098776318 0.9301844098776318 0.010699042496152575 0.9115772015184352 0.94892437545121 1.0 1.0 0.9301224791073164 0.0 0.9301224791073164 0.9301224791073164 0.0 0.0 2.243542343600005 0.0 2.243542343600005 2.243542343600005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 63077.001432643396 14.931619925499998 17.195712785399998 0.2824816302727512 16.771632943 17.802338811 1.999998156095717 1.9997474167835094 1.7369024065115601 1.737120188873035 1.736900805170667 0.02830479590479997 1.6774896921154883 1.7805803377937661 0.9999990780478585 0.9998737083917547 0.8683338755330733 1.1102230246251565e-16 0.8683338755330733 0.8683338755330733 2.7532503315342956e-05 0.003771952954201984 4.5281857198 0.0 4.5281857198 4.5281857198 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 89930.40419917951 9.954413283666666 12.0610377509 0.1548422593194542 11.90036312 12.421690769 2.9999944682922512 2.999242346035866 2.4762157996787106 2.4768367621751266 2.4762112337780016 0.031333017946891216 2.404120373494382 2.5094393801153183 0.999998156097417 0.999747448678622 0.8253363839213472 0.0 0.8253363839213472 0.8253363839213472 5.506500663068591e-05 0.007543905908403968 6.319873401700008 0.0 6.319873401700008 6.319873401700008 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 113872.09159937961 7.465809962749999 9.5251960754 0.10092844870239503 9.408163777 9.707610274 3.9999889365947023 3.9984848833940823 3.1353677715212376 3.1365471582313043 3.135359099560134 0.03304033706176028 3.076270988235183 3.174183672695645 0.9999972341486756 0.9996212208485206 0.7837959348712389 1.1102230246251565e-16 0.7837959348712389 0.7837959348712389 8.259750994602887e-05 0.011315858862605953 8.237544450600007 1.7763568394002505e-15 8.237544450600005 8.237544450600005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 136384.59763987668 5.972647970199999 7.952906844100001 0.06582920770596376 7.872762247 8.057361836 4.999981561008171 4.997475124446877 3.7551516934452573 3.757035054395192 3.7551378452029787 0.031017348720739083 3.7063297464899896 3.793235323774664 0.9999963122016341 0.9994950248893755 0.7510018773363238 1.1102230246251565e-16 0.7510018773363238 0.7510018773363238 0.00011013001326137182 0.015087811816807937 9.901294369500008 0.0 9.901294369500008 9.901294369500008 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 157253.19633253114 4.977206641833333 6.8975004979 0.0808986732570094 6.779136244 7.030261613 5.999972341537755 5.996213164734705 4.329891412492138 4.332605930290354 4.329871452802446 0.05065761966555769 4.247813452031204 4.405168855756662 0.9999953902562926 0.9993688607891175 0.7215956915622815 1.1102230246251565e-16 0.7215956915622815 0.7215956915622815 0.00013766251657671476 0.018859764771009924 11.521763136400006 1.7763568394002505e-15 11.521763136400004 11.521763136400004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 175333.05527784256 4.266177121571428 6.186249354300001 0.04392301027420283 6.0764876 6.245032104 6.9999612781885565 6.994699099749787 4.827507021596241 4.831138800890787 4.827480317336722 0.03457951266450579 4.781919348640709 4.914556206944288 0.9999944683126509 0.9992427285356839 0.6896225608180586 0.0 0.6896225608180586 0.6896225608180586 0.00016519501989205773 0.022631717725211907 13.440505629100013 3.552713678800501e-15 13.44050562910001 13.44050562910001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 183653.4822806105 3.7329049813749995 5.905981125600001 0.07425457757706139 5.802556692 6.083005253 7.999948370965675 7.992933024936142 5.0568693018840705 5.06130768362306 5.056836666724225 0.06285035178097174 4.909290491944278 5.14656580472062 0.9999935463707094 0.9991166281170177 0.6320550137206484 1.1102230246251565e-16 0.6320550137206484 0.6320550137206484 0.00019272752320740068 0.026403670679413894 17.38460915380001 3.552713678800501e-15 17.384609153800014 17.384609153800014 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 178664.677832847 3.318137761222222 6.0708922052 0.07799725516824274 5.962649672 6.246350711 8.99993361987421 8.990915035689616 4.919526046754399 4.924460712428008 4.919489762447975 0.0627329623754828 4.780909883655746 5.008384106689137 0.9999926244304678 0.9989905595210684 0.546565092751949 1.1102230246251565e-16 0.546565092751949 0.546565092751949 0.00022026002652274365 0.030175623633615874 24.774789995800003 3.552713678800501e-15 24.7747899958 24.7747899958 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 174068.8320980694 2.9863239850999994 6.2311787063 0.04791987923042551 6.16996355 6.320183403 9.999917024919261 9.98864522735791 4.7927316140989 4.798140025278831 4.792691846369635 0.036635736509478115 4.725059060283728 4.840099882113566 0.999991702491926 0.9988645227357911 0.47925506968379716 1.1102230246251565e-16 0.47925506968379716 0.47925506968379716 0.0002477925298380866 0.033947576587817864 32.448547212 0.0 32.448547212 32.448547212 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 171732.41011463344 2.4886033209166665 6.315953984899999 0.04141537284929247 6.244112893 6.372421438 11.99987830343931 11.983350534589254 4.728372827117592 4.734894329839048 4.728324874891698 0.03103810775258249 4.6863253068793655 4.782623306583448 0.9999898586199426 0.9986125445491046 0.3940185959027484 0.0 0.3940185959027484 0.3940185959027484 0.00030285753646877247 0.04149148249622183 45.9282079678 0.0 45.9282079678 45.9282079678 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 172688.6885056381 2.133088560785714 6.280978849199999 0.07005621120739483 6.125096958 6.413815895 13.999832206566623 13.977049708450114 4.754905647189676 4.76265611178778 4.754848658479395 0.05331884449572791 4.656079990428225 4.8755538166617205 0.9999880147547588 0.9983606934607224 0.33961084920026485 5.551115123125783e-17 0.33961084920026485 0.33961084920026485 0.0003579225430994584 0.0490353884046258 58.070464037799994 7.105427357601002e-15 58.0704640378 58.0704640378 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 171152.92342171993 1.8664524906874997 6.337338435800001 0.07977385652121417 6.241248481 6.487100613 15.999778734341998 15.969743509992096 4.712704757717678 4.721568215330779 4.712639585235229 0.058801931218461605 4.6034802961364205 4.78481828466076 0.9999861708963749 0.998108969374506 0.29451677697119644 0.0 0.29451677697119644 0.29451677697119644 0.0004129875497301443 0.056579294313029764 71.5341751218 1.4210854715202004e-14 71.53417512180002 71.53417512180002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 172369.43445693757 1.2443016604583332 6.2926121642 0.09754453474078836 6.158362681 6.439469743 23.99949109274005 23.930480187165898 4.7464331465548035 4.760120947515295 4.746332500959506 0.07362743030877084 4.6375308904064205 4.849217462156805 0.9999787955308355 0.9971033411319125 0.19774008440205926 2.7755575615628914e-17 0.19774008440205929 0.19774008440205929 0.0006332475762528879 0.08675491794664564 121.1594520898 0.0 121.1594520898 121.1594520898 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 170772.73496142955 0.9332262453437499 6.351447145500001 0.04640096669805728 6.307850709 6.448237904 31.999085448770842 31.87519159225678 4.702060201159375 4.720336369639706 4.7019258175676075 0.0341267078868975 4.631224885867672 4.734297184362864 0.9999714202740888 0.9960997372580244 0.14693127785924195 0.0 0.14693127785924198 0.14693127785924198 0.0008535076027756316 0.11693054158026153 173.38306880500002 0.0 173.38306880500002 173.38306880500002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 34052.414111109756 29.863239850999996 31.852484715499997 0.29525754428841844 31.289495949 32.226475157 1.0 1.0 0.9375886366843363 0.9375886366843363 0.9375886366843363 0.008740616572156792 0.9266678935723852 0.9544174153420459 1.0 1.0 0.9375482044095605 1.1102230246251565e-16 0.9375482044095605 0.9375482044095605 0.0 0.0 1.9892448645000016 0.0 1.9892448645000016 1.9892448645000016 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 61837.94980695603 14.931619925499998 17.540264568700003 0.26582659396837405 17.230307511 18.080490438 1.999998156095717 1.9997474167835094 1.7027496488551428 1.7029631489563217 1.7027480790014575 0.025608170710875046 1.6516830643175495 1.7331808983638282 0.9999990780478585 0.9998737083917547 0.8512767790370139 0.0 0.8512767790370139 0.8512767790370139 2.7532503315342956e-05 0.003771952954201984 5.21728928640001 0.0 5.21728928640001 5.21728928640001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 90954.4945142123 9.954413283666666 11.925238063199998 0.10380693139724181 11.74069375 12.100312172 2.9999944682922512 2.999242346035866 2.50430450109386 2.5049325074150324 2.504299883400322 0.02182948171875989 2.467972679258906 2.5435668868375 0.999998156097417 0.999747448678622 0.8347349739192976 1.1102230246251565e-16 0.8347349739192976 0.8347349739192976 5.506500663068591e-05 0.007543905908403968 5.912474338599999 0.0 5.912474338599999 5.912474338599999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 114514.36234852172 7.465809962749999 9.4717726035 0.1000659772263645 9.357942404 9.684281929 3.9999889365947023 3.9984848833940823 3.153050279595064 3.1542363176827495 3.153041558726772 0.032899421619290624 3.0836813787476833 3.191218599318919 0.9999972341486756 0.9996212208485206 0.7882167652537647 0.0 0.7882167652537647 0.7882167652537647 8.259750994602887e-05 0.011315858862605953 8.023850563000002 1.7763568394002505e-15 8.023850563000003 8.023850563000003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 135755.17919629786 5.972647970199999 7.989779884799999 0.10926677586664865 7.896287706 8.253918339 4.999981561008171 4.997475124446877 3.738038527367516 3.7399133053702487 3.7380247422351434 0.0500918901024833 3.6180682464345852 3.7819341142177976 0.9999963122016341 0.9994950248893755 0.7475359842594096 1.1102230246251565e-16 0.7475359842594096 0.7475359842594096 0.00011013001326137182 0.015087811816807937 10.085659573000001 0.0 10.085659573000001 10.085659573000001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 155498.38646844542 4.977206641833333 6.97533926 0.06878276236361737 6.881334728 7.121496773 5.999972341537755 5.996213164734705 4.281486827621497 4.284170999368362 4.281467091064535 0.04194747373299015 4.193393720856776 4.339745272016362 0.9999953902562926 0.9993688607891175 0.7135433068288255 1.1102230246251565e-16 0.7135433068288255 0.7135433068288255 0.00013766251657671476 0.018859764771009924 11.98879570900001 1.7763568394002505e-15 11.988795709000009 11.988795709000009 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 172403.19886746816 4.266177121571428 6.2913797837 0.04833715935745772 6.220441615 6.390328355 6.9999612781885565 6.994699099749787 4.746857733599501 4.750428839670175 4.746831475466628 0.036367304095770686 4.673193330923915 4.800823108601751 0.9999944683126509 0.9992427285356839 0.6780988063420426 1.1102230246251565e-16 0.6780988063420426 0.6780988063420426 0.00016519501989205773 0.022631717725211907 14.176418634900003 0.0 14.176418634900003 14.176418634900003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 181515.78678660077 3.7329049813749995 5.9755353471 0.06303335354771583 5.876832983 6.091960459 7.999948370965675 7.992933024936142 4.997894269587496 5.00228088931905 4.9978620150306465 0.05271242075919023 4.902073815479437 5.08151923619164 0.9999935463707094 0.9991166281170177 0.6246980001861463 1.1102230246251565e-16 0.6246980001861463 0.6246980001861463 0.00019272752320740068 0.026403670679413894 17.9410429258 3.552713678800501e-15 17.941042925800005 17.941042925800005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 167335.66522609204 3.318137761222222 6.481905686600001 0.03856120149455682 6.427443689 6.554296673 8.99993361987421 8.990915035689616 4.607285216865971 4.611906680802155 4.607251235513498 0.02738440296492316 4.556284425454782 4.6462079321065515 0.9999926244304678 0.9989905595210684 0.511907750845833 1.1102230246251565e-16 0.511907750845833 0.511907750845833 0.00022026002652274365 0.030175623633615874 28.473911328400014 0.0 28.473911328400014 28.473911328400014 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 162151.18860269437 2.9863239850999994 6.689152323500001 0.070341995219413 6.597826471 6.832337661 9.999917024919261 9.98864522735791 4.4647109449043825 4.46974919751977 4.464673898929269 0.04664185746412643 4.370867093039592 4.526223898470275 0.999991702491926 0.9988645227357911 0.4464428137790484 1.1102230246251565e-16 0.4464428137790484 0.4464428137790484 0.0002477925298380866 0.033947576587817864 37.02828338400001 0.0 37.02828338400001 37.02828338400001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 161530.02376761634 2.4886033209166665 6.714875505500001 0.05137841206383544 6.622274707 6.785286308 11.99987830343931 11.983350534589254 4.447501361493007 4.453635478512357 4.447456257691393 0.03409199966854875 4.401176088294253 4.509513901534982 0.9999898586199426 0.9986125445491046 0.37061049290911025 5.551115123125783e-17 0.37061049290911025 0.37061049290911025 0.00030285753646877247 0.04149148249622183 50.71526621500003 7.105427357601002e-15 50.71526621500002 50.71526621500002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 163095.97909797932 2.133088560785714 6.650403069400001 0.061261781113553695 6.542900306 6.731260129 13.999832206566623 13.977049708450114 4.490685199921946 4.49800498694733 4.490631377958524 0.04145554301678952 4.436500637130554 4.5642205221459164 0.9999880147547588 0.9983606934607224 0.32074575608815864 5.551115123125783e-17 0.32074575608815864 0.32074575608815864 0.0003579225430994584 0.0490353884046258 63.242403120600024 0.0 63.242403120600024 63.242403120600024 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 162712.4701763468 1.8664524906874997 6.666077890800001 0.06825559328479862 6.587654532 6.801187256 15.999778734341998 15.969743509992096 4.4801772780035485 4.488603407677326 4.480115321167712 0.04553897604845878 4.390886286016412 4.533212800692141 0.9999861708963749 0.998108969374506 0.2799926015361194 5.551115123125783e-17 0.2799926015361194 0.2799926015361194 0.0004129875497301443 0.056579294313029764 76.79400640180005 1.4210854715202004e-14 76.79400640180003 76.79400640180003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 166956.87488813762 1.2443016604583332 6.4966117791 0.0540138198538823 6.418377774 6.60739326 23.99949109274005 23.930480187165898 4.596996653226044 4.6102535080605165 4.596899176352261 0.03807223233064536 4.519670417044315 4.652770669244811 0.9999787955308355 0.9971033411319125 0.19153086297403948 0.0 0.1915308629740395 0.1915308629740395 0.0006332475762528879 0.08675491794664564 126.05544284739997 2.842170943040401e-14 126.0554428474 126.0554428474 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 165189.1301094179 0.9332262453437499 6.5661342200999995 0.05464956901099694 6.489462663 6.658671419 31.999085448770842 31.87519159225678 4.548357551517591 4.566036301972514 4.548227560705422 0.03776931631217246 4.484864618156044 4.601804710468059 0.9999714202740888 0.9960997372580244 0.1421271960123802 0.0 0.14212719601238022 0.14212719601238022 0.0008535076027756316 0.11693054158026153 180.25305519219998 0.0 180.25305519219998 180.25305519219998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 36727.56416944485 29.863239850999996 29.532424067 0.4679091345056435 28.854967032 30.459978166 1.0 1.0 1.011328386889432 1.011328386889432 1.011328386889432 0.015964955662928857 0.98040910233921 1.0349427818746708 1.0 1.0 1.0112017822597115 2.220446049250313e-16 1.0112017822597115 1.0112017822597115 0.0 0.0 -0.330815783999995 0.0 -0.330815783999995 -0.330815783999995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 2 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 64891.58788147667 14.931619925499998 16.714862980099998 0.24711430686470412 16.359914017 17.281649286 1.999998156095717 1.9997474167835094 1.7868233800233648 1.7870474217506267 1.7868217326577231 0.026141766086104856 1.728031818999616 1.825391002664705 0.9999990780478585 0.9998737083917547 0.8933139292423125 0.0 0.8933139292423125 0.8933139292423125 2.7532503315342956e-05 0.003771952954201984 3.5664861091999995 0.0 3.5664861091999995 3.5664861091999995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 3 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 88109.15254397105 9.954413283666666 12.310344256899999 0.1246460967662114 12.032430335 12.451302549 2.9999944682922512 2.999242346035866 2.4259952877971385 2.4266036564580604 2.4259908144981615 0.024839832941407694 2.398402876604938 2.481895927885295 0.999998156097417 0.999747448678622 0.8086218448429804 1.1102230246251565e-16 0.8086218448429804 0.8086218448429804 5.506500663068591e-05 0.007543905908403968 7.067792919700004 0.0 7.067792919700004 7.067792919700004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 4 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 108612.24543062302 7.465809962749999 9.9864798458 0.15556750814499423 9.773373283 10.177815132 3.9999889365947023 3.9984848833940823 2.990737871221267 2.991862854558357 2.9907295992849647 0.046537777252170495 2.934150351887134 3.0555713965151328 0.9999972341486756 0.9996212208485206 0.7475917518513677 0.0 0.7475917518513677 0.7475917518513677 8.259750994602887e-05 0.011315858862605953 10.082679532200004 0.0 10.082679532200004 10.082679532200004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 5 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 128857.71299227983 5.972647970199999 8.417454996 0.06411132384605643 8.311058835 8.509698414 4.999981561008171 4.997475124446877 3.5478915946158414 3.5496710062160615 3.5478785107070165 0.02709941152758345 3.509318238807328 3.593193171156271 0.9999963122016341 0.9994950248893755 0.709555082033491 0.0 0.709555082033491 0.709555082033491 0.00011013001326137182 0.015087811816807937 12.22403512900001 1.7763568394002505e-15 12.224035129000008 12.224035129000008 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 6 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 145485.72660054205 4.977206641833333 7.455398033500001 0.09223838635482927 7.287522454 7.597747292 5.999972341537755 5.996213164734705 4.005911483735302 4.008422890369959 4.005893017510047 0.049612351993604635 3.9305387114473134 4.097859051481695 0.9999953902562926 0.9993688607891175 0.667597708327417 0.0 0.667597708327417 0.667597708327417 0.00013766251657671476 0.018859764771009924 14.869148350000014 3.552713678800501e-15 14.86914835000001 14.86914835000001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 7 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 160924.44226740228 4.266177121571428 6.740144534400001 0.07860210285467585 6.598110871 6.877902877 6.9999612781885565 6.994699099749787 4.430978543380341 4.434312010541847 4.430954032592389 0.05167907975236534 4.341910664493961 4.5260288035253895 0.9999944683126509 0.9992427285356839 0.6329503914638528 1.1102230246251565e-16 0.6329503914638528 0.6329503914638528 0.00016519501989205773 0.022631717725211907 17.31777188980001 3.552713678800501e-15 17.317771889800007 17.317771889800007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 8 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 176290.94218120608 3.7329049813749995 6.152636015099999 0.07061864118481184 6.057979956 6.328972252 7.999948370965675 7.992933024936142 4.854078929038949 4.858339322968892 4.854047602612994 0.054920646090603986 4.718497516174605 4.929570594142124 0.9999935463707094 0.9991166281170177 0.6067163687586237 1.1102230246251565e-16 0.6067163687586237 0.6067163687586237 0.00019272752320740068 0.026403670679413894 19.357848269799998 3.552713678800501e-15 19.357848269799995 19.357848269799995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 9 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 170159.08761669302 3.318137761222222 6.3743524674000005 0.07914637502215131 6.22421965 6.516280688 8.99993361987421 8.990915035689616 4.685301021857329 4.690000741688743 4.685266465093863 0.058106653234330306 4.582865791216512 4.797909060134148 0.9999926244304678 0.9989905595210684 0.5205450715491481 0.0 0.5205450715491481 0.5205450715491481 0.00022026002652274365 0.030175623633615874 27.50593235560001 0.0 27.50593235560001 27.50593235560001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 10 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 176605.49055474115 2.9863239850999994 6.1416776828 0.07679943895933695 6.017685684 6.263199786 9.999917024919261 9.98864522735791 4.862811627008941 4.868299120757193 4.862771277790205 0.06077548777647017 4.7680484211525025 4.962578874865675 0.999991702491926 0.9988645227357911 0.4862391254206179 0.0 0.4862391254206179 0.4862391254206179 0.0002477925298380866 0.033947576587817864 31.553536977000014 7.105427357601002e-15 31.553536977000007 31.553536977000007 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 12 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 181518.14915137016 2.4886033209166665 5.9754575786 0.05745684037108392 5.862341238 6.082537327 11.99987830343931 11.983350534589254 4.9979309694759655 5.004824254250837 4.997880283558503 0.04812464914258687 4.909668160758991 5.094080784213809 0.9999898586199426 0.9986125445491046 0.4164707536087513 0.0 0.4164707536087513 0.4164707536087513 0.00030285753646877247 0.04149148249622183 41.84225109220001 0.0 41.84225109220001 41.84225109220001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 14 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 184634.65741365295 2.133088560785714 5.8745958922 0.0643259715316782 5.770749123 6.021378845 13.999832206566623 13.977049708450114 5.083818736291023 5.09210532703801 5.083757805476707 0.05532755848816214 4.959535119733858 5.174932961818863 0.9999880147547588 0.9983606934607224 0.36310387981204356 5.551115123125783e-17 0.36310387981204356 0.36310387981204356 0.0003579225430994584 0.0490353884046258 52.381102639800005 7.105427357601002e-15 52.38110263980001 52.38110263980001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 16 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 185253.3519655465 1.8664524906874997 5.8549763796 0.06564060904509693 5.747559763 5.93183676 15.999778734341998 15.969743509992096 5.1008799537896 5.110473475044223 5.10080941319214 0.057277310101538026 5.034400146068752 5.1958119762834025 0.9999861708963749 0.998108969374506 0.31878053294811276 5.551115123125783e-17 0.31878053294811276 0.31878053294811276 0.0004129875497301443 0.056579294313029764 63.81638222260001 7.105427357601002e-15 63.816382222600005 63.816382222600005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 24 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 194864.186902569 1.2443016604583332 5.5662049412000005 0.04501314171183099 5.510265586 5.648105135 23.99949109274005 23.930480187165898 5.365387769832598 5.380860516967492 5.365273999633076 0.043275224212748396 5.287302402702176 5.419564517339037 0.9999787955308355 0.9971033411319125 0.22354578633069122 2.7755575615628914e-17 0.22354578633069125 0.22354578633069125 0.0006332475762528879 0.08675491794664564 103.72567873780005 2.842170943040401e-14 103.72567873780002 103.72567873780002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 32 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 10 195820.3178833386 0.9332262453437499 5.5390268575 0.07778770693138451 5.414203325 5.713534921 31.999085448770842 31.87519159225678 5.392105887511391 5.413064155046896 5.3919517826030425 0.07500365791970362 5.226753710953646 5.515721900045192 0.9999714202740888 0.9960997372580244 0.16848198597920408 2.7755575615628914e-17 0.1684819859792041 0.1684819859792041 0.0008535076027756316 0.11693054158026153 147.38561958900002 2.842170943040401e-14 147.385619589 147.385619589