Lattice Bound Address Scheme program Step filter? Machine p β # initial chain # states # error states # error values # final states # final values Final values # words # ! # # states /s Ideal time Average time Time error Time min Time max Ideal abstract speedup Chain abstract speedup Abstract speedup ideal weighted Abstract speedup chain weighted Average speedup Speedup error Speedup min Speedup max Ideal abstract efficiency Chain abstract efficiency Average efficiency Efficiency error Efficiency min Efficiency max Minimal abstract overhead Chain abstract overhead Average overhead Overhead error Overhead min Overhead max TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false SeqAAMLS 1 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 46331.130716887725 5.2550411836 5.2550411836 0.04285306559710889 5.190535632 5.358894708 1.0 1.0 1.0000330752438034 1.0000330752438034 1.0000330752438034 0.008091542954741753 0.9806203461611286 1.012427532758338 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 45869.03769521076 2.6275205918 5.3079814235 0.06891104503465073 5.209356532 5.425793588 1.9999917855367946 1.999885003655241 0.9901138215003485 0.9901666876484615 0.9901097548735706 0.01286050129086108 0.9685295060288239 1.0087697302573493 0.9999958927683973 0.9999425018276205 0.49501314759075665 0.0 0.49501314759075665 0.49501314759075665 2.158375987218243e-05 0.000302172638210554 5.3609216634 0.0 5.3609216634 5.3609216634 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 46742.752979691366 1.7516803945333335 5.2087646636 0.04917030524841226 5.127506055 5.299903282 2.9999753567115994 2.999655030800821 1.0089375745172426 1.0090453165222923 1.0089292866707005 0.009517734166610899 0.9915352986624559 1.0248727407109812 0.9999917855705333 0.9998850102669404 0.33629478535946605 0.0 0.33629478535946605 0.33629478535946605 4.316751974436486e-05 0.000604345276421108 10.3712528072 1.7763568394002505e-15 10.371252807200001 10.371252807200001 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 41509.132724389354 1.3137602959 5.8655043846999995 0.04446334243739677 5.776181665 5.928586972 3.999950713625629 3.9993101012672785 0.8959599917299469 0.8961035072435621 0.8959489520750534 0.0068145471449535455 0.886390164877217 0.9097776850479304 0.9999876784064072 0.9998275253168196 0.22398078830644233 0.0 0.22398078830644236 0.22398078830644236 6.475127961654729e-05 0.000906517914631662 18.2069763552 0.0 18.2069763552 18.2069763552 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 40077.29340135091 1.05100823672 6.075060946900001 0.02674892700164651 6.006560472 6.107569412 4.999917856380095 4.998850234880589 0.86504130829237 0.8652260581158894 0.8650270967674839 0.0038324289131643936 0.860414483914833 0.8748835890517944 0.999983571276019 0.9997700469761177 0.17300373542035186 2.7755575615628914e-17 0.17300373542035188 0.17300373542035188 8.633503948872972e-05 0.001208690552842216 25.120263550900006 0.0 25.120263550900006 25.120263550900006 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39615.94480916924 0.8758401972666667 6.1458082389 0.03792637982533219 6.086951974 6.198533248 5.999876785076208 5.998275451462171 0.855094897524765 0.8553231785054698 0.855077337449326 0.005284618203777503 0.8477878513107235 0.8633288394662141 0.9999794641793681 0.9997125752436952 0.14251017331179014 0.0 0.14251017331179014 0.14251017331179014 0.00010791879936091214 0.00151086319105277 31.61980824980001 7.105427357601002e-15 31.619808249800002 31.619808249800002 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39441.361842278326 0.7507201690857144 6.1730120013 0.021871892733321015 6.146255465 6.211217103 6.999827499815178 6.997585770828885 0.8513192024987134 0.8515919289782923 0.8512982235387457 0.003013717652360969 0.846056593491448 0.8549988222137787 0.999975357116454 0.9996551101184122 0.12161326900508487 1.3877787807814457e-17 0.12161326900508489 0.12161326900508489 0.00012950255923309457 0.001813035829263324 37.9560428255 0.0 37.9560428255 37.9560428255 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-state 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39316.04633954074 0.65688014795 6.192687787 0.0403981657363554 6.096195085 6.228457868 7.999770000698212 7.996781212793037 0.8486306535467572 0.8489478282906683 0.8486062554895332 0.005580077740253449 0.8437146553722181 0.8620198517810393 0.9999712500872765 0.9995976515991296 0.10607351291453053 2.7755575615628914e-17 0.10607351291453054 0.10607351291453054 0.000151086319105277 0.002115208467473878 44.2864611124 0.0 44.2864611124 44.2864611124 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 46268.242483913025 2.6275205918 5.262183885300001 0.16017075746910897 5.064876027 5.670528103 1.9999917855367946 1.999885003655241 0.9990967378721712 0.9991500836542182 0.9990926343504752 0.029192185645575894 0.9267287081814857 1.0375458659967711 0.9999958927683973 0.9999425018276205 0.4993213177403441 0.0 0.4993213177403441 0.4993213177403441 2.158375987218243e-05 0.000302172638210554 5.269326587000001 0.0 5.269326587000001 5.269326587000001 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 46164.35303438172 1.7516803945333335 5.2740260395 0.0635159383862259 5.139445029 5.385371951 2.9999753567115994 2.999655030800821 0.9964809751857762 0.9965873869806899 0.9964727896630904 0.012057403722516975 0.9757991149755592 1.0224919527201348 0.9999917855705333 0.9998850102669404 0.33213343684958374 5.551115123125783e-17 0.33213343684958374 0.33213343684958374 4.316751974436486e-05 0.000604345276421108 10.5670369349 1.7763568394002505e-15 10.567036934899999 10.567036934899999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 41448.34068605729 1.3137602959 5.8741072856 0.04157187403251942 5.815608386 5.949017614 3.999950713625629 3.9993101012672785 0.8946444429027081 0.8947877476907692 0.8946334194574725 0.006324358958527665 0.8833460454433949 0.9036098779021192 0.9999876784064072 0.9998275253168196 0.22365275811706736 2.7755575615628914e-17 0.2236527581170674 0.2236527581170674 6.475127961654729e-05 0.000906517914631662 18.2413879588 0.0 18.2413879588 18.2413879588 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 40073.131733264796 1.05100823672 6.0756918530999995 0.04065894688333272 6.007452982 6.128369587 4.999917856380095 4.998850234880589 0.8649624629638601 0.8651471959481136 0.8649482527343021 0.005802891363947185 0.8574941685546226 0.8747536101148965 0.999983571276019 0.9997700469761177 0.1729857705314242 2.7755575615628914e-17 0.17298577053142422 0.17298577053142422 8.633503948872972e-05 0.001208690552842216 25.123418081900002 3.552713678800501e-15 25.1234180819 25.1234180819 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39815.02760339952 0.8758401972666667 6.115078015899999 0.030486622014746927 6.069814287 6.158841472 5.999876785076208 5.998275451462171 0.8593863106320573 0.8596157372727299 0.8593686624289285 0.004276917982185066 0.8532515745844482 0.8657663867665546 0.9999794641793681 0.9997125752436952 0.14322633251601502 0.0 0.14322633251601505 0.14322633251601505 0.00010791879936091214 0.00151086319105277 31.435426911799993 0.0 31.435426911799993 31.435426911799993 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39607.53177996911 0.7507201690857144 6.1471136689999994 0.028484505068855963 6.106233727 6.196268195 6.999827499815178 6.997585770828885 0.8549096962981996 0.8551835730193459 0.8548886288581113 0.003958651088373712 0.8480977611395983 0.8606026920266296 0.999975357116454 0.9996551101184122 0.12212563643838392 1.3877787807814457e-17 0.12212563643838394 0.12212563643838394 0.00012950255923309457 0.001813035829263324 37.7747544994 0.0 37.7747544994 37.7747544994 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-set 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 39560.299637806354 0.65688014795 6.154452879000001 0.047352527562125483 6.05628043 6.211342777 7.999770000698212 7.996781212793037 0.8539099246262236 0.854229072491711 0.8538853747904169 0.006606338415926443 0.8460394752417961 0.8677010987749126 0.9999712500872765 0.9995976515991296 0.10673250098174972 1.3877787807814457e-17 0.10673250098174973 0.10673250098174973 0.000151086319105277 0.002115208467473878 43.9805818484 7.105427357601002e-15 43.98058184840001 43.98058184840001 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 42700.75989173145 2.6275205918 5.7018189048 0.03881348664631846 5.645731411 5.756017218 1.9999917855367946 1.999885003655241 0.9216680827713635 0.921717294326961 0.9216642972670867 0.006272079115203669 0.9129648130944837 0.9307990056631478 0.9999958927683973 0.9999425018276205 0.46082147393142514 1.1102230246251565e-16 0.46082147393142514 0.46082147393142514 2.158375987218243e-05 0.000302172638210554 6.148596625999999 0.0 6.148596625999999 6.148596625999999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 59676.56084490066 1.7516803945333335 4.079859773299999 0.04045045368271171 4.027895204 4.157070821 2.9999753567115994 2.999655030800821 1.2881181742877297 1.2882557293142682 1.288107593131842 0.012688219749616017 1.2641211588345949 1.3046618438288446 0.9999917855705333 0.9998850102669404 0.4293481864246733 1.1102230246251565e-16 0.4293481864246733 0.4293481864246733 4.316751974436486e-05 0.000604345276421108 6.984538136299998 8.881784197001252e-16 6.984538136299997 6.984538136299997 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 67128.16505390355 1.3137602959 3.6269723715000004 0.04084620220406934 3.558384875 3.686018697 3.999950713625629 3.9993101012672785 1.4489879253754514 1.4492200252998364 1.4489700715351141 0.016317101239678472 1.425668618522474 1.4768051709414938 0.9999876784064072 0.9998275253168196 0.3622195487959205 5.551115123125783e-17 0.36221954879592055 0.36221954879592055 6.475127961654729e-05 0.000906517914631662 9.252848302399999 1.7763568394002505e-15 9.2528483024 9.2528483024 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 69819.98894521296 1.05100823672 3.4871389079000004 0.04738856619092039 3.418806533 3.565003841 4.999917856380095 4.998850234880589 1.5071412347059963 1.5074631200014863 1.507116474298651 0.02035884709790034 1.474063259950356 1.5370981460564561 0.999983571276019 0.9997700469761177 0.30139557513438164 5.551115123125783e-17 0.30139557513438164 0.30139557513438164 8.633503948872972e-05 0.001208690552842216 12.180653355900004 1.7763568394002505e-15 12.180653355900002 12.180653355900002 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 72339.55889618782 0.8758401972666667 3.3656826736999994 0.030381429495090977 3.317574192 3.406686352 5.999876785076208 5.998275451462171 1.561455317931464 1.5618721728938034 1.5614232521651301 0.0140850432392752 1.542566776220789 1.5840011042622677 0.9999794641793681 0.9997125752436952 0.260226611412486 5.551115123125783e-17 0.260226611412486 0.260226611412486 0.00010791879936091214 0.00151086319105277 14.939054858599999 3.552713678800501e-15 14.939054858599995 14.939054858599995 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 72499.93429388234 0.7507201690857144 3.3582375263000004 0.04993739231701917 3.267184656 3.429657909 6.999827499815178 6.997585770828885 1.565033345737813 1.565534715886112 1.5649947788033283 0.023394164080992392 1.5322347951409052 1.6084310306579748 0.999975357116454 0.9996551101184122 0.22354588179259433 2.7755575615628914e-17 0.22354588179259435 0.22354588179259435 0.00012950255923309457 0.001813035829263324 18.252621500500002 0.0 18.252621500500002 18.252621500500002 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-L-SA-part 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 73102.90904932673 0.65688014795 3.3305377743 0.05377972134126504 3.22840372 3.39918517 7.999770000698212 7.996781212793037 1.5780874095508302 1.57867721792966 1.5780420396755355 0.025612633539628882 1.5459708491255864 1.6277521770418477 0.9999712500872765 0.9995976515991296 0.1972294543598325 0.0 0.19722945435983252 0.19722945435983252 0.000151086319105277 0.002115208467473878 21.389261010800002 0.0 21.389261010800002 21.389261010800002 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 16962.441102324086 2.6275205918 14.3535944226 0.5218265952289873 13.496422975 15.268895082 1.9999917855367946 1.999885003655241 0.3663560118528224 0.36637557306968865 0.36635450714383266 0.013265731628233845 0.34416643479297965 0.38936547804808264 0.9999958927683973 0.9999425018276205 0.1830566277993002 0.0 0.18305662779930024 0.18305662779930024 2.158375987218243e-05 0.000302172638210554 23.452147661600005 3.552713678800501e-15 23.4521476616 23.4521476616 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 14068.200539541176 1.7516803945333335 17.3065488593 0.7135169439807069 16.004759299 18.614525075 2.9999753567115994 2.999655030800821 0.3039065303007161 0.3039389837445656 0.30390403388195847 0.012635808965448551 0.2823086359940344 0.3283424064945696 0.9999917855705333 0.9998850102669404 0.101214887426388 2.7755575615628914e-17 0.10121488742638801 0.10121488742638801 4.316751974436486e-05 0.000604345276421108 46.664605394300004 0.0 46.664605394300004 46.664605394300004 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 14154.782799213383 1.3137602959 17.2006878137 1.0424505430741073 15.928395709 18.794432816 3.999950713625629 3.9993101012672785 0.30607036378035113 0.30611939035058394 0.3060665925057178 0.01814099957819227 0.27960626612399286 0.3299165389663663 0.9999876784064072 0.9998275253168196 0.07637835824527996 1.3877787807814457e-17 0.07637835824527997 0.07637835824527997 6.475127961654729e-05 0.000906517914631662 63.5477100712 0.0 63.5477100712 63.5477100712 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 14159.44901750949 1.05100823672 17.1950193612 0.8685503601707821 15.848673181 18.810287978 4.999917856380095 4.998850234880589 0.30600394944780174 0.30606930375529523 0.30599892219337915 0.015160780004724594 0.27937058644429863 0.3315760962185747 0.999983571276019 0.9997700469761177 0.06112282950326684 0.0 0.06112282950326685 0.06112282950326685 8.633503948872972e-05 0.001208690552842216 80.72005562239998 1.4210854715202004e-14 80.7200556224 80.7200556224 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 13864.62152817072 0.8758401972666667 17.560666874699997 0.6877575212307676 16.258516491 18.439011379 5.999876785076208 5.998275451462171 0.2994892928545479 0.299569246213738 0.2994831425961486 0.01195888208115046 0.2849958208488831 0.3232177540004317 0.9999794641793681 0.9997125752436952 0.04987511029712129 6.938893903907228e-18 0.0498751102971213 0.0498751102971213 0.00010791879936091214 0.00151086319105277 100.10896006459997 1.4210854715202004e-14 100.10896006459998 100.10896006459998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 13517.361383067484 0.7507201690857144 18.011799278 0.8207230034107886 16.344358515 19.419643054 6.999827499815178 6.997585770828885 0.29206836819653825 0.29216193448474226 0.29206117078975335 0.013515077829053432 0.27060441682616726 0.32152018562106294 0.999975357116454 0.9996551101184122 0.04167935459966289 6.938893903907228e-18 0.0416793545996629 0.0416793545996629 0.00012950255923309457 0.001813035829263324 120.82755376240002 0.0 120.82755376240002 120.82755376240002 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-state 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 13625.205244707802 0.65688014795 17.869235408 0.5403847325782255 16.676179006 18.685085212 7.999770000698212 7.996781212793037 0.29422864628845313 0.29433861391117316 0.2942201872405516 0.009157091605073898 0.2812425591843215 0.31512261781966144 0.9999712500872765 0.9995976515991296 0.036760394776371726 6.938893903907228e-18 0.03676039477637173 0.03676039477637173 0.000151086319105277 0.002115208467473878 137.6988420804 0.0 137.6988420804 137.6988420804 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 31405.875872377863 2.6275205918 7.7524346396 0.03137464752536918 7.697876448 7.797238653 1.9999917855367946 1.999885003655241 0.6778652261294589 0.6779014200726874 0.6778624419799797 0.0027488008111349613 0.6739618238538992 0.6826611493570182 0.9999958927683973 0.9999425018276205 0.3389284417024858 0.0 0.3389284417024858 0.3389284417024858 2.158375987218243e-05 0.000302172638210554 10.249828095599996 1.7763568394002505e-15 10.249828095599998 10.249828095599998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 47674.03947540161 1.7516803945333335 5.1070142719 0.1302496045776611 4.795414376 5.306073259 2.9999753567115994 2.999655030800821 1.0293339484395692 1.0294438685240934 1.029325493048452 0.02695710115020648 0.9903823273993738 1.0958471513745156 0.9999917855705333 0.9998850102669404 0.3429950067246714 5.551115123125783e-17 0.3429950067246714 0.3429950067246714 4.316751974436486e-05 0.000604345276421108 10.066001632099999 1.7763568394002505e-15 10.0660016321 10.0660016321 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 54706.53003755879 1.3137602959 4.450510749499999 0.06902470444909106 4.369966918 4.589735554 3.999950713625629 3.9993101012672785 1.180928106096235 1.181117268006648 1.1809135551800496 0.018109517840399377 1.1449551116338674 1.2025356901340276 0.9999876784064072 0.9998275253168196 0.29519315194275103 0.0 0.29519315194275103 0.29519315194275103 6.475127961654729e-05 0.000906517914631662 12.5470018144 1.7763568394002505e-15 12.547001814399998 12.547001814399998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 56866.82962445376 1.05100823672 4.2814414239 0.1733402012157963 4.045052649 4.519081509 4.999917856380095 4.998850234880589 1.228419515937854 1.2286818736849368 1.2283993345726936 0.04921776131094018 1.1628560301765516 1.2991280063806163 0.999983571276019 0.9997700469761177 0.24547999906130402 0.0 0.24547999906130405 0.24547999906130405 8.633503948872972e-05 0.001208690552842216 16.152165935899998 0.0 16.152165935899998 16.152165935899998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 54342.58076857801 0.8758401972666667 4.480317212699999 0.17322643890959413 4.244376655 4.83512194 5.999876785076208 5.998275451462171 1.173808072982345 1.1741214394389048 1.1737839678703017 0.04462869554043887 1.0868477049412328 1.2381184825831628 0.9999794641793681 0.9997125752436952 0.19548620235727773 2.7755575615628914e-17 0.19548620235727776 0.19548620235727776 0.00010791879936091214 0.00151086319105277 21.626862092599996 0.0 21.626862092599996 21.626862092599996 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 51624.49451149991 0.7507201690857144 4.7162108279 0.17861393137726592 4.380620355 4.970237003 6.999827499815178 6.997585770828885 1.1150831815007218 1.115440406745537 1.1150557026357362 0.04271367087431049 1.0573019315634433 1.1996111869411246 0.999975357116454 0.9996551101184122 0.15917867043700193 0.0 0.15917867043700196 0.15917867043700196 0.00012950255923309457 0.001813035829263324 27.758434611700004 0.0 27.758434611700004 27.758434611700004 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-set 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 48183.617272498435 0.65688014795 5.053003775600001 0.23592300901493268 4.644058097 5.551522941 7.999770000698212 7.996781212793037 1.0411401178681399 1.0415292428059209 1.0411101851806182 0.048253811272253415 0.9465945181978129 1.1315623262755234 0.9999712500872765 0.9995976515991296 0.12999795312284348 0.0 0.12999795312284348 0.12999795312284348 0.000151086319105277 0.002115208467473878 35.1689890212 7.105427357601002e-15 35.168989021200005 35.168989021200005 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 42476.72088318571 2.6275205918 5.7318925505000005 0.0410517364330884 5.65987796 5.795165668 1.9999917855367946 1.999885003655241 0.9168346394250925 0.9168835929037638 0.916830873772887 0.006573343870864491 0.90679740401858 0.9284725255100731 0.9999958927683973 0.9999425018276205 0.4584036718501986 0.0 0.4584036718501986 0.4584036718501986 2.158375987218243e-05 0.000302172638210554 6.2087439174000005 0.0 6.2087439174000005 6.2087439174000005 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 81439.3081178142 1.7516803945333335 2.9896128249 0.25486292574699265 2.586479084 3.357275986 2.9999753567115994 2.999655030800821 1.7643400163610512 1.7645284259671092 1.7643255233144313 0.15644160928952322 1.565269345002845 2.031735426011278 0.9999917855705333 0.9998850102669404 0.585922156857193 0.0 0.585922156857193 0.585922156857193 4.316751974436486e-05 0.000604345276421108 3.7137972910999997 0.0 3.7137972910999997 3.7137972910999997 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 133764.09295462692 1.3137602959 1.8201596155000002 0.09446598603088466 1.655177514 1.93693194 3.999950713625629 3.9993101012672785 2.891098535335599 2.8915616335710568 2.89106291239441 0.15246247524293646 2.7130747730867615 3.174910932000494 0.9999876784064072 0.9998275253168196 0.7217830154632392 1.1102230246251565e-16 0.7217830154632392 0.7217830154632392 6.475127961654729e-05 0.000906517914631662 2.0255972784 4.440892098500626e-16 2.0255972784000003 2.0255972784000003 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 160555.81100288665 1.05100823672 1.5164321894 0.0729930910532744 1.444459704 1.698277306 4.999917856380095 4.998850234880589 3.4693116429368795 3.470052595660896 3.4692546465734933 0.15738342980784603 3.0943363401453827 3.638067001140795 0.999983571276019 0.9997700469761177 0.6930796141539621 1.1102230246251565e-16 0.6930796141539621 0.6930796141539621 8.633503948872972e-05 0.001208690552842216 2.327119763399999 0.0 2.327119763399999 2.327119763399999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 180733.44298755287 0.8758401972666667 1.3471330816 0.060063029328376365 1.275787716 1.448410985 5.999876785076208 5.998275451462171 3.9048078056303313 3.905850255255412 3.9047276171976324 0.17017927037077976 3.6281423145931195 4.119056107607169 0.9999794641793681 0.9997125752436952 0.6501512057193524 1.1102230246251565e-16 0.6501512057193524 0.6501512057193524 0.00010791879936091214 0.00151086319105277 2.827757305999999 4.440892098500626e-16 2.8277573059999996 2.8277573059999996 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 194867.8554480227 0.7507201690857144 1.2494210471000002 0.046176684204018846 1.169739094 1.316034814 6.999827499815178 6.997585770828885 4.208986620469539 4.21033500084229 4.208882898902405 0.15792915383256817 3.9930867540104455 4.492490001022399 0.999975357116454 0.9996551101184122 0.6008544283996111 1.1102230246251565e-16 0.6008544283996111 0.6008544283996111 0.00012950255923309457 0.001813035829263324 3.4909061461000013 0.0 3.4909061461000013 3.4909061461000013 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-S-part 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 212275.1209815896 0.65688014795 1.1469643681000001 0.0329613953459509 1.078195934 1.19566093 7.999770000698212 7.996781212793037 4.583744792335933 4.585457961751376 4.583613010073207 0.13448254727021167 4.395093167090439 4.873920423817885 0.9999712500872765 0.9995976515991296 0.572711904763138 0.0 0.572711904763138 0.572711904763138 0.000151086319105277 0.002115208467473878 3.9206737612000007 0.0 3.9206737612000007 3.9206737612000007 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 1 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 68120.89167277739 5.2550411836 3.5741164570999997 0.14279637877680476 3.415240007 3.946786742 1.0 1.0 1.4714311433600649 1.4714311433600649 1.4714311433600649 0.05530639486416147 1.331473304011621 1.5387033335370508 1.0 1.0 1.4703049681441789 0.0 1.4703049681441789 1.4703049681441789 0.0 0.0 -1.6809247265000007 0.0 -1.6809247265000007 -1.6809247265000007 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 129099.63721875173 2.6275205918 1.8859231927 0.017122778476339542 1.866585311 1.925349159 1.9999917855367946 1.999885003655241 2.786581090486041 2.7867298772269784 2.7865696453521225 0.025045773061811345 2.729396462473018 2.815323335414376 0.9999958927683973 0.9999425018276205 1.3932277846577015 2.220446049250313e-16 1.3932277846577015 1.3932277846577015 2.158375987218243e-05 0.000302172638210554 -1.4831947982000002 2.220446049250313e-16 -1.4831947982000004 -1.4831947982000004 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 170845.7356618048 1.7516803945333335 1.4250984905 0.027120866130442366 1.397707331 1.479648479 2.9999753567115994 2.999655030800821 3.688185490076347 3.68857934249074 3.688155193736778 0.06925788951810878 3.5515470452492526 3.7597579028509798 0.9999917855705333 0.9998850102669404 1.2291644445702496 0.0 1.2291644445702496 1.2291644445702496 4.316751974436486e-05 0.000604345276421108 -0.9797457121000008 2.220446049250313e-16 -0.9797457121000006 -0.9797457121000006 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 187283.3014782531 1.3137602959 1.3000197993 0.015480504894664867 1.285534437 1.335689581 3.999950713625629 3.9993101012672785 4.042611874788613 4.043259423256081 4.042562063368039 0.04755233248034134 3.9343281989709555 4.087826068559843 0.9999876784064072 0.9998275253168196 1.010569451794041 0.0 1.010569451794041 1.010569451794041 6.475127961654729e-05 0.000906517914631662 -0.054961986400000384 0.0 -0.054961986400000384 -0.054961986400000384 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 185529.1186949362 1.05100823672 1.3123115213 0.010551262702700877 1.293849841 1.328426473 4.999917856380095 4.998850234880589 4.004611492050849 4.005466770589951 4.004545701393995 0.03231755936823667 3.9558389496202104 4.061554144133485 0.999983571276019 0.9997700469761177 0.800883189441827 1.1102230246251565e-16 0.800883189441827 0.800883189441827 8.633503948872972e-05 0.001208690552842216 1.3065164228999997 0.0 1.3065164228999997 1.3065164228999997 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 183983.02817864515 0.8758401972666667 1.3233394537 0.019618125122232676 1.300440643 1.36495553 5.999876785076208 5.998275451462171 3.9715605603130593 3.9726208306318993 3.9714790010577636 0.05829951442753142 3.849972448259908 4.04096966046608 0.9999794641793681 0.9997125752436952 0.6618409167941418 0.0 0.6618409167941418 0.6618409167941418 0.00010791879936091214 0.00151086319105277 2.6849955385999995 4.440892098500626e-16 2.6849955386 2.6849955386 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 185979.73750622376 0.7507201690857144 1.3091318616999998 0.01708596781784968 1.274142119 1.335130838 6.999827499815178 6.997585770828885 4.014584574600307 4.015870676822351 4.01448564366015 0.052804827279445826 3.9359746880477644 4.124376005813525 0.999975357116454 0.9996551101184122 0.5734488564894077 1.1102230246251565e-16 0.5734488564894077 0.5734488564894077 0.00012950255923309457 0.001813035829263324 3.908881848299999 0.0 3.908881848299999 3.908881848299999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-state 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 190141.29569447608 0.65688014795 1.2804793357 0.02591431265413427 1.244739999 1.336703968 7.999770000698212 7.996781212793037 4.104914796764773 4.106449004012649 4.104796780822629 0.0819425897085338 3.9313425480906488 4.221798277408775 0.9999712500872765 0.9995976515991296 0.5129955085069008 0.0 0.5129955085069008 0.5129955085069008 0.000151086319105277 0.002115208467473878 4.988793501999999 0.0 4.988793501999999 4.988793501999999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 1 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 69002.23915655639 5.2550411836 3.528465206 0.02809609076098854 3.495557825 3.590680215 1.0 1.0 1.4893747392990484 1.4893747392990484 1.4893747392990484 0.01177067171188741 1.463522471772107 1.50334837719356 1.0 1.0 1.4893277605980169 2.220446049250313e-16 1.4893277605980169 1.4893277605980169 0.0 0.0 -1.7265759776 4.440892098500626e-16 -1.7265759776000005 -1.7265759776000005 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 127404.92791017884 2.6275205918 1.9110092834999999 0.009727708135955533 1.895285237 1.927275691 1.9999917855367946 1.999885003655241 2.7499242755944038 2.75007110508097 2.749912981018514 0.013988300925308369 2.7266681192213515 2.7726914561515157 0.9999958927683973 0.9999425018276205 1.3749386852730066 0.0 1.3749386852730066 1.3749386852730066 2.158375987218243e-05 0.000302172638210554 -1.4330226166000006 0.0 -1.4330226166000006 -1.4330226166000006 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 186288.49334324326 1.7516803945333335 1.3069620975 0.06275152308106814 1.266038205 1.485618983 2.9999753567115994 2.999655030800821 4.025180066983124 4.025609906233893 4.025147002425372 0.17530828663378362 3.5372738526726275 4.150776147865143 0.9999917855705333 0.9998850102669404 1.340268702423739 0.0 1.340268702423739 1.340268702423739 4.316751974436486e-05 0.000604345276421108 -1.3341548911000005 2.220446049250313e-16 -1.3341548911000003 -1.3341548911000003 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 217456.84661422612 1.3137602959 1.1196336366999997 0.017090400485349128 1.099518123 1.154092484 3.999950713625629 3.9993101012672785 4.6941365052167585 4.69488841536648 4.694078665974472 0.07077116038242649 4.553396938680696 4.779403880366964 0.9999876784064072 0.9998275253168196 1.1733840899708659 2.220446049250313e-16 1.1733840899708659 1.1733840899708659 6.475127961654729e-05 0.000906517914631662 -0.7765066368000015 0.0 -0.7765066368000015 -0.7765066368000015 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 240595.18237630752 1.05100823672 1.0119570874000001 0.016780902369274892 0.988993305 1.038719733 4.999917856380095 4.998850234880589 5.193745491201949 5.194854737146283 5.193660164590847 0.08567206280509361 5.059152162655603 5.313525538577837 0.999983571276019 0.9997700469761177 1.0385897285628318 2.220446049250313e-16 1.0385897285628318 1.0385897285628318 8.633503948872972e-05 0.001208690552842216 -0.1952557466 0.0 -0.1952557466 -0.1952557466 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 259953.4649259715 0.8758401972666667 0.9365984025999999 0.009343423966022611 0.924570947 0.956265367 5.999876785076208 5.998275451462171 5.611166639865438 5.6126646287169155 5.611051409953786 0.055694231097903155 5.495379593309061 5.683761966186896 0.9999794641793681 0.9997125752436952 0.9351288608173277 1.1102230246251565e-16 0.9351288608173277 0.9351288608173277 0.00010791879936091214 0.00151086319105277 0.364549231999999 0.0 0.364549231999999 0.364549231999999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 281618.645778621 0.7507201690857144 0.864545028 0.004990246689500582 0.853750519 0.874332516 6.999827499815178 6.997585770828885 6.0786404271922745 6.080587765158419 6.078490631964109 0.035164486859721955 6.010346278371741 6.1552421540607 0.999975357116454 0.9996551101184122 0.8683413180021369 0.0 0.8683413180021369 0.8683413180021369 0.00012950255923309457 0.001813035829263324 0.7967740123999993 0.0 0.7967740123999993 0.7967740123999993 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-set 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 276981.4638745559 0.65688014795 0.8790191105 0.011382837332052287 0.859655058 0.897687806 7.999770000698212 7.996781212793037 5.9789751946810314 5.981209829876329 5.9788032996660085 0.07757318976918606 5.853974119372187 6.112964885969415 0.9999712500872765 0.9995976515991296 0.7472876756642483 0.0 0.7472876756642483 0.7472876756642483 0.000151086319105277 0.002115208467473878 1.7771117003999994 4.440892098500626e-16 1.7771117003999999 1.7771117003999999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 1 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 47129.639908470985 5.2550411836 5.166005946 0.03776153116720846 5.128454911 5.268975878 1.0 1.0 1.0172617648499906 1.0172617648499906 1.0172617648499906 0.007337128019378256 0.9973553315250157 1.0246831209003098 1.0 1.0 1.0172348306468635 0.0 1.0172348306468635 1.0172348306468635 0.0 0.0 -0.0890352376000001 0.0 -0.0890352376000001 -0.0890352376000001 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 2 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 89337.48577909544 2.6275205918 2.7253061565 0.013032229897808487 2.707372805 2.746991844 1.9999917855367946 1.999885003655241 1.9282687846703035 1.9283717426746847 1.9282608648238126 0.00920690820733108 1.913016667697103 1.941011291054909 0.9999958927683973 0.9999425018276205 0.9641194203202543 2.220446049250313e-16 0.9641194203202543 0.9641194203202543 2.158375987218243e-05 0.000302172638210554 0.19557112939999932 0.0 0.19557112939999932 0.19557112939999932 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 3 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 130258.87792952407 1.7516803945333335 1.8691393928000004 0.02871181892137573 1.829540068 1.926046012 2.9999753567115994 2.999655030800821 2.8118293364338265 2.8121296048926654 2.8118062388600698 0.04284315895624187 2.728408953295556 2.872329103644425 0.9999917855705333 0.9998850102669404 0.9371587808169237 2.220446049250313e-16 0.9371587808169237 0.9371587808169237 4.316751974436486e-05 0.000604345276421108 0.35237699480000106 0.0 0.35237699480000106 0.35237699480000106 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 4 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 169987.252263073 1.3137602959 1.4322956384 0.06467361483312557 1.356763703 1.59863331 3.999950713625629 3.9993101012672785 3.6726095530241154 3.6731978342545 3.672564300621778 0.15686200249384372 3.287208611710962 3.873217695889378 0.9999876784064072 0.9998275253168196 0.9172410085445667 1.1102230246251565e-16 0.9172410085445667 0.9172410085445667 6.475127961654729e-05 0.000906517914631662 0.4741413699999999 0.0 0.4741413699999999 0.4741413699999999 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 5 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 186827.0148738265 1.05100823672 1.3031948306 0.030446488896462502 1.270362433 1.366279217 4.999917856380095 4.998850234880589 4.033580093890952 4.034441559353183 4.033513827316933 0.09217172908771289 3.846242494370022 4.136647185945241 0.999983571276019 0.9997700469761177 0.8064858853346651 1.1102230246251565e-16 0.8064858853346651 0.8064858853346651 8.633503948872972e-05 0.001208690552842216 1.2609329693999995 2.220446049250313e-16 1.2609329693999998 1.2609329693999998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 6 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 204497.29010517482 0.8758401972666667 1.1905879039999998 0.022545007041216553 1.149056857 1.219658486 5.999876785076208 5.998275451462171 4.414708924350189 4.415887500068154 4.414618264679577 0.08462647004094744 4.308616915243601 4.573351746335735 0.9999794641793681 0.9997125752436952 0.7356367340236868 0.0 0.7356367340236868 0.7356367340236868 0.00010791879936091214 0.00151086319105277 1.8884862403999985 4.440892098500626e-16 1.888486240399998 1.888486240399998 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 7 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 222018.13680432359 0.7507201690857144 1.0966311289 0.049483353608793024 0.957192039 1.136551536 6.999827499815178 6.997585770828885 4.797330133047475 4.798866993668876 4.797211912999674 0.24023700233191128 4.623671709683036 5.490059433726652 0.999975357116454 0.9996551101184122 0.6845694502934098 1.1102230246251565e-16 0.6845694502934098 0.6845694502934098 0.00012950255923309457 0.001813035829263324 2.421376718699999 4.440892098500626e-16 2.4213767186999986 2.4213767186999986 TypeSet 100 Classical Scheme-examples/Sergey/jfp/primtest.scm false ParAAM-C-part 8 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 10 234442.13417877164 0.65688014795 1.0385163949 0.05731438254536086 0.920041182 1.135453373 7.999770000698212 7.996781212793037 5.0681454442092475 5.07003965781873 5.067999735470057 0.28860046022406866 4.628143531526591 5.7117456114045995 0.9999712500872765 0.9995976515991296 0.6325178410045725 0.0 0.6325178410045725 0.6325178410045725 0.000151086319105277 0.002115208467473878 3.0530899755999994 4.440892098500626e-16 3.0530899756 3.0530899756