TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 4.097105033 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 3.016694588 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.16583101 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.650078146 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.730107506 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.349692091 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.666256833 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.637907562 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.384384547 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.385995854 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 1.385175161 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.375892331 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-32.scm false SeqAAMLS 1 457324 0 0 1 1 {#f,#t} 13 true 25.925216624 true 24.128286219 true 23.01955586 true 22.710227731 true 22.779475506 true 24.56001558 true 23.514031639 true 23.939166958 true 24.154370698 true 24.385416873 true 23.314426957 true 23.678187689 true 23.896532965 13 23.846531638384615 0.6251206843550299 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 2 457324 0 0 1 1 {#f,#t} 13 true 52.223442157 true 52.089765479 true 52.186894721 true 51.761308208 true 51.409284624 true 51.717743479 true 51.615794344 true 50.8678619 true 50.496824074 true 52.203959639 true 51.98120278 true 51.660686989 true 51.566631351 13 51.67549228807692 0.3747492994556214 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 3 457324 0 0 1 1 {#f,#t} 13 true 52.87764279 true 52.278702081 true 52.622588931 true 52.028629628 true 52.736636923 true 52.476681977 true 51.357041078 true 52.13814524 true 52.480223956 true 52.300175631 true 51.912770662 true 52.51427532 true 52.170952863 13 52.29957439076923 0.29403150655621435 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 4 457324 0 0 1 1 {#f,#t} 13 true 52.324473451 true 52.019723936 true 52.436564176 true 52.231919308 true 52.588456364 true 52.242973934 true 51.6541243 true 51.932416545 true 52.129882444 true 52.1271996 true 52.669011779 true 52.763635986 true 52.468496261 13 52.27606754492309 0.2452665765325451 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 5 457324 0 0 1 1 {#f,#t} 13 true 52.9580483 true 52.676717941 true 51.922908072 true 52.029090641 true 52.350813617 true 52.038211238 true 52.96479005 true 52.665332032 true 52.721131059 true 52.169292707 true 52.360757149 true 52.429013694 true 52.26492495 13 52.427002419230774 0.2850797785562132 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 6 457324 0 0 1 1 {#f,#t} 13 true 52.387757806 true 52.395835694 true 51.981414893 true 53.141723487 true 52.488437802 true 51.746296112 true 51.252190812 true 51.969929006 true 51.597737774 true 52.258121205 true 51.91862288 true 52.124142158 true 51.6434399 13 52.06966534838462 0.36585016333727793 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 7 457324 0 0 1 1 {#f,#t} 13 true 52.862594222 true 52.249816995 true 52.72192094 true 52.493135207 true 52.237145311 true 52.38694349 true 52.026622089 true 52.928276738 true 52.357401261 true 53.148014662 true 52.553283609 true 51.321491542 true 52.279970111 13 52.42820124438462 0.3289258325680475 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 8 457324 0 0 1 1 {#f,#t} 13 true 52.281251581 true 52.612308835 true 52.72758145 true 51.610029319 true 52.500469327 true 52.567126442 true 52.242684677 true 52.91300277 true 52.500879556 true 52.415041637 true 52.207845769 true 52.679533802 true 52.281055997 13 52.426062397076926 0.23361006191715952 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 9 457324 0 0 1 1 {#f,#t} 13 true 52.460181336 true 52.50012206 true 52.140259106 true 51.725050978 true 52.371960627 true 52.503632148 true 52.560270723 true 52.592393624 true 51.944088205 true 52.43296686 true 52.425755416 true 51.495181955 true 52.016373935 13 52.243710536384626 0.2919382312189334 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 10 457324 0 0 1 1 {#f,#t} 13 true 52.427952909 true 52.288938281 true 52.207365529 true 52.847252401 true 52.860262735 true 52.827491436 true 53.110881061 true 52.852313233 true 52.230103178 true 52.600278589 true 53.050943388 true 52.36068838 true 52.006493325 13 52.59007418807691 0.31060054253254504 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 12 457324 0 0 1 1 {#f,#t} 13 true 52.752037893 true 53.015367825 true 52.600209563 true 52.635702445 true 52.222756789 true 51.662931007 true 53.255475196 true 52.666294547 true 52.940543165 true 51.909568009 true 52.775135787 true 52.478195375 true 52.895239108 13 52.60072743915384 0.32768868504142123 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 14 457324 0 0 1 1 {#f,#t} 13 true 52.853383577 true 52.745052207 true 52.978697747 true 52.835332942 true 53.089324755 true 52.525422261 true 52.373432322 true 52.674385264 true 53.014854859 true 52.756875668 true 53.389251596 true 53.67491034 true 53.099359009 13 52.92386788823077 0.2620293810177505 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 16 457324 0 0 1 1 {#f,#t} 13 true 53.80858628 true 52.433573546 true 52.913962745 true 53.280598254 true 52.821833768 true 52.548363186 true 52.993868803 true 51.996034294 true 52.750924066 true 52.11384506 true 52.419227104 true 52.343592972 true 52.266505986 13 52.66853200492307 0.3936279825325434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 18 457324 0 0 1 1 {#f,#t} 13 true 52.946086734 true 52.923130261 true 52.411236038 true 52.087128227 true 52.278854061 true 53.090907305 true 52.972865509 true 52.986258175 true 52.867716144 true 53.152442319 true 53.012450299 true 52.866584488 true 53.02764852 13 52.81717754461538 0.25758681659171745 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 20 457324 0 0 1 1 {#f,#t} 13 true 53.515834929 true 52.667293103 true 52.961145514 true 53.373731683 true 53.047956603 true 53.122034844 true 53.142764619 true 53.668186672 true 52.379451172 true 51.9023183 true 52.64989032 true 52.604803295 true 52.715870407 13 52.90394472776923 0.3852371953254442 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 24 457324 0 0 1 1 {#f,#t} 13 true 53.095851744 true 52.302868104 true 52.65985458 true 52.786080707 true 53.457878935 true 53.524987464 true 53.093535628 true 52.660468271 true 52.577145603 true 52.324659821 true 53.470886013 true 52.939134992 true 53.577764972 13 52.95931667953846 0.3792314890414194 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 28 457324 0 0 1 1 {#f,#t} 13 true 51.983390735 true 52.942435625 true 52.962419063 true 52.429817521 true 52.20147563 true 52.886827437 true 53.239143478 true 53.191989557 true 53.129224569 true 52.676181371 true 53.443214922 true 53.369914099 true 52.882010845 13 52.87215729630769 0.3381175274201202 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 32 457324 0 0 1 1 {#f,#t} 13 true 53.439741959 true 52.679480094 true 53.106999694 true 52.578584561 true 53.186943676 true 53.514086682 true 52.569035365 true 52.768342775 true 53.127316935 true 53.093496767 true 52.81228417 true 53.554368481 true 52.375547036 13 52.98509447653847 0.3272758243431949 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 40 457324 0 0 1 1 {#f,#t} 13 true 52.426419255 true 53.133048812 true 52.239330636 true 52.539612971 true 53.161647823 true 52.283866777 true 53.458448823 true 52.801308731 true 52.779851366 true 52.994412025 true 52.04071632 true 52.946482697 true 53.576262531 13 52.79856990515385 0.3817880162958579 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 48 457324 0 0 1 1 {#f,#t} 13 true 53.869026872 true 52.457466043 true 52.602741256 true 52.602972709 true 53.056009882 true 52.553150397 true 53.147603016 true 53.746211555 true 53.380777174 true 52.903456375 true 53.63382317 true 53.127722392 true 53.380835479 13 53.112445870769236 0.3844428557869823 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 56 457324 0 0 1 1 {#f,#t} 13 true 53.362775536 true 52.994408999 true 52.731093257 true 52.735400047 true 53.63048303 true 53.399439521 true 53.39756902 true 53.017973872 true 53.168172892 true 52.329185142 true 53.422657924 true 52.369940624 true 52.77982577 13 53.026071202615384 0.34225703189349094 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-state 64 457324 0 0 1 1 {#f,#t} 13 true 52.603984776 true 53.426191955 true 52.650131288 true 52.865749859 true 52.533004999 true 52.656488217 true 51.707012869 true 53.496151632 true 52.296137595 true 52.775650181 true 52.531821279 true 53.278959436 true 52.081943997 13 52.68486369869232 0.37205916454438126 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 2 457324 0 0 1 1 {#f,#t} 13 true 52.430664464 true 51.572743111 true 51.658115006 true 51.022856659 true 51.209281206 true 51.16843375 true 51.086666506 true 50.990975436 true 50.778991278 true 50.123402957 true 50.871110152 true 51.410227631 true 50.752378015 13 51.15968047469231 0.38328958766863946 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 3 457324 0 0 1 1 {#f,#t} 13 true 53.251217252 true 52.548942687 true 52.805018061 true 51.673764599 true 51.783852294 true 51.699046033 true 52.553808088 true 51.506710302 true 51.533065285 true 51.922036031 true 52.724879752 true 52.111135638 true 51.173779457 13 52.09901965223076 0.5232128560946728 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 4 457324 0 0 1 1 {#f,#t} 13 true 52.21779646 true 52.367726512 true 51.92303823 true 52.250937689 true 52.411056139 true 51.420243466 true 51.620903335 true 51.830367886 true 51.470339107 true 51.936478073 true 52.569552446 true 51.59496937 true 51.548701937 13 51.93554697307692 0.3292716123905323 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 5 457324 0 0 1 1 {#f,#t} 13 true 52.53117556 true 52.091308655 true 51.196912509 true 51.346439 true 51.78477134 true 50.56352617 true 51.540023552 true 52.134227951 true 51.538375879 true 50.935467567 true 52.244789612 true 51.689376883 true 52.280779913 13 51.68285958392308 0.4579096656213011 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 6 457324 0 0 1 1 {#f,#t} 13 true 52.642246073 true 51.357718349 true 52.125703119 true 51.663780914 true 51.778733247 true 51.113881983 true 52.685904164 true 51.892654256 true 51.284155453 true 52.059249154 true 52.263225325 true 51.762836541 true 52.348573815 13 51.92143556869231 0.39942895966864 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 7 457324 0 0 1 1 {#f,#t} 13 true 52.937819534 true 51.591635142 true 52.174926178 true 51.767549153 true 52.030232321 true 51.737618209 true 51.970957391 true 52.024575023 true 52.070745589 true 51.290436482 true 51.572467981 true 51.61965983 true 51.24697839 13 51.848892401769234 0.32552332698224806 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 8 457324 0 0 1 1 {#f,#t} 13 true 52.644170781 true 51.379392529 true 51.353873416 true 51.783545321 true 52.530114753 true 52.473247502 true 52.127112648 true 52.43585975 true 51.1996494 true 52.065619588 true 52.161416502 true 52.654357005 true 51.288967165 13 52.007486643076916 0.4664623668284039 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 9 457324 0 0 1 1 {#f,#t} 13 true 53.174930824 true 51.183194024 true 51.989642208 true 51.750638193 true 51.808261496 true 51.811900448 true 52.277930647 true 51.20216475 true 51.210456427 true 52.352988098 true 52.462843106 true 52.412212152 true 52.604218667 13 52.0185677723077 0.4882641323313609 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 10 457324 0 0 1 1 {#f,#t} 13 true 53.337429452 true 50.961515812 true 52.505719832 true 51.989736594 true 51.349757512 true 51.38367171 true 51.556905224 true 51.747915539 true 51.85837426 true 51.17986469 true 52.173975287 true 52.327569255 true 50.668922328 13 51.772412114999995 0.5474356907692302 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 12 457324 0 0 1 1 {#f,#t} 13 true 52.513747508 true 51.7312407 true 51.370645536 true 50.836212649 true 52.352712071 true 52.108323038 true 51.56790719 true 52.488472975 true 51.163346838 true 50.849822811 true 51.048202569 true 51.842237694 true 51.969309313 13 51.680167760923055 0.4992106111597651 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 14 457324 0 0 1 1 {#f,#t} 13 true 51.774970441 true 51.661932348 true 52.141510105 true 51.731978196 true 51.999650914 true 52.125868069 true 51.018768339 true 51.404114855 true 51.5844293 true 52.493260426 true 51.106480482 true 52.512351418 true 51.766800771 13 51.794008897230775 0.35424560705325586 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 16 457324 0 0 1 1 {#f,#t} 13 true 52.94343383 true 50.645805288 true 51.27104784 true 51.212919977 true 51.562577271 true 52.960769318 true 50.968098179 true 51.27762463 true 51.634868924 true 52.607808514 true 52.228548668 true 51.797870969 true 51.878944904 13 51.768486024 0.5856092398461532 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 18 457324 0 0 1 1 {#f,#t} 13 true 51.418260916 true 51.907364455 true 51.574814336 true 51.879365788 true 52.03362889 true 52.301026978 true 51.962223665 true 52.385836008 true 52.195949975 true 51.359654507 true 51.849656498 true 51.575216418 true 51.415161614 13 51.83524308061539 0.28201655570414086 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 20 457324 0 0 1 1 {#f,#t} 13 true 51.315432269 true 51.704043806 true 52.175057576 true 51.291032775 true 51.437825472 true 51.578545093 true 52.479974317 true 51.886466998 true 51.864548798 true 51.900352148 true 52.247041185 true 52.278800004 true 51.784505858 13 51.84181740761538 0.2983875650295863 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 24 457324 0 0 1 1 {#f,#t} 13 true 52.429898529 true 52.627526146 true 52.407719951 true 52.504961081 true 51.851452369 true 51.219381461 true 51.4134833 true 51.824938276 true 51.690808425 true 51.36779962 true 51.946667127 true 51.702226244 true 51.667902049 13 51.89652035215384 0.3744878574201171 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 28 457324 0 0 1 1 {#f,#t} 13 true 51.773194868 true 51.892401835 true 51.959856876 true 51.969758696 true 51.712592148 true 51.837515912 true 52.291422177 true 51.5255511 true 52.123275752 true 51.984739064 true 51.784375719 true 51.479296183 true 51.535321568 13 51.836100146 0.185579890769231 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 32 457324 0 0 1 1 {#f,#t} 13 true 52.51144738 true 51.184684995 true 52.422485069 true 52.327298678 true 51.774730377 true 52.17352794 true 51.632136735 true 52.93530248 true 51.885481382 true 51.702651545 true 51.407487489 true 51.886150736 true 51.95236143 13 51.984288172 0.3767108749230761 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 40 457324 0 0 1 1 {#f,#t} 13 true 52.555026987 true 52.113329715 true 51.478242084 true 52.573980977 true 52.695619865 true 51.316248391 true 51.363528278 true 53.109228419 true 51.837312719 true 52.204697029 true 52.458774647 true 52.52511983 true 51.92923512 13 52.16618031238462 0.45525931804733616 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 48 457324 0 0 1 1 {#f,#t} 13 true 53.077850871 true 52.270497997 true 52.589346086 true 52.181807942 true 52.00314657 true 51.964111991 true 51.665168258 true 51.545329788 true 50.962454924 true 52.755296783 true 52.095438197 true 51.914765304 true 51.564562678 13 52.04536749146153 0.4150819888047333 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 56 457324 0 0 1 1 {#f,#t} 13 true 52.279704221 true 51.778499803 true 52.858785254 true 51.698302306 true 51.674082649 true 52.437544981 true 51.763093628 true 52.756688657 true 52.154796634 true 52.22059624 true 52.310872683 true 52.454315293 true 51.745319725 13 52.16404631338462 0.3338743285088751 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-set 64 457324 0 0 1 1 {#f,#t} 13 true 52.556569911 true 52.325148236 true 51.931104956 true 52.402987028 true 52.56976072 true 52.320633325 true 51.228582939 true 52.583776176 true 51.759158598 true 51.83456733 true 51.743359633 true 52.195618951 true 52.23087376 13 52.12939550484615 0.3308006258816576 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 2 457324 0 0 1 1 {#f,#t} 13 true 54.09627056 true 52.030583106 true 51.417991881 true 52.876661057 true 53.516791595 true 52.991031434 true 53.094265437 true 53.555042886 true 53.550586724 true 52.954566615 true 51.588782627 true 53.13160177 true 52.678139633 13 52.883255025 0.5883256647692314 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 3 457324 0 0 1 1 {#f,#t} 13 true 32.289517686 true 32.487468628 true 32.08186385 true 31.906939943 true 32.592269008 true 33.33003806 true 32.216344616 true 32.337630485 true 31.976661854 true 32.514265597 true 32.254700483 true 31.677303901 true 32.459464398 13 32.317266808384616 0.27962081933727817 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 4 457324 0 0 1 1 {#f,#t} 13 true 25.379654576 true 24.342041948 true 24.978981811 true 23.722619389 true 24.645912774 true 25.306898223 true 25.339645835 true 24.987691267 true 24.545010234 true 25.440262354 true 25.807504006 true 24.849830027 true 25.493256363 13 24.987639138999995 0.4371444078461545 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 5 457324 0 0 1 1 {#f,#t} 13 true 22.631502875 true 22.436466006 true 21.883974995 true 21.812664211 true 21.842252212 true 22.527968553 true 22.011814552 true 21.911773219 true 21.983741566 true 20.888292319 true 21.899015355 true 21.406185808 true 22.51702023 13 21.980974761615382 0.3419484942011832 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 6 457324 0 0 1 1 {#f,#t} 13 true 20.252684479 true 20.301091831 true 20.743007649 true 20.300683396 true 20.272750567 true 19.812818793 true 20.252636477 true 20.17789211 true 20.1489419 true 20.040690589 true 19.980099106 true 19.767413065 true 20.64838626 13 20.207622786307695 0.2027509468994077 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 7 457324 0 0 1 1 {#f,#t} 13 true 20.059061295 true 19.567695726 true 19.514329049 true 19.171653536 true 19.635600314 true 19.764132539 true 19.137428437 true 19.17918462 true 19.656097068 true 19.227094751 true 18.762820804 true 18.952264059 true 19.185461198 13 19.37021718430769 0.30394044386982233 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 8 457324 0 0 1 1 {#f,#t} 13 true 19.776058243 true 19.973212001 true 19.453928178 true 19.721405626 true 19.140513478 true 19.843705118 true 19.399517813 true 19.46199356 true 19.417076181 true 19.177731854 true 18.819760958 true 19.959808423 true 19.362666968 13 19.50056756930769 0.2725156253017748 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 9 457324 0 0 1 1 {#f,#t} 13 true 18.857914835 true 18.977186313 true 18.832381003 true 19.40081017 true 19.302618483 true 18.528518888 true 18.443740926 true 19.792407165 true 18.983606834 true 19.744118234 true 19.362148924 true 19.169438157 true 18.467286129 13 19.06632123546154 0.3651713415739643 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 10 457324 0 0 1 1 {#f,#t} 13 true 18.383060027 true 18.168310217 true 18.833786847 true 18.031684279 true 18.73796389 true 18.116461601 true 18.37102255 true 18.799849118 true 18.277974807 true 19.268703623 true 18.278491795 true 18.987265767 true 19.079827262 13 18.564184752538463 0.35727507565680483 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 12 457324 0 0 1 1 {#f,#t} 13 true 17.89439601 true 17.683580787 true 18.098442526 true 18.294873531 true 18.513674353 true 18.365232164 true 17.989803925 true 18.176707309 true 17.351795592 true 18.685474023 true 17.503556094 true 17.443599287 true 18.315163854 13 18.024330727307696 0.3506542567455618 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 14 457324 0 0 1 1 {#f,#t} 13 true 19.038558329 true 18.830500753 true 17.871517 true 18.278560384 true 18.423023512 true 17.628389058 true 18.564972323 true 17.380731523 true 18.367496901 true 17.350603595 true 17.972057668 true 18.556179734 true 17.60602221 13 18.143739460769233 0.4697101093254433 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 16 457324 0 0 1 1 {#f,#t} 13 true 18.411099282 true 18.652812442 true 17.717678459 true 19.410689769 true 18.726659984 true 18.552334187 true 18.580989809 true 17.872640907 true 18.299104905 true 18.20139046 true 18.592799478 true 19.192481181 true 18.369472973 13 18.50616567969231 0.3331703218698226 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 18 457324 0 0 1 1 {#f,#t} 13 true 18.743407481 true 18.722117116 true 19.417561335 true 18.098039267 true 18.819918057 true 18.82914115 true 18.77158531 true 17.989333514 true 18.457245036 true 19.219771565 true 18.013717825 true 18.083775167 true 18.98940037 13 18.627308707153848 0.38375888104141936 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 20 457324 0 0 1 1 {#f,#t} 13 true 20.114699915 true 19.124255456 true 19.521367921 true 19.113224966 true 19.129767986 true 18.734071932 true 18.264520066 true 18.789673547 true 18.61257492 true 18.308441782 true 17.993266573 true 18.936519546 true 18.169682602 13 18.831697477846152 0.45379244968047333 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 24 457324 0 0 1 1 {#f,#t} 13 true 20.247481057 true 18.89081523 true 19.537396237 true 20.242737243 true 20.011705987 true 20.560744304 true 20.045266213 true 18.934118186 true 19.223059361 true 18.711488047 true 20.06977703 true 19.00763379 true 19.668277392 13 19.626961544384613 0.5318859100473378 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 28 457324 0 0 1 1 {#f,#t} 13 true 20.778032699 true 20.479312736 true 18.689588186 true 20.204588541 true 19.433032924 true 19.214984718 true 20.230044171 true 20.706447901 true 20.162541455 true 20.497085337 true 20.650069433 true 20.737843205 true 19.721719673 13 20.11579161376923 0.5236678390887582 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 32 457324 0 0 1 1 {#f,#t} 13 true 22.670620992 true 21.24093446 true 20.799032968 true 21.170366725 true 21.066802029 true 20.451358116 true 20.801131292 true 21.353446427 true 21.736832963 true 21.36182275 true 21.052631579 true 21.647115898 true 21.778982625 13 21.31777529415385 0.40648767539645025 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 40 457324 0 0 1 1 {#f,#t} 13 true 24.046034737 true 23.028781773 true 22.493774051 true 21.858217386 true 22.10494731 true 22.568504646 true 22.813150294 true 22.13366509 true 22.182758364 true 21.873426235 true 22.351331672 true 23.35941065 true 23.809015464 13 22.663309051692313 0.5753611783905335 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 48 457324 0 0 1 1 {#f,#t} 13 true 24.621461523 true 23.48877024 true 23.344468335 true 25.14703441 true 23.685943239 true 24.789532163 true 24.735038884 true 24.476634946 true 25.29395937 true 24.807926747 true 24.989020051 true 24.717356086 true 25.019784209 13 24.54745616946154 0.49138583351479237 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 56 457324 0 0 1 1 {#f,#t} 13 true 26.778029835 true 26.465075061 true 26.072610619 true 26.322697797 true 25.089216784 true 25.934107132 true 26.721216599 true 26.71410952 true 28.221274961 true 26.303004515 true 27.187237572 true 26.365231908 true 26.641571296 13 26.524260276846157 0.47967355721893523 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-L-SA-part 64 457324 0 0 1 1 {#f,#t} 13 true 29.660894231 true 28.172386612 true 29.195336182 true 29.69629364 true 29.279571415 true 29.026824387 true 29.135682816 true 29.297969929 true 27.857369872 true 28.347146926 true 27.431827963 true 28.021620654 true 29.190365965 13 28.79333004553846 0.6363535693372783 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 2 457324 0 0 1 1 {#f,#t} 13 true 64.704908174 true 63.583199315 true 61.422639955 true 62.975207117 true 62.644555808 true 62.689911598 true 64.100961457 true 62.502575511 true 63.530332973 true 61.62019275 true 62.155873364 true 62.131653297 true 63.070240788 13 62.85632708515383 0.7425980481656779 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 3 457324 0 0 1 1 {#f,#t} 13 true 34.683026158 true 34.552701427 true 34.570007424 true 34.61306905 true 34.200849959 true 34.1308389 true 34.481486415 true 34.374520569 true 33.975135099 true 33.885114041 true 34.307307555 true 34.221110423 true 33.998983202 13 34.307242324769234 0.22021881917159739 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 4 457324 0 0 1 1 {#f,#t} 13 true 24.416742851 true 24.405604862 true 24.48640771 true 24.442373722 true 24.015779522 true 24.221621092 true 24.51854371 true 25.104471511 true 24.201122633 true 24.257946419 true 24.053447847 true 23.8668175 true 24.360316714 13 24.334707391769236 0.21407835963313568 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 5 457324 0 0 1 1 {#f,#t} 13 true 19.773033516 true 18.834741761 true 19.286637507 true 18.754002398 true 18.625260929 true 18.827602853 true 19.27007618 true 19.512238537 true 18.858429037 true 18.841217583 true 19.153541248 true 18.956416068 true 19.086605158 13 19.059984828846154 0.26495741121893535 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 6 457324 0 0 1 1 {#f,#t} 13 true 16.411095945 true 15.63818025 true 16.236554651 true 16.255227332 true 16.08926101 true 15.711245296 true 16.503934997 true 15.612340612 true 15.442912227 true 15.950263589 true 15.428071858 true 15.729028808 true 16.003015542 13 15.923933239769234 0.30489544424852066 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 7 457324 0 0 1 1 {#f,#t} 13 true 14.089984091 true 13.777625421 true 14.391509775 true 14.349919255 true 13.766401488 true 13.605201016 true 13.871247421 true 14.057509111 true 14.575713119 true 13.970202852 true 13.712577705 true 13.895869048 true 13.503670943 13 13.966725480384618 0.2514592801065091 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 8 457324 0 0 1 1 {#f,#t} 13 true 12.596615648 true 12.489265586 true 12.31864199 true 12.933428628 true 12.09386439 true 12.787016671 true 12.800900217 true 12.788908443 true 12.170777604 true 13.011731248 true 12.845302274 true 13.176295395 true 12.505166325 13 12.655224186076925 0.2703097805325444 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 9 457324 0 0 1 1 {#f,#t} 13 true 11.831809711 true 12.21158634 true 11.810352529 true 12.208053097 true 11.917833993 true 12.153404364 true 12.188571713 true 12.141218899 true 11.360800152 true 12.07487121 true 11.87006733 true 11.720883622 true 11.954297981 13 11.957211610846153 0.18991322429585805 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 10 457324 0 0 1 1 {#f,#t} 13 true 11.650288163 true 11.568259471 true 11.435097387 true 11.622310105 true 11.594171679 true 11.462514386 true 10.849150098 true 11.039113423 true 10.829334669 true 10.732888802 true 10.851689694 true 11.880139387 true 11.609504332 13 11.317266276615385 0.35140841493491143 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 12 457324 0 0 1 1 {#f,#t} 13 true 10.810358573 true 10.630652048 true 10.275150608 true 10.574076064 true 10.77072092 true 10.641647327 true 10.184419799 true 10.461079778 true 10.479458538 true 10.223189378 true 10.270670004 true 11.149685028 true 10.506732102 13 10.536756935923078 0.20870743760946744 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 14 457324 0 0 1 1 {#f,#t} 13 true 11.134930985 true 10.97592771 true 9.891229994 true 11.012568725 true 10.636098167 true 10.843396219 true 10.362044097 true 11.278949048 true 10.239942373 true 11.215636605 true 10.762501979 true 11.01382851 true 10.294113604 13 10.743166770461539 0.35267778727810656 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 16 457324 0 0 1 1 {#f,#t} 13 true 10.997316287 true 10.191430817 true 10.953473268 true 10.792184266 true 9.842524552 true 11.085442968 true 11.533794561 true 11.415695721 true 11.237612843 true 10.93096832 true 11.069819389 true 10.050254614 true 10.190038163 13 10.791581213000002 0.44493487784615293 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 18 457324 0 0 1 1 {#f,#t} 13 true 11.212505335 true 10.35045538 true 10.179657974 true 11.472207789 true 11.121553829 true 11.577513738 true 11.484737189 true 10.552233081 true 11.446624725 true 10.644043119 true 11.400773912 true 11.536118027 true 10.896461624 13 11.06729890169231 0.4174835893017747 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 20 457324 0 0 1 1 {#f,#t} 13 true 10.633113249 true 11.030399242 true 10.255904724 true 10.314821675 true 10.410893236 true 10.470734396 true 10.533621412 true 10.518539386 true 10.479872721 true 10.498200235 true 10.540057912 true 10.523003917 true 10.814653223 13 10.54029348676923 0.13189003902958518 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 24 457324 0 0 1 1 {#f,#t} 13 true 11.495495929 true 10.968824889 true 10.613141508 true 11.393863721 true 11.560030287 true 10.723132349 true 11.609846348 true 11.503018304 true 10.627280419 true 11.257861076 true 11.39050716 true 11.142133712 true 10.49254866 13 11.136744950923077 0.34750721994082817 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 28 457324 0 0 1 1 {#f,#t} 13 true 10.440487023 true 10.520595196 true 10.594270843 true 10.681644115 true 11.011033328 true 10.823311788 true 10.632318061 true 11.441187454 true 10.746262925 true 10.630303175 true 10.944572429 true 10.778372764 true 10.862321529 13 10.777436971538462 0.1840273019644973 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 32 457324 0 0 1 1 {#f,#t} 13 true 12.183751717 true 10.640380517 true 10.575968766 true 11.881224747 true 11.407880017 true 10.661086642 true 11.438828442 true 11.456763696 true 10.768729053 true 10.668382882 true 11.619647918 true 12.203033363 true 11.667100663 13 11.320982955615385 0.506210295088757 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 40 457324 0 0 1 1 {#f,#t} 13 true 10.532570938 true 10.940101412 true 11.769337275 true 11.997341592 true 10.822709518 true 10.944776258 true 10.787865395 true 11.697955092 true 11.780987163 true 11.577352902 true 10.853746431 true 11.679135642 true 11.248413093 13 11.279407131615386 0.4347179809704145 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 48 457324 0 0 1 1 {#f,#t} 13 true 11.659670669 true 12.002081282 true 11.885507115 true 11.045922736 true 11.463547139 true 11.875072837 true 11.670234517 true 11.29499885 true 11.194817486 true 12.009178132 true 11.046950384 true 11.788682367 true 12.062163423 13 11.61529437976923 0.31234389289940856 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 56 457324 0 0 1 1 {#f,#t} 13 true 12.401561231 true 11.42902718 true 11.883569632 true 11.281776829 true 11.905142991 true 11.458272273 true 11.697909535 true 11.709628565 true 12.349596069 true 11.442662462 true 10.647241674 true 11.231203901 true 10.859463574 13 11.561311993538462 0.396851701810651 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-set 64 457324 0 0 1 1 {#f,#t} 13 true 12.077716479 true 11.703868282 true 11.61443931 true 11.705535052 true 10.472262258 true 11.614138366 true 10.510001991 true 10.793971345 true 10.881242239 true 10.884666756 true 10.81581628 true 10.734259703 true 10.706047875 13 11.116458918153846 0.48206198434319536 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 2 457324 0 0 1 1 {#f,#t} 13 true 51.575304974 true 52.109023578 true 52.27178375 true 52.582094093 true 50.822389714 true 51.304857058 true 52.559912763 true 52.051218147 true 53.000996345 true 52.79631152 true 52.173154687 true 51.607170053 true 52.384461308 13 52.09528292230769 0.47930379469822526 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 3 457324 0 0 1 1 {#f,#t} 13 true 30.127996297 true 29.693109808 true 30.801035616 true 30.758866497 true 31.000200995 true 30.142913403 true 30.993711108 true 30.834750588 true 30.314186512 true 31.25803988 true 30.227985447 true 30.415626369 true 30.348058336 13 30.532036988923075 0.3775973462248516 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 4 457324 0 0 1 1 {#f,#t} 13 true 24.092610878 true 21.979342362 true 23.223377611 true 22.499798077 true 22.423724258 true 22.442532062 true 22.761234043 true 22.931412341 true 23.182854316 true 23.547220412 true 23.390387674 true 22.888113065 true 23.590866295 13 22.996421030307694 0.4690447698698223 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 5 457324 0 0 1 1 {#f,#t} 13 true 19.696611179 true 18.34094143 true 18.540803415 true 18.516213114 true 18.472987987 true 18.518562001 true 18.507547867 true 18.32285521 true 18.64589579 true 18.248825522 true 18.662387421 true 18.295845573 true 18.674600243 13 18.572621288615384 0.21369376592899386 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 6 457324 0 0 1 1 {#f,#t} 13 true 16.085006668 true 15.622182235 true 16.331301343 true 15.815593073 true 15.423701539 true 15.942109909 true 15.393714751 true 15.900700899 true 15.622669293 true 15.813497609 true 15.668783093 true 15.490026075 true 15.475761865 13 15.737311411692307 0.22528323551479282 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 7 457324 0 0 1 1 {#f,#t} 13 true 14.482471345 true 13.641518155 true 13.947342884 true 14.366991983 true 14.31160205 true 13.694907427 true 14.021828806 true 13.811566416 true 13.252178077 true 13.72944144 true 13.888335306 true 13.391834204 true 13.531543393 13 13.851658575846152 0.293633987526627 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 8 457324 0 0 1 1 {#f,#t} 13 true 12.377185648 true 12.671586055 true 12.419384576 true 12.476035357 true 11.982774038 true 12.194785069 true 12.241651324 true 12.272989504 true 12.202520074 true 12.828896663 true 12.985380341 true 12.398852025 true 12.413554033 13 12.420430362076925 0.19695030272189415 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 9 457324 0 0 1 1 {#f,#t} 13 true 11.466391747 true 11.055336201 true 11.914962569 true 11.598100209 true 11.683566179 true 11.83511775 true 11.306458728 true 11.420870095 true 11.609913182 true 11.101047915 true 11.215641845 true 11.734559274 true 11.798273602 13 11.51847994584615 0.2377127913964499 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 10 457324 0 0 1 1 {#f,#t} 13 true 10.879043812 true 10.470087218 true 11.060737833 true 10.329518035 true 10.343416733 true 10.314922748 true 10.528713424 true 10.297267968 true 10.12200134 true 10.2817729 true 10.899461741 true 11.232774849 true 10.373800192 13 10.548732214846153 0.28878298086390497 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 12 457324 0 0 1 1 {#f,#t} 13 true 9.626334844 true 10.413059978 true 9.472221931 true 9.368300191 true 9.535586873 true 9.286907709 true 9.662521567 true 9.788090332 true 9.893814489 true 9.591822649 true 9.820283607 true 9.96076652 true 10.143280897 13 9.735614737461537 0.24701652280473374 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 14 457324 0 0 1 1 {#f,#t} 13 true 9.827692881 true 9.148569515 true 9.363489792 true 9.27552392 true 9.157026932 true 9.461174547 true 9.311436902 true 9.574285802 true 9.327145174 true 9.064585641 true 9.2216882 true 9.499684956 true 9.34318338 13 9.351960587846154 0.14869615981065096 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 16 457324 0 0 1 1 {#f,#t} 13 true 9.58682918 true 8.846237406 true 8.674340622 true 8.624193825 true 8.770472503 true 9.342212884 true 9.481405065 true 9.408582095 true 8.481763559 true 9.425959195 true 8.907511113 true 8.792200581 true 9.230204689 13 9.043993285923078 0.34018975268639073 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 18 457324 0 0 1 1 {#f,#t} 13 true 9.608323699 true 9.471865014 true 9.135841838 true 9.282690392 true 9.324521253 true 8.492909428 true 8.760613413 true 9.190945381 true 9.074072692 true 8.641410122 true 8.748393334 true 8.758375787 true 8.662131736 13 9.011699545307692 0.3086713002840237 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 20 457324 0 0 1 1 {#f,#t} 13 true 8.934290444 true 9.028136127 true 8.988758931 true 9.034940438 true 9.666146023 true 9.694263161 true 8.825308873 true 9.880973165 true 9.540306488 true 9.465131418 true 9.549028183 true 9.58959866 true 9.909109012 13 9.392768532538463 0.3311396691834317 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 24 457324 0 0 1 1 {#f,#t} 13 true 10.689107717 true 10.077532974 true 10.24084124 true 10.397147758 true 9.262436236 true 10.129764826 true 10.111329524 true 10.333324372 true 9.874503489 true 9.28296874 true 10.220919662 true 9.267535402 true 10.189466958 13 10.005913761384615 0.3594171043905327 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 28 457324 0 0 1 1 {#f,#t} 13 true 10.935490751 true 9.783362617 true 10.598040132 true 10.510560564 true 9.868580302 true 10.844012976 true 10.621574904 true 10.619676598 true 10.055025937 true 10.371118364 true 11.148667546 true 10.172812603 true 10.084483784 13 10.431800544461538 0.34698763996449694 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 32 457324 0 0 1 1 {#f,#t} 13 true 11.609403642 true 11.178694659 true 11.358698839 true 10.518165428 true 11.634566564 true 10.23517551 true 11.410647879 true 11.041117942 true 10.646891634 true 10.774321264 true 10.599174159 true 11.334024089 true 10.198177303 13 10.964542993230767 0.43313117867455664 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 40 457324 0 0 1 1 {#f,#t} 13 true 11.819223136 true 11.666179734 true 11.926415916 true 12.229231843 true 11.582999015 true 11.320018645 true 11.913735851 true 11.164310465 true 11.927238535 true 12.143904448 true 11.7118531 true 11.913976355 true 11.762627829 13 11.775516528615384 0.22232467441420148 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 48 457324 0 0 1 1 {#f,#t} 13 true 12.706318183 true 14.025661929 true 13.022267229 true 13.100482679 true 12.808402956 true 13.556080154 true 12.79097236 true 13.112651365 true 12.773479454 true 13.025626938 true 12.750409194 true 12.075556699 true 12.378847581 13 12.932827440076922 0.3455085620828402 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 56 457324 0 0 1 1 {#f,#t} 13 true 13.801184827 true 13.292071199 true 13.899028841 true 13.469490345 true 13.447380257 true 12.903649969 true 13.102912549 true 13.128081764 true 13.280810414 true 13.061469959 true 12.760092857 true 13.187057497 true 13.082946105 13 13.262782814076921 0.2481952305443788 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-S-part 64 457324 0 0 1 1 {#f,#t} 13 true 14.096273933 true 14.309805282 true 13.253548069 true 13.400293241 true 13.689305915 true 13.774355027 true 13.183597836 true 13.442263373 true 13.500100143 true 13.647873235 true 13.879003086 true 13.599807302 true 14.154895804 13 13.687009403538461 0.2740896347337279 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 1 457324 0 0 1 1 {#f,#t} 13 true 25.876020179 true 25.557326863 true 25.242070759 true 25.079779528 true 24.810282991 true 24.534476484 true 24.725270795 true 25.155564282 true 24.596438596 true 24.584122547 true 24.491441507 true 24.33694853 true 24.776451207 13 24.90509186676923 0.3669695811005914 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 2 457324 0 0 1 1 {#f,#t} 13 true 14.011577777 true 14.700351627 true 14.807357666 true 13.554924143 true 13.452660657 true 14.055469015 true 13.944046158 true 13.462232151 true 13.269103121 true 13.412610769 true 13.31117059 true 13.993485845 true 13.992058713 13 13.843619094769231 0.39984817501775155 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 3 457324 0 0 1 1 {#f,#t} 13 true 10.495786552 true 11.134953339 true 10.520038799 true 10.464616778 true 11.304952494 true 9.86503531 true 9.931391154 true 10.5310746 true 10.616922487 true 10.858477536 true 10.269918009 true 10.437363663 true 11.191627616 13 10.58631987207692 0.33466678640236647 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 4 457324 0 0 1 1 {#f,#t} 13 true 10.566051918 true 10.439392106 true 10.373456155 true 10.479498941 true 10.666773299 true 9.107427084 true 9.606467609 true 10.123802541 true 9.498622346 true 9.315187397 true 9.770048929 true 9.479173844 true 10.193239037 13 9.97070316969231 0.4688141244852069 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 5 457324 0 0 1 1 {#f,#t} 13 true 9.273615143 true 9.105723659 true 9.807864468 true 9.734231346 true 9.249620043 true 9.07677598 true 9.920322037 true 9.433881464 true 9.185633863 true 8.756375759 true 9.429272836 true 9.254768706 true 9.178295359 13 9.338952358692307 0.250893901159763 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 6 457324 0 0 1 1 {#f,#t} 13 true 8.527046125 true 9.152488482 true 8.924174214 true 8.571413605 true 8.484780088 true 8.225876739 true 8.518822095 true 9.114368803 true 8.248061286 true 8.95125437 true 8.453058405 true 8.775902241 true 9.011274559 13 8.689117000923078 0.27611702514792896 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 7 457324 0 0 1 1 {#f,#t} 13 true 8.858098688 true 8.125891289 true 8.223424047 true 8.474684833 true 8.018809158 true 8.194006188 true 8.248299053 true 8.34952712 true 8.243684049 true 8.180579502 true 8.173503097 true 7.818311116 true 8.195785294 13 8.238815648769231 0.15080238448520716 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 8 457324 0 0 1 1 {#f,#t} 13 true 8.363143115 true 7.466886031 true 8.092116744 true 7.691024686 true 8.085574222 true 7.654713801 true 8.040265789 true 7.767578082 true 7.816387665 true 7.948103571 true 8.139966176 true 8.029857302 true 7.671100299 13 7.905132114076922 0.2097080185325444 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 9 457324 0 0 1 1 {#f,#t} 13 true 7.357349473 true 7.378431545 true 7.073850924 true 7.819273374 true 7.154022087 true 7.407280213 true 7.315874464 true 7.067319667 true 7.569655936 true 7.558771849 true 7.572858421 true 7.286046722 true 7.407593865 13 7.382179118461537 0.1603629149585798 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 10 457324 0 0 1 1 {#f,#t} 13 true 7.160000789 true 6.754531196 true 7.313353765 true 6.721664945 true 7.315427794 true 7.090261274 true 7.323110457 true 7.357993008 true 6.75943247 true 6.959597175 true 6.655775332 true 6.8749968 true 6.978011905 13 7.020319762307693 0.2212659251005918 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 12 457324 0 0 1 1 {#f,#t} 13 true 6.477082338 true 6.676626551 true 6.635350243 true 6.662496438 true 6.36182321 true 6.294630791 true 6.176819987 true 6.142337625 true 6.560636868 true 6.229456703 true 6.311132551 true 6.160864346 true 6.147378803 13 6.372048958 0.17722271507692297 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 14 457324 0 0 1 1 {#f,#t} 13 true 6.687293437 true 5.83243024 true 5.976579998 true 5.791384197 true 6.319850183 true 6.045509175 true 6.144550235 true 5.831231039 true 6.34009831 true 5.822069847 true 5.966062947 true 6.39791177 true 5.893304266 13 6.080636588 0.2286955376923076 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 16 457324 0 0 1 1 {#f,#t} 13 true 6.386459665 true 5.778036499 true 5.725967737 true 5.720952856 true 6.089147607 true 6.320745272 true 6.219360293 true 6.298206631 true 6.240478071 true 5.976260972 true 5.79995534 true 6.21486672 true 6.163019732 13 6.071804414999999 0.20889979553846177 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 18 457324 0 0 1 1 {#f,#t} 13 true 6.58115585 true 5.93784776 true 6.206039891 true 5.762094551 true 5.841180983 true 5.7042273 true 6.184600764 true 5.74530233 true 5.801978058 true 5.879093099 true 6.157298454 true 6.278892418 true 6.285802452 13 6.028116454615386 0.23462940020118342 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 20 457324 0 0 1 1 {#f,#t} 13 true 6.975907777 true 6.304229399 true 5.866621421 true 6.329299947 true 5.93219962 true 6.398997481 true 6.327556128 true 6.065138479 true 6.116949367 true 6.503239407 true 5.920615458 true 5.837181949 true 6.253819494 13 6.217827379 0.2412704584615385 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 24 457324 0 0 1 1 {#f,#t} 13 true 7.566869635 true 7.390787049 true 6.798763076 true 7.599644518 true 7.10211863 true 7.232369979 true 7.646260243 true 7.452898066 true 7.286620754 true 7.608534003 true 7.089595807 true 7.31009555 true 6.450704927 13 7.2719432489999996 0.25940981938461555 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 28 457324 0 0 1 1 {#f,#t} 13 true 7.774404779 true 8.472817566 true 7.895825742 true 8.291045446 true 7.198710053 true 8.583007669 true 8.352772677 true 8.19230421 true 7.883436391 true 8.557135716 true 8.140575191 true 8.273543037 true 8.465405179 13 8.160075665846154 0.29345018049704125 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 32 457324 0 0 1 1 {#f,#t} 13 true 9.139644694 true 8.826789102 true 9.448946973 true 9.098599399 true 8.60255925 true 8.015905161 true 8.57265211 true 9.004435587 true 8.066848358 true 8.959523659 true 8.271828684 true 8.814532845 true 8.225764758 13 8.69600235230769 0.3723778142840236 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 40 457324 0 0 1 1 {#f,#t} 13 true 10.029536633 true 9.110558222 true 9.656653657 true 9.629490235 true 9.346038638 true 9.797972396 true 9.3553001 true 9.607161683 true 9.858724998 true 9.428643376 true 9.132261691 true 9.166905924 true 9.144380339 13 9.481817530153846 0.2597899109349112 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 48 457324 0 0 1 1 {#f,#t} 13 true 10.264427536 true 9.882240157 true 10.064726745 true 10.029747652 true 9.874583488 true 10.341957073 true 10.225823141 true 9.816402147 true 9.927219264 true 9.419434848 true 9.367416204 true 9.463217663 true 9.495696464 13 9.859453260153845 0.266938303810651 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 56 457324 0 0 1 1 {#f,#t} 13 true 10.411409699 true 9.645448877 true 10.037742791 true 9.899928975 true 9.789869675 true 10.3133729 true 10.414417484 true 10.400804973 true 10.109883612 true 10.160654579 true 9.803020173 true 10.338721655 true 10.568766821 13 10.145695554923076 0.24435065023668628 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-state 64 457324 0 0 1 1 {#f,#t} 13 true 11.077203479 true 10.727459354 true 10.33812618 true 10.939263105 true 10.484198208 true 9.887087402 true 10.462584056 true 10.213596885 true 10.471258415 true 10.191339297 true 10.356886833 true 10.134624965 true 9.92573553 13 10.400720285307692 0.27040690848520693 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 1 457324 0 0 1 1 {#f,#t} 13 true 26.515548794 true 24.064186398 true 24.551243778 true 24.512461206 true 24.907742396 true 24.000699299 true 24.193705874 true 24.900772688 true 24.61259981 true 24.688590518 true 24.712963328 true 24.841531851 true 24.200403299 13 24.66941917223077 0.3924053140946748 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 2 457324 0 0 1 1 {#f,#t} 13 true 14.466661115 true 13.865304191 true 12.95602084 true 14.048462172 true 14.595603739 true 14.540618487 true 13.816375176 true 13.308710551 true 14.927787042 true 14.143956955 true 13.648436822 true 14.504865959 true 13.543572679 13 14.028182748307692 0.466257881668639 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 3 457324 0 0 1 1 {#f,#t} 13 true 10.210132484 true 10.475449538 true 10.236834269 true 11.031784678 true 10.607230237 true 10.2000416 true 9.938618552 true 9.567646679 true 9.890371084 true 10.049851443 true 9.876426038 true 9.511709917 true 9.365063853 13 10.07393541323077 0.35659389640236694 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 4 457324 0 0 1 1 {#f,#t} 13 true 8.420173332 true 9.72092705 true 7.479222601 true 9.159189774 true 8.687229731 true 7.768496446 true 8.238776305 true 8.82656604 true 8.151526458 true 9.693934262 true 9.558326825 true 9.327845007 true 9.555693757 13 8.814454429846155 0.6371233393964497 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 5 457324 0 0 1 1 {#f,#t} 13 true 7.21089476 true 8.399139004 true 8.064851702 true 8.121020647 true 9.093160367 true 8.337086584 true 8.619476915 true 8.793768183 true 8.497919004 true 7.854136836 true 8.12202175 true 6.857221019 true 7.120421118 13 8.08393214530769 0.509559275621302 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 6 457324 0 0 1 1 {#f,#t} 13 true 8.168726444 true 7.708037869 true 7.967124112 true 7.759556956 true 7.558971404 true 7.732909441 true 7.764062527 true 7.389648733 true 7.198193449 true 7.55961004 true 7.017632066 true 7.079837091 true 7.488907946 13 7.5687090829230765 0.25971736176331367 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 7 457324 0 0 1 1 {#f,#t} 13 true 7.519616455 true 7.501882152 true 7.251441811 true 7.093448696 true 7.508083837 true 7.567700945 true 7.172010016 true 7.408447322 true 7.120726243 true 7.518692535 true 7.590663678 true 7.214762404 true 6.71177348 13 7.321480736461538 0.20995719519526634 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 8 457324 0 0 1 1 {#f,#t} 13 true 7.504860222 true 7.053272304 true 6.993687262 true 7.214517579 true 7.304792084 true 6.691482368 true 7.284194919 true 7.11243781 true 7.187962271 true 7.222815511 true 6.849272795 true 7.161447928 true 7.345454038 13 7.148169007000001 0.16010653784615358 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 9 457324 0 0 1 1 {#f,#t} 13 true 7.380754967 true 6.833119798 true 7.381918775 true 7.061865677 true 6.666215299 true 6.863668356 true 6.742484762 true 6.820775064 true 7.034891102 true 6.840928549 true 7.35458096 true 7.076157126 true 7.125501744 13 7.014066321461538 0.20264709242603546 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 10 457324 0 0 1 1 {#f,#t} 13 true 6.840307332 true 6.812187786 true 7.095148247 true 6.917560704 true 7.296013763 true 7.136358675 true 7.130238116 true 7.120889607 true 7.145343516 true 6.99303441 true 7.034484737 true 6.662269308 true 7.201714482 13 7.029657744846154 0.14198910526627218 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 12 457324 0 0 1 1 {#f,#t} 13 true 6.862817156 true 6.775482642 true 6.514892742 true 6.687290734 true 6.254313452 true 6.601835422 true 6.546498307 true 6.281380785 true 6.221720151 true 6.248558637 true 6.739797183 true 6.096959752 true 6.849351858 13 6.513915293923077 0.22563749117159768 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 14 457324 0 0 1 1 {#f,#t} 13 true 6.673789156 true 5.921371692 true 6.143226901 true 5.967905497 true 6.300934845 true 5.877728766 true 6.354226145 true 5.835282227 true 6.114000293 true 6.154979095 true 6.043517492 true 6.283745955 true 5.949572375 13 6.124636956846155 0.17893543937278103 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 16 457324 0 0 1 1 {#f,#t} 13 true 6.24904376 true 6.428864746 true 6.022787294 true 6.240041889 true 6.105859741 true 5.644647736 true 5.809330771 true 6.249885156 true 5.64151816 true 5.904725057 true 6.051204746 true 5.819098994 true 6.156190627 13 6.024861436692309 0.20108624740828399 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 18 457324 0 0 1 1 {#f,#t} 13 true 6.143044941 true 5.918471003 true 6.126195559 true 5.849141983 true 5.8015905 true 5.937047092 true 5.97630788 true 5.766840579 true 5.713727198 true 6.114097662 true 5.914780692 true 5.975895359 true 5.92896775 13 5.935854476769231 0.10114794344378712 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 20 457324 0 0 1 1 {#f,#t} 13 true 6.378122167 true 6.44756792 true 6.069991779 true 6.53364513 true 6.081119916 true 6.1435449 true 6.083184782 true 6.659302868 true 6.05547083 true 6.460391036 true 5.972248553 true 5.792378213 true 5.911712238 13 6.199129256307692 0.2282127445325442 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 24 457324 0 0 1 1 {#f,#t} 13 true 6.897622632 true 6.422696614 true 6.581007278 true 6.764236362 true 6.350895125 true 6.409207125 true 6.492451301 true 6.600266521 true 7.296943067 true 7.060113847 true 6.811642163 true 6.90275213 true 6.583750423 13 6.705660352923077 0.23066893591715976 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 28 457324 0 0 1 1 {#f,#t} 13 true 7.502539919 true 7.203567718 true 7.131698831 true 7.390659708 true 7.137236385 true 7.447395951 true 7.175495541 true 7.657615668 true 6.872137002 true 7.493801328 true 7.749086702 true 6.931059782 true 7.766273791 13 7.342966794307693 0.2471700779763313 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 32 457324 0 0 1 1 {#f,#t} 13 true 7.896750421 true 7.789122563 true 7.50273461 true 7.894224032 true 7.70877734 true 7.803464581 true 8.471004445 true 8.040716498 true 7.979125505 true 8.361918772 true 7.605071512 true 7.92476199 true 7.792454062 13 7.905394333153845 0.19239316065088724 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 40 457324 0 0 1 1 {#f,#t} 13 true 9.184905835 true 8.352615294 true 8.594299254 true 8.65927615 true 8.426269469 true 8.60047403 true 8.877673374 true 8.705317509 true 8.702573018 true 9.141662407 true 8.680815795 true 8.848767873 true 8.979710722 13 8.75033544076923 0.19708353956213026 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 48 457324 0 0 1 1 {#f,#t} 13 true 9.357010111 true 9.243170314 true 9.129169597 true 8.493607603 true 9.110095229 true 8.587144063 true 8.983925674 true 8.918117401 true 9.501205037 true 9.380374846 true 9.126027681 true 9.045986453 true 8.724493368 13 9.046179029 0.23443070953846187 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 56 457324 0 0 1 1 {#f,#t} 13 true 9.375212047 true 9.007764287 true 9.291384584 true 9.394392678 true 9.315765088 true 9.594056969 true 9.651469286 true 9.082510644 true 10.012001721 true 8.710911822 true 8.753509913 true 9.015583656 true 9.259526036 13 9.266468363923078 0.27215443469822465 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-set 64 457324 0 0 1 1 {#f,#t} 13 true 10.47182167 true 9.246827022 true 9.827682908 true 9.712647998 true 9.639426898 true 9.78368069 true 9.613538226 true 10.319222096 true 9.432484546 true 9.179010666 true 9.227441004 true 10.264487952 true 9.5159294 13 9.710323159692308 0.32578528551479324 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 1 457324 0 0 1 1 {#f,#t} 13 true 25.802068584 true 23.545882858 true 24.321851946 true 23.768564976 true 23.751157733 true 24.144423851 true 24.03985593 true 24.316475944 true 24.221504097 true 23.818501403 true 23.806320555 true 23.75448543 true 24.085731707 13 24.105909616461535 0.35027328302958505 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 2 457324 0 0 1 1 {#f,#t} 13 true 17.687439807 true 16.848740068 true 15.905174167 true 15.156501535 true 15.359123794 true 15.662670147 true 14.756280139 true 16.190093661 true 16.976316798 true 15.11398774 true 16.230144814 true 15.352990821 true 15.347447652 13 15.891300857153844 0.6907852572426033 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 3 457324 0 0 1 1 {#f,#t} 13 true 16.034962091 true 16.573401479 true 16.071627327 true 17.017110376 true 16.233557309 true 15.546792771 true 15.385333822 true 17.39573763 true 15.281885934 true 15.243026686 true 16.959077768 true 16.078051271 true 17.499678709 13 16.255403320999996 0.6412291318461532 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 4 457324 0 0 1 1 {#f,#t} 13 true 15.037285499 true 14.786500319 true 14.033942512 true 15.146453514 true 14.776247428 true 15.129968704 true 15.40792169 true 15.185557969 true 14.437612052 true 14.604322497 true 15.397451259 true 15.529882737 true 14.291064254 13 14.904939264153846 0.3846071573727809 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 5 457324 0 0 1 1 {#f,#t} 13 true 12.693279813 true 12.417423222 true 12.54544033 true 11.661374451 true 12.811770864 true 12.023470156 true 12.621071722 true 12.609733259 true 12.616627587 true 12.563340489 true 12.746059045 true 12.584895017 true 12.324660926 13 12.478395913923077 0.22871613856804737 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 6 457324 0 0 1 1 {#f,#t} 13 true 11.280203423 true 10.863453382 true 11.249517565 true 11.032281462 true 10.734014109 true 11.483441046 true 11.056189065 true 10.748487896 true 10.830400962 true 10.841046091 true 10.787918879 true 10.853472353 true 11.163301178 13 10.99413287776923 0.20002099575147897 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 7 457324 0 0 1 1 {#f,#t} 13 true 9.848199828 true 9.912056961 true 9.782089874 true 9.784044893 true 9.717303903 true 9.541339513 true 9.445702245 true 9.682219911 true 9.737529829 true 10.357139544 true 10.148964295 true 9.756729458 true 9.745983632 13 9.804561837384615 0.1612481966863902 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 8 457324 0 0 1 1 {#f,#t} 13 true 9.237411148 true 8.597434252 true 8.78984489 true 8.590915298 true 9.168099233 true 9.991555123 true 9.310736827 true 8.937966988 true 9.341360755 true 8.799948802 true 8.746078645 true 8.576942394 true 8.882017358 13 8.997716285615384 0.3170125627573963 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 9 457324 0 0 1 1 {#f,#t} 13 true 8.371918853 true 8.021895551 true 8.604057633 true 8.023977958 true 8.090481425 true 8.21172961 true 7.794148878 true 8.648060096 true 8.047207714 true 8.633086366 true 8.158990126 true 8.04334621 true 7.916941463 13 8.197372452538461 0.22799850697041432 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 10 457324 0 0 1 1 {#f,#t} 13 true 8.248878623 true 8.056069666 true 7.815029865 true 7.34126923 true 7.976857625 true 7.513981591 true 8.138869515 true 7.480367209 true 7.88212837 true 7.822493502 true 7.594914941 true 7.530460345 true 8.233771001 13 7.8180839602307675 0.25115085852071023 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 12 457324 0 0 1 1 {#f,#t} 13 true 7.188949064 true 7.434566966 true 7.274460431 true 7.160330547 true 7.10605814 true 6.800240879 true 7.141506659 true 7.310945575 true 7.235565697 true 6.645797418 true 7.3230241 true 6.765540701 true 6.69882649 13 7.083524051307693 0.21902934111242575 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 14 457324 0 0 1 1 {#f,#t} 13 true 6.663427456 true 6.247794641 true 6.79487744 true 6.774080794 true 6.672070422 true 6.539207205 true 6.535678202 true 6.305530365 true 6.493477439 true 6.150834176 true 6.325150208 true 6.611375099 true 6.366161778 13 6.498435786538462 0.16948709418934899 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 16 457324 0 0 1 1 {#f,#t} 13 true 6.27815668 true 6.450660254 true 5.978670361 true 6.026602282 true 6.219808465 true 5.944795428 true 6.240709717 true 6.044140902 true 5.956158637 true 5.825654668 true 5.785663144 true 5.880933885 true 6.584519103 13 6.093574886615386 0.20091996706508905 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 18 457324 0 0 1 1 {#f,#t} 13 true 5.9755665 true 6.129290299 true 5.866132589 true 5.601288876 true 5.920122573 true 5.507777945 true 5.642581221 true 5.981712581 true 6.024454429 true 5.935597037 true 5.876804702 true 5.914890062 true 5.747213273 13 5.855648622076923 0.1421127958934913 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 20 457324 0 0 1 1 {#f,#t} 13 true 5.910299644 true 5.856264428 true 5.893950944 true 5.991936821 true 5.914493381 true 5.97097975 true 5.724442724 true 5.398863864 true 5.435927677 true 5.830732244 true 5.432189718 true 5.676370216 true 5.606693151 13 5.741780350923078 0.1809530393136095 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 24 457324 0 0 1 1 {#f,#t} 13 true 5.421795042 true 6.008740473 true 5.779786967 true 5.713601151 true 5.796530628 true 5.503208878 true 5.745880952 true 5.49333447 true 5.497118407 true 5.617206227 true 5.426450337 true 5.568207143 true 5.445516388 13 5.616721312538461 0.14791054196449688 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 28 457324 0 0 1 1 {#f,#t} 13 true 5.943565872 true 6.083422479 true 6.106399975 true 5.804678476 true 5.774282466 true 5.611168325 true 5.677279212 true 5.608712918 true 5.673340457 true 5.48589071 true 5.80230794 true 5.555327636 true 6.212550432 13 5.795302069076923 0.18170965531360947 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 32 457324 0 0 1 1 {#f,#t} 13 true 6.11455624 true 6.179583744 true 6.141739453 true 6.069579803 true 5.905721997 true 5.926408312 true 5.906916231 true 5.539005513 true 6.075833956 true 5.856877527 true 5.882009577 true 6.336841223 true 6.323725084 13 6.01990758923077 0.16961636590532542 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 40 457324 0 0 1 1 {#f,#t} 13 true 7.135778364 true 6.503707198 true 6.553324113 true 6.340656663 true 6.529644871 true 6.393436117 true 6.206477399 true 6.193018768 true 6.692177307 true 6.700502841 true 6.632020328 true 6.571034875 true 6.462955628 13 6.531902651692307 0.16821875659171592 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 48 457324 0 0 1 1 {#f,#t} 13 true 6.751876149 true 6.814157298 true 7.136371107 true 7.68402746 true 7.096692818 true 6.675454656 true 6.847828211 true 6.740064895 true 6.882787071 true 6.988283896 true 6.713862399 true 6.847163649 true 6.868607269 13 6.926705913692308 0.18439255788165693 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 56 457324 0 0 1 1 {#f,#t} 13 true 7.46606067 true 7.174317714 true 6.998210772 true 7.327218744 true 7.109248034 true 7.160560157 true 7.154308272 true 7.175871156 true 7.675302944 true 7.270081685 true 7.350746194 true 7.253334739 true 7.296125849 13 7.262414379230768 0.12477689394082835 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm false ParAAM-C-part 64 457324 0 0 1 1 {#f,#t} 13 true 7.34790096 true 7.355401999 true 7.29108603 true 7.518037857 true 7.249403391 true 7.515015996 true 7.709640417 true 7.406548801 true 7.431502444 true 7.62769769 true 7.55733468 true 7.356832012 true 7.442743143 13 7.44685734 0.10668306769230779 true