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 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/AlgoDat1/abstrct.scm false SeqAAMLS 1 0.012861736334405145 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 1 14485.921262380498 0.085876485 0.085876485 0.0 0.085876485 0.085876485 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/bst.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 527 21 1 1402.8836272959068 0.001425635 0.001425635 0.0 0.001425635 0.001425635 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/btree.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 106 10 1 2106.400614226419 0.000949487 0.000949487 0.0 0.000949487 0.000949487 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/bubsort.scm false SeqAAMLS 1 0.0718232044198895 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 1 8969.9419228473 0.020178503 0.020178503 0.0 0.020178503 0.020178503 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/heap.scm false SeqAAMLS 1 0.007747933884297521 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 1 37787.59635031936 0.051233743 0.051233743 0.0 0.051233743 0.051233743 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/inssort.scm false SeqAAMLS 1 0.07575757575757576 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 1 38107.57035754524 0.005195818 0.005195818 0.0 0.005195818 0.005195818 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/qsort.scm false SeqAAMLS 1 6.751631121740107e-06 14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 1 74456.32131595755 27.849522557 27.849522557 0.0 27.849522557 27.849522557 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/queue.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 95 5 1 6848.283135417951 0.000292044 0.000292044 0.0 0.000292044 0.000292044 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/quick.scm false SeqAAMLS 1 6.262418090417931e-05 11 175651 2184 1 1 1 {#f,#t} 91 0 1 18670.96561340506 9.407708398 9.407708398 0.0 9.407708398 9.407708398 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/selsort.scm false SeqAAMLS 1 0.050335570469798654 15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 1 116225.41959131554 0.002563983 0.002563983 0.0 0.002563983 0.002563983 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/stspaceCODE.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 386 5 1 6774.975948835382 0.000295204 0.000295204 0.0 0.000295204 0.000295204 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/traverse.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 67 0 1 7365.614365894259 0.000271532 0.000271532 0.0 0.000271532 0.000271532 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/DFS/dfs.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 256 13 1 7435.1929990222725 0.000268991 0.000268991 0.0 0.000268991 0.000268991 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/graf/graf.scm false SeqAAMLS 1 0.0014157014157014157 22 15540 2040 15 1 1 #t 879 25 1 170888.2779284725 0.090936606 0.090936606 0.0 0.090936606 0.090936606 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/shortest/priorityGraf.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 106 0 1 6910.611243564494 0.00028941 0.00028941 0.0 0.00028941 0.00028941 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/shortest/shortestOLD.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 95 0 1 7096.854319322961 0.000281815 0.000281815 0.0 0.000281815 0.000281815 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/AlgoDat1/stSpace/STSPACEopl.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 645 7 1 11202.379385381455 0.000357067 0.000357067 0.0 0.000357067 0.000357067 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/cpstak.scm false SeqAAMLS 1 0.004577822990844354 9 1966 0 0 67 1 Int 56 0 1 36947.28177288167 0.053210951 0.053210951 0.0 0.053210951 0.053210951 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/ctak.scm false SeqAAMLS 1 1.0 5 5 1 1 0 0 68 0 1 5410.113666488132 0.000924195 0.000924195 0.0 0.000924195 0.000924195 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/deriv.scm false SeqAAMLS 1 0.00021601693572776106 15 69439 4934 4 688 2 Cons(@'--Time(),@_cons_1-Time()), Int 95 0 1 113839.89670310174 0.609970687 0.609970687 0.0 0.609970687 0.609970687 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/diviter.scm false SeqAAMLS 1 0.011804384485666104 7 593 1 1 37 2 #f, {#f,#t} 43 0 1 3366.734442683498 0.176135068 0.176135068 0.0 0.176135068 0.176135068 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/divrec.scm false SeqAAMLS 1 0.013133208255159476 7 533 1 1 42 2 #f, {#f,#t} 40 0 1 9133.274054443533 0.058358043 0.058358043 0.0 0.058358043 0.058358043 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/puzzle.scm false SeqAAMLS 1 1.0 24 24 1 1 0 0 553 23 1 17315.34269227606 0.001386054 0.001386054 0.0 0.001386054 0.001386054 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/takl.scm false SeqAAMLS 1 1.992723371337225e-06 5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 1 65534.641285414364 38.287063922 38.287063922 0.0 38.287063922 38.287063922 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Gabriel/triangl.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 290 9 1 13626.530855575807 0.000293545 0.000293545 0.0 0.000293545 0.000293545 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/ack.scm false SeqAAMLS 1 9.260974254491573e-05 5 53990 0 0 1546 1 Int 38 0 1 63786.393392320366 0.84641876 0.84641876 0.0 0.84641876 0.84641876 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/array1.scm false SeqAAMLS 1 0.0008878037953612252 8 9011 0 0 96 2 (), {(),Int} 82 2 1 83938.07060142806 0.107352956 0.107352956 0.0 0.107352956 0.107352956 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/cat.scm false SeqAAMLS 1 1.0 7 7 1 1 0 0 39 2 1 7885.68016807764 0.000887685 0.000887685 0.0 0.000887685 0.000887685 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/string.scm false SeqAAMLS 1 0.000573855158957879 5 8713 230 1 176 1 Int 77 3 1 103412.31317701579 0.084254957 0.084254957 0.0 0.084254957 0.084254957 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/sumloop.scm false SeqAAMLS 1 0.0006176652254478073 8 12952 0 0 212 1 {#f,#t} 66 4 1 92250.7549593951 0.140399935 0.140399935 0.0 0.140399935 0.140399935 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/tail.scm false SeqAAMLS 1 1.0 7 7 1 1 0 0 76 2 1 8090.2034570595115 0.000865244 0.000865244 0.0 0.000865244 0.000865244 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Kernighan_and_Van_Wyk/wc.scm false SeqAAMLS 1 1.0 8 8 1 1 0 0 101 10 1 8884.052016124555 0.00090049 0.00090049 0.0 0.00090049 0.00090049 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Numerical/fib.scm false SeqAAMLS 1 0.018115942028985508 5 276 0 0 15 1 Int 18 0 1 101851.85868571246 0.002709818 0.002709818 0.0 0.002709818 0.002709818 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Numerical/sum.scm false SeqAAMLS 1 0.000617093489663684 6 9723 0 0 212 1 Int 31 0 1 98331.18140115714 0.09888013 0.09888013 0.0 0.09888013 0.09888013 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/Numerical/tak.scm false SeqAAMLS 1 0.00215633423180593 8 3710 0 0 127 1 {#f,#t} 35 0 1 92713.64929595229 0.040015683 0.040015683 0.0 0.040015683 0.040015683 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/earley.scm false SeqAAMLS 1 0.029940119760479042 50 1670 14 1 0 0 1943 28 1 68519.38431845675 0.024372665 0.024372665 0.0 0.024372665 0.024372665 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/fibc.scm false SeqAAMLS 1 0.00028118321898549094 5 17782 761 1 158 1 Int 98 0 1 109853.17155564453 0.161870611 0.161870611 0.0 0.161870611 0.161870611 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/lattice.scm false SeqAAMLS 1 1.0 30 30 1 1 0 0 441 3 1 21839.497167417216 0.001373658 0.001373658 0.0 0.001373658 0.001373658 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/maze.scm false SeqAAMLS 1 0.00108010801080108 24 22220 1022 10 0 0 1507 29 1 50938.651482602 0.436210998 0.436210998 0.0 0.436210998 0.436210998 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/nqueens.scm false SeqAAMLS 1 0.0011607048644085682 11 9477 170 1 41 1 Int 113 0 1 152501.57864156578 0.062143619 0.062143619 0.0 0.062143619 0.062143619 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/perm9.scm false SeqAAMLS 1 1.7387259919975135e-05 8 460107 142 2 6990 2 Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())} 135 2 1 102990.40632614585 4.467474364 4.467474364 0.0 4.467474364 4.467474364 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/peval.scm false SeqAAMLS 1 0.4119718309859155 117 284 15 5 0 0 2065 58 1 46601.74802500479 0.006094192 0.006094192 0.0 0.006094192 0.006094192 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Larceny/other/primes.scm false SeqAAMLS 1 0.000874221396568681 8 9151 0 0 283 2 #f, {#f,#t} 95 0 1 74921.96093016642 0.122140423 0.122140423 0.0 0.122140423 0.122140423 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Nguyen/ack.scm false SeqAAMLS 1 0.015822784810126583 5 316 0 0 16 1 Int 32 0 1 110889.9161412555 0.002849673 0.002849673 0.0 0.002849673 0.002849673 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Nguyen/len.scm false SeqAAMLS 1 0.7619047619047619 48 63 0 0 3 2 #f, Int 35 0 1 33464.39335429019 0.001882598 0.001882598 0.0 0.001882598 0.001882598 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/abs.scm false SeqAAMLS 1 0.625 5 8 0 0 1 1 Int 11 0 1 9522.143148758492 0.000840147 0.000840147 0.0 0.000840147 0.000840147 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/add.scm false SeqAAMLS 1 1.0 4 4 0 0 1 1 Int 4 0 1 13756.435432450744 0.000290773 0.000290773 0.0 0.000290773 0.000290773 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/collatz.scm false SeqAAMLS 1 0.38461538461538464 5 13 0 0 2 1 Int 18 0 1 14928.098240666206 0.000870841 0.000870841 0.0 0.000870841 0.000870841 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/factorial_iter.scm false SeqAAMLS 1 0.3181818181818182 7 22 0 0 2 1 Int 24 0 1 21466.57702744502 0.001024849 0.001024849 0.0 0.001024849 0.001024849 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/factorial_recur.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 15 0 1 31406.92557605536 0.001146244 0.001146244 0.0 0.001146244 0.001146244 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/fibonacci_iter.scm false SeqAAMLS 1 0.32 8 25 0 0 2 1 Int 30 0 1 24893.23292398901 0.001004289 0.001004289 0.0 0.001004289 0.001004289 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/fibonacci_mutable_iter.scm false SeqAAMLS 1 0.21621621621621623 8 37 0 0 2 1 Int 35 2 1 18509.48611163221 0.001998975 0.001998975 0.0 0.001998975 0.001998975 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/fibonacci_recur.scm false SeqAAMLS 1 0.018115942028985508 5 276 0 0 15 1 Int 18 0 1 96698.27929616265 0.002854239 0.002854239 0.0 0.002854239 0.002854239 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/gen3fibonacci_recur.scm false SeqAAMLS 1 0.0015318627450980392 5 3264 0 0 127 1 Int 22 0 1 99576.8532872351 0.032778702 0.032778702 0.0 0.032778702 0.032778702 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/gen4fibonacci_recur.scm false SeqAAMLS 1 0.00010029285513700004 5 49854 0 0 1517 1 Int 26 0 1 83394.29703347397 0.597810663 0.597810663 0.0 0.597810663 0.597810663 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/gen5fibonacci_recur.scm false SeqAAMLS 1 5.483742895811078e-06 5 911786 0 0 22841 1 Int 30 0 1 71793.93963800158 12.700041321 12.700041321 0.0 12.700041321 12.700041321 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/inc.scm false SeqAAMLS 1 1.0 4 4 0 0 1 1 Int 8 0 1 14044.894505286147 0.000284801 0.000284801 0.0 0.000284801 0.000284801 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/linear_1.scm false SeqAAMLS 1 1.0 3 3 0 0 1 1 Int 2 0 1 12110.78950236766 0.000247713 0.000247713 0.0 0.000247713 0.000247713 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/linear_10.scm false SeqAAMLS 1 1.0 31 31 0 0 1 1 Int 20 0 1 40138.490740956535 0.000772326 0.000772326 0.0 0.000772326 0.000772326 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/linear_100.scm false SeqAAMLS 1 1.0 301 301 0 0 1 1 Int 200 0 1 235178.6654665523 0.001279878 0.001279878 0.0 0.001279878 0.001279878 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/linear_1000.scm false SeqAAMLS 1 1.0 3001 3001 0 0 1 1 Int 2000 0 1 131035.02870653929 0.022902273 0.022902273 0.0 0.022902273 0.022902273 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/linear_10000.scm false SeqAAMLS 1 1.0 30001 30001 0 0 1 1 Int 20000 0 1 6828.680012293272 4.393382022 4.393382022 0.0 4.393382022 4.393382022 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/set.scm false SeqAAMLS 1 1.0 7 7 0 0 1 1 Int 10 1 1 8249.074925169105 0.00084858 0.00084858 0.0 0.00084858 0.00084858 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/old/Fibonacci.scm false SeqAAMLS 1 0.002158079309414621 8 3707 63 1 0 0 182 7 1 170313.54507712994 0.021765738 0.021765738 0.0 0.021765738 0.021765738 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/old/FiboNbSystem.scm false SeqAAMLS 1 0.6111111111111112 11 18 1 1 1 1 #f 337 6 1 17171.4435078588 0.001048252 0.001048252 0.0 0.001048252 0.001048252 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/OPi/old/partitions.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 473 55 1 15591.867282025696 0.000256544 0.000256544 0.0 0.000256544 0.000256544 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/bound-precision.scm false SeqAAMLS 1 0.1111111111111111 5 45 1 1 4 2 #f, #t 17 0 1 35587.97664163382 0.001264472 0.001264472 0.0 0.001264472 0.001264472 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/church-2-num.scm false SeqAAMLS 1 0.43478260869565216 10 23 0 0 2 1 Int 37 0 1 19619.90277058618 0.001172279 0.001172279 0.0 0.001172279 0.001172279 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/church-6.scm false SeqAAMLS 1 0.24561403508771928 28 114 0 0 4 1 Int 45 0 1 50001.250031250784 0.002279943 0.002279943 0.0 0.002279943 0.002279943 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/collatz.scm false SeqAAMLS 1 0.019417475728155338 6 309 0 0 8 1 Int 64 0 1 143127.38429841644 0.002158916 0.002158916 0.0 0.002158916 0.002158916 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/count.scm false SeqAAMLS 1 0.3125 5 16 0 0 2 1 Str 15 0 1 14479.205598384844 0.001105033 0.001105033 0.0 0.001105033 0.001105033 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/infinite-1.scm false SeqAAMLS 1 1.0 3 3 0 0 0 0 5 0 1 9752.069876831358 0.000307627 0.000307627 0.0 0.000307627 0.000307627 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/infinite-2.scm false SeqAAMLS 1 1.0 6 6 0 0 0 0 10 0 1 6378.208637582744 0.000940703 0.000940703 0.0 0.000940703 0.000940703 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/infinite-3.scm false SeqAAMLS 1 1.0 3 3 0 0 0 0 8 0 1 9004.574323756467 0.000333164 0.000333164 0.0 0.000333164 0.000333164 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/letrec-begin.scm false SeqAAMLS 1 1.0 9 9 0 0 1 1 Int 11 0 1 10659.086871558004 0.00084435 0.00084435 0.0 0.00084435 0.00084435 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/mut-rec.scm false SeqAAMLS 1 0.15625 5 32 0 0 4 2 #f, #t 27 0 1 30251.4939038513 0.001057799 0.001057799 0.0 0.001057799 0.001057799 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/nested-defines.scm false SeqAAMLS 1 1.0 8 8 0 0 1 1 {#f,#t} 15 0 1 9535.990616585234 0.000838927 0.000838927 0.0 0.000838927 0.000838927 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/sq.scm false SeqAAMLS 1 1.0 7 7 0 0 1 1 Int 11 0 1 3687.191329411566 0.001898464 0.001898464 0.0 0.001898464 0.001898464 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/sym.scm false SeqAAMLS 1 1.0 5 5 0 0 1 1 Sym 4 0 1 5995.548904493304 0.000833952 0.000833952 0.0 0.000833952 0.000833952 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/widen.scm false SeqAAMLS 1 0.09433962264150944 5 53 0 0 6 1 Int 19 0 1 45474.47466256653 0.001165489 0.001165489 0.0 0.001165489 0.001165489 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/other/work.scm false SeqAAMLS 1 0.23859649122807017 68 285 0 0 3 1 Int 107 3 1 113465.84817314013 0.002511769 0.002511769 0.0 0.002511769 0.002511769 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/factorial_00.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 16 0 1 33952.686930761985 0.001060299 0.001060299 0.0 0.001060299 0.001060299 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/factorial_05.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 16 0 1 35235.943794754545 0.001021684 0.001021684 0.0 0.001021684 0.001021684 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/factorial_10.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 16 0 1 35186.96987408929 0.001023106 0.001023106 0.0 0.001023106 0.001023106 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/factorial_15.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 16 0 1 35959.07856858895 0.001001138 0.001001138 0.0 0.001001138 0.001001138 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/factorial_20.scm false SeqAAMLS 1 0.1388888888888889 5 36 0 0 3 1 Int 16 0 1 35093.36296772873 0.001025835 0.001025835 0.0 0.001025835 0.001025835 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Parallel_AAM_Andersen_2013/hailstone_05.scm false SeqAAMLS 1 0.012690355329949238 10 788 0 0 15 1 Int 86 0 1 199066.91174464466 0.003958468 0.003958468 0.0 0.003958468 0.003958468 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Rosetta/easter.scm false SeqAAMLS 1 0.019551466359977 68 3478 0 0 50 2 #f, {#f,#t} 124 0 1 87172.92951196419 0.039897707 0.039897707 0.0 0.039897707 0.039897707 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/Rosetta/quadratic.scm false SeqAAMLS 1 3.4209476024858885e-05 6 175390 5201 1 6018 2 #f, {#f,#t} 99 0 1 115004.05516992972 1.525076657 1.525076657 0.0 1.525076657 1.525076657 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SCPI/2.1.scm false SeqAAMLS 1 6633 0 0 480 2 #f, {#f,#t} 108 0 1 144847.1652767737 0.045793095 0.045793095 0.0 0.045793095 0.045793095 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/2.4.scm false SeqAAMLS 1 47 0 0 2 1 {#f,#t} 39 0 1 9615.272489662048 0.004888057 0.004888057 0.0 0.004888057 0.004888057 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.1.scm false SeqAAMLS 1 367 14 1 14 1 {#f,#t} 57 0 1 113409.37632877471 0.003236064 0.003236064 0.0 0.003236064 0.003236064 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.2.1.scm false SeqAAMLS 1 852068 24354 1 51180 2 #f, {#f,#t} 90 0 1 109296.3705455994 7.795940485 7.795940485 0.0 7.795940485 7.795940485 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.2.scm false SeqAAMLS 1 106 0 0 6 1 {#f,#t} 44 0 1 71339.54121944851 0.001485852 0.001485852 0.0 0.001485852 0.001485852 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.3.scm false SeqAAMLS 1 24079 0 0 864 2 #f, {#f,#t} 111 0 1 81277.9284231032 0.29625509 0.29625509 0.0 0.29625509 0.29625509 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.4.scm false SeqAAMLS 1 474 0 0 10 1 {#f,#t} 61 1 1 63288.94205990819 0.00748946 0.00748946 0.0 0.00748946 0.00748946 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.6.scm false SeqAAMLS 1 169567 4494 2 5500 2 #f, {#f,#t} 151 1 1 41263.296751645685 4.109390508 4.109390508 0.0 4.109390508 4.109390508 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.8.scm false SeqAAMLS 1 6884 204 1 429 2 #f, {#f,#t} 62 0 1 116788.43212276345 0.058944194 0.058944194 0.0 0.058944194 0.058944194 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/3.9.scm false SeqAAMLS 1 13820 0 0 134 2 #f, {#f,#t} 282 2 1 3362.540855500958 4.109987237 4.109987237 0.0 4.109987237 4.109987237 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/4.1.scm false SeqAAMLS 1 1071 0 0 1 1 {#f,#t} 115 2 1 51629.205122831954 0.020744073 0.020744073 0.0 0.020744073 0.020744073 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/4.8.scm false SeqAAMLS 1 9961 81 2 232 2 #f, {#f,#t} 109 0 1 90181.41003256373 0.110455137 0.110455137 0.0 0.110455137 0.110455137 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/5.20.4.scm false SeqAAMLS 1 5224 0 0 100 2 #f, {#f,#t} 109 0 1 4813.638643806997 1.085249722 1.085249722 0.0 1.085249722 1.085249722 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/5.6.scm false SeqAAMLS 1 4116 0 0 196 2 #f, {#f,#t} 48 0 1 33262.02040203115 0.123744738 0.123744738 0.0 0.123744738 0.123744738 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/5.7.scm false SeqAAMLS 1 191902 0 0 5031 2 #f, {#f,#t} 86 0 1 9808.198582719566 19.565468458 19.565468458 0.0 19.565468458 19.565468458 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/7.18.scm false SeqAAMLS 1 12 1 1 0 0 180 0 1 11277.082618726534 0.001064105 0.001064105 0.0 0.001064105 0.001064105 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/7.4.scm false SeqAAMLS 1 232018 0 0 8779 2 #f, {#f,#t} 104 0 1 1473.7260802034302 157.436312702 157.436312702 0.0 157.436312702 157.436312702 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.1.1.scm false SeqAAMLS 1 94 0 0 5 2 #f, {#f,#t} 30 2 1 77207.20195350648 0.001217503 0.001217503 0.0 0.001217503 0.001217503 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.1.3.scm false SeqAAMLS 1 95 0 0 5 2 #f, {#f,#t} 33 2 1 82388.89640506891 0.001153068 0.001153068 0.0 0.001153068 0.001153068 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.11.scm false SeqAAMLS 1 8 1 1 0 0 299 5 1 8611.725294574828 0.000928966 0.000928966 0.0 0.000928966 0.000928966 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.12.scm false SeqAAMLS 1 9269362 566040 4 174575 2 #f, {#f,#t} 85 5 1 32269.12728998583 287.251710178 287.251710178 0.0 287.251710178 287.251710178 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.5.scm false SeqAAMLS 1 1414 68 3 0 0 253 0 1 123030.99293407079 0.011493039 0.011493039 0.0 0.011493039 0.011493039 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/8.6.scm false SeqAAMLS 1 62 0 0 1 1 {#f,#t} 41 2 1 40225.65293695927 0.001541305 0.001541305 0.0 0.001541305 0.001541305 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.13.scm false SeqAAMLS 1 721 0 0 10 1 {#f,#t} 114 4 1 48295.801266193994 0.014928834 0.014928834 0.0 0.014928834 0.014928834 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.14.scm false SeqAAMLS 1 1846 0 0 90 1 {#f,#t} 58 6 1 9171.80785996607 0.201268935 0.201268935 0.0 0.201268935 0.201268935 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.2.scm false SeqAAMLS 1 45103 0 0 2072 2 #f, {#f,#t} 63 0 1 19036.821050255665 2.369250616 2.369250616 0.0 2.369250616 2.369250616 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.3.scm false SeqAAMLS 1 3489 0 0 39 1 {#f,#t} 107 2 1 74509.45645447615 0.046826271 0.046826271 0.0 0.046826271 0.046826271 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.5.scm false SeqAAMLS 1 3398 0 0 72 2 #f, {#f,#t} 112 2 1 82459.37037781316 0.041208173 0.041208173 0.0 0.041208173 0.041208173 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.7.scm false SeqAAMLS 1 50715 0 0 438 2 #f, {#f,#t} 160 5 1 55045.11691088441 0.921335131 0.921335131 0.0 0.921335131 0.921335131 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/SCPI/9.8.scm false SeqAAMLS 1 245668 6 1 1986 2 #f, {#f,#t} 237 8 1 28694.444501430706 8.561517892 8.561517892 0.0 8.561517892 8.561517892 1.0 1.0 0.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 TypeSet 100 Classical Scheme-examples/Sergey/examples/facehugger.scm false SeqAAMLS 1 0.015706806282722512 9 573 0 0 37 1 Int 41 0 1 159887.04663790745 0.00358378 0.00358378 0.0 0.00358378 0.00358378 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/examples/initial-example.scm false SeqAAMLS 1 0.017421602787456445 10 574 0 0 37 1 Int 39 0 1 159105.1968081391 0.003607676 0.003607676 0.0 0.003607676 0.003607676 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/blur.scm false SeqAAMLS 1 0.026595744680851064 5 188 15 2 6 2 #f, {#f,#t} 38 0 1 80689.05015253664 0.002329932 0.002329932 0.0 0.002329932 0.002329932 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/eta.scm false SeqAAMLS 1 1.0 10 10 0 0 1 1 {#f,#t} 14 0 1 11371.299068576893 0.000879407 0.000879407 0.0 0.000879407 0.000879407 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/kcfa2.scm false SeqAAMLS 1 0.2871287128712871 29 101 0 0 2 1 {#f,#t} 33 0 1 55291.173722130654 0.001826693 0.001826693 0.0 0.001826693 0.001826693 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/kcfa3.scm false SeqAAMLS 1 0.1368421052631579 26 190 0 0 2 1 {#f,#t} 41 0 1 63773.92613099701 0.002979274 0.002979274 0.0 0.002979274 0.002979274 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/loop2.scm false SeqAAMLS 1 0.11702127659574468 11 94 0 0 3 1 Int 60 2 1 59607.453214490444 0.001576984 0.001576984 0.0 0.001576984 0.001576984 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/mj09.scm false SeqAAMLS 1 0.5555555555555556 20 36 0 0 1 1 Int 34 0 1 29834.295351236673 0.001206665 0.001206665 0.0 0.001206665 0.001206665 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/gcfa2/sat.scm false SeqAAMLS 1 0.00042716787697565144 8 18728 0 0 672 3 #f, #t, {#f,#t} 51 0 1 36610.42333040278 0.511548305 0.511548305 0.0 0.511548305 0.511548305 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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 SeqAAMLS 1 5.7501478609449955e-05 14 243472 6642 1 2439 1 Int 148 0 1 90901.17995079495 2.678425078 2.678425078 0.0 2.678425078 2.678425078 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/rsa.scm false SeqAAMLS 1 4.197369648353698e-05 9 214420 9000 4 4776 1 #f 197 0 1 72437.52474128116 2.960068014 2.960068014 0.0 2.960068014 2.960068014 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/eta.scm false SeqAAMLS 1 0.3617021276595745 17 47 0 0 4 2 #f, {#f,#t} 18 0 1 38906.3185516916 0.00120803 0.00120803 0.0 0.00120803 0.00120803 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/fermat.scm false SeqAAMLS 1 7.029070756845945e-05 19 270306 6642 1 2439 1 #f 160 0 1 98852.89029758643 2.734426876 2.734426876 0.0 2.734426876 2.734426876 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/indirect-hol.scm false SeqAAMLS 1 0.6842105263157895 13 19 0 0 1 1 {#f,#t} 12 0 1 19073.681632144977 0.000996137 0.000996137 0.0 0.000996137 0.000996137 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-1.scm false SeqAAMLS 1 1.0 12 12 0 0 1 1 {#f,#t} 15 0 1 13145.91638539883 0.000912831 0.000912831 0.0 0.000912831 0.000912831 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-10.scm false SeqAAMLS 1 0.008063132612798079 47 5829 0 0 1 1 {#f,#t} 105 0 1 76463.03537603194 0.076232914 0.076232914 0.0 0.076232914 0.076232914 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-16.scm false SeqAAMLS 1 0.0019821907782385947 65 32792 0 0 1 1 {#f,#t} 165 0 1 67855.63989894245 0.48326123 0.48326123 0.0 0.48326123 0.48326123 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-2.scm false SeqAAMLS 1 0.5897435897435898 23 39 0 0 1 1 {#f,#t} 25 0 1 34759.730050588776 0.001121988 0.001121988 0.0 0.001121988 0.001121988 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-20.scm false SeqAAMLS 1 0.0010147735210005403 77 75879 0 0 1 1 {#f,#t} 205 0 1 59481.07569468849 1.275683049 1.275683049 0.0 1.275683049 1.275683049 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-3.scm false SeqAAMLS 1 0.23636363636363636 26 110 0 0 1 1 {#f,#t} 35 0 1 55823.76336408208 0.001970487 0.001970487 0.0 0.001970487 0.001970487 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-32.scm false SeqAAMLS 1 0.0002470895907496654 113 457324 0 0 1 1 {#f,#t} 325 0 1 44169.52620896372 10.353835308 10.353835308 0.0 10.353835308 10.353835308 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-4.scm false SeqAAMLS 1 0.11196911196911197 29 259 0 0 1 1 {#f,#t} 45 0 1 73672.8504452514 0.003515542 0.003515542 0.0 0.003515542 0.003515542 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-40.scm false SeqAAMLS 1 0.00012630755983013937 137 1084654 0 0 1 1 {#f,#t} 405 0 1 38311.52420034615 28.311429071 28.311429071 0.0 28.311429071 28.311429071 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-5.scm false SeqAAMLS 1 0.06049149338374291 32 529 0 0 1 1 {#f,#t} 55 0 1 80844.16591668037 0.006543453 0.006543453 0.0 0.006543453 0.006543453 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-6.scm false SeqAAMLS 1 0.0360082304526749 35 972 0 0 1 1 {#f,#t} 65 0 1 82785.74368171029 0.011741152 0.011741152 0.0 0.011741152 0.011741152 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-7.scm false SeqAAMLS 1 0.02304426925409339 38 1649 0 0 1 1 {#f,#t} 75 0 1 79619.61811939717 0.020710976 0.020710976 0.0 0.020710976 0.020710976 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-8.scm false SeqAAMLS 1 0.0155893536121673 41 2630 0 0 1 1 {#f,#t} 85 0 1 79940.30556467507 0.032899549 0.032899549 0.0 0.032899549 0.032899549 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/kcfa-worst-case-9.scm false SeqAAMLS 1 0.011016524787180772 44 3994 0 0 1 1 {#f,#t} 95 0 1 81055.51572231443 0.04927487 0.04927487 0.0 0.04927487 0.04927487 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/map-pattern.scm false SeqAAMLS 1 1.0 2 2 0 0 1 1 #f 58 0 1 8836.185948697104 0.000226342 0.000226342 0.0 0.000226342 0.000226342 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/rsa.scm false SeqAAMLS 1 2.9961250116515972e-05 9 300388 9000 4 4776 1 #f 212 0 1 92160.44937021294 3.25940251 3.25940251 0.0 3.25940251 3.25940251 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/sat-brute.scm false SeqAAMLS 1 0.0003677243118302164 21 57108 0 0 870 1 #f 61 0 1 49982.42300545048 1.142561656 1.142561656 0.0 1.142561656 1.142561656 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/simple-id.scm false SeqAAMLS 1 1.0 9 9 0 0 1 1 # 16 0 1 10078.906640207671 0.000892954 0.000892954 0.0 0.000892954 0.000892954 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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 SeqAAMLS 1 3.0050785828049403e-05 21 698817 18162 1 4878 1 #f 335 0 1 84203.2824272855 8.299165779 8.299165779 0.0 8.299165779 8.299165779 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/arithint.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 37 0 1 13180.440226703571 0.00030348 0.00030348 0.0 0.00030348 0.00030348 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/case.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 28 0 1 16525.784355039952 0.000242046 0.000242046 0.0 0.000242046 0.000242046 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/let-loop.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 27 0 1 15332.073547956808 0.000260891 0.000260891 0.0 0.000260891 0.000260891 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/loop.scm false SeqAAMLS 1 1.0 4 4 1 1 0 0 20 0 1 15839.953113738784 0.000252526 0.000252526 0.0 0.000252526 0.000252526 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/mem.scm false SeqAAMLS 1 1.0 6 6 1 1 0 0 44 1 1 6644.010590552881 0.000903069 0.000903069 0.0 0.000903069 0.000903069 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 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/SigScheme/rec.scm false SeqAAMLS 1 0.0003818834491713129 5 13093 0 0 473 1 # 33 0 1 70547.28686358276 0.185591829 0.185591829 0.0 0.185591829 0.185591829 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 1.0 1.0 1.0 0.0 1.0 1.0 0.0 0.0 0.0 0.0 0.0 0.0