TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.919499494 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-state 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.676373294 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-set 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.231965569 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-L-SA-part 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.126691505 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-set 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.12157385 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-S-part 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.10827752 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.40973121 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-state 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.131161291 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.410090732 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-set 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.102383926 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.468789859 true TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true ParAAM-C-part 20 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 0.074195702 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 8.510543477 true 7.547812523 true 7.514853903 true 7.523927353 true 7.501309451 true 7.522595399 true 7.5770709 true 7.564292423 true 7.52234624 true 7.510748214 true 7.554583265 true 7.854981634 true 7.52882102 13 7.633375830923077 0.16904206910059177 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 6.739956741 true 7.165561377 true 6.800704708 true 6.731463064 true 6.807910668 true 6.827957312 true 6.842494478 true 6.77901929 true 6.749867253 true 6.744014165 true 6.826843455 true 6.955267139 true 6.753817015 13 6.824990512692308 0.07587249192899413 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 7.805161759 true 7.850839969 true 8.188031904 true 8.052405525 true 8.027335785 true 7.995056878 true 7.941187781 true 7.965160502 true 7.910754593 true 8.068376202 true 8.006506527 true 7.881311046 true 8.064561529 13 7.981283846153845 0.08204421952662735 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 8.324527435 true 8.418586852 true 8.640667666 true 8.39572336 true 8.349577846 true 8.525114973 true 8.426575106 true 8.298892487 true 8.558108471 true 8.119623194 true 9.038070839 true 8.416629578 true 8.249423236 13 8.443193926384616 0.15218249899408307 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 8.390120596 true 8.356251594 true 8.460744361 true 8.390296425 true 8.281345939 true 8.380189349 true 8.459750689 true 8.396651812 true 8.606297293 true 8.536924424 true 8.191576808 true 8.318269106 true 8.421933219 13 8.399257816538462 0.07528629281656816 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 8.340725382 true 8.514314472 true 8.356352286 true 8.305518242 true 8.407204355 true 9.229570215 true 8.287652969 true 8.376329407 true 8.265879807 true 8.196063907 true 8.275090316 true 8.26623658 true 8.387766896 13 8.400669602615384 0.14601234371597618 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 8.417530756 true 9.165765813 true 8.38922337 true 8.375300431 true 8.486812535 true 8.317028287 true 8.45797095 true 8.443752432 true 8.446637693 true 8.394335949 true 8.366176436 true 8.520147387 true 8.629525898 13 8.493092918230769 0.12864005281656787 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 8.385498806 true 8.276882816 true 8.328167996 true 8.305950547 true 8.420676232 true 8.50131224 true 8.536874465 true 8.403896588 true 9.140359119 true 8.52637996 true 8.463999342 true 8.445134641 true 8.394613453 13 8.471518938846152 0.1259769274792896 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 9 698817 18162 1 4878 1 #f 13 true 8.365767809 true 8.50649977 true 8.314588031 true 8.350077048 true 8.655901266 true 8.43082825 true 8.450530302 true 9.470254809 true 8.475958247 true 8.491713303 true 8.459904388 true 8.427782223 true 8.236236498 13 8.510464764923075 0.1700348531005907 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 10 698817 18162 1 4878 1 #f 13 true 8.546051187 true 8.427078215 true 8.486973175 true 8.335370881 true 8.395515459 true 8.476713609 true 8.489792734 true 8.459993838 true 8.426811717 true 8.648053756 true 8.466676997 true 8.470482405 true 8.45777449 13 8.468252958692307 0.047469094437869716 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 12 698817 18162 1 4878 1 #f 13 true 8.468942135 true 8.517626412 true 8.566662161 true 8.977200516 true 8.417896861 true 8.335783965 true 8.616342905 true 8.409982086 true 8.445154951 true 8.538810993 true 8.51693422 true 8.476359573 true 8.497454742 13 8.521934732307692 0.09404271473372774 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 14 698817 18162 1 4878 1 #f 13 true 8.68785194 true 8.375425044 true 8.418178054 true 8.414408534 true 8.366787253 true 8.276089047 true 8.749014943 true 8.315657267 true 8.746563504 true 8.335496575 true 8.338288672 true 8.561084521 true 8.535623097 13 8.470805265461538 0.14247871964497022 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 16 698817 18162 1 4878 1 #f 13 true 8.51559202 true 8.376590013 true 8.486091491 true 8.565358682 true 8.431427942 true 8.360809319 true 8.514639552 true 8.286903038 true 8.487558323 true 8.368208157 true 8.527161311 true 8.299582382 true 9.21658331 13 8.495115810769232 0.1328855109467459 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 18 698817 18162 1 4878 1 #f 13 true 8.600140195 true 8.237655513 true 8.497815189 true 8.4804706 true 8.349897669 true 8.415350855 true 8.606549982 true 8.605638279 true 8.457390901 true 8.4866123 true 8.45075277 true 8.467675249 true 8.370447829 13 8.463569025461538 0.07691055627218955 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 20 698817 18162 1 4878 1 #f 13 true 8.588265823 true 8.417146674 true 8.390696763 true 8.546354298 true 8.269441276 true 8.54655289 true 8.396395929 true 8.538128624 true 8.445299483 true 8.381165181 true 8.296783118 true 8.456548005 true 8.406126227 13 8.436838791615385 0.07694098050887578 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 6.806123866 true 6.771217032 true 6.727959808 true 6.777644774 true 6.727901586 true 6.720034645 true 6.718019389 true 6.721445101 true 6.71018381 true 6.685952815 true 6.696137798 true 6.718231737 true 6.737351251 13 6.732169508615383 0.025178290544378257 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 7.91103147 true 7.914361994 true 7.839109167 true 7.835321949 true 7.828167369 true 7.975877398 true 7.851200703 true 7.937308563 true 7.935572279 true 8.127042462 true 7.819672781 true 7.936253797 true 8.066469041 13 7.921337613307694 0.06930736310059174 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 8.204903734 true 8.187600084 true 8.24559572 true 8.21124096 true 8.316794308 true 8.111761244 true 8.236409052 true 7.996630829 true 8.137765631 true 8.048044832 true 8.146476638 true 8.16620452 true 8.159184056 13 8.166816277538462 0.06179172196449704 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 8.299169024 true 8.06981462 true 8.287063791 true 8.261386885 true 8.017042739 true 7.994273851 true 8.356557955 true 8.335860581 true 8.241213544 true 8.180150362 true 8.128446368 true 8.178416623 true 8.145667503 13 8.191927988153848 0.09687443862721895 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 8.189413949 true 8.188307239 true 8.076639646 true 8.045072457 true 8.286512453 true 8.114532489 true 8.095961099 true 8.230320582 true 8.111036164 true 8.660299164 true 8.268061451 true 8.226099741 true 8.185486838 13 8.205980251692306 0.09867571269822448 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 8.167189346 true 8.086147298 true 8.100219066 true 8.193361581 true 8.06655559 true 8.110598552 true 8.388391595 true 8.297026539 true 8.008821106 true 8.366317548 true 8.149183052 true 8.204213302 true 8.097473301 13 8.171961375076924 0.09069287532544383 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 8.365219977 true 8.276095355 true 8.444443331 true 8.196560397 true 8.125784882 true 8.201314656 true 8.056877173 true 8.320782835 true 8.12745592 true 8.350549446 true 8.040440525 true 8.139414794 true 8.12694679 13 8.213222006230769 0.10630475582248536 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 9 698817 18162 1 4878 1 #f 13 true 8.207361457 true 8.107906237 true 8.185644812 true 8.226288444 true 8.15810437 true 8.267350014 true 8.288886677 true 8.247092011 true 8.306922605 true 8.387927667 true 8.410997703 true 8.197716639 true 8.31481268 13 8.254385485846154 0.0693206816804735 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 10 698817 18162 1 4878 1 #f 13 true 8.406947545 true 8.324338683 true 8.346442317 true 8.175825652 true 8.126892773 true 8.117954369 true 8.177158896 true 8.301248913 true 8.560079535 true 8.067008216 true 8.081435796 true 8.120287725 true 8.117522416 13 8.22485714123077 0.1253494287455622 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 12 698817 18162 1 4878 1 #f 13 true 8.177732798 true 8.089346605 true 8.185074545 true 8.29430461 true 8.154084419 true 8.177780455 true 8.386172412 true 8.221769907 true 8.295826349 true 8.197442055 true 8.347922913 true 8.126702322 true 8.396744459 13 8.234684911461539 0.08423787472189358 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 14 698817 18162 1 4878 1 #f 13 true 8.407775582 true 8.295835926 true 8.13004023 true 8.225939082 true 8.275443491 true 8.157477387 true 8.687328812 true 8.487664251 true 8.126721284 true 8.35940247 true 8.345698983 true 8.329665836 true 8.279353057 13 8.31602664546154 0.11098093249704127 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 16 698817 18162 1 4878 1 #f 13 true 8.187772555 true 8.347700032 true 8.344964861 true 8.439630967 true 8.289641967 true 8.310912189 true 8.248794438 true 8.156519592 true 8.251069707 true 8.267071665 true 8.197794722 true 8.29878403 true 8.357067244 13 8.284440305307694 0.06117217736094665 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 18 698817 18162 1 4878 1 #f 13 true 8.437883323 true 8.261262552 true 8.311103463 true 8.318455085 true 8.394527008 true 8.175666001 true 8.186902977 true 8.09441161 true 8.293754349 true 8.34580888 true 8.194513962 true 8.340387752 true 8.129081249 13 8.267981400846152 0.08708462370414215 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 20 698817 18162 1 4878 1 #f 13 true 8.317475485 true 8.299313753 true 8.33756133 true 8.270005204 true 8.137172965 true 8.307885299 true 8.260209014 true 8.158689111 true 8.179494888 true 8.425798219 true 8.166195176 true 8.186278673 true 8.115496238 13 8.24319810423077 0.0793633191360947 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 9.018125029 true 8.326567603 true 8.704560557 true 8.679360153 true 8.847713746 true 8.39108397 true 8.46612113 true 8.394882474 true 8.641023401 true 8.454487324 true 8.500661852 true 8.294333951 true 8.315490958 13 8.541108626769232 0.18234457725443798 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 6.076915428 true 6.109213164 true 6.027664858 true 5.921430188 true 5.927266047 true 6.04914732 true 6.168237473 true 6.036756472 true 6.035939568 true 6.065895045 true 6.169108943 true 6.02553004 true 5.997086547 13 6.046937776384614 0.05490626379881654 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 5.376173835 true 5.317642703 true 5.338038821 true 5.328511448 true 5.276760032 true 5.329017045 true 5.29441813 true 5.329121808 true 5.288544015 true 5.216941459 true 5.236035099 true 5.256475236 true 5.320790715 13 5.300651565076922 0.036113141455621244 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 5.058757111 true 4.966383237 true 4.92767646 true 4.994627004 true 5.024063655 true 5.009406318 true 5.009302923 true 4.946742748 true 4.929352899 true 5.000967811 true 5.045429292 true 5.031383591 true 4.939712326 13 4.9910619519230774 0.03776032147928973 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 4.796627463 true 4.81545244 true 4.788376136 true 4.795602058 true 4.860579439 true 4.855566408 true 4.770946745 true 4.777738906 true 4.876655831 true 4.92601047 true 4.893723518 true 4.768409499 true 4.790627311 13 4.82433201723077 0.044750089207100746 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 4.726764341 true 4.687011591 true 4.70408595 true 4.699690859 true 4.650767923 true 4.635487638 true 4.709469024 true 4.679113603 true 4.766902456 true 4.696003481 true 4.65817121 true 4.685767862 true 4.743830234 13 4.69562047476923 0.02729277255621308 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 4.787218957 true 4.714840538 true 4.625606801 true 4.685100467 true 4.609167568 true 4.606701209 true 4.626381676 true 4.628490249 true 4.590014514 true 4.627669508 true 4.579328664 true 4.628046849 true 4.616121924 13 4.6403606864615385 0.04093506194082836 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 9 698817 18162 1 4878 1 #f 13 true 4.62620001 true 4.58680219 true 4.541699387 true 4.596253619 true 4.617065239 true 4.583814366 true 4.634203813 true 4.576216675 true 4.577142974 true 4.605253105 true 4.590998562 true 4.584792105 true 4.528294785 13 4.588364371538462 0.021505864426035422 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 10 698817 18162 1 4878 1 #f 13 true 4.619817481 true 4.537491385 true 4.567977419 true 4.52109186 true 4.518678042 true 4.614337521 true 4.539006613 true 4.586168847 true 4.581010026 true 4.56837022 true 4.585031194 true 4.545137786 true 4.529934466 13 4.5626194507692315 0.028365623479289913 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 12 698817 18162 1 4878 1 #f 13 true 4.536508541 true 4.440453873 true 4.514491238 true 4.50755563 true 4.505254777 true 4.509988897 true 4.481091833 true 4.475923061 true 4.481814524 true 4.525127962 true 4.469127042 true 4.466416921 true 4.425489935 13 4.487634171846154 0.026634155988165712 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 14 698817 18162 1 4878 1 #f 13 true 4.516722465 true 4.449462757 true 4.466436286 true 4.466898291 true 4.436975929 true 4.427347131 true 4.435668269 true 4.407856054 true 4.476095725 true 4.527008411 true 4.414406375 true 4.46645197 true 4.477072437 13 4.459107853846154 0.028143170473372746 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 16 698817 18162 1 4878 1 #f 13 true 4.486362451 true 4.444584435 true 4.464963002 true 4.468419407 true 4.394683511 true 4.484965321 true 4.487228725 true 4.366072798 true 4.418960785 true 4.395755153 true 4.420692539 true 4.446385411 true 4.346003597 13 4.432698241153846 0.0390801636804733 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 18 698817 18162 1 4878 1 #f 13 true 4.465130738 true 4.485510764 true 4.390646946 true 4.419332568 true 4.348977258 true 4.437131678 true 4.445049755 true 4.448853446 true 4.396116899 true 4.396488702 true 4.436015913 true 4.387475162 true 4.405582847 13 4.420177898153846 0.030249985396449776 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 20 698817 18162 1 4878 1 #f 13 true 4.584585697 true 4.386161293 true 4.467123657 true 4.39669101 true 4.351214801 true 4.366978587 true 4.445189834 true 4.39639123 true 4.404903215 true 4.387817839 true 4.39422061 true 4.368056973 true 4.460132203 13 4.416112842230769 0.04501231108875718 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 8.076247135 true 8.235354836 true 8.206790577 true 8.086844675 true 7.908097267 true 8.066775406 true 8.127091513 true 8.109097149 true 7.914907188 true 8.195842981 true 8.00343629 true 8.080168666 true 7.874773957 13 8.068109818461538 0.08808599758579892 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 9.140067795 true 9.057020042 true 8.83919394 true 8.946533761 true 9.329112601 true 9.356439552 true 8.936246257 true 9.263657441 true 9.288307915 true 9.487061241 true 9.198540482 true 8.75893367 true 9.318266222 13 9.147644686076925 0.18582656176331355 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 10.688976092 true 11.373292885 true 11.367199821 true 11.120027444 true 11.036737124 true 10.878082822 true 11.371416149 true 11.257963351 true 10.965775791 true 11.027946473 true 10.98483792 true 11.100719802 true 11.213987641 13 11.106689485769229 0.16365390405917124 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 12.37678353 true 12.879091811 true 12.478636119 true 12.078215965 true 12.074354587 true 12.447499934 true 12.417731821 true 12.147598843 true 12.839240274 true 11.933821404 true 12.598739726 true 12.749216634 true 12.196967458 13 12.401376777384614 0.24623367343195268 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 13.394339539 true 13.289277619 true 13.683784024 true 13.576625518 true 13.658528701 true 13.084984752 true 13.158907267 true 13.038873473 true 13.274096891 true 13.41747289 true 13.645872265 true 13.228857508 true 13.256139805 13 13.362135404000002 0.18520161738461546 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 14.097119023 true 14.124396791 true 14.828515293 true 13.980753885 true 13.885029434 true 14.334156977 true 13.940094304 true 14.553188925 true 14.637588106 true 14.126791271 true 14.496626543 true 14.096962072 true 14.119002077 13 14.247709592384613 0.24792736647337227 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 14.713961443 true 14.983534384 true 15.668965523 true 14.597684022 true 15.486964565 true 15.436652644 true 14.580681532 true 15.157138163 true 14.516990907 true 15.254659933 true 14.860700189 true 14.377964308 true 15.123781616 13 14.981513786846154 0.34478466462721913 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 9 698817 18162 1 4878 1 #f 13 true 15.056701288 true 15.007268387 true 15.330434321 true 14.789808202 true 15.267317542 true 14.965446333 true 14.947838699 true 15.405585405 true 15.197016589 true 14.840161021 true 15.237721131 true 15.344607697 true 14.905411596 13 15.099639862384613 0.18228361702958595 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 10 698817 18162 1 4878 1 #f 13 true 15.198662098 true 15.276597986 true 15.037075909 true 15.234467099 true 14.84985845 true 14.547300376 true 15.404938289 true 14.750182147 true 14.915283429 true 15.209407347 true 15.264854752 true 14.965981994 true 15.316346536 13 15.07468895476923 0.2126848344023668 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 12 698817 18162 1 4878 1 #f 13 true 15.439178401 true 15.451439037 true 15.110520413 true 14.963436427 true 15.38506305 true 15.127332981 true 15.156659217 true 15.50783204 true 15.616493318 true 15.218689924 true 15.654825101 true 15.297390149 true 15.406577432 13 15.333495191538459 0.1733756981893494 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 14 698817 18162 1 4878 1 #f 13 true 15.907891523 true 15.457253083 true 15.967235177 true 15.147115318 true 15.74705731 true 15.569403524 true 15.227603084 true 15.339925738 true 15.338565495 true 15.611056472 true 15.464891561 true 15.376348761 true 15.779201417 13 15.53334988176923 0.21257632805917154 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 16 698817 18162 1 4878 1 #f 13 true 15.796926315 true 15.846336001 true 15.257017288 true 15.43725518 true 15.765461893 true 15.931257379 true 15.777589221 true 15.686636121 true 15.719785237 true 15.336247056 true 15.68470622 true 15.476027368 true 15.383946662 13 15.623014764692307 0.18839696453254445 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 18 698817 18162 1 4878 1 #f 13 true 16.514619985 true 15.69755923 true 16.36720809 true 15.987728766 true 16.266178587 true 15.678255947 true 16.937232333 true 15.576844882 true 16.007699094 true 17.265783717 true 17.02849467 true 17.438910929 true 17.624660621 13 16.491628988538462 0.5938351267337283 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 20 698817 18162 1 4878 1 #f 13 true 17.986847874 true 17.427733266 true 16.527739174 true 17.570347731 true 15.658360338 true 17.578650772 true 17.779098456 true 17.387024075 true 17.90992962 true 16.950160297 true 17.266207414 true 17.823410554 true 17.224911002 13 17.314647736384618 0.4532093010650878 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 9.160103494 true 8.840502786 true 8.570900261 true 9.267541357 true 9.188714693 true 9.234162478 true 9.356265921 true 9.690215296 true 9.316863689 true 9.086413464 true 8.839182092 true 9.699546187 true 9.495084499 13 9.211192016692308 0.2432823554082841 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 5.299990698 true 4.769471776 true 4.39718031 true 5.447326361 true 4.88599634 true 4.450361783 true 4.686882499 true 4.26612206 true 4.56803452 true 5.059493064 true 5.07759258 true 4.687088807 true 4.440700069 13 4.772018528230769 0.293893292591716 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 3.072558953 true 3.178930096 true 3.15759639 true 2.899445071 true 3.046109646 true 3.32680327 true 2.965823621 true 2.80680078 true 3.255049436 true 2.998819153 true 3.096263419 true 2.704676662 true 2.904393259 13 3.031789981230769 0.140120206366864 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 2.435266841 true 2.307231323 true 2.614129335 true 1.961107395 true 2.364955913 true 2.501247154 true 2.524674566 true 2.558944606 true 2.24553137 true 2.187538586 true 2.366964892 true 2.148168267 true 2.388746317 13 2.354192812692307 0.14175186499408293 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 2.07590887 true 2.186397158 true 2.096899024 true 1.768796946 true 2.138337327 true 1.825644192 true 1.724589877 true 2.014060466 true 2.128781121 true 1.867222494 true 1.768360735 true 2.088333356 true 1.668038383 13 1.9501053806923077 0.16584302417751481 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 1.8156363 true 1.775432883 true 1.848380501 true 1.72734312 true 1.654472391 true 1.627810853 true 1.776879702 true 1.795961432 true 1.774007764 true 1.798537675 true 1.700245587 true 1.688752148 true 1.730395092 13 1.7472196498461539 0.05450749355029584 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 1.417364376 true 1.597858631 true 1.636180546 true 1.628575958 true 1.628359622 true 1.229235482 true 1.676493239 true 1.668249051 true 1.679029372 true 1.606677163 true 1.671196432 true 1.6680643 true 1.637240739 13 1.5957326854615386 0.08382546352662715 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 9 698817 18162 1 4878 1 #f 13 true 1.545711159 true 1.586834258 true 1.538610363 true 1.529630578 true 1.530948771 true 1.375068552 true 1.546855574 true 1.431071461 true 1.569021599 true 1.506994684 true 1.346037316 true 1.548473409 true 1.526788244 13 1.5063112283076923 0.05642405475739647 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 10 698817 18162 1 4878 1 #f 13 true 1.557585094 true 1.345365 true 1.466825504 true 1.495318134 true 1.498650634 true 1.306929929 true 1.499410515 true 1.470189592 true 1.507218249 true 1.417993359 true 1.495544234 true 1.19561566 true 1.207692993 13 1.4203337613076923 0.09662644085207102 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 12 698817 18162 1 4878 1 #f 13 true 1.358478308 true 0.988278939 true 0.994920399 true 1.005383067 true 1.166490908 true 1.406022935 true 1.314555847 true 1.404432921 true 1.375224723 true 1.469010288 true 1.398428838 true 1.002936025 true 1.390200874 13 1.2518741593846154 0.16944022444970416 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 14 698817 18162 1 4878 1 #f 13 true 1.326006462 true 1.33364232 true 1.248736496 true 1.218059318 true 1.338487094 true 1.329083097 true 1.371095677 true 1.287021224 true 1.35415881 true 1.283249134 true 1.338807925 true 1.200547055 true 1.337688732 13 1.3051217956923074 0.04430703868639062 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 16 698817 18162 1 4878 1 #f 13 true 1.336153392 true 1.290983026 true 1.315971505 true 1.189227641 true 1.288135034 true 1.335937881 true 1.127041953 true 1.187784329 true 1.119663954 true 1.296546447 true 1.204125289 true 1.299776352 true 1.258852363 13 1.2500153204615385 0.06495899020118341 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 18 698817 18162 1 4878 1 #f 13 true 1.342946388 true 1.306070442 true 1.298046677 true 1.298415151 true 1.289318608 true 1.280013097 true 1.271116538 true 1.270836117 true 1.288559057 true 1.229000063 true 1.313405957 true 1.280550308 true 1.257574139 13 1.286604041692308 0.020082152023668646 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 20 698817 18162 1 4878 1 #f 13 true 1.315957202 true 1.334365724 true 1.356134478 true 1.33575909 true 1.373228124 true 1.335990272 true 1.366008395 true 1.346742876 true 1.366148392 true 1.368924214 true 1.384459608 true 1.385890673 true 1.387509043 13 1.3582398531538462 0.01915222721893489 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 1 698817 18162 1 4878 1 #f 13 true 4.2702036 true 4.244642889 true 4.109577061 true 4.155561277 true 4.088010932 true 4.379709507 true 4.0733231 true 4.206012628 true 4.365871943 true 4.168649761 true 4.065123411 true 4.077615373 true 4.14732691 13 4.1808944916923085 0.08645663208284031 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 2 698817 18162 1 4878 1 #f 13 true 2.968041016 true 2.789424615 true 2.908386093 true 2.725744311 true 2.378710702 true 2.43877101 true 2.998769072 true 2.788277808 true 2.748047522 true 2.96848168 true 2.948787014 true 2.68790517 true 2.986453414 13 2.795061494384615 0.155161434260355 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 3 698817 18162 1 4878 1 #f 13 true 1.917706474 true 1.914666363 true 2.437623976 true 1.915184028 true 2.635055722 true 1.908836897 true 2.523942527 true 2.635427799 true 2.678045427 true 2.558835666 true 2.6377017 true 2.179997362 true 2.649298749 13 2.3532555915384616 0.2969056667218934 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 4 698817 18162 1 4878 1 #f 13 true 2.724103541 true 2.798320901 true 3.239409748 true 3.076227268 true 3.089491303 true 2.36598473 true 2.747696253 true 2.948070987 true 3.138214952 true 3.02815859 true 2.615580958 true 2.777990223 true 3.220445648 13 2.905361161692308 0.2157677483313609 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.100123074 true 3.027610936 true 3.095882111 true 2.946546707 true 2.755732706 true 2.768235987 true 3.059542742 true 3.068397252 true 2.447472212 true 3.033986101 true 2.625584332 true 2.601021262 true 2.687385972 13 2.8628862610769232 0.19875155314792894 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.18085747 true 2.54894783 true 2.359106506 true 2.849363678 true 2.564845372 true 2.950730896 true 2.815438041 true 2.598910897 true 2.769876146 true 2.938922733 true 2.828634358 true 2.638837552 true 2.837030785 13 2.760115558769231 0.1676814825917159 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 7 698817 18162 1 4878 1 #f 13 true 2.343808534 true 2.765520625 true 2.828270162 true 2.745647405 true 2.557737358 true 2.893835717 true 2.45063759 true 2.817065229 true 2.98810173 true 2.933980482 true 2.097921603 true 2.460986843 true 2.749570902 13 2.664083398461538 0.21681924066272196 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 8 698817 18162 1 4878 1 #f 13 true 2.838809412 true 2.454544312 true 2.628300147 true 2.749022001 true 2.716186901 true 2.429460051 true 2.46887674 true 2.613036016 true 2.610221216 true 2.114831089 true 2.127930008 true 2.027830485 true 2.076124362 13 2.4503979030769227 0.22704823390532552 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 9 698817 18162 1 4878 1 #f 13 true 1.907586399 true 1.899192279 true 1.837297051 true 1.857575194 true 1.887908721 true 1.907407229 true 1.904063094 true 1.905020871 true 1.811345446 true 1.854974436 true 1.994017751 true 1.85795205 true 1.848753998 13 1.8825457322307693 0.0349809566745562 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 10 698817 18162 1 4878 1 #f 13 true 1.846943586 true 1.769379664 true 1.80148508 true 1.81871468 true 1.813310331 true 1.788626315 true 1.968811092 true 1.841282376 true 1.786151846 true 1.787889174 true 1.79857931 true 1.81465248 true 1.755297917 13 1.8147018346923076 0.033376060804733716 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 12 698817 18162 1 4878 1 #f 13 true 1.78075365 true 1.698334484 true 1.767798364 true 1.735794724 true 1.713312275 true 2.118626623 true 1.784847894 true 1.678311003 true 1.788303933 true 1.727178203 true 1.680266683 true 1.820396215 true 2.134804024 13 1.8022098519230771 0.10264573942011847 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 14 698817 18162 1 4878 1 #f 13 true 1.997240135 true 2.39674401 true 1.838744853 true 1.784668456 true 1.863247002 true 1.849442741 true 1.917752814 true 2.079102941 true 1.917708334 true 2.25947724 true 1.806858984 true 1.915038185 true 1.720768304 13 1.9497533845384614 0.14362319813017743 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 16 698817 18162 1 4878 1 #f 13 true 1.827080387 true 1.90881353 true 1.926911116 true 2.007193596 true 1.90966569 true 2.038409508 true 1.934898343 true 1.829023898 true 1.819504017 true 1.864417551 true 1.91695818 true 1.965455898 true 1.887364352 13 1.9104381589230768 0.05033810576331359 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 18 698817 18162 1 4878 1 #f 13 true 1.988449022 true 1.790244122 true 2.076864253 true 1.941012437 true 2.074515584 true 1.887200428 true 1.875408598 true 2.216583499 true 2.436397857 true 2.547864776 true 1.969203523 true 1.947877043 true 2.046432896 13 2.0613887721538466 0.16081263203550306 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 20 698817 18162 1 4878 1 #f 13 true 1.938725908 true 1.988569041 true 2.070630891 true 1.935722116 true 1.790388597 true 1.959353096 true 2.488193487 true 1.787824911 true 1.88746672 true 1.948117068 true 2.44696423 true 1.938816911 true 2.283150405 13 2.035686413923077 0.17633743958579878 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 1 698817 18162 1 4878 1 #f 13 true 4.264848302 true 4.408878797 true 4.26671614 true 4.275130839 true 4.248505342 true 4.25027406 true 4.277878793 true 4.289178028 true 4.266688614 true 4.281522387 true 4.288279268 true 4.278445445 true 4.2953956 13 4.283980124230769 0.02243249170414211 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 2 698817 18162 1 4878 1 #f 13 true 2.497719711 true 2.418606753 true 2.41722936 true 2.425020685 true 2.44783978 true 2.436914916 true 2.416700355 true 2.408221596 true 2.428691816 true 2.478078 true 2.427074553 true 2.419720179 true 2.403583786 13 2.4327231915384613 0.019947637053254273 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 3 698817 18162 1 4878 1 #f 13 true 1.743774233 true 1.675373467 true 1.707596179 true 1.680183478 true 1.665743763 true 1.719500182 true 1.670905849 true 1.687167486 true 1.694644716 true 1.67498932 true 1.677944598 true 1.718459715 true 1.690116746 13 1.6927999793846156 0.01845771201183436 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 4 698817 18162 1 4878 1 #f 13 true 1.380195219 true 1.384705143 true 1.374808899 true 1.383117309 true 1.394060298 true 1.375144806 true 1.379539983 true 1.399184846 true 1.377800935 true 1.385577987 true 1.367939526 true 1.389065037 true 1.409093408 13 1.3846333381538463 0.008290260011834331 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 5 698817 18162 1 4878 1 #f 13 true 1.306969868 true 1.287460036 true 1.256266545 true 1.2649469 true 1.248711338 true 1.257336203 true 1.274122268 true 1.267729337 true 1.24072663 true 1.247979213 true 1.250904906 true 1.245346009 true 1.265046712 13 1.262580458846154 0.013968056603550324 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 6 698817 18162 1 4878 1 #f 13 true 1.298114085 true 1.21832495 true 1.217421448 true 1.209453181 true 1.216823013 true 1.388116446 true 1.216190818 true 1.266751942 true 1.205629975 true 1.214117498 true 1.208689131 true 1.178848966 true 1.207679746 13 1.2343200922307693 0.03846495327810654 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 7 698817 18162 1 4878 1 #f 13 true 1.297967923 true 1.258111354 true 1.257803881 true 1.26757683 true 1.258348129 true 1.259092078 true 1.256768809 true 1.24778836 true 1.268710666 true 1.297875746 true 1.259320108 true 1.236188917 true 1.258987435 13 1.2634261720000002 0.012065611846153939 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 8 698817 18162 1 4878 1 #f 13 true 1.424870693 true 1.376453297 true 1.345679509 true 1.368254775 true 1.370883119 true 1.375015034 true 1.386665084 true 1.389049829 true 1.236361488 true 1.378157024 true 1.376511242 true 1.390094439 true 1.379617165 13 1.3690471306153844 0.024130095360946867 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 9 698817 18162 1 4878 1 #f 13 true 1.545448724 true 1.507956989 true 1.507196854 true 1.499035508 true 1.507818987 true 1.496748676 true 1.504658105 true 1.522932433 true 1.490518022 true 1.461021418 true 1.487266141 true 1.526925974 true 1.467252777 13 1.5019062006153847 0.01686071718343197 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 10 698817 18162 1 4878 1 #f 13 true 1.616755994 true 1.5786664 true 1.575471944 true 1.549478785 true 1.59584627 true 1.546965598 true 1.590824646 true 1.596550083 true 1.560036221 true 1.585550797 true 1.586855233 true 1.538852341 true 1.517021838 13 1.5722212423076924 0.022884835159763268 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 12 698817 18162 1 4878 1 #f 13 true 1.660828893 true 1.545836501 true 1.614209505 true 1.626435615 true 1.599714284 true 1.516568619 true 1.606143549 true 1.629212904 true 1.685390555 true 1.518856132 true 1.638370763 true 1.576243084 true 1.528334355 13 1.5958572891538465 0.045145808426035425 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 14 698817 18162 1 4878 1 #f 13 true 1.618493301 true 1.557451695 true 1.570854564 true 1.664019269 true 1.973661268 true 1.940167939 true 1.588873014 true 1.644470322 true 1.608585364 true 1.646897419 true 1.636507012 true 1.789531548 true 1.998164462 13 1.7105905520769231 0.1321789244142012 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 16 698817 18162 1 4878 1 #f 13 true 1.644274192 true 2.045777392 true 1.597026357 true 1.597400035 true 1.594483289 true 1.555662235 true 1.598412806 true 1.539135926 true 1.564700644 true 1.54881493 true 2.108642292 true 1.618982764 true 1.475406 13 1.652978374 0.13053275938461534 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 18 698817 18162 1 4878 1 #f 13 true 1.649827562 true 1.677843336 true 1.517314628 true 1.569392371 true 1.574102415 true 1.528097434 true 1.604708865 true 1.570484356 true 2.119045452 true 2.159882868 true 2.148492363 true 1.500630945 true 1.514085977 13 1.7026083516923076 0.20301471198816562 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 20 698817 18162 1 4878 1 #f 13 true 1.497404805 true 1.46950716 true 1.479136712 true 2.140647566 true 1.576922633 true 1.507111281 true 1.508663955 true 2.165630647 true 1.537589374 true 1.460759944 true 1.550676766 true 1.456939594 true 1.561245628 13 1.6086335434615386 0.16754017324260367 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 1 698817 18162 1 4878 1 #f 13 true 7.579572112 true 7.598794738 true 7.529626909 true 7.529059927 true 7.578651652 true 7.600257521 true 7.584288543 true 7.499703254 true 7.57720303 true 7.507532565 true 7.507626141 true 7.567519278 true 7.547136426 13 7.554382468923077 0.03163224485207096 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 2 698817 18162 1 4878 1 #f 13 true 4.177940879 true 4.169333966 true 4.161256144 true 4.117174919 true 4.140348895 true 4.168642402 true 4.129163473 true 4.158352332 true 4.199534062 true 4.108692683 true 4.148775367 true 4.16608784 true 4.176269527 13 4.155505576076923 0.020518852828402396 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 3 698817 18162 1 4878 1 #f 13 true 2.75098347 true 2.71676429 true 2.725493824 true 2.745002766 true 2.600877219 true 2.776623327 true 2.649286535 true 2.664650719 true 2.624063602 true 2.696766676 true 2.714255199 true 2.647963171 true 2.650820484 13 2.6895039447692306 0.046055682863905344 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 4 698817 18162 1 4878 1 #f 13 true 1.987255211 true 1.977084059 true 1.998114769 true 2.127111715 true 1.956419229 true 1.968000958 true 1.938341746 true 1.929719909 true 1.897681526 true 1.868663085 true 1.994583777 true 2.090606375 true 2.087957576 13 1.9862723026923077 0.05661470874556213 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 5 698817 18162 1 4878 1 #f 13 true 1.601659643 true 1.529588628 true 1.606700652 true 1.570849229 true 1.596171188 true 1.619061892 true 1.633424383 true 1.689955465 true 1.598059645 true 1.606238253 true 1.610528766 true 1.569956279 true 1.555005653 13 1.5990153596923078 0.026840236331360935 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 6 698817 18162 1 4878 1 #f 13 true 1.416948329 true 1.386653912 true 1.376362536 true 1.371024651 true 1.318726434 true 1.397482856 true 1.397247849 true 1.420912137 true 1.387387002 true 1.361043886 true 1.386131045 true 1.378546139 true 1.349553791 13 1.3806169666923078 0.01976067125443788 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 7 698817 18162 1 4878 1 #f 13 true 1.229857044 true 1.225057237 true 1.24886165 true 1.205858717 true 1.23532274 true 1.236163577 true 1.239301631 true 1.227791504 true 1.189194167 true 1.229109061 true 1.239444428 true 1.210465923 true 1.197198996 13 1.224125128846154 0.014428109597633042 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 8 698817 18162 1 4878 1 #f 13 true 1.090552191 true 1.107775887 true 1.148708251 true 1.094740111 true 1.129805284 true 1.138528731 true 1.118189397 true 1.138684989 true 1.137836892 true 1.099326683 true 1.206309138 true 1.113849219 true 1.106667739 13 1.1254595778461538 0.022633202757396435 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 9 698817 18162 1 4878 1 #f 13 true 1.046121808 true 1.050391983 true 1.016559343 true 1.047251122 true 1.088933753 true 1.037420675 true 1.046813653 true 1.05450638 true 1.004494406 true 1.048750847 true 1.023343024 true 1.047935007 true 1.093044282 13 1.046582021769231 0.016149361976331305 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 10 698817 18162 1 4878 1 #f 13 true 0.997805544 true 0.969084851 true 0.984069168 true 0.977836125 true 0.977597785 true 0.965243308 true 0.988515875 true 0.997735781 true 0.994462455 true 0.989051764 true 0.980137566 true 0.956764854 true 0.948463024 13 0.9789821615384615 0.012138926497041428 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 12 698817 18162 1 4878 1 #f 13 true 0.917500775 true 0.908176556 true 0.927340688 true 0.937276951 true 0.958347659 true 0.916657271 true 0.896650955 true 0.906487401 true 0.900797855 true 0.918729611 true 0.916529155 true 0.910666736 true 0.879324986 13 0.9149605076153845 0.013485931798816572 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 14 698817 18162 1 4878 1 #f 13 true 0.887064495 true 0.855441952 true 0.881358492 true 0.883167549 true 0.877840113 true 0.887197618 true 0.928098713 true 0.865724233 true 0.846374354 true 0.866771922 true 0.866767677 true 0.858056133 true 0.84718704 13 0.8731577146923077 0.016273952591715976 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 16 698817 18162 1 4878 1 #f 13 true 0.986514062 true 0.987226919 true 0.965199018 true 0.93995138 true 0.957545461 true 0.943960303 true 0.93617152 true 0.977900722 true 0.968074816 true 0.956643649 true 0.930922115 true 0.959637689 true 0.950762862 13 0.958500808923077 0.014392057301775148 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 18 698817 18162 1 4878 1 #f 13 true 0.95768791 true 0.926757662 true 0.933563445 true 0.958371493 true 0.956181116 true 0.973233089 true 0.966382626 true 0.953340397 true 0.970008213 true 0.976338506 true 1.027441411 true 0.94782409 true 0.948160633 13 0.9611761993076922 0.016541976686390517 true TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 20 698817 18162 1 4878 1 #f 13 true 0.94505711 true 0.938109403 true 0.955726368 true 0.956495674 true 0.925981831 true 0.945708092 true 0.958752221 true 0.949384389 true 0.959105244 true 0.962858493 true 0.967010691 true 0.938568206 true 0.936007319 13 0.9491357723846154 0.01005887281656805 true