TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.253129417 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-state 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.962335423 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-set 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.532946526 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-part 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.413776025 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-set 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.260617699 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-part 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.181584741 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 0.528539664 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-state 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.214365691 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 0.528764364 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-set 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.135231888 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 0.526166456 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-part 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.131328199 true Lattice Bound Address Scheme program Step filter? Machine p # states # error states # error values # final states # final values Final values # ? Time 1 ? Time 2 ? Time 3 ? Time 4 ? Time 5 ? Time 6 ? Time 7 ? Time 8 ? Time 9 ? Time 10 ? Time 11 ? Time 12 ? Time 13 # finished Average time Standard error Correct? Error 1 Error 2 Error 3 Error 4 Error 5 Error 6 Error 7 Error 8 Error 9 Error 10 Error 11 Error 12 Error 13 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false SeqAAMLS 1 75879 0 0 1 1 {#f,#t} 13 true 1.702356268 true 1.462788036 true 1.47044217 true 1.362044176 true 1.357435296 true 1.49752145 true 1.447890633 true 1.346224936 true 1.349235255 true 1.400723528 true 1.404949178 true 1.426923235 true 1.432618689 13 1.4354732961538461 0.06209724249704142 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 2 75879 0 0 1 1 {#f,#t} 13 true 3.088233821 true 3.35175953 true 3.03368017 true 3.065775856 true 3.047891232 true 3.046622303 true 3.108625877 true 3.112540767 true 3.169711445 true 3.056817618 true 3.059352646 true 3.040473479 true 3.183713047 13 3.105015214692308 0.06173455269822485 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 3 75879 0 0 1 1 {#f,#t} 13 true 3.184929274 true 3.089414701 true 3.112334982 true 3.205590375 true 3.096915471 true 3.174925017 true 3.145782184 true 3.17819502 true 3.030925867 true 3.065716891 true 3.114744353 true 3.206672814 true 3.126198092 13 3.1332573108461546 0.04562320291124265 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 4 75879 0 0 1 1 {#f,#t} 13 true 3.072326571 true 3.135255749 true 3.084737282 true 3.030021013 true 3.121613077 true 3.128236432 true 3.011169537 true 3.123271859 true 3.057889345 true 3.078336612 true 3.079542493 true 3.054405229 true 3.088648296 13 3.0819579611538463 0.02923306585798822 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 5 75879 0 0 1 1 {#f,#t} 13 true 3.099449977 true 3.055702404 true 3.046237475 true 3.01935406 true 3.073072808 true 3.043886333 true 3.073009606 true 3.019574598 true 3.123680764 true 3.043604344 true 3.043550347 true 3.275657595 true 3.077356941 13 3.076472096307692 0.04157798334911232 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 6 75879 0 0 1 1 {#f,#t} 13 true 3.096421312 true 3.179305057 true 3.06464152 true 3.029574077 true 3.072158657 true 3.056560583 true 3.195498445 true 2.987643109 true 3.172920979 true 3.054846013 true 3.042474627 true 3.03891049 true 3.052209045 13 3.0802433779999996 0.049718812461538316 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 7 75879 0 0 1 1 {#f,#t} 13 true 3.11529126 true 3.073815866 true 3.139928621 true 3.111445704 true 3.175085673 true 3.197384577 true 3.067933052 true 3.107246971 true 3.010299186 true 3.073853866 true 3.104525704 true 3.035287348 true 3.106135767 13 3.101402584230769 0.03781901586982251 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 8 75879 0 0 1 1 {#f,#t} 13 true 3.191130021 true 3.072054342 true 3.177136108 true 3.067488504 true 3.099897869 true 3.086130478 true 3.096884871 true 3.035721319 true 3.00974857 true 3.07872646 true 3.083305956 true 3.076278256 true 3.041725686 13 3.085863726153846 0.034132417881656815 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 9 75879 0 0 1 1 {#f,#t} 13 true 3.009193965 true 3.095939016 true 3.182924338 true 3.105072785 true 3.091620221 true 3.053233775 true 3.111369816 true 3.060051593 true 3.089638001 true 3.078265588 true 3.135216994 true 2.996200784 true 3.05694963 13 3.081975115846154 0.03660851693491121 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 10 75879 0 0 1 1 {#f,#t} 13 true 3.099972312 true 3.177226613 true 3.037753883 true 3.15203158 true 3.087458319 true 3.024521715 true 3.116442963 true 3.066473803 true 3.110962656 true 3.112616315 true 3.010009544 true 3.092322904 true 3.029787259 13 3.0859676820000006 0.040198800923076754 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 12 75879 0 0 1 1 {#f,#t} 13 true 3.100901316 true 3.111545165 true 3.12808726 true 3.071109582 true 3.099808301 true 3.074541737 true 3.147364407 true 3.055388229 true 3.091646039 true 2.978626262 true 3.049684903 true 3.078868918 true 3.075639318 13 3.081785495153846 0.029021464165680404 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 14 75879 0 0 1 1 {#f,#t} 13 true 3.071978067 true 3.094877027 true 3.104993995 true 3.071501314 true 3.026325818 true 3.039338073 true 2.995033022 true 3.056310652 true 3.051020465 true 3.0966714 true 3.077612954 true 3.069250443 true 3.011234312 13 3.058934426307693 0.026822187053254343 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 16 75879 0 0 1 1 {#f,#t} 13 true 3.188066203 true 3.205271935 true 3.128131443 true 3.138235491 true 3.090024676 true 3.134761743 true 2.993304422 true 3.065236208 true 3.070903817 true 3.038589556 true 3.075187321 true 3.228328904 true 2.976402739 13 3.1024957275384617 0.06274174673372782 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 24 75879 0 0 1 1 {#f,#t} 13 true 3.112934715 true 3.104307705 true 3.106358941 true 3.163957504 true 3.101056365 true 3.052163922 true 3.128457091 true 3.107696228 true 3.068684735 true 3.092874216 true 2.994790424 true 3.074745949 true 3.107529797 13 3.0935044301538457 0.028348139195266377 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-state 32 75879 0 0 1 1 {#f,#t} 13 true 3.169345274 true 3.058058 true 3.119274552 true 3.135468609 true 3.070401721 true 3.158487561 true 3.215182674 true 3.109647703 true 3.179225209 true 3.071649764 true 3.05665499 true 3.084293692 true 3.072824122 13 3.115424143923077 0.04375984853254433 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 2 75879 0 0 1 1 {#f,#t} 13 true 3.115899006 true 3.056196773 true 3.019952682 true 3.020562839 true 3.087147752 true 3.152358964 true 3.037021388 true 3.029504216 true 2.990790408 true 3.092003834 true 3.028747492 true 3.010696408 true 3.01354192 13 3.0503402832307693 0.038754601976331335 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 3 75879 0 0 1 1 {#f,#t} 13 true 3.123480109 true 3.070131246 true 3.199552985 true 3.1618815 true 3.094645132 true 3.092799583 true 3.053679615 true 3.026155723 true 3.060124887 true 3.059081199 true 3.043143987 true 3.045203614 true 3.034795795 13 3.081898105769231 0.04044135079289943 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 4 75879 0 0 1 1 {#f,#t} 13 true 3.112866396 true 3.128783717 true 3.008085787 true 3.058305319 true 3.124725799 true 3.051895075 true 3.077665433 true 3.088040507 true 3.058718579 true 3.077780464 true 3.090923356 true 3.202664082 true 3.108837605 13 3.0914840091538456 0.033916546650887454 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 5 75879 0 0 1 1 {#f,#t} 13 true 3.115986519 true 3.107399676 true 3.047136871 true 3.04467095 true 3.034184703 true 3.07829147 true 3.086925417 true 3.087750832 true 3.08634859 true 3.109956443 true 3.146396533 true 3.087036796 true 3.078329829 13 3.0854165099230766 0.02222595794082843 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 6 75879 0 0 1 1 {#f,#t} 13 true 3.098342619 true 3.062115772 true 3.104446775 true 3.081036673 true 3.035550447 true 3.099813979 true 3.076474391 true 3.167365682 true 3.065604296 true 3.198919083 true 3.088073286 true 3.131518516 true 3.069536136 13 3.098369050384616 0.03234135124260366 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 7 75879 0 0 1 1 {#f,#t} 13 true 3.140267231 true 3.056015361 true 3.070639409 true 3.08737203 true 3.05453851 true 3.128457618 true 3.094243097 true 3.126155325 true 3.197353213 true 3.110038 true 3.090004782 true 3.145214692 true 3.056481608 13 3.104367759692308 0.034043003207100644 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 8 75879 0 0 1 1 {#f,#t} 13 true 3.136162694 true 3.103321192 true 3.03344645 true 3.094770504 true 3.089087379 true 3.134117589 true 3.037080764 true 3.087902095 true 3.107014102 true 3.091186759 true 3.052090326 true 3.089723908 true 3.097662001 13 3.088735827923077 0.02221902718343192 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 9 75879 0 0 1 1 {#f,#t} 13 true 3.120695544 true 3.054140019 true 3.077720302 true 3.105013632 true 3.127127498 true 3.027766518 true 3.146384842 true 3.093212112 true 3.147551249 true 3.118662638 true 3.109809408 true 3.093760687 true 3.139510098 13 3.1047195805384615 0.027230502260355054 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 10 75879 0 0 1 1 {#f,#t} 13 true 3.133478409 true 3.06816678 true 3.090943685 true 3.087926482 true 3.01354408 true 3.031235703 true 3.147560056 true 3.193874317 true 3.101151968 true 3.010224177 true 3.146958187 true 3.035275136 true 3.07126406 13 3.087046387692308 0.04501052156213016 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 12 75879 0 0 1 1 {#f,#t} 13 true 3.116381657 true 3.091598921 true 3.010453506 true 3.108801897 true 3.07418364 true 3.129312007 true 3.089715637 true 3.119082512 true 3.085716421 true 3.077799326 true 3.212899169 true 3.045773535 true 3.053073171 13 3.09344549223077 0.033730735514793025 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 14 75879 0 0 1 1 {#f,#t} 13 true 3.113253888 true 3.094979157 true 3.092738602 true 3.049872875 true 3.123925656 true 3.106994929 true 3.092307366 true 3.122704857 true 3.086845994 true 3.041540061 true 3.102639385 true 3.080267301 true 3.047794811 13 3.088912683230769 0.02126805756213017 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 16 75879 0 0 1 1 {#f,#t} 13 true 3.141390017 true 3.155014366 true 3.101535315 true 3.042161536 true 3.165418742 true 3.146889266 true 3.083708123 true 3.095458611 true 3.079809414 true 3.105490436 true 3.127508753 true 2.766454517 true 2.884401319 13 3.068864647307692 0.0790117799881659 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 24 75879 0 0 1 1 {#f,#t} 13 true 3.072488004 true 3.085024821 true 3.031055027 true 3.137731913 true 3.103672256 true 3.183882531 true 3.083320761 true 3.093227868 true 3.096726825 true 3.120205963 true 3.244779731 true 3.06329702 true 3.193057692 13 3.1160361855384613 0.04607336958579877 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-set 32 75879 0 0 1 1 {#f,#t} 13 true 3.140445728 true 3.077148 true 3.126519514 true 3.105913029 true 3.062381467 true 3.082666692 true 3.005364979 true 3.083511572 true 3.037281586 true 3.07125214 true 3.095733262 true 3.004646531 true 3.125116881 13 3.078306260076922 0.032578901147929024 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 2 75879 0 0 1 1 {#f,#t} 13 true 2.440587857 true 2.521553175 true 2.538341787 true 2.439984686 true 2.397312282 true 2.31222067 true 2.311845718 true 2.43131112 true 2.394921337 true 2.316365323 true 2.479747614 true 2.386015644 true 2.324071296 13 2.407252193 0.06277124323076927 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 3 75879 0 0 1 1 {#f,#t} 13 true 1.994940518 true 1.951645822 true 1.850658481 true 1.945294942 true 1.943856183 true 1.803121206 true 1.924755422 true 1.861983228 true 1.88682491 true 1.929559679 true 1.923286715 true 1.890875231 true 1.948219409 13 1.9119247496923075 0.04094779884023673 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 4 75879 0 0 1 1 {#f,#t} 13 true 1.797810424 true 1.747450811 true 1.773640692 true 1.734376306 true 1.759760452 true 1.718515824 true 1.757587293 true 1.714220629 true 1.745193287 true 1.716596399 true 1.721214224 true 1.729472483 true 1.766978788 13 1.7448321239999998 0.020707212153846213 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 5 75879 0 0 1 1 {#f,#t} 13 true 1.681953182 true 1.646138843 true 1.605911513 true 1.635150742 true 1.630933362 true 1.624105622 true 1.613587575 true 1.646892933 true 1.6300143 true 1.659930148 true 1.661098619 true 1.630424145 true 1.652929199 13 1.6399284756153847 0.016826472355029577 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 6 75879 0 0 1 1 {#f,#t} 13 true 1.593534436 true 1.567363517 true 1.553545865 true 1.558517624 true 1.544323163 true 1.558479594 true 1.567760748 true 1.54500524 true 1.545923551 true 1.550976172 true 1.57638198 true 1.596419148 true 1.528096673 13 1.560486747 0.015234783692307668 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 7 75879 0 0 1 1 {#f,#t} 13 true 1.469020971 true 1.443906822 true 1.523338403 true 1.434519041 true 1.453730708 true 1.474470876 true 1.455295737 true 1.445830505 true 1.457399636 true 1.467328038 true 1.440939701 true 1.43337171 true 1.455591825 13 1.4580572286923077 0.01568144203550296 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 8 75879 0 0 1 1 {#f,#t} 13 true 1.466625244 true 1.429357637 true 1.422306358 true 1.401730405 true 1.395538197 true 1.413436017 true 1.399045863 true 1.426183101 true 1.409526364 true 1.41000231 true 1.404357802 true 1.420579301 true 1.421479679 13 1.4169360213846152 0.013063875644970392 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 9 75879 0 0 1 1 {#f,#t} 13 true 1.486942398 true 1.429519657 true 1.423300917 true 1.441769541 true 1.437978081 true 1.431197342 true 1.422985879 true 1.440063082 true 1.423127932 true 1.410416396 true 1.413872152 true 1.436255433 true 1.433837711 13 1.433174347769231 0.011969255289940844 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 10 75879 0 0 1 1 {#f,#t} 13 true 1.567243403 true 1.553070907 true 1.569353952 true 1.57653558 true 1.509444338 true 1.524818586 true 1.52290792 true 1.536594282 true 1.537240658 true 1.580656078 true 1.550474448 true 1.530057987 true 1.496372063 13 1.5426746309230768 0.02173639730177513 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 12 75879 0 0 1 1 {#f,#t} 13 true 1.649582609 true 1.607816365 true 1.580571012 true 1.580811597 true 1.586974451 true 1.595458699 true 1.597483553 true 1.597294333 true 1.590319421 true 1.586220418 true 1.592717573 true 1.601075821 true 1.568684601 13 1.5950008040769232 0.012108700852071018 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 14 75879 0 0 1 1 {#f,#t} 13 true 1.681923454 true 1.61405213 true 1.623322315 true 1.665756833 true 1.667330932 true 1.643939575 true 1.659346159 true 1.656849812 true 1.655580895 true 1.666725714 true 1.643764039 true 1.638865164 true 1.644676085 13 1.6509333159230768 0.014920090390532574 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 16 75879 0 0 1 1 {#f,#t} 13 true 1.729475506 true 1.741728483 true 1.72431356 true 1.685678116 true 1.70579722 true 1.719480538 true 1.68662579 true 1.694135918 true 1.712090816 true 1.73207858 true 1.740375454 true 1.687453995 true 1.692563434 13 1.7116767238461537 0.018123980011834327 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 24 75879 0 0 1 1 {#f,#t} 13 true 1.981096834 true 1.903952028 true 1.910967898 true 1.913519383 true 1.896491 true 1.935955761 true 1.927369951 true 1.918791108 true 1.913472328 true 1.932241311 true 1.958371655 true 1.943385745 true 1.928620799 13 1.9280181385384614 0.01716358057988168 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-L-SA-part 32 75879 0 0 1 1 {#f,#t} 13 true 2.316853993 true 2.213147061 true 2.205553987 true 2.210238768 true 2.197386715 true 2.222702097 true 2.24638393 true 2.232108822 true 2.220173737 true 2.254651603 true 2.305357159 true 2.21703241 true 2.219539117 13 2.235471492230769 0.027901648627218896 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 2 75879 0 0 1 1 {#f,#t} 13 true 2.629591048 true 2.400896224 true 2.613245807 true 2.467180522 true 2.433695134 true 2.554930558 true 2.470152785 true 2.375509322 true 2.327933876 true 2.463522479 true 2.481906077 true 2.328091907 true 2.366303386 13 2.454843009615385 0.07640433979881657 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 3 75879 0 0 1 1 {#f,#t} 13 true 1.538541498 true 1.494132358 true 1.477589787 true 1.508530636 true 1.463060288 true 1.479583129 true 1.4604076 true 1.46268556 true 1.458934749 true 1.474529548 true 1.444604803 true 1.442056262 true 1.490187911 13 1.4765264714615387 0.01990869080473378 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 4 75879 0 0 1 1 {#f,#t} 13 true 1.035358038 true 0.986093763 true 0.969155915 true 0.973045148 true 0.985429152 true 0.975811227 true 0.990668416 true 0.982874488 true 0.996984868 true 0.982542243 true 0.990614756 true 0.97758925 true 0.997309829 13 0.9879597763846153 0.010944157704141998 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 5 75879 0 0 1 1 {#f,#t} 13 true 0.761326811 true 0.76111448 true 0.719957379 true 0.726550458 true 0.730323386 true 0.730743552 true 0.719910516 true 0.718008588 true 0.72307571 true 0.718829662 true 0.734922207 true 0.728069995 true 0.759154444 13 0.7332297836923077 0.0128613549585799 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 6 75879 0 0 1 1 {#f,#t} 13 true 0.599786064 true 0.584288537 true 0.613008798 true 0.586156148 true 0.575610965 true 0.584250569 true 0.599952128 true 0.576630116 true 0.573392755 true 0.588666711 true 0.601490579 true 0.583242725 true 0.568388691 13 0.5872972912307692 0.010218126745562123 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 7 75879 0 0 1 1 {#f,#t} 13 true 0.641460089 true 0.552954345 true 0.569842481 true 0.607858799 true 0.602504711 true 0.677867448 true 0.781471509 true 0.572088552 true 0.569057356 true 0.638292636 true 0.577511083 true 0.526489968 true 0.597600396 13 0.6088461056153847 0.04672419377514794 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 8 75879 0 0 1 1 {#f,#t} 13 true 0.530487458 true 0.483992001 true 0.514547539 true 0.593033036 true 0.542249059 true 0.559340391 true 0.545880024 true 0.526575947 true 0.495698765 true 0.677116838 true 0.470287828 true 0.486973253 true 0.455305685 13 0.5293452172307693 0.04185161578698225 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 9 75879 0 0 1 1 {#f,#t} 13 true 0.580609866 true 0.511588722 true 0.437819985 true 0.580154041 true 0.444575974 true 0.44797873 true 0.431032126 true 0.432368 true 0.469693978 true 0.457144086 true 0.52517751 true 0.447043617 true 0.429093255 13 0.47648306846153843 0.044861210023668635 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 10 75879 0 0 1 1 {#f,#t} 13 true 0.495635799 true 0.445044081 true 0.504561282 true 0.411969168 true 0.423597617 true 0.468446357 true 0.416110754 true 0.477377658 true 0.491225369 true 0.441074012 true 0.497788888 true 0.439925627 true 0.434103526 13 0.45745077984615384 0.029281642142011836 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 12 75879 0 0 1 1 {#f,#t} 13 true 0.455798332 true 0.421525324 true 0.415071746 true 0.403259098 true 0.405873859 true 0.41853437 true 0.419135412 true 0.405018179 true 0.413851601 true 0.402460391 true 0.418086014 true 0.398891257 true 0.419043083 13 0.41511912815384616 0.00944734862721893 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 14 75879 0 0 1 1 {#f,#t} 13 true 0.427083734 true 0.404530562 true 0.413528207 true 0.405751261 true 0.442923797 true 0.400401623 true 0.44011011 true 0.425111919 true 0.416607385 true 0.396340359 true 0.428372253 true 0.405428427 true 0.434254572 13 0.4184957083846154 0.01336648226035504 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 16 75879 0 0 1 1 {#f,#t} 13 true 0.445152638 true 0.439289154 true 0.397571681 true 0.395513677 true 0.438279474 true 0.39160282 true 0.400132293 true 0.405604918 true 0.396659426 true 0.3968705 true 0.430347542 true 0.44042927 true 0.407830012 13 0.4142525696153846 0.01880541998816567 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 24 75879 0 0 1 1 {#f,#t} 13 true 0.433936456 true 0.417850613 true 0.405395917 true 0.413018855 true 0.445109338 true 0.452013899 true 0.429443292 true 0.45222077 true 0.400073322 true 0.427737334 true 0.41645811 true 0.402821005 true 0.421867168 13 0.42445739069230776 0.014417960745562137 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-set 32 75879 0 0 1 1 {#f,#t} 13 true 0.435560789 true 0.402439618 true 0.413865538 true 0.410202329 true 0.417004276 true 0.420756748 true 0.399593863 true 0.404611889 true 0.441324693 true 0.452071309 true 0.402416154 true 0.400553644 true 0.406566987 13 0.4159206028461539 0.013402277041420134 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 2 75879 0 0 1 1 {#f,#t} 13 true 2.519491166 true 2.340331604 true 2.267612806 true 2.282787428 true 2.319878724 true 2.293935862 true 2.37461538 true 2.30450084 true 2.285641773 true 2.320287326 true 2.466190294 true 2.310994335 true 2.365716979 13 2.3424603474615386 0.05479575833136098 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 3 75879 0 0 1 1 {#f,#t} 13 true 1.517416126 true 1.454790503 true 1.483975824 true 1.466482411 true 1.440652063 true 1.429896027 true 1.478204161 true 1.491367063 true 1.437118453 true 1.484022593 true 1.507050922 true 1.439403734 true 1.424474885 13 1.465758058846154 0.02587887508875739 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 4 75879 0 0 1 1 {#f,#t} 13 true 1.135969871 true 1.101655063 true 1.121517929 true 1.133449423 true 1.066962307 true 1.095339041 true 1.067253105 true 1.115076612 true 1.093509454 true 1.114004054 true 1.100522425 true 1.082510926 true 1.059376777 13 1.0990113066923075 0.019864035408284016 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 5 75879 0 0 1 1 {#f,#t} 13 true 0.904483353 true 0.8269444 true 0.830725255 true 0.858325444 true 0.847066225 true 0.846269134 true 0.831399568 true 0.851237437 true 0.871980581 true 0.875884793 true 0.876208511 true 0.850893863 true 0.86410259 13 0.8565785503076923 0.01715599540828401 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 6 75879 0 0 1 1 {#f,#t} 13 true 0.713262302 true 0.695459393 true 0.683775565 true 0.681904134 true 0.664016446 true 0.6943204 true 0.688487364 true 0.678387274 true 0.670192586 true 0.687104002 true 0.696369749 true 0.68692962 true 0.694914049 13 0.6873171449230769 0.009063136532544373 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 7 75879 0 0 1 1 {#f,#t} 13 true 0.667729 true 0.580432424 true 0.592276827 true 0.573650922 true 0.608359005 true 0.646881809 true 0.681854242 true 0.599642868 true 0.614007493 true 0.593576383 true 0.635578698 true 0.594035207 true 0.6461726 13 0.6180151906153847 0.02894467629585801 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 8 75879 0 0 1 1 {#f,#t} 13 true 0.68893682 true 0.686319738 true 0.670142743 true 0.649998571 true 0.606898568 true 0.669393485 true 0.607636116 true 0.619398044 true 0.645977851 true 0.712013784 true 0.664420639 true 0.654171668 true 0.656577329 13 0.6562988735384615 0.023648065112426033 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 9 75879 0 0 1 1 {#f,#t} 13 true 0.747603345 true 0.606169059 true 0.634606366 true 0.663735977 true 0.634029475 true 0.674580496 true 0.738536277 true 0.709025592 true 0.654257872 true 0.653443475 true 0.726890122 true 0.656496607 true 0.673231399 13 0.6748158509230768 0.03427568189349111 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 10 75879 0 0 1 1 {#f,#t} 13 true 0.525815417 true 0.528700546 true 0.595768041 true 0.590838892 true 0.578616441 true 0.561035171 true 0.731950129 true 0.614405037 true 0.520233781 true 0.541850651 true 0.55447379 true 0.648473121 true 0.58081183 13 0.5825363728461539 0.04134667011834321 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 12 75879 0 0 1 1 {#f,#t} 13 true 0.531391418 true 0.503406145 true 0.523038698 true 0.574817467 true 0.564506856 true 0.493993985 true 0.562810359 true 0.518330234 true 0.514918582 true 0.500005672 true 0.515567473 true 0.486685746 true 0.548131677 13 0.5259695624615385 0.023355379183431946 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 14 75879 0 0 1 1 {#f,#t} 13 true 0.543710876 true 0.496797352 true 0.474867407 true 0.502135537 true 0.498419109 true 0.518218776 true 0.522412959 true 0.470656983 true 0.521179005 true 0.49725509 true 0.463412789 true 0.48931465 true 0.487594871 13 0.4989211849230769 0.017392496674556206 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 16 75879 0 0 1 1 {#f,#t} 13 true 0.52782892 true 0.469066633 true 0.497082572 true 0.464289259 true 0.49005611 true 0.491274056 true 0.504145069 true 0.509274695 true 0.506731507 true 0.487160606 true 0.527548232 true 0.467686262 true 0.469639593 13 0.49321411646153845 0.017434814804733727 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 24 75879 0 0 1 1 {#f,#t} 13 true 0.489649518 true 0.431788487 true 0.439834249 true 0.425599948 true 0.421692932 true 0.455659711 true 0.458649624 true 0.492519083 true 0.496482327 true 0.472068276 true 0.469575839 true 0.42239243 true 0.461506889 13 0.45672456253846155 0.022058402804733722 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-S-part 32 75879 0 0 1 1 {#f,#t} 13 true 0.449356013 true 0.454103519 true 0.44715493 true 0.421118604 true 0.47527435 true 0.428013293 true 0.450495518 true 0.505174175 true 0.439046511 true 0.473984615 true 0.451319418 true 0.419221097 true 0.427532886 13 0.44936884069230765 0.017559777053254434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 1 75879 0 0 1 1 {#f,#t} 13 true 1.648065605 true 1.502031981 true 1.636844326 true 1.5131876 true 1.531045026 true 1.468701241 true 1.471892419 true 1.530143539 true 1.475504852 true 1.4830079 true 1.484401576 true 1.591433372 true 1.658914385 13 1.538090294 0.05890715569230774 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 2 75879 0 0 1 1 {#f,#t} 13 true 0.860577072 true 0.818801844 true 0.815851864 true 0.816166133 true 0.826232626 true 0.822762839 true 0.819910985 true 0.817177504 true 0.816884735 true 0.806524524 true 0.82054446 true 0.813685224 true 0.812805633 13 0.8206096494615386 0.007345167479290012 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 3 75879 0 0 1 1 {#f,#t} 13 true 0.587044142 true 0.568697366 true 0.557784577 true 0.580313655 true 0.55935396 true 0.54830444 true 0.559634945 true 0.574513791 true 0.557291052 true 0.566506921 true 0.570883525 true 0.569606925 true 0.560755938 13 0.5662070182307691 0.008325722674556215 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 4 75879 0 0 1 1 {#f,#t} 13 true 0.483969033 true 0.449958189 true 0.450111122 true 0.472026359 true 0.445774052 true 0.450758423 true 0.476499218 true 0.452893418 true 0.448131794 true 0.447779918 true 0.459335302 true 0.450468455 true 0.441911693 13 0.4561243827692308 0.010358827834319535 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 5 75879 0 0 1 1 {#f,#t} 13 true 0.422493622 true 0.381692615 true 0.369835006 true 0.374197268 true 0.393974735 true 0.391542217 true 0.380611547 true 0.377347834 true 0.378248328 true 0.381632757 true 0.384182897 true 0.389543212 true 0.38085552 13 0.38508904292307694 0.008799632970414207 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 6 75879 0 0 1 1 {#f,#t} 13 true 0.372375915 true 0.334577245 true 0.342832276 true 0.350234223 true 0.34240638 true 0.345416647 true 0.344273463 true 0.345456057 true 0.348538296 true 0.344611028 true 0.342914765 true 0.330969996 true 0.336086235 13 0.34466865584615386 0.005950439810650892 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 7 75879 0 0 1 1 {#f,#t} 13 true 0.354950673 true 0.306651794 true 0.30732867 true 0.308617483 true 0.303072158 true 0.313818339 true 0.307195104 true 0.303165673 true 0.316057156 true 0.314523171 true 0.31901494 true 0.310912007 true 0.311368661 13 0.31359044838461536 0.007755698011834315 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 8 75879 0 0 1 1 {#f,#t} 13 true 0.340260628 true 0.312004461 true 0.307794701 true 0.306871294 true 0.306269483 true 0.308851727 true 0.299708482 true 0.308390988 true 0.293996403 true 0.310403218 true 0.301873757 true 0.312699699 true 0.310104626 13 0.30917149746153844 0.006094637644970403 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 9 75879 0 0 1 1 {#f,#t} 13 true 0.363509133 true 0.361240925 true 0.318752838 true 0.326822835 true 0.332821154 true 0.335161289 true 0.323236791 true 0.366308842 true 0.346727724 true 0.320257129 true 0.351814717 true 0.322043841 true 0.324192168 13 0.33791456815384613 0.015389000035502958 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 10 75879 0 0 1 1 {#f,#t} 13 true 0.370543219 true 0.323726651 true 0.326324939 true 0.335854632 true 0.328629546 true 0.33187343 true 0.373704729 true 0.354036143 true 0.329317404 true 0.343928241 true 0.351970017 true 0.341361957 true 0.343051576 13 0.34264019107692306 0.012521965928994093 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 12 75879 0 0 1 1 {#f,#t} 13 true 0.376143364 true 0.358673102 true 0.363888307 true 0.351642801 true 0.344382224 true 0.388592388 true 0.335189983 true 0.39038698 true 0.359056033 true 0.347790241 true 0.368790325 true 0.354101189 true 0.358087328 13 0.3612864819230769 0.0125183006745562 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 14 75879 0 0 1 1 {#f,#t} 13 true 0.382449171 true 0.340853227 true 0.37557184 true 0.358389008 true 0.338157076 true 0.347740633 true 0.351149226 true 0.361901294 true 0.357931651 true 0.332965888 true 0.349277416 true 0.353717132 true 0.339826825 13 0.35307156823076924 0.01100472101775148 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 16 75879 0 0 1 1 {#f,#t} 13 true 0.383264419 true 0.355037605 true 0.343690918 true 0.350049999 true 0.342881003 true 0.36670117 true 0.34987007 true 0.350894066 true 0.351950715 true 0.335229238 true 0.350331706 true 0.349438867 true 0.331764243 13 0.3508541553076924 0.008242645917159782 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 24 75879 0 0 1 1 {#f,#t} 13 true 0.402255595 true 0.347482361 true 0.350403369 true 0.3581193 true 0.368233896 true 0.348272306 true 0.329477964 true 0.372829903 true 0.339432249 true 0.346941772 true 0.339532128 true 0.359289438 true 0.338957493 13 0.353940598 0.014003868000000001 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-state 32 75879 0 0 1 1 {#f,#t} 13 true 0.381152418 true 0.379339695 true 0.347162432 true 0.34194125 true 0.366496822 true 0.356213181 true 0.374013091 true 0.357688381 true 0.343163941 true 0.339581774 true 0.34443979 true 0.366491655 true 0.357726949 13 0.3581085676153846 0.011838591218934914 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 1 75879 0 0 1 1 {#f,#t} 13 true 1.582181209 true 1.482336457 true 1.472670528 true 1.469445009 true 1.491780813 true 1.481876508 true 1.641224521 true 1.538877561 true 1.505527869 true 1.467727036 true 1.498103663 true 1.624468506 true 1.51295173 13 1.520705493076923 0.04675843456804732 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 2 75879 0 0 1 1 {#f,#t} 13 true 0.840785313 true 0.817667121 true 0.818440373 true 0.826622713 true 0.817092518 true 0.808280006 true 0.788156676 true 0.847108702 true 0.80138598 true 0.810634219 true 0.86451275 true 0.825300059 true 0.793172967 13 0.8199353382307693 0.01610043782248521 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 3 75879 0 0 1 1 {#f,#t} 13 true 0.582854562 true 0.56741625 true 0.558332364 true 0.555772123 true 0.551137934 true 0.564853255 true 0.549670059 true 0.566433129 true 0.55145232 true 0.554864472 true 0.561387704 true 0.559119793 true 0.558051543 13 0.5601035006153847 0.0065272918343195485 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 4 75879 0 0 1 1 {#f,#t} 13 true 0.480331981 true 0.444768333 true 0.446239034 true 0.445261206 true 0.445310955 true 0.457345781 true 0.445581231 true 0.444127747 true 0.438806106 true 0.443005822 true 0.444972452 true 0.452922795 true 0.447082179 13 0.4489042786153846 0.006751957100591715 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 5 75879 0 0 1 1 {#f,#t} 13 true 0.376719272 true 0.376813611 true 0.381760024 true 0.369296644 true 0.383000234 true 0.382661427 true 0.374421502 true 0.377778229 true 0.377861725 true 0.386742731 true 0.382598721 true 0.366357087 true 0.382489584 13 0.3783462146923077 0.00448852813017751 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 6 75879 0 0 1 1 {#f,#t} 13 true 0.349202994 true 0.345110311 true 0.335372139 true 0.345893106 true 0.338135104 true 0.344309899 true 0.335408999 true 0.334560853 true 0.345990758 true 0.334162954 true 0.343310137 true 0.352380252 true 0.33872628 13 0.34173567584615394 0.0052381117041420035 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 7 75879 0 0 1 1 {#f,#t} 13 true 0.3374462 true 0.308539482 true 0.304280842 true 0.306485536 true 0.312675235 true 0.309598091 true 0.30328903 true 0.307629241 true 0.307677524 true 0.30242913 true 0.306884952 true 0.304817094 true 0.313072659 13 0.30960192430769234 0.0052905109349112595 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 8 75879 0 0 1 1 {#f,#t} 13 true 0.335639625 true 0.311846021 true 0.300272879 true 0.302438782 true 0.302666085 true 0.31610057 true 0.299218257 true 0.304480524 true 0.294834566 true 0.301022058 true 0.310293742 true 0.2977009 true 0.295036901 13 0.3055039161538462 0.007979122059171617 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 9 75879 0 0 1 1 {#f,#t} 13 true 0.364404631 true 0.329585875 true 0.372174798 true 0.339849157 true 0.332789398 true 0.339502891 true 0.332040954 true 0.339878049 true 0.346717175 true 0.343853078 true 0.331116062 true 0.343580609 true 0.335246988 13 0.34236458961538463 0.00906266814201183 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 10 75879 0 0 1 1 {#f,#t} 13 true 0.368589487 true 0.376596022 true 0.383813056 true 0.356624848 true 0.373857325 true 0.356905209 true 0.346076003 true 0.353345561 true 0.363225586 true 0.345584852 true 0.35042663 true 0.349133471 true 0.355696436 13 0.359990345076923 0.010173807786982233 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 12 75879 0 0 1 1 {#f,#t} 13 true 0.398745959 true 0.357332638 true 0.360743006 true 0.360819201 true 0.348060876 true 0.342289302 true 0.353605284 true 0.346975847 true 0.356822457 true 0.362468946 true 0.362674611 true 0.355258152 true 0.352865241 13 0.35835857846153846 0.008255204721893485 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 14 75879 0 0 1 1 {#f,#t} 13 true 0.381207652 true 0.35697253 true 0.342346262 true 0.386473887 true 0.360496175 true 0.353042503 true 0.358812568 true 0.348996357 true 0.356269165 true 0.35416741 true 0.368963442 true 0.342851449 true 0.354425212 13 0.3588480470769231 0.009499841183431954 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 16 75879 0 0 1 1 {#f,#t} 13 true 0.391867439 true 0.361428113 true 0.349417665 true 0.345523649 true 0.354623183 true 0.351343645 true 0.352341998 true 0.345521933 true 0.352832289 true 0.367685988 true 0.344040382 true 0.364142109 true 0.366318816 13 0.35746824684615386 0.009861727810650893 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 24 75879 0 0 1 1 {#f,#t} 13 true 0.350135596 true 0.335797333 true 0.347119122 true 0.34328758 true 0.368332611 true 0.373986474 true 0.357620789 true 0.344743605 true 0.349334603 true 0.341934279 true 0.34462062 true 0.350826059 true 0.356744831 13 0.3511141155384616 0.008035114284023695 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-set 32 75879 0 0 1 1 {#f,#t} 13 true 0.3914089 true 0.345804854 true 0.349203085 true 0.347834914 true 0.349365481 true 0.379676714 true 0.357506146 true 0.34396952 true 0.372822608 true 0.349867306 true 0.355334818 true 0.340794499 true 0.342554831 13 0.3558572058461538 0.011997776094674558 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 1 75879 0 0 1 1 {#f,#t} 13 true 1.389748324 true 1.415530198 true 1.383162605 true 1.401850292 true 1.360442831 true 1.378390954 true 1.386023723 true 1.355485935 true 1.379175384 true 1.344620732 true 1.339736769 true 1.33950108 true 1.389059589 13 1.374056032 0.02007581738461539 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 2 75879 0 0 1 1 {#f,#t} 13 true 0.807134508 true 0.802505085 true 0.805747207 true 0.780110013 true 0.779298046 true 0.769315546 true 0.768641386 true 0.779713867 true 0.765559019 true 0.796541368 true 0.792645634 true 0.770371891 true 0.783462616 13 0.7846958604615384 0.01247607687573962 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 3 75879 0 0 1 1 {#f,#t} 13 true 0.593322098 true 0.585546284 true 0.592352227 true 0.571504077 true 0.587266946 true 0.586325453 true 0.573633765 true 0.59295455 true 0.583647339 true 0.587740965 true 0.578572177 true 0.605169121 true 0.597937608 13 0.5873825084615384 0.006951002804733717 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 4 75879 0 0 1 1 {#f,#t} 13 true 0.501826247 true 0.495292293 true 0.480884491 true 0.468344289 true 0.469090075 true 0.49040669 true 0.486487936 true 0.512093825 true 0.487342773 true 0.496810377 true 0.478874428 true 0.485803223 true 0.476290821 13 0.4868882667692308 0.009606554520710058 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 5 75879 0 0 1 1 {#f,#t} 13 true 0.429782663 true 0.410284852 true 0.424049329 true 0.414457723 true 0.426575533 true 0.42944213 true 0.43185351 true 0.437491176 true 0.438621986 true 0.418882914 true 0.427853211 true 0.447273065 true 0.430337619 13 0.42822351623076926 0.0072673131360946755 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 6 75879 0 0 1 1 {#f,#t} 13 true 0.387269691 true 0.385963832 true 0.391750509 true 0.402774789 true 0.381374016 true 0.38986721 true 0.394100946 true 0.376136791 true 0.383468197 true 0.396117278 true 0.395343297 true 0.383574757 true 0.390064085 13 0.3890619536923076 0.005628375100591725 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 7 75879 0 0 1 1 {#f,#t} 13 true 0.350373448 true 0.343094316 true 0.343991086 true 0.345643326 true 0.341876541 true 0.345162225 true 0.346428218 true 0.343625167 true 0.354032267 true 0.346811679 true 0.347316787 true 0.335526975 true 0.340749122 13 0.3449716274615385 0.0032256242721893434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 8 75879 0 0 1 1 {#f,#t} 13 true 0.316817003 true 0.315215227 true 0.316371267 true 0.309488212 true 0.314444487 true 0.317314614 true 0.325643676 true 0.312819784 true 0.31696592 true 0.308148495 true 0.309011072 true 0.314470566 true 0.311540719 13 0.31448084938461535 0.003298863183431947 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 9 75879 0 0 1 1 {#f,#t} 13 true 0.316263826 true 0.306760248 true 0.302761795 true 0.298578602 true 0.310513275 true 0.317264106 true 0.309769517 true 0.319160405 true 0.32270129 true 0.317793112 true 0.309802925 true 0.307384545 true 0.325324536 13 0.31262139861538457 0.006581366662721884 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 10 75879 0 0 1 1 {#f,#t} 13 true 0.311487648 true 0.317284926 true 0.311138085 true 0.312079326 true 0.32432206 true 0.306625371 true 0.305253499 true 0.331457124 true 0.313849267 true 0.317017957 true 0.311548748 true 0.306543649 true 0.318664533 13 0.3144055533076923 0.0056490513017751634 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 12 75879 0 0 1 1 {#f,#t} 13 true 0.311003814 true 0.298035676 true 0.302445877 true 0.308589178 true 0.335353339 true 0.304281168 true 0.30098996 true 0.319942878 true 0.306438877 true 0.306387201 true 0.332167335 true 0.302164315 true 0.310835804 13 0.3106642632307693 0.008612592899408291 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 14 75879 0 0 1 1 {#f,#t} 13 true 0.312913244 true 0.31512863 true 0.300746304 true 0.288565731 true 0.311914424 true 0.291836662 true 0.309792028 true 0.294471975 true 0.296806167 true 0.28645728 true 0.294242982 true 0.290061518 true 0.294286957 13 0.2990172232307693 0.008524386745562145 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 16 75879 0 0 1 1 {#f,#t} 13 true 0.289136015 true 0.287579472 true 0.283748206 true 0.284283888 true 0.285483842 true 0.282257561 true 0.28910695 true 0.306678869 true 0.297203714 true 0.288138141 true 0.276378839 true 0.305784679 true 0.292624439 13 0.2898772780769231 0.006581936721893504 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 24 75879 0 0 1 1 {#f,#t} 13 true 0.32402999 true 0.269859037 true 0.274533481 true 0.27279134 true 0.272964015 true 0.28737539 true 0.278078378 true 0.274125416 true 0.273370733 true 0.273777902 true 0.282115674 true 0.284741734 true 0.280180469 13 0.280611043 0.008587479384615383 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm false ParAAM-C-part 32 75879 0 0 1 1 {#f,#t} 13 true 0.285201671 true 0.280331694 true 0.276672472 true 0.275930112 true 0.287214934 true 0.271248337 true 0.319038799 true 0.286839598 true 0.281443655 true 0.279850636 true 0.279645615 true 0.284574964 true 0.278929868 13 0.2836094119230769 0.006895831751479278 true