TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 2.329273074 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-state 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.456854335 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-set 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.664153351 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-part 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.572085878 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-state 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 1.022428508 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-set 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.435829227 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-part 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.389717315 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.972305372 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-state 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.377094222 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.895349626 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-set 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.294216252 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.944709165 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-part 8 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.276004341 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/solovay-strassen.scm false SeqAAMLS 1 698817 18162 1 4878 1 #f 13 true 16.934437669 true 16.884891727 true 15.906700236 true 15.200041938 true 15.324348452 true 15.223015834 true 15.280490126 true 15.283965101 true 15.306546668 true 15.265282935 true 15.267298631 true 15.231958144 true 15.279898108 13 15.56837504376923 0.46475453856804694 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 2 698817 18162 1 4878 1 #f 13 true 15.764012316 true 14.181756548 true 14.71596206 true 14.328495931 true 14.519713933 true 14.305888184 true 14.568399187 true 14.832572307 true 14.673832973 true 14.769900999 true 14.446883462 true 14.351592812 true 14.781931494 13 14.633918631230769 0.26687697871005905 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 3 698817 18162 1 4878 1 #f 13 true 14.782954247 true 14.888223974 true 14.407549962 true 14.651864848 true 14.564964728 true 14.918205464 true 14.846373392 true 14.641307544 true 14.943155626 true 14.761228087 true 14.466129235 true 14.676195074 true 14.432764248 13 14.690839725307693 0.15309268279289936 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 4 698817 18162 1 4878 1 #f 13 true 16.109848344 true 16.35669592 true 16.505909031 true 15.964997504 true 16.350913019 true 16.381753196 true 16.040048815 true 15.991897271 true 15.972413657 true 16.360123704 true 16.036848195 true 16.090838824 true 15.98392562 13 16.165093315384617 0.17383512201183476 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 5 698817 18162 1 4878 1 #f 13 true 16.912077771 true 16.530398693 true 16.478775058 true 16.629536933 true 16.666041449 true 16.743354024 true 16.537355093 true 16.45174353 true 16.507527024 true 16.593506837 true 16.615319722 true 16.348999147 true 16.4898097 13 16.577264998538464 0.10711488381065101 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 6 698817 18162 1 4878 1 #f 13 true 16.986251184 true 16.822957287 true 16.855934901 true 16.908817924 true 17.061006515 true 16.603004396 true 16.634057953 true 16.787620575 true 16.85389034 true 16.751793148 true 16.423016413 true 16.521234442 true 16.782770077 13 16.76864270423077 0.14001648756212967 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 7 698817 18162 1 4878 1 #f 13 true 17.01417022 true 16.638409802 true 17.135993379 true 17.226441359 true 16.590166063 true 17.068445354 true 16.839781591 true 16.994693384 true 16.802553175 true 17.000241601 true 17.059908347 true 16.995989632 true 16.602015744 13 16.92067766546154 0.17391722343195218 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 8 698817 18162 1 4878 1 #f 13 true 17.217999885 true 16.86195768 true 17.157005891 true 16.716546076 true 16.770426491 true 16.939150164 true 16.833966763 true 16.671122819 true 16.660926645 true 16.740496531 true 16.851496334 true 16.85531426 true 17.060311722 13 16.87205548161538 0.13634549777514648 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 2 698817 18162 1 4878 1 #f 13 true 14.039664039 true 14.036383793 true 14.173809186 true 13.967932477 true 14.089557153 true 14.316381967 true 14.119964123 true 14.211013891 true 13.963929723 true 14.033330234 true 14.138821729 true 14.38333552 true 13.879863163 13 14.104152846000002 0.11052451384615412 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 3 698817 18162 1 4878 1 #f 13 true 15.1831483 true 14.436455101 true 14.531914506 true 14.575158836 true 14.579448258 true 15.058267048 true 14.455085643 true 14.582186905 true 14.561325505 true 14.67280371 true 14.374190235 true 14.77406182 true 14.876448949 13 14.666191908923075 0.18981081267455574 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 4 698817 18162 1 4878 1 #f 13 true 16.52153774 true 16.40132426 true 16.343653678 true 16.212718082 true 15.993140883 true 16.17735637 true 16.183769296 true 16.294912525 true 16.148078525 true 16.303049773 true 16.066153047 true 16.286078651 true 16.336073001 13 16.251372756230765 0.11184928221301818 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 5 698817 18162 1 4878 1 #f 13 true 16.573267147 true 16.891472346 true 16.847493857 true 16.803056794 true 16.634844087 true 17.012081136 true 16.612702068 true 16.406476874 true 16.52132553 true 16.59266089 true 16.318346278 true 16.524297506 true 16.811933997 13 16.65768911615385 0.16578346911242703 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 6 698817 18162 1 4878 1 #f 13 true 16.818775451 true 16.886858745 true 16.8609945 true 16.773890003 true 17.072761605 true 17.062301497 true 16.843650259 true 16.951768716 true 16.997640021 true 17.030729924 true 16.976248517 true 17.097589666 true 16.670034835 13 16.926403364538462 0.10834098372781015 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 7 698817 18162 1 4878 1 #f 13 true 16.667805668 true 16.709168958 true 16.976889297 true 16.722332234 true 16.72973081 true 16.892605269 true 16.955156902 true 16.903249458 true 16.693755705 true 16.883811134 true 16.959498465 true 16.681709924 true 17.136328 13 16.839387832615383 0.12797287641420113 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 8 698817 18162 1 4878 1 #f 13 true 17.218144394 true 16.70789302 true 16.946675081 true 16.55694658 true 16.760679277 true 16.981162366 true 16.805212734 true 16.932837521 true 16.742233956 true 17.207676867 true 16.864170799 true 16.935862066 true 16.679596405 13 16.872237774307695 0.15214333063905272 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 2 698817 18162 1 4878 1 #f 13 true 16.250322147 true 16.187096309 true 16.26194071 true 16.058974155 true 16.176934002 true 16.088096989 true 16.143396142 true 16.373789936 true 17.766737766 true 16.925458463 true 16.61445337 true 16.190365599 true 16.111054211 13 16.396047676846155 0.3259240874556217 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 3 698817 18162 1 4878 1 #f 13 true 11.807824094 true 11.587817175 true 11.483830829 true 11.594023101 true 11.552422217 true 11.466479894 true 11.334465499 true 11.624355204 true 11.446452041 true 11.51219234 true 11.520793677 true 11.415292897 true 11.565252889 13 11.531630912076924 0.08337064731360933 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 4 698817 18162 1 4878 1 #f 13 true 10.317253814 true 10.159679575 true 10.247878657 true 10.198272293 true 10.293956587 true 10.176490097 true 10.167404206 true 10.089862383 true 10.148345847 true 10.129403733 true 10.040703543 true 10.176548091 true 10.271952677 13 10.185980884846154 0.061447631349112526 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 5 698817 18162 1 4878 1 #f 13 true 9.765506521 true 9.524218145 true 9.541435544 true 9.657241601 true 9.693513426 true 9.638833186 true 9.639132832 true 9.833123273 true 9.7046297 true 9.566795999 true 9.633657 true 9.737475271 true 9.7067612 13 9.664794130615384 0.06957609343195269 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 6 698817 18162 1 4878 1 #f 13 true 9.35400762 true 9.242936422 true 9.488043 true 9.390441908 true 9.252494569 true 9.344061467 true 9.360261664 true 9.352641308 true 9.498697356 true 9.494927922 true 9.446719239 true 9.276335632 true 9.236982329 13 9.364503879692307 0.0763553886982247 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 7 698817 18162 1 4878 1 #f 13 true 9.097331995 true 9.142966984 true 9.080709761 true 9.230659474 true 9.124727833 true 9.119853692 true 9.160506985 true 9.039152114 true 9.024321454 true 9.184946581 true 9.158624253 true 8.995100395 true 9.161979768 13 9.116990868384615 0.05359055737278089 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 8 698817 18162 1 4878 1 #f 13 true 9.065673885 true 8.963632704 true 9.115788542 true 9.037326064 true 8.932246827 true 9.066419198 true 9.052171377 true 8.939447491 true 9.062848219 true 8.935352286 true 8.946596835 true 8.935050322 true 8.97733883 13 9.002299429230769 0.059450878402366916 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 2 698817 18162 1 4878 1 #f 13 true 84.877916884 true 81.170905261 true 76.466703816 true 71.123671947 true 68.7176575 true 75.579742535 true 71.179523524 true 69.543328952 true 69.589740489 true 96.753891446 true 71.014867207 true 69.327399748 true 78.702150445 13 75.69596151953846 6.075655423739645 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 3 698817 18162 1 4878 1 #f 13 true 99.941950347 true 101.391413469 true 107.849212106 true 105.111843862 true 103.183638323 true 100.116336946 true 101.401337083 true 105.150479829 true 100.347438182 true 99.295335235 true 101.297935697 true 103.705464724 true 99.903799176 13 102.20739884453846 2.14825301866272 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 4 698817 18162 1 4878 1 #f 13 true 97.837988172 true 95.260251747 true 95.279843945 true 97.362160624 true 95.045022412 true 95.663055979 true 94.413160239 true 99.969839995 true 93.209380298 true 97.211200989 true 99.101723596 true 97.452251089 true 94.491455572 13 96.33056420438461 1.6848891136449697 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 5 698817 18162 1 4878 1 #f 13 true 93.62316861 true 94.086050929 true 95.939879508 true 95.10480368 true 94.084281491 true 97.891818155 true 92.343611861 true 92.8245765 true 95.339488251 true 92.148465785 true 95.541713054 true 91.385433729 true 96.625463004 13 94.37990419669231 1.5636523802840248 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 6 698817 18162 1 4878 1 #f 13 true 93.422069389 true 92.417800184 true 92.030843451 true 94.721596246 true 95.416325453 true 93.716145164 true 93.280341607 true 94.938625656 true 92.802990608 true 94.246074253 true 85.098316309 true 90.916532315 true 94.596141735 13 92.89260018230767 1.7225412376213067 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 7 698817 18162 1 4878 1 #f 13 true 91.089480959 true 89.968260643 true 85.389784415 true 91.312590875 true 92.030166677 true 93.102929003 true 92.537091919 true 93.549067374 true 93.675664553 true 92.496170226 true 91.52356381 true 92.280996016 true 90.054895478 13 91.46235861138462 1.4610431826035521 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 8 698817 18162 1 4878 1 #f 13 true 93.808527216 true 90.745912535 true 92.001943947 true 93.273150237 true 92.062215266 true 92.762811121 true 93.463505885 true 91.164360626 true 90.793333556 true 93.023917707 true 90.211544343 true 93.60624856 true 91.971289505 13 92.22221234646153 1.0161364072662713 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 2 698817 18162 1 4878 1 #f 13 true 21.896897822 true 22.081402192 true 21.936902518 true 21.845296433 true 21.975762094 true 21.899875839 true 21.9204445 true 22.005377972 true 21.815877912 true 21.910359608 true 21.926569345 true 21.788165181 true 22.113374889 13 21.932023561923074 0.06964643928994008 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 3 698817 18162 1 4878 1 #f 13 true 17.910522258 true 16.50491832 true 16.72256453 true 17.157782589 true 17.331670207 true 17.604452932 true 16.949834099 true 16.132453423 true 17.085798506 true 16.594644808 true 17.207411355 true 16.71178779 true 16.535516197 13 16.95764284723077 0.3925816559408282 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 4 698817 18162 1 4878 1 #f 13 true 19.973876475 true 19.607271368 true 19.536418227 true 19.166445787 true 19.19461085 true 19.609702943 true 19.233885829 true 19.327648459 true 18.792922138 true 19.391513341 true 19.435737857 true 19.341404043 true 19.693600619 13 19.40807984123077 0.2166351448639052 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 5 698817 18162 1 4878 1 #f 13 true 21.946763639 true 21.695610512 true 21.829433762 true 21.810048876 true 22.725661506 true 22.38026878 true 22.161045065 true 22.117784743 true 22.387920194 true 22.400165757 true 22.062223502 true 22.296994548 true 22.33079791 13 22.16497836876923 0.23568284344378737 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 6 698817 18162 1 4878 1 #f 13 true 23.950860319 true 23.948208637 true 23.636640821 true 23.9171643 true 23.446166709 true 23.939649078 true 23.583208458 true 23.586600388 true 22.99325308 true 24.712549135 true 23.780607933 true 23.540307504 true 24.609918255 13 23.818856508999996 0.3331093338461534 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 7 698817 18162 1 4878 1 #f 13 true 25.059095764 true 25.095319173 true 24.521205452 true 24.85009641 true 24.067186317 true 24.551332706 true 24.969527364 true 24.800351093 true 24.412654731 true 24.591074224 true 24.032646694 true 23.537956727 true 22.395848618 13 24.375715021 0.533726419692307 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 8 698817 18162 1 4878 1 #f 13 true 22.846514649 true 26.130086883 true 25.29202212 true 24.927158651 true 24.567795432 true 24.72700296 true 24.632492365 true 24.926553666 true 24.551173672 true 25.529884722 true 24.432410141 true 24.904841868 true 24.893823218 13 24.79705848823077 0.4653787246745558 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 2 698817 18162 1 4878 1 #f 13 true 16.532560323 true 16.717393374 true 16.520900557 true 16.572724285 true 16.354520862 true 16.274971718 true 16.372942317 true 16.320179221 true 16.908907779 true 16.384501863 true 16.49421125 true 16.539675395 true 16.674987507 13 16.512959727 0.13483555861538468 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 3 698817 18162 1 4878 1 #f 13 true 9.214891487 true 9.001012723 true 8.5912897 true 9.11001771 true 7.83334444 true 8.40973955 true 8.420423683 true 8.639628083 true 8.933553424 true 7.56892305 true 8.565860491 true 9.011850498 true 7.785369219 13 8.545069542923075 0.416545811171598 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 4 698817 18162 1 4878 1 #f 13 true 5.167931987 true 5.321802076 true 5.503959489 true 5.791681665 true 5.291170171 true 4.970650429 true 5.144422375 true 5.611038252 true 5.227759346 true 5.198808992 true 5.079265306 true 5.893160199 true 5.273504319 13 5.344242662 0.21890291646153845 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 5 698817 18162 1 4878 1 #f 13 true 4.397586683 true 4.299217848 true 4.089946593 true 4.076468951 true 4.126739046 true 4.131833617 true 4.247823333 true 4.363369786 true 4.280741574 true 4.420962311 true 4.398766579 true 4.354501152 true 4.182628595 13 4.259275851384614 0.10772538050887591 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 6 698817 18162 1 4878 1 #f 13 true 3.989321476 true 3.800775926 true 3.593024218 true 3.382954004 true 3.652728977 true 4.053388918 true 3.784191544 true 3.869718743 true 3.969509165 true 3.918063418 true 3.983997553 true 4.037587759 true 3.718779421 13 3.8272339324615388 0.15860761611834312 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 7 698817 18162 1 4878 1 #f 13 true 3.266722437 true 3.695440701 true 3.286752503 true 3.639158431 true 3.507993981 true 3.505560581 true 3.394681689 true 3.482729605 true 3.387136874 true 3.611577456 true 3.57168745 true 3.429129343 true 3.207952513 13 3.4605018126153846 0.12163623333727809 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 8 698817 18162 1 4878 1 #f 13 true 3.191235113 true 3.160360127 true 3.372887643 true 3.319922383 true 3.295728061 true 3.194738214 true 3.162919455 true 3.240843326 true 3.199979826 true 3.163434434 true 3.083736312 true 3.205585682 true 3.381712061 13 3.228698664384616 0.07193848493491134 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 1 698817 18162 1 4878 1 #f 13 true 9.329839809 true 9.194801241 true 9.199846603 true 9.195990048 true 9.367422784 true 9.505703964 true 9.28046657 true 9.260367565 true 9.437207771 true 9.313704811 true 9.320614353 true 9.310279737 true 9.270657711 13 9.306684843615383 0.06738143441420136 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 2 698817 18162 1 4878 1 #f 13 true 5.332583957 true 5.331922833 true 5.245343522 true 5.300584976 true 5.258336075 true 5.298104422 true 5.275770397 true 5.248911928 true 5.287718671 true 5.220624874 true 5.208835391 true 5.2851037 true 5.259805331 13 5.273357390538461 0.030505726497041384 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 3 698817 18162 1 4878 1 #f 13 true 4.029684652 true 3.920287835 true 3.866425931 true 3.962904104 true 4.010793286 true 3.995437625 true 3.905923017 true 3.935282516 true 3.971828718 true 3.978314972 true 3.97825983 true 4.048155609 true 3.971477546 13 3.9672904339230772 0.03778904101775142 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 4 698817 18162 1 4878 1 #f 13 true 3.662137366 true 3.610303639 true 3.588037312 true 3.62636616 true 3.626858524 true 3.564034081 true 3.623558219 true 3.631566185 true 3.646696811 true 3.600670642 true 3.597237859 true 3.612903656 true 3.625622822 13 3.6166148673846146 0.019461848508875848 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 5 698817 18162 1 4878 1 #f 13 true 3.877334422 true 3.759269097 true 3.806856411 true 3.800452793 true 3.815909653 true 3.769472889 true 3.799142787 true 3.727702563 true 3.732239198 true 3.74821254 true 3.710002973 true 3.651414346 true 3.641633468 13 3.7568956261538466 0.0507951798343195 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 6 698817 18162 1 4878 1 #f 13 true 3.959009564 true 3.984744075 true 3.956376053 true 4.060963925 true 3.960936615 true 3.982786161 true 3.961838739 true 4.024700267 true 3.932474926 true 4.044330589 true 3.832830762 true 3.989682805 true 4.012595912 13 3.977174645615385 0.039935571491124304 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 7 698817 18162 1 4878 1 #f 13 true 4.102565559 true 3.987500482 true 4.002321218 true 4.099080219 true 4.004213728 true 3.856418737 true 4.04163515 true 4.021002768 true 3.991073003 true 3.994781894 true 4.039123041 true 4.046510248 true 3.904426338 13 4.0069732603846155 0.047396526568047416 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 8 698817 18162 1 4878 1 #f 13 true 3.924978534 true 3.999311715 true 4.049792394 true 4.027935931 true 3.875338853 true 4.000713626 true 3.856519354 true 3.94311999 true 3.881426845 true 3.871033818 true 3.925173151 true 3.883787444 true 3.850324553 13 3.929958169846153 0.057089662579881434 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 1 698817 18162 1 4878 1 #f 13 true 9.662355425 true 9.633292379 true 9.710189392 true 9.593793146 true 9.578198748 true 9.568933551 true 9.695767714 true 9.567942511 true 9.657564741 true 9.572729458 true 9.679840355 true 9.574917718 true 9.903061096 13 9.646045094923076 0.0665397159171597 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 2 698817 18162 1 4878 1 #f 13 true 5.320401579 true 5.261481068 true 5.287078184 true 5.27729006 true 5.205338166 true 5.266447883 true 5.25890357 true 5.300366705 true 5.248676307 true 5.233407628 true 5.256769754 true 5.283238394 true 5.235791776 13 5.26424546723077 0.022976923325443883 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 3 698817 18162 1 4878 1 #f 13 true 3.683853226 true 3.64167437 true 3.754358662 true 3.663884433 true 3.740337105 true 3.568651707 true 3.627434873 true 3.546150363 true 3.607701521 true 3.641932628 true 3.578416164 true 3.582091664 true 3.603524664 13 3.6338470292307696 0.049685884402366924 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 4 698817 18162 1 4878 1 #f 13 true 3.490670633 true 3.138717648 true 3.086369397 true 3.069682258 true 3.149700562 true 3.14218899 true 3.102040321 true 3.145396537 true 3.069714388 true 3.152260752 true 3.150965092 true 3.136523299 true 3.041256802 13 3.144268206076923 0.05656193009467454 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 5 698817 18162 1 4878 1 #f 13 true 3.012187163 true 2.860415932 true 2.895671321 true 2.921010696 true 2.929850474 true 2.908371688 true 2.856139216 true 2.949890302 true 2.879761427 true 2.847342131 true 2.840878052 true 2.8903776 true 2.877897349 13 2.897676411615385 0.03583511768047353 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 6 698817 18162 1 4878 1 #f 13 true 2.638969166 true 2.681163159 true 2.681051164 true 2.690467171 true 2.671218624 true 2.670390498 true 2.646665115 true 2.671818218 true 2.682680484 true 2.621501949 true 2.615697903 true 2.670363497 true 2.641142608 13 2.660240735076923 0.021111836059171656 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 7 698817 18162 1 4878 1 #f 13 true 2.579913408 true 2.496936069 true 2.493670463 true 2.484775474 true 2.530408177 true 2.532880983 true 2.499506424 true 2.512764976 true 2.506397584 true 2.510685588 true 2.516235111 true 2.517572889 true 2.502359924 13 2.514162082307692 0.016338485609467386 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 8 698817 18162 1 4878 1 #f 13 true 2.617756712 true 2.555909002 true 2.530965611 true 2.585344462 true 2.56250766 true 2.57353187 true 2.605133673 true 2.57096216 true 2.52270091 true 2.606424412 true 2.561594015 true 2.5758329 true 2.582695919 13 2.573181485076923 0.02068454653254436 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 1 698817 18162 1 4878 1 #f 13 true 15.15615951 true 15.033116758 true 15.172365369 true 15.193730341 true 14.804741403 true 14.751153996 true 14.980413351 true 14.771598237 true 14.808632902 true 15.148956289 true 14.901092964 true 15.026525965 true 14.983512409 13 14.979384576461538 0.1322620585088759 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 2 698817 18162 1 4878 1 #f 13 true 8.336583945 true 8.438413094 true 8.310946404 true 8.355549905 true 8.387685019 true 8.36139997 true 8.385516815 true 8.388075394 true 8.475598179 true 8.394252812 true 8.353858345 true 8.450305925 true 8.411324253 13 8.388423850769232 0.0350423091005921 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 3 698817 18162 1 4878 1 #f 13 true 5.082918148 true 5.18088537 true 5.150932601 true 5.320642024 true 5.477605034 true 5.17311707 true 5.121463628 true 5.359538777 true 5.124477243 true 5.138526451 true 5.487931842 true 5.42536669 true 5.418336325 13 5.266287784846153 0.1371836896804732 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 4 698817 18162 1 4878 1 #f 13 true 4.141049799 true 4.150451218 true 4.046329557 true 4.118787719 true 4.034570139 true 4.037469571 true 3.971868048 true 3.993962593 true 4.125336576 true 3.811031601 true 4.037769707 true 4.020956153 true 4.042106915 13 4.0408991996923085 0.05825639782248519 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 5 698817 18162 1 4878 1 #f 13 true 3.9158241 true 4.015888113 true 3.672790701 true 3.651826574 true 3.60412306 true 3.659913075 true 3.631085436 true 3.631493124 true 3.53675279 true 3.595616707 true 3.570975771 true 3.554840786 true 3.585161847 13 3.663560929538461 0.0944338654437865 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 6 698817 18162 1 4878 1 #f 13 true 3.295977607 true 3.386095366 true 3.285926674 true 3.271032419 true 3.3601759 true 3.33565555 true 3.330816167 true 3.421261089 true 3.315913992 true 3.343750846 true 3.414736992 true 3.473782616 true 3.320527544 13 3.3504348278461547 0.04675043442603571 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 7 698817 18162 1 4878 1 #f 13 true 3.087936548 true 3.102131568 true 3.095098494 true 2.970263142 true 3.134496564 true 2.997292962 true 3.09881664 true 3.110292085 true 3.040871451 true 3.033215991 true 3.234222725 true 3.028746865 true 3.169381508 13 3.0848281956153847 0.05442316416568046 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 8 698817 18162 1 4878 1 #f 13 true 2.787254723 true 2.742677556 true 2.852504946 true 2.908573594 true 2.881872365 true 3.062853448 true 2.97244284 true 2.849719778 true 3.009310581 true 2.948571711 true 2.912970962 true 2.955048686 true 2.872500046 13 2.9043308643076924 0.06760858028402367 true