TermCOMP 2023: Complexity: ITS 60864 Job info CSV Showing results.

benchmark		VBS	KoAT_LoAT termcomp koat_loat_complexity_its	~Y2022
Brockschmidt_16/FGPSF09/CAV02/practical2.koat 16748871	f	Θ(n)	Θ(n) 299.85/297.03	Θ(n)
Brockschmidt_16/FGPSF09/CAV02/practical1.koat 16748872	f	Θ(n²)	Θ(n²) 1.72/1.44	Θ(n²)
Brockschmidt_16/FGPSF09/PLDI06/c.04.koat 16748873	f	Θ(n)	Θ(n) 0.78/0.40	Θ(n)
Brockschmidt_16/FGPSF09/PLDI06/c.03.koat 16748874	f	Θ(n)	Θ(n) 0.82/0.49	Θ(n)
Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat 16748875	uf	Ω(n)―	Ω(n)― 4.88/3.23	Ω(n)―
Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat 16748876	uf	Ω(n)―	Ω(n)― 302.81/297.03	Ω(n)―
Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat 16748877	f	Θ(n)	Θ(n) 1.13/0.71	Θ(n)
Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat 16748878	uf	Ω(n)―	Ω(n)― 76.71/71.98	Ω(n)―
Brockschmidt_16/FGPSF09/SAS05/c.02.koat 16748879	f	Θ(n²)	Θ(n²) 2.87/2.53	Θ(n²)
Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat 16748880	uf	NON_POLY	MAYBE 2.73/2.49	NON_POLY
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat 16748881	uf	NON_POLY	NON_POLY 6.43/5.53	NON_POLY
Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat 16748882	uf	NON_POLY	NON_POLY 2.97/2.57	NON_POLY
Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat 16748883	uf	NON_POLY	NON_POLY 2.63/2.26	NON_POLY
Brockschmidt_16/KoAT-2014/nesting-ex1.koat 16748884	f	Ω(n³)―O(n⁵)	Ω(n³)― 6.20/5.68	Ω(n³)―O(n⁵)
Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat 16748885	uf	NON_POLY	NON_POLY 3.24/2.04	NON_POLY
Lommen_22/twn08.koat 16748886	nf	Ω(n)―O(n²)	Ω(n)―O(n²) 9.73/8.03	―O(n²)
Lommen_22/twn10.koat 16748887	f	―O(n)	―O(n) 1.17/0.77	―O(n)
Lommen_22/twn14.koat 16748888	inf	―O(n)	―O(n) 305.38/297.03	―O(n²)
Lommen_22/twn18.koat 16748889	uf	MAYBE	MAYBE 3.66/2.31	MAYBE
Lommen_22/twn04.koat 16748890	nf	Ω(n)―O(n³)	Ω(n)―O(n³) 4.77/3.98	―O(n³)
Lommen_22/twn19.koat 16748891	inf	Θ(1)	Θ(1) 301.52/297.03	―O(n)
Lommen_22/twn01.koat 16748892	f	―O(n)	―O(n) 0.51/0.38	―O(n)
Lommen_22/twn05.koat 16748893	nf	Ω(n²)―O(n³)	Ω(n²)―O(n³) 304.75/297.03	―O(n³)
Lommen_22/twn09.koat 16748894	nf	Ω(n)―O(n⁴)	Ω(n)―O(n⁴) 9.47/7.39	―O(n⁴)
Lommen_22/twn11.koat 16748895	uf	MAYBE	MAYBE 298.79/297.04	MAYBE
Lommen_22/twn20.koat 16748896	if	―O(n)	―O(n⁵) 4.96/3.95	―O(n)
Lommen_22/twn15.koat 16748897	inf	Θ(n)	Θ(n) 307.34/297.03	―O(n²)
Lommen_22/twn03.koat 16748898	nf	Ω(n)―O(n²)	Ω(n)―O(n²) 3.79/3.17	―O(n²)
Lommen_22/twn07.koat 16748899	inf	Θ(n⁴)	Θ(n⁴) 2.69/2.30	MAYBE
Lommen_22/twn13.koat 16748900	f	―O(n⁵)	―O(n⁵) 3.38/2.68	―O(n⁵)
Lommen_22/twn17.koat 16748901	uf	MAYBE	MAYBE 304.15/297.03	MAYBE
Lommen_22/twn12.koat 16748902	inf	NO	NO 4.19/3.77	MAYBE
Lommen_22/twn16.koat 16748903	f	―O(n)	―O(n) 0.36/0.23	―O(n)
Lommen_22/twn02.koat 16748904	f	―O(n²)	―O(n²) 2.79/2.31	―O(n²)
Lommen_22/twn06.koat 16748905	nuf	Ω(n)―	Ω(n)― 304.47/297.03	MAYBE
Flores-Montoya_16/easy1.c.koat 16748906	f	Θ(1)	Θ(1) 1.47/0.93	Θ(1)
Flores-Montoya_16/speedFails4.c.koat 16748907	uf	Ω(n)―	Ω(n)― 5.76/4.23	Ω(n)―
Flores-Montoya_16/textbook_ex4.c.koat 16748908	f	Θ(n²)	Θ(n²) 8.81/7.89	Θ(n²)
Flores-Montoya_16/speedSingleSingle.c.koat 16748909	f	Θ(n)	Θ(n) 1.09/0.86	Θ(n)
Flores-Montoya_16/counterex1a.c.koat 16748910	f	Ω(n)―O(n²)	Ω(n)―O(n²) 85.17/63.78	Ω(n)―O(n²)
Flores-Montoya_16/speedDis2.c.koat 16748911	f	Θ(n)	Θ(n) 2.41/1.43	Θ(n)
Flores-Montoya_16/wcet2.c.koat 16748912	f	Θ(n)	Θ(n) 2.38/1.68	Θ(n)
Flores-Montoya_16/speedNestedMultiple.c.koat 16748913	f	Θ(n)	Θ(n) 4.74/3.40	Θ(n)
Flores-Montoya_16/nested_loop.c.koat 16748914	f	Θ(n²)	Θ(n²) 188.77/135.21	Θ(n²)
Flores-Montoya_16/aaron3.c.koat 16748915	uf	Ω(n)―	Ω(n)― 847.57/297.12	Ω(n)―
Flores-Montoya_16/t20.c.koat 16748916	f	Θ(n)	Θ(n) 1.47/1.14	Θ(n)
Flores-Montoya_16/jama_ex7.c.koat 16748917	f	Θ(n²)	Θ(n²) 8.49/7.59	Θ(n²)
Flores-Montoya_16/Loopus2011_ex1.c.koat 16748918	f	Θ(n)	Θ(n) 5.37/4.01	Θ(n)
Flores-Montoya_16/ax.c.koat 16748919	f	Θ(n²)	Θ(n²) 7.70/6.78	Θ(n²)
Flores-Montoya_16/realshellsort.c.koat 16748920	if	Ω(n)―O(n³)	Ω(n)―O(n⁴) 355.15/297.04	Ω(n)―O(n³)
Flores-Montoya_16/rank2.c.koat 16748921	f	Θ(n)	Θ(n) 14.52/9.55	Θ(n)
Flores-Montoya_16/sipma91.c.koat 16748922	f	Θ(n)	Θ(n) 6.54/4.23	Θ(n)
Flores-Montoya_16/nd_loop.c.koat 16748923	f	Θ(1)	Θ(1) 1.92/0.98	Θ(1)
Flores-Montoya_16/jama_ex5.c.koat 16748924	f	Θ(n²)	Θ(n²) 5.66/4.47	Θ(n²)
Flores-Montoya_16/nestedLoop.c.koat 16748925	f	Θ(n²)	Θ(n²) 343.10/297.03	Θ(n²)
Flores-Montoya_16/speedSimpleMultiple.c.koat 16748926	f	Θ(n)	Θ(n) 1.81/1.39	Θ(n)
Flores-Montoya_16/wcet0.c.koat 16748927	f	Θ(n)	Θ(n) 2.96/1.97	Θ(n)
Flores-Montoya_16/t62.c.koat 16748928	f	Θ(n)	Θ(n) 11.93/7.53	Θ(n)
Flores-Montoya_16/ndecr.c.koat 16748929	f	Θ(n)	Θ(n) 1.03/0.84	Θ(n)
Flores-Montoya_16/speed_popl10_simple_single_2.c.koat 16748930	f	Θ(n)	Θ(n) 2.53/1.97	Θ(n)
Flores-Montoya_16/counterex1c.c.koat 16748931	f	Ω(n)―O(n²)	Ω(n)―O(n²) 104.63/71.75	Ω(n)―O(n²)
Flores-Montoya_16/sipmamergesort.c.koat 16748932	f	Ω(n)―O(n²)	Ω(n)― 680.86/297.03	Ω(n)―O(n²)
Flores-Montoya_16/speed_pldi09_fig4_4.c.koat 16748933	f	Θ(n)	Θ(n) 2.64/1.46	Θ(n)
Flores-Montoya_16/t15.c.koat 16748934	f	Θ(n)	Θ(n) 3.11/1.68	Θ(n)
Flores-Montoya_16/Loopus2011_ex3.c.koat 16748935	f	Θ(1)	Θ(1) 9.20/7.91	Θ(1)
Flores-Montoya_16/realbubble.c.koat 16748936	f	Θ(n²)	Θ(n²) 19.60/16.82	Θ(n²)
Flores-Montoya_16/perfect1.c.koat 16748937	f	Ω(n)―O(n²)	Ω(n)―O(n²) 54.39/40.14	Ω(n)―O(n²)
Flores-Montoya_16/jama_ex3.c.koat 16748938	f	Θ(n²)	Θ(n²) 5.08/4.50	Θ(n²)
Flores-Montoya_16/speed_popl10_fig2_1.c.koat 16748939	f	Θ(n)	Θ(n) 2.05/1.63	Θ(n)
Flores-Montoya_16/speedSingleSingle2.c.koat 16748940	f	Θ(n)	Θ(n) 3.25/2.39	Θ(n)
Flores-Montoya_16/terminate.c.koat 16748941	f	Θ(n)	Θ(n) 12.78/11.13	Θ(n)
Flores-Montoya_16/speed_pldi10_ex3.c.koat 16748942	f	Θ(n)	Θ(n) 2.28/1.95	Θ(n)
Flores-Montoya_16/realselect.c.koat 16748943	f	Θ(n²)	Θ(n²) 17.99/15.95	Θ(n²)
Flores-Montoya_16/speedpldi3.c.koat 16748944	f	Θ(n²)	Θ(n²) 9.13/8.24	Θ(n²)
Flores-Montoya_16/realheapsort_step1.c.koat 16748945	f	―O(n²)	―O(n²) 317.04/297.05	―O(n²)
Flores-Montoya_16/t08.c.koat 16748946	f	Θ(n)	Θ(n) 1.57/1.17	Θ(n)
Flores-Montoya_16/speed_pldi09_fig4_2.c.koat 16748947	f	Θ(n)	Θ(n) 3.02/1.50	Θ(n)
Flores-Montoya_16/t13.c.koat 16748948	f	Θ(n)	Θ(n) 3.68/2.47	Θ(n)
Flores-Montoya_16/ex_paper1.c.koat 16748949	f	Θ(n²)	Θ(n²) 32.65/28.65	Θ(n²)
Flores-Montoya_16/speedSimpleMultipleDep.c.koat 16748950	f	Θ(n²)	Θ(n²) 8.59/7.75	Θ(n²)
Flores-Montoya_16/exmini.c.koat 16748951	f	Θ(n)	Θ(n) 12.82/11.15	Θ(n)
Flores-Montoya_16/wise.c.koat 16748952	f	Θ(n)	Θ(n) 1.86/1.39	Θ(n)
Flores-Montoya_16/jama_ex1.c.koat 16748953	f	Θ(n²)	Θ(n²) 7.06/6.38	Θ(n²)
Flores-Montoya_16/perfect.c.koat 16748954	f	Ω(n)―O(n²)	Ω(n)―O(n²) 51.17/39.54	Ω(n)―O(n²)
Flores-Montoya_16/speedFails2.c.koat 16748955	nf	NO	NO 6.76/6.11	NON_POLY
Flores-Montoya_16/Loopus2014_ex1.c.koat 16748956	f	Θ(n²)	Θ(n²) 80.97/42.65	Θ(n²)
Flores-Montoya_16/catmouse.c.koat 16748957	nf	NO	NO 8.54/7.05	NON_POLY
Flores-Montoya_16/t30.c.koat 16748958	f	Θ(n)	Θ(n) 10.58/9.32	Θ(n)
Flores-Montoya_16/textbook_ex2.c.koat 16748959	f	Θ(n²)	Θ(n²) 6.85/6.11	Θ(n²)
Flores-Montoya_16/sipmabubble.c.koat 16748960	f	Θ(n²)	Θ(n²) 19.25/16.83	Θ(n²)
Flores-Montoya_16/unperfect.c.koat 16748961	f	Ω(n)―O(n²)	Ω(n)―O(n²) 69.76/40.79	Ω(n)―O(n²)
Flores-Montoya_16/speed_pldi10_ex1.c.koat 16748962	f	Θ(n²)	Θ(n²) 15.75/13.10	Θ(n²)
Flores-Montoya_16/t07.c.koat 16748963	f	Θ(n)	Θ(n) 2.18/1.70	Θ(n)
Flores-Montoya_16/t47.c.koat 16748964	f	Θ(n)	Θ(n) 1.46/1.11	Θ(n)
Flores-Montoya_16/random1d.c.koat 16748965	f	Θ(n)	Θ(n) 1.35/0.98	Θ(n)
Flores-Montoya_16/Loopus2015_ex2.c.koat 16748966	f	Θ(n)	Θ(n) 5.49/4.67	Θ(n)
Flores-Montoya_16/t11.c.koat 16748967	f	Θ(n)	Θ(n) 2.07/1.64	Θ(n)
Flores-Montoya_16/ex_paper3.c.koat 16748968	if	Θ(n²)	Ω(n)―O(n²) 89.79/59.48	Θ(n²)
Flores-Montoya_16/speedpldi2.c.koat 16748969	f	Θ(n)	Θ(n) 2.71/1.84	Θ(n)
Flores-Montoya_16/cousot9.c.koat 16748970	f	Θ(n²)	Θ(n²) 7.47/6.44	Θ(n²)
Flores-Montoya_16/realheapsort.c.koat 16748971	f	―O(n²)	―O(n²) 371.09/297.03	―O(n²)
Flores-Montoya_16/Loopus2015_ex1.c.koat 16748972	f	Θ(n)	Θ(n) 3.69/2.79	Θ(n)
Flores-Montoya_16/alain.c.koat 16748973	if	Θ(n²)	Ω(n²)―O(n³) 19.79/17.49	Θ(n²)
Flores-Montoya_16/speed_popl10_sequential_single.c.koat 16748974	f	Θ(n)	Θ(n) 1.99/1.55	Θ(n)
Flores-Montoya_16/complex.c.koat 16748975	f	Θ(n)	―O(n) 301.24/297.02	Θ(n)
Flores-Montoya_16/speed_pldi09_fig1.c.koat 16748976	f	Θ(n)	Θ(n) 6.85/6.31	Θ(n)
Flores-Montoya_16/t28.c.koat 16748977	f	Θ(n)	Θ(n) 2.74/2.07	Θ(n)
Flores-Montoya_16/textbook_ex1.c.koat 16748978	f	Θ(n)	Θ(n) 1.00/0.81	Θ(n)
Flores-Montoya_16/speedFails1.c.koat 16748979	inf	NO	NO 6.41/5.54	MAYBE
Flores-Montoya_16/Loopus2014_ex2.c.koat 16748980	f	Θ(n)	Θ(n) 4.67/3.53	Θ(n)
Flores-Montoya_16/real2.c.koat 16748981	nf	NO	NO 15.21/10.07	NON_POLY
Flores-Montoya_16/jama_ex2.c.koat 16748982	f	Θ(n²)	Θ(n²) 5.09/4.48	Θ(n²)
Flores-Montoya_16/Loopus2015_original.c.koat 16748983	f	Θ(n)	Θ(n) 8.12/5.45	Θ(n)
Flores-Montoya_16/terminatorbubble.c.koat 16748984	f	Θ(n²)	Θ(n²) 331.15/297.03	Θ(n²)
Flores-Montoya_16/t10.c.koat 16748985	f	Θ(n)	Θ(n) 1.82/1.43	Θ(n)
Flores-Montoya_16/sipmamergesort2.c.koat 16748986	uf	Ω(n)―	Ω(n)― 706.09/297.03	Ω(n)―
Flores-Montoya_16/ex_paper2.c.koat 16748987	f	Θ(n²)	Θ(n²) 9.15/8.21	Θ(n²)
Flores-Montoya_16/insertsort.c.koat 16748988	f	Θ(n²)	Θ(n²) 7.99/7.03	Θ(n²)
Flores-Montoya_16/realheapsort_step2.c.koat 16748989	f	Ω(n)―O(n²)	Ω(n)―O(n²) 343.76/297.03	Ω(n)―O(n²)
Flores-Montoya_16/speed_popl10_simple_single.c.koat 16748990	f	Θ(n)	Θ(n) 1.08/0.85	Θ(n)
Flores-Montoya_16/knuth_morris_pratt.c.koat 16748991	f	Θ(n)	Θ(n) 11.66/7.06	Θ(n)
Flores-Montoya_16/serpent.c.koat 16748992	uf	Ω(n²)―	Ω(n²)― 612.91/297.12	Ω(n²)―
Flores-Montoya_16/speedFails3.c.koat 16748993	inf	NO	NO 11.59/9.59	MAYBE
Flores-Montoya_16/relation1.c.koat 16748994	f	Θ(1)	Θ(1) 0.40/0.33	Θ(1)
Flores-Montoya_16/textbook_ex3.c.koat 16748995	f	Θ(n⁴)	Ω(n⁴)― 831.35/297.04	Θ(n⁴)
Flores-Montoya_16/while2.c.koat 16748996	f	Θ(n²)	Θ(n²) 4.83/4.30	Θ(n²)
Flores-Montoya_16/speed_popl10_fig2_2.c.koat 16748997	f	Θ(n)	Θ(n) 2.43/1.45	Θ(n)
Flores-Montoya_16/t27.c.koat 16748998	f	Θ(n)	Θ(n) 2.50/1.77	Θ(n)
Flores-Montoya_16/perfect2.c.koat 16748999	f	Ω(n)―O(n²)	Ω(n)―O(n²) 74.13/44.13	Ω(n)―O(n²)
Flores-Montoya_16/rank3.c.koat 16749000	if	Θ(n)	Ω(n)―O(n²) 351.85/297.03	Θ(n)
Flores-Montoya_16/loops.c.koat 16749001	f	―O(n²)	―O(n²) 4.24/3.46	―O(n²)
Flores-Montoya_16/speed_popl10_nested_multiple.c.koat 16749002	f	Θ(n)	Θ(n) 4.63/3.34	Θ(n)
Flores-Montoya_16/heapsort.c.koat 16749003	f	―O(n)	―O(n) 306.97/297.03	―O(n)
Flores-Montoya_16/t16.c.koat 16749004	f	Θ(n)	Θ(n) 8.42/6.94	Θ(n)
Flores-Montoya_16/rsd.c.koat 16749005	f	Θ(n)	Θ(n) 3.32/2.76	Θ(n)
Flores-Montoya_16/aaron2.c.koat 16749006	f	Θ(n)	―O(n) 299.80/297.02	Θ(n)
Flores-Montoya_16/jama_ex6.c.koat 16749007	f	Θ(n³)	Θ(n³) 23.81/21.07	Θ(n³)
Flores-Montoya_16/speedNestedMultipleDep.c.koat 16749008	f	Θ(n²)	Θ(n²) 7.48/6.68	Θ(n²)
Flores-Montoya_16/random2d.c.koat 16749009	f	Θ(n)	Θ(n) 7.06/4.14	Θ(n)
Flores-Montoya_16/aaron12.c.koat 16749010	nuf	Ω(n)―	Ω(n)― 117.25/73.91	MAYBE
Flores-Montoya_16/speed_popl10_nested_single.c.koat 16749011	f	Θ(n)	Θ(n) 2.34/1.65	Θ(n)
Flores-Montoya_16/speed_popl10_simple_multiple.c.koat 16749012	f	Θ(n)	Θ(n) 1.79/1.37	Θ(n)
Flores-Montoya_16/rank1.c.koat 16749013	if	Ω(n)―O(n²)	Ω(n)―O(n³) 74.15/50.72	Ω(n)―O(n²)
Flores-Montoya_16/speed_pldi10_ex4.c.koat 16749014	f	Θ(n)	Θ(n) 2.25/1.84	Θ(n)
Flores-Montoya_16/t19.c.koat 16749015	f	Θ(n)	Θ(n) 2.13/1.75	Θ(n)
Flores-Montoya_16/speedpldi4.c.koat 16749016	f	Θ(n)	Θ(n) 2.37/1.38	Θ(n)
Flores-Montoya_16/Loopus2011_ex2.c.koat 16749017	f	Θ(n)	Ω(n)― 115.02/81.30	Θ(n)
Flores-Montoya_16/speed_pldi09_fig4_5.c.koat 16749018	f	Θ(n)	Θ(n) 11.92/10.11	Θ(n)
Flores-Montoya_16/wcet1.c.koat 16749019	f	Θ(n)	Θ(n) 2.86/1.94	Θ(n)
Flores-Montoya_16/jama_ex4.c.koat 16749020	f	Θ(n²)	Θ(n²) 9.27/8.43	Θ(n²)
Flores-Montoya_16/perfectg.c.koat 16749021	nf	Ω(n)―O(n²)	Ω(n)―O(n²) 54.19/41.11	―O(n²)
Flores-Montoya_16/counterex1b.c.koat 16749022	f	Ω(n²)―O(n³)	Ω(n²)― 801.41/297.12	Ω(n²)―O(n³)
Flores-Montoya_16/speedDis1.c.koat 16749023	f	Θ(n)	Θ(n) 2.14/1.69	Θ(n)
Flores-Montoya_16/easy2.c.koat 16749024	f	Θ(n)	Θ(n) 0.98/0.79	Θ(n)
Brockschmidt_16/costa/RAML/rationalPotential.koat 16748253	f	Θ(n)	Θ(n) 0.33/0.20	Θ(n)
Brockschmidt_16/c-examples/Rank/ex1.koat 16748254	f	Ω(n)―O(n²)	Ω(n)―O(n²) 50.98/37.21	Ω(n)―O(n²)
Brockschmidt_16/c-examples/Rank/ex3.koat 16748255	f	Θ(n)	Θ(n) 299.81/297.03	Θ(n)
Brockschmidt_16/c-examples/Rank/ex2.koat 16748256	f	Θ(n)	Θ(n) 4.12/2.57	Θ(n)
Brockschmidt_16/c-examples/Loopus/Example3.koat 16748257	f	Θ(1)	Θ(1) 9.72/7.68	Θ(1)
Brockschmidt_16/c-examples/Loopus/Example2.koat 16748258	f	Θ(n)	Θ(n) 105.15/66.55	Θ(n)
Brockschmidt_16/c-examples/Loopus/Example1.koat 16748259	f	Θ(n)	Θ(n) 3.36/1.54	Θ(n)
Brockschmidt_16/c-examples/WTC/aaron2.koat 16748260	f	Θ(n)	―O(n) 298.68/297.02	Θ(n)
Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat 16748261	f	―O(n²)	―O(n²) 160.73/147.84	―O(n²)
Brockschmidt_16/c-examples/WTC/loops.koat 16748262	f	―O(n²)	―O(n²) 3.84/3.07	―O(n²)
Brockschmidt_16/c-examples/WTC/wcet2.koat 16748263	f	Θ(n)	Θ(n) 1.43/0.81	Θ(n)
Brockschmidt_16/c-examples/WTC/ndecr.koat 16748264	f	Θ(n)	Θ(n) 0.54/0.35	Θ(n)
Brockschmidt_16/c-examples/WTC/wise.koat 16748265	f	Θ(n)	Θ(n) 1.43/0.91	Θ(n)
Brockschmidt_16/c-examples/WTC/random2d.koat 16748266	f	Θ(n)	Θ(n) 5.31/3.08	Θ(n)
Brockschmidt_16/c-examples/WTC/nd_loop.koat 16748267	f	Θ(1)	Θ(1) 0.67/0.43	Θ(1)
Brockschmidt_16/c-examples/WTC/speedpldi4.koat 16748268	f	Θ(n)	Θ(n) 2.21/1.36	Θ(n)
Brockschmidt_16/c-examples/WTC/rsd.koat 16748269	f	Ω(n)―O(n²)	Ω(n)―O(n²) 5.14/4.40	Ω(n)―O(n²)
Brockschmidt_16/c-examples/WTC/random1d.koat 16748270	f	Θ(n)	Θ(n) 1.16/0.70	Θ(n)
Brockschmidt_16/c-examples/WTC/while2.koat 16748271	f	Θ(n²)	Θ(n²) 4.85/4.29	Θ(n²)
Brockschmidt_16/c-examples/WTC/nestedLoop.koat 16748272	f	Θ(n²)	Θ(n²) 28.87/20.41	Θ(n²)
Brockschmidt_16/c-examples/WTC/terminate.koat 16748273	f	Θ(n)	Θ(n) 12.53/11.89	Θ(n)
Brockschmidt_16/c-examples/WTC/realbubble.koat 16748274	f	Θ(n²)	Θ(n²) 13.41/11.08	Θ(n²)
Brockschmidt_16/c-examples/WTC/sipma91.koat 16748275	f	Θ(n)	Θ(n) 3.26/1.59	Θ(n)
Brockschmidt_16/c-examples/WTC/realshellsort.koat 16748276	if	Ω(n)―O(n³)	MAYBE 494.94/297.02	Ω(n)―O(n³)
Brockschmidt_16/c-examples/WTC/counterex1b.koat 16748277	if	Θ(n²)	MAYBE 661.56/297.02	Θ(n²)
Brockschmidt_16/c-examples/WTC/easy1.koat 16748278	f	Θ(1)	Θ(1) 1.42/0.84	Θ(1)
Brockschmidt_16/c-examples/WTC/realheapsort.koat 16748279	f	―O(n²)	―O(n²) 321.24/297.04	―O(n²)
Brockschmidt_16/c-examples/WTC/insertsort.koat 16748280	f	Θ(n²)	Θ(n²) 12.24/10.53	Θ(n²)
Brockschmidt_16/c-examples/WTC/speedFails4.koat 16748281	f	Θ(n)	Θ(n) 10.21/8.27	Θ(n)
Brockschmidt_16/c-examples/WTC/speedpldi3.koat 16748282	f	Θ(n²)	Θ(n²) 5.70/5.14	Θ(n²)
Brockschmidt_16/c-examples/WTC/realselect.koat 16748283	f	Θ(n²)	Θ(n²) 7.34/6.19	Θ(n²)
Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat 16748284	f	Ω(n)―O(n²)	Ω(n)― 313.20/297.03	Ω(n)―O(n²)
Brockschmidt_16/c-examples/WTC/wcet1.koat 16748285	f	Θ(n)	―O(n) 299.20/297.02	Θ(n)
Brockschmidt_16/c-examples/WTC/exmini.koat 16748286	f	Θ(n)	Θ(n) 12.46/11.83	Θ(n)
Brockschmidt_16/c-examples/WTC/cousot9.koat 16748287	uf	NON_POLY	NON_POLY 5.67/4.25	NON_POLY
Brockschmidt_16/c-examples/WTC/easy2.koat 16748288	f	Θ(n)	Θ(n) 0.54/0.36	Θ(n)
Brockschmidt_16/c-examples/WTC/perfect.koat 16748289	f	Ω(n)―O(n²)	Ω(n)―O(n²) 46.49/37.98	Ω(n)―O(n²)
Brockschmidt_16/c-examples/WTC/complex.koat 16748290	f	Θ(n)	―O(n) 299.64/297.02	Θ(n)
Brockschmidt_16/c-examples/WTC/sipmabubble.koat 16748291	f	Θ(n²)	Θ(n²) 8.67/7.17	Θ(n²)
Brockschmidt_16/c-examples/WTC/gcd.koat 16748292	f	Θ(n)	Θ(n) 52.79/42.34	Θ(n)
Brockschmidt_16/c-examples/WTC/speedpldi2.koat 16748293	f	Θ(n)	Θ(n) 2.40/1.44	Θ(n)
Brockschmidt_16/c-examples/WTC/ax.koat 16748294	f	Θ(n²)	Θ(n²) 5.15/4.41	Θ(n²)
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat 16748295	f	Θ(n)	Θ(n) 1.85/0.91	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat 16748296	f	Θ(n)	Θ(n) 1.80/1.11	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat 16748297	f	Θ(n²)	Θ(n²) 6.97/6.16	Θ(n²)
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat 16748298	f	Θ(n²)	Θ(n²) 5.12/4.38	Θ(n²)
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat 16748299	f	Θ(n)	Θ(n) 3.10/1.68	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat 16748300	f	Θ(n)	Θ(n) 0.62/0.44	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat 16748301	f	Θ(n)	Θ(n) 1.39/0.97	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat 16748302	f	Θ(n)	Θ(n) 1.41/0.88	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat 16748303	f	Θ(n)	Θ(n) 1.52/1.09	Θ(n)
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat 16748304	f	Θ(n)	Θ(n) 3.74/1.95	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat 16748305	nf	NO	NO 7.35/6.36	NON_POLY
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat 16748306	f	Θ(n)	Θ(n) 9.65/7.82	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat 16748307	nf	NO	NO 11.55/9.35	NON_POLY
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat 16748308	f	Θ(n)	Θ(n) 1.85/0.92	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat 16748309	f	Θ(n)	Θ(n) 2.77/1.73	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat 16748310	f	Θ(n²)	Θ(n²) 9.27/7.71	Θ(n²)
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat 16748311	nf	NO	NO 31.87/22.82	NON_POLY
Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat 16748209	f	―O(n)	―O(n) 0.46/0.24	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat 16748210	f	―O(n)	―O(n) 1.30/1.12	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat 16748211	f	―O(n)	―O(n) 0.43/0.23	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop2_REV2.koat 16748212	inf	NO	NO 2.96/2.83	MAYBE
Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat 16748213	f	―O(n)	―O(n) 0.42/0.23	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat 16748214	f	Θ(n)	Θ(n) 0.34/0.22	Θ(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat 16748215	f	―O(n)	―O(n) 0.46/0.24	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat 16748216	f	Θ(n)	Θ(n) 0.35/0.23	Θ(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat 16748217	f	―O(n)	―O(n) 0.36/0.23	―O(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat 16748218	f	Θ(n)	Θ(n) 0.33/0.21	Θ(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat 16748219	f	Θ(n)	Θ(n) 0.46/0.27	Θ(n)
Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat 16748220	f	―O(n)	―O(n) 0.46/0.29	―O(n)
Hark_20/Nils_2019/ex004.koat 16748221	f	Θ(n)	Θ(n) 1.27/0.69	Θ(n)
Hark_20/Nils_2019/ex008.koat 16748222	if	Θ(1)	―O(n) 0.43/0.34	Θ(1)
Hark_20/Nils_2019/ex010.koat 16748223	if	Θ(n)	Ω(n)―O(n⁴) 20.28/15.09	Θ(n)
Hark_20/Nils_2019/ex009_REV2.koat 16748224	nf	Θ(n³)	Θ(n³) 4.38/3.08	―O(n³)
Hark_20/Nils_2019/ex001.koat 16748225	f	―O(n)	―O(n) 0.79/0.65	―O(n)
Hark_20/Nils_2019/ex005.koat 16748226	f	Ω(n)―O(n²)	Ω(n)―O(n²) 3.06/2.64	Ω(n)―O(n²)
Hark_20/Nils_2019/ex011_REV2.koat 16748227	nf	Ω(n)―O(n⁴)	Ω(n)―O(n⁴) 17.17/14.84	―O(n⁴)
Hark_20/Nils_2019/ex003.koat 16748228	f	Θ(n)	Θ(n) 0.47/0.26	Θ(n)
Hark_20/Nils_2019/ex007.koat 16748229	f	―O(n²)	―O(n²) 4.14/3.80	―O(n²)
Hark_20/Nils_2019/ex002.koat 16748230	f	―O(n)	―O(n) 2.21/2.06	―O(n)
Hark_20/Nils_2019/ex006.koat 16748231	if	Θ(1)	―O(n) 0.44/0.23	Θ(1)
Lommen_23/size06.koat 16748232	bf	Ω(n²)―O(n⁶)	Ω(n²)―O(n⁶) 7.27/5.96
Lommen_23/size02.koat 16748233	buf	Ω(n)―	Ω(n)― 1.48/1.24
Lommen_23/size12.koat 16748234	buf	MAYBE	MAYBE 304.57/297.02
Lommen_23/size13.koat 16748235	bf	Θ(n³)	Θ(n³) 9.91/8.93
Lommen_23/size07.koat 16748236	buf	Ω(n)―	Ω(n)― 3.87/2.53
Lommen_23/size03.koat 16748237	bf	Ω(n)―O(n³)	Ω(n)―O(n³) 1.59/1.35
Lommen_23/size15.koat 16748238	bf	Ω(n³)―O(n⁹)	Ω(n³)―O(n⁹) 32.10/16.60
Lommen_23/size09.koat 16748239	buf	Ω(n)―	Ω(n)― 5.69/5.35
Lommen_23/size11.koat 16748240	buf	Ω(n²)―	Ω(n²)― 3.34/2.79
Lommen_23/size05.koat 16748241	bf	Ω(n²)―O(n⁶)	Ω(n²)―O(n⁶) 135.18/126.67
Lommen_23/size01.koat 16748242	bf	Θ(n)	Θ(n) 0.40/0.26
Lommen_23/size04.koat 16748243	buf	Ω(n)―	Ω(n)― 1.77/1.52
Lommen_23/size14.koat 16748244	buf	Ω(n)―	Ω(n)― 300.89/297.03
Lommen_23/size08.koat 16748245	bf	Ω(n²)―O(n¹⁴)	Ω(n²)―O(n¹⁴) 5.28/4.42
Lommen_23/size10.koat 16748246	buf	Ω(n)―	Ω(n)― 7.39/6.96
Brockschmidt_16/costa/misc/logarithmic.koat 16748247	f	Θ(1)	Θ(1) 0.37/0.21	Θ(1)
Brockschmidt_16/costa/misc/direct_n_log_n.koat 16748248	if	―O(n)	MAYBE 7.25/5.57	―O(n)
Brockschmidt_16/costa/misc/ack.koat 16748249	uf	Ω(n)―	Ω(n)― 1.62/1.43	Ω(n)―
Brockschmidt_16/costa/misc/linear.koat 16748250	f	Θ(n)	Θ(n) 0.41/0.23	Θ(n)
Brockschmidt_16/costa/misc/merge.koat 16748251	f	Θ(n)	Θ(n) 0.45/0.25	Θ(n)
Brockschmidt_16/costa/misc/mspe.koat 16748252	f	Θ(n)	Θ(n) 7.44/6.16	Θ(n)
Brockschmidt_16/FGPSF09/patrs/increase1.koat 16748833	f	Θ(n)	Θ(n) 0.32/0.20	Θ(n)
Brockschmidt_16/FGPSF09/patrs/sqrt.koat 16748834	f	―O(n)	―O(n) 1.54/1.23	―O(n)
Brockschmidt_16/FGPSF09/patrs/increase4.koat 16748835	f	Θ(n)	Θ(n) 0.32/0.20	Θ(n)
Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat 16748836	f	Θ(n)	Θ(n) 0.44/0.28	Θ(n)
Brockschmidt_16/FGPSF09/patrs/increase2.koat 16748837	f	Θ(n)	Θ(n) 0.51/0.31	Θ(n)
Brockschmidt_16/FGPSF09/patrs/increase3.koat 16748838	f	Θ(n)	Θ(n) 0.51/0.31	Θ(n)
Brockschmidt_16/FGPSF09/patrs/div.koat 16748839	f	Θ(n)	Θ(n) 0.68/0.40	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat 16748822	f	Ω(n)―O(n²)	―O(n²) 305.82/297.02	Ω(n)―O(n²)
Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat 16748823	f	Θ(n)	Θ(n) 0.35/0.23	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat 16748824	inf	NO	NO 4.68/4.33	MAYBE
Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat 16748825	f	Θ(n)	Θ(n) 0.34/0.22	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat 16748826	f	Θ(n)	Θ(n) 0.32/0.20	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat 16748827	f	Θ(n)	Θ(n) 0.63/0.43	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat 16748828	f	Θ(n)	Θ(n) 0.31/0.19	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat 16748829	f	Θ(n²)	Θ(n²) 1.82/1.50	Θ(n²)
Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat 16748830	f	Θ(n)	Θ(n) 0.31/0.19	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat 16748831	f	Θ(n)	Θ(n) 0.47/0.27	Θ(n)
Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat 16748832	f	Θ(n)	Θ(n) 1.00/0.64	Θ(n)
Brockschmidt_16/FGPSF09/TACAS01/terminate.koat 16748840	f	Θ(n)	Θ(n) 16.67/16.41	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/18.koat 16748841	f	Θ(n)	Θ(n) 0.99/0.64	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/04.koat 16748842	f	Θ(1)	Θ(1) 0.23/0.14	Θ(1)
Brockschmidt_16/FGPSF09/Beerendonk/21.koat 16748843	f	Θ(n)	Θ(n) 0.60/0.44	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/10.koat 16748844	if	―O(n)	MAYBE 6.96/4.51	―O(n)
Brockschmidt_16/FGPSF09/Beerendonk/08.koat 16748845	f	Θ(n)	Θ(n) 0.31/0.19	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/20.koat 16748846	f	Θ(n)	Θ(n) 0.51/0.36	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/11.koat 16748847	f	Θ(n)	Θ(n) 0.80/0.52	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/09.koat 16748848	f	Θ(n)	Θ(n) 0.35/0.23	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/15.koat 16748849	f	Θ(n)	Θ(n) 0.58/0.33	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/24.koat 16748850	f	Θ(n)	Θ(n) 0.99/0.67	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/01.koat 16748851	f	Θ(n)	Θ(n) 0.31/0.19	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/19.koat 16748852	f	Θ(n)	Θ(n) 1.07/0.71	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/05.koat 16748853	if	Θ(1)	MAYBE 1.39/1.30	Θ(1)
Brockschmidt_16/FGPSF09/Beerendonk/22.koat 16748854	f	Θ(n)	Θ(n) 0.59/0.32	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/13.koat 16748855	f	Θ(n)	Θ(n) 0.45/0.27	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/17.koat 16748856	f	Θ(n)	Θ(n) 2.75/2.25	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/03.koat 16748857	f	Θ(n)	Θ(n) 0.44/0.27	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/07.koat 16748858	if	Θ(1)	MAYBE 1.35/1.26	Θ(1)
Brockschmidt_16/FGPSF09/Beerendonk/02.koat 16748859	f	Θ(n)	Θ(n) 0.32/0.20	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/06.koat 16748860	if	Θ(1)	MAYBE 2.33/2.24	Θ(1)
Brockschmidt_16/FGPSF09/Beerendonk/23.koat 16748861	f	Θ(n)	Θ(n) 0.66/0.39	Θ(n)
Brockschmidt_16/FGPSF09/Beerendonk/16.koat 16748862	f	Θ(n)	Θ(n) 0.62/0.36	Θ(n)
Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat 16748863	uf	NON_POLY	NON_POLY 1.74/1.85	NON_POLY
Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat 16748864	f	Θ(n)	Θ(n) 0.40/0.24	Θ(n)
Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat 16748865	f	Θ(n²)	Θ(n²) 1.73/3.74	Θ(n²)
Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat 16748866	f	Θ(1)	Θ(1) 0.74/0.43	Θ(1)
Brockschmidt_16/FGPSF09/LICS04/choice.koat 16748867	uf	Ω(n)―	Ω(n)― 14.57/9.39	Ω(n)―
Brockschmidt_16/FGPSF09/LICS04/c.01.koat 16748868	f	―O(n²)	―O(n²) 1.89/1.53	―O(n²)
Brockschmidt_16/FGPSF09/CAV05/c.05.koat 16748869	f	Θ(n)	Θ(n) 297.40/297.04	Θ(n)
Brockschmidt_16/FGPSF09/new/unsatCond2.koat 16748870	f	Θ(1)	Θ(1) 0.43/0.30	Θ(1)
Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat 16748312	f	Θ(n²)	Θ(n²) 10.42/9.30	Θ(n²)
Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat 16748313	f	Θ(n)	Θ(n) 2.78/1.41	Θ(n)
Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat 16748314	f	Θ(n)	Θ(n) 1.39/0.99	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat 16748315	f	Θ(n)	―O(n) 298.36/297.02	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat 16748316	f	Θ(n)	Θ(n) 15.96/13.56	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat 16748317	f	Θ(n²)	Θ(n²) 337.02/297.03	Θ(n²)
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat 16748318	f	Θ(n²)	Θ(n²) 25.86/20.26	Θ(n²)
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat 16748319	f	Θ(n)	Ω(n)― 194.95/182.10	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat 16748320	f	Θ(n)	Θ(n) 8.98/7.67	Θ(n)
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat 16748321	f	Θ(n)	Ω(n)― 112.83/103.69	Θ(n)
Brockschmidt_16/c-examples/ABC/ex01.koat 16748322	f	Θ(n)	Θ(n) 0.60/0.42	Θ(n)
Brockschmidt_16/c-examples/ABC/ex05.koat 16748323	f	Θ(n²)	Θ(n²) 5.04/4.45	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex09.koat 16748324	f	Θ(n²)	Θ(n²) 5.68/4.93	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex11.koat 16748325	f	Θ(n²)	Θ(n²) 3.06/2.49	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex15.koat 16748326	nf	NO	NO 27.68/22.69	NON_POLY
Brockschmidt_16/c-examples/ABC/ex08.koat 16748327	f	Θ(n²)	Θ(n²) 3.41/2.78	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex10.koat 16748328	f	Θ(n²)	Θ(n²) 3.14/2.72	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex14.koat 16748329	if	Θ(n⁴)	Ω(n⁴)―O(n⁵) 23.99/18.28	Θ(n⁴)
Brockschmidt_16/c-examples/ABC/ex04.koat 16748330	if	―O(n²)	MAYBE 17.95/13.11	―O(n²)
Brockschmidt_16/c-examples/ABC/ex12.koat 16748331	f	Θ(n)	Θ(n) 1.08/0.75	Θ(n)
Brockschmidt_16/c-examples/ABC/ex02.koat 16748332	f	Θ(n²)	Θ(n²) 3.34/2.84	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex06.koat 16748333	f	Θ(n²)	Θ(n²) 3.33/2.84	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex03.koat 16748334	f	Θ(n⁴)	Θ(n⁴) 11.64/8.82	Θ(n⁴)
Brockschmidt_16/c-examples/ABC/ex07.koat 16748335	f	Θ(n²)	Θ(n²) 3.70/3.59	Θ(n²)
Brockschmidt_16/c-examples/ABC/ex13.koat 16748336	f	Θ(n³)	Θ(n³) 13.19/10.81	Θ(n³)
Brockschmidt_16/T2/neg-smagilla-succeed.koat 16748337	nf	NO	NO 3.34/3.11	NON_POLY
Brockschmidt_16/T2/nakata_withassume.koat 16748338	uf	NON_POLY	MAYBE 691.20/297.02	NON_POLY
Brockschmidt_16/T2/dsa_test1.koat 16748339	f	Θ(1)	Θ(1) 0.11/0.09	Θ(1)
Brockschmidt_16/T2/p-61.koat 16748340	f	Θ(1)	Θ(1) 0.54/0.38	Θ(1)
Brockschmidt_16/T2/fun10.koat 16748341	nf	NO	NO 75.38/68.90	NON_POLY
Brockschmidt_16/T2/ex16.koat 16748342	nf	NO	NO 4.47/4.32	NON_POLY
Brockschmidt_16/T2/iecs.koat 16748343	f	―O(n)	―O(n) 0.57/0.37	―O(n)
Brockschmidt_16/T2/ex27.koat 16748344	f	Θ(1)	Θ(1) 82.63/50.17	Θ(1)
Brockschmidt_16/T2/n-7.koat 16748345	nf	NO	NO 1.68/1.60	NON_POLY
Brockschmidt_16/T2/neg-1394complete-fail.koat 16748346	nf	NO	NO 146.94/88.36	NON_POLY
Brockschmidt_16/T2/n-8a.koat 16748347	nf	NO	NO 1.48/1.38	NON_POLY
Brockschmidt_16/T2/polyrank6.koat 16748348	f	Θ(n)	Θ(n) 1.95/1.41	Θ(n)
Brockschmidt_16/T2/7.koat 16748349	nf	NO	NO 0.43/0.34	NON_POLY
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat 16748350	f	Ω(n)―O(n²)	Ω(n)―O(n²) 68.30/29.36	Ω(n)―O(n²)
Brockschmidt_16/T2/fun10b.koat 16748351	nf	NO	NO 42.44/39.46	NON_POLY
Brockschmidt_16/T2/broydn.koat 16748352	inuf	Ω(n²)―	Ω(n²)― 596.83/297.04	Ω(n)―
Brockschmidt_16/T2/p-32.koat 16748353	nf	NO	NO 3.13/2.71	NON_POLY
Brockschmidt_16/T2/buggyNonTermLoop.koat 16748354	nf	NO	NO 141.32/130.79	NON_POLY
Brockschmidt_16/T2/bf18.koat 16748355	f	Θ(1)	Θ(1) 2.94/2.29	Θ(1)
Brockschmidt_16/T2/sas1.koat 16748356	f	Θ(n)	Θ(n) 2.48/1.34	Θ(n)
Brockschmidt_16/T2/p-7b.koat 16748357	f	Θ(n)	Θ(n) 0.61/0.40	Θ(n)
Brockschmidt_16/T2/vmcai_bytes.koat 16748358	f	Θ(1)	Θ(1) 0.11/0.09	Θ(1)
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat 16748359	f	Θ(n)	Θ(n) 301.21/297.03	Θ(n)
Brockschmidt_16/T2/new_ex.koat 16748360	uf	NON_POLY	NON_POLY 77.52/36.95	NON_POLY
Brockschmidt_16/T2/fast_poll.koat 16748361	nf	NO	NO 333.77/297.04	NON_POLY
Brockschmidt_16/T2/ex23.koat 16748362	f	Θ(1)	Θ(1) 0.49/0.33	Θ(1)
Brockschmidt_16/T2/n-3.koat 16748363	nf	NO	NO 3.37/3.19	NON_POLY
Brockschmidt_16/T2/dsa_test.koat 16748364	f	Θ(1)	Θ(1) 0.11/0.09	Θ(1)
Brockschmidt_16/T2/db3.koat 16748365	nf	NO	NO 421.20/297.12	NON_POLY
Brockschmidt_16/T2/p-1d.koat 16748366	f	Θ(n)	Θ(n) 0.88/0.51	Θ(n)
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat 16748367	f	Θ(n)	―O(n) 300.74/297.02	Θ(n)
Brockschmidt_16/T2/dsa_test5.koat 16748368	f	Θ(1)	Θ(1) 0.11/0.09	Θ(1)
Brockschmidt_16/T2/consts3.koat 16748369	f	Θ(n)	Θ(n) 0.27/0.16	Θ(n)
Brockschmidt_16/T2/simple_pre2.koat 16748370	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/popl07-succeed.koat 16748371	nf	NO	NO 2.69/2.56	NON_POLY
Brockschmidt_16/T2/queue_1000.koat 16748372	f	Θ(1)	Θ(1) 4.84/3.70	Θ(1)
Brockschmidt_16/T2/afagp-fail.koat 16748373	nf	NO	NO 384.20/183.28	NON_POLY
Brockschmidt_16/T2/n-12a.koat 16748374	nf	NO	NO 2.43/2.32	NON_POLY
Brockschmidt_16/T2/ex12.koat 16748375	f	Θ(1)	Θ(1) 0.39/0.24	Θ(1)
Brockschmidt_16/T2/consts5nt.koat 16748376	nf	NO	NO 1.43/1.35	NON_POLY
Brockschmidt_16/T2/rewrite.koat 16748377	nf	NO	NO 0.40/0.33	NON_POLY
Brockschmidt_16/T2/slayer-n1.koat 16748378	nf	NO	NO 15.47/13.76	NON_POLY
Brockschmidt_16/T2/dsa_test10.koat 16748379	f	Θ(1)	Θ(1) 0.66/0.45	Θ(1)
Brockschmidt_16/T2/bf9.koat 16748380	f	Θ(1)	Θ(1) 2.95/2.30	Θ(1)
Brockschmidt_16/T2/fun9.koat 16748381	nuf	NON_POLY	NON_POLY 364.39/297.04	MAYBE
Brockschmidt_16/T2/ex8.koat 16748382	nf	NO	NO 12.39/11.39	NON_POLY
Brockschmidt_16/T2/jfdctint.koat 16748383	f	Θ(1)	Θ(1) 0.99/0.65	Θ(1)
Brockschmidt_16/T2/toeplz.koat 16748384	uf	NON_POLY	NON_POLY 433.78/297.12	NON_POLY
Brockschmidt_16/T2/non_term.koat 16748385	inf	NO	NO 2.92/3.60	MAYBE
Brockschmidt_16/T2/slayer-3-new.koat 16748386	nf	NO	NO 311.11/297.12	NON_POLY
Brockschmidt_16/T2/3.koat 16748387	nf	NO	NO 0.41/0.33	NON_POLY
Brockschmidt_16/T2/polyrank2.koat 16748388	f	―O(n)	―O(n) 0.42/0.28	―O(n)
Brockschmidt_16/T2/p-36.koat 16748389	nf	NO	NO 4.45/4.20	NON_POLY
Brockschmidt_16/T2/slayer-n5-filtered.koat 16748390	nf	NO	NO 53.21/48.02	NON_POLY
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat 16748391	f	Θ(n)	Θ(n) 300.99/297.03	Θ(n)
Brockschmidt_16/T2/1394complete-succeed.koat 16748392	nf	NO	NO 82.91/62.25	NON_POLY
Brockschmidt_16/T2/bf10.koat 16748393	f	Θ(1)	Θ(1) 2.95/2.30	Θ(1)
Brockschmidt_16/T2/array.koat 16748394	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/eric2.koat 16748395	iuf	NON_POLY	Ω(n²)― 895.33/297.04	NON_POLY
Brockschmidt_16/T2/p-40.koat 16748396	uf	NON_POLY	NON_POLY 2.51/2.33	NON_POLY
Brockschmidt_16/T2/ex4.koat 16748397	f	Θ(1)	Θ(1) 1.80/0.89	Θ(1)
Brockschmidt_16/T2/sumit.koat 16748398	f	Θ(n)	Θ(n) 281.75/259.78	Θ(n)
Brockschmidt_16/T2/heidy3.koat 16748399	nf	NO	NO 2.45/2.35	NON_POLY
Brockschmidt_16/T2/ex37.koat 16748400	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/fun5.koat 16748401	f	Θ(n)	―O(n) 534.72/297.05	Θ(n)
Brockschmidt_16/T2/d.koat 16748402	nf	NO	NO 2.28/2.18	NON_POLY
Brockschmidt_16/T2/bf5.koat 16748403	f	Θ(1)	Θ(1) 2.67/2.01	Θ(1)
Brockschmidt_16/T2/dsa_test9.koat 16748404	f	Θ(1)	Θ(1) 0.19/0.14	Θ(1)
Brockschmidt_16/T2/p-22.koat 16748405	f	Θ(n)	Θ(n) 0.46/0.28	Θ(n)
Brockschmidt_16/T2/reverse_seg_cyclic.koat 16748406	f	Θ(n)	Θ(n) 149.56/142.10	Θ(n)
Brockschmidt_16/T2/bio.koat 16748407	uf	MAYBE	MAYBE 593.85/297.04	MAYBE
Brockschmidt_16/T2/array3.koat 16748408	f	Θ(1)	Θ(1) 0.68/0.47	Θ(1)
Brockschmidt_16/T2/fake-succeed.koat 16748409	nf	NO	NO 129.17/127.18	NON_POLY
Brockschmidt_16/T2/n-20.koat 16748410	nf	NO	NO 2.79/2.66	NON_POLY
Brockschmidt_16/T2/fun2b.koat 16748411	iuf	NON_POLY	Ω(n)― 330.14/297.03	NON_POLY
Brockschmidt_16/T2/byron-1.koat 16748412	f	―O(n)	―O(n) 0.91/0.58	―O(n)
Brockschmidt_16/T2/p-13.koat 16748413	f	Θ(1)	Θ(1) 0.19/0.11	Θ(1)
Brockschmidt_16/T2/p-58.koat 16748414	f	Θ(1)	Θ(1) 0.32/0.21	Θ(1)
Brockschmidt_16/T2/vmcai_struct.koat 16748415	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/p-44.koat 16748416	f	Θ(n)	Θ(n) 0.50/0.32	Θ(n)
Brockschmidt_16/T2/heidy7.koat 16748417	nf	NO	NO 4.28/3.74	NON_POLY
Brockschmidt_16/T2/n-46.koat 16748418	nf	NO	NO 3.45/3.35	NON_POLY
Brockschmidt_16/T2/fun1.koat 16748419	nf	NO	NO 139.82/129.46	NON_POLY
Brockschmidt_16/T2/ex33.koat 16748420	f	Θ(1)	Θ(1) 0.19/0.13	Θ(1)
Brockschmidt_16/T2/array_init.koat 16748421	f	Θ(1)	Θ(1) 0.46/0.30	Θ(1)
Brockschmidt_16/T2/bf14.koat 16748422	f	Θ(1)	Θ(1) 2.95/2.30	Θ(1)
Brockschmidt_16/T2/n-15.koat 16748423	nf	NO	NO 3.02/2.92	NON_POLY
Brockschmidt_16/T2/neg-smagilla-fail.koat 16748424	nf	NO	NO 3.46/3.26	NON_POLY
Brockschmidt_16/T2/qrdcmp.koat 16748425	f	Θ(n)	―O(n) 300.73/297.02	Θ(n)
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat 16748426	f	Θ(n)	―O(n) 301.36/297.02	Θ(n)
Brockschmidt_16/T2/slayer-3-filtered.koat 16748427	nf	NO	NO 57.23/49.02	NON_POLY
Brockschmidt_16/T2/bubblesort_inner_loop.koat 16748428	f	Θ(1)	Θ(1) 0.66/0.38	Θ(1)
Brockschmidt_16/T2/brp_withassume.koat 16748429	uf	NON_POLY	MAYBE 1139.67/297.04	NON_POLY
Brockschmidt_16/T2/p-6.koat 16748430	f	Θ(n)	Θ(n) 0.86/0.50	Θ(n)
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat 16748431	f	Ω(n)―O(n²)	Ω(n)―O(n²) 79.11/31.66	Ω(n)―O(n²)
Brockschmidt_16/T2/queue_100.koat 16748432	f	Θ(1)	Θ(1) 4.87/3.70	Θ(1)
Brockschmidt_16/T2/traverse_seg.koat 16748433	uf	NON_POLY	NON_POLY 66.64/38.60	NON_POLY
Brockschmidt_16/T2/pearl-necklace.koat 16748434	f	Θ(n)	Θ(n) 1.69/1.06	Θ(n)
Brockschmidt_16/T2/traverse_twice.koat 16748435	uf	NON_POLY	NON_POLY 55.22/31.17	NON_POLY
Brockschmidt_16/T2/bf11.koat 16748436	f	Θ(1)	Θ(1) 3.03/2.37	Θ(1)
Brockschmidt_16/T2/p-41.koat 16748437	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/eric3.koat 16748438	nf	NO	NO 4.36/3.71	NON_POLY
Brockschmidt_16/T2/bf20.koat 16748439	f	Θ(1)	Θ(1) 2.96/2.33	Θ(1)
Brockschmidt_16/T2/fun4.koat 16748440	f	Θ(1)	Θ(1) 0.98/0.74	Θ(1)
Brockschmidt_16/T2/ex36.koat 16748441	nf	NO	NO 398.49/297.09	NON_POLY
Brockschmidt_16/T2/heidy2.koat 16748442	nf	NO	NO 0.70/0.50	NON_POLY
Brockschmidt_16/T2/example.koat 16748443	f	Θ(n)	Θ(n) 0.57/0.29	Θ(n)
Brockschmidt_16/T2/stored.koat 16748444	nf	NO	NO 16.99/12.22	NON_POLY
Brockschmidt_16/T2/neg-e-acqrel-succeed.koat 16748445	nf	NO	NO 4.97/4.87	NON_POLY
Brockschmidt_16/T2/array2.koat 16748446	f	Θ(1)	Θ(1) 0.38/0.24	Θ(1)
Brockschmidt_16/T2/dsa_test8.koat 16748447	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/n-21.koat 16748448	nf	NO	NO 5.95/4.99	NON_POLY
Brockschmidt_16/T2/p-3.koat 16748449	f	Θ(n)	Θ(n) 0.72/0.46	Θ(n)
Brockschmidt_16/T2/n-6a.koat 16748450	nf	NO	NO 5.13/4.63	NON_POLY
Brockschmidt_16/T2/slayer-1-filtered.koat 16748451	uf	NON_POLY	NON_POLY 25.14/18.12	NON_POLY
Brockschmidt_16/T2/n-10.koat 16748452	nf	NO	NO 5.88/4.63	NON_POLY
Brockschmidt_16/T2/fun1b.koat 16748453	nf	NO	NO 144.47/133.05	NON_POLY
Brockschmidt_16/T2/st88.koat 16748454	nf	NO	NO 36.22/24.46	NON_POLY
Brockschmidt_16/T2/p-12.koat 16748455	f	Θ(n)	Θ(n) 0.40/0.24	Θ(n)
Brockschmidt_16/T2/p-45.koat 16748456	f	Θ(n)	Θ(n) 0.50/0.29	Θ(n)
Brockschmidt_16/T2/s1-saved.koat 16748457	uf	NON_POLY	NON_POLY 58.34/36.75	NON_POLY
Brockschmidt_16/T2/ex32.koat 16748458	f	Θ(1)	Θ(1) 0.67/0.45	Θ(1)
Brockschmidt_16/T2/heidy6.koat 16748459	nf	NO	NO 5.41/5.31	NON_POLY
Brockschmidt_16/T2/ex1.koat 16748460	nf	NO	NO 0.47/0.37	NON_POLY
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat 16748461	nf	NO	NO 452.42/297.12	Ω(n)―
Brockschmidt_16/T2/collatz.koat 16748462	uf	MAYBE	MAYBE 305.37/297.03	MAYBE
Brockschmidt_16/T2/neg-1394complete-succeed.koat 16748463	nf	NO	NO 80.56/62.27	NON_POLY
Brockschmidt_16/T2/matmult.koat 16748464	if	Θ(1)	―O(n) 3.85/2.79	Θ(1)
Brockschmidt_16/T2/matrixsqrt.koat 16748465	f	Θ(1)	Θ(1) 2.72/1.83	Θ(1)
Brockschmidt_16/T2/consts1nt.koat 16748466	nf	NO	NO 1.36/1.28	NON_POLY
Brockschmidt_16/T2/bf15.koat 16748467	f	Θ(1)	Θ(1) 2.99/2.33	Θ(1)
Brockschmidt_16/T2/slayer-4-filtered.koat 16748468	nf	NO	NO 414.24/297.15	NON_POLY
Brockschmidt_16/T2/selectSort.koat 16748469	f	Θ(n²)	Θ(n²) 8.04/6.84	Θ(n²)
Brockschmidt_16/T2/tqli.koat 16748470	nf	NO	NO 309.44/297.12	Ω(n)―
Brockschmidt_16/T2/n-14.koat 16748471	nf	NO	NO 4.68/4.46	NON_POLY
Brockschmidt_16/T2/byron-4.koat 16748472	f	Θ(n)	Θ(n) 0.83/0.53	Θ(n)
Brockschmidt_16/T2/jacobi.koat 16748473	f	Θ(n)	Θ(n) 3.96/2.35	Θ(n)
Brockschmidt_16/T2/1394complete-fail.koat 16748474	nf	NO	NO 80.80/61.90	NON_POLY
Brockschmidt_16/T2/traverse2.koat 16748475	uf	NON_POLY	MAYBE 696.37/297.02	NON_POLY
Brockschmidt_16/T2/p-16.koat 16748476	f	Θ(n)	Θ(n) 0.40/0.25	Θ(n)
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat 16748477	nf	NO	NO 646.00/297.12	Ω(n)―
Brockschmidt_16/T2/bubbleSort.koat 16748478	f	Θ(n²)	Θ(n²) 8.08/6.95	Θ(n²)
Brockschmidt_16/T2/minmax.koat 16748479	f	Θ(1)	Θ(1) 0.51/0.38	Θ(1)
Brockschmidt_16/T2/p-7.koat 16748480	f	Θ(n)	Θ(n) 0.62/0.41	Θ(n)
Brockschmidt_16/T2/p-60.koat 16748481	f	Θ(1)	Θ(1) 0.49/0.34	Θ(1)
Brockschmidt_16/T2/p-1a.koat 16748482	nf	NO	NO 2.65/3.11	NON_POLY
Brockschmidt_16/T2/loop_on_input.koat 16748483	f	Θ(1)	Θ(1) 3.09/2.86	Θ(1)
Brockschmidt_16/T2/e-pgarch-succeed.koat 16748484	nf	NO	NO 5.21/4.59	NON_POLY
Brockschmidt_16/T2/slayer-1-rf.koat 16748485	inuf	NON_POLY	NON_POLY 14.73/8.99	Ω(n)―
Brockschmidt_16/T2/ex17.koat 16748486	f	Θ(1)	Θ(1) 0.52/0.37	Θ(1)
Brockschmidt_16/T2/fun11.koat 16748487	nf	NO	NO 4.56/4.02	NON_POLY
Brockschmidt_16/T2/n-1c.koat 16748488	nf	NO	NO 5.88/4.63	NON_POLY
Brockschmidt_16/T2/zeroconf.koat 16748489	nuf	NON_POLY	NON_POLY 745.72/297.04	MAYBE
Brockschmidt_16/T2/ex26.koat 16748490	f	Θ(1)	Θ(1) 0.67/0.46	Θ(1)
Brockschmidt_16/T2/simple_control_on_input.koat 16748491	f	Θ(1)	Θ(1) 2.40/2.24	Θ(1)
Brockschmidt_16/T2/n-18.koat 16748492	nf	NO	NO 1.39/1.31	NON_POLY
Brockschmidt_16/T2/simpleWhile.koat 16748493	f	Θ(n)	Θ(n) 1.27/0.87	Θ(n)
Brockschmidt_16/T2/n-6.koat 16748494	nf	NO	NO 12.73/8.47	NON_POLY
Brockschmidt_16/T2/select.koat 16748495	nf	NO	NO 708.97/297.12	NON_POLY
Brockschmidt_16/T2/two_arrays6.koat 16748496	f	Θ(n)	Θ(n) 4.17/3.27	Θ(n)
Brockschmidt_16/T2/ase_example.koat 16748497	f	Θ(1)	Θ(1) 0.94/0.65	Θ(1)
Brockschmidt_16/T2/smagillc-fail.koat 16748498	nf	NO	NO 3.37/3.18	NON_POLY
Brockschmidt_16/T2/fir.koat 16748499	uf	NON_POLY	MAYBE 321.60/297.02	NON_POLY
Brockschmidt_16/T2/polyrank7.koat 16748500	nf	NO	NO 3.47/3.09	NON_POLY
Brockschmidt_16/T2/6.koat 16748501	nf	NO	NO 0.39/0.31	NON_POLY
Brockschmidt_16/T2/simple_swap_call.koat 16748502	f	Θ(1)	Θ(1) 0.16/0.11	Θ(1)
Brockschmidt_16/T2/bf19.koat 16748503	f	Θ(1)	Θ(1) 3.00/2.34	Θ(1)
Brockschmidt_16/T2/dead.neg-st88b-succeed.koat 16748504	nf	NO	NO 29.12/18.12	NON_POLY
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat 16748505	nf	NO	NO 173.67/154.29	Ω(n)―
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat 16748506	nf	NO	NO 414.18/297.07	NON_POLY
Brockschmidt_16/T2/curious.koat 16748507	nf	NO	NO 2.25/2.17	NON_POLY
Brockschmidt_16/T2/p-33.koat 16748508	nf	NO	NO 6.26/5.25	NON_POLY
Brockschmidt_16/T2/send-more-money.koat 16748509	f	Θ(1)	Θ(1) 322.36/297.03	Θ(1)
Brockschmidt_16/T2/sudoku.koat 16748510	uf	NON_POLY	NON_POLY 798.04/297.03	NON_POLY
Brockschmidt_16/T2/efegp.koat 16748511	nf	NO	NO 170.62/105.21	NON_POLY
Brockschmidt_16/T2/Loop.koat 16748512	f	Θ(n)	―O(n) 312.45/297.02	Θ(n)
Brockschmidt_16/T2/p-49.koat 16748513	f	Θ(n)	Θ(n) 0.41/0.25	Θ(n)
Brockschmidt_16/T2/ud.koat 16748514	f	Θ(1)	Θ(1) 8.24/6.06	Θ(1)
Brockschmidt_16/T2/rev_nt4.koat 16748515	f	Θ(1)	Θ(1) 0.14/0.09	Θ(1)
Brockschmidt_16/T2/dsa_test15.koat 16748516	f	Θ(1)	Θ(1) 0.66/0.45	Θ(1)
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat 16748517	f	Θ(n)	Θ(n) 3.93/2.47	Θ(n)
Brockschmidt_16/T2/ex22.koat 16748518	f	Θ(1)	Θ(1) 29.49/17.08	Θ(1)
Brockschmidt_16/T2/heidy7-simple.koat 16748519	nf	NO	NO 1.48/1.38	NON_POLY
Brockschmidt_16/T2/consts3nt.koat 16748520	nf	NO	NO 2.33/2.24	NON_POLY
Brockschmidt_16/T2/p-55.koat 16748521	f	Θ(n)	Θ(n) 4.22/3.78	Θ(n)
Brockschmidt_16/T2/db2.koat 16748522	nf	NO	NO 377.56/297.12	NON_POLY
Brockschmidt_16/T2/sort.koat 16748523	f	Θ(1)	Θ(1) 17.38/9.56	Θ(1)
Brockschmidt_16/T2/two_arrays2.koat 16748524	f	Θ(n)	Θ(n) 4.29/3.39	Θ(n)
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat 16748525	if	Θ(1)	―O(n) 32.14/27.82	Θ(1)
Brockschmidt_16/T2/consts2.koat 16748526	f	Θ(n)	Θ(n) 0.27/0.16	Θ(n)
Brockschmidt_16/T2/simple_pre3.koat 16748527	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/dsa_test4.koat 16748528	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/ex13.koat 16748529	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/magic.koat 16748530	uf	NON_POLY	MAYBE 685.48/297.02	NON_POLY
Brockschmidt_16/T2/queue_1.koat 16748531	f	Θ(1)	Θ(1) 4.85/3.71	Θ(1)
Brockschmidt_16/T2/n_firewire_instrumented-PP.koat 16748532	uf	NON_POLY	NON_POLY 107.34/65.56	NON_POLY
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat 16748533	f	Θ(n)	Θ(n) 304.93/297.04	Θ(n)
Brockschmidt_16/T2/queue_10.koat 16748534	f	Θ(1)	Θ(1) 4.82/3.70	Θ(1)
Brockschmidt_16/T2/fibcall.koat 16748535	f	Θ(1)	Θ(1) 0.68/2.12	Θ(1)
Brockschmidt_16/T2/slayer-n2-filtered.koat 16748536	nf	NO	NO 2.44/2.36	NON_POLY
Brockschmidt_16/T2/pldi.koat 16748537	f	Θ(n²)	Θ(n²) 6.49/5.54	Θ(n²)
Brockschmidt_16/T2/st88.bug.koat 16748538	nf	NO	NO 40.34/25.24	NON_POLY
Brockschmidt_16/T2/ex9.koat 16748539	nf	NO	NO 20.04/18.05	NON_POLY
Brockschmidt_16/T2/bf8.koat 16748540	f	Θ(1)	Θ(1) 2.99/2.33	Θ(1)
Brockschmidt_16/T2/fun8.koat 16748541	f	Θ(1)	Θ(1) 303.49/297.03	Θ(1)
Brockschmidt_16/T2/dsa_test11.koat 16748542	f	Θ(1)	Θ(1) 0.12/0.12	Θ(1)
Brockschmidt_16/T2/2.koat 16748543	nf	NO	NO 3.75/3.24	NON_POLY
Brockschmidt_16/T2/polyrank3.koat 16748544	uf	Ω(n)―	Ω(n)― 91.13/86.28	Ω(n)―
Brockschmidt_16/T2/ex40.koat 16748545	nf	NO	NO 5.17/4.72	NON_POLY
Brockschmidt_16/T2/p-37.koat 16748546	f	Θ(1)	Θ(1) 0.63/0.49	Θ(1)
Brockschmidt_16/T2/apchild-accepted-fail.koat 16748547	nf	NO	NO 504.38/297.12	NON_POLY
Brockschmidt_16/T2/1394-succeed.koat 16748548	nf	NO	NO 93.78/72.00	NON_POLY
Brockschmidt_16/T2/bf13.koat 16748549	f	Θ(1)	Θ(1) 2.94/2.30	Θ(1)
Brockschmidt_16/T2/simple_pre.koat 16748550	f	Θ(1)	Θ(1) 0.12/0.10	Θ(1)
Brockschmidt_16/T2/bsort100.koat 16748551	f	Θ(1)	Θ(1) 300.11/297.03	Θ(1)
Brockschmidt_16/T2/dropbuf-live.koat 16748552	f	Θ(1)	Θ(1) 0.12/0.10	Θ(1)
Brockschmidt_16/T2/hqr.koat 16748553	nf	NO	NO 646.35/297.12	Ω(n)―
Brockschmidt_16/T2/ex7.koat 16748554	f	Θ(1)	Θ(1) 0.54/0.38	Θ(1)
Brockschmidt_16/T2/fun6.koat 16748555	nf	NO	NO 755.11/297.12	NON_POLY
Brockschmidt_16/T2/bf6.koat 16748556	f	Θ(1)	Θ(1) 2.97/2.32	Θ(1)
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat 16748557	f	Θ(n)	Θ(n) 299.80/297.06	Θ(n)
Brockschmidt_16/T2/ex34.koat 16748558	f	Θ(1)	Θ(1) 0.12/0.12	Θ(1)
Brockschmidt_16/T2/array_init_assign.koat 16748559	f	Θ(1)	Θ(1) 0.76/0.52	Θ(1)
Brockschmidt_16/T2/p-43.koat 16748560	f	Θ(n)	Θ(n) 6.26/5.11	Θ(n)
Brockschmidt_16/T2/eric1.koat 16748561	uf	Ω(n²)―	Ω(n²)― 19.96/12.45	Ω(n²)―
Brockschmidt_16/T2/p-1.koat 16748562	nf	NO	NO 2.59/2.48	NON_POLY
Brockschmidt_16/T2/dummy.koat 16748563	nf	NO	NO 2.79/2.68	NON_POLY
Brockschmidt_16/T2/1394-fail.koat 16748564	nf	NO	NO 97.30/74.43	NON_POLY
Brockschmidt_16/T2/slayer-n3-filtered.koat 16748565	f	Θ(1)	Θ(1) 0.24/0.14	Θ(1)
Brockschmidt_16/T2/p-21.koat 16748566	f	Θ(n)	Θ(n) 1.12/0.68	Θ(n)
Brockschmidt_16/T2/graycode.koat 16748567	f	Θ(1)	Θ(1) 19.94/11.35	Θ(1)
Brockschmidt_16/T2/p-10.koat 16748568	nf	NO	NO 2.57/2.47	NON_POLY
Brockschmidt_16/T2/afagx1.koat 16748569	nf	NO	NO 5.43/5.02	NON_POLY
Brockschmidt_16/T2/n-12.koat 16748570	nf	NO	NO 4.35/4.14	NON_POLY
Brockschmidt_16/T2/byron-2.koat 16748571	iuf	NON_POLY	Ω(n)― 6.00/5.36	NON_POLY
Brockschmidt_16/T2/eric.koat 16748572	f	Θ(n)	Θ(n) 9.84/7.95	Θ(n)
Brockschmidt_16/T2/traverse_seg2.koat 16748573	uf	NON_POLY	NON_POLY 77.25/48.07	NON_POLY
Brockschmidt_16/T2/ex3.koat 16748574	f	Θ(1)	Θ(1) 0.57/0.43	Θ(1)
Brockschmidt_16/T2/ex30.koat 16748575	uf	NON_POLY	NON_POLY 7.00/6.67	NON_POLY
Brockschmidt_16/T2/fun2.koat 16748576	f	Θ(n)	―O(n) 312.39/297.02	Θ(n)
Brockschmidt_16/T2/a.10.c.koat 16748577	f	Θ(n)	Θ(n) 12.00/9.88	Θ(n)
Brockschmidt_16/T2/e-pgarch-fail.koat 16748578	nf	NO	NO 4.06/3.77	NON_POLY
Brockschmidt_16/T2/hongyi1.koat 16748579	f	Θ(n)	Θ(n) 367.71/297.05	Θ(n)
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat 16748580	inuf	Ω(n²)―	Ω(n²)― 596.63/297.04	Ω(n)―
Brockschmidt_16/T2/bf17.koat 16748581	f	Θ(1)	Θ(1) 2.97/2.32	Θ(1)
Brockschmidt_16/T2/e-acqrel-fail.koat 16748582	nf	NO	NO 4.97/4.86	NON_POLY
Brockschmidt_16/T2/simple.koat 16748583	nf	NO	NO 2.72/2.80	NON_POLY
Brockschmidt_16/T2/walk.koat 16748584	nf	NO	NO 3.36/2.95	NON_POLY
Brockschmidt_16/T2/p-14.koat 16748585	f	Θ(n)	Θ(n) 0.40/0.24	Θ(n)
Brockschmidt_16/T2/acqrel-fail.koat 16748586	nf	NO	NO 9.18/7.86	NON_POLY
Brockschmidt_16/T2/241.koat 16748587	f	Θ(n²)	Θ(n²) 3.21/2.85	Θ(n²)
Brockschmidt_16/T2/n-8.koat 16748588	nf	NO	NO 5.83/4.63	NON_POLY
Brockschmidt_16/T2/complex_guard.koat 16748589	f	Θ(1)	Θ(1) 1.14/0.61	Θ(1)
Brockschmidt_16/T2/e-acqrel-succeed.koat 16748590	nf	NO	NO 7.91/7.14	NON_POLY
Brockschmidt_16/T2/n-16.koat 16748591	nf	NO	NO 2.94/2.84	NON_POLY
Brockschmidt_16/T2/bitcount32.koat 16748592	f	Θ(1)	Θ(1) 0.57/0.33	Θ(1)
Brockschmidt_16/T2/p-5.koat 16748593	nf	NO	NO 3.31/2.72	NON_POLY
Brockschmidt_16/T2/n-16a.koat 16748594	inf	NO	NO 2.64/2.44	MAYBE
Brockschmidt_16/T2/ex19.koat 16748595	nf	NO	NO 4.20/4.61	NON_POLY
Brockschmidt_16/T2/brp.koat 16748596	uf	NON_POLY	NON_POLY 1059.47/297.05	NON_POLY
Brockschmidt_16/T2/neg-e-1394complete-fail.koat 16748597	nf	NO	NO 79.94/61.52	NON_POLY
Brockschmidt_16/T2/cover.koat 16748598	if	Θ(1)	MAYBE 1029.10/297.04	Θ(1)
Brockschmidt_16/T2/neg-popl07-succeed.koat 16748599	nf	NO	NO 3.98/3.83	NON_POLY
Brockschmidt_16/T2/p-9.koat 16748600	nf	NO	NO 2.62/2.53	NON_POLY
Brockschmidt_16/T2/ex15.koat 16748601	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat 16748602	iuf	NON_POLY	Ω(n)― 1062.96/297.05	NON_POLY
Brockschmidt_16/T2/p-1c.koat 16748603	nf	NO	NO 2.62/2.51	NON_POLY
Brockschmidt_16/T2/mc91test.koat 16748604	uf	NON_POLY	NON_POLY 22.80/18.40	NON_POLY
Brockschmidt_16/T2/consts4.koat 16748605	f	Θ(n)	Θ(n) 0.29/0.17	Θ(n)
Brockschmidt_16/T2/n-4.koat 16748606	nf	NO	NO 3.24/2.88	NON_POLY
Brockschmidt_16/T2/seq2.koat 16748607	f	Θ(n)	Θ(n) 0.31/0.19	Θ(n)
Brockschmidt_16/T2/rlft3.koat 16748608	f	Θ(n)	―O(n) 302.83/297.02	Θ(n)
Brockschmidt_16/T2/create_seg.koat 16748609	uf	NON_POLY	NON_POLY 16.67/13.70	NON_POLY
Brockschmidt_16/T2/randomwalk_withassume.koat 16748610	uf	NON_POLY	NON_POLY 446.14/297.03	NON_POLY
Brockschmidt_16/T2/elmhes.koat 16748611	f	Ω(n)―O(n²)	Ω(n)―O(n²) 83.32/31.80	Ω(n)―O(n²)
Brockschmidt_16/T2/p-18.koat 16748612	f	Θ(n)	Θ(n) 0.41/0.25	Θ(n)
Brockschmidt_16/T2/p-53.koat 16748613	f	Θ(1)	Θ(1) 0.18/0.11	Θ(1)
Brockschmidt_16/T2/create_via_tmps.koat 16748614	f	Θ(n)	Θ(n) 87.55/85.55	Θ(n)
Brockschmidt_16/T2/consts2nt.koat 16748615	nf	NO	NO 2.35/2.26	NON_POLY
Brockschmidt_16/T2/e-1394complete-succeed.koat 16748616	nf	NO	NO 78.70/59.43	NON_POLY
Brockschmidt_16/T2/polyrank5.koat 16748617	f	Ω(n)―O(n⁵)	Ω(n)―O(n⁵) 4.49/3.93	Ω(n)―O(n⁵)
Brockschmidt_16/T2/n-33.koat 16748618	nf	NO	NO 6.09/4.80	NON_POLY
Brockschmidt_16/T2/heidy8.koat 16748619	nf	NO	NO 3.80/3.33	NON_POLY
Brockschmidt_16/T2/sas2.koat 16748620	nf	Θ(n)	Θ(n) 56.43/42.56	―O(n)
Brockschmidt_16/T2/apchild-live.koat 16748621	nf	NO	NO 583.28/297.12	NON_POLY
Brockschmidt_16/T2/huh.koat 16748622	uf	NON_POLY	NON_POLY 17.12/13.49	NON_POLY
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat 16748623	inuf	Ω(n²)―	Ω(n²)― 596.82/297.03	Ω(n)―
Brockschmidt_16/T2/nested2.koat 16748624	uf	NON_POLY	NON_POLY 5.86/4.23	NON_POLY
Brockschmidt_16/T2/neg-e-pgarch-succeed.koat 16748625	nf	NO	NO 4.10/3.86	NON_POLY
Brockschmidt_16/T2/cfg.koat 16748626	nf	NO	NO 3.02/2.94	NON_POLY
Brockschmidt_16/T2/ex20.koat 16748627	f	Θ(1)	Θ(1) 1.10/0.68	Θ(1)
Brockschmidt_16/T2/neg-e-1394complete-succeed.koat 16748628	nf	NO	NO 80.17/60.98	NON_POLY
Brockschmidt_16/T2/ex11.koat 16748629	nf	NO	NO 31.62/20.72	NON_POLY
Brockschmidt_16/T2/crc.koat 16748630	f	Θ(1)	Θ(1) 13.99/12.00	Θ(1)
Brockschmidt_16/T2/curious4.koat 16748631	nf	NO	NO 562.09/297.12	NON_POLY
Brockschmidt_16/T2/s3-work.koat 16748632	uf	NON_POLY	MAYBE 374.49/297.05	NON_POLY
Brockschmidt_16/T2/simple_pre1.koat 16748633	f	Θ(1)	Θ(1) 0.12/0.10	Θ(1)
Brockschmidt_16/T2/dsa_test6.koat 16748634	f	Θ(1)	Θ(1) 0.37/0.24	Θ(1)
Brockschmidt_16/T2/agafp.koat 16748635	nf	NO	NO 57.95/52.74	NON_POLY
Brockschmidt_16/T2/rev_nt2.koat 16748636	nf	NO	NO 7.20/6.35	NON_POLY
Brockschmidt_16/T2/dsa_test13.koat 16748637	f	Θ(1)	Θ(1) 0.12/0.10	Θ(1)
Brockschmidt_16/T2/reverse_div4.koat 16748638	nf	NO	NO 15.03/14.11	NON_POLY
Brockschmidt_16/T2/firewire.koat 16748639	uf	NON_POLY	NON_POLY 931.25/297.12	NON_POLY
Brockschmidt_16/T2/slayer-n2.koat 16748640	nf	NO	NO 2.44/2.35	NON_POLY
Brockschmidt_16/T2/flipflop.koat 16748641	nf	NO	NO 2.42/2.33	NON_POLY
Brockschmidt_16/T2/traverse.koat 16748642	uf	NON_POLY	NON_POLY 46.04/21.82	NON_POLY
Brockschmidt_16/T2/polyrank1.koat 16748643	f	Θ(n)	Θ(n) 0.46/0.29	Θ(n)
Brockschmidt_16/T2/statemate.koat 16748644	uf	MAYBE	MAYBE 594.10/297.04	MAYBE
Brockschmidt_16/T2/subpoly_crash.koat 16748645	nf	NO	NO 2.61/2.51	NON_POLY
Brockschmidt_16/T2/ndes.koat 16748646	f	Θ(1)	Θ(1) 410.44/297.04	Θ(1)
Brockschmidt_16/T2/n-37.koat 16748647	nf	NO	NO 0.45/0.37	NON_POLY
Brockschmidt_16/T2/ex14.koat 16748648	f	Θ(1)	Θ(1) 0.38/0.24	Θ(1)
Brockschmidt_16/T2/neg-e-popl07-succeed.koat 16748649	nf	NO	NO 2.75/2.57	NON_POLY
Brockschmidt_16/T2/p-8.koat 16748650	nf	NO	NO 2.63/2.93	NON_POLY
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat 16748651	f	Θ(n)	―O(n) 305.07/297.03	Θ(n)
Brockschmidt_16/T2/fdct.koat 16748652	f	Θ(1)	Θ(1) 0.62/0.40	Θ(1)
Brockschmidt_16/T2/consts5.koat 16748653	f	Θ(1)	Θ(1) 0.14/0.11	Θ(1)
Brockschmidt_16/T2/consts4nt.koat 16748654	nf	NO	NO 2.43/2.69	NON_POLY
Brockschmidt_16/T2/p-63.koat 16748655	f	Θ(n)	Θ(n) 0.72/0.41	Θ(n)
Brockschmidt_16/T2/p-1b.koat 16748656	f	Θ(n)	Θ(n) 0.45/0.29	Θ(n)
Brockschmidt_16/T2/p-52.koat 16748657	nf	NO	NO 2.47/2.41	NON_POLY
Brockschmidt_16/T2/smagillb-succeed.koat 16748658	nf	NO	NO 3.24/2.86	NON_POLY
Brockschmidt_16/T2/p-19.koat 16748659	nf	NO	NO 2.48/2.37	NON_POLY
Brockschmidt_16/T2/p-43-terminate.koat 16748660	f	Θ(n)	Θ(n) 328.70/297.03	Θ(n)
Brockschmidt_16/T2/loop3.koat 16748661	f	Θ(1)	Θ(1) 328.97/297.07	Θ(1)
Brockschmidt_16/T2/spctrm.koat 16748662	f	Θ(n)	―O(n) 305.01/297.03	Θ(n)
Brockschmidt_16/T2/streamserver.bug.koat 16748663	nf	NO	NO 329.01/255.53	NON_POLY
Brockschmidt_16/T2/n-5.koat 16748664	nf	NO	NO 5.11/4.52	NON_POLY
Brockschmidt_16/T2/destroy_seg.koat 16748665	uf	NON_POLY	NON_POLY 59.27/51.51	NON_POLY
Brockschmidt_16/T2/e-popl07-fail.koat 16748666	nf	NO	NO 2.75/2.57	NON_POLY
Brockschmidt_16/T2/cnt.koat 16748667	f	Θ(1)	Θ(1) 2.30/1.43	Θ(1)
Brockschmidt_16/T2/slayer-3.koat 16748668	nf	NO	NO 327.05/297.12	NON_POLY
Brockschmidt_16/T2/pgarch.koat 16748669	inf	NO	NO 417.34/297.12	MAYBE
Brockschmidt_16/T2/fourn.koat 16748670	nf	NO	NO 416.54/297.07	NON_POLY
Brockschmidt_16/T2/popl07-fail.koat 16748671	nf	NO	NO 7.90/7.72	NON_POLY
Brockschmidt_16/T2/fermat.koat 16748672	f	Θ(1)	Θ(1) 1.61/1.30	Θ(1)
Brockschmidt_16/T2/reverse.koat 16748673	uf	NON_POLY	NON_POLY 45.76/24.82	NON_POLY
Brockschmidt_16/T2/smagillc-succeed.koat 16748674	nf	NO	NO 3.40/3.17	NON_POLY
Brockschmidt_16/T2/destroy_seg_leak.koat 16748675	nf	NO	NO 333.47/297.12	NON_POLY
Brockschmidt_16/T2/intSqRoot.koat 16748676	inf	NO	NO 4.41/3.38	MAYBE
Brockschmidt_16/T2/n-32.koat 16748677	nf	NO	NO 3.12/2.72	NON_POLY
Brockschmidt_16/T2/bitcount16.koat 16748678	f	Θ(1)	Θ(1) 0.56/0.32	Θ(1)
Brockschmidt_16/T2/polyrank4.koat 16748679	uf	Ω(n)―	Ω(n)― 15.07/13.25	Ω(n)―
Brockschmidt_16/T2/5.koat 16748680	nf	NO	NO 43.51/29.92	NON_POLY
Brockschmidt_16/T2/w2_nt.koat 16748681	nf	NO	NO 7.26/6.41	NON_POLY
Brockschmidt_16/T2/n-48.koat 16748682	inf	NO	NO 1.65/1.44	MAYBE
Brockschmidt_16/T2/pentagon.koat 16748683	uf	MAYBE	MAYBE 669.08/297.05	MAYBE
Brockschmidt_16/T2/heidy9.koat 16748684	f	Θ(n)	Θ(n) 0.40/0.41	Θ(n)
Brockschmidt_16/T2/fuhs-inflasso.koat 16748685	f	Θ(n²)	―O(n²) 3.71/3.41	Θ(n²)
Brockschmidt_16/T2/slayer-2-filtered.koat 16748686	f	Θ(1)	Θ(1) 0.38/0.24	Θ(1)
Brockschmidt_16/T2/dropbuf.koat 16748687	nf	NO	NO 85.11/61.01	NON_POLY
Brockschmidt_16/T2/p-56.koat 16748688	f	Θ(n)	Θ(n) 0.92/0.62	Θ(n)
Brockschmidt_16/T2/two_arrays1.koat 16748689	f	Θ(1)	Θ(1) 4.13/3.44	Θ(1)
Brockschmidt_16/T2/n-1.koat 16748690	nf	NO	NO 3.77/3.57	NON_POLY
Brockschmidt_16/T2/ex21.koat 16748691	f	Θ(1)	Θ(1) 0.67/0.46	Θ(1)
Brockschmidt_16/T2/neg-e-pgarch-fail.koat 16748692	nf	NO	NO 3.95/3.69	NON_POLY
Brockschmidt_16/T2/smagilla-succeed.koat 16748693	nf	NO	NO 3.39/3.17	NON_POLY
Brockschmidt_16/T2/neg-pgarch-succeed.koat 16748694	nf	NO	NO 3.92/3.64	NON_POLY
Brockschmidt_16/T2/nested.koat 16748695	uf	NON_POLY	NON_POLY 6.08/4.46	NON_POLY
Brockschmidt_16/T2/w1.koat 16748696	nf	NO	NO 0.45/0.37	NON_POLY
Brockschmidt_16/T2/ex10.koat 16748697	nf	NO	NO 3.15/2.58	NON_POLY
Brockschmidt_16/T2/simple_double_free.koat 16748698	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/n-1d.koat 16748699	nf	NO	NO 4.50/4.28	NON_POLY
Brockschmidt_16/T2/edn.koat 16748700	f	Θ(1)	Θ(1) 27.58/16.40	Θ(1)
Brockschmidt_16/T2/apchildlive-succeed.koat 16748701	nf	NO	NO 349.52/297.12	NON_POLY
Brockschmidt_16/T2/disj_nightmare_abi.koat 16748702	f	Θ(1)	Θ(1) 0.35/0.24	Θ(1)
Brockschmidt_16/T2/neg-e-acqrel-fail.koat 16748703	nf	NO	NO 8.15/7.34	NON_POLY
Brockschmidt_16/T2/consts1.koat 16748704	f	Θ(1)	Θ(1) 0.35/0.23	Θ(1)
Brockschmidt_16/T2/232.koat 16748705	f	Θ(n²)	Θ(n²) 3.25/2.89	Θ(n²)
Brockschmidt_16/T2/n-18a.koat 16748706	inf	NO	NO 2.68/2.46	MAYBE
Brockschmidt_16/T2/polling.bug.koat 16748707	nf	NO	NO 245.69/181.07	NON_POLY
Brockschmidt_16/T2/dsa_test12.koat 16748708	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/rev_nt3.koat 16748709	nf	NO	NO 4.08/3.63	NON_POLY
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat 16748710	uf	Ω(n)―	Ω(n)― 1130.52/297.04	Ω(n)―
Brockschmidt_16/T2/polling.koat 16748711	nf	NO	NO 358.26/297.12	NON_POLY
Brockschmidt_16/T2/queens.koat 16748712	if	Θ(1)	―O(n) 339.99/297.03	Θ(1)
Brockschmidt_16/T2/p-34.koat 16748713	nf	NO	NO 6.75/5.87	NON_POLY
Brockschmidt_16/T2/print.koat 16748714	uf	NON_POLY	NON_POLY 246.26/214.87	NON_POLY
Brockschmidt_16/T2/n-36.koat 16748715	nf	NO	NO 8.80/8.34	NON_POLY
Brockschmidt_16/T2/janne_complex.koat 16748716	uf	MAYBE	MAYBE 99.65/90.80	MAYBE
Brockschmidt_16/T2/array_free.koat 16748717	f	Θ(1)	Θ(1) 0.55/0.32	Θ(1)
Brockschmidt_16/T2/fun4-alt.koat 16748718	f	Θ(1)	Θ(1) 0.64/0.41	Θ(1)
Brockschmidt_16/T2/1.koat 16748719	nf	NO	NO 3.87/3.35	NON_POLY
Brockschmidt_16/T2/matmul.koat 16748720	f	Θ(1)	Θ(1) 1.99/1.29	Θ(1)
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat 16748721	uf	NON_POLY	NON_POLY 433.22/297.12	NON_POLY
Brockschmidt_16/T2/bf12.koat 16748722	f	Θ(1)	Θ(1) 2.93/2.28	Θ(1)
Brockschmidt_16/T2/heidy10.koat 16748723	uf	NON_POLY	NON_POLY 3.35/3.06	NON_POLY
Brockschmidt_16/T2/ctl.koat 16748724	nf	NO	NO 1.60/1.46	NON_POLY
Brockschmidt_16/T2/fun7.koat 16748725	nf	NO	NO 10.04/8.28	NON_POLY
Brockschmidt_16/T2/bf7.koat 16748726	f	Θ(1)	Θ(1) 2.95/3.59	Θ(1)
Brockschmidt_16/T2/n-40.koat 16748727	nf	NO	NO 7.67/7.46	NON_POLY
Brockschmidt_16/T2/ex6.koat 16748728	f	Θ(1)	Θ(1) 0.20/0.13	Θ(1)
Brockschmidt_16/T2/heidy1.koat 16748729	nf	NO	NO 0.43/0.35	NON_POLY
Brockschmidt_16/T2/n-3a.koat 16748730	nf	NO	NO 3.94/6.17	NON_POLY
Brockschmidt_16/T2/p-42.koat 16748731	f	Θ(n)	Θ(n) 0.75/0.43	Θ(n)
Brockschmidt_16/T2/neg-popl07-fail.koat 16748732	nf	NO	NO 7.74/7.05	NON_POLY
Brockschmidt_16/T2/array1.koat 16748733	f	Θ(1)	Θ(1) 0.12/0.09	Θ(1)
Brockschmidt_16/T2/destroy.koat 16748734	uf	NON_POLY	NON_POLY 49.53/42.51	NON_POLY
Brockschmidt_16/T2/simple_array_inversion.koat 16748735	f	Θ(1)	Θ(1) 0.44/0.29	Θ(1)
Brockschmidt_16/T2/randomwalk.koat 16748736	uf	NON_POLY	NON_POLY 368.09/297.03	NON_POLY
Brockschmidt_16/T2/insertsort.koat 16748737	nf	NO	NO 3.37/3.09	NON_POLY
Brockschmidt_16/T2/p-20.koat 16748738	nf	NO	NO 2.79/2.68	NON_POLY
Brockschmidt_16/T2/invgen.koat 16748739	f	Θ(n)	Θ(n) 0.46/0.26	Θ(n)
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat 16748740	nf	NO	NO 309.26/297.05	Ω(n)―
Brockschmidt_16/T2/ludcmp.koat 16748741	f	Θ(n)	Θ(n) 301.42/297.03	Θ(n)
Brockschmidt_16/T2/streamserver-succeed.koat 16748742	nf	NO	NO 375.74/297.12	NON_POLY
Brockschmidt_16/T2/create.koat 16748743	uf	NON_POLY	NON_POLY 16.02/13.03	NON_POLY
Brockschmidt_16/T2/wtf.koat 16748744	f	Θ(n)	Θ(n) 312.43/297.03	Θ(n)
Brockschmidt_16/T2/n-13.koat 16748745	nf	NO	NO 2.52/2.41	NON_POLY
Brockschmidt_16/T2/byron-3.koat 16748746	f	Θ(n)	Θ(n) 0.71/0.42	Θ(n)
Brockschmidt_16/T2/wrong_loop.koat 16748747	nf	NO	NO 5.43/4.41	NON_POLY
Brockschmidt_16/T2/ns.koat 16748748	if	Θ(1)	―O(n) 4.43/2.72	Θ(1)
Brockschmidt_16/T2/fun3.koat 16748749	f	Θ(n)	―O(n) 312.67/297.02	Θ(n)
Brockschmidt_16/T2/apchild-accepted.koat 16748750	nf	NO	NO 503.70/297.04	NON_POLY
Brockschmidt_16/T2/ex31.koat 16748751	nf	NO	NO 1.88/1.61	NON_POLY
Brockschmidt_16/T2/oct_vs_subpoly.koat 16748752	nf	NO	NO 2.82/2.73	NON_POLY
Brockschmidt_16/T2/nakata.koat 16748753	uf	NON_POLY	MAYBE 845.40/297.03	NON_POLY
Brockschmidt_16/T2/ex2.koat 16748754	nf	NO	NO 3.19/3.08	NON_POLY
Brockschmidt_16/T2/heidy5.koat 16748755	f	Θ(n)	Θ(n) 0.50/0.32	Θ(n)
Brockschmidt_16/T2/p-46.koat 16748756	nf	NO	NO 3.05/2.32	NON_POLY
Brockschmidt_16/T2/svdcmp.koat 16748757	uf	Ω(n)―	Ω(n)― 1130.58/297.04	Ω(n)―
Brockschmidt_16/T2/sequential_swap.koat 16748758	f	Θ(1)	Θ(1) 0.15/0.11	Θ(1)
Brockschmidt_16/T2/bf16.koat 16748759	f	Θ(1)	Θ(1) 2.96/2.32	Θ(1)
Brockschmidt_16/T2/zeroconf_withassume.koat 16748760	nuf	NON_POLY	NON_POLY 867.78/297.03	MAYBE
Brockschmidt_16/T2/constants.koat 16748761	f	Θ(1)	Θ(1) 0.65/0.50	Θ(1)
Brockschmidt_16/T2/p-19a.koat 16748762	nf	NO	NO 2.49/2.38	NON_POLY
Brockschmidt_16/T2/n-9.koat 16748763	nf	NO	NO 4.69/3.72	NON_POLY
Brockschmidt_16/T2/p-15.koat 16748764	f	Θ(n)	Θ(n) 0.40/0.24	Θ(n)
Brockschmidt_16/T2/n-17.koat 16748765	nf	NO	NO 3.03/2.89	NON_POLY
Brockschmidt_16/T2/mc91.koat 16748766	uf	NON_POLY	NON_POLY 6.29/4.95	NON_POLY
Brockschmidt_16/T2/ex29.koat 16748767	f	Θ(1)	Θ(1) 1.24/0.91	Θ(1)
Brockschmidt_16/T2/n-15a.koat 16748768	nf	NO	NO 6.29/5.18	NON_POLY
Brockschmidt_16/T2/slayer-n1-filtered.koat 16748769	nf	NO	NO 9.52/9.35	NON_POLY
Brockschmidt_16/T2/simple_fail.koat 16748770	f	Θ(1)	Θ(1) 0.12/0.10	Θ(1)
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat 16748771	f	Θ(n)	―O(n) 302.54/297.02	Θ(n)
Brockschmidt_16/T2/spiral.koat 16748772	f	Θ(n)	Θ(n) 4.94/3.92	Θ(n)
Brockschmidt_16/T2/ex18.koat 16748773	f	Θ(1)	Θ(1) 1.36/0.91	Θ(1)
Brockschmidt_16/T2/p-4.koat 16748774	f	Θ(n)	Θ(n) 3.25/3.01	Θ(n)
Brockschmidt_16/T2/refine_disj_problem.koat 16748775	nf	NO	NO 3.36/3.08	NON_POLY
Brockschmidt_16/T2/bs.koat 16748776	nf	NO	NO 14.91/11.16	NON_POLY
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat 16748777	f	Θ(n)	Θ(n) 11.86/8.55	Θ(n)
Brockschmidt_16/T2/seq.koat 16748778	f	Θ(n)	Θ(n) 0.30/0.18	Θ(n)
Brockschmidt_16/T2/two_arrays.koat 16748779	f	Θ(1)	Θ(1) 2.50/1.96	Θ(1)
Brockschmidt_16/KoAT-2013/sect1-lin.koat 16748780	f	Θ(n)	Θ(n) 0.64/0.39	Θ(n)
Brockschmidt_16/KoAT-2013/sect2.koat 16748781	f	Θ(n²)	Θ(n²) 4.12/3.66	Θ(n²)
Brockschmidt_16/KoAT-2013/sect1-quad.koat 16748782	f	Θ(n²)	Θ(n²) 2.48/2.18	Θ(n²)
Brockschmidt_16/KoAT-2013/sect5-len.koat 16748783	f	Θ(n)	Θ(n) 0.40/0.24	Θ(n)
Brockschmidt_16/KoAT-2013/sect5-sumSum.koat 16748784	f	Θ(n²)	Θ(n²) 2.86/2.48	Θ(n²)
Brockschmidt_16/SAS10/speedpldi4.koat 16748785	f	Θ(n)	Θ(n) 2.81/1.56	Θ(n)
Brockschmidt_16/SAS10/wise.koat 16748786	f	Θ(n)	Θ(n) 1.50/1.11	Θ(n)
Brockschmidt_16/SAS10/wcet1.koat 16748787	f	Θ(n)	Θ(n) 7.49/4.96	Θ(n)
Brockschmidt_16/SAS10/terminate.koat 16748788	f	Θ(n)	Θ(n) 4.06/2.95	Θ(n)
Brockschmidt_16/SAS10/maccarthy91.koat 16748789	f	Θ(n)	Θ(n) 8.30/5.51	Θ(n)
Brockschmidt_16/SAS10/rsd.koat 16748790	f	Ω(n)―O(n²)	Ω(n)―O(n²) 304.64/297.03	Ω(n)―O(n²)
Brockschmidt_16/SAS10/realbubble.koat 16748791	f	Θ(n²)	Θ(n²) 40.31/33.50	Θ(n²)
Brockschmidt_16/SAS10/nestedLoop.koat 16748792	if	Θ(n²)	Ω(n)―O(n²) 14.74/13.24	Θ(n²)
Brockschmidt_16/SAS10/counterex1.koat 16748793	inf	Θ(n²)	Θ(n²) 307.86/297.03	Ω(n)―O(n²)
Brockschmidt_16/SAS10/exmini.koat 16748794	f	Θ(n)	Θ(n) 4.05/2.97	Θ(n)
Brockschmidt_16/SAS10/easy2.koat 16748795	f	Θ(n)	Θ(n) 0.87/0.65	Θ(n)
Brockschmidt_16/SAS10/nd_loop.koat 16748796	f	Θ(1)	Θ(1) 1.63/0.92	Θ(1)
Brockschmidt_16/SAS10/relation1.koat 16748797	f	Θ(1)	Θ(1) 0.33/0.26	Θ(1)
Brockschmidt_16/SAS10/cousot9.koat 16748798	f	Θ(n²)	Θ(n²) 7.55/6.16	Θ(n²)
Brockschmidt_16/SAS10/ndecr.koat 16748799	f	Θ(n)	Θ(n) 0.70/0.49	Θ(n)
Brockschmidt_16/SAS10/perfect.koat 16748800	f	Ω(n)―O(n²)	Ω(n)―O(n²) 39.09/27.84	Ω(n)―O(n²)
Brockschmidt_16/SAS10/complex.koat 16748801	f	Θ(n)	Θ(n) 300.17/297.03	Θ(n)
Brockschmidt_16/SAS10/speedpldi3.koat 16748802	f	Θ(n²)	Θ(n²) 13.72/12.94	Θ(n²)
Brockschmidt_16/SAS10/insertsort.koat 16748803	if	Θ(n²)	Ω(n)―O(n²) 7.66/6.79	Θ(n²)
Brockschmidt_16/SAS10/aaron2.koat 16748804	f	Θ(n)	Θ(n) 299.26/297.03	Θ(n)
Brockschmidt_16/SAS10/random1d.koat 16748805	f	Θ(n)	Θ(n) 1.49/0.99	Θ(n)
Brockschmidt_16/SAS10/ackermann.koat 16748806	f	Θ(n)	Θ(n) 1.19/0.82	Θ(n)
Brockschmidt_16/SAS10/speedFails4.koat 16748807	f	Θ(n)	Θ(n) 2.27/1.72	Θ(n)
Brockschmidt_16/SAS10/loops.koat 16748808	f	―O(n²)	―O(n²) 6.67/5.76	―O(n²)
Brockschmidt_16/SAS10/realselect.koat 16748809	f	Θ(1)	Θ(1) 2.72/2.39	Θ(1)
Brockschmidt_16/SAS10/wcet2.koat 16748810	f	Θ(n)	Θ(n) 2.56/1.64	Θ(n)
Brockschmidt_16/SAS10/while2.koat 16748811	f	Θ(n²)	Θ(n²) 7.13/6.48	Θ(n²)
Brockschmidt_16/SAS10/speedpldi2.koat 16748812	f	Θ(n)	Θ(n) 3.02/1.49	Θ(n)
Brockschmidt_16/SAS10/easy1.koat 16748813	f	Θ(1)	Θ(1) 1.84/1.41	Θ(1)
Brockschmidt_16/SAS10/determinant.koat 16748814	f	Θ(n³)	Θ(n³) 6.69/5.17	Θ(n³)
Brockschmidt_16/SAS10/random2d.koat 16748815	f	Θ(n)	Θ(n) 6.66/4.78	Θ(n)
Brockschmidt_16/SAS10/sipmabubble.koat 16748816	f	Θ(n²)	Θ(n²) 19.32/15.66	Θ(n²)
Brockschmidt_16/SAS10/realheapsort.koat 16748817	f	―O(n²)	―O(n²) 100.76/66.45	―O(n²)
Brockschmidt_16/SAS10/realshellsort.koat 16748818	if	Ω(n)―O(n³)	MAYBE 367.06/297.02	Ω(n)―O(n³)
Brockschmidt_16/SAS10/ax.koat 16748819	f	Θ(n²)	Θ(n²) 7.08/7.18	Θ(n²)
Brockschmidt_16/SAS10/gcd.koat 16748820	f	Θ(n)	Θ(n) 94.43/92.88	Θ(n)
Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat 16748821	uf	Ω(n)―	Ω(n)― 3.45/3.21	Ω(n)―
	1,297.38	1,244.91

TermCOMP 2023: Complexity: ITS 60864 Job info CSV Showing all interesting conflicting unsolved new result new benchmark finished results.

TermCOMP 2023: Complexity: ITS 60864 Job info CSV Showing results.