TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 3.679752581 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-state 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 2.769440347 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-set 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.533911987 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-part 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.61962649 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-set 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.565095769 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-part 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.412482328 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-state 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.632643524 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-state 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.713634151 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-set 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.325271655 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-set 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.40808808 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-part 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 2.167107076 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-part 64 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.291857047 true Lattice Bound Address Scheme program Step filter? Machine p # states # error states # error values # final states # final values Final values # ? Time 1 ? Time 2 ? Time 3 ? Time 4 ? Time 5 ? Time 6 ? Time 7 ? Time 8 ? Time 9 ? Time 10 ? Time 11 ? Time 12 ? Time 13 # finished Average time Standard error Correct? Error 1 Error 2 Error 3 Error 4 Error 5 Error 6 Error 7 Error 8 Error 9 Error 10 Error 11 Error 12 Error 13 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false SeqAAMLS 1 75879 0 0 1 1 {#f,#t} 13 true 4.216949268 true 3.350122313 true 3.641446491 true 3.199951085 true 3.111273354 true 3.283812514 true 3.192521851 true 3.199371683 true 3.426510487 true 3.281496491 true 3.330028047 true 3.281202954 true 3.220916749 13 3.3642771759230765 0.18339611049704116 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 2 75879 0 0 1 1 {#f,#t} 13 true 7.211094719 true 6.738484884 true 6.928837212 true 6.99952473 true 7.253341241 true 6.731189874 true 7.127429163 true 6.740040884 true 7.398976175 true 6.992472876 true 6.767146171 true 7.148493276 true 6.858054206 13 6.991929647 0.18274225399999994 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 3 75879 0 0 1 1 {#f,#t} 13 true 7.518753022 true 7.410954262 true 7.358176843 true 7.209945786 true 7.070386667 true 7.30874264 true 7.075094122 true 7.307160244 true 7.154084948 true 7.119733925 true 7.271746334 true 7.123992391 true 7.051017239 13 7.229214494076924 0.12311482777514801 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 4 75879 0 0 1 1 {#f,#t} 13 true 7.261196289 true 7.390890992 true 7.145353924 true 7.190992567 true 6.900453821 true 7.057935759 true 7.112554335 true 7.136660807 true 7.051088694 true 7.144366026 true 7.18905989 true 7.44945954 true 7.213701894 13 7.172593426 0.10149855630769232 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 5 75879 0 0 1 1 {#f,#t} 13 true 7.368426419 true 7.20326048 true 6.929155303 true 7.214452783 true 6.892224128 true 7.104397935 true 7.275276182 true 7.171106191 true 6.971062239 true 7.005638863 true 6.939244252 true 7.211634286 true 7.118966377 13 7.1080650336923075 0.12410268956213019 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 6 75879 0 0 1 1 {#f,#t} 13 true 7.260041107 true 7.283872791 true 7.101778343 true 7.06928853 true 7.142874568 true 7.146154433 true 7.297689828 true 7.117879131 true 7.140312515 true 6.87846604 true 7.115005223 true 7.017403129 true 7.224903199 13 7.138128372076924 0.08137689791715978 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 7 75879 0 0 1 1 {#f,#t} 13 true 7.490967067 true 7.2456003 true 7.251575492 true 7.123388235 true 7.058387201 true 7.116717925 true 6.963404084 true 7.095518705 true 6.959714698 true 7.253056448 true 7.255538289 true 7.0508878 true 7.124646005 13 7.15303094223077 0.1125512130532546 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 8 75879 0 0 1 1 {#f,#t} 13 true 7.189392041 true 6.937335947 true 7.104759326 true 6.951546199 true 7.220760732 true 7.069517101 true 7.125373548 true 6.99753377 true 7.531870815 true 7.184206376 true 6.941319808 true 7.510078977 true 7.211869788 13 7.151966494461541 0.14405842495857996 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 9 75879 0 0 1 1 {#f,#t} 13 true 7.156485556 true 6.96036221 true 7.279332517 true 7.079412817 true 7.032929834 true 7.109862696 true 6.956956512 true 6.995894254 true 7.145896193 true 7.017340658 true 7.214689207 true 7.096447378 true 7.148028821 13 7.091818357923076 0.07815597885207101 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 10 75879 0 0 1 1 {#f,#t} 13 true 7.29791311 true 7.128385603 true 7.370963911 true 7.053040182 true 6.984778735 true 7.15021334 true 7.009828507 true 7.100034301 true 7.374495824 true 6.945764231 true 7.02096184 true 7.22443634 true 6.985532815 13 7.126642210692307 0.12100844059171578 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 12 75879 0 0 1 1 {#f,#t} 13 true 7.662406635 true 7.117455049 true 6.881888692 true 7.063592916 true 7.231486036 true 7.188679721 true 7.050906052 true 7.23003117 true 7.132878764 true 7.168337372 true 7.105696773 true 7.252400902 true 6.957080499 13 7.157141583153846 0.1216142057041419 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 14 75879 0 0 1 1 {#f,#t} 13 true 7.215516068 true 7.011021421 true 7.082984339 true 7.127078278 true 7.197269965 true 7.007593613 true 7.155360898 true 6.930602586 true 6.999044714 true 7.138523302 true 6.972880633 true 7.262766892 true 7.044292241 13 7.088071919230769 0.08739752117159767 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 16 75879 0 0 1 1 {#f,#t} 13 true 7.386734028 true 6.962178936 true 6.991183154 true 7.017164265 true 7.259860908 true 6.97254176 true 7.239672922 true 7.000177377 true 7.133669994 true 7.423113126 true 7.496536049 true 7.328492602 true 6.911138124 13 7.163266403461538 0.17766326372781063 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 18 75879 0 0 1 1 {#f,#t} 13 true 7.812974061 true 7.277143919 true 6.917057806 true 6.942453662 true 7.278253799 true 6.976117542 true 7.071301016 true 7.07387332 true 7.059508221 true 7.096138924 true 6.999293899 true 7.326705738 true 6.986603383 13 7.139801945384614 0.17474919007100562 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 20 75879 0 0 1 1 {#f,#t} 13 true 7.556675378 true 7.544298326 true 7.295629476 true 6.959294099 true 6.945380946 true 7.260080655 true 7.001682241 true 6.936162271 true 7.153093575 true 6.9527979 true 6.921361115 true 7.190970668 true 7.00530953 13 7.13251816769231 0.18548293413017775 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 24 75879 0 0 1 1 {#f,#t} 13 true 7.261755072 true 6.897822529 true 7.221068125 true 6.962514153 true 6.988626138 true 7.343605966 true 7.034871063 true 6.980695525 true 7.154146855 true 6.949926307 true 6.892589893 true 6.944797263 true 7.252652511 13 7.068082415384615 0.13735637724260352 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 28 75879 0 0 1 1 {#f,#t} 13 true 7.293741285 true 7.001145639 true 7.235594713 true 7.042752721 true 6.967949785 true 7.154854809 true 7.250569402 true 7.031278413 true 7.072626306 true 7.268108179 true 6.973243122 true 6.947464652 true 7.250350787 13 7.114590754846153 0.11779609937278107 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 32 75879 0 0 1 1 {#f,#t} 13 true 7.375176327 true 7.051998858 true 6.990810876 true 7.330160001 true 6.957929695 true 6.968973512 true 7.037591787 true 7.214862928 true 6.944602977 true 6.940890369 true 7.198620922 true 6.987155708 true 7.080450562 13 7.083017270923078 0.12103862989349136 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 40 75879 0 0 1 1 {#f,#t} 13 true 7.256903278 true 7.247020789 true 7.062105313 true 7.298056964 true 7.143141136 true 6.981901522 true 7.31630983 true 7.017706044 true 6.94257104 true 6.960721283 true 7.233325281 true 6.956394772 true 6.954096347 13 7.1054041230000005 0.13266654461538457 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 48 75879 0 0 1 1 {#f,#t} 13 true 7.588763689 true 7.072618329 true 6.991648224 true 6.999571852 true 7.100914629 true 7.13481049 true 6.972827185 true 7.281441937 true 7.034511151 true 6.975533931 true 7.221137645 true 6.981878574 true 7.173581216 13 7.1176337578461535 0.12485633657988153 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 56 75879 0 0 1 1 {#f,#t} 13 true 7.197175192 true 7.000277565 true 7.091039294 true 7.291866684 true 7.39419834 true 7.456529066 true 7.147805433 true 7.014134602 true 7.017460097 true 7.088596347 true 6.972183324 true 7.23490678 true 7.023651215 13 7.148447995307693 0.12806709007100608 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 64 75879 0 0 1 1 {#f,#t} 13 true 7.247792325 true 7.314979453 true 7.045648217 true 6.958972279 true 7.097041273 true 7.245998553 true 7.200917915 true 7.103899692 true 6.968973316 true 7.501793305 true 7.372150497 true 6.969127364 true 7.144634715 13 7.167071454153846 0.13556974201183428 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 2 75879 0 0 1 1 {#f,#t} 13 true 7.374214413 true 7.364541381 true 6.915024562 true 6.678562404 true 7.006792865 true 7.002201118 true 7.149841685 true 7.019054051 true 6.839673819 true 6.699919439 true 6.985084473 true 6.654996215 true 7.195664105 13 6.991197733076922 0.180603920994083 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 3 75879 0 0 1 1 {#f,#t} 13 true 7.566118151 true 7.387866734 true 7.349061715 true 7.129696948 true 7.05534454 true 7.202940305 true 7.075338256 true 7.050022267 true 7.188190693 true 7.107679004 true 7.081883353 true 7.376607905 true 7.143125047 13 7.208759609076923 0.12994093364497028 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 4 75879 0 0 1 1 {#f,#t} 13 true 7.311122542 true 6.994986677 true 7.092201296 true 6.901093516 true 7.261527224 true 7.126168437 true 7.148558074 true 7.202580903 true 6.794707562 true 7.018751559 true 7.135780984 true 7.408739812 true 7.260386325 13 7.127431146999998 0.12871966692307715 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 5 75879 0 0 1 1 {#f,#t} 13 true 7.365050807 true 7.087262454 true 7.037510991 true 7.125718141 true 6.937400488 true 7.127754373 true 7.208665703 true 6.997132894 true 6.789243364 true 6.906500353 true 7.069712048 true 7.085564034 true 7.077132981 13 7.062665279307693 0.09931358562130163 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 6 75879 0 0 1 1 {#f,#t} 13 true 7.372259994 true 7.072324578 true 7.254796074 true 7.219905884 true 7.077521276 true 6.974765942 true 7.042935299 true 6.883024549 true 6.956682419 true 6.837695215 true 6.869713972 true 7.276306043 true 7.235274509 13 7.08255428876923 0.1455032400236685 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 7 75879 0 0 1 1 {#f,#t} 13 true 7.278418117 true 7.04550863 true 7.045933009 true 6.894052345 true 6.829598661 true 7.035229214 true 6.914093497 true 6.988817443 true 7.323983374 true 7.230385389 true 7.126415438 true 7.186291213 true 6.818263665 13 7.055153076538462 0.1338043305088758 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 8 75879 0 0 1 1 {#f,#t} 13 true 7.168864214 true 7.211001692 true 7.026898394 true 7.161222926 true 7.315004831 true 7.33072383 true 7.02937544 true 6.963401335 true 7.165399929 true 7.083776295 true 7.187758372 true 7.172915717 true 7.133409245 13 7.149980940000001 0.07892984476923069 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 9 75879 0 0 1 1 {#f,#t} 13 true 7.582748629 true 7.053481446 true 6.743623525 true 6.852059254 true 7.152255758 true 6.981968773 true 6.879067068 true 7.286204719 true 7.062285985 true 6.963051434 true 7.014115023 true 6.945905889 true 6.817728509 13 7.025730462461539 0.1551268037988166 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 10 75879 0 0 1 1 {#f,#t} 13 true 7.169327299 true 6.873181386 true 6.969077777 true 7.145051848 true 6.973948757 true 7.000524607 true 6.970593778 true 7.035037516 true 7.076049949 true 6.919534672 true 6.938072461 true 6.995337743 true 6.726344316 13 6.984006316076924 0.07958324085207114 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 12 75879 0 0 1 1 {#f,#t} 13 true 7.068683284 true 6.937824671 true 6.969974123 true 7.028906006 true 6.860222401 true 7.141388345 true 7.144471739 true 7.116275687 true 7.265855184 true 7.154056909 true 7.084545605 true 6.925335721 true 7.033036186 13 7.056198143153846 0.08952150014201184 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 14 75879 0 0 1 1 {#f,#t} 13 true 7.70532508 true 7.016530514 true 7.147967473 true 7.016649932 true 6.788398559 true 6.839285685 true 7.056102508 true 7.114592397 true 6.964743366 true 7.001324803 true 6.836749343 true 6.875414608 true 6.954797026 13 7.024452407230768 0.1424888967810647 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 16 75879 0 0 1 1 {#f,#t} 13 true 7.294973902 true 6.839932797 true 7.109772754 true 7.08971924 true 6.953652838 true 7.350937163 true 6.999757965 true 7.088258631 true 7.149960093 true 6.891505408 true 6.998656694 true 6.899831107 true 6.878503976 13 7.041958659076924 0.12797997362130178 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 18 75879 0 0 1 1 {#f,#t} 13 true 7.241523489 true 6.900400889 true 6.924000768 true 6.934627693 true 7.207606293 true 6.937940884 true 6.952162626 true 7.140482201 true 7.287805351 true 6.95282137 true 7.122643106 true 7.112167016 true 6.997045746 13 7.054709802461537 0.1206105601893491 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 20 75879 0 0 1 1 {#f,#t} 13 true 7.552564848 true 6.940915726 true 6.891722791 true 6.806463985 true 6.912934197 true 6.727314099 true 6.871327536 true 7.056299287 true 7.21711903 true 6.875513868 true 7.200572578 true 6.876275108 true 6.923819675 13 6.988680209846155 0.1648976774792905 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 24 75879 0 0 1 1 {#f,#t} 13 true 7.181036745 true 6.782048685 true 6.734851392 true 6.879913043 true 6.947241724 true 7.081475618 true 6.913923733 true 7.335714395 true 7.048613407 true 6.98649763 true 7.032167228 true 7.034692741 true 6.835450444 13 6.984125137307692 0.12481873889940817 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 28 75879 0 0 1 1 {#f,#t} 13 true 7.334971698 true 6.996565237 true 7.017811527 true 7.121596635 true 6.91951934 true 6.901305552 true 7.11066054 true 6.92826511 true 6.990845448 true 7.117465129 true 7.215633274 true 7.057537054 true 6.837831022 13 7.0423082743076915 0.10830995140828399 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 32 75879 0 0 1 1 {#f,#t} 13 true 7.36275522 true 7.003381218 true 7.177825952 true 6.930315174 true 7.206400532 true 6.95652593 true 6.718705218 true 6.813393338 true 7.131985176 true 6.976959734 true 6.840424403 true 6.815414037 true 6.875312596 13 6.9853383483076925 0.14702405484023673 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 40 75879 0 0 1 1 {#f,#t} 13 true 7.635126109 true 6.902140757 true 6.901711184 true 6.990819308 true 6.900370383 true 6.879733867 true 7.033113332 true 6.912668544 true 6.878961269 true 7.174103371 true 7.040105191 true 6.886604835 true 6.914216525 13 7.003821128846154 0.1334097673254438 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 48 75879 0 0 1 1 {#f,#t} 13 true 7.370253356 true 6.873550374 true 7.115786123 true 6.927439763 true 6.821515409 true 6.915622301 true 6.978210685 true 7.246493532 true 6.826093562 true 6.761238623 true 6.974627067 true 6.962478478 true 6.890329791 13 6.974126081846153 0.12534466981065076 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 56 75879 0 0 1 1 {#f,#t} 13 true 7.417056799 true 6.802108553 true 7.024956969 true 6.933965523 true 6.775650841 true 6.912156331 true 6.967376109 true 6.849462601 true 7.123023887 true 7.10570675 true 7.045711049 true 7.055173698 true 7.093087845 13 7.008110535 0.12429896184615388 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 64 75879 0 0 1 1 {#f,#t} 13 true 7.539957267 true 6.94405225 true 7.111017491 true 7.005599794 true 6.954399114 true 7.069109904 true 7.081143075 true 7.066896265 true 7.177781297 true 6.812261739 true 6.761934715 true 6.825088414 true 6.856579296 13 7.015832355461537 0.14629402557396443 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 2 75879 0 0 1 1 {#f,#t} 13 true 8.368814814 true 8.007762261 true 8.164015426 true 8.224684896 true 8.114507722 true 7.993442062 true 7.935433922 true 8.126964103 true 8.02471733 true 8.111723712 true 8.107499012 true 7.911631364 true 8.021450915 13 8.085588272230769 0.09524488913609484 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 3 75879 0 0 1 1 {#f,#t} 13 true 5.54917937 true 5.209322967 true 5.229120023 true 4.847621183 true 4.931900462 true 5.169441543 true 5.214583618 true 4.986360417 true 5.018627114 true 5.037523466 true 5.201965975 true 4.916185369 true 4.988670579 13 5.100038622 0.1497510406153846 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 4 75879 0 0 1 1 {#f,#t} 13 true 4.47115083 true 4.160450719 true 4.138791908 true 4.286484471 true 4.082513006 true 4.256220291 true 4.191611352 true 4.164666812 true 3.999847842 true 4.028692985 true 4.071055699 true 3.89594775 true 4.324740418 13 4.159398006384615 0.11377520743195263 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 5 75879 0 0 1 1 {#f,#t} 13 true 4.188140114 true 3.786651064 true 3.646536289 true 3.577835636 true 3.733293692 true 3.791305924 true 3.866604897 true 3.759081952 true 3.5867469 true 3.729514074 true 3.764231153 true 3.904389811 true 3.825353649 13 3.7815142426923076 0.10359384659171603 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 6 75879 0 0 1 1 {#f,#t} 13 true 3.905846399 true 3.591931745 true 3.564541008 true 3.678287826 true 3.472255592 true 3.507712229 true 3.579524414 true 3.897938705 true 3.781494025 true 3.660034042 true 3.734809323 true 3.50279633 true 3.705606357 13 3.6602136919230768 0.11426161284023673 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 7 75879 0 0 1 1 {#f,#t} 13 true 3.662232811 true 3.627129693 true 3.53587801 true 3.35062101 true 3.429644548 true 3.598021772 true 3.410749533 true 3.694329447 true 3.41306401 true 3.578052454 true 3.412172342 true 3.432287285 true 3.564885915 13 3.516082217692307 0.09968531971597636 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 8 75879 0 0 1 1 {#f,#t} 13 true 3.544951951 true 3.357992841 true 3.673986464 true 3.643544013 true 3.669931403 true 3.561367853 true 3.446900101 true 3.363267316 true 3.558700994 true 3.397069148 true 3.399767297 true 3.482747966 true 3.408926408 13 3.5007041349999994 0.09973197969230765 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 9 75879 0 0 1 1 {#f,#t} 13 true 3.797057171 true 3.507294636 true 3.539040433 true 3.380667469 true 3.462945185 true 3.385532844 true 3.632776977 true 3.416861405 true 3.555945506 true 3.450039673 true 3.492135339 true 3.522150154 true 3.382699513 13 3.501934331153846 0.08348598308875738 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 10 75879 0 0 1 1 {#f,#t} 13 true 3.592318101 true 3.460014548 true 3.579561495 true 3.447404005 true 3.355621505 true 3.637176693 true 3.402586408 true 3.398277312 true 3.573005858 true 3.434872523 true 3.42514076 true 3.368854784 true 3.396657591 13 3.4670378140769236 0.07906321395266294 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 12 75879 0 0 1 1 {#f,#t} 13 true 3.691972311 true 3.655197947 true 3.659684518 true 3.612377749 true 3.714830663 true 3.487366808 true 3.644907372 true 3.45093586 true 3.465899511 true 3.576682445 true 3.471587792 true 3.785251632 true 3.467678678 13 3.5911056373846155 0.09638195850887578 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 14 75879 0 0 1 1 {#f,#t} 13 true 3.982903146 true 3.845905135 true 3.576885734 true 3.539824658 true 3.689500546 true 3.651981369 true 3.670657148 true 3.536698932 true 3.689617204 true 3.582062538 true 3.514939557 true 3.54773776 true 3.58672604 13 3.6473415205384616 0.0994639115029586 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 16 75879 0 0 1 1 {#f,#t} 13 true 3.946117264 true 4.115732026 true 3.939296251 true 3.726202037 true 3.959507454 true 3.675700255 true 3.639129728 true 3.697490547 true 3.901253142 true 3.73182131 true 3.84946303 true 3.688068978 true 3.7199051 13 3.814591317076923 0.12674173300591712 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 18 75879 0 0 1 1 {#f,#t} 13 true 4.072364879 true 3.909974288 true 3.795025121 true 3.8388207 true 3.954425453 true 3.980277707 true 3.886320529 true 3.770857975 true 3.786368024 true 3.974566115 true 3.926706752 true 3.813077055 true 4.100674412 13 3.9084199238461537 0.08616155985798815 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 20 75879 0 0 1 1 {#f,#t} 13 true 4.192415515 true 3.929606547 true 4.210328227 true 3.916773757 true 3.919780457 true 3.901093893 true 4.148322822 true 3.883722758 true 3.925565389 true 3.886142508 true 4.090804301 true 3.933334499 true 3.907719666 13 3.9881238722307684 0.10605775016568016 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 24 75879 0 0 1 1 {#f,#t} 13 true 4.538395839 true 4.293614357 true 4.174947865 true 4.483850022 true 4.226322473 true 4.155417448 true 4.166136174 true 4.468516853 true 4.205020822 true 4.383783246 true 4.390905524 true 4.169153768 true 4.343530315 13 4.307661131230769 0.1173869248639053 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 28 75879 0 0 1 1 {#f,#t} 13 true 4.937184795 true 4.52931225 true 4.804248661 true 4.539115857 true 4.79000668 true 4.63965249 true 4.715498912 true 4.509161676 true 4.52856568 true 4.739933269 true 4.55067383 true 4.734928612 true 4.5272178 13 4.657346193230769 0.11964981071005926 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 32 75879 0 0 1 1 {#f,#t} 13 true 5.412927755 true 4.922886181 true 4.901102778 true 5.052121386 true 4.895399058 true 5.197561363 true 4.873435628 true 4.860244322 true 5.121262785 true 4.901683171 true 5.096331914 true 4.979874692 true 4.899026856 13 5.008758299153846 0.12867903188165675 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 40 75879 0 0 1 1 {#f,#t} 13 true 6.205380305 true 5.65309078 true 5.650848476 true 5.910174918 true 5.680632797 true 5.647496244 true 6.134548511 true 5.872527784 true 6.05100645 true 5.824358617 true 5.730406817 true 5.896342917 true 5.70854202 13 5.843488971999999 0.15523800815384606 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 48 75879 0 0 1 1 {#f,#t} 13 true 6.727562549 true 6.30775874 true 6.238260995 true 6.198014518 true 6.322015619 true 6.104862318 true 6.474527643 true 6.15204122 true 6.162999639 true 6.492861607 true 6.152784411 true 6.115904273 true 6.353226947 13 6.292524652230769 0.14197002947928988 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 56 75879 0 0 1 1 {#f,#t} 13 true 6.575265119 true 6.264139649 true 6.513326908 true 6.232075768 true 6.309815375 true 6.445675206 true 6.551709561 true 6.645474537 true 6.496072525 true 6.229633312 true 6.223626347 true 6.4656691 true 6.245338988 13 6.399832491923077 0.13759469423668638 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 64 75879 0 0 1 1 {#f,#t} 13 true 6.579233709 true 6.388019388 true 6.621517829 true 6.33391896 true 6.76249666 true 6.40792399 true 6.6134306 true 6.311118076 true 6.334256248 true 6.576431546 true 6.423380877 true 6.316036307 true 6.547595085 13 6.478104559615384 0.12801201097041434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 2 75879 0 0 1 1 {#f,#t} 13 true 9.049965751 true 9.291986522 true 9.467834793 true 9.294603602 true 9.778911522 true 8.780236056 true 8.63199652 true 9.159152726 true 9.188786758 true 9.143762576 true 9.110533686 true 8.805736542 true 9.061707746 13 9.135785753846154 0.21146741878106526 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 3 75879 0 0 1 1 {#f,#t} 13 true 4.933302816 true 4.848930108 true 4.924752414 true 4.924034846 true 5.035692249 true 4.774136739 true 4.759511592 true 4.756965315 true 4.820895389 true 4.903624152 true 5.106967207 true 4.625578967 true 4.923855291 13 4.872172852692308 0.0995413855621301 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 4 75879 0 0 1 1 {#f,#t} 13 true 3.736759718 true 3.317948302 true 3.220716778 true 3.358374151 true 3.386562488 true 3.238954619 true 3.388798191 true 3.550808517 true 3.447559467 true 3.526772328 true 3.472593495 true 3.183027482 true 3.371499771 13 3.4000288697692307 0.11297679633136097 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 5 75879 0 0 1 1 {#f,#t} 13 true 2.90824775 true 2.597557588 true 2.658176321 true 2.609305648 true 2.687104719 true 2.727934501 true 2.795713586 true 2.719691561 true 2.633223348 true 2.635574743 true 2.555061353 true 2.573894747 true 2.681033876 13 2.675578441615385 0.07173159127810655 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 6 75879 0 0 1 1 {#f,#t} 13 true 2.502811114 true 2.314898325 true 2.192231386 true 2.218784837 true 2.41375643 true 2.189740411 true 2.182634233 true 2.155658419 true 2.353054219 true 2.180385128 true 2.383528831 true 2.176503789 true 2.201971835 13 2.2666122274615383 0.09769042795266272 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 7 75879 0 0 1 1 {#f,#t} 13 true 2.247672287 true 1.932554017 true 2.029399955 true 1.942040844 true 1.946401313 true 1.913567652 true 1.986971004 true 1.957168157 true 1.951195013 true 2.015523927 true 2.031481358 true 1.939998287 true 1.928783219 13 1.9863659256153847 0.05834136968047339 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 8 75879 0 0 1 1 {#f,#t} 13 true 2.006758324 true 1.800596688 true 1.805200268 true 1.861438175 true 1.828686915 true 1.817628099 true 1.789318531 true 1.752159907 true 1.75269092 true 1.771253453 true 1.769117973 true 1.867042056 true 1.756351388 13 1.8137109766923074 0.04815364392899405 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 9 75879 0 0 1 1 {#f,#t} 13 true 1.783275887 true 1.705146751 true 1.670765363 true 1.70166982 true 1.658593408 true 1.665128103 true 1.81416501 true 1.695279056 true 1.660488366 true 1.68692977 true 1.679595018 true 1.694774651 true 1.679293181 13 1.699623414153846 0.031655970982248455 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 10 75879 0 0 1 1 {#f,#t} 13 true 1.710675064 true 1.605802265 true 1.638621241 true 1.574873443 true 1.597963244 true 1.617645664 true 1.624629494 true 1.634265488 true 1.61005398 true 1.584160097 true 1.736350819 true 1.621950311 true 1.625006576 13 1.6293844373846154 0.031134594224852073 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 12 75879 0 0 1 1 {#f,#t} 13 true 1.697628426 true 1.573102646 true 1.559084752 true 1.565869643 true 1.584221951 true 1.763920901 true 1.551320434 true 1.545435916 true 1.562030156 true 1.528154699 true 1.61972869 true 1.602567234 true 1.541733543 13 1.5919076146923077 0.04864842957396451 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 14 75879 0 0 1 1 {#f,#t} 13 true 1.710823482 true 1.537278201 true 1.723670915 true 1.616949227 true 1.530383004 true 1.544189153 true 1.636333611 true 1.611329586 true 1.569396888 true 1.57557349 true 1.524363283 true 1.662182114 true 1.571499168 13 1.6010747786153843 0.05459080973964496 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 16 75879 0 0 1 1 {#f,#t} 13 true 1.618492172 true 1.592512872 true 1.553337209 true 1.541400205 true 1.612482648 true 1.670443511 true 1.722066435 true 1.564154952 true 1.582178792 true 1.652466593 true 1.628546477 true 1.567627877 true 1.577782759 13 1.6064225001538464 0.04091735924260358 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 18 75879 0 0 1 1 {#f,#t} 13 true 1.679710818 true 1.652753442 true 1.583644175 true 1.54686802 true 1.739472148 true 1.625841806 true 1.583120723 true 1.575240654 true 1.576747318 true 1.760167276 true 1.581477891 true 1.58748791 true 1.624671296 13 1.6244002674615385 0.051725412497041434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 20 75879 0 0 1 1 {#f,#t} 13 true 1.847929156 true 1.585562817 true 1.572811752 true 1.750891252 true 1.591278447 true 1.559488177 true 1.664244213 true 1.689766072 true 1.622012862 true 1.562981292 true 1.555786851 true 1.593288547 true 1.595325525 13 1.630105151 0.06652462907692305 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 24 75879 0 0 1 1 {#f,#t} 13 true 1.743329145 true 1.56548802 true 1.788914073 true 1.610455355 true 1.752993588 true 1.603775586 true 1.602993707 true 1.6044915 true 1.773361329 true 1.595281402 true 1.565108166 true 1.548971172 true 1.543486939 13 1.6383576909230773 0.07771805712426051 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 28 75879 0 0 1 1 {#f,#t} 13 true 1.848000773 true 1.623121917 true 1.579487392 true 1.554925986 true 1.579118941 true 1.696292574 true 1.717831586 true 1.566504542 true 1.642534703 true 1.553342508 true 1.566786218 true 1.795776842 true 1.571004602 13 1.6380560449230768 0.07848557744378694 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 32 75879 0 0 1 1 {#f,#t} 13 true 1.671248444 true 1.556067358 true 1.590271171 true 1.689652555 true 1.580016251 true 1.559944732 true 1.813345773 true 1.588639548 true 1.661026012 true 1.691587285 true 1.59689817 true 1.605225779 true 1.62396781 13 1.6329146836923079 0.05573640777514798 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 40 75879 0 0 1 1 {#f,#t} 13 true 1.850613012 true 1.553925589 true 1.548953458 true 1.567409798 true 1.556816053 true 1.546116525 true 1.660806049 true 1.653373524 true 1.58853801 true 1.532733236 true 1.564009643 true 1.541773267 true 1.543478951 13 1.5929651626923076 0.059368784142011806 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 48 75879 0 0 1 1 {#f,#t} 13 true 1.724394679 true 1.551205039 true 1.612195848 true 1.585798651 true 1.653714608 true 1.765139176 true 1.585134403 true 1.566688643 true 1.625575149 true 1.579343833 true 1.554859661 true 1.735789569 true 1.570310304 13 1.6238576586923077 0.059280751928994076 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 56 75879 0 0 1 1 {#f,#t} 13 true 1.732451242 true 1.581407865 true 1.60905895 true 1.57668458 true 1.564359171 true 1.612323125 true 1.548092907 true 1.591635082 true 1.607086023 true 1.686681413 true 1.658185004 true 1.572844948 true 1.570160029 13 1.6085361799230768 0.03938751298224852 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 64 75879 0 0 1 1 {#f,#t} 13 true 1.573000627 true 1.859990709 true 1.59024205 true 1.830594881 true 1.60342572 true 1.7976116 true 1.556563564 true 1.583616294 true 1.592385021 true 1.645212569 true 1.807413022 true 1.618545447 true 1.577417878 13 1.664309183230769 0.0982113044733727 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 2 75879 0 0 1 1 {#f,#t} 13 true 7.971724192 true 8.041628031 true 7.96109549 true 7.883296984 true 7.884496856 true 7.760086398 true 7.394152378 true 8.161459578 true 7.599532211 true 7.442439979 true 7.493566899 true 7.748372397 true 7.573742318 13 7.7627379777692305 0.20419588682840237 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 3 75879 0 0 1 1 {#f,#t} 13 true 4.630548487 true 4.377050837 true 4.448476769 true 4.425614604 true 4.459536981 true 4.659794565 true 4.524769671 true 4.467475449 true 4.620729487 true 4.456852839 true 4.375048612 true 4.483327473 true 4.510512047 13 4.495364447769231 0.07223569510059183 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 4 75879 0 0 1 1 {#f,#t} 13 true 3.753609411 true 3.536955118 true 3.411581456 true 3.36644017 true 3.472223252 true 3.384685645 true 3.374427756 true 3.342819906 true 3.314098726 true 3.604820375 true 3.278717711 true 3.360871885 true 3.493711438 13 3.4380740653076924 0.10322296422485211 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 5 75879 0 0 1 1 {#f,#t} 13 true 3.108336878 true 2.846805208 true 2.775293919 true 2.76543355 true 2.751458345 true 2.734049582 true 2.823921914 true 2.829431363 true 2.754822528 true 2.854755144 true 2.802299392 true 2.938949803 true 2.757970539 13 2.8264252434615385 0.06863879672189342 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 6 75879 0 0 1 1 {#f,#t} 13 true 2.450521314 true 2.488691811 true 2.383914169 true 2.454435301 true 2.454760975 true 2.454071656 true 2.414072312 true 2.368451316 true 2.400795529 true 2.318993049 true 2.431069753 true 2.4038201 true 2.373786664 13 2.4151833806923078 0.037300080899408346 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 7 75879 0 0 1 1 {#f,#t} 13 true 2.159184232 true 2.113394283 true 2.164318529 true 2.099181344 true 2.150028856 true 2.276059107 true 2.17067428 true 2.10049855 true 2.198185286 true 2.086469286 true 2.208295854 true 2.186956981 true 2.139547779 13 2.157907259 0.0397420701538462 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 8 75879 0 0 1 1 {#f,#t} 13 true 2.101273726 true 1.928129056 true 1.938915381 true 2.125333248 true 1.931527301 true 1.971301576 true 1.950825279 true 1.946512684 true 1.997878102 true 1.968142398 true 2.056437385 true 1.956460885 true 1.923169965 13 1.9843005373846152 0.052880047917159716 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 9 75879 0 0 1 1 {#f,#t} 13 true 1.935544011 true 1.810536239 true 1.828432235 true 1.811025658 true 1.843695822 true 1.79334783 true 1.82236321 true 1.873619239 true 1.893560781 true 1.836199272 true 1.845639584 true 1.848328099 true 1.906344341 13 1.8498951016153846 0.03222891777514794 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 10 75879 0 0 1 1 {#f,#t} 13 true 1.944816075 true 1.698200288 true 1.682181188 true 1.720969817 true 1.738536769 true 1.900098455 true 1.760793634 true 1.78621807 true 1.78876098 true 1.752875694 true 1.82884149 true 1.726074565 true 1.756713969 13 1.7757754610769232 0.05690119455621304 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 12 75879 0 0 1 1 {#f,#t} 13 true 1.818924754 true 1.638111428 true 1.678530775 true 1.658144916 true 1.661505305 true 1.711094632 true 1.769240331 true 1.635255986 true 1.680252001 true 1.642932341 true 1.672270769 true 1.827204399 true 1.6777503 13 1.697785995153846 0.05158771313609466 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 14 75879 0 0 1 1 {#f,#t} 13 true 1.773718406 true 1.623684828 true 1.608070654 true 1.712146276 true 1.60952642 true 1.632088563 true 1.775653657 true 1.647805955 true 1.666214684 true 1.646382304 true 1.653436319 true 1.64366639 true 1.631072368 13 1.663343601846154 0.04220901778698232 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 16 75879 0 0 1 1 {#f,#t} 13 true 1.912142234 true 1.64755765 true 1.617989361 true 1.628467027 true 1.623016428 true 1.650886706 true 1.637661425 true 1.661454535 true 1.751395045 true 1.673274941 true 1.634220892 true 1.646638741 true 1.619532507 13 1.6695567301538459 0.05048338915976317 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 18 75879 0 0 1 1 {#f,#t} 13 true 1.682728808 true 1.684791901 true 1.769271844 true 1.742038044 true 1.6914919 true 1.683709195 true 1.753635583 true 1.699267926 true 1.703026698 true 1.649556616 true 1.725331641 true 1.688593154 true 1.764466769 13 1.7106084676153845 0.03103100660355027 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 20 75879 0 0 1 1 {#f,#t} 13 true 1.966470723 true 1.693491526 true 1.744345747 true 1.660267196 true 1.884940396 true 1.741240091 true 1.711835921 true 1.768641109 true 1.885835754 true 1.676075529 true 1.693282346 true 1.809319823 true 1.800853969 13 1.7720461638461535 0.07495228396449696 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 24 75879 0 0 1 1 {#f,#t} 13 true 1.989330229 true 1.85005152 true 1.797359586 true 1.954635458 true 1.782363954 true 1.755917155 true 1.850003751 true 1.843208532 true 1.83974584 true 1.79158958 true 1.894457164 true 1.739040658 true 1.729611356 13 1.8321011371538463 0.06103454368047339 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 28 75879 0 0 1 1 {#f,#t} 13 true 1.955190485 true 1.879842208 true 1.903342026 true 1.918116729 true 1.80875708 true 1.872716938 true 2.013261629 true 1.928984045 true 1.85635451 true 1.845254159 true 1.956831828 true 2.047207528 true 1.861440098 13 1.9113307125384615 0.05409353365680474 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 32 75879 0 0 1 1 {#f,#t} 13 true 1.901802323 true 1.866276296 true 1.901915335 true 1.902184383 true 2.036175045 true 1.874111438 true 1.872828291 true 1.946741803 true 1.865698654 true 1.975957678 true 1.885811568 true 1.962363703 true 1.881170312 13 1.9133105253076923 0.04123017350295858 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 40 75879 0 0 1 1 {#f,#t} 13 true 2.113386542 true 1.923700268 true 1.999429383 true 1.890859178 true 1.964432706 true 1.978015064 true 1.955677511 true 2.137853398 true 2.00411423 true 2.044518315 true 2.18091041 true 1.982579735 true 1.927497001 13 2.007921057 0.06845914415384612 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 48 75879 0 0 1 1 {#f,#t} 13 true 2.15858567 true 2.063373811 true 2.199921167 true 2.095902725 true 2.056156528 true 2.031042411 true 2.226237172 true 2.088643135 true 2.018297032 true 2.025523548 true 1.960905893 true 2.020492841 true 2.085361888 13 2.079264909307692 0.05831727710059171 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 56 75879 0 0 1 1 {#f,#t} 13 true 2.116625674 true 1.98381536 true 2.095460222 true 2.069582573 true 2.085011385 true 2.149058819 true 2.106282438 true 2.199353448 true 2.097586429 true 2.064619768 true 2.209017256 true 2.016407028 true 2.200934521 13 2.107211917 0.05214309738461536 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 64 75879 0 0 1 1 {#f,#t} 13 true 2.405441459 true 2.126257522 true 2.254014632 true 2.08085964 true 2.166810227 true 2.126949566 true 2.221219849 true 2.135146761 true 2.108639113 true 2.159805708 true 2.149457844 true 2.272858208 true 2.156877315 13 2.1818721418461537 0.06554547394082838 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 1 75879 0 0 1 1 {#f,#t} 13 true 3.980329554 true 3.868863763 true 3.341721357 true 3.629384799 true 3.341962529 true 3.236429164 true 3.804393378 true 3.316504821 true 3.283690324 true 3.485459714 true 3.360594231 true 3.294562983 true 3.736169642 13 3.5138512506923076 0.2230592126982248 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 2 75879 0 0 1 1 {#f,#t} 13 true 2.190221522 true 2.172714603 true 2.369031042 true 2.150976908 true 2.208347355 true 1.978855407 true 2.00770872 true 2.209266778 true 1.965902946 true 1.953241506 true 1.840515774 true 2.000788808 true 1.954077944 13 2.077049947153846 0.12896285001183433 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 3 75879 0 0 1 1 {#f,#t} 13 true 1.621486782 true 1.486726421 true 1.845868545 true 1.735254651 true 1.461502094 true 1.763985161 true 1.512023567 true 1.501083987 true 1.470788054 true 1.659341478 true 1.600274077 true 1.656101452 true 1.658237821 13 1.6132826223076921 0.09958423597633138 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 4 75879 0 0 1 1 {#f,#t} 13 true 1.282523618 true 1.335865337 true 1.455903876 true 1.372408077 true 1.307890287 true 1.2779325 true 1.312542135 true 1.179867873 true 1.740355128 true 1.285097308 true 1.302694498 true 1.437412454 true 1.488885695 13 1.367644522 0.10103732615384617 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 5 75879 0 0 1 1 {#f,#t} 13 true 1.422926052 true 1.383631767 true 1.365359008 true 1.422257507 true 1.280764312 true 1.229756442 true 1.299872005 true 1.487860895 true 1.334229199 true 1.249860777 true 1.263487907 true 1.234000711 true 1.279960804 13 1.3272282604615384 0.06967613311242603 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 6 75879 0 0 1 1 {#f,#t} 13 true 1.472454894 true 1.282474529 true 1.275173179 true 1.326351584 true 1.211506193 true 1.133039118 true 1.184622664 true 1.302848634 true 1.113392253 true 1.131568851 true 1.249302214 true 1.410822294 true 1.252710173 13 1.2574051215384616 0.08087605919526628 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 7 75879 0 0 1 1 {#f,#t} 13 true 1.321720226 true 1.211482432 true 1.254824744 true 1.137036089 true 1.145054594 true 1.189185122 true 1.186496909 true 1.255885568 true 1.111084908 true 1.162412055 true 1.187214609 true 1.237199942 true 1.16106542 13 1.1969740475384616 0.04557579604733729 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 8 75879 0 0 1 1 {#f,#t} 13 true 1.112733125 true 1.096595464 true 1.097790058 true 1.13054535 true 1.115252816 true 1.122713311 true 1.082950124 true 1.084468409 true 1.098780076 true 1.071869245 true 1.035451248 true 1.170710139 true 1.173223609 13 1.107160228769231 0.02803338113609471 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 9 75879 0 0 1 1 {#f,#t} 13 true 1.189662033 true 1.039692326 true 1.08076216 true 1.090196335 true 0.996957934 true 1.051581929 true 1.028410931 true 1.064731659 true 1.004704999 true 1.120177048 true 1.034169331 true 1.062242098 true 1.068645123 13 1.063994915846154 0.03541613275739645 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 10 75879 0 0 1 1 {#f,#t} 13 true 1.134608271 true 1.054063739 true 1.074435916 true 0.996154709 true 0.99237216 true 1.008897121 true 0.992435401 true 1.056041279 true 1.043882909 true 1.005301951 true 0.981313984 true 1.05254362 true 1.016611618 13 1.0314355906153847 0.03491726004733729 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 12 75879 0 0 1 1 {#f,#t} 13 true 1.105302119 true 0.982425963 true 1.074218795 true 0.948295492 true 0.970196982 true 0.980572483 true 1.044413839 true 1.013913484 true 0.976354877 true 0.947763925 true 0.92917644 true 0.952784293 true 0.971565324 13 0.9920756935384616 0.041468532745562156 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 14 75879 0 0 1 1 {#f,#t} 13 true 1.099627288 true 1.005632237 true 1.00243473 true 0.93987197 true 0.941653316 true 0.954311722 true 0.964948162 true 0.945724561 true 0.974074605 true 0.934800031 true 0.967695238 true 0.952929873 true 0.972816033 13 0.9735784435384615 0.028839243976331325 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 16 75879 0 0 1 1 {#f,#t} 13 true 1.082523579 true 0.957545274 true 0.969773524 true 0.953283533 true 1.082110873 true 0.984484863 true 0.973423336 true 0.940083049 true 1.00308096 true 0.965403839 true 0.95579552 true 0.998886161 true 0.950339738 13 0.9859026345384616 0.034306313053254454 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 18 75879 0 0 1 1 {#f,#t} 13 true 1.204124485 true 0.996643912 true 1.14868437 true 1.017560202 true 1.039700063 true 1.009734509 true 0.993925705 true 0.985532081 true 0.993790872 true 0.982378073 true 1.003050306 true 1.060733172 true 1.007698013 13 1.0341196740769232 0.04873282979881658 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 20 75879 0 0 1 1 {#f,#t} 13 true 1.056539039 true 1.0373179 true 1.080368791 true 1.042771397 true 1.08843323 true 1.019125294 true 1.01216234 true 1.026307177 true 1.207835019 true 1.09404405 true 1.063919389 true 1.035523554 true 1.167391757 13 1.071672225923077 0.043032571905325466 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 24 75879 0 0 1 1 {#f,#t} 13 true 1.327976584 true 1.163175932 true 1.188216003 true 1.284450007 true 1.177154061 true 1.238117987 true 1.215185291 true 1.30836954 true 1.257173002 true 1.17589644 true 1.196691969 true 1.169938865 true 1.148280744 13 1.219278955769231 0.04918343710059177 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 28 75879 0 0 1 1 {#f,#t} 13 true 1.404679344 true 1.3327697 true 1.265831331 true 1.264981552 true 1.231617839 true 1.262069172 true 1.444742288 true 1.276262955 true 1.300355704 true 1.239780324 true 1.287855882 true 1.213425143 true 1.303158896 13 1.2944253946153845 0.04824291675739644 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 32 75879 0 0 1 1 {#f,#t} 13 true 1.579096138 true 1.373852157 true 1.347547572 true 1.333968661 true 1.31567033 true 1.601903868 true 1.330792561 true 1.295766797 true 1.332077651 true 1.421960732 true 1.550050913 true 1.325190904 true 1.353928986 13 1.3970620976923078 0.08688665542011836 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 40 75879 0 0 1 1 {#f,#t} 13 true 1.599864143 true 1.459131128 true 1.53561298 true 1.406474871 true 1.540926746 true 1.497473234 true 1.475521868 true 1.558415165 true 1.490731048 true 1.605269339 true 1.489650398 true 1.527325387 true 1.468305723 13 1.5119001561538463 0.04554043431952663 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 48 75879 0 0 1 1 {#f,#t} 13 true 1.842997594 true 1.573472254 true 1.601428731 true 1.55615364 true 1.617915813 true 1.520561226 true 1.596302038 true 1.645634356 true 1.606322402 true 1.58724559 true 1.620382738 true 1.565570152 true 1.605575652 13 1.6107355527692304 0.04369050614201171 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 56 75879 0 0 1 1 {#f,#t} 13 true 1.912150984 true 1.525722106 true 1.616328547 true 1.563222271 true 1.616800145 true 1.517088177 true 1.616881831 true 1.661674392 true 1.497926902 true 1.553643809 true 1.546474787 true 1.507218437 true 1.561808014 13 1.5920723386153846 0.07130372398816567 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 64 75879 0 0 1 1 {#f,#t} 13 true 1.704797056 true 1.693081761 true 1.623268502 true 1.477850361 true 1.592755435 true 1.598920828 true 1.754186975 true 1.641192127 true 1.495233914 true 1.883277784 true 1.730086696 true 1.492316347 true 1.435166984 13 1.6247795976923076 0.1012222788994083 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 1 75879 0 0 1 1 {#f,#t} 13 true 4.712634312 true 3.756580925 true 3.676267313 true 3.735095374 true 3.584636804 true 3.516364308 true 3.815105938 true 3.37578895 true 3.471367736 true 3.28367817 true 3.242072242 true 3.500932869 true 3.322179763 13 3.614823438769231 0.24947179510059178 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 2 75879 0 0 1 1 {#f,#t} 13 true 1.911700568 true 1.874461095 true 1.955735371 true 2.026443785 true 1.960756507 true 2.006687629 true 1.934768452 true 1.910652877 true 2.252594742 true 1.936715305 true 1.944609774 true 1.915746797 true 2.03775545 13 1.974509873230769 0.06545263278106504 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 3 75879 0 0 1 1 {#f,#t} 13 true 1.608637552 true 1.600870033 true 1.431797723 true 1.460643652 true 1.501627165 true 1.370425551 true 1.385322949 true 1.539195831 true 1.551616016 true 1.413585472 true 1.392182435 true 1.489228014 true 1.442706047 13 1.4759875723076923 0.06696141186982249 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 4 75879 0 0 1 1 {#f,#t} 13 true 1.273830725 true 1.534025009 true 1.322847105 true 1.217323477 true 1.395902375 true 1.199580289 true 1.339317806 true 1.280452024 true 1.364380694 true 1.427341742 true 1.305211661 true 1.288908926 true 1.284593272 13 1.3256703926923075 0.06655625577514789 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 5 75879 0 0 1 1 {#f,#t} 13 true 1.324681017 true 1.175924517 true 1.145237181 true 1.109260948 true 1.158766953 true 1.199971117 true 1.169601533 true 1.10515707 true 1.368386811 true 1.300104902 true 1.166220662 true 1.42830777 true 1.114583098 13 1.2127848906923078 0.08774475957396453 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 6 75879 0 0 1 1 {#f,#t} 13 true 1.203294862 true 1.164765313 true 1.168269823 true 1.125626445 true 1.21471792 true 1.159033128 true 1.17841646 true 1.148832118 true 1.055939696 true 1.186103005 true 1.213986551 true 1.164327819 true 1.205268971 13 1.168352470076923 0.029488145928994094 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 7 75879 0 0 1 1 {#f,#t} 13 true 1.269522743 true 1.077275797 true 1.147235295 true 1.09770683 true 1.171646798 true 1.102230678 true 1.173119046 true 1.233292283 true 1.141397941 true 1.173409625 true 1.19819426 true 1.180370181 true 1.045549085 13 1.1546885047692306 0.04872852347928997 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 8 75879 0 0 1 1 {#f,#t} 13 true 1.10450822 true 1.083512861 true 1.07654004 true 1.11936694 true 1.08355025 true 1.117552949 true 1.07832733 true 1.00047738 true 1.050297104 true 1.106270002 true 1.078466659 true 1.15274485 true 1.081650507 13 1.0871742378461537 0.02531873411834316 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 9 75879 0 0 1 1 {#f,#t} 13 true 1.217832416 true 1.035666954 true 1.090050659 true 1.067335013 true 1.025285263 true 1.026393219 true 1.034577474 true 1.035527756 true 1.046294689 true 1.028222263 true 1.141458934 true 1.003951751 true 1.024320477 13 1.059762836 0.04271164276923078 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 10 75879 0 0 1 1 {#f,#t} 13 true 1.11962356 true 1.006718201 true 0.972319493 true 1.079349939 true 1.041926679 true 0.966277878 true 0.968195644 true 0.979504194 true 1.004444239 true 1.050299783 true 1.040924714 true 0.982368614 true 0.999478227 13 1.0162639357692305 0.03858538402366858 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 12 75879 0 0 1 1 {#f,#t} 13 true 1.098189668 true 0.977466598 true 1.018690099 true 0.934123943 true 0.935924206 true 0.933735203 true 0.946010694 true 0.951182807 true 0.971789335 true 0.961763089 true 1.038209691 true 0.987973117 true 0.968936091 13 0.9787688108461539 0.03507497409467457 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 14 75879 0 0 1 1 {#f,#t} 13 true 1.147288403 true 0.923633636 true 0.937830481 true 0.929107858 true 0.939072396 true 0.931117951 true 0.950783998 true 0.941811703 true 0.927327439 true 0.938959694 true 1.000424821 true 1.024469521 true 0.964600691 13 0.9658791224615384 0.04223775040236682 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 16 75879 0 0 1 1 {#f,#t} 13 true 1.078160052 true 0.974587913 true 1.040466622 true 0.985555482 true 0.956575495 true 0.969962748 true 0.943479536 true 0.936598193 true 1.031662884 true 0.95698474 true 1.008153475 true 0.939864954 true 0.935338684 13 0.9813377521538461 0.03650919295857987 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 18 75879 0 0 1 1 {#f,#t} 13 true 1.148628744 true 0.947670598 true 0.980931233 true 0.977868059 true 0.983134398 true 0.998994588 true 0.975078483 true 0.979965183 true 0.96636313 true 0.977781809 true 0.980700123 true 0.961403906 true 0.978341094 13 0.9889893344615382 0.0260991789349111 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 20 75879 0 0 1 1 {#f,#t} 13 true 1.309711066 true 1.01915372 true 1.035640066 true 1.009929487 true 1.039753033 true 1.15487926 true 1.025387321 true 1.006473806 true 1.018133232 true 1.146542953 true 1.003772923 true 1.021698649 true 1.024542914 13 1.0627398792307692 0.06506363712426032 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 24 75879 0 0 1 1 {#f,#t} 13 true 1.274223746 true 1.224342047 true 1.081864229 true 1.096012679 true 1.072002241 true 1.143637733 true 1.181394957 true 1.118852238 true 1.06929892 true 1.09220966 true 1.115368765 true 1.163600032 true 1.175249285 13 1.1390812716923076 0.05045541074556211 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 28 75879 0 0 1 1 {#f,#t} 13 true 1.369589955 true 1.21740509 true 1.202299136 true 1.169586084 true 1.247135726 true 1.289284971 true 1.217783273 true 1.227168812 true 1.1607254 true 1.2335327 true 1.197689084 true 1.205173884 true 1.221536695 13 1.2276085238461538 0.0352475779408284 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 32 75879 0 0 1 1 {#f,#t} 13 true 1.390618899 true 1.24062646 true 1.355412147 true 1.276844827 true 1.297855054 true 1.388784222 true 1.408831037 true 1.252530294 true 1.329391593 true 1.306915627 true 1.196787587 true 1.374036258 true 1.33689763 13 1.3196562796153846 0.05328889672189348 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 40 75879 0 0 1 1 {#f,#t} 13 true 1.512758496 true 1.352317245 true 1.384124035 true 1.400573405 true 1.489300176 true 1.406299739 true 1.399766963 true 1.351248212 true 1.43031121 true 1.404350739 true 1.361418574 true 1.338564721 true 1.563567079 13 1.4149692764615383 0.05170151617751469 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 48 75879 0 0 1 1 {#f,#t} 13 true 1.592404867 true 1.466043552 true 1.483793477 true 1.468704162 true 1.417447081 true 1.540925112 true 1.417498188 true 1.455521091 true 1.430182645 true 1.433911297 true 1.617236799 true 1.428649162 true 1.440269636 13 1.4763528514615383 0.05060751525443782 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 56 75879 0 0 1 1 {#f,#t} 13 true 1.643145912 true 1.654859854 true 1.533999984 true 1.525316375 true 1.654291973 true 1.317240467 true 1.406657137 true 1.531544573 true 1.474085282 true 1.550424031 true 1.575050488 true 1.529906087 true 1.596958692 13 1.537960065769231 0.06876470082840237 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 64 75879 0 0 1 1 {#f,#t} 13 true 1.720237508 true 1.426983177 true 1.464123969 true 1.478473618 true 1.351138675 true 1.552716473 true 1.411438401 true 1.494988628 true 1.524667594 true 1.706560117 true 1.340660502 true 1.479856736 true 1.451797041 13 1.4925878799230767 0.08249706467455617 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 1 75879 0 0 1 1 {#f,#t} 13 true 3.820586202 true 3.790351993 true 3.496165422 true 3.579147703 true 3.170330231 true 3.365822886 true 3.203180882 true 3.242636208 true 3.368645119 true 3.334342964 true 3.648487094 true 3.6320832 true 3.484317238 13 3.4720074724615384 0.17647485304142008 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 2 75879 0 0 1 1 {#f,#t} 13 true 2.04409386 true 2.495346046 true 2.340608712 true 2.269980971 true 2.203842065 true 2.131905713 true 2.242795402 true 2.407456164 true 2.049155324 true 2.102061639 true 2.510667764 true 2.160119303 true 2.06526751 13 2.232561574846154 0.13407470921893488 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 3 75879 0 0 1 1 {#f,#t} 13 true 2.6769496 true 2.365534514 true 2.18698842 true 2.437264903 true 2.227671557 true 2.285046062 true 2.447041583 true 2.505268236 true 2.394297318 true 2.598037138 true 2.422872185 true 2.29789422 true 2.465469723 13 2.408487343 0.10669107184615384 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 4 75879 0 0 1 1 {#f,#t} 13 true 2.22714774 true 2.070271766 true 1.996812932 true 2.015053114 true 2.023312428 true 2.03169995 true 2.052247921 true 2.081230076 true 2.016230464 true 2.019639075 true 1.981224408 true 2.024601183 true 1.990405403 13 2.040759727692308 0.041209014189349254 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 5 75879 0 0 1 1 {#f,#t} 13 true 1.747108593 true 1.728976787 true 1.862943345 true 1.685566914 true 1.734038732 true 1.706626033 true 1.736285496 true 1.773306513 true 1.685595265 true 1.818436362 true 1.709780329 true 1.669937776 true 1.6713438 13 1.7330727649999997 0.04210499246153844 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 6 75879 0 0 1 1 {#f,#t} 13 true 1.546082728 true 1.480359019 true 1.477973055 true 1.498786591 true 1.543629235 true 1.491075696 true 1.465613392 true 1.583408417 true 1.507911375 true 1.489528836 true 1.552399445 true 1.528962637 true 1.489031779 13 1.511904785 0.029993621076923074 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 7 75879 0 0 1 1 {#f,#t} 13 true 1.412737128 true 1.379632663 true 1.340463894 true 1.345010965 true 1.344226809 true 1.380940881 true 1.345509343 true 1.346269439 true 1.351893545 true 1.470379398 true 1.336289948 true 1.335748403 true 1.407723934 13 1.3689866423076924 0.03176627576331363 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 8 75879 0 0 1 1 {#f,#t} 13 true 1.240190952 true 1.26079844 true 1.244088688 true 1.212645396 true 1.220210588 true 1.237898353 true 1.297304563 true 1.211559176 true 1.244026856 true 1.242150411 true 1.251735285 true 1.237448228 true 1.199841266 13 1.238453707846154 0.017095267704141996 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 9 75879 0 0 1 1 {#f,#t} 13 true 1.188097894 true 1.183762796 true 1.185777618 true 1.161598983 true 1.15505312 true 1.139473599 true 1.143210305 true 1.175279144 true 1.132354547 true 1.156714462 true 1.151899536 true 1.133470485 true 1.217215626 13 1.1633775473076924 0.02049928330177516 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 10 75879 0 0 1 1 {#f,#t} 13 true 1.135293715 true 1.091805424 true 1.078158803 true 1.091011651 true 1.087938472 true 1.17423704 true 1.09463745 true 1.094433138 true 1.078942243 true 1.090534994 true 1.093685604 true 1.150496984 true 1.146881167 13 1.1083120526923078 0.02671703003550299 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 12 75879 0 0 1 1 {#f,#t} 13 true 1.027632815 true 1.003161594 true 0.992809237 true 1.00182763 true 1.032265647 true 1.067370769 true 1.004035166 true 1.000256066 true 0.992165839 true 0.99250231 true 1.002737792 true 0.953969698 true 1.100902457 13 1.0132028476923076 0.026978507266272163 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 14 75879 0 0 1 1 {#f,#t} 13 true 0.975879443 true 0.957706783 true 0.953362837 true 0.953718579 true 1.034592484 true 0.940064134 true 0.965526653 true 0.954841608 true 0.945684056 true 0.947991458 true 1.070222824 true 0.935811229 true 0.941712574 13 0.9674703586153848 0.02742825771597642 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 16 75879 0 0 1 1 {#f,#t} 13 true 0.936819244 true 0.932001807 true 0.902409308 true 0.936518554 true 0.898889505 true 0.924521983 true 0.958825381 true 0.920995363 true 0.924511957 true 0.913389184 true 0.932180056 true 0.916636833 true 0.912243564 13 0.9238417491538462 0.012074882757396458 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 18 75879 0 0 1 1 {#f,#t} 13 true 0.929175983 true 0.921177547 true 0.916798716 true 0.936538242 true 1.012225198 true 0.898098168 true 0.903255333 true 0.894331486 true 0.903057485 true 0.896427272 true 0.902983993 true 0.901849564 true 0.912367226 13 0.917560477923077 0.019826932047337327 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 20 75879 0 0 1 1 {#f,#t} 13 true 0.945263091 true 1.014477866 true 0.899316331 true 0.89937484 true 0.905314146 true 0.907374986 true 0.908537348 true 0.907394829 true 0.912627295 true 1.019170186 true 0.923818111 true 0.916244726 true 0.94742982 13 0.9312571980769231 0.030971103183431967 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 24 75879 0 0 1 1 {#f,#t} 13 true 1.040417567 true 0.962067675 true 0.948990068 true 0.935680793 true 0.963327744 true 1.02516977 true 0.955938208 true 0.964296772 true 0.980423786 true 1.046837625 true 0.944821859 true 0.949327361 true 0.970253209 13 0.9759655720769231 0.02907483995266275 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 28 75879 0 0 1 1 {#f,#t} 13 true 1.016318597 true 1.016445237 true 1.073514272 true 1.020375189 true 1.043099951 true 0.970571936 true 1.126582899 true 1.074326671 true 1.022888374 true 1.016379541 true 0.975612307 true 1.151950984 true 1.009450824 13 1.0398089832307695 0.04160459397633143 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 32 75879 0 0 1 1 {#f,#t} 13 true 1.099548485 true 1.102720986 true 1.070376191 true 1.062375825 true 1.151201707 true 1.057679097 true 1.081760884 true 1.092572714 true 1.071815825 true 1.057351096 true 1.067691637 true 1.049176292 true 1.03649236 13 1.0769817768461538 0.021983983349112377 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 40 75879 0 0 1 1 {#f,#t} 13 true 1.317812625 true 1.148246843 true 1.154515306 true 1.174847638 true 1.163698953 true 1.282017464 true 1.129681494 true 1.149845887 true 1.152030288 true 1.178163227 true 1.235720569 true 1.191542475 true 1.083462472 13 1.1816604031538462 0.04622331082840244 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 48 75879 0 0 1 1 {#f,#t} 13 true 1.211731742 true 1.193210404 true 1.330882641 true 1.187679121 true 1.21253542 true 1.189621843 true 1.19788871 true 1.215691156 true 1.272728316 true 1.204026622 true 1.199246168 true 1.188749808 true 1.362779045 13 1.2282131535384617 0.04334623713609476 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 56 75879 0 0 1 1 {#f,#t} 13 true 1.238550088 true 1.209680323 true 1.170402629 true 1.235042649 true 1.285650843 true 1.212022972 true 1.152433138 true 1.262319902 true 1.206358459 true 1.30786269 true 1.247237739 true 1.177402723 true 1.183316447 13 1.2221754309230768 0.03747866545562131 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 64 75879 0 0 1 1 {#f,#t} 13 true 1.228349715 true 1.184548046 true 1.265012792 true 1.270560902 true 1.217726167 true 1.198379218 true 1.205333733 true 1.367040724 true 1.259659762 true 1.201083039 true 1.141226956 true 1.35419126 true 1.226102856 13 1.2399396284615385 0.0487334304142012 true