TypeSet 100 Classical Scheme-examples/Sergey/gcfa2/sat.scm true SeqAAMLS 1 18728 0 0 672 3 #f, #t, {#f,#t} 1 true 2.395985086 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.461112405 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.687010138 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.535554846 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.037536345 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.509567995 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.376678954 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.909036843 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.346067574 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.891514046 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.306451532 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.933212458 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.239620914 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/jfp/primtest.scm false SeqAAMLS 1 243472 6642 1 2439 1 Int 13 true 6.239991751 true 5.379828004 true 5.306694199 true 5.218756586 true 5.190535632 true 5.358894708 true 5.266048273 true 5.248687641 true 5.274950772 true 5.268345504 true 5.237531017 true 5.223519621 true 5.263142082 13 5.344378906923077 0.14547349880473376 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 2 243472 6642 1 2439 1 Int 13 true 5.234012435 true 5.243144406 true 5.369973421 true 5.209356532 true 5.295751363 true 5.215605675 true 5.343494385 true 5.23018856 true 5.375177659 true 5.314888672 true 5.304072721 true 5.36548508 true 5.425793588 13 5.302072653615385 0.05913491549112425 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 3 243472 6642 1 2439 1 Int 13 true 5.262989984 true 5.146529886 true 5.126082487 true 5.148020948 true 5.201131627 true 5.243766844 true 5.178088854 true 5.256403229 true 5.219826513 true 5.184685636 true 5.228313648 true 5.299903282 true 5.127506055 13 5.201788384076924 0.0462266454674557 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 4 243472 6642 1 2439 1 Int 13 true 5.876230472 true 5.91003517 true 5.896120061 true 5.831683731 true 5.916451207 true 5.822261692 true 5.928586972 true 5.776181665 true 5.864405217 true 5.887038297 true 5.856160983 true 5.866150151 true 5.906123932 13 5.872109965384615 0.03320251589349111 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 5 243472 6642 1 2439 1 Int 13 true 6.151920064 true 6.158619404 true 6.052149102 true 6.065730008 true 6.065865172 true 6.006560472 true 6.097167271 true 6.08521701 true 6.085626226 true 6.068110218 true 6.107569412 true 6.096807134 true 6.071956546 13 6.085638310692308 0.02829103562130182 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 6 243472 6642 1 2439 1 Int 13 true 6.20148138 true 6.170280511 true 6.145752801 true 6.148307083 true 6.198533248 true 6.088130213 true 6.176459958 true 6.136477954 true 6.086951974 true 6.191019289 true 6.139345069 true 6.175531666 true 6.117325935 13 6.15196900623077 0.030998771479289918 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 7 243472 6642 1 2439 1 Int 13 true 6.261574289 true 6.218493142 true 6.11493435 true 6.14968304 true 6.177402797 true 6.211217103 true 6.150256018 true 6.177199812 true 6.146255465 true 6.187419366 true 6.179274905 true 6.15072522 true 6.200686287 13 6.178855522615384 0.028543377893491047 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 8 243472 6642 1 2439 1 Int 13 true 6.250843932 true 6.197706252 true 6.159701362 true 6.228457868 true 6.196026739 true 6.096195085 true 6.227863556 true 6.20110377 true 6.156540205 true 6.228420467 true 6.166717084 true 6.225918075 true 6.199635021 13 6.195009955076923 0.030905551431952623 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 2 243472 6642 1 2439 1 Int 13 true 5.295360541 true 5.247461323 true 5.259231982 true 5.197932576 true 5.145779068 true 5.14888416 true 5.249469814 true 5.258259077 true 5.256817646 true 5.064876027 true 5.229072395 true 5.400219987 true 5.670528103 13 5.263376361461538 0.08861223794082808 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 3 243472 6642 1 2439 1 Int 13 true 5.295993199 true 5.038245147 true 5.210637299 true 5.139445029 true 5.300762177 true 5.336753042 true 5.385371951 true 5.237816105 true 5.227610896 true 5.278009228 true 5.310951392 true 5.257411002 true 5.266129573 13 5.252702772307692 0.06303990546745573 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 4 243472 6642 1 2439 1 Int 13 true 6.015759857 true 5.81812482 true 5.896555787 true 5.9115774 true 5.949017614 true 5.898160953 true 5.88972642 true 5.815608386 true 5.838058001 true 5.906831268 true 5.827823957 true 5.868624023 true 5.835644834 13 5.882424101538461 0.044717013573964445 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 5 243472 6642 1 2439 1 Int 13 true 6.09654559 true 6.037762016 true 6.115492153 true 6.026164324 true 6.105511299 true 6.107006529 true 6.128369587 true 6.007452982 true 6.106039145 true 6.066740962 true 6.114954269 true 6.065044616 true 6.029634818 13 6.077439868461538 0.035667614272189334 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 6 243472 6642 1 2439 1 Int 13 true 6.157303232 true 6.018038298 true 6.090816576 true 6.086941156 true 6.108316358 true 6.096474273 true 6.069814287 true 6.094812758 true 6.119216771 true 6.101986468 true 6.156466566 true 6.15791005 true 6.158841472 13 6.108995251153846 0.03150182080473382 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 7 243472 6642 1 2439 1 Int 13 true 6.190341734 true 6.151723299 true 6.17545966 true 6.196268195 true 6.186616045 true 6.106233727 true 6.150461109 true 6.118692609 true 6.147705262 true 6.109039241 true 6.148348889 true 6.161085528 true 6.146686085 13 6.152973952538462 0.02229252297041425 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 8 243472 6642 1 2439 1 Int 13 true 6.220843904 true 6.229606601 true 6.116876632 true 6.106391636 true 6.211342777 true 6.186934 true 6.194961681 true 6.118149881 true 6.196399554 true 6.167196628 true 6.178936661 true 6.127935542 true 6.05628043 13 6.162450455923078 0.04409510132544352 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 2 243472 6642 1 2439 1 Int 13 true 5.817135101 true 5.726056646 true 5.681204428 true 5.67783926 true 5.687549982 true 5.706055598 true 5.748580789 true 5.648509903 true 5.679955478 true 5.716503236 true 5.751446173 true 5.645731411 true 5.756017218 13 5.7109680940769225 0.038450861313609454 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 3 243472 6642 1 2439 1 Int 13 true 4.196500413 true 4.096684087 true 4.068936402 true 4.065948216 true 4.157070821 true 4.065536707 true 4.056419948 true 4.048561637 true 4.128688976 true 4.027895204 true 4.126421527 true 4.077015483 true 4.045039214 13 4.089286048846153 0.039836243041419944 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 4 243472 6642 1 2439 1 Int 13 true 3.736693598 true 3.672125644 true 3.629384407 true 3.62683248 true 3.594474093 true 3.669738431 true 3.677547096 true 3.558384875 true 3.596349236 true 3.595998365 true 3.60874992 true 3.686018697 true 3.655630522 13 3.639071335692308 0.040511688284023725 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 5 243472 6642 1 2439 1 Int 13 true 3.587709411 true 3.489155633 true 3.534462307 true 3.418806533 true 3.460782977 true 3.565003841 true 3.470066812 true 3.556716546 true 3.450223 true 3.486818918 true 3.477077991 true 3.539667761 true 3.4462247 13 3.4986704946153844 0.04464729121893486 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 6 243472 6642 1 2439 1 Int 13 true 3.490147849 true 3.439032474 true 3.437324614 true 3.331256575 true 3.406316688 true 3.34062631 true 3.366427837 true 3.406686352 true 3.366535144 true 3.350693025 true 3.365727678 true 3.317574192 true 3.404982936 13 3.386410128769231 0.04092771390532546 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 7 243472 6642 1 2439 1 Int 13 true 3.386074934 true 3.415422056 true 3.299169257 true 3.328402875 true 3.429657909 true 3.376962313 true 3.368679943 true 3.351440618 true 3.428349299 true 3.267184656 true 3.367134163 true 3.375915177 true 3.28864831 13 3.360233962307693 0.04097293777514773 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 8 243472 6642 1 2439 1 Int 13 true 3.380033276 true 3.287444872 true 3.321788717 true 3.316222997 true 3.39918517 true 3.344512044 true 3.365415049 true 3.22840372 true 3.399160724 true 3.287402709 true 3.381286944 true 3.288004278 true 3.295784108 13 3.330357277538462 0.04422300642603552 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 2 243472 6642 1 2439 1 Int 13 true 15.325085169 true 13.845742302 true 14.00474493 true 13.93629437 true 14.105590267 true 14.60820861 true 14.390799564 true 14.260289995 true 15.055618232 true 15.268895082 true 13.496422975 true 14.596835305 true 13.816989826 13 14.362424355923078 0.47244551176331373 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 3 243472 6642 1 2439 1 Int 13 true 18.355878162 true 18.265603751 true 19.743851239 true 17.909007017 true 16.985806868 true 18.614525075 true 16.004759299 true 17.489920159 true 17.587991901 true 16.936762517 true 17.301768821 true 16.447146614 true 17.787800322 13 17.648524749615383 0.7362333951242603 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 4 243472 6642 1 2439 1 Int 13 true 17.616971807 true 17.544691116 true 17.220197012 true 16.306593687 true 18.794432816 true 15.928395709 true 18.499735357 true 16.066686912 true 16.5558695 true 18.699263641 true 16.974387618 true 16.77572281 true 17.405790087 13 17.26067215938461 0.7687464411834313 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 5 243472 6642 1 2439 1 Int 13 true 17.340753362 true 15.875670464 true 16.235501431 true 18.058125494 true 16.915106664 true 16.986346165 true 16.921291744 true 16.759336996 true 15.848673181 true 18.327450707 true 16.925784751 true 16.397789932 true 18.810287978 13 17.030932220692307 0.6789059474201184 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 6 243472 6642 1 2439 1 Int 13 true 17.884465283 true 19.025728764 true 17.924264329 true 16.258516491 true 16.907491197 true 18.439011379 true 17.918748815 true 17.625777887 true 16.835156746 true 17.296930218 true 17.737092898 true 18.32042127 true 18.267521846 13 17.72624054792308 0.5703584924023664 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 7 243472 6642 1 2439 1 Int 13 true 19.164994238 true 18.686068723 true 17.254330868 true 19.419643054 true 17.836354561 true 18.456177583 true 17.425187109 true 17.636655602 true 17.735612276 true 18.470472964 true 18.978711115 true 17.814820001 true 16.344358515 13 18.09410666223077 0.7094504159408282 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 8 243472 6642 1 2439 1 Int 13 true 17.536524057 true 17.457433071 true 18.366485511 true 18.028321845 true 16.676179006 true 17.919189634 true 18.180530729 true 18.685085212 true 17.90700006 true 18.325765463 true 17.999293399 true 17.789778854 true 17.181209878 13 17.85021513223077 0.40153089156212995 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 2 243472 6642 1 2439 1 Int 13 true 7.774918713 true 7.736446204 true 7.757753361 true 7.77637419 true 7.729133895 true 7.697876448 true 7.780130706 true 7.746210275 true 7.704280498 true 7.758737412 true 7.758687378 true 7.775676941 true 7.797238653 13 7.753343436461539 0.023503055739644865 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 3 243472 6642 1 2439 1 Int 13 true 5.094116334 true 5.13839248 true 5.028081628 true 5.306073259 true 5.104604539 true 5.040446329 true 5.09565482 true 5.19543272 true 4.795414376 true 5.040812939 true 5.218121657 true 5.104807582 true 5.168774498 13 5.1023640893076925 0.07994740151479302 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 4 243472 6642 1 2439 1 Int 13 true 4.480564048 true 4.448592861 true 4.47715868 true 4.399846732 true 4.525477392 true 4.369966918 true 4.435222668 true 4.428324054 true 4.528629839 true 4.420410437 true 4.376561463 true 4.589735554 true 4.430932438 13 4.454724852615384 0.05045249998816548 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 5 243472 6642 1 2439 1 Int 13 true 4.190812108 true 4.575908657 true 4.164846167 true 4.191368861 true 4.519081509 true 4.181650223 true 4.404693886 true 4.174222062 true 4.045052649 true 4.178888106 true 4.494953809 true 4.518835724 true 4.10566741 13 4.288152397769231 0.16503255325443794 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 6 243472 6642 1 2439 1 Int 13 true 4.667616 true 4.645700247 true 4.369160635 true 4.83512194 true 4.284919948 true 4.578920901 true 4.341761308 true 4.47823872 true 4.645532419 true 4.388946535 true 4.588613574 true 4.244376655 true 4.416740127 13 4.498896077615385 0.14894286389349115 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 7 243472 6642 1 2439 1 Int 13 true 4.850862278 true 4.880699213 true 5.136202263 true 4.528157624 true 4.611333189 true 4.380620355 true 4.648602225 true 4.970237003 true 4.885542172 true 4.941411377 true 4.674572621 true 4.814869085 true 4.706762628 13 4.771528617923077 0.1660189331597633 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 8 243472 6642 1 2439 1 Int 13 true 5.160768274 true 4.874984153 true 5.064136396 true 4.956342167 true 4.644058097 true 5.010197717 true 5.08403333 true 5.045814164 true 5.254906056 true 5.052159135 true 5.155988356 true 5.551522941 true 4.775015793 13 5.048455890692309 0.1514343466390532 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 2 243472 6642 1 2439 1 Int 13 true 5.987683287 true 5.756747692 true 5.885312507 true 5.759733968 true 5.738314891 true 5.686568151 true 5.699446493 true 5.776776736 true 5.718127154 true 5.768070925 true 5.65987796 true 5.795165668 true 5.716843559 13 5.765282230076924 0.05947661117159779 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 3 243472 6642 1 2439 1 Int 13 true 2.987363887 true 2.824005483 true 3.228298803 true 2.595875054 true 3.150051247 true 3.219054184 true 2.586479084 true 3.041580568 true 3.241174517 true 2.825452538 true 3.357275986 true 2.838329883 true 3.040855188 13 2.9950612632307694 0.20197871544378698 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 4 243472 6642 1 2439 1 Int 13 true 2.216877826 true 1.796828808 true 1.834479722 true 1.797483828 true 1.93693194 true 1.874984036 true 1.926502882 true 1.655177514 true 1.866369648 true 1.926664997 true 1.727829179 true 1.734811166 true 1.754840965 13 1.849983270076923 0.09975872439053254 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 5 243472 6642 1 2439 1 Int 13 true 1.504830808 true 1.465140045 true 1.560759639 true 1.520900268 true 1.515870981 true 1.497923747 true 1.585738423 true 1.445231633 true 1.698277306 true 1.469149683 true 1.466012282 true 1.444459704 true 1.520757867 13 1.5150040296923077 0.04804312397633138 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 6 243472 6642 1 2439 1 Int 13 true 1.436168625 true 1.350405307 true 1.294983509 true 1.316748198 true 1.309099135 true 1.286086011 true 1.420713441 true 1.428794625 true 1.448410985 true 1.316879519 true 1.359996607 true 1.275787716 true 1.308814579 13 1.3502221736153845 0.052793315124260345 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 7 243472 6642 1 2439 1 Int 13 true 1.344815413 true 1.275533967 true 1.210296136 true 1.267048314 true 1.187367304 true 1.220239719 true 1.284456328 true 1.28083419 true 1.316034814 true 1.259062885 true 1.294463542 true 1.214964281 true 1.169739094 13 1.255758152846154 0.042489881573964446 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 8 243472 6642 1 2439 1 Int 13 true 1.126035595 true 1.095022725 true 1.124680738 true 1.154541544 true 1.156520456 true 1.136102871 true 1.078195934 true 1.19566093 true 1.165282047 true 1.149664862 true 1.183877622 true 1.104672814 true 1.145124601 13 1.1396448260769232 0.026639735301775155 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 1 243472 6642 1 2439 1 Int 13 true 3.450905912 true 3.366471665 true 3.457960623 true 3.518588104 true 3.525703036 true 3.705388275 true 3.946786742 true 3.524547245 true 3.493879938 true 3.488174813 true 3.545293037 true 3.577563374 true 3.415240007 13 3.5397309823846155 0.09478576899408284 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 2 243472 6642 1 2439 1 Int 13 true 1.91611816 true 1.87839567 true 1.904904247 true 1.925349159 true 1.905601691 true 1.885356714 true 1.873958843 true 1.895901012 true 1.880360795 true 1.873292552 true 1.87738875 true 1.866585311 true 1.8754371 13 1.8891269233846155 0.015729177242603552 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 3 243472 6642 1 2439 1 Int 13 true 1.500106443 true 1.394849888 true 1.430643538 true 1.398662878 true 1.414934763 true 1.457645742 true 1.405436196 true 1.405385939 true 1.479648479 true 1.44526056 true 1.440161643 true 1.397707331 true 1.406141374 13 1.4289680595384615 0.0276396996568047 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 4 243472 6642 1 2439 1 Int 13 true 1.388979351 true 1.298683651 true 1.285444431 true 1.285534437 true 1.288993844 true 1.305284302 true 1.335689581 true 1.30590574 true 1.28875845 true 1.315937415 true 1.287549413 true 1.300470205 true 1.286074606 13 1.305638878923077 0.01907024173964504 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 5 243472 6642 1 2439 1 Int 13 true 1.386092192 true 1.288782162 true 1.299296582 true 1.328426473 true 1.320758938 true 1.317023412 true 1.316094706 true 1.320076685 true 1.305512407 true 1.317134226 true 1.293849841 true 1.307922038 true 1.296316487 13 1.3151758576153845 0.015288558260355058 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 6 243472 6642 1 2439 1 Int 13 true 1.366987417 true 1.316911115 true 1.328051383 true 1.308791214 true 1.329719253 true 1.339296549 true 1.309036045 true 1.306021942 true 1.36495553 true 1.339274696 true 1.329516362 true 1.306342303 true 1.300440643 13 1.3265649578461542 0.017207151550295806 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 7 243472 6642 1 2439 1 Int 13 true 1.270573107 true 1.269391055 true 1.290005736 true 1.335130838 true 1.30909687 true 1.316043405 true 1.274142119 true 1.289176926 true 1.315998596 true 1.310547057 true 1.326981953 true 1.317026905 true 1.297173948 13 1.3016375780769232 0.018363473455621334 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 8 243472 6642 1 2439 1 Int 13 true 1.315358909 true 1.277400223 true 1.246323133 true 1.29883824 true 1.27157584 true 1.281246217 true 1.25519297 true 1.244739999 true 1.275462664 true 1.306433676 true 1.336703968 true 1.27664083 true 1.257958953 13 1.2802981247692307 0.02109082863905324 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 1 243472 6642 1 2439 1 Int 13 true 3.650370458 true 3.476251891 true 3.500051153 true 3.563620699 true 3.528771065 true 3.538878065 true 3.526465362 true 3.590680215 true 3.505838106 true 3.523936166 true 3.505755035 true 3.495557825 true 3.505149522 13 3.531640427846153 0.03338272701775115 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 2 243472 6642 1 2439 1 Int 13 true 1.99732568 true 1.915470677 true 1.900682262 true 1.906168178 true 1.920525278 true 1.900935856 true 1.907103093 true 1.919853087 true 1.906540998 true 1.906277464 true 1.920127953 true 1.895285237 true 1.927275691 13 1.917197804153846 0.015249025881656766 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 3 243472 6642 1 2439 1 Int 13 true 1.376114255 true 1.284343329 true 1.289186165 true 1.485618983 true 1.277805961 true 1.266038205 true 1.305315737 true 1.287396214 true 1.266828041 true 1.330005138 true 1.267417868 true 1.305221967 true 1.277972861 13 1.3091742095384615 0.040648576520710064 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 4 243472 6642 1 2439 1 Int 13 true 1.097255637 true 1.070263744 true 1.103749352 true 1.106714909 true 1.115603798 true 1.105797347 true 1.109178469 true 1.124861264 true 1.108445164 true 1.144796431 true 1.154092484 true 1.127328378 true 1.099518123 13 1.1128927 0.015725977692307717 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 5 243472 6642 1 2439 1 Int 13 true 1.011868902 true 0.989103093 true 1.000435609 true 1.02907075 true 1.000495335 true 1.024494366 true 0.988993305 true 1.004471318 true 1.004370879 true 0.99836573 true 0.996986428 true 1.03360303 true 1.038719733 13 1.0093060367692308 0.014034861100591729 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 6 243472 6642 1 2439 1 Int 13 true 0.996912557 true 0.915897259 true 0.918443653 true 0.924570947 true 0.937163687 true 0.956265367 true 0.94093361 true 0.938391679 true 0.925013556 true 0.934299451 true 0.94598509 true 0.92703068 true 0.936329959 13 0.9382490380769231 0.013422017325443783 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 7 243472 6642 1 2439 1 Int 13 true 0.91569607 true 0.866157752 true 0.856299486 true 0.874332516 true 0.865159662 true 0.866028415 true 0.853750519 true 0.865522504 true 0.864049247 true 0.86574065 true 0.865061268 true 0.866497164 true 0.859308335 13 0.8679695067692308 0.008321472686390531 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 8 243472 6642 1 2439 1 Int 13 true 0.935001826 true 0.874758405 true 0.855016644 true 0.866628909 true 0.889265137 true 0.888943447 true 0.87519892 true 0.883795869 true 0.876293952 true 0.859655058 true 0.897687806 true 0.867522347 true 0.88519966 13 0.881151383076923 0.014305453313609466 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 1 243472 6642 1 2439 1 Int 13 true 5.197779016 true 5.165066287 true 5.156533707 true 5.169823312 true 5.268975878 true 5.149598557 true 5.176612915 true 5.179820746 true 5.14876328 true 5.155723405 true 5.128454911 true 5.137983768 true 5.144302688 13 5.167649113076923 0.023810200248520645 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 2 243472 6642 1 2439 1 Int 13 true 2.735384735 true 2.735856184 true 2.707733054 true 2.729529838 true 2.746991844 true 2.727515213 true 2.708171552 true 2.715710418 true 2.746136486 true 2.717661367 true 2.727245265 true 2.726726777 true 2.707372805 13 2.725541195230769 0.010931812331361023 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 3 243472 6642 1 2439 1 Int 13 true 1.929255049 true 1.806158403 true 1.827387789 true 1.847410764 true 1.880581217 true 1.829540068 true 1.907712699 true 1.926046012 true 1.875246862 true 1.858755863 true 1.858119956 true 1.871607376 true 1.836373111 13 1.8657073206923076 0.030185429360946755 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 4 243472 6642 1 2439 1 Int 13 true 1.46502032 true 1.489399379 true 1.539329402 true 1.448019422 true 1.467313035 true 1.356763703 true 1.428367123 true 1.59863331 true 1.387210122 true 1.364094524 true 1.417295902 true 1.425185208 true 1.430074035 13 1.4474388834615384 0.049704856497041434 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 5 243472 6642 1 2439 1 Int 13 true 1.298300085 true 1.259854093 true 1.295897215 true 1.305017438 true 1.287648752 true 1.27816986 true 1.277565265 true 1.314793143 true 1.286882804 true 1.366279217 true 1.270362433 true 1.294962491 true 1.350266903 13 1.2989230537692307 0.021640690142011795 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 6 243472 6642 1 2439 1 Int 13 true 1.154694534 true 1.16065259 true 1.174587065 true 1.188200565 true 1.160593113 true 1.205876931 true 1.198226665 true 1.149056857 true 1.16675207 true 1.200724624 true 1.206127799 true 1.21066193 true 1.219658486 13 1.1842933253076922 0.02144980351479289 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 7 243472 6642 1 2439 1 Int 13 true 1.037097238 true 1.016467832 true 1.098929812 true 1.088498207 true 1.12480214 true 1.126593241 true 0.957192039 true 1.126011176 true 1.089603104 true 1.136551536 true 1.09433019 true 1.124395701 true 1.098333955 13 1.0860620131538463 0.03806598930177504 true TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 8 243472 6642 1 2439 1 Int 13 true 1.069122664 true 1.01029253 true 1.018012902 true 0.920041182 true 1.100913628 true 1.006365104 true 0.97948267 true 1.039197822 true 1.038899556 true 1.135453373 true 1.045538851 true 1.065209853 true 1.05406191 13 1.037122465 0.03867968261538465 true