Detailed Results of KoAT2+CFR on Complexity_ITS

You can download the tool output here.

Example	Result	Runtime
Brockschmidt_16/FGPSF09/Beerendonk/01.koat	O(n)	0.48 s
Brockschmidt_16/FGPSF09/Beerendonk/02.koat	O(n)	0.53 s
Brockschmidt_16/FGPSF09/Beerendonk/03.koat	O(n)	0.64 s
Brockschmidt_16/FGPSF09/Beerendonk/04.koat	O(1)	0.49 s
Brockschmidt_16/FGPSF09/Beerendonk/05.koat	O(1)	0.41 s
Brockschmidt_16/FGPSF09/Beerendonk/06.koat	O(1)	0.39 s
Brockschmidt_16/FGPSF09/Beerendonk/07.koat	O(1)	0.54 s
Brockschmidt_16/FGPSF09/Beerendonk/08.koat	O(n)	0.59 s
Brockschmidt_16/FGPSF09/Beerendonk/09.koat	O(n)	0.57 s
Brockschmidt_16/FGPSF09/Beerendonk/10.koat	O(n)	0.59 s
Brockschmidt_16/FGPSF09/Beerendonk/11.koat	O(n)	0.69 s
Brockschmidt_16/FGPSF09/Beerendonk/13.koat	O(n)	0.72 s
Brockschmidt_16/FGPSF09/Beerendonk/15.koat	O(n)	0.57 s
Brockschmidt_16/FGPSF09/Beerendonk/16.koat	O(n)	0.60 s
Brockschmidt_16/FGPSF09/Beerendonk/17.koat	O(n)	0.67 s
Brockschmidt_16/FGPSF09/Beerendonk/18.koat	O(n)	0.63 s
Brockschmidt_16/FGPSF09/Beerendonk/19.koat	O(n)	0.49 s
Brockschmidt_16/FGPSF09/Beerendonk/20.koat	O(n)	0.55 s
Brockschmidt_16/FGPSF09/Beerendonk/21.koat	O(n)	0.71 s
Brockschmidt_16/FGPSF09/Beerendonk/22.koat	O(n)	0.55 s
Brockschmidt_16/FGPSF09/Beerendonk/23.koat	O(n)	0.64 s
Brockschmidt_16/FGPSF09/Beerendonk/24.koat	O(n)	0.66 s
Brockschmidt_16/FGPSF09/CAV02/practical1.koat	O(n²)	1.48 s
Brockschmidt_16/FGPSF09/CAV02/practical2.koat	O(n)	1.04 s
Brockschmidt_16/FGPSF09/CAV05/c.05.koat	O(n)	0.53 s
Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat	∞	1.67 s
Brockschmidt_16/FGPSF09/LICS04/c.01.koat	O(n²)	1.45 s
Brockschmidt_16/FGPSF09/LICS04/choice.koat	∞	1.64 s
Brockschmidt_16/FGPSF09/PLDI06/c.03.koat	O(n)	0.55 s
Brockschmidt_16/FGPSF09/PLDI06/c.04.koat	O(n)	0.52 s
Brockschmidt_16/FGPSF09/SAS05/c.02.koat	O(n²)	1.40 s
Brockschmidt_16/FGPSF09/TACAS01/terminate.koat	O(n)	0.43 s
Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat	O(n)	0.39 s
Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat	∞	1.17 s
Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat	O(n²)	1.40 s
Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat	∞	1.74 s
Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat	∞	1.59 s
Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat	∞	1.74 s
Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat	∞	1.52 s
Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat	O(n)	0.58 s
Brockschmidt_16/FGPSF09/new/unsatCond2.koat	∞	1.12 s
Brockschmidt_16/FGPSF09/patrs/div.koat	O(n)	0.38 s
Brockschmidt_16/FGPSF09/patrs/increase1.koat	O(n)	0.40 s
Brockschmidt_16/FGPSF09/patrs/increase2.koat	O(n)	0.45 s
Brockschmidt_16/FGPSF09/patrs/increase3.koat	O(n)	0.48 s
Brockschmidt_16/FGPSF09/patrs/increase4.koat	O(n)	0.52 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat	O(n²)	1.56 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat	∞	2.22 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat	O(n²)	21.74 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat	O(n)	0.43 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat	O(n)	0.45 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat	O(n)	0.47 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat	O(n)	0.47 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat	O(n)	0.50 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat	O(n)	0.42 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat	O(n)	0.43 s
Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat	O(n)	0.50 s
Brockschmidt_16/FGPSF09/patrs/sqrt.koat	O(n)	0.47 s
Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat	O(n)	0.48 s
Brockschmidt_16/KoAT-2013/sect1-lin.koat	O(n)	0.49 s
Brockschmidt_16/KoAT-2013/sect1-quad.koat	O(n²)	1.26 s
Brockschmidt_16/KoAT-2013/sect2.koat	O(n²)	1.86 s
Brockschmidt_16/KoAT-2013/sect5-len.koat	O(n)	0.39 s
Brockschmidt_16/KoAT-2013/sect5-sumSum.koat	O(n²)	1.43 s
Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat	EXP	1.37 s
Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat	EXP	1.50 s
Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat	EXP	1.50 s
Brockschmidt_16/KoAT-2014/nesting-ex1.koat	EXP	2.79 s
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat	EXP	2.87 s
Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat	EXP	1.26 s
Brockschmidt_16/SAS10/aaron2.koat	O(n)	1.11 s
Brockschmidt_16/SAS10/ackermann.koat	O(n)	0.69 s
Brockschmidt_16/SAS10/ax.koat	O(n²)	2.90 s
Brockschmidt_16/SAS10/complex.koat	O(n)	1.27 s
Brockschmidt_16/SAS10/counterex1.koat	O(n²)	21.96 s
Brockschmidt_16/SAS10/cousot9.koat	O(n²)	2.86 s
Brockschmidt_16/SAS10/determinant.koat	O(n³)	4.51 s
Brockschmidt_16/SAS10/easy1.koat	O(1)	0.97 s
Brockschmidt_16/SAS10/easy2.koat	O(n)	0.63 s
Brockschmidt_16/SAS10/exmini.koat	O(n)	0.91 s
Brockschmidt_16/SAS10/gcd.koat	O(n)	0.93 s
Brockschmidt_16/SAS10/insertsort.koat	O(n²)	3.42 s
Brockschmidt_16/SAS10/loops.koat	O(n²)	3.10 s
Brockschmidt_16/SAS10/maccarthy91.koat	O(n)	1.61 s
Brockschmidt_16/SAS10/nd_loop.koat	O(1)	0.65 s
Brockschmidt_16/SAS10/ndecr.koat	O(n)	0.53 s
Brockschmidt_16/SAS10/nestedLoop.koat	O(n²)	8.65 s
Brockschmidt_16/SAS10/perfect.koat	O(n²)	3.93 s
Brockschmidt_16/SAS10/random1d.koat	O(n)	0.84 s
Brockschmidt_16/SAS10/random2d.koat	O(n)	3.79 s
Brockschmidt_16/SAS10/realbubble.koat	O(n²)	22.62 s
Brockschmidt_16/SAS10/realheapsort.koat	O(n²)	38.55 s
Brockschmidt_16/SAS10/realselect.koat	O(1)	1.92 s
Brockschmidt_16/SAS10/realshellsort.koat	∞	83.31 s
Brockschmidt_16/SAS10/relation1.koat	O(1)	0.51 s
Brockschmidt_16/SAS10/rsd.koat	O(n²)	3.65 s
Brockschmidt_16/SAS10/sipmabubble.koat	O(n²)	10.12 s
Brockschmidt_16/SAS10/speedFails4.koat	O(n)	1.27 s
Brockschmidt_16/SAS10/speedpldi2.koat	O(n)	1.14 s
Brockschmidt_16/SAS10/speedpldi3.koat	O(n²)	4.04 s
Brockschmidt_16/SAS10/speedpldi4.koat	O(n)	1.04 s
Brockschmidt_16/SAS10/terminate.koat	O(n)	0.86 s
Brockschmidt_16/SAS10/wcet1.koat	O(n)	1.52 s
Brockschmidt_16/SAS10/wcet2.koat	O(n)	1.35 s
Brockschmidt_16/SAS10/while2.koat	O(n²)	2.80 s
Brockschmidt_16/SAS10/wise.koat	O(n)	0.79 s
Brockschmidt_16/T2/1.koat	∞	2.60 s
Brockschmidt_16/T2/1394-fail.koat	∞	22.42 s
Brockschmidt_16/T2/1394-succeed.koat	∞	21.33 s
Brockschmidt_16/T2/1394complete-fail.koat	∞	21.35 s
Brockschmidt_16/T2/1394complete-succeed.koat	∞	23.27 s
Brockschmidt_16/T2/2.koat	∞	2.67 s
Brockschmidt_16/T2/232.koat	O(n²)	1.65 s
Brockschmidt_16/T2/241.koat	O(n²)	1.66 s
Brockschmidt_16/T2/3.koat	∞	0.40 s
Brockschmidt_16/T2/5.koat	∞	3.04 s
Brockschmidt_16/T2/6.koat	∞	0.33 s
Brockschmidt_16/T2/7.koat	∞	0.35 s
Brockschmidt_16/T2/Loop.koat	O(n)	2.03 s
Brockschmidt_16/T2/a.10.c.koat	O(n)	3.81 s
Brockschmidt_16/T2/acqrel-fail.koat	∞	2.69 s
Brockschmidt_16/T2/afagp-fail.koat	∞	50.47 s
Brockschmidt_16/T2/afagx1.koat	∞	2.24 s
Brockschmidt_16/T2/agafp.koat	∞	45.46 s
Brockschmidt_16/T2/apchild-accepted-fail.koat	TIMEOUT	300.54 s
Brockschmidt_16/T2/apchild-accepted.koat	TIMEOUT	300.46 s
Brockschmidt_16/T2/apchild-live.koat	TIMEOUT	300.59 s
Brockschmidt_16/T2/apchildlive-succeed.koat	TIMEOUT	300.39 s
Brockschmidt_16/T2/array.koat	O(1)	0.35 s
Brockschmidt_16/T2/array1.koat	O(1)	0.33 s
Brockschmidt_16/T2/array2.koat	O(1)	0.40 s
Brockschmidt_16/T2/array3.koat	O(1)	0.48 s
Brockschmidt_16/T2/array_free.koat	O(1)	0.47 s
Brockschmidt_16/T2/array_init.koat	O(1)	0.41 s
Brockschmidt_16/T2/array_init_assign.koat	O(1)	0.51 s
Brockschmidt_16/T2/ase_example.koat	O(1)	0.62 s
Brockschmidt_16/T2/bf10.koat	O(1)	1.34 s
Brockschmidt_16/T2/bf11.koat	O(1)	1.36 s
Brockschmidt_16/T2/bf12.koat	O(1)	1.39 s
Brockschmidt_16/T2/bf13.koat	O(1)	1.50 s
Brockschmidt_16/T2/bf14.koat	O(1)	1.76 s
Brockschmidt_16/T2/bf15.koat	O(1)	1.63 s
Brockschmidt_16/T2/bf16.koat	O(1)	1.55 s
Brockschmidt_16/T2/bf17.koat	O(1)	1.54 s
Brockschmidt_16/T2/bf18.koat	O(1)	1.80 s
Brockschmidt_16/T2/bf19.koat	O(1)	1.60 s
Brockschmidt_16/T2/bf20.koat	O(1)	1.52 s
Brockschmidt_16/T2/bf5.koat	O(1)	1.42 s
Brockschmidt_16/T2/bf6.koat	O(1)	1.49 s
Brockschmidt_16/T2/bf7.koat	O(1)	1.45 s
Brockschmidt_16/T2/bf8.koat	O(1)	1.56 s
Brockschmidt_16/T2/bf9.koat	O(1)	1.63 s
Brockschmidt_16/T2/bio.koat	TIMEOUT	299.35 s
Brockschmidt_16/T2/bitcount16.koat	O(1)	0.42 s
Brockschmidt_16/T2/bitcount32.koat	O(1)	0.43 s
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat	TIMEOUT	298.69 s
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat	TIMEOUT	298.76 s
Brockschmidt_16/T2/broydn.koat	TIMEOUT	298.71 s
Brockschmidt_16/T2/brp.koat	TIMEOUT	300.53 s
Brockschmidt_16/T2/brp_withassume.koat	TIMEOUT	300.48 s
Brockschmidt_16/T2/bs.koat	∞	3.09 s
Brockschmidt_16/T2/bsort100.koat	O(1)	1.32 s
Brockschmidt_16/T2/bubbleSort.koat	O(n²)	3.63 s
Brockschmidt_16/T2/bubblesort_inner_loop.koat	O(1)	0.52 s
Brockschmidt_16/T2/buggyNonTermLoop.koat	∞	28.58 s
Brockschmidt_16/T2/byron-1.koat	O(n)	0.52 s
Brockschmidt_16/T2/byron-2.koat	∞	2.12 s
Brockschmidt_16/T2/byron-3.koat	∞	1.57 s
Brockschmidt_16/T2/byron-4.koat	O(n)	0.65 s
Brockschmidt_16/T2/cfg.koat	∞	1.70 s
Brockschmidt_16/T2/cnt.koat	O(1)	1.24 s
Brockschmidt_16/T2/collatz.koat	∞	2.62 s
Brockschmidt_16/T2/complex_guard.koat	O(1)	0.80 s
Brockschmidt_16/T2/constants.koat	O(1)	0.80 s
Brockschmidt_16/T2/consts1.koat	O(1)	0.72 s
Brockschmidt_16/T2/consts1nt.koat	∞	1.70 s
Brockschmidt_16/T2/consts2.koat	O(n)	0.68 s
Brockschmidt_16/T2/consts2nt.koat	∞	1.63 s
Brockschmidt_16/T2/consts3.koat	O(n)	0.58 s
Brockschmidt_16/T2/consts3nt.koat	∞	1.73 s
Brockschmidt_16/T2/consts4.koat	O(n)	0.54 s
Brockschmidt_16/T2/consts4nt.koat	∞	1.67 s
Brockschmidt_16/T2/consts5.koat	O(1)	0.50 s
Brockschmidt_16/T2/consts5nt.koat	∞	1.82 s
Brockschmidt_16/T2/cover.koat	TIMEOUT	300.45 s
Brockschmidt_16/T2/crc.koat	O(1)	6.65 s
Brockschmidt_16/T2/create.koat	∞	1.91 s
Brockschmidt_16/T2/create_seg.koat	∞	1.97 s
Brockschmidt_16/T2/create_via_tmps.koat	O(n)	1.58 s
Brockschmidt_16/T2/ctl.koat	∞	0.85 s
Brockschmidt_16/T2/curious.koat	∞	1.51 s
Brockschmidt_16/T2/curious4.koat	∞	46.94 s
Brockschmidt_16/T2/d.koat	∞	1.73 s
Brockschmidt_16/T2/db2.koat	TIMEOUT	300.61 s
Brockschmidt_16/T2/db3.koat	TIMEOUT	299.91 s
Brockschmidt_16/T2/dead.neg-st88b-succeed.koat	∞	3.52 s
Brockschmidt_16/T2/destroy.koat	∞	3.02 s
Brockschmidt_16/T2/destroy_seg.koat	∞	3.46 s
Brockschmidt_16/T2/destroy_seg_leak.koat	∞	64.10 s
Brockschmidt_16/T2/disj_nightmare_abi.koat	O(1)	0.50 s
Brockschmidt_16/T2/dropbuf-live.koat	O(1)	0.40 s
Brockschmidt_16/T2/dropbuf.koat	∞	12.53 s
Brockschmidt_16/T2/dsa_test.koat	O(1)	0.34 s
Brockschmidt_16/T2/dsa_test1.koat	O(1)	0.31 s
Brockschmidt_16/T2/dsa_test10.koat	O(1)	0.49 s
Brockschmidt_16/T2/dsa_test11.koat	O(1)	0.34 s
Brockschmidt_16/T2/dsa_test12.koat	O(1)	0.40 s
Brockschmidt_16/T2/dsa_test13.koat	O(1)	0.39 s
Brockschmidt_16/T2/dsa_test15.koat	O(1)	0.47 s
Brockschmidt_16/T2/dsa_test4.koat	O(1)	0.31 s
Brockschmidt_16/T2/dsa_test5.koat	O(1)	0.30 s
Brockschmidt_16/T2/dsa_test6.koat	O(1)	0.37 s
Brockschmidt_16/T2/dsa_test8.koat	O(1)	0.34 s
Brockschmidt_16/T2/dsa_test9.koat	O(1)	0.40 s
Brockschmidt_16/T2/dummy.koat	∞	1.47 s
Brockschmidt_16/T2/e-1394complete-succeed.koat	∞	18.87 s
Brockschmidt_16/T2/e-acqrel-fail.koat	∞	2.02 s
Brockschmidt_16/T2/e-acqrel-succeed.koat	∞	2.21 s
Brockschmidt_16/T2/e-pgarch-fail.koat	∞	1.64 s
Brockschmidt_16/T2/e-pgarch-succeed.koat	∞	1.80 s
Brockschmidt_16/T2/e-popl07-fail.koat	∞	1.95 s
Brockschmidt_16/T2/edn.koat	O(n)	6.05 s
Brockschmidt_16/T2/efegp.koat	∞	53.28 s
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat	O(n²)	5.67 s
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat	O(n²)	6.15 s
Brockschmidt_16/T2/elmhes.koat	O(n²)	6.09 s
Brockschmidt_16/T2/eric.koat	O(n)	2.95 s
Brockschmidt_16/T2/eric1.koat	∞	3.20 s
Brockschmidt_16/T2/eric2.koat	∞	249.13 s
Brockschmidt_16/T2/eric3.koat	∞	1.54 s
Brockschmidt_16/T2/ex1.koat	∞	0.43 s
Brockschmidt_16/T2/ex10.koat	∞	1.55 s
Brockschmidt_16/T2/ex11.koat	∞	3.26 s
Brockschmidt_16/T2/ex12.koat	O(1)	0.44 s
Brockschmidt_16/T2/ex13.koat	O(1)	0.40 s
Brockschmidt_16/T2/ex14.koat	O(1)	0.42 s
Brockschmidt_16/T2/ex15.koat	O(1)	0.36 s
Brockschmidt_16/T2/ex16.koat	∞	1.86 s
Brockschmidt_16/T2/ex17.koat	O(1)	0.49 s
Brockschmidt_16/T2/ex18.koat	O(1)	0.77 s
Brockschmidt_16/T2/ex19.koat	∞	2.05 s
Brockschmidt_16/T2/ex2.koat	∞	1.66 s
Brockschmidt_16/T2/ex20.koat	O(1)	0.75 s
Brockschmidt_16/T2/ex21.koat	O(1)	0.61 s
Brockschmidt_16/T2/ex22.koat	O(1)	13.07 s
Brockschmidt_16/T2/ex23.koat	O(1)	0.56 s
Brockschmidt_16/T2/ex26.koat	O(1)	0.61 s
Brockschmidt_16/T2/ex27.koat	O(1)	23.78 s
Brockschmidt_16/T2/ex29.koat	O(1)	0.71 s
Brockschmidt_16/T2/ex3.koat	O(1)	0.57 s
Brockschmidt_16/T2/ex30.koat	∞	3.42 s
Brockschmidt_16/T2/ex31.koat	∞	1.75 s
Brockschmidt_16/T2/ex32.koat	O(1)	0.63 s
Brockschmidt_16/T2/ex33.koat	O(1)	0.39 s
Brockschmidt_16/T2/ex34.koat	O(1)	0.45 s
Brockschmidt_16/T2/ex36.koat	∞	289.60 s
Brockschmidt_16/T2/ex37.koat	O(1)	0.46 s
Brockschmidt_16/T2/ex4.koat	O(1)	0.76 s
Brockschmidt_16/T2/ex40.koat	∞	1.98 s
Brockschmidt_16/T2/ex6.koat	O(1)	0.46 s
Brockschmidt_16/T2/ex7.koat	O(1)	0.51 s
Brockschmidt_16/T2/ex8.koat	∞	4.41 s
Brockschmidt_16/T2/ex9.koat	∞	5.84 s
Brockschmidt_16/T2/example.koat	O(n)	0.53 s
Brockschmidt_16/T2/fake-succeed.koat	∞	106.39 s
Brockschmidt_16/T2/fast_poll.koat	TIMEOUT	300.41 s
Brockschmidt_16/T2/fdct.koat	O(1)	0.44 s
Brockschmidt_16/T2/fermat.koat	O(1)	1.08 s
Brockschmidt_16/T2/fibcall.koat	O(1)	0.39 s
Brockschmidt_16/T2/fir.koat	∞	13.58 s
Brockschmidt_16/T2/firewire.koat	∞	60.31 s
Brockschmidt_16/T2/flipflop.koat	∞	1.22 s
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat	O(n)	0.69 s
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat	TIMEOUT	300.39 s
Brockschmidt_16/T2/fourn.koat	TIMEOUT	300.32 s
Brockschmidt_16/T2/fuhs-inflasso.koat	O(n²)	2.16 s
Brockschmidt_16/T2/fun1.koat	∞	27.67 s
Brockschmidt_16/T2/fun10.koat	∞	54.04 s
Brockschmidt_16/T2/fun10b.koat	∞	44.42 s
Brockschmidt_16/T2/fun11.koat	∞	1.69 s
Brockschmidt_16/T2/fun1b.koat	∞	30.88 s
Brockschmidt_16/T2/fun2.koat	O(n)	2.10 s
Brockschmidt_16/T2/fun2b.koat	∞	49.91 s
Brockschmidt_16/T2/fun3.koat	O(n)	2.39 s
Brockschmidt_16/T2/fun4-alt.koat	O(1)	0.64 s
Brockschmidt_16/T2/fun4.koat	O(1)	0.68 s
Brockschmidt_16/T2/fun5.koat	TIMEOUT	300.42 s
Brockschmidt_16/T2/fun6.koat	∞	64.50 s
Brockschmidt_16/T2/fun7.koat	∞	3.11 s
Brockschmidt_16/T2/fun8.koat	O(1)	3.65 s
Brockschmidt_16/T2/fun9.koat	∞	19.67 s
Brockschmidt_16/T2/graycode.koat	O(1)	6.03 s
Brockschmidt_16/T2/heidy1.koat	∞	0.47 s
Brockschmidt_16/T2/heidy10.koat	∞	1.70 s
Brockschmidt_16/T2/heidy2.koat	∞	0.46 s
Brockschmidt_16/T2/heidy3.koat	∞	1.50 s
Brockschmidt_16/T2/heidy5.koat	O(n)	0.61 s
Brockschmidt_16/T2/heidy6.koat	∞	2.67 s
Brockschmidt_16/T2/heidy7-simple.koat	∞	1.38 s
Brockschmidt_16/T2/heidy7.koat	∞	1.70 s
Brockschmidt_16/T2/heidy8.koat	∞	1.67 s
Brockschmidt_16/T2/heidy9.koat	O(n)	0.50 s
Brockschmidt_16/T2/hongyi1.koat	O(n)	38.23 s
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat	TIMEOUT	299.49 s
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat	TIMEOUT	299.03 s
Brockschmidt_16/T2/hqr.koat	TIMEOUT	299.28 s
Brockschmidt_16/T2/huh.koat	∞	3.83 s
Brockschmidt_16/T2/iecs.koat	O(n)	0.51 s
Brockschmidt_16/T2/insertsort.koat	∞	1.48 s
Brockschmidt_16/T2/intSqRoot.koat	∞	1.90 s
Brockschmidt_16/T2/invgen.koat	O(n)	0.54 s
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat	O(n)	1.83 s
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat	O(n)	1.27 s
Brockschmidt_16/T2/jacobi.koat	O(n)	1.22 s
Brockschmidt_16/T2/janne_complex.koat	∞	7.42 s
Brockschmidt_16/T2/jfdctint.koat	O(1)	0.81 s
Brockschmidt_16/T2/loop3.koat	O(1)	58.91 s
Brockschmidt_16/T2/loop_on_input.koat	O(1)	1.99 s
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat	O(n)	2.62 s
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat	O(n)	2.66 s
Brockschmidt_16/T2/ludcmp.koat	O(n)	2.48 s
Brockschmidt_16/T2/magic.koat	∞	85.79 s
Brockschmidt_16/T2/matmul.koat	O(1)	1.24 s
Brockschmidt_16/T2/matmult.koat	O(n)	2.22 s
Brockschmidt_16/T2/matrixsqrt.koat	O(1)	1.73 s
Brockschmidt_16/T2/mc91.koat	∞	2.36 s
Brockschmidt_16/T2/mc91test.koat	∞	7.43 s
Brockschmidt_16/T2/minmax.koat	O(1)	0.83 s
Brockschmidt_16/T2/n-1.koat	∞	2.14 s
Brockschmidt_16/T2/n-10.koat	∞	2.35 s
Brockschmidt_16/T2/n-12.koat	∞	2.39 s
Brockschmidt_16/T2/n-12a.koat	∞	1.62 s
Brockschmidt_16/T2/n-13.koat	∞	1.58 s
Brockschmidt_16/T2/n-14.koat	∞	2.17 s
Brockschmidt_16/T2/n-15.koat	∞	1.92 s
Brockschmidt_16/T2/n-15a.koat	∞	2.30 s
Brockschmidt_16/T2/n-16.koat	∞	1.96 s
Brockschmidt_16/T2/n-16a.koat	∞	1.78 s
Brockschmidt_16/T2/n-17.koat	∞	1.85 s
Brockschmidt_16/T2/n-18.koat	∞	1.65 s
Brockschmidt_16/T2/n-18a.koat	∞	1.71 s
Brockschmidt_16/T2/n-1c.koat	∞	2.26 s
Brockschmidt_16/T2/n-1d.koat	∞	2.45 s
Brockschmidt_16/T2/n-20.koat	∞	1.71 s
Brockschmidt_16/T2/n-21.koat	∞	2.20 s
Brockschmidt_16/T2/n-3.koat	∞	1.93 s
Brockschmidt_16/T2/n-32.koat	∞	1.57 s
Brockschmidt_16/T2/n-33.koat	∞	3.70 s
Brockschmidt_16/T2/n-36.koat	∞	2.94 s
Brockschmidt_16/T2/n-37.koat	∞	0.43 s
Brockschmidt_16/T2/n-3a.koat	∞	3.43 s
Brockschmidt_16/T2/n-4.koat	∞	2.63 s
Brockschmidt_16/T2/n-40.koat	∞	4.38 s
Brockschmidt_16/T2/n-46.koat	∞	1.81 s
Brockschmidt_16/T2/n-48.koat	∞	1.56 s
Brockschmidt_16/T2/n-5.koat	∞	2.27 s
Brockschmidt_16/T2/n-6.koat	∞	2.73 s
Brockschmidt_16/T2/n-6a.koat	∞	2.22 s
Brockschmidt_16/T2/n-7.koat	∞	1.74 s
Brockschmidt_16/T2/n-8.koat	∞	1.88 s
Brockschmidt_16/T2/n-8a.koat	∞	1.52 s
Brockschmidt_16/T2/n-9.koat	∞	1.76 s
Brockschmidt_16/T2/n_firewire_instrumented-PP.koat	∞	23.00 s
Brockschmidt_16/T2/nakata.koat	TIMEOUT	300.59 s
Brockschmidt_16/T2/nakata_withassume.koat	TIMEOUT	300.68 s
Brockschmidt_16/T2/ndes.koat	O(1)	35.20 s
Brockschmidt_16/T2/neg-1394complete-fail.koat	∞	24.96 s
Brockschmidt_16/T2/neg-1394complete-succeed.koat	∞	22.44 s
Brockschmidt_16/T2/neg-e-1394complete-fail.koat	∞	22.86 s
Brockschmidt_16/T2/neg-e-1394complete-succeed.koat	∞	22.84 s
Brockschmidt_16/T2/neg-e-acqrel-fail.koat	∞	2.79 s
Brockschmidt_16/T2/neg-e-acqrel-succeed.koat	∞	2.71 s
Brockschmidt_16/T2/neg-e-pgarch-fail.koat	∞	1.88 s
Brockschmidt_16/T2/neg-e-pgarch-succeed.koat	∞	1.89 s
Brockschmidt_16/T2/neg-e-popl07-succeed.koat	∞	2.31 s
Brockschmidt_16/T2/neg-pgarch-succeed.koat	∞	1.89 s
Brockschmidt_16/T2/neg-popl07-fail.koat	∞	2.52 s
Brockschmidt_16/T2/neg-popl07-succeed.koat	∞	1.95 s
Brockschmidt_16/T2/neg-smagilla-fail.koat	∞	1.74 s
Brockschmidt_16/T2/neg-smagilla-succeed.koat	∞	1.68 s
Brockschmidt_16/T2/nested.koat	∞	1.95 s
Brockschmidt_16/T2/nested2.koat	∞	2.05 s
Brockschmidt_16/T2/new_ex.koat	∞	7.76 s
Brockschmidt_16/T2/non_term.koat	∞	1.58 s
Brockschmidt_16/T2/ns.koat	O(n)	1.75 s
Brockschmidt_16/T2/oct_vs_subpoly.koat	∞	1.64 s
Brockschmidt_16/T2/p-1.koat	∞	1.53 s
Brockschmidt_16/T2/p-10.koat	∞	1.65 s
Brockschmidt_16/T2/p-12.koat	O(n)	0.56 s
Brockschmidt_16/T2/p-13.koat	O(1)	0.46 s
Brockschmidt_16/T2/p-14.koat	O(n)	0.58 s
Brockschmidt_16/T2/p-15.koat	O(n)	0.61 s
Brockschmidt_16/T2/p-16.koat	O(n)	0.62 s
Brockschmidt_16/T2/p-18.koat	O(n)	0.52 s
Brockschmidt_16/T2/p-19.koat	∞	1.54 s
Brockschmidt_16/T2/p-19a.koat	∞	1.52 s
Brockschmidt_16/T2/p-1a.koat	∞	1.53 s
Brockschmidt_16/T2/p-1b.koat	O(n)	0.55 s
Brockschmidt_16/T2/p-1c.koat	∞	1.54 s
Brockschmidt_16/T2/p-1d.koat	O(n)	0.70 s
Brockschmidt_16/T2/p-20.koat	∞	1.62 s
Brockschmidt_16/T2/p-21.koat	O(n)	0.66 s
Brockschmidt_16/T2/p-22.koat	O(n)	0.53 s
Brockschmidt_16/T2/p-3.koat	O(n)	0.56 s
Brockschmidt_16/T2/p-32.koat	∞	1.56 s
Brockschmidt_16/T2/p-33.koat	∞	1.92 s
Brockschmidt_16/T2/p-34.koat	∞	2.11 s
Brockschmidt_16/T2/p-36.koat	∞	2.03 s
Brockschmidt_16/T2/p-37.koat	O(1)	0.74 s
Brockschmidt_16/T2/p-4.koat	O(n)	2.12 s
Brockschmidt_16/T2/p-40.koat	∞	1.42 s
Brockschmidt_16/T2/p-41.koat	O(1)	0.38 s
Brockschmidt_16/T2/p-42.koat	O(n)	0.54 s
Brockschmidt_16/T2/p-43-terminate.koat	O(n)	20.76 s
Brockschmidt_16/T2/p-43.koat	O(n)	2.52 s
Brockschmidt_16/T2/p-44.koat	O(n)	0.48 s
Brockschmidt_16/T2/p-45.koat	O(n)	0.48 s
Brockschmidt_16/T2/p-46.koat	∞	2.15 s
Brockschmidt_16/T2/p-49.koat	O(n)	0.43 s
Brockschmidt_16/T2/p-5.koat	∞	1.87 s
Brockschmidt_16/T2/p-52.koat	∞	1.28 s
Brockschmidt_16/T2/p-53.koat	O(1)	0.35 s
Brockschmidt_16/T2/p-55.koat	O(n)	1.99 s
Brockschmidt_16/T2/p-56.koat	O(n)	0.61 s
Brockschmidt_16/T2/p-58.koat	O(1)	0.46 s
Brockschmidt_16/T2/p-6.koat	O(n)	0.57 s
Brockschmidt_16/T2/p-60.koat	O(1)	0.44 s
Brockschmidt_16/T2/p-61.koat	O(1)	0.50 s
Brockschmidt_16/T2/p-63.koat	O(n)	0.51 s
Brockschmidt_16/T2/p-7.koat	O(n)	0.52 s
Brockschmidt_16/T2/p-7b.koat	O(n)	0.53 s
Brockschmidt_16/T2/p-8.koat	∞	1.45 s
Brockschmidt_16/T2/p-9.koat	∞	1.47 s
Brockschmidt_16/T2/pearl-necklace.koat	O(n)	0.97 s
Brockschmidt_16/T2/pentagon.koat	∞	11.00 s
Brockschmidt_16/T2/pgarch.koat	∞	73.81 s
Brockschmidt_16/T2/pldi.koat	O(n²)	3.12 s
Brockschmidt_16/T2/polling.bug.koat	TIMEOUT	300.35 s
Brockschmidt_16/T2/polling.koat	TIMEOUT	300.36 s
Brockschmidt_16/T2/polyrank1.koat	∞	1.38 s
Brockschmidt_16/T2/polyrank2.koat	∞	1.48 s
Brockschmidt_16/T2/polyrank3.koat	∞	1.79 s
Brockschmidt_16/T2/polyrank4.koat	∞	1.98 s
Brockschmidt_16/T2/polyrank5.koat	∞	1.90 s
Brockschmidt_16/T2/polyrank6.koat	∞	2.22 s
Brockschmidt_16/T2/polyrank7.koat	∞	1.61 s
Brockschmidt_16/T2/popl07-fail.koat	∞	2.37 s
Brockschmidt_16/T2/popl07-succeed.koat	∞	2.35 s
Brockschmidt_16/T2/print.koat	∞	12.37 s
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat	O(n)	2.01 s
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat	O(n)	1.94 s
Brockschmidt_16/T2/qrdcmp.koat	O(n)	1.95 s
Brockschmidt_16/T2/queens.koat	O(n)	25.29 s
Brockschmidt_16/T2/queue_1.koat	O(1)	0.55 s
Brockschmidt_16/T2/queue_10.koat	O(1)	0.77 s
Brockschmidt_16/T2/queue_100.koat	O(1)	0.84 s
Brockschmidt_16/T2/queue_1000.koat	O(1)	0.81 s
Brockschmidt_16/T2/randomwalk.koat	∞	10.03 s
Brockschmidt_16/T2/randomwalk_withassume.koat	∞	11.97 s
Brockschmidt_16/T2/refine_disj_problem.koat	∞	1.82 s
Brockschmidt_16/T2/rev_nt2.koat	∞	2.74 s
Brockschmidt_16/T2/rev_nt3.koat	∞	3.05 s
Brockschmidt_16/T2/rev_nt4.koat	O(1)	0.39 s
Brockschmidt_16/T2/reverse.koat	∞	4.74 s
Brockschmidt_16/T2/reverse_div4.koat	∞	5.21 s
Brockschmidt_16/T2/reverse_seg_cyclic.koat	O(n)	3.57 s
Brockschmidt_16/T2/rewrite.koat	∞	0.35 s
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat	O(n)	2.68 s
Brockschmidt_16/T2/rlft3.koat	O(n)	2.65 s
Brockschmidt_16/T2/s1-saved.koat	∞	8.65 s
Brockschmidt_16/T2/s3-work.koat	∞	64.86 s
Brockschmidt_16/T2/sas1.koat	O(n)	0.91 s
Brockschmidt_16/T2/sas2.koat	O(n)	17.09 s
Brockschmidt_16/T2/select.koat	∞	41.46 s
Brockschmidt_16/T2/selectSort.koat	O(n²)	3.37 s
Brockschmidt_16/T2/send-more-money.koat	O(1)	13.60 s
Brockschmidt_16/T2/seq.koat	O(n)	0.41 s
Brockschmidt_16/T2/seq2.koat	O(n)	0.37 s
Brockschmidt_16/T2/sequential_swap.koat	O(1)	0.34 s
Brockschmidt_16/T2/simple.koat	∞	1.48 s
Brockschmidt_16/T2/simpleWhile.koat	O(n)	0.86 s
Brockschmidt_16/T2/simple_array_inversion.koat	O(1)	0.47 s
Brockschmidt_16/T2/simple_control_on_input.koat	O(1)	1.50 s
Brockschmidt_16/T2/simple_double_free.koat	O(1)	0.43 s
Brockschmidt_16/T2/simple_fail.koat	O(1)	0.44 s
Brockschmidt_16/T2/simple_pre.koat	O(1)	0.45 s
Brockschmidt_16/T2/simple_pre1.koat	O(1)	0.43 s
Brockschmidt_16/T2/simple_pre2.koat	O(1)	0.41 s
Brockschmidt_16/T2/simple_pre3.koat	O(1)	0.40 s
Brockschmidt_16/T2/simple_swap_call.koat	O(1)	0.44 s
Brockschmidt_16/T2/slayer-1-filtered.koat	∞	3.54 s
Brockschmidt_16/T2/slayer-1-rf.koat	∞	6.47 s
Brockschmidt_16/T2/slayer-2-filtered.koat	O(1)	0.44 s
Brockschmidt_16/T2/slayer-3-filtered.koat	∞	39.25 s
Brockschmidt_16/T2/slayer-3-new.koat	TIMEOUT	300.34 s
Brockschmidt_16/T2/slayer-3.koat	TIMEOUT	300.33 s
Brockschmidt_16/T2/slayer-4-filtered.koat	TIMEOUT	300.35 s
Brockschmidt_16/T2/slayer-n1-filtered.koat	∞	3.57 s
Brockschmidt_16/T2/slayer-n1.koat	∞	7.96 s
Brockschmidt_16/T2/slayer-n2-filtered.koat	∞	1.22 s
Brockschmidt_16/T2/slayer-n2.koat	∞	1.15 s
Brockschmidt_16/T2/slayer-n3-filtered.koat	O(1)	0.42 s
Brockschmidt_16/T2/slayer-n5-filtered.koat	∞	24.57 s
Brockschmidt_16/T2/smagilla-succeed.koat	∞	1.57 s
Brockschmidt_16/T2/smagillb-succeed.koat	∞	3.00 s
Brockschmidt_16/T2/smagillc-fail.koat	∞	1.68 s
Brockschmidt_16/T2/smagillc-succeed.koat	∞	1.55 s
Brockschmidt_16/T2/sort.koat	O(1)	5.07 s
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat	O(n)	4.46 s
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat	O(n)	4.21 s
Brockschmidt_16/T2/spctrm.koat	O(n)	4.15 s
Brockschmidt_16/T2/spiral.koat	O(n)	1.09 s
Brockschmidt_16/T2/st88.bug.koat	∞	3.54 s
Brockschmidt_16/T2/st88.koat	∞	3.29 s
Brockschmidt_16/T2/statemate.koat	TIMEOUT	300.41 s
Brockschmidt_16/T2/stored.koat	∞	2.63 s
Brockschmidt_16/T2/streamserver-succeed.koat	∞	176.94 s
Brockschmidt_16/T2/streamserver.bug.koat	TIMEOUT	300.36 s
Brockschmidt_16/T2/subpoly_crash.koat	∞	1.21 s
Brockschmidt_16/T2/sudoku.koat	∞	85.49 s
Brockschmidt_16/T2/sumit.koat	O(n)	5.23 s
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat	O(n²)	83.54 s
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat	O(n²)	63.60 s
Brockschmidt_16/T2/svdcmp.koat	O(n²)	62.24 s
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat	O(n)	2.43 s
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat	TIMEOUT	300.35 s
Brockschmidt_16/T2/toeplz.koat	TIMEOUT	300.42 s
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat	TIMEOUT	300.57 s
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat	TIMEOUT	300.57 s
Brockschmidt_16/T2/tqli.koat	TIMEOUT	300.49 s
Brockschmidt_16/T2/traverse.koat	∞	7.44 s
Brockschmidt_16/T2/traverse2.koat	∞	35.57 s
Brockschmidt_16/T2/traverse_seg.koat	∞	9.69 s
Brockschmidt_16/T2/traverse_seg2.koat	∞	11.07 s
Brockschmidt_16/T2/traverse_twice.koat	∞	14.28 s
Brockschmidt_16/T2/two_arrays.koat	O(1)	1.41 s
Brockschmidt_16/T2/two_arrays1.koat	O(1)	2.38 s
Brockschmidt_16/T2/two_arrays2.koat	O(n)	2.37 s
Brockschmidt_16/T2/two_arrays6.koat	O(n)	2.29 s
Brockschmidt_16/T2/ud.koat	O(1)	4.30 s
Brockschmidt_16/T2/vmcai_bytes.koat	O(1)	0.33 s
Brockschmidt_16/T2/vmcai_struct.koat	O(1)	0.33 s
Brockschmidt_16/T2/w1.koat	∞	0.34 s
Brockschmidt_16/T2/w2_nt.koat	∞	2.63 s
Brockschmidt_16/T2/walk.koat	∞	2.72 s
Brockschmidt_16/T2/wrong_loop.koat	∞	1.69 s
Brockschmidt_16/T2/wtf.koat	O(n)	2.02 s
Brockschmidt_16/T2/zeroconf.koat	TIMEOUT	300.59 s
Brockschmidt_16/T2/zeroconf_withassume.koat	TIMEOUT	300.46 s
Brockschmidt_16/c-examples/ABC/ex01.koat	O(n)	0.50 s
Brockschmidt_16/c-examples/ABC/ex02.koat	O(n²)	2.17 s
Brockschmidt_16/c-examples/ABC/ex03.koat	O(n⁶)	11.47 s
Brockschmidt_16/c-examples/ABC/ex04.koat	∞	5.58 s
Brockschmidt_16/c-examples/ABC/ex05.koat	O(n²)	2.06 s
Brockschmidt_16/c-examples/ABC/ex06.koat	O(n²)	2.03 s
Brockschmidt_16/c-examples/ABC/ex07.koat	O(n²)	2.20 s
Brockschmidt_16/c-examples/ABC/ex08.koat	O(n²)	1.97 s
Brockschmidt_16/c-examples/ABC/ex09.koat	O(n²)	2.45 s
Brockschmidt_16/c-examples/ABC/ex10.koat	O(n²)	2.30 s
Brockschmidt_16/c-examples/ABC/ex11.koat	O(n²)	2.41 s
Brockschmidt_16/c-examples/ABC/ex12.koat	O(n)	0.74 s
Brockschmidt_16/c-examples/ABC/ex13.koat	O(n³)	5.12 s
Brockschmidt_16/c-examples/ABC/ex14.koat	O(n⁵)	8.69 s
Brockschmidt_16/c-examples/ABC/ex15.koat	∞	11.84 s
Brockschmidt_16/c-examples/Loopus/Example1.koat	O(n)	1.54 s
Brockschmidt_16/c-examples/Loopus/Example2.koat	O(n)	35.63 s
Brockschmidt_16/c-examples/Loopus/Example3.koat	O(1)	3.86 s
Brockschmidt_16/c-examples/Rank/ex1.koat	O(n³)	23.77 s
Brockschmidt_16/c-examples/Rank/ex2.koat	O(n)	1.45 s
Brockschmidt_16/c-examples/Rank/ex3.koat	O(n)	1.98 s
Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat	O(n)	0.90 s
Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat	O(n²)	5.47 s
Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat	O(n)	1.52 s
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat	O(n)	1.20 s
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat	O(n²)	7.24 s
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat	O(n)	4.73 s
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat	O(n)	3.99 s
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat	O(n)	2.22 s
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat	O(n²)	24.95 s
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat	O(n)	5.85 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat	O(n²)	7.93 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat	∞	3.99 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat	∞	4.07 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat	O(n)	1.37 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat	∞	6.72 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat	O(n)	0.92 s
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat	O(n)	3.74 s
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat	O(n)	1.03 s
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat	O(n)	0.92 s
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat	O(n)	1.40 s
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat	O(n²)	3.52 s
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat	O(n)	1.25 s
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat	O(n)	0.92 s
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat	O(n)	1.10 s
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat	O(n²)	5.31 s
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat	O(n)	0.72 s
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat	O(n)	1.25 s
Brockschmidt_16/c-examples/WTC/aaron2.koat	O(n)	1.04 s
Brockschmidt_16/c-examples/WTC/ax.koat	O(n²)	2.66 s
Brockschmidt_16/c-examples/WTC/complex.koat	O(n)	1.30 s
Brockschmidt_16/c-examples/WTC/counterex1b.koat	TIMEOUT	300.49 s
Brockschmidt_16/c-examples/WTC/cousot9.koat	∞	4.58 s
Brockschmidt_16/c-examples/WTC/easy1.koat	O(1)	0.91 s
Brockschmidt_16/c-examples/WTC/easy2.koat	O(n)	0.63 s
Brockschmidt_16/c-examples/WTC/exmini.koat	O(n)	0.88 s
Brockschmidt_16/c-examples/WTC/gcd.koat	O(n)	3.10 s
Brockschmidt_16/c-examples/WTC/insertsort.koat	O(n²)	6.13 s
Brockschmidt_16/c-examples/WTC/loops.koat	O(n²)	2.39 s
Brockschmidt_16/c-examples/WTC/nd_loop.koat	O(1)	0.61 s
Brockschmidt_16/c-examples/WTC/ndecr.koat	O(n)	0.60 s
Brockschmidt_16/c-examples/WTC/nestedLoop.koat	O(n²)	8.82 s
Brockschmidt_16/c-examples/WTC/perfect.koat	O(n²)	3.48 s
Brockschmidt_16/c-examples/WTC/random1d.koat	O(n)	0.79 s
Brockschmidt_16/c-examples/WTC/random2d.koat	O(n)	3.19 s
Brockschmidt_16/c-examples/WTC/realbubble.koat	O(n²)	5.18 s
Brockschmidt_16/c-examples/WTC/realheapsort.koat	O(n²)	21.79 s
Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat	O(n²)	5.86 s
Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat	∞	17.50 s
Brockschmidt_16/c-examples/WTC/realselect.koat	O(n²)	3.65 s
Brockschmidt_16/c-examples/WTC/realshellsort.koat	∞	14.02 s
Brockschmidt_16/c-examples/WTC/rsd.koat	O(n²)	4.96 s
Brockschmidt_16/c-examples/WTC/sipma91.koat	O(n)	1.52 s
Brockschmidt_16/c-examples/WTC/sipmabubble.koat	O(n²)	3.54 s
Brockschmidt_16/c-examples/WTC/speedFails4.koat	O(n)	3.69 s
Brockschmidt_16/c-examples/WTC/speedpldi2.koat	O(n)	0.86 s
Brockschmidt_16/c-examples/WTC/speedpldi3.koat	O(n²)	4.87 s
Brockschmidt_16/c-examples/WTC/speedpldi4.koat	O(n)	0.86 s
Brockschmidt_16/c-examples/WTC/terminate.koat	O(n)	0.80 s
Brockschmidt_16/c-examples/WTC/wcet1.koat	O(n)	1.51 s
Brockschmidt_16/c-examples/WTC/wcet2.koat	O(n)	0.89 s
Brockschmidt_16/c-examples/WTC/while2.koat	O(n²)	2.49 s
Brockschmidt_16/c-examples/WTC/wise.koat	O(n)	0.88 s
Brockschmidt_16/costa/RAML/rationalPotential.koat	O(n)	0.56 s
Brockschmidt_16/costa/misc/ack.koat	∞	1.91 s
Brockschmidt_16/costa/misc/direct_n_log_n.koat	O(n)	0.54 s
Brockschmidt_16/costa/misc/linear.koat	O(n)	0.45 s
Brockschmidt_16/costa/misc/logarithmic.koat	O(1)	0.46 s
Brockschmidt_16/costa/misc/merge.koat	O(n)	0.51 s
Brockschmidt_16/costa/misc/mspe.koat	O(n)	1.07 s
Flores-Montoya_16/Loopus2011_ex1.c.koat	O(n)	3.08 s
Flores-Montoya_16/Loopus2011_ex2.c.koat	O(n)	57.55 s
Flores-Montoya_16/Loopus2011_ex3.c.koat	O(1)	3.62 s
Flores-Montoya_16/Loopus2014_ex1.c.koat	O(n²)	31.26 s
Flores-Montoya_16/Loopus2014_ex2.c.koat	O(n)	3.63 s
Flores-Montoya_16/Loopus2015_ex1.c.koat	O(n)	2.67 s
Flores-Montoya_16/Loopus2015_ex2.c.koat	O(n)	4.31 s
Flores-Montoya_16/Loopus2015_original.c.koat	O(n)	5.76 s
Flores-Montoya_16/aaron12.c.koat	∞	7.79 s
Flores-Montoya_16/aaron2.c.koat	O(n)	2.02 s
Flores-Montoya_16/aaron3.c.koat	∞	12.03 s
Flores-Montoya_16/alain.c.koat	O(n³)	11.61 s
Flores-Montoya_16/ax.c.koat	O(n²)	3.16 s
Flores-Montoya_16/catmouse.c.koat	∞	2.77 s
Flores-Montoya_16/complex.c.koat	O(n)	2.73 s
Flores-Montoya_16/counterex1a.c.koat	O(n²)	43.46 s
Flores-Montoya_16/counterex1b.c.koat	O(n²)	266.43 s
Flores-Montoya_16/counterex1c.c.koat	O(n²)	56.86 s
Flores-Montoya_16/cousot9.c.koat	O(n²)	3.35 s
Flores-Montoya_16/easy1.c.koat	O(1)	0.77 s
Flores-Montoya_16/easy2.c.koat	O(n)	0.71 s
Flores-Montoya_16/ex_paper1.c.koat	O(n²)	15.47 s
Flores-Montoya_16/ex_paper2.c.koat	O(n²)	4.53 s
Flores-Montoya_16/ex_paper3.c.koat	O(n²)	9.30 s
Flores-Montoya_16/exmini.c.koat	O(n)	1.49 s
Flores-Montoya_16/heapsort.c.koat	O(n)	58.49 s
Flores-Montoya_16/insertsort.c.koat	O(n²)	5.19 s
Flores-Montoya_16/jama_ex1.c.koat	O(n²)	3.50 s
Flores-Montoya_16/jama_ex2.c.koat	O(n²)	3.34 s
Flores-Montoya_16/jama_ex3.c.koat	O(n²)	3.24 s
Flores-Montoya_16/jama_ex4.c.koat	O(n²)	3.92 s
Flores-Montoya_16/jama_ex5.c.koat	O(n²)	3.10 s
Flores-Montoya_16/jama_ex6.c.koat	O(n³)	11.63 s
Flores-Montoya_16/jama_ex7.c.koat	O(n²)	3.15 s
Flores-Montoya_16/knuth_morris_pratt.c.koat	O(n)	6.08 s
Flores-Montoya_16/loops.c.koat	O(n²)	2.77 s
Flores-Montoya_16/nd_loop.c.koat	O(1)	0.69 s
Flores-Montoya_16/ndecr.c.koat	O(n)	0.74 s
Flores-Montoya_16/nestedLoop.c.koat	O(n²)	32.46 s
Flores-Montoya_16/nested_loop.c.koat	O(n²)	32.11 s
Flores-Montoya_16/perfect.c.koat	O(n²)	6.10 s
Flores-Montoya_16/perfect1.c.koat	O(n²)	7.91 s
Flores-Montoya_16/perfect2.c.koat	O(n²)	5.43 s
Flores-Montoya_16/perfectg.c.koat	O(n²)	7.46 s
Flores-Montoya_16/random1d.c.koat	O(n)	0.91 s
Flores-Montoya_16/random2d.c.koat	O(n)	4.05 s
Flores-Montoya_16/rank1.c.koat	O(n³)	38.61 s
Flores-Montoya_16/rank2.c.koat	O(n)	3.42 s
Flores-Montoya_16/rank3.c.koat	O(n²)	31.09 s
Flores-Montoya_16/real2.c.koat	∞	9.49 s
Flores-Montoya_16/realbubble.c.koat	O(n²)	10.71 s
Flores-Montoya_16/realheapsort.c.koat	O(n²)	30.82 s
Flores-Montoya_16/realheapsort_step1.c.koat	O(n²)	4.52 s
Flores-Montoya_16/realheapsort_step2.c.koat	O(n²)	16.86 s
Flores-Montoya_16/realselect.c.koat	O(n²)	5.09 s
Flores-Montoya_16/realshellsort.c.koat	O(n⁴)	23.97 s
Flores-Montoya_16/relation1.c.koat	O(1)	0.43 s
Flores-Montoya_16/rsd.c.koat	O(n)	2.04 s
Flores-Montoya_16/serpent.c.koat	O(n²)	154.74 s
Flores-Montoya_16/sipma91.c.koat	O(n)	3.47 s
Flores-Montoya_16/sipmabubble.c.koat	O(n²)	5.37 s
Flores-Montoya_16/sipmamergesort.c.koat	TIMEOUT	300.53 s
Flores-Montoya_16/sipmamergesort2.c.koat	TIMEOUT	299.81 s
Flores-Montoya_16/speedDis1.c.koat	O(n)	1.38 s
Flores-Montoya_16/speedDis2.c.koat	O(n)	1.22 s
Flores-Montoya_16/speedFails1.c.koat	∞	2.47 s
Flores-Montoya_16/speedFails2.c.koat	∞	2.96 s
Flores-Montoya_16/speedFails3.c.koat	∞	3.79 s
Flores-Montoya_16/speedFails4.c.koat	∞	3.37 s
Flores-Montoya_16/speedNestedMultiple.c.koat	O(n)	2.92 s
Flores-Montoya_16/speedNestedMultipleDep.c.koat	O(n²)	3.58 s
Flores-Montoya_16/speedSimpleMultiple.c.koat	O(n)	1.15 s
Flores-Montoya_16/speedSimpleMultipleDep.c.koat	O(n²)	3.79 s
Flores-Montoya_16/speedSingleSingle.c.koat	O(n)	0.73 s
Flores-Montoya_16/speedSingleSingle2.c.koat	O(n)	1.69 s
Flores-Montoya_16/speed_pldi09_fig1.c.koat	O(n)	3.16 s
Flores-Montoya_16/speed_pldi09_fig4_2.c.koat	O(n)	1.19 s
Flores-Montoya_16/speed_pldi09_fig4_4.c.koat	O(n)	0.98 s
Flores-Montoya_16/speed_pldi09_fig4_5.c.koat	O(n)	4.49 s
Flores-Montoya_16/speed_pldi10_ex1.c.koat	O(n²)	12.51 s
Flores-Montoya_16/speed_pldi10_ex3.c.koat	O(n)	1.52 s
Flores-Montoya_16/speed_pldi10_ex4.c.koat	O(n)	1.31 s
Flores-Montoya_16/speed_popl10_fig2_1.c.koat	O(n)	1.25 s
Flores-Montoya_16/speed_popl10_fig2_2.c.koat	O(n)	1.13 s
Flores-Montoya_16/speed_popl10_nested_multiple.c.koat	O(n)	2.82 s
Flores-Montoya_16/speed_popl10_nested_single.c.koat	O(n)	1.49 s
Flores-Montoya_16/speed_popl10_sequential_single.c.koat	O(n)	1.33 s
Flores-Montoya_16/speed_popl10_simple_multiple.c.koat	O(n)	1.04 s
Flores-Montoya_16/speed_popl10_simple_single.c.koat	O(n)	0.83 s
Flores-Montoya_16/speed_popl10_simple_single_2.c.koat	O(n)	1.32 s
Flores-Montoya_16/speedpldi2.c.koat	O(n)	1.13 s
Flores-Montoya_16/speedpldi3.c.koat	O(n²)	4.00 s
Flores-Montoya_16/speedpldi4.c.koat	O(n)	0.98 s
Flores-Montoya_16/t07.c.koat	O(n)	1.41 s
Flores-Montoya_16/t08.c.koat	O(n)	1.05 s
Flores-Montoya_16/t10.c.koat	O(n)	1.24 s
Flores-Montoya_16/t11.c.koat	O(n)	1.32 s
Flores-Montoya_16/t13.c.koat	O(n)	2.22 s
Flores-Montoya_16/t15.c.koat	O(n)	1.47 s
Flores-Montoya_16/t16.c.koat	O(n)	4.08 s
Flores-Montoya_16/t19.c.koat	O(n)	1.45 s
Flores-Montoya_16/t20.c.koat	O(n)	1.08 s
Flores-Montoya_16/t27.c.koat	O(n)	1.51 s
Flores-Montoya_16/t28.c.koat	O(n)	1.81 s
Flores-Montoya_16/t30.c.koat	O(n)	2.65 s
Flores-Montoya_16/t47.c.koat	O(n)	0.96 s
Flores-Montoya_16/t62.c.koat	O(n)	8.14 s
Flores-Montoya_16/terminate.c.koat	O(n)	1.33 s
Flores-Montoya_16/terminatorbubble.c.koat	O(n²)	11.19 s
Flores-Montoya_16/textbook_ex1.c.koat	O(n)	0.91 s
Flores-Montoya_16/textbook_ex2.c.koat	O(n²)	3.70 s
Flores-Montoya_16/textbook_ex3.c.koat	O(n⁶)	24.80 s
Flores-Montoya_16/textbook_ex4.c.koat	O(n²)	3.85 s
Flores-Montoya_16/unperfect.c.koat	O(n²)	5.88 s
Flores-Montoya_16/wcet0.c.koat	O(n)	1.99 s
Flores-Montoya_16/wcet1.c.koat	O(n)	1.89 s
Flores-Montoya_16/wcet2.c.koat	O(n)	1.59 s
Flores-Montoya_16/while2.c.koat	O(n²)	3.53 s
Flores-Montoya_16/wise.c.koat	O(n)	1.24 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat	O(n)	0.64 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koat	∞	0.58 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat	O(n)	1.93 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat	∞	1.88 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat	O(n)	0.73 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat	O(n)	1.94 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat	O(n)	2.00 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat	O(n)	2.03 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat	O(n)	1.92 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat	O(n)	1.86 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat	O(n)	0.73 s
Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat	∞	2.22 s
Hark_20/Nils_2019/ex001.koat	∞	2.06 s
Hark_20/Nils_2019/ex002.koat	∞	2.06 s
Hark_20/Nils_2019/ex003.koat	∞	1.78 s
Hark_20/Nils_2019/ex004.koat	∞	3.37 s
Hark_20/Nils_2019/ex005.koat	∞	2.67 s
Hark_20/Nils_2019/ex006.koat	∞	1.74 s
Hark_20/Nils_2019/ex007.koat	∞	2.38 s
Hark_20/Nils_2019/ex008.koat	O(1)	1.69 s
Hark_20/Nils_2019/ex009.koat	∞	0.46 s
Hark_20/Nils_2019/ex010.koat	∞	2.91 s
Hark_20/Nils_2019/ex011.koat	∞	2.80 s