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 43558.448151028984 10.499088452699999 10.499088452699999 0.178033804462018 10.271374822 10.758032748 1.0 1.0 1.0001437034858258 1.0001437034858258 1.0001437034858258 0.01694556601862273 0.9759301443520758 1.0221697323528944 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 23110.09058765424 5.249544226349999 19.7889315174 0.18943767595200825 19.439833382 20.038969583 1.99999562674247 1.9995059428948685 0.5305791083760136 0.5307090484845538 0.5305779481964731 0.005097479988894972 0.5239335490387125 0.5400811954706083 0.999997813371235 0.9997529714474342 0.26527678979202 5.551115123125783e-17 0.26527678979202 0.26527678979202 2.2957659017895407e-05 0.0025942154690221804 29.07877458209999 7.105427357601002e-15 29.078774582099996 29.078774582099996 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 23060.629864983617 3.4996961508999997 19.8313750612 0.21960964758047857 19.402124858 20.198517565 2.9999868802560976 2.998518194732816 0.5294529347601923 0.5297122628049269 0.5294506193312215 0.005885301902642572 0.5197950007426696 0.5411308570345043 0.9999956267520325 0.9995060649109387 0.17647269239272972 0.0 0.17647269239272975 0.17647269239272975 4.5915318035790815e-05 0.005188430938044361 48.99503673089999 7.105427357601002e-15 48.9950367309 48.9950367309 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 23252.64637209654 2.6247721131749997 19.6676108466 0.11211282285218377 19.500391388 19.865613498 3.9999737605695707 3.9970371212005342 0.533838504420744 0.5342307177330683 0.5338350025161697 0.0030444922254095176 0.5285056237380744 0.5384039860431132 0.9999934401423927 0.9992592803001336 0.13345658166857371 0.0 0.13345658166857374 0.13345658166857374 6.887297705368622e-05 0.007782646407066543 68.17135493370002 1.4210854715202004e-14 68.1713549337 68.1713549337 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 23362.64360481332 2.0998176905399997 19.5750107623 0.17148198845482443 19.351362636 19.851838425 4.9999562677115765 4.995063087623641 0.5363768510594767 0.5369022875717275 0.5363721596620459 0.004689702641720039 0.5288723506573674 0.5425503438795667 0.9999912535423153 0.9990126175247283 0.10727032112718378 0.0 0.1072703211271838 0.1072703211271838 9.183063607158163e-05 0.010376861876088722 87.37596535880002 1.4210854715202004e-14 87.3759653588 87.3759653588 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 23628.386851834504 1.7498480754499999 19.3548549407 0.17880274201111612 19.093293466 19.684138309 5.999934401710803 5.99259645896713 0.5424814992571535 0.5431457686115657 0.5424755682807748 0.005002651772818818 0.5333781081948401 0.5498835741144419 0.9999890669518006 0.9987660764945216 0.0904087414145566 1.3877787807814457e-17 0.09040874141455661 0.09040874141455661 0.00011478829508947704 0.012971077345110904 105.6300411915 1.4210854715202004e-14 105.63004119150001 105.63004119150001 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 23409.406049335972 1.4998697789571427 19.5359078755 0.15183880668634525 19.15518534 19.690766754 6.999908162595937 6.989637599835809 0.5374485671253395 0.5382382932248918 0.5374415159994507 0.004224289569903715 0.533198558688285 0.548106858082742 0.9999868803708482 0.9985196571194013 0.07677502312744475 0.0 0.07677502312744476 0.07677502312744476 0.00013774595410737244 0.015565292814133085 126.2522666758 0.0 126.2522666758 126.2522666758 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 23287.28184854307 1.3123860565874998 19.6383589538 0.14909972172363375 19.388671434 19.880839335 7.999877550395666 7.9861868744747495 0.5346450891937808 0.5355616283086188 0.534636905808827 0.004067571830136825 0.5281008651489109 0.5415063372670694 0.9999846937994582 0.9982733593093437 0.06682768451655959 1.3877787807814457e-17 0.0668276845165596 0.0668276845165596 0.00016070361312526784 0.018159508283155268 146.6077831777 2.842170943040401e-14 146.60778317770001 146.60778317770001 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 23451.606422178367 1.1665653836333332 19.500753669799998 0.21741148046768172 19.12182434 19.996641932 8.999842565138675 8.98224464676973 0.5384367017979534 0.5394916012688213 0.5384272830526778 0.005960365633327246 0.5250425790691704 0.5490631158418015 0.9999825072376304 0.9980271829744145 0.05982155374025077 0.0 0.05982155374025078 0.05982155374025078 0.00018366127214316326 0.020753723752177444 165.00769457549998 0.0 165.00769457549998 165.00769457549998 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 23430.29440809835 1.0499088452699998 19.5184914041 0.14229650660701332 19.23673913 19.718272667 9.999803206853649 9.977811280247677 0.5379296199843564 0.5391152616435941 0.5379190338981131 0.003933887389386644 0.5324547758319118 0.5457831694731725 0.9999803206853649 0.9977811280247676 0.05379047097100234 6.938893903907228e-18 0.05379047097100235 0.05379047097100235 0.00020661893116105865 0.023347939221199626 184.68582558830005 2.842170943040401e-14 184.68582558830002 184.68582558830002 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 23526.41501132558 0.8749240377249999 19.4387457579 0.22938379219073718 19.015034009 19.76910624 11.999711371314245 11.96747258306856 0.5401620871417382 0.5416172123592672 0.540149094952296 0.006393571341291126 0.5310856406576729 0.5521467091634271 0.9999759476095204 0.9972893819223799 0.045009284478625705 6.938893903907228e-18 0.04500928447862571 0.04500928447862571 0.00025253424919684947 0.02853637015924399 222.7658606421 2.842170943040401e-14 222.76586064210002 222.76586064210002 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 23366.30081181243 0.7499348894785713 19.571946953999998 0.15704314589890467 19.259764698 19.799429983 13.999602044006936 13.955173683992562 0.5364681371831398 0.53817606286538 0.5364528878466912 0.004324204397853091 0.5302722584293905 0.5451306709780447 0.999971574571924 0.9967981202851831 0.03831682618194016 6.938893903907228e-18 0.03831682618194017 0.03831682618194017 0.00029844956723264025 0.03372480109728835 263.5081689033 0.0 263.5081689033 263.5081689033 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 23518.179993114463 0.6561930282937499 19.4455523401 0.31231200538771664 18.783507967 19.889791558 15.999475225161204 15.940917478361461 0.5400102054728025 0.5419938918524778 0.5399924939872697 0.008767437544875951 0.527863171521126 0.558952484868398 0.9999672015725752 0.9963073423975913 0.03374514731271322 0.0 0.033745147312713226 0.033745147312713226 0.00034436488526843115 0.038913232035332715 300.6297489889001 5.684341886080802e-14 300.6297489889 300.6297489889 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 23516.572734779966 0.43746201886249997 19.446881361400003 0.2722258322333342 18.744127697 19.781022011 23.99879303898353 23.864377297939004 0.5399662707294041 0.5430076225113091 0.5399391158027799 0.007723040527135284 0.5307657231694892 0.5601268099758187 0.9999497099576471 0.9943490540807918 0.02249522742144227 0.0 0.022495227421442273 0.022495227421442273 0.0005280261574115943 0.05966695578751016 456.2260642209002 1.1368683772161603e-13 456.22606422090007 456.22606422090007 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 23382.405458787063 0.32809651414687496 19.5584667628 0.20003304921171275 19.094788409 19.769885277 31.997831006548523 31.75675036401947 0.5368699554799363 0.5409455914419927 0.5368335658731322 0.005549216716411115 0.5310647131025331 0.5498405233834084 0.9999322189546413 0.9923984488756085 0.016775165360656544 3.469446951953614e-18 0.016775165360656548 0.016775165360656548 0.0007116874295547576 0.08042067953968761 615.3718479568998 1.1368683772161603e-13 615.3718479569 615.3718479569 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 23510.714109441345 5.249544226349999 19.451727321899998 0.14848702701104582 19.160232466 19.7222039 1.99999562674247 1.9995059428948685 0.5397678654454363 0.5399000559028351 0.5397666851734952 0.004121015246064206 0.5323486414568505 0.5479624775602656 0.999997813371235 0.9997529714474342 0.2698754788958884 5.551115123125783e-17 0.2698754788958884 0.2698754788958884 2.2957659017895407e-05 0.0025942154690221804 28.404366191099996 0.0 28.404366191099996 28.404366191099996 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 23336.520941997445 3.4996961508999997 19.596922829100002 0.1848012540057721 19.291481647 19.922008363 2.9999868802560976 2.998518194732816 0.5357780543702167 0.536040480482397 0.5357757112799294 0.005052336292308567 0.5270095394698936 0.5442344266145416 0.9999956267520325 0.9995060649109387 0.17858396348345085 2.7755575615628914e-17 0.17858396348345087 0.17858396348345087 4.5915318035790815e-05 0.005188430938044361 48.291680034600006 0.0 48.291680034600006 48.291680034600006 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 23203.295562970863 2.6247721131749997 19.709441650599995 0.08939081233539914 19.523392012 19.887182384 3.9999737605695707 3.9970371212005342 0.5327023228261856 0.5330937013812886 0.5326988283748008 0.0024173784756163896 0.5279324265234736 0.5377696891117467 0.9999934401423927 0.9992592803001336 0.1331733369065326 0.0 0.13317333690653263 0.13317333690653263 6.887297705368622e-05 0.007782646407066543 68.33867814969997 1.4210854715202004e-14 68.33867814969999 68.33867814969999 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 23096.291030048847 2.0998176905399997 19.800754995899997 0.16656214619903983 19.54969409 20.019452738 4.9999562677115765 4.995063087623641 0.5302601950075424 0.5307796396235802 0.5302555571091848 0.004468694926158119 0.5244443287288826 0.5370461759844345 0.9999912535423153 0.9990126175247283 0.10604735480918753 1.3877787807814457e-17 0.10604735480918755 0.10604735480918755 9.183063607158163e-05 0.010376861876088722 88.5046865268 1.4210854715202004e-14 88.50468652679999 88.50468652679999 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 23135.091233190313 1.7498480754499999 19.7675468573 0.22650212725019628 19.232853001 20.070181822 5.999934401710803 5.99259645896713 0.5311684542321912 0.5318188707471508 0.531162646941879 0.006151086708548895 0.523118751280638 0.5458934486814881 0.9999890669518006 0.9987660764945216 0.08852125597991409 0.0 0.0885212559799141 0.0885212559799141 0.00011478829508947704 0.012971077345110904 108.1061926911 0.0 108.1061926911 108.1061926911 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 22786.115634985723 1.4998697789571427 20.0702922484 0.21812479615588068 19.640675439 20.376644767 6.999908162595937 6.989637599835809 0.523153710926923 0.5239224321867199 0.5231468473442462 0.005708018789583691 0.5152510912740298 0.5345584211351623 0.9999868803708482 0.9985196571194013 0.07473083901290534 0.0 0.07473083901290535 0.07473083901290535 0.00013774595410737244 0.015565292814133085 129.99295728610005 2.842170943040401e-14 129.99295728610002 129.99295728610002 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 22959.23342764274 1.3123860565874998 19.9189577231 0.1319984092804466 19.71837212 20.189018915 7.999877550395666 7.9861868744747495 0.5271098777783025 0.5280134993219509 0.5271018097288057 0.0034858419755796426 0.5200395569939957 0.532452090304704 0.9999846937994582 0.9982733593093437 0.06588628154301097 1.3877787807814457e-17 0.06588628154301099 0.06588628154301099 0.00016070361312526784 0.018159508283155268 148.85257333210004 2.842170943040401e-14 148.8525733321 148.8525733321 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 23099.315580050243 1.1665653836333332 19.798162348800002 0.24447372522252292 19.44393523 20.196936344 8.999842565138675 8.98224464676973 0.5303558861410903 0.5313949537636979 0.5303466087516028 0.0065408093875295005 0.5198356955667196 0.5399672611797729 0.9999825072376304 0.9980271829744145 0.05892291229261692 0.0 0.058922912292616925 0.058922912292616925 0.00018366127214316326 0.020753723752177444 167.68437268649998 2.842170943040401e-14 167.6843726865 167.6843726865 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 23013.111683445855 1.0499088452699998 19.872323494999996 0.10555291064185698 19.67875727 20.106505234 9.999803206853649 9.977811280247677 0.5283450092455206 0.5295095256248754 0.5283346117778478 0.002799634354121514 0.522173710971218 0.5335239572625716 0.9999803206853649 0.9977811280247676 0.05283271709692949 0.0 0.052832717096929493 0.052832717096929493 0.00020661893116105865 0.023347939221199626 188.22414649729993 2.842170943040401e-14 188.22414649729996 188.22414649729996 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 23153.90331049564 0.8749240377249999 19.751486125999996 0.1102633331357692 19.599600209 19.917658463 11.999711371314245 11.96747258306856 0.5315804833742649 0.5330124908863012 0.5315676975929075 0.002966146477954915 0.5271246352679263 0.5356787047053588 0.9999759476095204 0.9972893819223799 0.044296618094639875 6.938893903907228e-18 0.04429661809463988 0.04429661809463988 0.00025253424919684947 0.02853637015924399 226.5187450593 2.842170943040401e-14 226.51874505929996 226.51874505929996 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 23141.907217278134 0.7499348894785713 19.7617247233 0.13511791296976525 19.504968552 19.972068997 13.999602044006936 13.955173683992562 0.5313115395212092 0.5330030484119023 0.5312964367632567 0.003634162902326839 0.5256885730906029 0.5382776406283127 0.999971574571924 0.9967981202851831 0.037948858208431725 6.938893903907228e-18 0.03794885820843173 0.03794885820843173 0.00029844956723264025 0.03372480109728835 266.16505767350003 5.684341886080802e-14 266.1650576735 266.1650576735 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 23128.43439542809 0.6561930282937499 19.773236362699997 0.10879804453764672 19.641689207 19.927683426 15.999475225161204 15.940917478361461 0.5310001618992608 0.5329507505697891 0.5309827459289882 0.0029203778017152272 0.526859456177513 0.5345308309306861 0.9999672015725752 0.9963073423975913 0.033185919404250114 6.938893903907228e-18 0.03318591940425012 0.03318591940425012 0.00034436488526843115 0.038913232035332715 305.87269335049996 0.0 305.87269335049996 305.87269335049996 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 22886.674813511137 0.43746201886249997 19.982107655500002 0.09181739519582681 19.816418459 20.133793687 23.99879303898353 23.864377297939004 0.525456450248697 0.5284160756881131 0.5254300250215594 0.002415484710098319 0.5214659798306692 0.5298176597563542 0.9999497099576471 0.9943490540807918 0.02189268651758515 3.469446951953614e-18 0.021892686517585153 0.021892686517585153 0.0005280261574115943 0.05966695578751016 469.07149527930017 1.1368683772161603e-13 469.07149527930005 469.07149527930005 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 23075.7153341009 0.32809651414687496 19.8184105402 0.12395907596817649 19.625475869 20.044654595 31.997831006548523 31.75675036401947 0.5298106667207458 0.5338327122539847 0.5297747555999134 0.0033082062949878737 0.5237849523891982 0.5349724267977698 0.9999322189546413 0.9923984488756085 0.016555137632322147 3.469446951953614e-18 0.01655513763232215 0.01655513763232215 0.0007116874295547576 0.08042067953968761 623.6900488336998 1.1368683772161603e-13 623.6900488337 623.6900488337 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 30698.772178859876 5.249544226349999 14.897143030199999 0.2507557895012796 14.388566661 15.30276577 1.99999562674247 1.9995059428948685 0.7048739415787534 0.7050465669140332 0.704872400281117 0.011975913170421204 0.6860909073889587 0.729682719624716 0.999997813371235 0.9997529714474342 0.3523859719751595 0.0 0.3523859719751595 0.3523859719751595 2.2957659017895407e-05 0.0025942154690221804 19.2951976077 3.552713678800501e-15 19.295197607699997 19.295197607699997 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 41388.049138445574 3.4996961508999997 11.0496631158 0.20133866433673567 10.736136499 11.319646499 2.9999868802560976 2.998518194732816 0.9503349535558695 0.9508004312011304 0.9503307975054655 0.017371350694194092 0.9275102763701596 0.9779205446650123 0.9999956267520325 0.9995060649109387 0.3167242398454444 5.551115123125783e-17 0.3167242398454444 0.3167242398454444 4.5915318035790815e-05 0.005188430938044361 22.6499008947 3.552713678800501e-15 22.649900894699996 22.649900894699996 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 47829.65663361447 2.6247721131749997 9.5615154318 0.06664973636761003 9.459179968 9.690996285 3.9999737605695707 3.9970371212005342 1.098090809705627 1.098897581473008 1.0980836063862753 0.007646434228143626 1.0833858711669084 1.109936430876457 0.9999934401423927 0.9992592803001336 0.274514236984385 5.551115123125783e-17 0.27451423698438504 0.27451423698438504 6.887297705368622e-05 0.007782646407066543 27.7469732745 0.0 27.7469732745 27.7469732745 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 52385.88470565786 2.0998176905399997 8.729908878500002 0.06144852746545115 8.625286193 8.800225033 4.9999562677115765 4.995063087623641 1.2026976467549348 1.2038758132913074 1.2026871274108601 0.008489291895909608 1.193047724726291 1.217245227320192 0.9999912535423153 0.9990126175247283 0.240531455684655 0.0 0.24053145568465503 0.24053145568465503 9.183063607158163e-05 0.010376861876088722 33.150455939800004 0.0 33.150455939800004 33.150455939800004 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 58388.61570960191 1.7498480754499999 7.832417234799999 0.06551728177178391 7.765996255 8.009280816 5.999934401710803 5.99259645896713 1.3405270190683634 1.3421684962777207 1.3405123630218512 0.011047620665126 1.3108653191090707 1.351930661303158 0.9999890669518006 0.9987660764945216 0.2234109883313286 2.7755575615628914e-17 0.22341098833132864 0.22341098833132864 0.00011478829508947704 0.012971077345110904 36.49541495609999 7.105427357601002e-15 36.4954149561 36.4954149561 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 62610.8887839061 1.4998697789571427 7.3042246945 0.08751960117646447 7.172760955 7.446278075 6.999908162595937 6.989637599835809 1.4375214265204228 1.4396337182979615 1.437502566772409 0.017210714525007022 1.4099780248537117 1.463744368252127 0.9999868803708482 0.9985196571194013 0.20534277650118402 2.7755575615628914e-17 0.20534277650118402 0.20534277650118402 0.00013774595410737244 0.015565292814133085 40.630484408799994 7.105427357601002e-15 40.6304844088 40.6304844088 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 65709.83697049996 1.3123860565874998 6.9597494239 0.062071508324451595 6.881340389 7.085172395 7.999877550395666 7.9861868744747495 1.508626858258538 1.511213088924893 1.5086037669133028 0.013367156133562217 1.4818395188392588 1.5257330489686374 0.9999846937994582 0.9982733593093437 0.1885680039112794 2.7755575615628914e-17 0.18856800391127942 0.18856800391127942 0.00016070361312526784 0.018159508283155268 45.1789069385 0.0 45.1789069385 45.1789069385 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 65511.89294395999 1.1665653836333332 6.980778289999999 0.09337268273071643 6.871903386 7.136488538 8.999842565138675 8.98224464676973 1.504160153295462 1.5071070879017279 1.5041338413793348 0.020028793456701523 1.4711840980049227 1.5278282977740338 0.9999825072376304 0.9980271829744145 0.1671110777582557 2.7755575615628914e-17 0.16711107775825573 0.16711107775825573 0.00018366127214316326 0.020753723752177444 52.32791615729998 7.105427357601002e-15 52.32791615729999 52.32791615729999 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 62252.258471727335 1.0499088452699998 7.3463037523 0.04780902683170123 7.271154184 7.445967781 9.999803206853649 9.977811280247677 1.429224427168164 1.432374556773037 1.4291963010109776 0.009261325812085573 1.4100367825241868 1.443936985383007 0.9999803206853649 0.9977811280247676 0.14291661230878064 2.7755575615628914e-17 0.14291661230878067 0.14291661230878067 0.00020661893116105865 0.023347939221199626 62.963949070299996 0.0 62.963949070299996 62.963949070299996 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 59732.17540933244 0.8749240377249999 7.656242165399999 0.037745498074599336 7.573101567 7.71378349 11.999711371314245 11.96747258306856 1.3713605976542802 1.3750548617195935 1.3713276131536971 0.006780733295405582 1.3610815582665516 1.3863657260916806 0.9999759476095204 0.9972893819223799 0.11427590962038091 0.0 0.11427590962038092 0.11427590962038092 0.00025253424919684947 0.02853637015924399 81.37581753209999 1.4210854715202004e-14 81.3758175321 81.3758175321 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 58813.805025679256 0.7499348894785713 7.7757934518999985 0.05847185790188748 7.697431497 7.885174862 13.999602044006936 13.955173683992562 1.3503037077968945 1.3546025994206912 1.3502653248359677 0.010101207642200839 1.3314972256730657 1.3639729638116191 0.999971574571924 0.9967981202851831 0.0964448058088948 0.0 0.09644480580889482 0.09644480580889482 0.00029844956723264025 0.03372480109728835 98.36201987389997 1.4210854715202004e-14 98.36201987389998 98.36201987389998 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 58360.04693272036 0.6561930282937499 7.836251408899999 0.04735609295332696 7.774544093 7.916052053 15.999475225161204 15.940917478361461 1.3398784199812244 1.344800361354185 1.3398344740761086 0.008072600278308174 1.3263036147824583 1.3504442610535978 0.9999672015725752 0.9963073423975913 0.0837381286093604 1.3877787807814457e-17 0.08373812860936042 0.08373812860936042 0.00034436488526843115 0.038913232035332715 114.88093408969999 0.0 114.88093408969999 114.88093408969999 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 55964.17080517145 0.43746201886249997 8.1717283294 0.06601167297305294 8.079030494 8.270817918 23.99879303898353 23.864377297939004 1.2849129372489538 1.292150189764775 1.2848483189229196 0.010396859132817887 1.2694135642679976 1.29954806588455 0.9999497099576471 0.9943490540807918 0.05353359794018263 6.938893903907228e-18 0.053533597940182635 0.053533597940182635 0.0005280261574115943 0.05966695578751016 185.62239145290002 0.0 185.62239145290002 185.62239145290002 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 52999.39829496542 0.32809651414687496 8.628852679700001 0.06460685153259121 8.529619375 8.748393404 31.997831006548523 31.75675036401947 1.2168586194688789 1.226096373788381 1.2167761395195975 0.00907860600403826 1.2001161776629221 1.2308976510103653 0.9999322189546413 0.9923984488756085 0.038023191069045094 6.938893903907228e-18 0.0380231910690451 0.0380231910690451 0.0007116874295547576 0.08042067953968761 265.62419729770005 0.0 265.62419729770005 265.62419729770005 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 27511.991260065133 5.249544226349999 16.6227153708 0.19719507891058785 16.340996257 16.913162521 1.99999562674247 1.9995059428948685 0.6316567174547126 0.631811411714495 0.6316553362559646 0.007487796945922588 0.620764356734818 0.6424998994906751 0.999997813371235 0.9997529714474342 0.3158054571259469 0.0 0.31580545712594693 0.31580545712594693 2.2957659017895407e-05 0.0025942154690221804 22.7463422889 3.552713678800501e-15 22.746342288900003 22.746342288900003 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 41625.09325049196 3.4996961508999997 10.986738149699999 0.08397480101307833 10.842705003 11.123508212 2.9999868802560976 2.998518194732816 0.955646774232165 0.9561148536272313 0.9556425949518521 0.007298092722161804 0.9438648538393328 0.9683089643954227 0.9999956267520325 0.9995060649109387 0.31853823247763136 5.551115123125783e-17 0.31853823247763136 0.31853823247763136 4.5915318035790815e-05 0.005188430938044361 22.461125996399996 3.552713678800501e-15 22.461125996399993 22.461125996399993 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 62490.92631593434 2.6247721131749997 7.318246455300001 0.07416888071566093 7.236179582 7.460061467 3.9999737605695707 3.9970371212005342 1.4347279646300217 1.4357820650791875 1.4347185530188684 0.014391431024728979 1.4073729149744014 1.4509159610710167 0.9999934401423927 0.9992592803001336 0.3586613445184118 5.551115123125783e-17 0.3586613445184118 0.3586613445184118 6.887297705368622e-05 0.007782646407066543 18.773897368500002 0.0 18.773897368500002 18.773897368500002 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 84021.13330739716 2.0998176905399997 5.4429639544 0.06941448818479279 5.349613943 5.558348483 4.9999562677115765 4.995063087623641 1.9291022426532636 1.9309919975003507 1.9290853698421289 0.024596370991366127 1.8888863274425969 1.9625880604782924 0.9999912535423153 0.9990126175247283 0.3857857057536717 0.0 0.3857857057536717 0.3857857057536717 9.183063607158163e-05 0.010376861876088722 16.7157313193 3.552713678800501e-15 16.715731319299998 16.715731319299998 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 108869.9814554959 1.7498480754499999 4.2006436842 0.024479569499374198 4.160234084 4.240076282 5.999934401710803 5.99259645896713 2.4994696844931417 2.502530288616904 2.499442357670608 0.014568556690247406 2.4761555581607806 2.523677331782564 0.9999890669518006 0.9987660764945216 0.4165666519233118 5.551115123125783e-17 0.4165666519233118 0.4165666519233118 0.00011478829508947704 0.012971077345110904 14.704773652500004 0.0 14.704773652500004 14.704773652500004 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 112084.98637084675 1.4998697789571427 4.0801539511 0.11724686977650903 3.907070052 4.297193514 6.999908162595937 6.989637599835809 2.5742999657064805 2.5780826381245476 2.574266191845605 0.07345244667045557 2.443243111694783 2.6872025105681416 0.9999868803708482 0.9985196571194013 0.3676012711610505 0.0 0.3676012711610505 0.3676012711610505 0.00013774595410737244 0.015565292814133085 18.061989205 3.552713678800501e-15 18.061989204999996 18.061989204999996 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 135154.1019592681 1.3123860565874998 3.3837226793 0.12412104855423937 3.244290676 3.562255883 7.999877550395666 7.9861868744747495 3.104948378456621 3.1102711742625258 3.1049008534940685 0.11314643010897076 2.9473145101126352 3.236173789965298 0.9999846937994582 0.9982733593093437 0.3878527234563433 0.0 0.3878527234563433 0.3878527234563433 0.00016070361312526784 0.018159508283155268 16.570692981700002 3.552713678800501e-15 16.5706929817 16.5706929817 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 150698.29593035168 1.1665653836333332 3.0346992125999996 0.07072104748048652 2.929944003 3.163708884 8.999842565138675 8.98224464676973 3.460672056670206 3.4674521686299564 3.46061151995628 0.07962480276502452 3.3186013118329627 3.5833751231934374 0.9999825072376304 0.9980271829744145 0.38440889917187876 0.0 0.38440889917187876 0.38440889917187876 0.00018366127214316326 0.020753723752177444 16.813204460700003 3.552713678800501e-15 16.8132044607 16.8132044607 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 155594.83662301002 1.0499088452699998 2.9391977903999997 0.04457150970097645 2.852686893 3.025255528 9.999803206853649 9.977811280247677 3.5725744719525157 3.5804487234666813 3.5725041661354244 0.05423244973745472 3.470479883608694 3.680420896686189 0.9999803206853649 0.9977811280247676 0.3572093204136208 5.551115123125783e-17 0.35720932041362086 0.35720932041362086 0.00020661893116105865 0.023347939221199626 18.892889451299997 3.552713678800501e-15 18.8928894513 18.8928894513 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 159967.9127014003 0.8749240377249999 2.8588483295 0.03154259807508352 2.816783946 2.902446333 11.999711371314245 11.96747258306856 3.6728006413695833 3.6826946805097482 3.6727123017344034 0.040513477405839014 3.61732388755248 3.7273318273520144 0.9999759476095204 0.9972893819223799 0.3060407328002673 5.551115123125783e-17 0.3060407328002673 0.3060407328002673 0.00025253424919684947 0.02853637015924399 23.807091501299997 3.552713678800501e-15 23.8070915013 23.8070915013 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 162216.7759043132 0.7499348894785713 2.819215198 0.03618646545379337 2.778891196 2.919413406 13.999602044006936 13.955173683992562 3.724525204065324 3.7363827810755357 3.7244193328420185 0.046675505284585674 3.596300692160348 3.778157442008751 0.999971574571924 0.9967981202851831 0.2660083877281124 5.551115123125783e-17 0.2660083877281124 0.2660083877281124 0.00029844956723264025 0.03372480109728835 28.9699243193 0.0 28.9699243193 28.9699243193 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 162360.65012153986 0.6561930282937499 2.8167169794999998 0.04527007708398741 2.75042154 2.931657716 15.999475225161204 15.940917478361461 3.728017835781066 3.741712425492663 3.7278955626586407 0.058759621255832985 3.581280446008247 3.817265208263312 0.9999672015725752 0.9963073423975913 0.2329637777133831 0.0 0.23296377771338314 0.23296377771338314 0.00034436488526843115 0.038913232035332715 34.5683832193 7.105427357601002e-15 34.568383219299996 34.568383219299996 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 161637.50883887397 0.43746201886249997 2.8293185368000002 0.025488058650149734 2.782314728 2.869976158 23.99879303898353 23.864377297939004 3.7111562302676924 3.7320592611155377 3.710969596063694 0.03350098993814813 3.6582493633035953 3.773508563586197 0.9999497099576471 0.9943490540807918 0.15461745051770512 0.0 0.15461745051770515 0.15461745051770515 0.0005280261574115943 0.05966695578751016 57.404556430499994 7.105427357601002e-15 57.4045564305 57.4045564305 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 161228.43183252861 0.32809651414687496 2.8364972282 0.033492015193909166 2.790523376 2.890484159 31.997831006548523 31.75675036401947 3.701936298389488 3.7300394629509515 3.701685377277332 0.043705193149218904 3.6322940639578847 3.7624083507050323 0.9999322189546413 0.9923984488756085 0.11566960506253703 2.7755575615628914e-17 0.11566960506253704 0.11566960506253704 0.0007116874295547576 0.08042067953968761 80.26882284969999 1.4210854715202004e-14 80.2688228497 80.2688228497 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 30585.00544336625 5.249544226349999 14.9525557825 0.37110460439301857 14.397458201 15.7413477 1.99999562674247 1.9995059428948685 0.7023761538256115 0.7025481674466217 0.7023746179897097 0.017224623259646733 0.6669751950590608 0.7292320843112965 0.999997813371235 0.9997529714474342 0.3510800630146386 5.551115123125783e-17 0.3510800630146387 0.3510800630146387 2.2957659017895407e-05 0.0025942154690221804 19.4060231123 3.552713678800501e-15 19.406023112299998 19.406023112299998 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 49827.0257629072 3.4996961508999997 9.178231953400003 0.10522613452212246 9.051401276 9.435389813 2.9999868802560976 2.998518194732816 1.1439914694688589 1.1445518008061568 1.1439864665104904 0.012965843805974903 1.1127349967284281 1.1599406691357916 0.9999956267520325 0.9995060649109387 0.38130395578023774 5.551115123125783e-17 0.38130395578023774 0.38130395578023774 4.5915318035790815e-05 0.005188430938044361 17.03560740750001 0.0 17.03560740750001 17.03560740750001 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 65242.87813060927 2.6247721131749997 7.0095620105 0.1139542420494249 6.838398849 7.191703671 3.9999737605695707 3.9970371212005342 1.498031515927674 1.4991321257524857 1.4980216890542382 0.024355317603296456 1.4598889126976655 1.5353138482461157 0.9999934401423927 0.9992592803001336 0.3744559373671582 5.551115123125783e-17 0.3744559373671582 0.3744559373671582 6.887297705368622e-05 0.007782646407066543 17.5391595893 0.0 17.5391595893 17.5391595893 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 81498.54776044881 2.0998176905399997 5.611437412900001 0.07475987619861243 5.502299067 5.769060945 4.9999562677115765 4.995063087623641 1.8711975973350914 1.8730306286028164 1.8711812309844866 0.024776650767462292 1.8198955692779564 1.908127552656708 0.9999912535423153 0.9990126175247283 0.3742031739876094 5.551115123125783e-17 0.3742031739876094 0.3742031739876094 9.183063607158163e-05 0.010376861876088722 17.558098611800006 0.0 17.558098611800006 17.558098611800006 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 100254.86616638914 1.7498480754499999 4.5616139893000005 0.04058540691094533 4.495959539 4.621568658 5.999934401710803 5.99259645896713 2.301733278987396 2.304551754606114 2.301708114026514 0.020473571204662085 2.2717586234548155 2.335227521872945 0.9999890669518006 0.9987660764945216 0.3836028387221168 0.0 0.3836028387221168 0.3836028387221168 0.00011478829508947704 0.012971077345110904 16.870595483100004 0.0 16.870595483100004 16.870595483100004 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 111488.66633293779 1.4998697789571427 4.101977492800001 0.09605691436977891 3.991465839 4.334326387 6.999908162595937 6.989637599835809 2.560240806697911 2.564002820609312 2.5602072172879877 0.05826148205699363 2.4223114540220245 2.6303841436183713 0.9999868803708482 0.9985196571194013 0.365645540861643 5.551115123125783e-17 0.3656455408616431 0.3656455408616431 0.00013774595410737244 0.015565292814133085 18.21475399690001 3.552713678800501e-15 18.214753996900008 18.214753996900008 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 108119.834982478 1.3123860565874998 4.2297881797 0.06314122080578184 4.152939014 4.363539682 7.999877550395666 7.9861868744747495 2.4824901081152735 2.486745827156324 2.4824521106238358 0.03650515921912599 2.406094413672849 2.5281104339135374 0.9999846937994582 0.9982733593093437 0.3102722880748562 5.551115123125783e-17 0.3102722880748562 0.3102722880748562 0.00016070361312526784 0.018159508283155268 23.339216984899995 3.552713678800501e-15 23.3392169849 23.3392169849 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 102283.20072091235 1.1665653836333332 4.4711545667 0.07554841152830238 4.312222052 4.581319842 8.999842565138675 8.98224464676973 2.3485613147972586 2.3531625911961513 2.3485202319722687 0.040075673705832204 2.291716975629574 2.4347281578022035 0.9999825072376304 0.9980271829744145 0.2609092050455177 0.0 0.2609092050455177 0.2609092050455177 0.00018366127214316326 0.020753723752177444 29.7413026476 0.0 29.7413026476 29.7413026476 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 104636.02863785601 1.0499088452699998 4.3706169467 0.10574877879348309 4.246872206 4.652946336 9.999803206853649 9.977811280247677 2.4029304312090276 2.408226689897245 2.4028831431850257 0.05590854440549834 2.2564387582698306 2.472193167919402 0.9999803206853649 0.9977811280247676 0.24021982664546365 0.0 0.24021982664546368 0.24021982664546368 0.00020661893116105865 0.023347939221199626 33.2070810143 0.0 33.2070810143 33.2070810143 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 129021.13719596292 0.8749240377249999 3.5445664946 0.09342560014423282 3.341892195 3.719888542 11.999711371314245 11.96747258306856 2.963130569808672 2.971112851641473 2.963059299435165 0.07898063014887083 2.8224201704320846 3.141659826253013 0.9999759476095204 0.9972893819223799 0.24683527282050152 5.551115123125783e-17 0.24683527282050155 0.24683527282050155 0.00025253424919684947 0.02853637015924399 32.0357094825 0.0 32.0357094825 32.0357094825 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 133822.0907080765 0.7499348894785713 3.4174028934999994 0.05566458245116965 3.351440253 3.539059269 13.999602044006936 13.955173683992562 3.072733755163199 3.082516257666862 3.072646411390845 0.04948836401717129 2.9666325581675355 3.1327094204653867 0.999971574571924 0.9967981202851831 0.2194458519669921 0.0 0.21944585196699212 0.21944585196699212 0.00029844956723264025 0.03372480109728835 37.344552056299996 7.105427357601002e-15 37.34455205629999 37.34455205629999 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 136710.61533849107 0.6561930282937499 3.3451974367 0.0586012425325936 3.243945343 3.423713378 15.999475225161204 15.940917478361461 3.13914124144737 3.150672637819933 3.139038282551186 0.055162457201769946 3.066579264539124 3.2365182956474983 0.9999672015725752 0.9963073423975913 0.19615973069173367 2.7755575615628914e-17 0.1961597306917337 0.1961597306917337 0.00034436488526843115 0.038913232035332715 43.02407053449999 7.105427357601002e-15 43.0240705345 43.0240705345 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 148852.96264455043 0.43746201886249997 3.0723204421000005 0.052937555402808256 2.96522267 3.141908222 23.99879303898353 23.864377297939004 3.41799822593293 3.4372500487939153 3.4178263346573856 0.05950236658983928 3.341627988743969 3.540742001915154 0.9999497099576471 0.9943490540807918 0.14238814834154626 2.7755575615628914e-17 0.14238814834154628 0.14238814834154628 0.0005280261574115943 0.05966695578751016 63.236602157700005 7.105427357601002e-15 63.23660215770001 63.23660215770001 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 153066.40235545544 0.32809651414687496 2.9877490615999998 0.03103621904874801 2.919857646 3.029358414 31.997831006548523 31.75675036401947 3.514474998987613 3.5411550553912488 3.5142367841982947 0.03677249822437542 3.465779553907879 3.5957535351365544 0.9999322189546413 0.9923984488756085 0.1098139460116415 0.0 0.10981394601164152 0.10981394601164152 0.0007116874295547576 0.08042067953968761 85.10888151849998 1.4210854715202004e-14 85.1088815185 85.1088815185 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 38156.235342957145 10.499088452699999 11.985563981599999 0.18779699963317317 11.666685416 12.324116071 1.0 1.0 0.8760847918977881 0.8760847918977881 0.8760847918977881 0.013618392660758838 0.8519141163726547 0.8999204211250328 1.0 1.0 0.8759778404101795 0.0 0.8759778404101795 0.8759778404101795 0.0 0.0 1.4864755288999998 0.0 1.4864755288999998 1.4864755288999998 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 71540.17006059855 5.249544226349999 6.3925484048 0.039884920581061675 6.348472514 6.464437832 1.99999562674247 1.9995059428948685 1.6424303245725211 1.6428325597364684 1.6424267331871287 0.010216099235348601 1.6241301603563785 1.6537975756446661 0.999997813371235 0.9997529714474342 0.8211974151667356 0.0 0.8211974151667356 0.8211974151667356 2.2957659017895407e-05 0.0025942154690221804 2.286008356900002 0.0 2.286008356900002 2.286008356900002 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 101550.12639824374 3.4996961508999997 4.5034311253 0.030616808859251964 4.442297027 4.570942862 2.9999868802560976 2.998518194732816 2.3314171825103913 2.3325591194413384 2.3314069866449363 0.015822070758191226 2.2969196442998547 2.363436841095317 0.9999956267520325 0.9995060649109387 0.7771177250250196 1.1102230246251565e-16 0.7771177250250196 0.7771177250250196 4.5915318035790815e-05 0.005188430938044361 3.011204923199999 4.440892098500626e-16 3.0112049231999993 3.0112049231999993 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 126240.73904808759 2.6247721131749997 3.6226340518 0.04929257467304463 3.578056403 3.73131015 3.9999737605695707 3.9970371212005342 2.898476074258429 2.900605596374881 2.8984570606681035 0.03876162035019825 2.8137806911333807 2.9342993150966263 0.9999934401423927 0.9992592803001336 0.7245479603082772 1.1102230246251565e-16 0.7245479603082772 0.7245479603082772 6.887297705368622e-05 0.007782646407066543 3.991447754500001 0.0 3.991447754500001 3.991447754500001 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 152229.73198629127 2.0998176905399997 3.0041700398 0.02119648292517898 2.973402357 3.042111528 4.9999562677115765 4.995063087623641 3.49495569537094 3.4983793653660555 3.4949251268888406 0.024598284211748225 3.451250342423343 3.531001590814976 0.9999912535423153 0.9990126175247283 0.6989676558653761 1.1102230246251565e-16 0.6989676558653761 0.6989676558653761 9.183063607158163e-05 0.010376861876088722 4.521761746300001 0.0 4.521761746300001 4.521761746300001 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 171873.79858080012 1.7498480754499999 2.6608127810999997 0.01572222604959588 2.627505323 2.690712172 5.999934401710803 5.99259645896713 3.945932173518754 3.95076397298297 3.9458890324521088 0.023361295792971803 3.9019738201489056 3.9958390800565464 0.9999890669518006 0.9987660764945216 0.6576366769880742 1.1102230246251565e-16 0.6576366769880742 0.6576366769880742 0.00011478829508947704 0.012971077345110904 5.4657882339 0.0 5.4657882339 5.4657882339 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 190023.67618326633 1.4998697789571427 2.4066685225 0.0149490672056783 2.382384161 2.430969939 6.999908162595937 6.989637599835809 4.36264012271248 4.369050579412156 4.362582886491947 0.027081128676456952 4.318888639576879 4.40696703099849 0.9999868803708482 0.9985196571194013 0.6232141090203429 0.0 0.6232141090203429 0.6232141090203429 0.00013774595410737244 0.015565292814133085 6.347591204800003 8.881784197001252e-16 6.347591204800002 6.347591204800002 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 196483.98821978772 1.3123860565874998 2.3275382597 0.025269949860758766 2.28576033 2.360631813 7.999877550395666 7.9861868744747495 4.511147759519571 4.518881195135052 4.51107871098729 0.04910146626732703 4.447575600261556 4.593258669731134 0.9999846937994582 0.9982733593093437 0.5638515505032581 1.1102230246251565e-16 0.5638515505032581 0.5638515505032581 0.00016070361312526784 0.018159508283155268 8.1212176249 0.0 8.1212176249 8.1212176249 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 194637.8727323131 1.1665653836333332 2.3496146643 0.025801640217945093 2.305781156 2.398583356 8.999842565138675 8.98224464676973 4.468777374280145 4.477532555477514 4.468699203019455 0.04903929930089098 4.3772039134836715 4.5533759460995435 0.9999825072376304 0.9980271829744145 0.49649221268410737 1.1102230246251565e-16 0.49649221268410737 0.49649221268410737 0.00018366127214316326 0.020753723752177444 10.647443526000002 0.0 10.647443526000002 10.647443526000002 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 188013.2028595098 1.0499088452699998 2.4324036453 0.042715213247941954 2.381696161 2.528835773 9.999803206853649 9.977811280247677 4.317086018671887 4.326601235607514 4.317001061377819 0.07454092698119368 4.151747837798402 4.408240070509985 0.9999803206853649 0.9977811280247676 0.43163430021110233 5.551115123125783e-17 0.43163430021110233 0.43163430021110233 0.00020661893116105865 0.023347939221199626 13.824948000300001 1.7763568394002505e-15 13.8249480003 13.8249480003 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 185735.25558220214 0.8749240377249999 2.4622358236 0.027957508031973586 2.412965876 2.49156431 11.999711371314245 11.96747258306856 4.2644258943424695 4.275913693662071 4.264323324705688 0.04889010356594774 4.213854087795951 4.351113522626542 0.9999759476095204 0.9972893819223799 0.35533722210482094 5.551115123125783e-17 0.35533722210482094 0.35533722210482094 0.00025253424919684947 0.02853637015924399 19.047741430499997 0.0 19.047741430499997 19.047741430499997 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 184996.23634148808 0.7499348894785713 2.4720719137000002 0.027797910653440897 2.441998302 2.536236798 13.999602044006936 13.955173683992562 4.24746770645495 4.260990148287993 4.247346970367155 0.04721533999254918 4.139632569395438 4.299384010259643 0.999971574571924 0.9967981202851831 0.30336289382299103 0.0 0.30336289382299103 0.30336289382299103 0.00029844956723264025 0.03372480109728835 24.109918339100005 0.0 24.109918339100005 24.109918339100005 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 186665.06973345208 0.6561930282937499 2.4499709595 0.03169110984012156 2.396404901 2.50359519 15.999475225161204 15.940917478361461 4.285892372667276 4.301636272020012 4.285751802137341 0.05549940909579439 4.193604658866596 4.381183016408794 0.9999672015725752 0.9963073423975913 0.26783706384326633 0.0 0.26783706384326633 0.26783706384326633 0.00034436488526843115 0.038913232035332715 28.700446899299997 0.0 28.700446899299997 28.700446899299997 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 186334.419774646 0.43746201886249997 2.4543184268 0.035200534827625106 2.397577719 2.517700724 23.99879303898353 23.864377297939004 4.278456649946712 4.302554991753398 4.278241486180581 0.061244814140015306 4.170109796060097 4.379039882418927 0.9999497099576471 0.9943490540807918 0.17824175302015455 0.0 0.17824175302015458 0.17824175302015458 0.0005280261574115943 0.05966695578751016 48.4045537905 7.105427357601002e-15 48.404553790499996 48.404553790499996 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 182430.0171566419 0.32809651414687496 2.5068462259 0.024624749671285445 2.447760289 2.53012543 31.997831006548523 31.75675036401947 4.188653795878615 4.220451865166783 4.1883698845456845 0.04166231894858559 4.149631606485216 4.28926333182293 0.9999322189546413 0.9923984488756085 0.13088019151596855 0.0 0.13088019151596855 0.13088019151596855 0.0007116874295547576 0.08042067953968761 69.71999077609999 1.4210854715202004e-14 69.7199907761 69.7199907761 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 38589.49417325583 10.499088452699999 11.8509975266 0.2612806438072575 11.500936479 12.452205484 1.0 1.0 0.8861371811332098 0.8861371811332098 0.8861371811332098 0.01919308475427306 0.8431509154093556 0.9128898739568457 1.0 1.0 0.885924448902669 0.0 0.885924448902669 0.885924448902669 0.0 0.0 1.3519090739000017 0.0 1.3519090739000017 1.3519090739000017 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 70819.85423542449 5.249544226349999 6.4575676544 0.1344337192578864 6.290487373 6.736452121 1.99999562674247 1.9995059428948685 1.6262104539850089 1.6266087168633698 1.6262068980664521 0.03335465696804898 1.5585486639132307 1.6690421314195996 0.999997813371235 0.9997529714474342 0.8129290326169656 0.0 0.8129290326169656 0.8129290326169656 2.2957659017895407e-05 0.0025942154690221804 2.4160468561000017 4.440892098500626e-16 2.4160468561000012 2.4160468561000012 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 102584.63414157635 3.4996961508999997 4.458016581400001 0.01855685777127777 4.425309378 4.487847518 2.9999868802560976 2.998518194732816 2.3551337519785185 2.356287305374659 2.3551234523946243 0.009801807831850183 2.3394485687381144 2.372509480330394 0.9999956267520325 0.9995060649109387 0.7850343503659537 0.0 0.7850343503659537 0.7850343503659537 4.5915318035790815e-05 0.005188430938044361 2.8749612915000036 0.0 2.8749612915000036 2.8749612915000036 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 128187.94144207284 2.6247721131749997 3.5676054615999995 0.03656970480256831 3.539118575 3.666221285 3.9999737605695707 3.9970371212005342 2.943067043395951 2.945229326678112 2.9430477372952173 0.029608157587147983 2.863735611283485 2.9665828454758683 0.9999934401423927 0.9992592803001336 0.735723762458263 0.0 0.735723762458263 0.735723762458263 6.887297705368622e-05 0.007782646407066543 3.771333393699998 8.881784197001252e-16 3.771333393699999 3.771333393699999 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 150968.38469887752 2.0998176905399997 3.0292700085 0.04473744755499126 2.956933989 3.106068753 4.9999562677115765 4.995063087623641 3.466288118507328 3.469683705650672 3.4662578007649762 0.05101631266259515 3.380185465167003 3.5506671747686416 0.9999912535423153 0.9990126175247283 0.6931761396798577 1.1102230246251565e-16 0.6931761396798577 0.6931761396798577 9.183063607158163e-05 0.010376861876088722 4.647261589800002 8.881784197001252e-16 4.647261589800001 4.647261589800001 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 172509.7839126096 1.7498480754499999 2.6510032627 0.02041740004612794 2.625961203 2.688380707 5.999934401710803 5.99259645896713 3.960581125846726 3.9654308629735513 3.960537824622379 0.03033519061773773 3.9053577588034667 3.9981887168422108 0.9999890669518006 0.9987660764945216 0.6600701327194182 1.1102230246251565e-16 0.6600701327194182 0.6600701327194182 0.00011478829508947704 0.012971077345110904 5.406931123500002 8.881784197001252e-16 5.406931123500003 5.406931123500003 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 191320.9122609067 1.4998697789571427 2.3903502999 0.012484956381630108 2.376092996 2.420665338 6.999908162595937 6.989637599835809 4.392397553077741 4.398851735299918 4.392339926450758 0.022797328768239464 4.337273842808253 4.4186353271418835 0.9999868803708482 0.9985196571194013 0.6274686095255115 1.1102230246251565e-16 0.6274686095255115 0.6274686095255115 0.00013774595410737244 0.015565292814133085 6.2333636466000035 8.881784197001252e-16 6.233363646600003 6.233363646600003 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 198217.45511942438 1.3123860565874998 2.3071832888 0.033138353507795475 2.260279317 2.364253456 7.999877550395666 7.9861868744747495 4.551147375196928 4.558949381931995 4.551077714422508 0.06527848095559265 4.4407626542980925 4.645040271675414 0.9999846937994582 0.9982733593093437 0.5688260932533414 0.0 0.5688260932533414 0.5688260932533414 0.00016070361312526784 0.018159508283155268 7.958377857700002 0.0 7.958377857700002 7.958377857700002 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 188386.27499321065 1.1665653836333332 2.4275866170000002 0.032886834664726784 2.375292004 2.485964237 8.999842565138675 8.98224464676973 4.325379274200421 4.333853511362229 4.3253036113686205 0.058350436243648704 4.223346537506926 4.420125371962478 0.9999825072376304 0.9980271829744145 0.48054531832728953 5.551115123125783e-17 0.4805453183272896 0.4805453183272896 0.00018366127214316326 0.020753723752177444 11.349191100300002 0.0 11.349191100300002 11.349191100300002 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 180912.66279545822 1.0499088452699998 2.5278716974999997 0.031612727339054375 2.482331939 2.592969194 9.999803206853649 9.977811280247677 4.153736223631541 4.162891404021805 4.153654480949485 0.05158251935847017 4.049060234496561 4.229526393206513 0.9999803206853649 0.9977811280247676 0.4153331224477622 0.0 0.4153331224477622 0.4153331224477622 0.00020661893116105865 0.023347939221199626 14.779628522299998 1.7763568394002505e-15 14.7796285223 14.7796285223 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 181088.77277848902 0.8749240377249999 2.5254133262000003 0.02295715389518351 2.496590034 2.578337222 11.999711371314245 11.96747258306856 4.157645143319891 4.16884528941973 4.157545142015428 0.03748894910182606 4.072038507265517 4.205371450545492 0.9999759476095204 0.9972893819223799 0.3464478581181409 0.0 0.3464478581181409 0.3464478581181409 0.00025253424919684947 0.02853637015924399 19.805871461700004 3.552713678800501e-15 19.8058714617 19.8058714617 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 179309.25777921441 0.7499348894785713 2.5504762311999998 0.033589828111209474 2.493877017 2.593558484 13.999602044006936 13.955173683992562 4.116996972048167 4.130104040995797 4.116879944646849 0.054705905789364434 4.0481402356917116 4.209946353060279 0.999971574571924 0.9967981202851831 0.2940371999176509 5.551115123125783e-17 0.2940371999176509 0.2940371999176509 0.00029844956723264025 0.03372480109728835 25.207578784099997 3.552713678800501e-15 25.207578784099994 25.207578784099994 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 181476.20831823762 0.6561930282937499 2.5200217937 0.0322622472430903 2.479975204 2.594739508 15.999475225161204 15.940917478361461 4.166744016900079 4.182050233838482 4.1666073542488435 0.05264778811215941 4.046297680491478 4.233545736975844 0.9999672015725752 0.9963073423975913 0.2603918069019158 0.0 0.2603918069019158 0.2603918069019158 0.00034436488526843115 0.038913232035332715 29.821260246499996 0.0 29.821260246499996 29.821260246499996 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 183163.87404601122 0.43746201886249997 2.4968023983000003 0.02106497125592919 2.459022863 2.528197049 23.99879303898353 23.864377297939004 4.205375286366579 4.229061998507864 4.205163797865318 0.03561296089760082 4.152796735860757 4.269618070932104 0.9999497099576471 0.9943490540807918 0.17520890686437782 0.0 0.17520890686437784 0.17520890686437784 0.0005280261574115943 0.05966695578751016 49.42416910650001 0.0 49.42416910650001 49.42416910650001 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 179935.95376602205 0.32809651414687496 2.5415932193 0.02441290088942423 2.501158116 2.582198257 31.997831006548523 31.75675036401947 4.131379262825573 4.1627425338087924 4.131099233620366 0.03980618104942512 4.065949786867972 4.197690815921211 0.9999322189546413 0.9923984488756085 0.12909088348812894 2.7755575615628914e-17 0.12909088348812897 0.12909088348812897 0.0007116874295547576 0.08042067953968761 70.83189456490003 1.4210854715202004e-14 70.83189456490001 70.83189456490001 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 43356.467552572554 10.499088452699999 10.5479995446 0.15885802255917333 10.339602454 10.781158854 1.0 1.0 0.9954754933740088 0.9954754933740088 0.9954754933740088 0.014913841630304354 0.9738367270977232 1.0154247708661468 1.0 1.0 0.9953629982924069 1.1102230246251565e-16 0.9953629982924069 0.9953629982924069 0.0 0.0 0.04891109190000087 0.0 0.04891109190000087 0.04891109190000087 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 75688.70267655805 5.249544226349999 6.0421698857 0.028295108754670818 5.987905114 6.093228109 1.99999562674247 1.9995059428948685 1.7376582909579592 1.738083847681487 1.7376544913443563 0.008144286949110286 1.7230749062540962 1.753382569164739 0.999997813371235 0.9997529714474342 0.8688177137776435 1.1102230246251565e-16 0.8688177137776435 0.8688177137776435 2.2957659017895407e-05 0.0025942154690221804 1.585251318700001 0.0 1.585251318700001 1.585251318700001 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 101921.98782115248 3.4996961508999997 4.487000398800001 0.019429672158719952 4.452001505 4.513694054 2.9999868802560976 2.998518194732816 2.3399224373255874 2.341068540162428 2.3399122042645444 0.010149025574372425 2.3260523037434915 2.3582850187513578 0.9999956267520325 0.9995060649109387 0.7799634142747022 0.0 0.7799634142747022 0.7799634142747022 4.5915318035790815e-05 0.005188430938044361 2.9619127437000046 0.0 2.9619127437000046 2.9619127437000046 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 124276.50915301137 2.6247721131749997 3.6798909392999994 0.05083313281718896 3.578951849 3.771384512 3.9999737605695707 3.9970371212005342 2.8533893716593863 2.8554857683927466 2.85337065383141 0.03957740074123042 2.7838817334306323 2.9335651597641816 0.9999934401423927 0.9992592803001336 0.7132744302672981 1.1102230246251565e-16 0.7132744302672981 0.7132744302672981 6.887297705368622e-05 0.007782646407066543 4.220475304499999 0.0 4.220475304499999 4.220475304499999 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 145441.61366028167 2.0998176905399997 3.1443820547 0.030840626256161303 3.095854259 3.198540246 4.9999562677115765 4.995063087623641 3.3391884895345854 3.342459569466957 3.3391592834637605 0.03266127240164817 3.282462512650841 3.391338084529643 0.9999912535423153 0.9990126175247283 0.667799794685045 1.1102230246251565e-16 0.667799794685045 0.667799794685045 9.183063607158163e-05 0.010376861876088722 5.2228218208 0.0 5.2228218208 5.2228218208 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 163599.94633859943 1.7498480754499999 2.79537989 0.021078337487797954 2.75101958 2.829744676 5.999934401710803 5.99259645896713 3.7560197992096205 3.7606190507059334 3.7559787344641173 0.028392828677818387 3.7102599897956305 3.816435378733291 0.9999890669518006 0.9987660764945216 0.625978630564592 1.1102230246251565e-16 0.625978630564592 0.625978630564592 0.00011478829508947704 0.012971077345110904 6.273190887300003 8.881784197001252e-16 6.273190887300002 6.273190887300002 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 180051.74612079927 1.4998697789571427 2.5399587055 0.02076294433699826 2.516127542 2.594451412 6.999908162595937 6.989637599835809 4.133757821136735 4.139831958533808 4.133703587767117 0.033385194646286434 4.046746994042376 4.172717112883143 0.9999868803708482 0.9985196571194013 0.590509513288283 0.0 0.590509513288283 0.590509513288283 0.00013774595410737244 0.015565292814133085 7.280622485800004 0.0 7.280622485800004 7.280622485800004 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 194984.50203509646 1.3123860565874998 2.3454376898 0.024850649623183764 2.304553747 2.387728267 7.999877550395666 7.9861868744747495 4.476707836635088 4.484382232081541 4.476639315247173 0.047529169460839404 4.397103555628342 4.5558010813882746 0.9999846937994582 0.9982733593093437 0.5595484639369847 1.1102230246251565e-16 0.5595484639369847 0.5595484639369847 0.00016070361312526784 0.018159508283155268 8.2644130657 0.0 8.2644130657 8.2644130657 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 191117.24358071238 1.1665653836333332 2.3928976340999997 0.020766561528874333 2.355086335 2.427474378 8.999842565138675 8.98224464676973 4.387846541840224 4.3964431642097255 4.387769786283354 0.03809689620738421 4.325107835473927 4.458048223824456 0.9999825072376304 0.9980271829744145 0.4875116122851172 0.0 0.4875116122851172 0.4875116122851172 0.00018366127214316326 0.020753723752177444 11.036990254199996 1.7763568394002505e-15 11.036990254199997 11.036990254199997 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 191141.65887844225 1.0499088452699998 2.3925919795999997 0.026836988582885926 2.35538911 2.438784444 9.999803206853649 9.977811280247677 4.388526728368263 4.398199406574723 4.388440365169991 0.04903427449806171 4.305049787622805 4.457475161163498 0.9999803206853649 0.9977811280247676 0.4388165028646157 0.0 0.4388165028646157 0.4388165028646157 0.00020661893116105865 0.023347939221199626 13.426831343299998 1.7763568394002505e-15 13.426831343299996 13.426831343299996 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 197120.61242507928 0.8749240377249999 2.3200212011 0.029018691633154875 2.280630044 2.370220489 11.999711371314245 11.96747258306856 4.525889205669669 4.538081352567206 4.5257803472152265 0.05625924311610475 4.429583028847069 4.603591222663029 0.9999759476095204 0.9972893819223799 0.3771189837878072 5.551115123125783e-17 0.3771189837878072 0.3771189837878072 0.00025253424919684947 0.02853637015924399 17.341165960500003 3.552713678800501e-15 17.3411659605 17.3411659605 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 200403.71631981237 0.7499348894785713 2.2820135693999997 0.03308161775042958 2.246454382 2.348768867 13.999602044006936 13.955173683992562 4.6014107301384035 4.616060001951272 4.601279933068646 0.06593925414861501 4.470039006481772 4.673626376224362 0.999971574571924 0.9967981202851831 0.3286285846563781 0.0 0.3286285846563781 0.3286285846563781 0.00029844956723264025 0.03372480109728835 21.449101518899994 0.0 21.449101518899994 21.449101518899994 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 205059.97878628233 0.6561930282937499 2.2301962709 0.020900587515512874 2.181612551 2.254834963 15.999475225161204 15.940917478361461 4.708059369604172 4.725354067281245 4.707904952660626 0.044491842868503065 4.656255834675914 4.812535776752596 0.9999672015725752 0.9963073423975913 0.29423106694952095 0.0 0.29423106694952095 0.29423106694952095 0.00034436488526843115 0.038913232035332715 25.184051881699997 3.552713678800501e-15 25.1840518817 25.1840518817 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 214598.9714598796 0.43746201886249997 2.1310633359000004 0.012476021931722833 2.109182822 2.151929231 23.99879303898353 23.864377297939004 4.927022271847628 4.95477364962485 4.926774491688903 0.028869979562441087 4.878919019014896 4.977799147228214 0.9999497099576471 0.9943490540807918 0.20527875051529096 5.551115123125783e-17 0.205278750515291 0.205278750515291 0.0005280261574115943 0.05966695578751016 40.64643160890001 0.0 40.64643160890001 40.64643160890001 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 215497.48131381418 0.32809651414687496 2.1221779355 0.01895109325938957 2.089870217 2.152250595 31.997831006548523 31.75675036401947 4.947850383311025 4.985411876092028 4.947515012839766 0.04420032513946659 4.87819052162929 5.023799261454329 0.9999322189546413 0.9923984488756085 0.1546036779755573 0.0 0.1546036779755573 0.1546036779755573 0.0007116874295547576 0.08042067953968761 57.41060548329999 7.105427357601002e-15 57.410605483299996 57.410605483299996