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/kcfa/solovay-strassen.scm false SeqAAMLS 1 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 45775.18489917211 15.266284593699998 15.266284593699998 0.03623918220172467 15.200041938 15.324348452 1.0 1.0 1.0000028188100603 1.0000028188100603 1.0000028188100603 0.002375502207201238 0.9962110063940484 1.0043580574297228 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/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 48002.52686122393 7.633142296849999 14.557921128200002 0.18884167398276233 14.305888184 14.832572307 1.9999971380244927 1.9999399002343892 1.0487479730458196 1.0487779879559405 1.0487464723003135 0.01359450879179424 1.0292405307537462 1.067132945354216 0.9999985690122464 0.9999699501171946 0.5243291421646677 1.1102230246251565e-16 0.5243291421646677 0.5243291421646677 2.18458975578728e-05 0.00045876384871532886 13.849557662700004 1.7763568394002505e-15 13.849557662700006 13.849557662700006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 47570.22399351685 5.088761531233333 14.690218824600004 0.1678180848061857 14.432764248 14.943155626 2.999991414085765 2.9998197061209773 1.0392850162812894 1.039344504361395 1.0392820418772841 0.011870282462039701 1.0216238775655777 1.0577519546067207 0.9999971380285883 0.9999399020403257 0.34640474672247734 0.0 0.34640474672247734 0.34640474672247734 4.36917951157456e-05 0.0009175276974306577 28.804371880100014 0.0 28.804371880100014 28.804371880100014 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 43357.98835030471 3.8165711484249996 16.1173759805 0.1656251592357164 15.964997504 16.381753196 3.999982828196102 3.999639423076923 0.9472480027387564 0.9473293325234855 0.94724393624952 0.00966145447391504 0.9319078618171119 0.9562346996844228 0.9999957070490255 0.9999098557692307 0.23679854295404976 5.551115123125783e-17 0.23679854295404978 0.23679854295404978 6.553769267361841e-05 0.0013762915461459867 49.2032193283 0.0 49.2032193283 49.2032193283 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 42203.37737193322 3.05325691874 16.5583193459 0.10875997074334608 16.348999147 16.743354024 4.999971380367791 4.999399056518734 0.9219958435065837 0.9221013922343417 0.9219905660701957 0.006064853432139983 0.9117817476604292 0.9337748724821068 0.9999942760735582 0.9998798113037469 0.18439413173269997 0.0 0.1843941317327 0.1843941317327 8.73835902314912e-05 0.0018350553948613155 67.52531213580002 1.4210854715202004e-14 67.52531213580001 67.52531213580001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41763.49994442433 2.5443807656166664 16.732721178300004 0.18070706263176484 16.423016413 17.061006515 5.999957070613117 5.999098611862268 0.9124208795837178 0.9125514451468488 0.9124143513055611 0.00985541727877597 0.8948056247606444 0.9295664212827331 0.9999928451021862 0.9998497686437113 0.1520601902406867 2.7755575615628914e-17 0.15206019024068673 0.15206019024068673 0.00010922948778936402 0.002293819243576644 85.13004247610003 0.0 85.13004247610003 85.13004247610003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41306.06597376707 2.1808977991 16.918023625 0.19580679708084528 16.590166063 17.226441359 6.999939898944368 6.9987380945227295 0.9024364799828454 0.9025914439402394 0.9024287317849757 0.01049872452651498 0.8862123218341952 0.9202008307648847 0.9999914141349097 0.9998197277889613 0.12890972654023583 2.7755575615628914e-17 0.12890972654023586 0.12890972654023586 0.00013107538534723681 0.0027525830922919734 103.15988078130002 1.4210854715202004e-14 103.1598807813 103.1598807813 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-state 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41571.56495196415 1.9082855742124998 16.8099757805 0.1184591145043487 16.660926645 17.060311722 7.999919865373828 7.998317509914673 0.9081997289308525 0.908381674545271 0.9081906316501316 0.006371477766004844 0.8948420663388859 0.916292648001152 0.9999899831717285 0.9997896887393342 0.113521018657633 1.3877787807814457e-17 0.11352101865763302 0.11352101865763302 0.0001529212829051096 0.003211346941007302 119.21352165030001 0.0 119.21352165030001 119.21352165030001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 49524.914692365826 7.633142296849999 14.110412998000001 0.15139905309419377 13.879863163 14.38333552 1.9999971380244927 1.9999399002343892 1.0819799022906693 1.0820108682904659 1.0819783539906795 0.011571288091751055 1.061386948282772 1.0998872549691865 0.9999985690122464 0.9999699501171946 0.5409581064659068 1.1102230246251565e-16 0.5409581064659068 0.5409581064659068 2.18458975578728e-05 0.00045876384871532886 12.954541402300006 1.7763568394002505e-15 12.954541402300004 12.954541402300004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 47697.8963844687 5.088761531233333 14.6508976909 0.19260518112111308 14.374190235 15.058267048 2.999991414085765 2.9998197061209773 1.0420958509609872 1.042155499931663 1.0420928685124535 0.013579275933216384 1.0138141756310284 1.06206223405391 0.9999971380285883 0.9999399020403257 0.3473344527137116 5.551115123125783e-17 0.3473344527137116 0.3473344527137116 4.36917951157456e-05 0.0009175276974306577 28.686408479 0.0 28.686408479 28.686408479 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 43136.49766579148 3.8165711484249996 16.2001330153 0.10482953876026711 15.993140883 16.336073001 3.999982828196102 3.999639423076923 0.942379332050886 0.9424602438163235 0.9423752864626141 0.006120325153620182 0.9345137348961091 0.9545519985963096 0.9999957070490255 0.9999098557692307 0.23558887725307498 2.7755575615628914e-17 0.235588877253075 0.235588877253075 6.553769267361841e-05 0.0013762915461459867 49.5342474675 0.0 49.5342474675 49.5342474675 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 42037.2090226454 3.05325691874 16.623772516000002 0.19504806916709042 16.318346278 17.012081136 4.999971380367791 4.999399056518734 0.9184088427542343 0.9185139808474233 0.9184035858495748 0.010728276648765574 0.8973790138699935 0.9355289030899923 0.9999942760735582 0.9998798113037469 0.18366811238551953 2.7755575615628914e-17 0.18366811238551956 0.18366811238551956 8.73835902314912e-05 0.0018350553948613155 67.85257798630003 1.4210854715202004e-14 67.85257798630002 67.85257798630002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41233.83039144926 2.5443807656166664 16.9476615043 0.13401289455784382 16.670034835 17.097589666 5.999957070613117 5.999098611862268 0.9008247695288718 0.9009536757123533 0.9008183242196978 0.007171548207103368 0.8928910385572238 0.9157920031245093 0.9999928451021862 0.9998497686437113 0.15013167244171707 2.7755575615628914e-17 0.1501316724417171 0.1501316724417171 0.00010922948778936402 0.002293819243576644 86.4196844321 1.4210854715202004e-14 86.41968443210001 86.41968443210001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41458.504636330326 2.1808977991 16.855817790099998 0.1392783605188394 16.681709924 17.136328 6.999939898944368 6.9987380945227295 0.905736877596147 0.9058924082889139 0.9057291010615086 0.007461289200710811 0.8908725716326158 0.9151510644443214 0.9999914141349097 0.9998197277889613 0.12938546359826672 0.0 0.12938546359826672 0.12938546359826672 0.00013107538534723681 0.0027525830922919734 102.72443993699997 2.842170943040401e-14 102.724439937 102.724439937 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-set 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41481.09586777187 1.9082855742124998 16.8466378571 0.17203887100169865 16.55694658 17.207676867 7.999919865373828 7.998317509914673 0.9062479820272841 0.9064295366354312 0.9062389042968767 0.00922051326808869 0.8871787116700741 0.9220471008912319 0.9999899831717285 0.9997896887393342 0.11327397136445563 0.0 0.11327397136445565 0.11327397136445565 0.0001529212829051096 0.003211346941007302 119.50681826310003 2.842170943040401e-14 119.5068182631 119.5068182631 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 42494.38381845595 7.633142296849999 16.4449260633 0.512561680851035 16.058974155 17.766737766 1.9999971380244927 1.9999399002343892 0.9287657988535555 0.9287923799032379 0.9287644698010713 0.02757786904861174 0.859262110735653 0.9506388419553439 0.9999985690122464 0.9999699501171946 0.4641639778414582 5.551115123125783e-17 0.4641639778414582 0.4641639778414582 2.18458975578728e-05 0.00045876384871532886 17.623567532899994 3.552713678800501e-15 17.623567532899997 17.623567532899997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 60749.93408028145 5.088761531233333 11.5031729759 0.0838802043262316 11.334465499 11.624355204 2.999991414085765 2.9998197061209773 1.3271760028536461 1.327251969649217 1.3271722045138676 0.009712616145864281 1.3133016262654114 1.3468905609220734 0.9999971380285883 0.9999399020403257 0.4423789455217847 5.551115123125783e-17 0.44237894552178475 0.44237894552178475 4.36917951157456e-05 0.0009175276974306577 19.243234333999997 3.552713678800501e-15 19.243234334 19.243234334 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 68718.34010614757 3.8165711484249996 10.1692939457 0.07204320156813264 10.040703543 10.293956587 3.999982828196102 3.999639423076923 1.5012579214262995 1.5013868179594347 1.5012514765996428 0.010629962773287354 1.4830337066876147 1.5204397309731426 0.9999957070490255 0.9999098557692307 0.3753034545764905 5.551115123125783e-17 0.3753034545764905 0.3753034545764905 6.553769267361841e-05 0.0013762915461459867 25.4108911891 0.0 25.4108911891 25.4108911891 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 72183.51425831384 3.05325691874 9.6811163488 0.068621187694336 9.566795999 9.833123273 4.999971380367791 4.999399056518734 1.5769621880512574 1.5771427163625762 1.5769531616356915 0.01113172758749234 1.5525366833972771 1.5957573042527253 0.9999942760735582 0.9998798113037469 0.315382731570875 0.0 0.315382731570875 0.315382731570875 8.73835902314912e-05 0.0018350553948613155 33.13929715030001 7.105427357601002e-15 33.1392971503 33.1392971503 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 74617.2355514206 2.5443807656166664 9.3653563394 0.08921954962347643 9.236982329 9.498697356 5.999957070613117 5.999098611862268 1.6301660695021616 1.6303993429350963 1.6301544058305149 0.015514836192323753 1.607197705278694 1.6527350654088275 0.9999928451021862 0.9998497686437113 0.27168008065133314 0.0 0.27168008065133314 0.27168008065133314 0.00010922948778936402 0.002293819243576644 40.92585344269999 7.105427357601002e-15 40.925853442699996 40.925853442699996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 76624.77813491884 2.1808977991 9.1199872549 0.07257518556332333 8.995100395 9.230659474 6.999939898944368 6.9987380945227295 1.6740045451086503 1.6742920006523474 1.6739901723314656 0.013365139634210977 1.6538671626551218 1.697177788275258 0.9999914141349097 0.9998197277889613 0.23913386479002408 2.7755575615628914e-17 0.2391338647900241 0.2391338647900241 0.00013107538534723681 0.0027525830922919734 48.5736261906 0.0 48.5736261906 48.5736261906 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-L-SA-part 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 77745.85022528464 1.9082855742124998 8.9884797449 0.055829782736305934 8.932246827 9.066419198 7.999919865373828 7.998317509914673 1.6984776107785646 1.6988178779495677 1.6984605974200144 0.01052784161011232 1.6838273479641943 1.7091203243011321 0.9999899831717285 0.9997896887393342 0.21230348494641127 2.7755575615628914e-17 0.2123034849464113 0.2123034849464113 0.0001529212829051096 0.003211346941007302 56.6415533655 7.105427357601002e-15 56.641553365499995 56.641553365499995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 9423.963155971425 7.633142296849999 74.1531973793 8.101226428443672 68.7176575 96.753891446 1.9999971380244927 1.9999399002343892 0.20695631513539017 0.20696223817443998 0.20695601898343768 0.018710016338746326 0.15778470886848384 0.22215956057145864 0.9999985690122464 0.9999699501171946 0.1029374668472597 0.0 0.10293746684725971 0.10293746684725971 2.18458975578728e-05 0.00045876384871532886 133.04011016489997 2.842170943040401e-14 133.0401101649 133.0401101649 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 6854.415613405802 5.088761531233333 101.9513609057 2.0672386264426996 99.295335235 105.150479829 2.999991414085765 2.9998197061209773 0.1497719282163937 0.14978050107593052 0.14977149957341687 0.0030152505809880833 0.14518511583139376 0.15374624152856356 0.9999971380285883 0.9999399020403257 0.04991362043651567 6.938893903907228e-18 0.04991362043651568 0.04991362043651568 4.36917951157456e-05 0.0009175276974306577 290.5877981234 5.684341886080802e-14 290.58779812340003 290.58779812340003 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 7249.7462772436065 3.8165711484249996 96.39192507930002 2.070812094500002 93.209380298 99.969839995 3.999982828196102 3.999639423076923 0.1584143527395448 0.15842795404054416 0.15841367267449483 0.003390776054581196 0.15270890294976508 0.16378485239245355 0.9999957070490255 0.9999098557692307 0.03959430362330838 6.938893903907228e-18 0.03959430362330839 0.03959430362330839 6.553769267361841e-05 0.0013762915461459867 370.30141572350016 5.684341886080802e-14 370.3014157235001 370.3014157235001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 7408.297079460463 3.05325691874 94.32896555100001 2.0185465429897658 91.385433729 97.891818155 4.999971380367791 4.999399056518734 0.16187881374230526 0.1618973453907523 0.1618778871598829 0.003454661946986833 0.15595056748795555 0.16705380683503215 0.9999942760735582 0.9998798113037469 0.0323681798152363 6.938893903907228e-18 0.032368179815236306 0.032368179815236306 8.73835902314912e-05 0.0018350553948613155 456.37854316129994 1.1368683772161603e-13 456.37854316130006 456.37854316130006 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 7516.318479011727 2.5443807656166664 92.9733089346 2.899340405605414 85.098316309 95.416325453 5.999957070613117 5.999098611862268 0.16428514449458617 0.1643086533630097 0.164283969051165 0.0054565946350573396 0.15999656789570918 0.17939584771885123 0.9999928451021862 0.9998497686437113 0.02736678725080608 3.469446951953614e-18 0.027366787250806084 0.027366787250806084 0.00010922948778936402 0.002293819243576644 542.5735690138999 0.0 542.5735690138999 542.5735690138999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 7574.733617496999 2.1808977991 92.25631359310002 1.0423254285857715 90.054895478 93.675664553 6.999939898944368 6.9987380945227295 0.16548888300805084 0.16551730031251988 0.1654874621428274 0.0018820683865816848 0.16296958945044482 0.16952198448144867 0.9999914141349097 0.9998197277889613 0.02363955066228781 0.0 0.023639550662287814 0.023639550662287814 0.00013107538534723681 0.0027525830922919734 630.5279105580001 0.0 630.5279105580001 630.5279105580001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-state 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 7576.6287465693795 1.9082855742124998 92.2332376806 1.1307825298338408 90.211544343 93.60624856 7.999919865373828 7.998317509914673 0.16553239924814137 0.16556556144047413 0.16553074113852473 0.0020407168801538115 0.16309044351793003 0.16922761609816728 0.9999899831717285 0.9997896887393342 0.020689781928948606 3.469446951953614e-18 0.02068978192894861 0.02068978192894861 0.0001529212829051096 0.003211346941007302 722.5996168511 0.0 722.5996168511 722.5996168511 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 31880.177059860067 7.633142296849999 21.9201103773 0.09062905693815229 21.788165181 22.113374889 1.9999971380244927 1.9999399002343892 0.6964580224589877 0.6964779549170084 0.6964570258360866 0.002873021103944264 0.6903643008057538 0.7006686642440504 0.9999985690122464 0.9999699501171946 0.3482255410882748 0.0 0.3482255410882748 0.3482255410882748 2.18458975578728e-05 0.00045876384871532886 28.573936160899997 0.0 28.573936160899997 28.573936160899997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 41274.07832570946 5.088761531233333 16.931135190599996 0.41490951380939534 16.132453423 17.604452932 2.999991414085765 2.9998197061209773 0.9019441659298305 0.9019957926981885 0.9019415845914126 0.02229795369615521 0.8671831298972169 0.9463089211176579 0.9999971380285883 0.9999399020403257 0.3005564289663557 5.551115123125783e-17 0.3005564289663557 0.3005564289663557 4.36917951157456e-05 0.0009175276974306577 35.527120978099994 7.105427357601002e-15 35.52712097809999 35.52712097809999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 36172.9978269356 3.8165711484249996 19.3187471866 0.23812677759481946 18.792922138 19.693600619 3.999982828196102 3.999639423076923 0.7902953104617818 0.7903631644422456 0.7902919177627586 0.009811057054739647 0.7751901183053029 0.8123422468095577 0.9999957070490255 0.9999098557692307 0.19755790122209763 2.7755575615628914e-17 0.19755790122209765 0.19755790122209765 6.553769267361841e-05 0.0013762915461459867 62.0087041527 0.0 62.0087041527 62.0087041527 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 31383.116933045305 3.05325691874 22.267291088100002 0.23339952649929901 21.810048876 22.725661506 4.999971380367791 4.999399056518734 0.6856339649914271 0.6857124553590597 0.6856300404730455 0.0071933486454152165 0.6717641459928202 0.6999656296276884 0.9999942760735582 0.9998798113037469 0.1371184715132102 2.7755575615628914e-17 0.13711847151321022 0.13711847151321022 8.73835902314912e-05 0.0018350553948613155 96.07017084680001 0.0 96.07017084680001 96.07017084680001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 29348.565285459703 2.5443807656166664 23.810942483999998 0.49569529600011725 22.99325308 24.712549135 5.999957070613117 5.999098611862268 0.6412883997165062 0.6413801667758885 0.6412838113635371 0.013227042251415482 0.6177543445762378 0.6639462689591724 0.9999928451021862 0.9998497686437113 0.10685762511611577 1.3877787807814457e-17 0.10685762511611578 0.10685762511611578 0.00010922948778936402 0.002293819243576644 127.59937031029997 2.842170943040401e-14 127.5993703103 127.5993703103 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 28851.856785669694 2.1808977991 24.2208674884 0.7369783227410502 22.395848618 24.969527364 6.999939898944368 6.9987380945227295 0.6306006026888801 0.6307088877228911 0.6305951884371797 0.020061420598955458 0.6113966184121801 0.6816568933864902 0.9999914141349097 0.9998197277889613 0.09004210109916533 0.0 0.09004210109916534 0.09004210109916534 0.00013107538534723681 0.0027525830922919734 154.2797878251 2.842170943040401e-14 154.27978782510002 154.27978782510002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-set 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 28167.526490630393 1.9082855742124998 24.8093136695 0.29465016755721896 24.432410141 25.529884722 7.999919865373828 7.998317509914673 0.6153940873875937 0.6155173733254468 0.615387923090701 0.00721535239719938 0.5979770280961945 0.6248374395157056 0.9999899831717285 0.9997896887393342 0.07691811227162249 0.0 0.0769181122716225 0.0769181122716225 0.0001529212829051096 0.003211346941007302 183.2082247623 0.0 183.2082247623 183.2082247623 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 42378.84031857882 7.633142296849999 16.489762219699998 0.18365604820284775 16.274971718 16.908907779 1.9999971380244927 1.9999399002343892 0.9258621453030798 0.9258886432509088 0.9258608204056883 0.010203409804936978 0.9028545659619686 0.9380221888075909 0.9999985690122464 0.9999699501171946 0.4629019021105612 0.0 0.4629019021105612 0.4629019021105612 2.18458975578728e-05 0.00045876384871532886 17.7132398457 3.552713678800501e-15 17.713239845699995 17.713239845699995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 82917.3819548048 5.088761531233333 8.427871014800001 0.5128741781148847 7.56892305 9.11001771 2.999991414085765 2.9998197061209773 1.8148241389746549 1.8149280184707175 1.8148189449998517 0.11338381722684665 1.6757689259969615 2.016969190048774 0.9999971380285883 0.9999399020403257 0.6038015439838922 1.1102230246251565e-16 0.6038015439838922 0.6038015439838922 4.36917951157456e-05 0.0009175276974306577 10.017328450700004 0.0 10.017328450700004 10.017328450700004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 130665.27844002009 3.8165711484249996 5.3481461054 0.29407343684295145 4.970650429 5.893160199 3.999982828196102 3.999639423076923 2.8587322461373925 2.85897769408503 2.8587199737400106 0.15195306179436627 2.590509010138653 3.0712850987534206 0.9999957070490255 0.9999098557692307 0.7136250717929011 1.1102230246251565e-16 0.7136250717929011 0.7136250717929011 6.553769267361841e-05 0.0013762915461459867 6.1262998279 8.881784197001252e-16 6.1262998279000005 6.1262998279000005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 164103.8203625816 3.05325691874 4.258383494399999 0.11797806849390373 4.076468951 4.420962311 4.999971380367791 4.999399056518734 3.5863952547620483 3.5868058200146398 3.586374726499419 0.09973591895797437 3.453158728748999 3.7449775227541036 0.9999942760735582 0.9998798113037469 0.7169990496993036 0.0 0.7169990496993036 0.7169990496993036 8.73835902314912e-05 0.0018350553948613155 6.025632878300001 8.881784197001252e-16 6.0256328783 6.0256328783 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 182121.5152176835 2.5443807656166664 3.837091950199999 0.19767313837471323 3.382954004 4.053388918 5.999957070613117 5.999098611862268 3.984125917752295 3.984696038028668 3.9840974117384764 0.2178483048645373 3.7663014584923182 4.51270829448144 0.9999928451021862 0.9998497686437113 0.663101327421681 0.0 0.663101327421681 0.663101327421681 0.00010922948778936402 0.002293819243576644 7.756267107499996 0.0 7.756267107499996 7.756267107499996 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 201170.1558578847 2.1808977991 3.4737607923 0.12025233251452222 3.207952513 3.639158431 6.999939898944368 6.9987380945227295 4.397460843319852 4.398215963430665 4.397423087314311 0.15645696121954 4.195004115142356 4.758887337588217 0.9999914141349097 0.9998197277889613 0.6278203737960935 0.0 0.6278203737960935 0.6278203737960935 0.00013107538534723681 0.0027525830922919734 9.0500409524 1.7763568394002505e-15 9.050040952400002 9.050040952400002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-S-part 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 216696.8505084694 1.9082855742124998 3.2248599754 0.08266840113006076 3.083736312 3.381712061 7.999919865373828 7.998317509914673 4.735533323781692 4.736482024263258 4.735485888757614 0.12063690304693606 4.514365598940329 4.950580415806965 0.9999899831717285 0.9997896887393342 0.5917421496652123 1.1102230246251565e-16 0.5917421496652123 0.5917421496652123 0.0001529212829051096 0.003211346941007302 10.5325952095 0.0 10.5325952095 10.5325952095 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 1 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 74930.18464589323 15.266284593699998 9.3262415314 0.08552749063639144 9.195990048 9.505703964 1.0 1.0 1.636985680913939 1.636985680913939 1.636985680913939 0.014918070899981551 1.6060130476939392 1.6601023396083603 1.0 1.0 1.6369171377666771 0.0 1.6369171377666771 1.6369171377666771 0.0 0.0 -5.940043062299999 0.0 -5.940043062299999 -5.940043062299999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 132744.41742755286 7.633142296849999 5.2643795765000005 0.02974638783391361 5.208835391 5.300584976 1.9999971380244927 1.9999399002343892 2.899971490417884 2.900054486891656 2.8999673405941953 0.016440199523030052 2.880113169173349 2.9308441230601363 0.9999985690122464 0.9999699501171946 1.4499604722509125 2.220446049250313e-16 1.4499604722509125 1.4499604722509125 2.18458975578728e-05 0.00045876384871532886 -4.737525440699997 0.0 -4.737525440699997 -4.737525440699997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 175765.97658410922 5.088761531233333 3.9758377223000005 0.03685523061706552 3.905923017 4.048155609 2.999991414085765 2.9998197061209773 3.8399414712837694 3.840161267338043 3.839930481481056 0.03559447381981544 3.771170396651617 3.9084960269968367 0.9999971380285883 0.9999399020403257 1.2799218395386398 2.220446049250313e-16 1.2799218395386398 1.2799218395386398 4.36917951157456e-05 0.0009175276974306577 -3.338771426799995 8.881784197001252e-16 -3.3387714267999957 -3.3387714267999957 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 193280.88696633192 3.8165711484249996 3.6155514958999992 0.022033452274492885 3.564034081 3.646696811 3.999982828196102 3.999639423076923 4.22249131506595 4.222853854030067 4.222473188117744 0.025893475746193273 4.186332285055983 4.283428341800977 0.9999957070490255 0.9999098557692307 1.05559861414032 2.220446049250313e-16 1.05559861414032 1.05559861414032 6.553769267361841e-05 0.0013762915461459867 -0.8040786101000013 0.0 -0.8040786101000013 -0.8040786101000013 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 186868.53577429565 3.05325691874 3.7396183210000005 0.05699473345010195 3.641633468 3.815909653 4.999971380367791 4.999399056518734 4.082810468355402 4.083277862491337 4.082787098648605 0.06263670474366564 4.000693407847829 4.192152979658412 0.9999942760735582 0.9998798113037469 0.8164621778629904 0.0 0.8164621778629904 0.8164621778629904 8.73835902314912e-05 0.0018350553948613155 3.4318070113000028 8.881784197001252e-16 3.4318070113000037 3.4318070113000037 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 175568.30634283167 2.5443807656166664 3.9803140701000004 0.06202046719266066 3.832830762 4.060963925 5.999957070613117 5.999098611862268 3.8359454417585 3.836494357711598 3.835917995960845 0.06077580293316284 3.7592760919933554 3.983031222003117 0.9999928451021862 0.9998497686437113 0.6392412057957884 1.1102230246251565e-16 0.6392412057957884 0.6392412057957884 0.00010922948778936402 0.002293819243576644 8.615599826900006 1.7763568394002505e-15 8.615599826900004 8.615599826900004 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 174711.82757517885 2.1808977991 3.9998265125999994 0.06749784119932326 3.856418737 4.099080219 6.999939898944368 6.9987380945227295 3.817318345214838 3.8179738448212133 3.817285570234519 0.06539256530660582 3.72431954928277 3.958668815507313 0.9999914141349097 0.9998197277889613 0.5452480981937277 0.0 0.5452480981937277 0.5452480981937277 0.00013107538534723681 0.0027525830922919734 12.732500994499999 0.0 12.732500994499999 12.732500994499999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-state 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 178655.33070743666 1.9082855742124998 3.9115373565 0.05838320782779886 3.850324553 4.027935931 7.999919865373828 7.998317509914673 3.9033562065510146 3.904138191527085 3.903317107302211 0.05751833176929464 3.7901011473908666 3.964934483719092 0.9999899831717285 0.9997896887393342 0.4878607566003185 0.0 0.4878607566003185 0.4878607566003185 0.0001529212829051096 0.003211346941007302 16.0260142583 3.552713678800501e-15 16.026014258300002 16.026014258300002 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 1 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 72496.84306902712 15.266284593699998 9.639274903799999 0.09957907098007013 9.567942511 9.903061096 1.0 1.0 1.5838421382356929 1.5838421382356929 1.5838421382356929 0.01607936478584825 1.541572292214403 1.595566087081812 1.0 1.0 1.5837586069551475 2.220446049250313e-16 1.5837586069551475 1.5837586069551475 0.0 0.0 -5.6270096898999995 0.0 -5.6270096898999995 -5.6270096898999995 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 132940.29204102157 7.633142296849999 5.2566230243 0.026109283166424597 5.205338166 5.300366705 1.9999971380244927 1.9999399002343892 2.904240012127832 2.904323130765649 2.9042358561959407 0.01444407689873276 2.8802317732655816 2.932813221130502 0.9999985690122464 0.9999699501171946 1.4521000006209253 0.0 1.4521000006209253 1.4521000006209253 2.18458975578728e-05 0.00045876384871532886 -4.753038545099998 8.881784197001252e-16 -4.753038545099999 -4.753038545099999 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 193256.24500531287 5.088761531233333 3.6160125121999998 0.05335123422500111 3.546150363 3.740337105 2.999991414085765 2.9998197061209773 4.222323435258951 4.222565118638211 4.222311351089989 0.06143162152246847 4.081526387900269 4.305030252802057 0.9999971380285883 0.9999399020403257 1.4072853769350775 2.220446049250313e-16 1.4072853769350775 1.4072853769350775 4.36917951157456e-05 0.0009175276974306577 -4.418247057099998 8.881784197001252e-16 -4.4182470570999985 -4.4182470570999985 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 224269.28038352742 3.8165711484249996 3.1159729001 0.03964020068458693 3.041256802 3.152260752 3.999982828196102 3.999639423076923 4.899783649521786 4.900204340141648 4.899762614990793 0.06290511587913986 4.842963763075142 5.019728877765449 0.9999957070490255 0.9999098557692307 1.2248409311590982 2.220446049250313e-16 1.2248409311590982 1.2248409311590982 6.553769267361841e-05 0.0013762915461459867 -2.8023929932999976 4.440892098500626e-16 -2.802392993299998 -2.802392993299998 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 241792.48210851863 3.05325691874 2.8901518935 0.03479154695869518 2.840878052 2.949890302 4.999971380367791 4.999399056518734 5.282586306503929 5.28319104921275 5.282556069368488 0.06347845420915073 5.175204170592239 5.373790889388025 0.9999942760735582 0.9998798113037469 1.0564347588812981 2.220446049250313e-16 1.0564347588812981 1.0564347588812981 8.73835902314912e-05 0.0018350553948613155 -0.8155251261999972 0.0 -0.8155251261999972 -0.8155251261999972 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 262891.58748521516 2.5443807656166664 2.6581946066999995 0.024226322159682928 2.615697903 2.690467171 5.999957070613117 5.999098611862268 5.7433830976268965 5.7442049640102715 5.743342004307728 0.05260661682519644 5.6742132958365685 5.836409692491923 0.9999928451021862 0.9998497686437113 0.957183781504761 2.220446049250313e-16 0.957183781504761 0.957183781504761 0.00010922948778936402 0.002293819243576644 0.6828830464999989 0.0 0.6828830464999989 0.6828830464999989 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 278262.518366089 2.1808977991 2.511358713 0.013578116412213367 2.484775474 2.532880983 6.999939898944368 6.9987380945227295 6.079035569892635 6.08007944547828 6.078983376113352 0.03289869835866845 6.027241191419217 6.143929201427717 0.9999914141349097 0.9998197277889613 0.8684134957744684 1.1102230246251565e-16 0.8684134957744684 0.8684134957744684 0.00013107538534723681 0.0027525830922919734 2.3132263973000007 4.440892098500626e-16 2.313226397300001 2.313226397300001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-set 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 271419.73167064076 1.9082855742124998 2.5746727981000004 0.022695425657615353 2.52270091 2.606424412 7.999919865373828 7.998317509914673 5.929698404630975 5.930886340043394 5.929639007860354 0.05261043316909482 5.857175264095093 6.051563438687624 0.9999899831717285 0.9997896887393342 0.7411759566577678 1.1102230246251565e-16 0.7411759566577678 0.7411759566577678 0.0001529212829051096 0.003211346941007302 5.331097791100006 8.881784197001252e-16 5.331097791100005 5.331097791100005 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 1 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 46784.18195054562 15.266284593699998 14.9370357857 0.1483425728661904 14.751153996 15.193730341 1.0 1.0 1.0220927316637773 1.0220927316637773 1.0220927316637773 0.010115540814520107 1.004775275792819 1.0349213761743443 1.0 1.0 1.0220424462205016 0.0 1.0220424462205016 1.0220424462205016 0.0 0.0 -0.3292488079999991 0.0 -0.3292488079999991 -0.3292488079999991 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 2 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 83228.59880258009 7.633142296849999 8.3963566617 0.03791140160312368 8.353858345 8.475598179 1.9999971380244927 1.9999399002343892 1.818224531915681 1.8182765690564504 1.8182219300586424 0.008178276129319624 1.8012043836062557 1.8274531316223792 0.9999985690122464 0.9999699501171946 0.9091017216632298 2.220446049250313e-16 0.9091017216632298 0.9091017216632298 2.18458975578728e-05 0.00045876384871532886 1.5264287297000028 0.0 1.5264287297000028 1.5264287297000028 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 3 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 131735.42952960727 5.088761531233333 5.3047005084 0.14324408844655584 5.121463628 5.487931842 2.999991414085765 2.9998197061209773 2.8789395573207357 2.8791043461749206 2.8789313178780267 0.07809455027828963 2.7817919451667996 2.980844091176664 0.9999971380285883 0.9999399020403257 0.9592928994153906 2.220446049250313e-16 0.9592928994153906 0.9592928994153906 4.36917951157456e-05 0.0009175276974306577 0.6478169315000013 0.0 0.6478169315000013 0.6478169315000013 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 4 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 173861.6338424993 3.8165711484249996 4.0193859022 0.08296766052048839 3.811031601 4.125336576 3.999982828196102 3.999639423076923 3.7990034009470004 3.7993295796540454 3.7989870920116484 0.08056623042475146 3.700615528564329 4.005814223554112 0.9999957070490255 0.9999098557692307 0.9495408605419077 1.1102230246251565e-16 0.9495408605419077 0.9495408605419077 6.553769267361841e-05 0.0013762915461459867 0.811259015100001 0.0 0.811259015100001 0.811259015100001 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 5 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 193998.41487662558 3.05325691874 3.6021789170000007 0.03914660705969149 3.53675279 3.659913075 4.999971380367791 4.999399056518734 4.238344228763934 4.238829428175945 4.238319968793333 0.04611740531351316 4.171215075565694 4.316469230437788 0.9999942760735582 0.9998798113037469 0.847613899556894 0.0 0.847613899556894 0.847613899556894 8.73835902314912e-05 0.0018350553948613155 2.744609991300004 4.440892098500626e-16 2.7446099913000044 2.7446099913000044 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 6 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 208057.70430203516 2.5443807656166664 3.3587653115 0.05727616792305223 3.271032419 3.473782616 5.999957070613117 5.999098611862268 4.545896592887296 4.546547101399176 4.545864067461702 0.07680637663320862 4.394715007031401 4.667115038366728 0.9999928451021862 0.9998497686437113 0.7575345490514086 0.0 0.7575345490514086 0.7575345490514086 0.00010922948778936402 0.002293819243576644 4.886307275299999 8.881784197001252e-16 4.8863072753 4.8863072753 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 7 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 226759.06025105325 2.1808977991 3.0817599932999995 0.07823910901057952 2.970263142 3.234222725 6.999939898944368 6.9987380945227295 4.95538388071662 4.95623480586603 4.95534133445915 0.12459983182474246 4.720232925114951 5.139707784752224 0.9999914141349097 0.9998197277889613 0.707679314366288 1.1102230246251565e-16 0.707679314366288 0.707679314366288 0.00013107538534723681 0.0027525830922919734 6.306035359399998 8.881784197001252e-16 6.306035359399997 6.306035359399997 TypeSet 100 Classical Scheme-examples/Sergey/kcfa/solovay-strassen.scm false ParAAM-C-part 8 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 10 237904.34916506225 1.9082855742124998 2.9373864011 0.06243786070434511 2.849719778 3.062853448 7.999919865373828 7.998317509914673 5.198452515336081 5.199493955458554 5.198400443329957 0.10942105312251223 4.984334005163932 5.3571178161293584 0.9999899831717285 0.9997896887393342 0.6496542550540441 1.1102230246251565e-16 0.6496542550540441 0.6496542550540441 0.0001529212829051096 0.003211346941007302 8.232806615100001 0.0 8.232806615100001 8.232806615100001