TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.250423658 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.885832726 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.574476451 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.378982432 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-state 32 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.586937505 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.209191772 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.194532874 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.519268987 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.167829424 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.525417353 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.153028948 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.547236831 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.105817305 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/AlgoDat1/qsort.scm false SeqAAMLS 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 29.945382939 true 27.935735423 true 28.003886651 true 27.900331604 true 27.961174978 true 28.062906322 true 28.003495374 true 28.045328552 true 27.988284318 true 27.696500248 true 27.87933335 true 27.705756348 true 27.9214095 13 28.080732739000002 0.28686926153846315 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 38.714732018 true 38.719207635 true 38.901839014 true 37.91001287 true 38.89756092 true 38.312079977 true 37.862330207 true 38.701993972 true 38.500511424 true 38.711572184 true 37.45888985 true 37.69748262 true 37.512520586 13 38.30005640592308 0.4706224456331344 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 26.772400363 true 27.16176228 true 27.117066516 true 26.845035445 true 27.369590995 true 26.452279527 true 26.926849685 true 27.226186002 true 27.003072625 true 26.827156427 true 27.058393625 true 26.917399282 true 26.68716322 13 26.951104307076925 0.18914556931360976 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 28.976082065 true 29.249569262 true 29.51697908 true 29.3792014 true 29.391403007 true 29.580964628 true 28.766166421 true 29.260702907 true 29.147353334 true 28.824497128 true 28.88942447 true 29.418760079 true 28.544200261 13 29.14963877246154 0.26924753165680404 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 31.21418263 true 32.411139854 true 32.136248465 true 32.429649505 true 32.622969638 true 31.996217903 true 31.515367445 true 31.054011236 true 31.938614074 true 31.230851177 true 31.252181154 true 31.988037083 true 31.910157232 13 31.823048261230774 0.43825348679289833 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.431829937 true 33.777260921 true 33.33992124 true 33.908689741 true 33.293417071 true 32.864861752 true 34.107217292 true 33.997380929 true 33.857161999 true 34.14052428 true 33.305414167 true 33.347703569 true 33.568234552 13 33.687662880769224 0.3702192205562139 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.356000839 true 34.73776751 true 34.715843458 true 35.533555897 true 35.476999822 true 34.781403354 true 35.075744781 true 34.241249508 true 35.422331608 true 34.621053561 true 35.2289784 true 35.081042479 true 35.266503514 13 34.96449805623077 0.3590261703668646 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 35.454778247 true 35.198870812 true 35.81666683 true 35.700504468 true 36.130284329 true 35.599928579 true 35.461471608 true 36.016601912 true 35.799790035 true 36.067772408 true 35.069469753 true 35.436092327 true 35.608097236 13 35.64310219569231 0.2573856627455626 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 35.519084919 true 35.676480636 true 35.137014642 true 36.247113154 true 36.046274405 true 36.158331997 true 35.56966095 true 35.404855883 true 36.480033157 true 35.806212365 true 36.626329547 true 35.747887869 true 35.379287454 13 35.83065899830769 0.3699672720710045 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.001614269 true 35.745645026 true 35.444982836 true 36.12959056 true 35.811580502 true 35.420144744 true 36.106204592 true 36.168189704 true 35.890643809 true 35.376180767 true 36.187480954 true 35.589624731 true 36.790354862 13 35.89709518123077 0.30782520824852083 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.845021282 true 36.538820587 true 35.732161697 true 35.979364174 true 36.377088201 true 36.726452568 true 35.715737427 true 35.749802468 true 35.484047701 true 36.262461835 true 35.44815077 true 36.039756429 true 35.344542675 13 36.018723678 0.41188597446153846 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.197852727 true 35.766562354 true 36.045384467 true 35.898928703 true 35.569992609 true 36.077222691 true 35.723808554 true 35.618748203 true 35.186743194 true 36.480062157 true 37.107923771 true 35.778130803 true 35.067351434 13 35.88605474361539 0.3832378545088751 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.387914009 true 36.42560764 true 36.620984647 true 36.025614067 true 36.184007954 true 35.389757342 true 35.587128171 true 35.126364357 true 36.573774332 true 36.326961068 true 35.787481088 true 36.069546897 true 35.878622169 13 36.02952028776922 0.3664853127100597 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.357521443 true 35.735036698 true 36.340830696 true 36.304971306 true 35.59720933 true 36.66674656 true 36.271059454 true 35.824862662 true 36.766840348 true 36.539173298 true 36.74719357 true 35.866729566 true 36.265598173 13 36.25259793107693 0.3056236105088749 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-state 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 36.03455154 true 36.165062969 true 35.770950335 true 36.215717123 true 36.189367441 true 36.192707863 true 36.694806723 true 36.341172694 true 35.987892396 true 35.824848291 true 36.707632819 true 37.045481919 true 35.890586591 13 36.23544451569231 0.28420247572780966 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 37.678400656 true 37.660496336 true 37.69889217 true 37.229778021 true 37.131833541 true 36.277980886 true 37.217869954 true 38.152451397 true 37.257660715 true 36.578983096 true 37.439089469 true 37.085029457 true 37.017494266 13 37.263535381846154 0.35563894134911267 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 25.66079843 true 27.228556133 true 26.805953649 true 25.719207692 true 25.639069713 true 26.601009177 true 26.617414717 true 26.148783208 true 26.182541909 true 25.960799838 true 25.986433048 true 25.916049188 true 26.069800173 13 26.195108990384615 0.3803842637633132 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 27.968755048 true 28.087630699 true 29.046158354 true 28.469342534 true 28.608408627 true 28.924359055 true 29.647361731 true 28.728779328 true 28.818379985 true 28.327024709 true 28.491064651 true 28.471348573 true 28.428313483 13 28.616686675153844 0.3202469349585796 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 30.781698522 true 30.687497515 true 30.121264897 true 30.649297908 true 30.344733631 true 30.474694617 true 30.837969151 true 30.559522539 true 30.166599985 true 30.939781131 true 30.465739758 true 30.705778127 true 30.068086269 13 30.523281849999996 0.2305495296923077 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 31.96136021 true 32.133843027 true 32.045681617 true 31.918661038 true 32.656474261 true 32.577020721 true 32.033191564 true 32.484373696 true 32.726392584 true 33.111461859 true 32.846233873 true 31.829115767 true 32.624092999 13 32.380607939692304 0.3633529869467462 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 33.027785727 true 33.385768867 true 33.378617613 true 34.128879105 true 33.287787229 true 33.033835695 true 32.835838924 true 32.896539981 true 33.019619224 true 33.294036908 true 33.312782921 true 33.135638707 true 33.588038879 13 33.25578229076923 0.24391315178698336 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.185570062 true 33.496975752 true 33.461262992 true 33.969491822 true 34.445067807 true 33.876579622 true 33.565937477 true 33.953801293 true 33.93859609 true 33.365149404 true 33.437739476 true 32.965335384 true 33.497845358 13 33.70456557992308 0.32949434099408303 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.050635389 true 33.330207653 true 34.288775396 true 33.57456233 true 33.529833699 true 34.366273632 true 34.178600364 true 33.528592423 true 34.617403313 true 33.916876141 true 34.477789112 true 33.406142215 true 33.497435493 13 33.90485593538462 0.39420950758579865 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 35.405218843 true 33.928616579 true 34.086014924 true 34.517229957 true 34.750807259 true 34.028697073 true 33.886474648 true 34.517504397 true 33.996022221 true 33.767668411 true 34.116402605 true 33.654579372 true 34.187388995 13 34.21866348338461 0.3563240803786971 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 33.907256164 true 33.969155169 true 34.765653099 true 34.296718111 true 33.7485402 true 34.013175754 true 33.768050669 true 34.218109364 true 33.79441167 true 34.359921354 true 34.555340656 true 33.931291864 true 34.017807361 13 34.10349472576923 0.25819522386982147 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.239703236 true 34.686797533 true 34.298308976 true 34.51683461 true 34.427348693 true 33.878661174 true 34.588008275 true 35.129893928 true 35.210376638 true 34.476533736 true 34.167796475 true 34.8858845 true 34.370525001 13 34.52897482884616 0.2855518045798834 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.297662263 true 34.246722624 true 33.998908605 true 33.929638833 true 34.155241037 true 34.038276333 true 34.481428707 true 33.997271948 true 34.406295669 true 34.881325928 true 34.223139301 true 33.976724376 true 34.128886368 13 34.212424768615385 0.1941578277396456 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 34.48662305 true 33.909965305 true 34.544610119 true 34.206342318 true 34.408371714 true 34.404991529 true 34.852470494 true 33.959746253 true 34.674751745 true 34.148555636 true 34.135646967 true 34.24114394 true 34.726925969 13 34.36154961838461 0.24121496789349203 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-set 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 35.097732148 true 34.87566742 true 34.349243796 true 34.386869623 true 34.616294533 true 34.374438287 true 35.002038438 true 34.270069899 true 34.740205524 true 34.410118683 true 33.818576632 true 35.065332149 true 34.92133166 13 34.60983990707693 0.31534192653254295 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 33.509468816 true 33.677647232 true 32.716724965 true 32.8195587 true 33.166923457 true 33.24171177 true 33.320033541 true 32.921096198 true 33.69743871 true 32.776296604 true 33.169204398 true 32.911010002 true 32.478865879 13 33.10815232861538 0.3115940959526634 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 24.888958415 true 25.236361915 true 25.214796963 true 24.504461266 true 25.249551996 true 24.758007955 true 24.65682625 true 24.877850535 true 25.348193529 true 25.40469935 true 24.689511366 true 24.844436691 true 24.588781899 13 24.943264471538463 0.26727406081656824 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 21.015279299 true 21.449499434 true 21.42057908 true 21.267782608 true 21.196747037 true 21.491080187 true 21.556205554 true 21.652178327 true 21.419765094 true 21.396740073 true 21.108388898 true 21.720129589 true 21.125827172 13 21.370784796307696 0.17536907192899312 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 19.674949226 true 19.436995615 true 19.398797602 true 19.469538025 true 19.5504363 true 19.256366676 true 19.534926148 true 19.187148814 true 20.040875434 true 19.355315895 true 19.617607824 true 19.438613845 true 19.525793612 13 19.49902807815385 0.14621847308875802 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 18.842346486 true 18.896003235 true 18.592035969 true 18.247672957 true 18.365195699 true 18.461702213 true 18.177470726 true 18.666910254 true 18.585267454 true 18.191767407 true 18.86555816 true 18.795897777 true 18.501073686 13 18.552992463307696 0.21124186028402347 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 17.528182109 true 17.787798871 true 17.564017206 true 17.297549531 true 17.711345891 true 17.767397525 true 17.580547167 true 17.569240351 true 17.708554154 true 17.610515188 true 17.494907363 true 17.358961447 true 17.479451682 13 17.573728345 0.11135211169230776 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 17.718745484 true 17.264427417 true 17.224769579 true 17.414234604 true 17.450029317 true 17.365910841 true 17.157918259 true 17.24836072 true 17.847689246 true 16.729472596 true 17.14852644 true 17.338362864 true 17.234966308 13 17.318724128846156 0.18809655121893507 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 16.996219728 true 16.714636674 true 16.740618249 true 16.556409628 true 16.81494077 true 16.824134897 true 16.934947507 true 17.301938037 true 16.730894577 true 17.190658747 true 16.735458742 true 16.665697559 true 16.860017144 13 16.851274789153845 0.15806264880473309 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 16.81010719 true 16.746053136 true 16.299620793 true 16.398598214 true 16.617821584 true 16.305647594 true 16.475450315 true 17.115339782 true 16.744993313 true 16.490572406 true 16.305361939 true 16.836911336 true 16.70143902 13 16.603685894 0.20720986199999997 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 16.345466997 true 16.208689496 true 15.995851747 true 16.17115889 true 16.257614341 true 16.246213466 true 16.418638688 true 16.415971426 true 15.996665569 true 16.065063084 true 15.908506457 true 15.938121939 true 15.751046424 13 16.132231424923077 0.17509743531360983 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 16.559819241 true 16.268722839 true 15.861022934 true 16.261556483 true 16.151599651 true 15.897743651 true 16.655194449 true 16.097085373 true 16.456972752 true 16.186510569 true 16.266851048 true 16.455845363 true 16.386533338 13 16.269650591615385 0.17940187460355042 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 16.047954518 true 15.984099568 true 15.620608871 true 15.929056033 true 15.974887923 true 15.776199309 true 15.934988301 true 16.238793918 true 16.224128473 true 16.085954797 true 15.900441764 true 16.151428524 true 16.208300091 13 16.005910930000002 0.14170688323076938 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 15.687206221 true 16.166218604 true 15.745530268 true 15.830184553 true 15.87776966 true 15.956665167 true 15.806708347 true 15.726919596 true 15.603627831 true 15.646800368 true 15.724323047 true 15.456326917 true 15.851468344 13 15.775365301769234 0.1287419791360952 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-L-SA-part 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 15.41416686 true 15.517067173 true 15.439168506 true 15.440482032 true 15.510231664 true 15.776198876 true 15.306667581 true 15.554360952 true 15.357817587 true 15.518985475 true 15.830659519 true 15.667967081 true 15.525548388 13 15.52764013030769 0.11055783181065006 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 344.924783852 true 324.275185493 true 322.491327589 true 316.016887076 true 358.95286546 true 336.77915779 true 320.366902375 true 308.579895558 true 318.989670283 true 320.407269775 true 323.862974096 true 310.065068443 true 338.621228573 13 326.4871704894615 11.28143903340828 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 372.407190263 true 381.999764725 true 382.594690619 true 415.003861786 true 393.055998194 true 377.437457613 true 419.03907588 true 409.756001753 true 406.094265019 true 378.092503805 true 401.088214557 true 384.335576796 true 384.34831759 13 392.7117629692308 13.502590672863906 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 358.585814222 true 378.213204508 true 352.859629276 true 388.641245296 true 370.509541321 true 368.846289387 true 366.256461117 true 402.421884252 true 366.492606187 true 356.151377334 true 372.313215141 true 347.579239452 true 355.496671937 13 368.0282445715385 11.196294227041419 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 349.739980337 true 357.050515098 true 360.047844232 true 364.816657759 true 366.283780974 true 377.562565787 true 360.705165809 true 365.360091611 true 354.022593889 true 333.229126102 true 370.039140707 true 364.050699275 true 365.100336017 13 360.6160382766923 7.536943342378702 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 363.429955221 true 353.117868266 true 366.186920969 true 346.537557044 true 357.38159189 true 382.150476558 true 363.929207115 true 346.980317192 true 364.157930302 true 356.509037262 true 364.354263642 true 352.204187469 true 349.57631315 13 358.96274046769224 7.758817077053257 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 350.989898331 true 355.33483268 true 358.273937235 true 348.187411148 true 358.901926605 true 354.810224795 true 364.808120689 true 363.042435697 true 352.027827783 true 356.271154999 true 356.445112362 true 367.497849922 true 367.941423275 13 358.0409350400769 4.956935874236684 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 351.648401366 true 370.334315396 true 368.370556956 true 372.664723368 true 373.869538571 true 368.251119524 true 349.240344883 true 367.465192215 true 359.502389158 true 356.717260528 true 369.087421099 true 374.824620958 true 355.113467906 13 364.39148860984614 7.651627570497051 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 349.414114743 true 358.440311105 true 353.791238548 true 347.279352373 true 360.859107346 true 353.050606736 true 360.370863961 true 346.876220967 true 357.29215453 true 354.654853398 true 372.318626628 true 354.251883657 true 360.264585061 13 356.0664553117692 5.099525655443774 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 352.828582957 true 357.530015406 true 353.023394945 true 354.951750816 true 358.28729127 true 351.792057974 true 355.857240401 true 356.109823113 true 362.928268587 true 346.854765431 true 356.229639998 true 369.723867141 true 369.823539172 13 357.380018247 4.829675437076931 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 357.900032762 true 356.387813289 true 369.189463408 true 351.330810254 true 356.120867678 true 377.005896176 true 357.838653291 true 348.54810892 true 355.295276416 true 357.254533868 true 369.453163147 true 349.250660354 true 352.097159093 13 358.28249528123075 6.277082598047321 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 350.561284907 true 357.895615329 true 370.218435734 true 359.035308522 true 361.598507572 true 355.20236811 true 370.629615231 true 364.909188612 true 358.702556321 true 358.360057966 true 353.799788317 true 357.319613738 true 349.005050529 13 359.01826083753843 4.815346382047332 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 319.667377647 true 314.618282163 true 319.148154105 true 317.162433468 true 326.616064563 true 355.951688983 true 353.753212601 true 361.50405324 true 364.188566985 true 370.47048966 true 363.28905356 true 355.71125587 true 356.130854781 13 344.4778067404616 19.257957193278095 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 364.790757895 true 365.424307797 true 355.784661592 true 382.379427729 true 365.393662575 true 371.159959904 true 358.088916276 true 353.988322368 true 365.750911715 true 365.277432623 true 355.650367013 true 355.206220644 true 370.407641831 13 363.79250692015376 6.191391801195279 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-state 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 358.863777765 true 369.500330158 true 377.853075814 true 352.457477086 true 360.699128573 true 364.215805956 true 363.231344357 true 362.424643719 true 350.608389056 true 360.882231832 true 379.160705262 true 360.003269161 true 355.998232238 13 362.7614162290001 6.177566215692327 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 47.384788126 true 48.720765556 true 49.555911484 true 46.444194176 true 49.508771267 true 47.459362103 true 47.280464551 true 49.506628022 true 47.978914802 true 47.823714263 true 49.274704296 true 48.894935397 true 45.207053983 13 48.08001600200001 1.0740953861538474 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 61.845370781 true 68.809459862 true 64.605578471 true 66.569188501 true 64.860089173 true 61.599817847 true 65.906349669 true 73.717152473 true 61.230543918 true 58.918270227 true 70.09727718 true 63.40775299 true 58.009140746 13 64.58276860292307 3.459340785928995 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 83.655867546 true 69.659894529 true 83.5608561 true 84.516543548 true 82.12869014 true 81.955193227 true 80.860766578 true 81.900097895 true 73.670210343 true 83.843816202 true 79.687428155 true 79.835378145 true 88.219991583 13 81.03805646084615 3.304093008343195 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 88.814281721 true 87.45118082 true 91.846227522 true 87.324994825 true 93.996307427 true 90.127375145 true 89.836848678 true 83.666140311 true 88.363641545 true 86.609934556 true 91.36964473 true 88.537648118 true 89.634070368 13 89.04448428969232 1.9297797125917167 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 91.315976122 true 93.80775166 true 91.727189303 true 91.907470005 true 93.211456333 true 94.628429927 true 91.529359441 true 90.496695192 true 90.636845098 true 89.869309061 true 92.678547159 true 95.194219278 true 97.366532449 13 92.64382930984615 1.6959939918343214 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 94.298668632 true 93.979204515 true 94.89474704 true 91.978737278 true 96.006821724 true 96.687141129 true 93.587278425 true 93.40096462 true 91.845770392 true 95.369157992 true 94.083219829 true 94.836449824 true 90.835821442 13 93.98492175707692 1.2741159800710067 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 90.968783565 true 93.317120581 true 91.685865397 true 93.508922166 true 92.656983404 true 94.96922267 true 93.738304323 true 94.478369244 true 92.734133224 true 93.947917241 true 93.775980816 true 94.270933341 true 95.486796354 13 93.50302556353846 0.9464987148757411 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 92.373803368 true 93.803957046 true 92.577373514 true 93.025823737 true 97.07714929 true 95.777853071 true 95.860668077 true 93.867881097 true 89.987900695 true 91.504699567 true 94.297660838 true 99.090895242 true 93.749010691 13 94.0765135563846 1.8033321132426006 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 96.110848618 true 91.927464112 true 93.87625524 true 96.428819704 true 96.445623315 true 91.478976566 true 95.661062283 true 94.776973881 true 95.095668727 true 90.957631743 true 102.07974805 true 93.495885185 true 93.650499597 13 94.76811207853845 2.0341476966508907 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 92.237136232 true 90.695347693 true 100.652232288 true 93.808253776 true 94.755073502 true 95.694693623 true 93.828642104 true 91.231366935 true 93.819637374 true 95.485722682 true 94.491050777 true 93.090468033 true 95.770591466 13 94.27386280653846 1.7240288459644983 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 91.971481777 true 96.529608672 true 93.067445269 true 92.89480685 true 95.017974478 true 92.165370361 true 92.326326839 true 90.715421848 true 94.979525542 true 94.575141832 true 92.98524561 true 92.516983548 true 93.158849672 13 93.3003217152308 1.2155328712426121 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 91.640478131 true 88.535355624 true 90.99918982 true 89.498091997 true 93.567788383 true 93.68012848 true 89.539244959 true 92.794258833 true 90.373973657 true 90.319270242 true 95.9647262 true 92.084330509 true 91.826352185 13 91.60178377076922 1.5916271270177522 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 87.420623544 true 89.735713383 true 84.579802207 true 85.92106247 true 84.621664511 true 84.707549814 true 87.499489575 true 85.588997576 true 86.25567143 true 83.226467178 true 82.678947619 true 86.294099268 true 86.509656036 13 85.772288047 1.4200460579999992 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-set 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 77.59741082 true 76.168224034 true 80.377780194 true 77.340510767 true 79.554426508 true 77.6170693 true 76.423123436 true 72.475549524 true 72.830462567 true 78.413252343 true 75.318311463 true 76.599161913 true 75.556197098 13 76.63626768976923 1.7050528912899392 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 35.18390046 true 34.85944201 true 32.784688642 true 32.928618122 true 33.289756334 true 33.147658417 true 33.396880085 true 32.624705013 true 32.216008459 true 32.944613061 true 32.891716055 true 32.754212496 true 32.68446735 13 33.20820511569231 0.5995628348047334 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 17.96571586 true 17.136824624 true 17.645969396 true 17.827940082 true 17.164495386 true 17.244175753 true 16.978642899 true 17.351346217 true 17.416810809 true 17.079775068 true 16.945715701 true 17.305844171 true 17.136243397 13 17.32303841253846 0.2450138925088753 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 11.926623095 true 11.84004767 true 12.275446228 true 12.103264946 true 11.250285866 true 11.868987947 true 11.986653028 true 12.323543983 true 12.295718713 true 11.120723225 true 11.976758677 true 12.255628607 true 11.946680641 13 11.936181740461542 0.257575522970413 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.075872984 true 9.284295093 true 9.425970889 true 9.479775494 true 9.528471544 true 9.335473101 true 9.114312261 true 9.68532277 true 8.929894595 true 9.434413191 true 9.246103241 true 9.390565469 true 9.714329293 13 9.357292301923078 0.17812346715976338 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 7.663504199 true 7.73012949 true 7.564553107 true 7.668692268 true 7.78571023 true 7.417968016 true 7.807894461 true 7.898702315 true 7.823993417 true 7.677489392 true 7.805700652 true 7.436598195 true 7.904343171 13 7.706559916384616 0.12470066481656804 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.689777029 true 6.505875183 true 6.72972814 true 6.705841681 true 6.638186876 true 6.339930256 true 6.614481665 true 6.677171705 true 6.74722686 true 6.787669074 true 6.814586839 true 6.814252347 true 6.749687008 13 6.678031897153844 0.09454058473372833 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.930965135 true 6.115419319 true 5.918744075 true 5.984797685 true 5.87585025 true 5.896286105 true 5.867793372 true 5.92481326 true 6.008269953 true 5.890760968 true 5.749673575 true 6.053413407 true 6.115798416 13 5.948660424615385 0.08221487029585799 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.76577445 true 5.709170623 true 5.659313152 true 5.685300638 true 5.599485037 true 5.736158203 true 5.778318082 true 5.46870872 true 5.765211644 true 5.529172226 true 5.630634402 true 5.568055077 true 5.856288913 13 5.673199320538462 0.0898195860355029 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.16629949 true 6.046800799 true 6.198058312 true 6.118273789 true 6.05747705 true 6.114924047 true 5.987625028 true 6.124424697 true 5.965626278 true 6.050140507 true 5.962957278 true 6.279740507 true 6.088055064 13 6.089261757384616 0.07171543041420116 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.015733592 true 6.06647577 true 6.046445686 true 5.938560103 true 6.134526891 true 6.339422695 true 6.241059738 true 6.131203323 true 6.147097136 true 5.945142281 true 6.061310658 true 6.009361911 true 6.280206861 13 6.104349741923077 0.0996027988402366 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.19508821 true 6.118209687 true 6.40632468 true 5.990679148 true 6.08946955 true 6.175609788 true 6.159962213 true 5.965168843 true 6.155763242 true 6.130728264 true 6.096984592 true 6.007435854 true 6.246470002 13 6.133684159461538 0.08263279665088753 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.106937234 true 5.964266227 true 6.119201069 true 6.156888309 true 6.15000863 true 6.159443433 true 6.038839828 true 6.065988243 true 6.138439778 true 6.164546299 true 6.165317451 true 6.049546788 true 6.090985864 13 6.105416088692309 0.04883899899408268 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.106097303 true 6.055491586 true 6.048262575 true 6.144610342 true 6.016632387 true 6.120980752 true 6.25567688 true 6.015510224 true 6.077008205 true 6.130718991 true 6.146572762 true 6.196696785 true 6.084546469 13 6.107600404692308 0.053792935976331474 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-S-part 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.059252275 true 6.00803774 true 6.039875571 true 6.065771018 true 5.954493264 true 6.145807239 true 5.98983313 true 5.964640617 true 5.958481038 true 6.009790009 true 6.081020619 true 5.950340374 true 6.157635752 13 6.029613742 0.05718154184615399 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 23.929812275 true 23.961376979 true 23.178332864 true 23.167984954 true 23.340763426 true 23.647866852 true 23.891948743 true 23.508431643 true 22.600419032 true 22.740340402 true 22.820897063 true 22.919362761 true 22.880722854 13 23.27601998830769 0.40370461356213 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 14.135307732 true 14.04180229 true 12.908991427 true 13.708687708 true 13.408276293 true 13.193875609 true 12.994466003 true 13.676945535 true 13.399434864 true 13.736268544 true 13.776784266 true 13.938033194 true 13.501101062 13 13.570767271307695 0.3105320568994081 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.02391321 true 9.857370898 true 9.943554879 true 9.832198126 true 9.857982612 true 9.980454327 true 10.164436187 true 9.940758039 true 9.846595504 true 9.804056656 true 9.896194409 true 10.074852034 true 9.927538954 13 9.934608141153847 0.08004920447337295 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.927976136 true 9.877382562 true 9.969738494 true 10.024874531 true 9.914322213 true 9.955348107 true 10.367985191 true 10.176122765 true 10.196049632 true 10.245299103 true 10.126304495 true 10.076962161 true 10.097317221 13 10.073514047000002 0.11868342138461549 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 11.214183081 true 11.147155088 true 11.419819008 true 11.180856042 true 11.466943051 true 10.979685339 true 10.934805943 true 10.946456576 true 10.97583416 true 10.988756934 true 11.103584705 true 11.129620462 true 10.856474888 13 11.10339809823077 0.1443653460591716 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 11.154520173 true 10.995998073 true 11.405677013 true 11.185946224 true 11.025123039 true 11.065690241 true 11.056181918 true 11.544820487 true 11.346786543 true 10.943573809 true 11.274216434 true 10.466992081 true 10.416296085 13 11.067832470769229 0.23153416144378666 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.907400951 true 10.974518814 true 11.14602454 true 10.754851852 true 10.627794122 true 11.018153124 true 10.245345066 true 10.497692655 true 10.969183756 true 10.657055837 true 11.026090106 true 10.645913751 true 10.30915337 13 10.752244457230766 0.23546337575147944 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.674617323 true 10.810772673 true 10.866960018 true 10.464555716 true 11.308937884 true 10.95077395 true 10.807217525 true 11.036283746 true 10.689913332 true 10.595440273 true 10.746603574 true 10.968550839 true 11.115998207 13 10.848971158461536 0.17748887588165688 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 11.224003208 true 11.288251296 true 11.406792759 true 11.229334139 true 11.296502319 true 11.36069481 true 11.106533 true 11.34764404 true 11.424230389 true 11.544642358 true 11.475829489 true 11.219137261 true 11.419105716 13 11.334053906461538 0.09854803319526645 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 11.245675364 true 11.387096942 true 11.195254821 true 10.980208531 true 11.355383546 true 11.480542023 true 11.22482076 true 11.120185199 true 11.359520677 true 11.139299546 true 10.847513004 true 11.269047218 true 11.449801203 13 11.234949910307693 0.13883347705325447 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.936425332 true 11.239507093 true 10.597967 true 11.038927512 true 11.235755979 true 11.059758258 true 11.247346074 true 10.890615743 true 11.000520611 true 10.785976525 true 11.239259674 true 11.016527254 true 11.30917444 13 11.045981653461537 0.16229409188165642 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.741398321 true 10.976005818 true 11.005142221 true 10.873554939 true 10.998494517 true 10.697036397 true 10.616753308 true 11.036247014 true 10.696067138 true 11.044846705 true 10.826941831 true 10.966422876 true 10.475679865 13 10.84266084230769 0.15416741443786997 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.944075065 true 10.795495381 true 10.527569514 true 10.414428362 true 10.990527419 true 10.967334483 true 10.703404673 true 10.856973363 true 10.306315321 true 10.834152469 true 10.756729225 true 10.984082344 true 10.715634763 13 10.753594029384617 0.16932577137278068 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.193509076 true 10.091120621 true 9.8204624 true 9.76893613 true 10.026615659 true 10.047684273 true 10.328603824 true 9.474095538 true 9.846666568 true 10.026537652 true 9.95091949 true 9.694434688 true 9.835185888 13 9.931136292846155 0.17646716078106509 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-state 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.728053396 true 9.439049109 true 9.570371566 true 9.505016439 true 9.597173362 true 9.666100524 true 9.556060131 true 9.73336989 true 9.146082224 true 9.635007962 true 9.918960155 true 9.537466409 true 9.717013212 13 9.596132644538462 0.12657692142011806 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 20.578627257 true 21.628419162 true 21.165263914 true 21.534948011 true 20.390372777 true 20.834331497 true 20.748719622 true 20.369922295 true 20.268272793 true 20.726595858 true 21.049645152 true 20.229291555 true 20.810969386 13 20.795029175307693 0.34667724156213053 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 12.384027389 true 12.20829509 true 11.653744658 true 11.809636015 true 12.159269339 true 11.781430264 true 12.371458675 true 12.377915224 true 11.960469895 true 12.414660878 true 11.650660076 true 11.598905348 true 11.619926638 13 11.999261499153846 0.29539347693491097 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.015799453 true 8.838883872 true 8.975036725 true 8.655221542 true 8.748922316 true 8.570450247 true 8.720201326 true 8.655657043 true 8.700277927 true 8.746608491 true 8.861536153 true 8.650902976 true 8.555663572 13 8.745781664846154 0.10955338783431962 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 7.535410642 true 7.280101608 true 7.414890446 true 7.514137441 true 7.317666306 true 7.4790533 true 7.465033283 true 7.430623506 true 7.596423058 true 7.496964823 true 7.516740788 true 7.688088778 true 7.439191446 13 7.474948109615384 0.07725877887573979 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 7.235382386 true 7.144255978 true 7.073852976 true 7.275208711 true 7.039458015 true 7.210134277 true 6.975079685 true 7.006437568 true 6.959931292 true 7.227766985 true 7.249379563 true 7.066341927 true 7.027246551 13 7.114651993384617 0.10064860610650896 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 7.41820157 true 7.495827076 true 7.428346657 true 7.490459281 true 7.430641831 true 7.564386195 true 7.434302992 true 7.880013533 true 7.467806351 true 7.508269929 true 7.49095272 true 7.339390469 true 7.464753493 13 7.493334776692307 0.07310117326627193 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 8.3556004 true 8.345346809 true 8.331010445 true 8.527609702 true 8.356653454 true 8.616923056 true 8.358486247 true 8.438809023 true 8.467361873 true 8.343356797 true 8.330010365 true 8.706610471 true 8.617942377 13 8.44582469376923 0.10881907848520687 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.537478016 true 9.387114142 true 9.300859244 true 9.206384507 true 9.427266571 true 9.467543658 true 9.317679294 true 9.148457861 true 9.216719229 true 9.175029047 true 9.099170279 true 9.555341995 true 9.538855891 13 9.336761518000001 0.13738941 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.826950116 true 9.755863368 true 9.657397078 true 9.627137764 true 9.849134196 true 9.615917817 true 9.627425492 true 9.853895034 true 9.994079846 true 9.704749586 true 9.548369563 true 9.637099056 true 9.657313263 13 9.719640936846154 0.10487967319526635 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.024261241 true 9.716400942 true 9.597867731 true 9.506669524 true 9.526813978 true 9.683111419 true 9.667492202 true 9.537766168 true 9.938643144 true 9.514319853 true 9.666846994 true 9.4741196 true 9.507828502 13 9.64324163830769 0.12881632494674555 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.379060837 true 9.316314514 true 9.884940911 true 9.446685066 true 9.326636499 true 9.696489341 true 9.137597872 true 9.685561277 true 9.507033732 true 9.468228106 true 9.677530908 true 9.646771582 true 9.383227814 13 9.504313727615385 0.16499159773964472 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.238911378 true 9.638459419 true 9.496915435 true 9.25624158 true 9.316846868 true 9.329024615 true 9.266895014 true 9.447353786 true 9.380116397 true 9.658121364 true 9.40346422 true 9.105650438 true 9.206058979 13 9.364927653307692 0.12844072325443806 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 9.304987752 true 9.279699766 true 9.288942315 true 9.519513297 true 9.285926191 true 9.07522301 true 9.377185409 true 9.138693412 true 9.188052721 true 9.188546669 true 9.267171578 true 9.20877177 true 9.359892588 13 9.267892806 0.08321502707692296 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 8.787437694 true 9.015643205 true 8.618381507 true 8.75073608 true 8.73920866 true 8.60338782 true 8.656306654 true 8.775707949 true 8.574366437 true 8.783239094 true 8.790365196 true 8.679465517 true 8.348694733 13 8.701764657384613 0.11230542712426023 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-set 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 8.734522367 true 8.65832067 true 8.686675978 true 8.55781097 true 8.837850905 true 8.99471217 true 9.00532084 true 9.010499525 true 8.777464575 true 8.89835497 true 8.885954433 true 8.798030097 true 9.01811523 13 8.835664056153844 0.12325533537278109 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 1 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 28.850581569 true 29.081181792 true 30.200777698 true 29.055302466 true 28.558646226 true 28.308185966 true 28.509822011 true 28.860168303 true 29.044532273 true 28.610056332 true 27.718309194 true 27.748049674 true 27.728086851 13 28.63643848884615 0.503678948911242 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 2 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 15.464811978 true 16.130486756 true 14.910118778 true 15.207259223 true 15.58941915 true 14.936545533 true 15.228402019 true 15.829963777 true 16.037921811 true 16.017135337 true 15.150814093 true 15.136936619 true 15.862888369 13 15.50020795715385 0.37947191647337297 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 3 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 10.879703235 true 10.599732582 true 10.720882583 true 10.835418098 true 10.888333117 true 10.647839097 true 10.799261477 true 10.78978293 true 10.697031737 true 10.815046112 true 10.909732789 true 11.05127229 true 11.139082575 13 10.82870143246154 0.11251284757396458 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 4 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 8.73950872 true 8.717826159 true 8.831427463 true 8.534972201 true 8.500346578 true 8.797922216 true 8.647555297 true 8.788965786 true 8.767942302 true 8.4852997 true 8.428187379 true 8.568748658 true 8.733415372 13 8.657085986999999 0.11960093984615373 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 5 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 7.405992712 true 7.20885115 true 7.234006849 true 7.063230267 true 7.0388361 true 7.227077336 true 7.079704228 true 7.226178563 true 7.195133776 true 7.245553437 true 7.09742121 true 7.136887866 true 7.28552434 13 7.188030602615383 0.08062666801183468 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 6 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 6.11472846 true 6.150152749 true 6.07744946 true 6.095972176 true 6.17065131 true 6.259004581 true 6.365746104 true 6.333981432 true 6.210085286 true 6.279902125 true 6.27040641 true 6.235245839 true 6.199501268 13 6.212525169230771 0.07217468855621306 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 7 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.675115645 true 5.506197355 true 5.585665917 true 5.606652522 true 5.658526932 true 5.618941258 true 5.574642221 true 5.556558539 true 5.58474249 true 5.507411392 true 5.598741157 true 5.53529349 true 5.535119061 13 5.580277536846154 0.0409912558579882 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 8 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.105754131 true 5.046714128 true 5.061341703 true 5.09026382 true 5.195928439 true 5.177081889 true 5.130177328 true 5.104748442 true 5.145674738 true 5.057265616 true 5.115759268 true 5.036217048 true 5.037586004 13 5.100347119538461 0.04195298434319547 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 9 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.50403762 true 5.519177969 true 5.543695376 true 5.689060646 true 5.593379721 true 5.870520382 true 5.763610984 true 5.496875046 true 5.557345146 true 5.496006068 true 5.725964217 true 5.66835136 true 5.673299667 13 5.623178784769231 0.10026685344378689 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 10 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.806261776 true 5.656338753 true 5.550913855 true 5.700090432 true 5.904142275 true 5.787320531 true 5.768807333 true 5.759154326 true 5.6751921 true 5.686032422 true 5.846479745 true 5.724569484 true 5.617382209 13 5.729437326230768 0.0762372351715975 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 12 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.737068297 true 5.775963634 true 5.794460113 true 5.658582065 true 5.677982169 true 5.746142017 true 5.654832433 true 5.685933626 true 5.618414788 true 5.710678735 true 6.014570438 true 5.686755747 true 5.716678566 13 5.729081740615386 0.06504550706508912 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.603688341 true 5.609006956 true 5.663689373 true 5.685062053 true 5.625287251 true 5.645392431 true 5.694462695 true 5.596978971 true 5.636733458 true 5.647192956 true 5.885342478 true 5.665527782 true 5.807532768 13 5.674299808692307 0.05772319372781053 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 16 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.636644729 true 5.818693865 true 5.846713272 true 5.670315894 true 5.64060263 true 5.645820203 true 5.94409664 true 5.776648361 true 5.668071699 true 5.655293499 true 5.574995722 true 5.547930294 true 5.53452972 13 5.689258194461538 0.09678759386982226 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 24 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.845430976 true 5.7855338 true 5.694923827 true 5.788075792 true 5.861062172 true 5.938922077 true 5.78557365 true 5.714033183 true 5.674067949 true 5.727894167 true 5.705577092 true 5.749056726 true 5.864293304 13 5.779572670384615 0.0633666274319526 true TypeSet 100 Classical Scheme-examples/AlgoDat1/qsort.scm false ParAAM-C-part 32 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 true 5.77556857 true 5.78304202 true 5.740703414 true 5.919112254 true 5.826831207 true 5.936259632 true 5.756825498 true 5.886560414 true 5.655458402 true 5.520390331 true 5.709175656 true 5.619958397 true 5.676064305 13 5.754303853846154 0.09293424893491115 true