TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 3.935952758 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.070466149 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.576309919 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.987957608 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.538886723 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.377015512 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.27083351 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.688413718 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.4489754 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.425530568 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.675585771 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.30008988 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-40.scm false SeqAAMLS 1 1084654 0 0 1 1 {#f,#t} 13 true 67.57241907 true 63.457540083 true 65.226400203 true 65.020471272 true 66.022049979 true 64.2719548 true 61.008262186 true 65.327116981 true 64.762416881 true 62.718727042 true 61.418475587 true 64.273100561 true 64.27795051 13 64.258221935 1.296905052615386 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 2 1084654 0 0 1 1 {#f,#t} 13 true 141.76217528 true 139.236815978 true 140.359659 true 140.433552185 true 139.400838251 true 138.850715829 true 139.24893449 true 138.928793873 true 140.919599233 true 140.337506758 true 139.711598675 true 140.035771338 true 139.762455188 13 139.92218585215383 0.6638690278579855 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 3 1084654 0 0 1 1 {#f,#t} 13 true 140.837504061 true 141.19206458 true 140.286846208 true 140.492373971 true 140.456693401 true 141.044465829 true 142.638784073 true 142.510824824 true 141.702710284 true 141.988211613 true 142.444328863 true 142.731933089 true 142.113966209 13 141.57236207730767 0.7883422175147989 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 4 1084654 0 0 1 1 {#f,#t} 13 true 143.398408199 true 141.900274395 true 142.114754538 true 143.783587778 true 142.277121788 true 142.442187987 true 142.764070875 true 142.08036418 true 142.141296339 true 144.402365202 true 143.744230986 true 142.189184017 true 142.04289272 13 142.7139030003077 0.6958689289940835 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 5 1084654 0 0 1 1 {#f,#t} 13 true 143.689618298 true 141.771513115 true 143.234091922 true 142.15349305 true 143.806411077 true 142.296923926 true 143.818968747 true 143.182482847 true 141.930513566 true 143.631882209 true 144.348665967 true 142.494618236 true 144.170912115 13 143.11769962115383 0.7602209558106512 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 6 1084654 0 0 1 1 {#f,#t} 13 true 142.047647623 true 143.432152137 true 142.62880429 true 142.280040395 true 142.401114141 true 140.80225917 true 143.034737636 true 142.539233685 true 143.450438906 true 142.343066341 true 141.741643721 true 143.187573546 true 142.28260046 13 142.47471631161537 0.5268680508165678 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 7 1084654 0 0 1 1 {#f,#t} 13 true 143.233183001 true 142.218193871 true 142.425056098 true 141.858062697 true 142.04965584 true 141.299112566 true 142.886491923 true 142.912532885 true 142.322335206 true 143.795400573 true 142.042414468 true 142.906791974 true 144.008938664 13 142.61216690507692 0.6262057830059116 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 8 1084654 0 0 1 1 {#f,#t} 13 true 143.63553149 true 141.285421867 true 141.733798447 true 143.532184362 true 141.723939882 true 143.497586114 true 143.751855613 true 143.26440504 true 142.840647462 true 142.48373012 true 142.256349534 true 142.029842416 true 143.012108402 13 142.69595390376924 0.7173294087100606 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 9 1084654 0 0 1 1 {#f,#t} 13 true 143.334944719 true 142.539181523 true 142.611618827 true 142.685040183 true 144.22849256 true 143.282274287 true 142.878269093 true 143.086637934 true 142.652125899 true 144.238891195 true 144.124505593 true 142.71301256 true 142.714607133 13 143.16073857738462 0.52391007185799 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 10 1084654 0 0 1 1 {#f,#t} 13 true 142.991189012 true 143.031040097 true 143.45284431 true 142.991715391 true 142.682851071 true 141.850830989 true 142.780583678 true 141.941356264 true 143.203919015 true 142.63371003 true 142.545676139 true 142.635129151 true 142.088863721 13 142.67920837446152 0.366105223502958 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 12 1084654 0 0 1 1 {#f,#t} 13 true 143.955580123 true 142.336397343 true 143.2498411 true 143.485091389 true 143.032953155 true 141.535014099 true 144.277480569 true 142.097077922 true 142.668211827 true 143.887634564 true 142.621664771 true 143.003695387 true 141.968339603 13 142.93222937323077 0.6717954883668628 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 14 1084654 0 0 1 1 {#f,#t} 13 true 144.23554265 true 144.074917764 true 143.748398081 true 143.478763933 true 143.857729608 true 142.843274861 true 143.246262338 true 145.456029409 true 142.351902654 true 144.106066158 true 142.513348402 true 142.558881923 true 141.336097816 13 143.36978581515385 0.8259918302958581 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 16 1084654 0 0 1 1 {#f,#t} 13 true 142.592445777 true 142.632918691 true 142.826666946 true 143.349825197 true 142.875097011 true 140.629065572 true 141.278728171 true 143.732340208 true 143.991720969 true 145.209570258 true 143.936508614 true 142.797563865 true 142.787192803 13 142.972280314 0.824394411692306 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 18 1084654 0 0 1 1 {#f,#t} 13 true 143.846412327 true 143.639588804 true 143.437391417 true 144.239907722 true 144.554034804 true 143.85104163 true 142.819301588 true 143.847672214 true 143.505842056 true 142.498736864 true 143.288463178 true 143.879162168 true 143.980113234 13 143.64520523123076 0.41260115082840143 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 20 1084654 0 0 1 1 {#f,#t} 13 true 145.15112008 true 144.586221194 true 143.2757848 true 144.125554967 true 144.634169049 true 143.450406951 true 143.66231073 true 142.591204245 true 143.53161916 true 143.482350904 true 143.866156577 true 144.478888372 true 143.139676466 13 143.8442664226923 0.5810018004378714 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 24 1084654 0 0 1 1 {#f,#t} 13 true 144.339279314 true 144.355588424 true 143.384666244 true 143.505169324 true 142.849164635 true 143.229374297 true 144.522151534 true 144.715684076 true 144.616060586 true 144.324121351 true 142.994727473 true 145.018010451 true 142.089083717 13 143.84177549430768 0.768994965514795 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 28 1084654 0 0 1 1 {#f,#t} 13 true 145.178322835 true 144.845295378 true 143.696502489 true 143.850825394 true 143.669790735 true 142.252166141 true 142.617802217 true 142.544168613 true 143.831960619 true 143.969419807 true 142.936623519 true 143.974641879 true 144.125067966 13 143.6532759686154 0.6557451360710025 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 32 1084654 0 0 1 1 {#f,#t} 13 true 144.687432087 true 144.398147943 true 143.345770642 true 145.191901316 true 144.147650265 true 144.304044796 true 143.501720956 true 144.257895687 true 142.695070475 true 144.725138429 true 143.350756241 true 143.073551643 true 144.028613204 13 143.97751489876924 0.6031853133609454 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 40 1084654 0 0 1 1 {#f,#t} 13 true 144.603472751 true 143.627403948 true 143.311578839 true 143.221164444 true 143.925618576 true 144.556140743 true 143.390691121 true 144.666472065 true 145.071281255 true 143.414383073 true 144.63430948 true 140.946063193 true 143.403367619 13 143.75168823899998 0.7611023747692295 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 48 1084654 0 0 1 1 {#f,#t} 13 true 142.265536805 true 144.086511028 true 143.280728539 true 144.514573976 true 143.941734294 true 143.03532612 true 143.521451059 true 143.132757228 true 143.050334664 true 143.468916005 true 142.954426337 true 145.225911075 true 142.712145658 13 143.47618098369233 0.601427155928998 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 56 1084654 0 0 1 1 {#f,#t} 13 true 144.654948781 true 142.654889171 true 143.905713665 true 144.515901496 true 143.144429941 true 142.97705627 true 145.11613805 true 144.389405909 true 144.470920054 true 143.21925165 true 144.563617431 true 144.582927249 true 144.263073637 13 144.03525179261538 0.6576797332426036 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-state 64 1084654 0 0 1 1 {#f,#t} 13 true 143.875759565 true 144.661624481 true 143.907857079 true 143.749341597 true 143.458160545 true 145.176270762 true 144.813049282 true 142.924411431 true 142.447998706 true 143.078517276 true 145.405097493 true 146.038837583 true 143.80058828 13 144.10288569846153 0.8585309397988135 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 2 1084654 0 0 1 1 {#f,#t} 13 true 140.329917163 true 142.910799181 true 142.970051242 true 141.249057242 true 141.198923245 true 142.30129926 true 140.667590809 true 142.21683036 true 142.063222497 true 143.162361855 true 140.553253952 true 140.496145283 true 141.572929296 13 141.66864472192307 0.8634917020710042 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 3 1084654 0 0 1 1 {#f,#t} 13 true 144.594456298 true 142.832196794 true 144.741154813 true 144.999928257 true 144.137463545 true 145.483727487 true 143.581415198 true 144.438824589 true 145.015899683 true 145.103285337 true 144.350914307 true 144.069711733 true 145.313626477 13 144.51250803984615 0.563772626627219 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 4 1084654 0 0 1 1 {#f,#t} 13 true 143.808348059 true 143.938015036 true 142.842149771 true 144.814619349 true 142.148750349 true 142.030119686 true 144.041917816 true 143.934911898 true 144.690473895 true 144.766818255 true 143.261022202 true 144.394007325 true 143.008446253 13 143.6676615303077 0.7765875985443748 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 5 1084654 0 0 1 1 {#f,#t} 13 true 144.177414125 true 143.077746894 true 144.057172754 true 143.762484898 true 143.653253905 true 144.208157958 true 143.39726785 true 143.344458198 true 143.209468169 true 143.913028797 true 144.287638544 true 143.518665821 true 141.911499398 13 143.57832748546153 0.46320901273373 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 6 1084654 0 0 1 1 {#f,#t} 13 true 143.912064227 true 143.128139127 true 144.457512037 true 143.000161174 true 144.095749284 true 143.124662008 true 144.114765267 true 144.119881574 true 144.747667692 true 143.484956947 true 143.181713263 true 143.91009198 true 143.797856206 13 143.77501698353848 0.45468498441419586 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 7 1084654 0 0 1 1 {#f,#t} 13 true 144.278966367 true 142.805412933 true 143.89338947 true 144.293041235 true 142.304551628 true 143.613452047 true 143.805170607 true 142.785523388 true 142.973126516 true 142.377623886 true 143.813392498 true 142.674984925 true 144.885872265 13 143.42342367423078 0.7106644260591701 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 8 1084654 0 0 1 1 {#f,#t} 13 true 144.412762902 true 144.678080069 true 144.212573098 true 143.696142407 true 142.84426896 true 142.730047485 true 144.031978578 true 148.383224505 true 144.790416632 true 144.7561175 true 142.194120128 true 143.231351865 true 143.357495416 13 144.10142919576927 1.0191691586745566 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 9 1084654 0 0 1 1 {#f,#t} 13 true 145.026351834 true 142.494170778 true 143.147887542 true 144.194441295 true 143.882018208 true 144.255064229 true 141.850360341 true 143.254411013 true 142.184368014 true 142.627072393 true 143.480104563 true 143.818506571 true 145.835588712 13 143.5423342686923 0.8858408056686358 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 10 1084654 0 0 1 1 {#f,#t} 13 true 144.393737151 true 141.955477393 true 142.984854586 true 143.592361097 true 146.830730004 true 143.920571815 true 144.266358671 true 141.476994247 true 145.523442742 true 143.59660582 true 144.386408629 true 144.459598448 true 144.523506954 13 143.99312673515382 0.9895223773727826 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 12 1084654 0 0 1 1 {#f,#t} 13 true 144.38103474 true 143.401104124 true 142.4894624 true 142.804778127 true 143.799564759 true 144.139293351 true 144.065500965 true 143.559729769 true 142.92536811 true 142.489636479 true 141.705652286 true 143.689473886 true 142.616606818 13 143.2359389087692 0.674481420402366 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 14 1084654 0 0 1 1 {#f,#t} 13 true 143.343219047 true 143.808890546 true 142.235129584 true 142.342963477 true 142.859666536 true 142.726268674 true 143.803658342 true 145.093877482 true 142.864901776 true 142.535661144 true 141.272451226 true 143.585074534 true 143.29957411 13 143.05933357523077 0.7043527091715982 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 16 1084654 0 0 1 1 {#f,#t} 13 true 144.535256857 true 142.600878176 true 143.488308454 true 143.607056201 true 143.568558847 true 143.481031111 true 143.62426408 true 143.936042969 true 141.655707239 true 143.421278901 true 144.088671048 true 144.059076461 true 144.07626847 13 143.5494152933846 0.476903474757397 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 18 1084654 0 0 1 1 {#f,#t} 13 true 143.610378085 true 144.282172639 true 145.688675609 true 144.032683728 true 143.727152655 true 143.837446909 true 143.651026901 true 144.17927667 true 141.916611402 true 143.96229633 true 143.69742443 true 144.044454758 true 143.216316001 13 143.83430123976925 0.49029199455621064 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 20 1084654 0 0 1 1 {#f,#t} 13 true 143.334028929 true 143.103868379 true 144.319433791 true 144.723012929 true 144.241447288 true 143.285564034 true 144.394928384 true 143.559760295 true 142.857749146 true 145.579307415 true 143.370671003 true 142.532694295 true 142.965890299 13 143.7129504759231 0.7220580657514797 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 24 1084654 0 0 1 1 {#f,#t} 13 true 144.825030777 true 143.991568754 true 144.099766188 true 143.783546133 true 143.068967137 true 143.876487492 true 142.979380513 true 142.775357424 true 143.653910261 true 142.381741061 true 144.72369995 true 144.163769505 true 142.716623613 13 143.61844990830767 0.6415661220828454 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 28 1084654 0 0 1 1 {#f,#t} 13 true 144.042208885 true 143.057612581 true 143.141507618 true 143.883537945 true 142.992678746 true 143.188827032 true 144.02729031 true 144.000782706 true 144.715700315 true 144.38315713 true 142.668703705 true 142.886531112 true 142.430777319 13 143.4937934926154 0.629217897739647 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 32 1084654 0 0 1 1 {#f,#t} 13 true 142.889559482 true 142.818105757 true 140.339220418 true 142.40203662 true 141.664227878 true 141.668634127 true 144.263308245 true 144.745469932 true 144.347298547 true 143.700921446 true 143.303336185 true 143.627138684 true 144.365984396 13 143.08732628592304 1.0372574513136106 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 40 1084654 0 0 1 1 {#f,#t} 13 true 144.254091391 true 143.491780248 true 143.304516462 true 144.827271594 true 143.372541102 true 144.345503207 true 143.740831453 true 142.580138414 true 143.118015639 true 143.500600127 true 143.01773939 true 142.958934481 true 143.049556148 13 143.5047322812308 0.4844259261656856 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 48 1084654 0 0 1 1 {#f,#t} 13 true 143.959066253 true 143.504974865 true 143.573541966 true 143.723751571 true 144.068796438 true 145.560054878 true 145.369540071 true 143.952751263 true 142.435915411 true 144.847538745 true 143.106419651 true 142.107687319 true 143.492711651 13 143.82328846784617 0.7412333601420099 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 56 1084654 0 0 1 1 {#f,#t} 13 true 144.637415908 true 144.413793498 true 145.800790813 true 144.494802637 true 142.425676385 true 144.230895269 true 143.690756921 true 145.374397993 true 144.679728105 true 143.776719621 true 142.958893222 true 144.031840782 true 142.450685398 13 144.07433819630768 0.7863779767455631 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-set 64 1084654 0 0 1 1 {#f,#t} 13 true 143.599350246 true 143.826662762 true 144.408265093 true 143.347725942 true 144.687226265 true 141.0586881 true 143.433954378 true 142.446917535 true 143.505426882 true 142.729912757 true 144.488103494 true 144.591448715 true 142.089339384 13 143.40100165792308 0.8203730110177525 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 2 1084654 0 0 1 1 {#f,#t} 13 true 135.733196049 true 131.538215057 true 131.05013499 true 132.338993695 true 129.452437933 true 133.057015867 true 130.953884564 true 134.471046925 true 132.677883158 true 131.601556127 true 134.24097582 true 133.184354554 true 129.423670453 13 132.28641270707692 1.4920887874556177 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 3 1084654 0 0 1 1 {#f,#t} 13 true 83.93986405 true 83.925848904 true 83.707396433 true 83.48515285 true 83.338783118 true 84.377029404 true 84.051691764 true 83.726464842 true 81.873994335 true 83.943815265 true 83.05839424 true 83.128932511 true 83.309032054 13 83.52818459769232 0.45766438125443626 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 4 1084654 0 0 1 1 {#f,#t} 13 true 64.323936399 true 63.464373225 true 62.463158727 true 63.7082633 true 65.231930415 true 63.449796411 true 63.134291502 true 62.930752415 true 64.002131392 true 62.353304493 true 63.87800217 true 64.507056557 true 63.204116623 13 63.588547202230764 0.633851849171596 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 5 1084654 0 0 1 1 {#f,#t} 13 true 54.07654117 true 54.490462736 true 54.530275974 true 54.381490934 true 52.711155493 true 53.402840516 true 52.874057984 true 54.960405784 true 52.514619591 true 52.847292969 true 54.306131374 true 54.635237633 true 52.557554117 13 53.714466636538454 0.8275814075739655 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 6 1084654 0 0 1 1 {#f,#t} 13 true 48.846620785 true 48.881390681 true 47.932830733 true 48.872908187 true 48.411977592 true 48.957700597 true 48.885188963 true 48.158317161 true 48.952266725 true 49.228412972 true 49.908256133 true 47.665356075 true 48.130064008 13 48.679330047076924 0.4766314871360945 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 7 1084654 0 0 1 1 {#f,#t} 13 true 46.113328129 true 44.890910003 true 44.842504452 true 44.94039273 true 45.654364039 true 46.706547682 true 46.349231298 true 46.060813346 true 45.143215707 true 45.297888002 true 45.676775652 true 46.548120367 true 46.854345003 13 45.775264339230766 0.6124307368639049 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 8 1084654 0 0 1 1 {#f,#t} 13 true 44.867490547 true 44.187365462 true 43.809833131 true 44.552831431 true 44.181369881 true 43.9042738 true 44.234866668 true 45.37941323 true 44.775665803 true 45.080011663 true 44.922444735 true 44.902696519 true 43.994366395 13 44.52250994346154 0.43430528057988155 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 9 1084654 0 0 1 1 {#f,#t} 13 true 44.118491247 true 44.070315723 true 43.76508982 true 43.04068651 true 43.685111273 true 43.604482182 true 44.881969103 true 44.383082483 true 43.947261938 true 44.356935729 true 43.800893997 true 43.737108578 true 44.024222903 13 43.955050114307696 0.32380253879290094 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 10 1084654 0 0 1 1 {#f,#t} 13 true 44.265432343 true 44.434901156 true 44.191294367 true 44.213844168 true 43.965658496 true 43.590325965 true 42.974635651 true 42.82352187 true 43.920490716 true 44.53723672 true 43.624392073 true 44.205311809 true 43.796387478 13 43.88795637015385 0.4046952021183428 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 12 1084654 0 0 1 1 {#f,#t} 13 true 43.446677163 true 43.688826579 true 42.060560883 true 42.700488823 true 43.785555034 true 42.879628441 true 41.838441196 true 42.794199548 true 42.367710181 true 42.248924563 true 42.519362651 true 42.792702808 true 42.889701987 13 42.770213835153854 0.4439684175266265 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 14 1084654 0 0 1 1 {#f,#t} 13 true 42.267429402 true 41.33615709 true 42.842947273 true 41.839274138 true 42.226781949 true 41.029092767 true 40.47581219 true 41.998049166 true 41.642222416 true 42.164880613 true 41.702560817 true 42.348560229 true 41.922608153 13 41.83049047715384 0.456401093195268 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 16 1084654 0 0 1 1 {#f,#t} 13 true 43.259336633 true 43.188418551 true 41.881340563 true 43.023848913 true 42.081315908 true 42.156604672 true 41.487421781 true 41.714123542 true 42.752964046 true 41.881161725 true 40.959176607 true 42.72623658 true 41.875825661 13 42.229828860153845 0.5848708341893478 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 18 1084654 0 0 1 1 {#f,#t} 13 true 41.61006907 true 43.698358378 true 42.315874306 true 42.311626417 true 41.569773699 true 42.130064412 true 42.183610009 true 41.506516892 true 42.765940244 true 42.05007562 true 43.357667 true 43.015501033 true 42.550295281 13 42.38964402776923 0.5291602764852061 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 20 1084654 0 0 1 1 {#f,#t} 13 true 42.044140478 true 42.984246247 true 41.603538772 true 42.544682334 true 42.244341761 true 43.120477285 true 43.0183601 true 42.189143362 true 42.276043228 true 41.647542187 true 42.981249834 true 42.517152212 true 40.894784603 13 42.3127463386923 0.5061061507455619 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 24 1084654 0 0 1 1 {#f,#t} 13 true 44.95940596 true 43.49335831 true 45.024605617 true 44.583407383 true 43.408295112 true 45.147283188 true 44.491332188 true 44.726448822 true 44.409116217 true 43.955712183 true 43.728718218 true 43.989109994 true 43.8513767 13 44.289859222461544 0.5096284335029581 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 28 1084654 0 0 1 1 {#f,#t} 13 true 46.149225509 true 44.666210112 true 44.812171789 true 43.873194482 true 45.502004839 true 46.206337281 true 45.466124472 true 45.331153207 true 44.624502293 true 45.267978686 true 44.493937486 true 42.991820466 true 45.302921343 13 44.97596784346153 0.6759954511952666 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 32 1084654 0 0 1 1 {#f,#t} 13 true 46.873740315 true 46.896528876 true 46.493765852 true 46.973596901 true 44.10555499 true 45.562222574 true 46.03517235 true 45.335787501 true 45.08780834 true 44.405853576 true 45.266144268 true 45.262687878 true 45.192491786 13 45.653181169769226 0.7702920684852063 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 40 1084654 0 0 1 1 {#f,#t} 13 true 50.589761295 true 47.910838127 true 48.705078668 true 47.279771309 true 47.543906555 true 45.813732936 true 49.429612982 true 47.05606103 true 47.902618761 true 47.836180547 true 49.465148393 true 48.909716486 true 49.292488453 13 48.28730119553847 1.025846015964498 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 48 1084654 0 0 1 1 {#f,#t} 13 true 51.323160147 true 49.436614613 true 51.441098897 true 53.219466567 true 51.7525353 true 50.999940978 true 52.127164304 true 52.714741552 true 51.649041985 true 51.768454728 true 50.781476982 true 51.958002495 true 52.62275472 13 51.67649640523076 0.6811761275976337 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 56 1084654 0 0 1 1 {#f,#t} 13 true 55.612940905 true 52.893737621 true 53.868147597 true 54.113915104 true 53.572009756 true 53.637521 true 53.588477269 true 54.140340585 true 54.001080016 true 53.407181798 true 53.620230177 true 54.406101989 true 54.106994694 13 53.92066757776924 0.4395950502130181 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-L-SA-part 64 1084654 0 0 1 1 {#f,#t} 13 true 58.107570411 true 55.744929302 true 57.698650983 true 58.196911799 true 55.924243515 true 58.551305718 true 57.30335773 true 56.147118905 true 56.363020978 true 56.783558514 true 56.40878511 true 60.842998514 true 57.65565629 13 57.36370059761539 1.0570600198934916 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 2 1084654 0 0 1 1 {#f,#t} 13 true 161.114998545 true 160.585132422 true 164.879913849 true 167.827329142 true 163.814356578 true 164.018370915 true 166.409444222 true 151.426257785 true 159.890831133 true 160.547888134 true 157.948932607 true 162.584724436 true 162.782448602 13 161.83312525923077 2.997647835289939 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 3 1084654 0 0 1 1 {#f,#t} 13 true 90.411847573 true 91.774123487 true 90.330661409 true 89.552887915 true 90.292354729 true 90.139767478 true 90.404870289 true 89.580920632 true 92.473246941 true 91.350450418 true 90.87885608 true 91.396256511 true 91.693805948 13 90.79077303153846 0.7418617224260362 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 4 1084654 0 0 1 1 {#f,#t} 13 true 64.425299768 true 64.413700357 true 64.955688477 true 64.707925974 true 65.284828984 true 64.877765045 true 65.238909853 true 65.433332025 true 65.182140421 true 64.922442123 true 64.869487297 true 64.08925001 true 64.38724431 13 64.82984728030769 0.327048612698225 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 5 1084654 0 0 1 1 {#f,#t} 13 true 52.417312948 true 51.581708301 true 50.866427348 true 50.113042961 true 51.335143668 true 51.013616171 true 51.264265785 true 50.837052534 true 50.890511305 true 51.641467994 true 50.792786419 true 50.656592075 true 50.865058693 13 51.09807586169232 0.42300298269822834 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 6 1084654 0 0 1 1 {#f,#t} 13 true 42.412272815 true 42.475350672 true 42.117706318 true 42.730383133 true 42.403784616 true 42.090851252 true 41.795297394 true 42.25619609 true 42.163340308 true 42.361219146 true 42.130412157 true 41.6730243 true 41.843319451 13 42.18870443476923 0.2318430559053248 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 7 1084654 0 0 1 1 {#f,#t} 13 true 36.87229537 true 36.668472324 true 37.009582285 true 36.922966544 true 36.914045533 true 36.757034802 true 36.657286796 true 36.657514314 true 36.193942788 true 37.539312666 true 37.34431042 true 37.633399171 true 37.551000707 13 36.97855105538462 0.3361307649349127 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 8 1084654 0 0 1 1 {#f,#t} 13 true 33.356006421 true 32.716986986 true 33.330013797 true 33.048066689 true 32.491466632 true 33.318245521 true 32.88305379 true 33.690268907 true 33.782380114 true 33.234005242 true 32.85972997 true 33.24765409 true 33.313827498 13 33.174746589 0.28837367353846094 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 9 1084654 0 0 1 1 {#f,#t} 13 true 31.686870299 true 30.507697612 true 31.291782676 true 30.678020629 true 29.776481721 true 30.493527581 true 31.095842588 true 30.634704809 true 30.780736143 true 31.600780957 true 31.610314448 true 30.887107578 true 30.690397146 13 30.90263570669231 0.42652498992899485 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 10 1084654 0 0 1 1 {#f,#t} 13 true 30.141764787 true 28.845572294 true 28.823220719 true 28.936382921 true 28.559389758 true 29.308849713 true 29.284452038 true 28.925552878 true 28.56949651 true 28.628516641 true 29.154753204 true 28.759738561 true 28.850103094 13 28.983676393692306 0.3007867949585794 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 12 1084654 0 0 1 1 {#f,#t} 13 true 27.564347166 true 27.171338758 true 26.854038056 true 27.081727024 true 26.106671823 true 27.506810257 true 25.920219133 true 26.675973986 true 26.90830514 true 27.162406217 true 26.245041635 true 26.608576946 true 26.845222412 13 26.819282965615386 0.3907586623195266 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 14 1084654 0 0 1 1 {#f,#t} 13 true 26.35669813 true 26.959365889 true 26.724699515 true 27.407143274 true 26.719604113 true 27.099177598 true 26.383633508 true 27.629088046 true 26.615799138 true 26.76350435 true 27.220968446 true 26.587835507 true 26.042173864 13 26.808437798307697 0.3497775786863915 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 16 1084654 0 0 1 1 {#f,#t} 13 true 26.180603449 true 26.934239957 true 26.74258502 true 26.780038096 true 27.22365665 true 26.484444179 true 26.52254066 true 27.809144053 true 27.682130143 true 28.00496398 true 26.155302227 true 26.482052038 true 26.11164505 13 26.854872730923077 0.5199647889822484 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 18 1084654 0 0 1 1 {#f,#t} 13 true 28.708429143 true 27.610708208 true 27.753046222 true 28.162899455 true 26.646398232 true 27.78289049 true 26.959813332 true 26.624563704 true 26.478566546 true 27.153904402 true 27.705807413 true 28.925719825 true 28.225252355 13 27.59523071746154 0.6327549802011831 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 20 1084654 0 0 1 1 {#f,#t} 13 true 28.547008138 true 26.989121006 true 28.788106991 true 27.352697255 true 26.698151611 true 28.362342899 true 28.534106977 true 27.619104046 true 26.793880881 true 26.976073304 true 28.108669645 true 27.488458724 true 27.407319126 13 27.666541584846154 0.6165425731952662 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 24 1084654 0 0 1 1 {#f,#t} 13 true 28.36714062 true 27.214728665 true 28.278321185 true 28.576584469 true 28.495706189 true 28.078780655 true 28.883079575 true 28.325513823 true 27.906854225 true 28.50997258 true 28.475211909 true 27.102272351 true 28.105899711 13 28.178466612076924 0.3821226851360945 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 28 1084654 0 0 1 1 {#f,#t} 13 true 28.566820329 true 27.690176691 true 29.084464111 true 28.709204219 true 28.440978314 true 28.417684889 true 28.389241344 true 27.893763355 true 28.468716957 true 27.786363891 true 29.32915871 true 27.796713989 true 28.152430106 13 28.363516685 0.38432852199999945 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 32 1084654 0 0 1 1 {#f,#t} 13 true 28.535913587 true 28.795319132 true 28.850080635 true 28.592197043 true 28.717045603 true 29.765658165 true 28.468252931 true 28.397377733 true 28.151865092 true 27.632693025 true 28.56704464 true 28.63223862 true 27.852927809 13 28.535278001153845 0.3343497562721896 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 40 1084654 0 0 1 1 {#f,#t} 13 true 29.896526103 true 28.672633241 true 29.058575766 true 28.563443173 true 28.594112708 true 29.336303003 true 28.532214527 true 28.627308886 true 28.433783975 true 28.836065093 true 28.965756045 true 29.407023322 true 28.228254664 13 28.857846192769234 0.3653774269467461 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 48 1084654 0 0 1 1 {#f,#t} 13 true 29.374089899 true 28.7658513 true 29.057597435 true 28.250549153 true 27.990637724 true 28.49996965 true 28.605134725 true 28.694692131 true 28.558171182 true 28.128201273 true 29.241166972 true 29.472966829 true 28.974245295 13 28.739482582153848 0.3767726518579887 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 56 1084654 0 0 1 1 {#f,#t} 13 true 28.895451763 true 29.264661943 true 27.985074933 true 30.213494415 true 28.163941024 true 28.960219061 true 29.037796602 true 28.644619164 true 28.06721908 true 28.558825772 true 29.416554031 true 29.326695624 true 28.785721624 13 28.87079038738462 0.4645139580473368 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-set 64 1084654 0 0 1 1 {#f,#t} 13 true 28.077959598 true 29.377413693 true 28.518953466 true 29.098094426 true 29.594998814 true 28.909554859 true 28.023147057 true 29.07965635 true 28.512897275 true 28.32390529 true 28.725611277 true 28.953033942 true 29.323947913 13 28.809167227692303 0.4111583697159773 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 2 1084654 0 0 1 1 {#f,#t} 13 true 134.917603097 true 133.982216484 true 132.618853405 true 131.989867012 true 129.783320419 true 130.533764909 true 131.336079129 true 131.589262132 true 128.317133328 true 131.839763586 true 129.828470857 true 131.431077748 true 133.842170595 13 131.69304482315385 1.3895700369349084 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 3 1084654 0 0 1 1 {#f,#t} 13 true 81.855713999 true 79.36237397 true 78.579049953 true 80.132367668 true 80.011479572 true 78.642019368 true 80.946341735 true 81.411736826 true 78.832572042 true 80.568273995 true 81.506930717 true 79.824390621 true 80.750537251 13 80.18644520900001 0.9109020413846167 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 4 1084654 0 0 1 1 {#f,#t} 13 true 58.51535908 true 59.440704912 true 58.938102575 true 60.016284256 true 59.38790821 true 59.389591412 true 59.808113228 true 58.670168923 true 59.099672694 true 59.02674317 true 60.250798638 true 58.604519334 true 59.412937038 13 59.273915651538466 0.429065866650887 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 5 1084654 0 0 1 1 {#f,#t} 13 true 48.498715023 true 48.757019359 true 48.254131403 true 47.140661861 true 47.43378835 true 47.825262171 true 47.829519256 true 49.414408189 true 47.431666224 true 49.219514788 true 48.776520412 true 48.526780746 true 48.216515708 13 48.2557310376923 0.5628572755147926 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 6 1084654 0 0 1 1 {#f,#t} 13 true 42.208843733 true 41.07974731 true 40.692892755 true 41.672504425 true 40.455531096 true 41.026858842 true 40.530786998 true 40.555888549 true 42.200638071 true 41.166724402 true 40.857947166 true 40.097190767 true 40.531999064 13 41.00596562907693 0.5106958474674561 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 7 1084654 0 0 1 1 {#f,#t} 13 true 35.855154215 true 35.049136832 true 36.629948798 true 35.458752088 true 35.97553809 true 35.139198418 true 36.126109385 true 35.398797377 true 35.958686191 true 35.160214181 true 35.311893046 true 35.162164086 true 35.643943463 13 35.60534893615385 0.3934286961656808 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 8 1084654 0 0 1 1 {#f,#t} 13 true 31.764680191 true 31.871697826 true 31.44717583 true 31.579757907 true 31.455534325 true 32.163790244 true 31.922125981 true 31.615279589 true 31.681028548 true 31.198011813 true 31.725220747 true 32.371277175 true 31.605151374 13 31.723133196153842 0.227691228781065 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 9 1084654 0 0 1 1 {#f,#t} 13 true 29.643996566 true 28.246597964 true 28.266268124 true 28.626008248 true 28.841656648 true 28.314623912 true 28.350173974 true 28.976087571 true 29.106621502 true 29.01856388 true 29.216691857 true 28.570746653 true 28.045469086 13 28.709500460384618 0.39178696333727814 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 10 1084654 0 0 1 1 {#f,#t} 13 true 26.580743086 true 26.270810513 true 25.811625639 true 26.202173033 true 26.393819816 true 26.430209296 true 27.21236457 true 26.940216275 true 26.883118092 true 26.885668669 true 26.413989512 true 26.829031378 true 26.232686265 13 26.545112011076924 0.3169953851597629 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 12 1084654 0 0 1 1 {#f,#t} 13 true 24.383015693 true 23.397478738 true 23.276573971 true 23.890078402 true 23.051870907 true 23.429468618 true 23.673193175 true 23.288923235 true 22.949597432 true 24.383901343 true 23.983377762 true 24.074811982 true 24.018730916 13 23.677001705692305 0.4110624405917155 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 14 1084654 0 0 1 1 {#f,#t} 13 true 23.001286445 true 22.775873654 true 22.761622785 true 22.669672328 true 22.935903238 true 22.539519708 true 22.119760649 true 21.715817811 true 22.411947553 true 21.707454183 true 21.942455938 true 22.436010227 true 22.569568161 13 22.429760975384617 0.3463644219881657 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 16 1084654 0 0 1 1 {#f,#t} 13 true 22.020591238 true 21.530754817 true 20.983325256 true 20.970013881 true 21.42560957 true 20.837209993 true 21.2962324 true 21.13396909 true 20.692170144 true 21.445082177 true 20.518021982 true 20.954540332 true 20.887915763 13 21.130418203307688 0.3184200111005916 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 18 1084654 0 0 1 1 {#f,#t} 13 true 20.886472568 true 20.602429819 true 20.279725742 true 20.623599026 true 20.145105796 true 20.721041062 true 20.617349375 true 20.803754944 true 21.045027888 true 20.180999028 true 20.220585827 true 20.52255613 true 20.694442418 13 20.564853047923073 0.2269681102485219 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 20 1084654 0 0 1 1 {#f,#t} 13 true 21.043097197 true 21.621278658 true 21.298300362 true 21.2195376 true 21.191332202 true 20.283017961 true 20.660160803 true 20.633792415 true 21.131439879 true 19.769063603 true 20.639022802 true 21.637402352 true 20.860246513 13 20.922130180538463 0.41345799788165694 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 24 1084654 0 0 1 1 {#f,#t} 13 true 22.81054668 true 22.584204913 true 22.581863903 true 22.250505779 true 22.940933852 true 21.311991408 true 21.86193992 true 21.192265059 true 22.251846536 true 21.576012787 true 21.38003997 true 21.717807125 true 22.005314878 13 22.035790216153842 0.49310159478106474 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 28 1084654 0 0 1 1 {#f,#t} 13 true 24.667952904 true 23.899513253 true 23.698170379 true 23.752271082 true 23.18786349 true 23.473570612 true 23.825664907 true 23.543318949 true 23.915209068 true 24.152012739 true 24.32385354 true 23.927462268 true 23.968926644 13 23.871983833461538 0.26939132027218915 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 32 1084654 0 0 1 1 {#f,#t} 13 true 25.824934266 true 26.449146911 true 25.733179417 true 25.284800153 true 25.545333734 true 25.597718072 true 26.689872605 true 25.733806092 true 25.168727455 true 25.534254675 true 25.107315846 true 24.868587594 true 25.797412175 13 25.641160691923076 0.36636727914792916 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 40 1084654 0 0 1 1 {#f,#t} 13 true 27.187986201 true 28.27428349 true 29.346709772 true 27.190028506 true 28.588197868 true 27.511533538 true 27.643185728 true 28.091516733 true 28.508474858 true 28.341464341 true 28.866991264 true 28.226546748 true 28.397644483 13 28.167274117692305 0.4941722896094682 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 48 1084654 0 0 1 1 {#f,#t} 13 true 30.472168867 true 30.428469877 true 30.001691064 true 31.018190761 true 30.512891436 true 29.435383862 true 30.39817737 true 30.681331118 true 30.923815569 true 29.65432971 true 30.401114278 true 29.28470278 true 28.346801331 13 30.11992830946154 0.5964204308165681 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 56 1084654 0 0 1 1 {#f,#t} 13 true 31.627848413 true 30.165234723 true 30.940457169 true 31.514184246 true 31.449995753 true 32.444316486 true 31.450274177 true 32.789313852 true 32.376903717 true 32.454974511 true 31.552826118 true 31.36094104 true 31.814222279 13 31.68780711415384 0.5293377344970404 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-S-part 64 1084654 0 0 1 1 {#f,#t} 13 true 32.445959549 true 33.869948972 true 33.212673704 true 31.959362364 true 31.726346859 true 32.883793219 true 32.602826536 true 32.835149532 true 33.611373692 true 33.69217929 true 32.653294701 true 33.108512291 true 33.589202478 13 32.93774024515385 0.5319152240118336 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 1 1084654 0 0 1 1 {#f,#t} 13 true 69.22476971 true 65.046049484 true 65.157183825 true 64.639489915 true 66.549506047 true 65.132755006 true 65.847141432 true 64.919619786 true 67.771690723 true 67.284686103 true 65.534821713 true 65.646725695 true 66.248063636 13 66.07711562115387 1.029713555881662 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 2 1084654 0 0 1 1 {#f,#t} 13 true 38.895805926 true 37.7711586 true 37.973265121 true 38.548050427 true 37.765191466 true 37.936506932 true 38.278021808 true 37.359205531 true 36.701259789 true 35.956735175 true 37.971933121 true 37.12856501 true 37.431081135 13 37.670521541615386 0.5808863181656796 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 3 1084654 0 0 1 1 {#f,#t} 13 true 28.840964694 true 28.188140707 true 27.96437738 true 27.382297081 true 28.392043825 true 28.10400581 true 27.653802019 true 29.478925812 true 29.839561102 true 30.302674134 true 29.205086275 true 29.902259052 true 29.108318294 13 28.79711201423077 0.784308502059172 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 4 1084654 0 0 1 1 {#f,#t} 13 true 26.026608294 true 28.534394296 true 25.336806803 true 25.938376842 true 27.467005494 true 25.196074446 true 27.294188503 true 27.118173844 true 26.519614684 true 25.762369588 true 24.133327974 true 26.60681422 true 27.549596106 13 26.421796238 0.9441866893846154 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 5 1084654 0 0 1 1 {#f,#t} 13 true 24.463972227 true 23.840383558 true 22.887650852 true 23.934654503 true 23.118611117 true 22.382387212 true 23.007706902 true 23.246668499 true 22.787786118 true 22.162956709 true 22.797368845 true 23.746141416 true 22.636979902 13 23.15486675846154 0.5319209862603553 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 6 1084654 0 0 1 1 {#f,#t} 13 true 23.107848331 true 21.659404557 true 22.814496023 true 22.864160693 true 22.307229506 true 22.244234134 true 22.257625367 true 21.449013547 true 22.151106103 true 22.623121235 true 22.853334574 true 22.141852696 true 21.824439301 13 22.33060508207692 0.4015285300946743 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 7 1084654 0 0 1 1 {#f,#t} 13 true 21.263895789 true 21.578006752 true 20.667320249 true 21.537067458 true 21.067280422 true 21.266539283 true 21.078866931 true 21.201141738 true 20.727327025 true 20.687463501 true 20.983553957 true 21.056088971 true 20.599958873 13 21.054962380692306 0.24756743053254482 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 8 1084654 0 0 1 1 {#f,#t} 13 true 21.127847962 true 20.456094104 true 20.161518245 true 19.56427997 true 20.20355414 true 20.211097587 true 20.337669163 true 20.250472549 true 20.384235957 true 20.616659547 true 20.100596233 true 20.002708084 true 20.322980243 13 20.287670291076928 0.2337638814674559 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 9 1084654 0 0 1 1 {#f,#t} 13 true 19.829610795 true 19.394703225 true 19.365991715 true 18.494578985 true 19.112709703 true 18.770427999 true 18.618469119 true 18.576248053 true 18.64593134 true 19.167763591 true 18.132036753 true 18.385486875 true 19.132504597 13 18.89434328846154 0.4057267531124259 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 10 1084654 0 0 1 1 {#f,#t} 13 true 18.663711673 true 18.581412166 true 18.196879677 true 18.057563315 true 17.520013794 true 17.788978168 true 17.600307037 true 17.948956953 true 18.76946097 true 17.902080798 true 17.659234472 true 18.062737694 true 17.621340693 13 18.028667493076924 0.3322708517751477 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 12 1084654 0 0 1 1 {#f,#t} 13 true 16.406213812 true 16.088715457 true 16.033889937 true 15.857849749 true 16.069086271 true 15.972893089 true 16.537393652 true 16.101856971 true 15.899781953 true 16.02189238 true 16.86098981 true 16.497443084 true 16.081668655 13 16.186898063076924 0.23914586241420152 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 14 1084654 0 0 1 1 {#f,#t} 13 true 15.929950933 true 14.873390967 true 15.544449667 true 15.267356768 true 15.078666441 true 15.165380486 true 15.047186774 true 15.382492958 true 15.330405225 true 14.910444698 true 15.105265169 true 14.776887734 true 14.737837044 13 15.165362681846155 0.2504399916804735 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 16 1084654 0 0 1 1 {#f,#t} 13 true 14.914488171 true 14.886327425 true 14.528607395 true 14.632655064 true 14.844067357 true 15.107723401 true 15.029831431 true 14.475859319 true 14.673402634 true 14.61489043 true 14.219833445 true 14.872730002 true 14.520082884 13 14.716961458307695 0.20821523648520718 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 18 1084654 0 0 1 1 {#f,#t} 13 true 14.473027673 true 13.96962477 true 14.04320579 true 14.223984788 true 14.44718116 true 14.35303528 true 14.227802413 true 14.329858991 true 14.429941986 true 14.967002543 true 14.480557172 true 14.472208301 true 14.205338634 13 14.355597653923077 0.17482044791715978 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 20 1084654 0 0 1 1 {#f,#t} 13 true 14.543591917 true 14.277161748 true 15.275374041 true 13.807782736 true 14.488023123 true 18.602187548 true 15.45600886 true 14.292917213 true 14.066864901 true 15.048067734 true 14.76265112 true 14.391905956 true 14.411671228 13 14.878785240384612 0.7486918802248509 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 24 1084654 0 0 1 1 {#f,#t} 13 true 17.483691347 true 15.665063124 true 15.740153463 true 15.720855618 true 16.09980735 true 16.170723794 true 16.017084497 true 16.338856289 true 15.628148306 true 15.693477641 true 16.232659334 true 15.530316396 true 16.143316787 13 16.035704149692307 0.346896923514793 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 28 1084654 0 0 1 1 {#f,#t} 13 true 17.857570676 true 18.105054891 true 18.103807233 true 18.656521213 true 17.911034917 true 18.163266485 true 18.252524664 true 17.530354718 true 17.659433243 true 18.005220822 true 17.849815725 true 17.971596177 true 17.713732678 13 17.98307180323077 0.2135329982485213 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 32 1084654 0 0 1 1 {#f,#t} 13 true 19.53428961 true 19.547139181 true 20.03442541 true 19.806022076 true 19.873990939 true 19.791644562 true 19.488197071 true 20.178728418 true 20.148852086 true 19.652536086 true 19.907984058 true 19.767443898 true 20.024305826 13 19.82735070930769 0.18525884325443798 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 40 1084654 0 0 1 1 {#f,#t} 13 true 22.79928614 true 21.432973954 true 21.204472718 true 21.913844022 true 21.975057556 true 22.576045247 true 22.124653564 true 22.323833962 true 22.035882102 true 21.530798019 true 22.271531248 true 22.148663428 true 20.882191744 13 21.93994105415385 0.4208345867337266 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 48 1084654 0 0 1 1 {#f,#t} 13 true 24.581034183 true 24.116639926 true 23.7106907 true 24.362487585 true 26.659215894 true 25.296257879 true 25.003989225 true 31.38477785 true 23.666405545 true 23.539488906 true 22.996540056 true 23.306605775 true 23.894998053 13 24.809163967461537 1.4011669197159753 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 56 1084654 0 0 1 1 {#f,#t} 13 true 23.979579737 true 24.136740774 true 23.770824582 true 24.269760602 true 24.627773622 true 24.206019872 true 23.917353962 true 23.321095178 true 22.560326436 true 23.616970227 true 23.52369701 true 24.410725444 true 23.743245919 13 23.852624104999997 0.39685927353846207 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-state 64 1084654 0 0 1 1 {#f,#t} 13 true 24.13669734 true 24.221210401 true 24.453775636 true 24.535153765 true 24.625956854 true 24.232138165 true 24.376467905 true 24.109099747 true 24.629235227 true 23.85210127 true 24.590751384 true 24.930379732 true 24.909629594 13 24.430969001538465 0.25509218172781034 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 1 1084654 0 0 1 1 {#f,#t} 13 true 68.203339075 true 66.842884681 true 66.076288298 true 66.789625208 true 68.096836759 true 67.354167878 true 65.411369436 true 67.825269245 true 66.64906018 true 65.725277556 true 67.030132792 true 67.515603628 true 66.33724132 13 66.912084312 0.7004374623076921 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 2 1084654 0 0 1 1 {#f,#t} 13 true 37.593241659 true 37.587252627 true 38.043080015 true 38.186542806 true 38.681590874 true 37.877000134 true 37.459856785 true 37.912998343 true 37.839661501 true 36.276574968 true 37.353445557 true 37.259269423 true 36.454507442 13 37.578847856461536 0.4754746318934917 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 3 1084654 0 0 1 1 {#f,#t} 13 true 28.196914774 true 28.026343456 true 27.636836188 true 27.688149012 true 26.948704734 true 27.763910274 true 28.5212308 true 27.164926214 true 28.165047549 true 26.57328802 true 27.676550665 true 28.266415402 true 28.878408601 13 27.808209668384617 0.4930927033372781 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 4 1084654 0 0 1 1 {#f,#t} 13 true 23.694284976 true 23.442802929 true 22.673495247 true 22.13488705 true 22.692434646 true 23.26599679 true 22.417066049 true 21.788601982 true 23.870080929 true 23.472238454 true 22.943309811 true 23.238467997 true 23.038503522 13 22.974782337076924 0.4921383442248519 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 5 1084654 0 0 1 1 {#f,#t} 13 true 21.453354626 true 20.939257778 true 20.444267997 true 21.729772619 true 20.031829425 true 20.531210728 true 20.990336582 true 20.629980923 true 21.104393539 true 20.238500984 true 20.275992622 true 21.11713087 true 21.378447121 13 20.835728908769234 0.4403985805562124 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 6 1084654 0 0 1 1 {#f,#t} 13 true 20.121393648 true 20.94313122 true 19.645421768 true 19.604263103 true 20.356310658 true 19.675424278 true 19.530522002 true 19.597165693 true 19.670911083 true 19.619517537 true 20.40542478 true 19.195823388 true 18.310916152 13 19.744325023846155 0.43830157086390586 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 7 1084654 0 0 1 1 {#f,#t} 13 true 19.137115779 true 18.145067809 true 18.203983291 true 19.109975866 true 18.574826546 true 18.038298693 true 19.546672345 true 18.567961225 true 19.053053708 true 18.263538857 true 18.974268795 true 18.507987722 true 18.069356254 13 18.630162068461537 0.4108117154911237 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 8 1084654 0 0 1 1 {#f,#t} 13 true 18.022579927 true 18.491324992 true 18.273664537 true 17.945293157 true 17.814520077 true 18.094691728 true 18.37500817 true 18.336707221 true 18.453546635 true 17.770656647 true 18.075311864 true 17.856306767 true 18.226127988 13 18.13351843923077 0.20850290886390527 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 9 1084654 0 0 1 1 {#f,#t} 13 true 17.930593179 true 17.735431439 true 17.088327671 true 17.47228987 true 17.43806387 true 18.152644461 true 18.024227419 true 17.580499799 true 17.808127712 true 17.29306313 true 16.620392341 true 17.492580805 true 18.41016161 13 17.61895410046154 0.36114787957396477 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 10 1084654 0 0 1 1 {#f,#t} 13 true 17.688114085 true 16.82142464 true 17.016313225 true 17.755413872 true 18.378304516 true 17.427083369 true 17.822673389 true 17.386576341 true 16.904190289 true 16.743142854 true 16.956568374 true 17.265634422 true 17.299365701 13 17.343446544384612 0.3688440470295855 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 12 1084654 0 0 1 1 {#f,#t} 13 true 17.263343411 true 16.615782591 true 16.638620114 true 16.705722 true 16.239011083 true 16.648998566 true 16.176026414 true 15.86024627 true 15.944938828 true 16.275263973 true 16.100823436 true 16.410307168 true 16.085775477 13 16.38191225623077 0.3063538942485208 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 14 1084654 0 0 1 1 {#f,#t} 13 true 15.910352253 true 15.148195643 true 15.253856471 true 15.518341699 true 15.347033583 true 15.623426754 true 15.699763679 true 15.388423082 true 15.60811759 true 14.980832904 true 14.831060842 true 15.826774704 true 15.077894333 13 15.401082579769232 0.27388941544378737 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 16 1084654 0 0 1 1 {#f,#t} 13 true 14.821148483 true 14.854861827 true 14.582068389 true 14.565911178 true 15.249179264 true 14.876602479 true 14.594754168 true 14.417863381 true 14.784936387 true 15.157197328 true 14.493869982 true 14.71539651 true 14.902310298 13 14.770469205692308 0.19276178863905344 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 18 1084654 0 0 1 1 {#f,#t} 13 true 15.449553297 true 15.064772942 true 14.366707814 true 14.218255107 true 14.399965938 true 15.12751917 true 15.012529676 true 14.726176434 true 14.820098228 true 14.946593717 true 14.429099553 true 14.774802491 true 15.533040329 13 14.836085745846152 0.3257684086035501 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 20 1084654 0 0 1 1 {#f,#t} 13 true 15.004074903 true 15.180456805 true 14.931724558 true 15.024425924 true 14.852704785 true 14.873540245 true 15.046520631 true 14.507742761 true 14.331559046 true 15.162446849 true 14.469817432 true 14.644725962 true 14.639135859 13 14.820682750769228 0.23237426059171676 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 24 1084654 0 0 1 1 {#f,#t} 13 true 15.988872045 true 15.521726212 true 15.226705165 true 14.576756577 true 15.733886196 true 15.49866741 true 14.844465214 true 14.961248115 true 15.52591811 true 14.704311585 true 14.723291713 true 15.301754674 true 15.616907507 13 15.248039271000001 0.37714727030769235 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 28 1084654 0 0 1 1 {#f,#t} 13 true 17.284084027 true 17.106209672 true 17.098696726 true 16.758633276 true 16.484905673 true 16.922505021 true 17.699872646 true 16.874201307 true 17.318229542 true 16.63204551 true 16.066046108 true 16.202391925 true 17.048047309 13 16.884297595538463 0.3519325806508872 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 32 1084654 0 0 1 1 {#f,#t} 13 true 18.543607268 true 17.332299771 true 18.172548258 true 18.325590432 true 18.527958852 true 18.24706506 true 18.037284449 true 18.534692346 true 18.379932412 true 18.182432437 true 18.440005354 true 18.262455574 true 18.789243218 13 18.290393494692303 0.23204237217751492 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 40 1084654 0 0 1 1 {#f,#t} 13 true 20.652159381 true 19.854296066 true 20.535760809 true 19.786186829 true 20.197464265 true 20.05571449 true 19.378789561 true 20.083029971 true 19.681747662 true 19.815204774 true 20.31269029 true 20.689352781 true 19.299306865 13 20.026284903384614 0.3603350251242604 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 48 1084654 0 0 1 1 {#f,#t} 13 true 21.362067289 true 20.989209152 true 21.0827241 true 20.627025536 true 21.32835017 true 20.931550119 true 20.791243293 true 20.913979225 true 21.129054551 true 21.435971526 true 20.898883784 true 20.707064069 true 20.489667053 13 20.975906912846156 0.22645158629585785 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 56 1084654 0 0 1 1 {#f,#t} 13 true 21.853638105 true 21.008938108 true 20.816398094 true 21.131328871 true 20.97153094 true 20.832015285 true 21.413013681 true 22.31083937 true 21.301124665 true 21.033964645 true 21.476470802 true 21.425919736 true 20.625069834 13 21.24617324123077 0.3544564479408284 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-set 64 1084654 0 0 1 1 {#f,#t} 13 true 21.661296088 true 22.659605891 true 21.367970398 true 21.402817539 true 22.70558865 true 21.888252151 true 22.773039964 true 22.03027392 true 21.770438397 true 22.443795409 true 22.227618014 true 22.213564338 true 22.267925316 13 22.10862969807692 0.3893430300710061 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 1 1084654 0 0 1 1 {#f,#t} 13 true 65.873423631 true 64.627113226 true 66.211371838 true 64.023098599 true 63.474101075 true 63.496213983 true 64.661624029 true 65.058485055 true 64.828709669 true 65.425880951 true 64.712592956 true 64.839807702 true 64.375536508 13 64.73907378630769 0.5851132504852086 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 2 1084654 0 0 1 1 {#f,#t} 13 true 41.387377947 true 40.373298569 true 50.306221581 true 42.611075227 true 45.919168529 true 45.925340414 true 45.671050816 true 43.223539865 true 41.830440292 true 43.483038243 true 46.364311605 true 45.666571182 true 43.089285836 13 44.29620923892308 2.1654474913017747 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 3 1084654 0 0 1 1 {#f,#t} 13 true 41.702325322 true 41.039417519 true 41.955672751 true 44.300608623 true 41.425423367 true 42.85074934 true 41.737970145 true 43.290463435 true 46.134487304 true 44.312759192 true 42.906102792 true 44.359720917 true 44.657638907 13 43.128718431846146 1.274364274911242 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 4 1084654 0 0 1 1 {#f,#t} 13 true 38.883224931 true 37.484092964 true 39.628860522 true 38.461479728 true 38.758790856 true 37.971316631 true 38.193787221 true 38.954458337 true 38.393568409 true 38.35700695 true 39.778618218 true 38.377745437 true 39.355923032 13 38.66145178738462 0.5217177187218934 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 5 1084654 0 0 1 1 {#f,#t} 13 true 32.291908054 true 33.937261881 true 33.610864869 true 33.243386315 true 33.109339068 true 33.197309705 true 32.789583834 true 33.167911315 true 31.563666737 true 32.874931568 true 33.495741266 true 33.881993561 true 32.568161105 13 33.056312252153845 0.49127845581065144 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 6 1084654 0 0 1 1 {#f,#t} 13 true 29.991256373 true 29.738044013 true 30.258176073 true 29.179593544 true 29.455076698 true 29.329322522 true 29.726089006 true 29.985770355 true 29.980633564 true 30.169567537 true 30.494296334 true 29.567036913 true 29.452408212 13 29.794405472615384 0.32511806158579926 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 7 1084654 0 0 1 1 {#f,#t} 13 true 26.410098288 true 26.393793775 true 26.474200094 true 26.224742753 true 26.351716844 true 26.217544044 true 26.208821946 true 27.23921798 true 26.274858017 true 26.607726337 true 26.497809363 true 25.968913805 true 26.911774408 13 26.444709050307686 0.2318742969940813 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 8 1084654 0 0 1 1 {#f,#t} 13 true 24.569697845 true 24.815686355 true 23.647970446 true 24.484298162 true 24.986996152 true 24.863709053 true 24.591277044 true 24.426645908 true 24.35918868 true 24.403764254 true 23.944957313 true 24.16303641 true 23.972768114 13 24.402307364307696 0.2959409013136092 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 9 1084654 0 0 1 1 {#f,#t} 13 true 21.897589025 true 22.294660652 true 22.029958558 true 21.62285896 true 22.075003629 true 21.784194702 true 22.273007777 true 21.763138324 true 21.698231197 true 22.303365341 true 21.626046308 true 22.279457979 true 22.315636218 13 21.997165282307694 0.24475895043787033 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 10 1084654 0 0 1 1 {#f,#t} 13 true 20.701508949 true 20.203911961 true 20.13038857 true 20.201607955 true 20.723271461 true 20.828740287 true 20.416721124 true 20.62057953 true 20.880000362 true 20.277750326 true 20.402360677 true 20.755259228 true 20.580768409 13 20.517143756846153 0.22617260431952685 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 12 1084654 0 0 1 1 {#f,#t} 13 true 18.612990738 true 17.928170571 true 17.673386762 true 18.303988271 true 18.839642056 true 18.625158541 true 18.146508742 true 18.498258823 true 17.904077867 true 18.227432833 true 17.92462879 true 18.847531938 true 18.433135106 13 18.304993156769235 0.31180896328994095 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 14 1084654 0 0 1 1 {#f,#t} 13 true 16.823372223 true 16.213524815 true 16.933673694 true 16.590790266 true 16.988160106 true 16.120069958 true 16.606111874 true 17.009828305 true 17.237520402 true 16.714807067 true 16.583810345 true 17.140985331 true 16.801733513 13 16.751106761461536 0.25808096057988195 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 16 1084654 0 0 1 1 {#f,#t} 13 true 15.879900057 true 15.350201307 true 15.820070915 true 15.073563467 true 15.272564401 true 15.098497846 true 15.544396277 true 15.744526366 true 15.697646935 true 15.513798033 true 15.385977187 true 15.096298974 true 15.206726675 13 15.437243726153849 0.24259634247337303 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 18 1084654 0 0 1 1 {#f,#t} 13 true 14.996655518 true 14.238142317 true 14.253727456 true 14.371023602 true 14.315565751 true 14.179832046 true 14.273872566 true 14.473196555 true 14.897569377 true 14.866491887 true 14.984490132 true 14.751240931 true 14.477486492 13 14.544561125384615 0.2728680335502959 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 20 1084654 0 0 1 1 {#f,#t} 13 true 14.591179261 true 13.748955964 true 13.932205674 true 14.035961806 true 14.428448125 true 13.731097383 true 14.197400841 true 14.314234582 true 13.676531386 true 14.156226199 true 14.107953957 true 14.020027875 true 14.15077509 13 14.083922934076925 0.20903961791715944 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 24 1084654 0 0 1 1 {#f,#t} 13 true 13.670079791 true 13.488361266 true 13.928353397 true 13.689114856 true 14.148827708 true 13.976813231 true 13.599100124 true 13.588742844 true 13.371380261 true 13.234945116 true 13.139559653 true 13.878896312 true 13.32615856 13 13.618487163 0.243255741076923 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 28 1084654 0 0 1 1 {#f,#t} 13 true 14.008137844 true 14.168395518 true 13.65660754 true 14.5210671 true 14.234712807 true 13.751483091 true 14.485019661 true 13.38191411 true 13.327275012 true 13.580347745 true 13.785818521 true 13.829513156 true 13.212970587 13 13.841789437846153 0.33975165242603533 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 32 1084654 0 0 1 1 {#f,#t} 13 true 13.374759411 true 13.731171867 true 14.425456808 true 13.711004098 true 14.275763983 true 14.336274126 true 14.31200318 true 14.535202402 true 13.349742842 true 13.923052423 true 13.98347935 true 13.610766136 true 13.589661996 13 13.935256817076922 0.34717522254437844 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 40 1084654 0 0 1 1 {#f,#t} 13 true 15.608842764 true 14.239915032 true 14.23592005 true 14.408361423 true 14.64479376 true 14.841523423 true 14.417643948 true 14.585814632 true 14.700207416 true 15.014101941 true 15.394488789 true 14.72282554 true 14.394236028 13 14.708359595846154 0.3138437658106509 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 48 1084654 0 0 1 1 {#f,#t} 13 true 15.763503708 true 16.235381939 true 15.443910678 true 14.914979319 true 15.200464599 true 15.894179437 true 14.974891937 true 15.48327565 true 16.014778187 true 15.316530347 true 15.632680446 true 15.790601204 true 15.925243934 13 15.583878568076925 0.33372598130177494 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 56 1084654 0 0 1 1 {#f,#t} 13 true 16.447969147 true 15.871408987 true 16.015323611 true 15.673726883 true 16.699070057 true 16.321718141 true 16.97120266 true 15.93276552 true 16.238930686 true 15.885537669 true 15.826504546 true 16.931305046 true 16.14606277 13 16.227809671000003 0.34512887861538455 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm false ParAAM-C-part 64 1084654 0 0 1 1 {#f,#t} 13 true 16.243698434 true 17.29990677 true 16.703230311 true 16.299255314 true 16.454982481 true 16.462106156 true 17.028190171 true 16.929180931 true 16.731728868 true 17.187664756 true 16.575183024 true 16.862191791 true 17.239386387 13 16.77051579953846 0.29591169365680486 true