TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	true	SeqAAMLS	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	1.267811865	true	
Lattice	Bound	Address	Scheme program	Step filter?	Machine	p	# states	# error states	# error values	# final states	# final values	Final values	#	?	Time	Correct?	Error
TypeSet	100	Classical	Scheme-examples/AlgoDat1/abstrct.scm	false	SeqAAMLS	1	1244	0	0	3	2	#f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__)	1	true	0.085876485	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/bst.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	0.001425635	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/btree.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	9.49487E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/bubsort.scm	false	SeqAAMLS	1	181	0	0	5	1	VectorAddress(@vector-Time())	1	true	0.020178503	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/dict.scm	false	SeqAAMLS	1	7680951	49078	3	0	0		1	false	607.062677116	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/heap.scm	false	SeqAAMLS	1	1936	276	10	20	1	VectorAddress(@vector-Time())	1	true	0.051233743	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/inssort.scm	false	SeqAAMLS	1	198	0	0	4	1	VectorAddress(@vector-Time())	1	true	0.005195818	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/linear.scm	false	SeqAAMLS	1	5515052	96909	3	0	0		1	false	608.434882991	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/list.scm	false	SeqAAMLS	1	6617511	47103	1	0	0		1	false	615.927425643	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/mesort.scm	false	SeqAAMLS	1	5767114	56040	3	13191	1	VectorAddress(@vector-Time())	1	false	614.999419002	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/prioq.scm	false	SeqAAMLS	1	7716755	326111	3	26085	3	#f, Sym, {#f,#t}	1	false	623.701339723	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/qsort.scm	false	SeqAAMLS	1	2073573	0	0	16039	1	VectorAddress(@vector-Time())	1	true	27.849522557	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/qstand.scm	false	SeqAAMLS	1	6055486	0	0	33367	1	VectorAddress(@vector-Time())	1	false	603.501601356	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/queue.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.92044E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/quick.scm	false	SeqAAMLS	1	175651	2184	1	1	1	{#f,#t}	1	true	9.407708398	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/RBtreeADT.scm	false	SeqAAMLS	1	5429708	74738	2	0	0		1	false	616.661569784	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/selsort.scm	false	SeqAAMLS	1	298	0	0	5	1	VectorAddress(@vector-Time())	1	true	0.002563983	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/stack.scm	false	SeqAAMLS	1	10294838	723587	8	116513	2	#f, {#f,#t}	1	false	636.002870612	true	TimedOut
TypeSet	100	Classical	Scheme-examples/AlgoDat1/stspaceCODE.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.95204E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/traverse.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.71532E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/DFS/dfs.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.68991E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/graf/graf.scm	false	SeqAAMLS	1	15540	2040	15	1	1	#t	1	true	0.090936606	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/shortest/priorityGraf.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.8941E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/shortest/shortestOLD.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.81815E-4	true	
TypeSet	100	Classical	Scheme-examples/AlgoDat1/stSpace/STSPACEopl.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	3.57067E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/boyer.scm	false	SeqAAMLS	1	3571534	7532	1	0	0		1	false	600.002719733	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/browse.scm	false	SeqAAMLS	1	1491792	0	0	72	1	#f	1	false	600.001577851	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/cpstak.scm	false	SeqAAMLS	1	1966	0	0	67	1	Int	1	true	0.053210951	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/ctak.scm	false	SeqAAMLS	1	5	1	1	0	0		1	true	9.24195E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/dderiv.scm	false	SeqAAMLS	1	5306341	939	5	0	0		1	false	603.547532428	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/deriv.scm	false	SeqAAMLS	1	69439	4934	4	688	2	Cons(@'--Time(),@_cons_1-Time()), Int	1	true	0.609970687	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/destruc.scm	false	SeqAAMLS	1	8219264	151853	2	85474	2	(), {Cons(@'()-Time(),@a-Time()),()}	1	false	616.276120985	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/diviter.scm	false	SeqAAMLS	1	593	1	1	37	2	#f, {#f,#t}	1	true	0.176135068	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/divrec.scm	false	SeqAAMLS	1	533	1	1	42	2	#f, {#f,#t}	1	true	0.058358043	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/puzzle.scm	false	SeqAAMLS	1	24	1	1	0	0		1	true	0.001386054	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/takl.scm	false	SeqAAMLS	1	2509129	108	1	52821	3	(), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())}	1	true	38.287063922	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Gabriel/triangl.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	2.93545E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/ack.scm	false	SeqAAMLS	1	53990	0	0	1546	1	Int	1	true	0.84641876	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/array1.scm	false	SeqAAMLS	1	9011	0	0	96	2	(), {(),Int}	1	true	0.107352956	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/cat.scm	false	SeqAAMLS	1	7	1	1	0	0		1	true	8.87685E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/string.scm	false	SeqAAMLS	1	8713	230	1	176	1	Int	1	true	0.084254957	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/sumloop.scm	false	SeqAAMLS	1	12952	0	0	212	1	{#f,#t}	1	true	0.140399935	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/tail.scm	false	SeqAAMLS	1	7	1	1	0	0		1	true	8.65244E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Kernighan_and_Van_Wyk/wc.scm	false	SeqAAMLS	1	8	1	1	0	0		1	true	9.0049E-4	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Numerical/fib.scm	false	SeqAAMLS	1	276	0	0	15	1	Int	1	true	0.002709818	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Numerical/sum.scm	false	SeqAAMLS	1	9723	0	0	212	1	Int	1	true	0.09888013	true	
TypeSet	100	Classical	Scheme-examples/Larceny/Numerical/tak.scm	false	SeqAAMLS	1	3710	0	0	127	1	{#f,#t}	1	true	0.040015683	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/conform.scm	false	SeqAAMLS	1	4016595	53890	2	0	0		1	false	606.758833458	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/dynamic.scm	false	SeqAAMLS	1	3862257	47875	1	0	0		1	false	605.155368133	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/earley.scm	false	SeqAAMLS	1	1670	14	1	0	0		1	true	0.024372665	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/fibc.scm	false	SeqAAMLS	1	17782	761	1	158	1	Int	1	true	0.161870611	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/gcbench.scm	false	SeqAAMLS	1	5955263	0	0	11301	1	#f	1	false	604.484611318	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/graphs.scm	false	SeqAAMLS	1	4377085	52926	10	13035	2	(), Cons(@(proc->vector size (lambda (i) (vector-ref edges i)))-Time(),@state-Time())	1	false	612.284763687	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/lattice.scm	false	SeqAAMLS	1	30	1	1	0	0		1	true	0.001373658	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/matrix.scm	false	SeqAAMLS	1	3853102	6	2	0	0		1	false	603.752526772	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/maze.scm	false	SeqAAMLS	1	22220	1022	10	0	0		1	true	0.436210998	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/mazefun.scm	false	SeqAAMLS	1	4406811	88651	1	2	1	Sym	1	false	613.520131096	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/nboyer.scm	false	SeqAAMLS	1	134986	191	1	1	1	#t	1	false	640.56484388	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/nqueens.scm	false	SeqAAMLS	1	9477	170	1	41	1	Int	1	true	0.062143619	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/paraffins.scm	false	SeqAAMLS	1	5572893	2697	1	6212	1	Int	1	false	601.041936882	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Larceny/other/perm9.scm	false	SeqAAMLS	1	460107	142	2	6990	2	Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())}	1	true	4.467474364	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/peval.scm	false	SeqAAMLS	1	284	15	5	0	0		1	true	0.006094192	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/primes.scm	false	SeqAAMLS	1	9151	0	0	283	2	#f, {#f,#t}	1	true	0.122140423	true	
TypeSet	100	Classical	Scheme-examples/Larceny/other/sboyer.scm	false	SeqAAMLS	1	134653	190	1	1	1	#t	1	false	626.958652356	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Nguyen/ack.scm	false	SeqAAMLS	1	316	0	0	16	1	Int	1	true	0.002849673	true	
TypeSet	100	Classical	Scheme-examples/Nguyen/len.scm	false	SeqAAMLS	1	63	0	0	3	2	#f, Int	1	true	0.001882598	true	
TypeSet	100	Classical	Scheme-examples/OPi/abs.scm	false	SeqAAMLS	1	8	0	0	1	1	Int	1	true	8.40147E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/add.scm	false	SeqAAMLS	1	4	0	0	1	1	Int	1	true	2.90773E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/collatz.scm	false	SeqAAMLS	1	13	0	0	2	1	Int	1	true	8.70841E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/factorial_iter.scm	false	SeqAAMLS	1	22	0	0	2	1	Int	1	true	0.001024849	true	
TypeSet	100	Classical	Scheme-examples/OPi/factorial_recur.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001146244	true	
TypeSet	100	Classical	Scheme-examples/OPi/fibonacci_iter.scm	false	SeqAAMLS	1	25	0	0	2	1	Int	1	true	0.001004289	true	
TypeSet	100	Classical	Scheme-examples/OPi/fibonacci_mutable_iter.scm	false	SeqAAMLS	1	37	0	0	2	1	Int	1	true	0.001998975	true	
TypeSet	100	Classical	Scheme-examples/OPi/fibonacci_recur.scm	false	SeqAAMLS	1	276	0	0	15	1	Int	1	true	0.002854239	true	
TypeSet	100	Classical	Scheme-examples/OPi/gen3fibonacci_recur.scm	false	SeqAAMLS	1	3264	0	0	127	1	Int	1	true	0.032778702	true	
TypeSet	100	Classical	Scheme-examples/OPi/gen4fibonacci_recur.scm	false	SeqAAMLS	1	49854	0	0	1517	1	Int	1	true	0.597810663	true	
TypeSet	100	Classical	Scheme-examples/OPi/gen5fibonacci_recur.scm	false	SeqAAMLS	1	911786	0	0	22841	1	Int	1	true	12.700041321	true	
TypeSet	100	Classical	Scheme-examples/OPi/gen6fibonacci_recur.scm	false	SeqAAMLS	1	9425704	0	0	200768	1	Int	1	false	603.579637121	true	TimedOut
TypeSet	100	Classical	Scheme-examples/OPi/inc.scm	false	SeqAAMLS	1	4	0	0	1	1	Int	1	true	2.84801E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_1.scm	false	SeqAAMLS	1	3	0	0	1	1	Int	1	true	2.47713E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_10.scm	false	SeqAAMLS	1	31	0	0	1	1	Int	1	true	7.72326E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_100.scm	false	SeqAAMLS	1	301	0	0	1	1	Int	1	true	0.001279878	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_1000.scm	false	SeqAAMLS	1	3001	0	0	1	1	Int	1	true	0.022902273	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_10000.scm	false	SeqAAMLS	1	30001	0	0	1	1	Int	1	true	4.393382022	true	
TypeSet	100	Classical	Scheme-examples/OPi/linear_100000.scm	false	SeqAAMLS	1								false			java.lang.StackOverflowError
TypeSet	100	Classical	Scheme-examples/OPi/set.scm	false	SeqAAMLS	1	7	0	0	1	1	Int	1	true	8.4858E-4	true	
TypeSet	100	Classical	Scheme-examples/OPi/old/Ackermann.scm	false	SeqAAMLS	1	7035648	27170	1	0	0		1	false	608.800361432	true	TimedOut
TypeSet	100	Classical	Scheme-examples/OPi/old/Fibonacci.scm	false	SeqAAMLS	1	3707	63	1	0	0		1	true	0.021765738	true	
TypeSet	100	Classical	Scheme-examples/OPi/old/FiboNbSystem.scm	false	SeqAAMLS	1	18	1	1	1	1	#f	1	true	0.001048252	true	
TypeSet	100	Classical	Scheme-examples/OPi/old/partitions.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	2.56544E-4	true	
TypeSet	100	Classical	Scheme-examples/other/bound-precision.scm	false	SeqAAMLS	1	45	1	1	4	2	#f, #t	1	true	0.001264472	true	
TypeSet	100	Classical	Scheme-examples/other/church-2-num.scm	false	SeqAAMLS	1	23	0	0	2	1	Int	1	true	0.001172279	true	
TypeSet	100	Classical	Scheme-examples/other/church-6.scm	false	SeqAAMLS	1	114	0	0	4	1	Int	1	true	0.002279943	true	
TypeSet	100	Classical	Scheme-examples/other/collatz.scm	false	SeqAAMLS	1	309	0	0	8	1	Int	1	true	0.002158916	true	
TypeSet	100	Classical	Scheme-examples/other/count.scm	false	SeqAAMLS	1	16	0	0	2	1	Str	1	true	0.001105033	true	
TypeSet	100	Classical	Scheme-examples/other/grid.scm	false	SeqAAMLS	1	5308071	0	0	125146	2	#f, {#f,#t}	1	false	600.710002058	true	TimedOut
TypeSet	100	Classical	Scheme-examples/other/infinite-1.scm	false	SeqAAMLS	1	3	0	0	0	0		1	true	3.07627E-4	true	
TypeSet	100	Classical	Scheme-examples/other/infinite-2.scm	false	SeqAAMLS	1	6	0	0	0	0		1	true	9.40703E-4	true	
TypeSet	100	Classical	Scheme-examples/other/infinite-3.scm	false	SeqAAMLS	1	3	0	0	0	0		1	true	3.33164E-4	true	
TypeSet	100	Classical	Scheme-examples/other/letrec-begin.scm	false	SeqAAMLS	1	9	0	0	1	1	Int	1	true	8.4435E-4	true	
TypeSet	100	Classical	Scheme-examples/other/mceval.scm	false	SeqAAMLS	1	4084522	5588	5	0	0		1	false	606.88927168	true	TimedOut
TypeSet	100	Classical	Scheme-examples/other/mut-rec.scm	false	SeqAAMLS	1	32	0	0	4	2	#f, #t	1	true	0.001057799	true	
TypeSet	100	Classical	Scheme-examples/other/nested-defines.scm	false	SeqAAMLS	1	8	0	0	1	1	{#f,#t}	1	true	8.38927E-4	true	
TypeSet	100	Classical	Scheme-examples/other/sq.scm	false	SeqAAMLS	1	7	0	0	1	1	Int	1	true	0.001898464	true	
TypeSet	100	Classical	Scheme-examples/other/sym.scm	false	SeqAAMLS	1	5	0	0	1	1	Sym	1	true	8.33952E-4	true	
TypeSet	100	Classical	Scheme-examples/other/widen.scm	false	SeqAAMLS	1	53	0	0	6	1	Int	1	true	0.001165489	true	
TypeSet	100	Classical	Scheme-examples/other/work.scm	false	SeqAAMLS	1	285	0	0	3	1	Int	1	true	0.002511769	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/factorial_00.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001060299	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/factorial_05.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001021684	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/factorial_10.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001023106	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/factorial_15.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001001138	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/factorial_20.scm	false	SeqAAMLS	1	36	0	0	3	1	Int	1	true	0.001025835	true	
TypeSet	100	Classical	Scheme-examples/Parallel_AAM_Andersen_2013/hailstone_05.scm	false	SeqAAMLS	1	788	0	0	15	1	Int	1	true	0.003958468	true	
TypeSet	100	Classical	Scheme-examples/Rosetta/easter.scm	false	SeqAAMLS	1	3478	0	0	50	2	#f, {#f,#t}	1	true	0.039897707	true	
TypeSet	100	Classical	Scheme-examples/Rosetta/quadratic.scm	false	SeqAAMLS	1	175390	5201	1	6018	2	#f, {#f,#t}	1	true	1.525076657	true	
TypeSet	100	Classical	Scheme-examples/SCPI/2.1.scm	false	SeqAAMLS	1	6633	0	0	480	2	#f, {#f,#t}	1	true	0.045793095	true	
TypeSet	100	Classical	Scheme-examples/SCPI/2.4.scm	false	SeqAAMLS	1	47	0	0	2	1	{#f,#t}	1	true	0.004888057	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.1.scm	false	SeqAAMLS	1	367	14	1	14	1	{#f,#t}	1	true	0.003236064	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.2.1.scm	false	SeqAAMLS	1	852068	24354	1	51180	2	#f, {#f,#t}	1	true	7.795940485	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.2.scm	false	SeqAAMLS	1	106	0	0	6	1	{#f,#t}	1	true	0.001485852	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.3.scm	false	SeqAAMLS	1	24079	0	0	864	2	#f, {#f,#t}	1	true	0.29625509	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.4.scm	false	SeqAAMLS	1	474	0	0	10	1	{#f,#t}	1	true	0.00748946	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.6.scm	false	SeqAAMLS	1	169567	4494	2	5500	2	#f, {#f,#t}	1	true	4.109390508	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.8.scm	false	SeqAAMLS	1	6884	204	1	429	2	#f, {#f,#t}	1	true	0.058944194	true	
TypeSet	100	Classical	Scheme-examples/SCPI/3.9.scm	false	SeqAAMLS	1	13820	0	0	134	2	#f, {#f,#t}	1	true	4.109987237	true	
TypeSet	100	Classical	Scheme-examples/SCPI/4.1.scm	false	SeqAAMLS	1	1071	0	0	1	1	{#f,#t}	1	true	0.020744073	true	
TypeSet	100	Classical	Scheme-examples/SCPI/4.8.scm	false	SeqAAMLS	1	9961	81	2	232	2	#f, {#f,#t}	1	true	0.110455137	true	
TypeSet	100	Classical	Scheme-examples/SCPI/5.14.3.scm	false	SeqAAMLS	1	5372051	0	0	20	1	#f	1	false	600.375018792	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/5.19.scm	false	SeqAAMLS	1	4498332	0	0	81780	2	#f, {#f,#t}	1	false	606.228010905	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/5.20.4.scm	false	SeqAAMLS	1	5224	0	0	100	2	#f, {#f,#t}	1	true	1.085249722	true	
TypeSet	100	Classical	Scheme-examples/SCPI/5.21.scm	false	SeqAAMLS	1	3857153	0	0	100174	1	#f	1	false	606.369364275	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/5.22.scm	false	SeqAAMLS	1	6266036	504791	5	7340	1	#f	1	false	631.146101084	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/5.6.scm	false	SeqAAMLS	1	4116	0	0	196	2	#f, {#f,#t}	1	true	0.123744738	true	
TypeSet	100	Classical	Scheme-examples/SCPI/5.7.scm	false	SeqAAMLS	1	191902	0	0	5031	2	#f, {#f,#t}	1	true	19.565468458	true	
TypeSet	100	Classical	Scheme-examples/SCPI/7.11.scm	false	SeqAAMLS	1	5613589	0	0	114839	2	#f, {#f,#t}	1	false	601.529244749	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.12.scm	false	SeqAAMLS	1	6581464	0	0	158088	2	#f, {#f,#t}	1	false	613.426254119	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.13.scm	false	SeqAAMLS	1	2272585	49656	1	34426	2	#f, {#f,#t}	1	false	602.987680505	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.14.scm	false	SeqAAMLS	1	4009626	252	1	75829	1	#f	1	false	600.028003656	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.15.scm	false	SeqAAMLS	1	4361015	98	1	72952	2	#f, #t	1	false	601.390331996	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.16.scm	false	SeqAAMLS	1	5896984	1156	13	78428	1	#f	1	false	600.297206942	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.17.scm	false	SeqAAMLS	1	4073365	26333	1	79898	2	#f, {#f,#t}	1	false	604.374217022	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.18.scm	false	SeqAAMLS	1	12	1	1	0	0		1	true	0.001064105	true	
TypeSet	100	Classical	Scheme-examples/SCPI/7.2.scm	false	SeqAAMLS	1	6492892	0	0	182181	2	#f, Bool	1	false	605.792374308	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.3.scm	false	SeqAAMLS	1	4214818	0	0	89052	2	#f, {#f,#t}	1	false	602.057208023	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/7.4.scm	false	SeqAAMLS	1	232018	0	0	8779	2	#f, {#f,#t}	1	true	157.436312702	true	
TypeSet	100	Classical	Scheme-examples/SCPI/7.5.scm	false	SeqAAMLS	1	3610766	0	0	66118	2	#f, #t	1	false	604.279190027	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/8.1.1.scm	false	SeqAAMLS	1	94	0	0	5	2	#f, {#f,#t}	1	true	0.001217503	true	
TypeSet	100	Classical	Scheme-examples/SCPI/8.1.3.scm	false	SeqAAMLS	1	95	0	0	5	2	#f, {#f,#t}	1	true	0.001153068	true	
TypeSet	100	Classical	Scheme-examples/SCPI/8.10.scm	false	SeqAAMLS	1	7029462	234344	9	0	0		1	false	610.709577139	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/8.11.scm	false	SeqAAMLS	1	8	1	1	0	0		1	true	9.28966E-4	true	
TypeSet	100	Classical	Scheme-examples/SCPI/8.12.scm	false	SeqAAMLS	1	9269362	566040	4	174575	2	#f, {#f,#t}	1	true	287.251710178	true	
TypeSet	100	Classical	Scheme-examples/SCPI/8.13.scm	false	SeqAAMLS	1	9051786	71136	1	180895	1	#f	1	false	610.498868677	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/8.14.scm	false	SeqAAMLS	1	8285581	597356	10	10671	1	#f	1	false	630.259257368	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/8.15.scm	false	SeqAAMLS	1	6429739	303709	18	0	0		1	false	619.611659349	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/8.5.scm	false	SeqAAMLS	1	1414	68	3	0	0		1	true	0.011493039	true	
TypeSet	100	Classical	Scheme-examples/SCPI/8.6.scm	false	SeqAAMLS	1	62	0	0	1	1	{#f,#t}	1	true	0.001541305	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.12.scm	false	SeqAAMLS	1	758424	15467	1	19459	1	#f	1	false	600.017267066	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/9.13.scm	false	SeqAAMLS	1	721	0	0	10	1	{#f,#t}	1	true	0.014928834	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.14.scm	false	SeqAAMLS	1	1846	0	0	90	1	{#f,#t}	1	true	0.201268935	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.15.scm	false	SeqAAMLS	1	6845572	0	0	0	0		1	false	600.586278395	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/9.17.scm	false	SeqAAMLS	1	2440234	0	0	93144	2	#f, {#f,#t}	1	false	600.035171605	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/9.18.scm	false	SeqAAMLS	1	3131805	30437	1	46464	1	{#f,#t}	1	false	610.09344485	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/9.2.scm	false	SeqAAMLS	1	45103	0	0	2072	2	#f, {#f,#t}	1	true	2.369250616	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.3.scm	false	SeqAAMLS	1	3489	0	0	39	1	{#f,#t}	1	true	0.046826271	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.5.scm	false	SeqAAMLS	1	3398	0	0	72	2	#f, {#f,#t}	1	true	0.041208173	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.6.scm	false	SeqAAMLS	1	5071198	0	0	95790	2	#f, #t	1	false	608.221315997	true	TimedOut
TypeSet	100	Classical	Scheme-examples/SCPI/9.7.scm	false	SeqAAMLS	1	50715	0	0	438	2	#f, {#f,#t}	1	true	0.921335131	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.8.scm	false	SeqAAMLS	1	245668	6	1	1986	2	#f, {#f,#t}	1	true	8.561517892	true	
TypeSet	100	Classical	Scheme-examples/SCPI/9.9.scm	false	SeqAAMLS	1	5607256	0	0	28870	1	{#f,#t}	1	false	605.425152269	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/examples/facehugger.scm	false	SeqAAMLS	1	573	0	0	37	1	Int	1	true	0.00358378	true	
TypeSet	100	Classical	Scheme-examples/Sergey/examples/initial-example.scm	false	SeqAAMLS	1	574	0	0	37	1	Int	1	true	0.003607676	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/blur.scm	false	SeqAAMLS	1	188	15	2	6	2	#f, {#f,#t}	1	true	0.002329932	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/eta.scm	false	SeqAAMLS	1	10	0	0	1	1	{#f,#t}	1	true	8.79407E-4	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/kcfa2.scm	false	SeqAAMLS	1	101	0	0	2	1	{#f,#t}	1	true	0.001826693	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/kcfa3.scm	false	SeqAAMLS	1	190	0	0	2	1	{#f,#t}	1	true	0.002979274	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/loop2.scm	false	SeqAAMLS	1	94	0	0	3	1	Int	1	true	0.001576984	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/mj09.scm	false	SeqAAMLS	1	36	0	0	1	1	Int	1	true	0.001206665	true	
TypeSet	100	Classical	Scheme-examples/Sergey/gcfa2/sat.scm	false	SeqAAMLS	1	18728	0	0	672	3	#f, #t, {#f,#t}	1	true	0.511548305	true	
TypeSet	100	Classical	Scheme-examples/Sergey/jfp/primtest.scm	false	SeqAAMLS	1	243472	6642	1	2439	1	Int	1	true	2.678425078	true	
TypeSet	100	Classical	Scheme-examples/Sergey/jfp/regex.scm	false	SeqAAMLS	1	5780143	0	0	19726	2	#t, {#f,#t}	1	false	608.183189884	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/jfp/rsa.scm	false	SeqAAMLS	1	214420	9000	4	4776	1	#f	1	true	2.960068014	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/eta.scm	false	SeqAAMLS	1	47	0	0	4	2	#f, {#f,#t}	1	true	0.00120803	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/fermat.scm	false	SeqAAMLS	1	270306	6642	1	2439	1	#f	1	true	2.734426876	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/indirect-hol.scm	false	SeqAAMLS	1	19	0	0	1	1	{#f,#t}	1	true	9.96137E-4	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-1.scm	false	SeqAAMLS	1	12	0	0	1	1	{#f,#t}	1	true	9.12831E-4	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-10.scm	false	SeqAAMLS	1	5829	0	0	1	1	{#f,#t}	1	true	0.076232914	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-128.scm	false	SeqAAMLS	1	2198259	0	0	0	0		1	false	602.61040194	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-16.scm	false	SeqAAMLS	1	32792	0	0	1	1	{#f,#t}	1	true	0.48326123	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-160.scm	false	SeqAAMLS	1	1926968	0	0	0	0		1	false	600.548444027	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-2.scm	false	SeqAAMLS	1	39	0	0	1	1	{#f,#t}	1	true	0.001121988	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-20.scm	false	SeqAAMLS	1	75879	0	0	1	1	{#f,#t}	1	true	1.275683049	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-256.scm	false	SeqAAMLS	1	1424663	0	0	0	0		1	false	601.182484535	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-3.scm	false	SeqAAMLS	1	110	0	0	1	1	{#f,#t}	1	true	0.001970487	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-32.scm	false	SeqAAMLS	1	457324	0	0	1	1	{#f,#t}	1	true	10.353835308	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-4.scm	false	SeqAAMLS	1	259	0	0	1	1	{#f,#t}	1	true	0.003515542	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-40.scm	false	SeqAAMLS	1	1084654	0	0	1	1	{#f,#t}	1	true	28.311429071	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-5.scm	false	SeqAAMLS	1	529	0	0	1	1	{#f,#t}	1	true	0.006543453	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-6.scm	false	SeqAAMLS	1	972	0	0	1	1	{#f,#t}	1	true	0.011741152	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-64.scm	false	SeqAAMLS	1	2843400	0	0	0	0		1	false	600.70592114	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-7.scm	false	SeqAAMLS	1	1649	0	0	1	1	{#f,#t}	1	true	0.020710976	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-8.scm	false	SeqAAMLS	1	2630	0	0	1	1	{#f,#t}	1	true	0.032899549	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-80.scm	false	SeqAAMLS	1	2683946	0	0	0	0		1	false	602.601122546	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/kcfa-worst-case-9.scm	false	SeqAAMLS	1	3994	0	0	1	1	{#f,#t}	1	true	0.04927487	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/map-pattern.scm	false	SeqAAMLS	1	2	0	0	1	1	#f	1	true	2.26342E-4	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/regex-derivative.scm	false	SeqAAMLS	1	5697855	0	0	0	0		1	false	601.152398025	true	TimedOut
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/rsa.scm	false	SeqAAMLS	1	300388	9000	4	4776	1	#f	1	true	3.25940251	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/sat-brute.scm	false	SeqAAMLS	1	57108	0	0	870	1	#f	1	true	1.142561656	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/simple-id.scm	false	SeqAAMLS	1	9	0	0	1	1	#<clo>	1	true	8.92954E-4	true	
TypeSet	100	Classical	Scheme-examples/Sergey/kcfa/solovay-strassen.scm	false	SeqAAMLS	1	698817	18162	1	4878	1	#f	1	true	8.299165779	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/arithint.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	3.0348E-4	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/case.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	2.42046E-4	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/let-loop.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	2.60891E-4	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/loop.scm	false	SeqAAMLS	1	4	1	1	0	0		1	true	2.52526E-4	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/mem.scm	false	SeqAAMLS	1	6	1	1	0	0		1	true	9.03069E-4	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/rec.scm	false	SeqAAMLS	1	13093	0	0	473	1	#<clo>	1	true	0.185591829	true	
TypeSet	100	Classical	Scheme-examples/SigScheme/takr.scm	false	SeqAAMLS	1	5371860	0	0	5281	1	Int	1	false	639.893358876	true	TimedOut