LoAT '22

name	result	time
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.koat	Omega(n^1)	0.032698
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.koat	Omega(n^1)	0.036227
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.koat	Omega(n^1)	0.19787
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.koat	Omega(n^0)	0.0226849
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.koat	Omega(n^0)	0.0368031
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.koat	Omega(n^0)	0.0292121
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.koat	Omega(n^0)	0.030098
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.koat	Omega(n^1)	0.0464189
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.koat	Omega(n^1)	0.049307
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.koat	Omega(n^0)	0.145951
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.koat	Omega(n^1)	0.189024
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.koat	Omega(n^1)	0.0658709
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.koat	Omega(n^1)	0.135811
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.koat	Omega(n^1)	0.161239
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.koat	Omega(n^1)	0.265411
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.koat	Omega(n^1)	0.255206
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.koat	Omega(n^1)	0.285705
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.koat	Omega(n^1)	0.055743
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.koat	Omega(n^1)	0.061405
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.koat	Omega(n^1)	0.166658
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.koat	Omega(n^1)	0.194717
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.koat	Omega(n^1)	0.0925449
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.koat	Omega(n^2)	0.090529
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.koat	Omega(n^1)	1.00991
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.koat	Omega(n^1)	2.48445
Complexity_ITS/Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat	Omega(n^1)	0.127769
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.koat	Omega(n^0)	0.174963
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.koat	Omega(n^1)	0.175738
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.koat	Omega(n^1)	0.250031
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.koat	Omega(n^1)	0.941927
Complexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.koat	Omega(n^2)	0.083017
Complexity_ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.koat	Omega(n^1)	0.06034
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat	Omega(n^1)	0.128096
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat	Omega(n^0)	0.15236
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat	Omega(n^2)	0.091086
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat	Inf	0.150205
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat	Omega(n^1)	8.66211
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat	Omega(n^1)	20.4492
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat	Omega(n^1)	6.7436
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat	Omega(n^1)	0.38978
Complexity_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.koat	Omega(n^0)	0.032703
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.koat	Omega(n^1)	0.193472
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.koat	Omega(n^1)	0.0319881
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.koat	Omega(n^1)	0.138226
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.koat	Omega(n^1)	0.166225
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.koat	Omega(n^1)	0.0316319
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat	Omega(n^2)	0.0808851
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat	No	0.342457
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat	Omega(n^1)	1.30834
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat	Omega(n^1)	0.032536
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat	Omega(n^1)	0.0332261
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat	Omega(n^1)	0.0400649
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat	Omega(n^1)	0.049772
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat	Omega(n^1)	0.0321701
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat	Omega(n^1)	0.195589
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat	Omega(n^1)	0.0573569
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat	Omega(n^1)	0.232075
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.koat	Omega(n^0)	0.487074
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat	Omega(n^1)	0.035129
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.koat	Omega(n^1)	0.0582049
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.koat	Omega(n^2)	0.136965
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect2.koat	Omega(n^2)	0.105461
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.koat	Omega(n^1)	0.0316929
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.koat	Omega(n^2)	0.094214
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat	Exp	0.142871
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat	Omega(n^0)	0.0489149
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat	Exp	0.146496
Complexity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.koat	Omega(n^3)	0.180069
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat	Exp	0.268043
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat	Exp	0.216924
Complexity_ITS/Brockschmidt_16/SAS10/aaron2.koat	Omega(n^1)	294.032
Complexity_ITS/Brockschmidt_16/SAS10/ackermann.koat	Omega(n^1)	0.087409
Complexity_ITS/Brockschmidt_16/SAS10/ax.koat	Omega(n^2)	0.18851
Complexity_ITS/Brockschmidt_16/SAS10/complex.koat	Omega(n^1)	294.043
Complexity_ITS/Brockschmidt_16/SAS10/counterex1.koat	Omega(n^1)	2.55158
Complexity_ITS/Brockschmidt_16/SAS10/cousot9.koat	Omega(n^2)	0.176809
Complexity_ITS/Brockschmidt_16/SAS10/determinant.koat	Omega(n^3)	0.311271
Complexity_ITS/Brockschmidt_16/SAS10/easy1.koat	Omega(n^0)	0.211517
Complexity_ITS/Brockschmidt_16/SAS10/easy2.koat	Omega(n^1)	0.0745029
Complexity_ITS/Brockschmidt_16/SAS10/exmini.koat	Omega(n^1)	0.283737
Complexity_ITS/Brockschmidt_16/SAS10/gcd.koat	Omega(n^1)	294.037
Complexity_ITS/Brockschmidt_16/SAS10/insertsort.koat	Omega(n^2)	0.548771
Complexity_ITS/Brockschmidt_16/SAS10/loops.koat	Omega(n^0)	0.366511
Complexity_ITS/Brockschmidt_16/SAS10/maccarthy91.koat	Omega(n^1)	1.23164
Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.koat	Omega(n^0)	0.052957
Complexity_ITS/Brockschmidt_16/SAS10/ndecr.koat	Omega(n^1)	0.0548171
Complexity_ITS/Brockschmidt_16/SAS10/nestedLoop.koat	Omega(n^2)	0.725828
Complexity_ITS/Brockschmidt_16/SAS10/perfect.koat	Omega(n^1)	294.037
Complexity_ITS/Brockschmidt_16/SAS10/random1d.koat	Omega(n^1)	0.346167
Complexity_ITS/Brockschmidt_16/SAS10/random2d.koat	Omega(n^1)	3.03851
Complexity_ITS/Brockschmidt_16/SAS10/realbubble.koat	Omega(n^2)	1.17535
Complexity_ITS/Brockschmidt_16/SAS10/realheapsort.koat	Omega(n^0)	10.5254
Complexity_ITS/Brockschmidt_16/SAS10/realselect.koat	Omega(n^0)	0.492579
Complexity_ITS/Brockschmidt_16/SAS10/realshellsort.koat	Omega(n^0)	6.65253
Complexity_ITS/Brockschmidt_16/SAS10/relation1.koat	Omega(n^0)	0.015396
Complexity_ITS/Brockschmidt_16/SAS10/rsd.koat	Omega(n^1)	2.32988
Complexity_ITS/Brockschmidt_16/SAS10/sipmabubble.koat	Omega(n^2)	4.29556
Complexity_ITS/Brockschmidt_16/SAS10/speedFails4.koat	Omega(n^1)	0.426933
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi2.koat	Omega(n^1)	1.4792
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi3.koat	Omega(n^2)	0.260782
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi4.koat	Omega(n^1)	0.402154
Complexity_ITS/Brockschmidt_16/SAS10/terminate.koat	Omega(n^1)	0.265326
Complexity_ITS/Brockschmidt_16/SAS10/wcet1.koat	Omega(n^1)	0.75798
Complexity_ITS/Brockschmidt_16/SAS10/wcet2.koat	Omega(n^1)	0.244518
Complexity_ITS/Brockschmidt_16/SAS10/while2.koat	Omega(n^2)	0.179791
Complexity_ITS/Brockschmidt_16/SAS10/wise.koat	Omega(n^1)	0.11428
Complexity_ITS/Brockschmidt_16/T2/1.koat	No	0.738968
Complexity_ITS/Brockschmidt_16/T2/1394-fail.koat	Inf	252.157
Complexity_ITS/Brockschmidt_16/T2/1394-succeed.koat	Inf	252.147
Complexity_ITS/Brockschmidt_16/T2/1394complete-fail.koat	No	7.71673
Complexity_ITS/Brockschmidt_16/T2/1394complete-succeed.koat	No	5.89587
Complexity_ITS/Brockschmidt_16/T2/2.koat	No	0.649288
Complexity_ITS/Brockschmidt_16/T2/232.koat	Omega(n^2)	0.107051
Complexity_ITS/Brockschmidt_16/T2/241.koat	Omega(n^2)	0.106427
Complexity_ITS/Brockschmidt_16/T2/3.koat	No	0.024011
Complexity_ITS/Brockschmidt_16/T2/5.koat	No	0.476634
Complexity_ITS/Brockschmidt_16/T2/6.koat	No	0.02645
Complexity_ITS/Brockschmidt_16/T2/7.koat	No	0.025897
Complexity_ITS/Brockschmidt_16/T2/Loop.koat	Omega(n^1)	48.0835
Complexity_ITS/Brockschmidt_16/T2/a.10.c.koat	Omega(n^1)	0.163947
Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.koat	No	0.505558
Complexity_ITS/Brockschmidt_16/T2/afagp-fail.koat	No	1.66441
Complexity_ITS/Brockschmidt_16/T2/afagx1.koat	No	0.20915
Complexity_ITS/Brockschmidt_16/T2/agafp.koat	No	2.54399
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted-fail.koat	No	2.09444
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted.koat	No	2.09705
Complexity_ITS/Brockschmidt_16/T2/apchild-live.koat	No	2.44303
Complexity_ITS/Brockschmidt_16/T2/apchildlive-succeed.koat	No	15.1459
Complexity_ITS/Brockschmidt_16/T2/array.koat	Omega(n^0)	0.0202101
Complexity_ITS/Brockschmidt_16/T2/array1.koat	Omega(n^0)	0.0227619
Complexity_ITS/Brockschmidt_16/T2/array2.koat	Omega(n^0)	0.027281
Complexity_ITS/Brockschmidt_16/T2/array3.koat	Omega(n^0)	0.0481351
Complexity_ITS/Brockschmidt_16/T2/array_free.koat	Omega(n^0)	0.030006
Complexity_ITS/Brockschmidt_16/T2/array_init.koat	Omega(n^0)	0.026559
Complexity_ITS/Brockschmidt_16/T2/array_init_assign.koat	Omega(n^0)	0.0462491
Complexity_ITS/Brockschmidt_16/T2/ase_example.koat	Omega(n^0)	0.082016
Complexity_ITS/Brockschmidt_16/T2/bf10.koat	Omega(n^0)	0.224292
Complexity_ITS/Brockschmidt_16/T2/bf11.koat	Omega(n^0)	0.222679
Complexity_ITS/Brockschmidt_16/T2/bf12.koat	Omega(n^0)	0.221433
Complexity_ITS/Brockschmidt_16/T2/bf13.koat	Omega(n^0)	0.221916
Complexity_ITS/Brockschmidt_16/T2/bf14.koat	Omega(n^0)	0.222652
Complexity_ITS/Brockschmidt_16/T2/bf15.koat	Omega(n^0)	0.221675
Complexity_ITS/Brockschmidt_16/T2/bf16.koat	Omega(n^0)	0.22395
Complexity_ITS/Brockschmidt_16/T2/bf17.koat	Omega(n^0)	0.219799
Complexity_ITS/Brockschmidt_16/T2/bf18.koat	Omega(n^0)	0.226174
Complexity_ITS/Brockschmidt_16/T2/bf19.koat	Omega(n^0)	0.224322
Complexity_ITS/Brockschmidt_16/T2/bf20.koat	Omega(n^0)	0.221605
Complexity_ITS/Brockschmidt_16/T2/bf5.koat	Omega(n^0)	0.222349
Complexity_ITS/Brockschmidt_16/T2/bf6.koat	Omega(n^0)	0.222997
Complexity_ITS/Brockschmidt_16/T2/bf7.koat	Omega(n^0)	0.218083
Complexity_ITS/Brockschmidt_16/T2/bf8.koat	Omega(n^0)	0.221906
Complexity_ITS/Brockschmidt_16/T2/bf9.koat	Omega(n^0)	0.224746
Complexity_ITS/Brockschmidt_16/T2/bio.koat	Omega(n^0)	255.16
Complexity_ITS/Brockschmidt_16/T2/bitcount16.koat	Omega(n^0)	0.120437
Complexity_ITS/Brockschmidt_16/T2/bitcount32.koat	Omega(n^0)	0.125639
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat	Omega(n^1)	97.6037
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	9.37882
Complexity_ITS/Brockschmidt_16/T2/broydn.koat	Omega(n^1)	8.90493
Complexity_ITS/Brockschmidt_16/T2/brp.koat	Inf	3.88716
Complexity_ITS/Brockschmidt_16/T2/brp_withassume.koat	Inf	4.29063
Complexity_ITS/Brockschmidt_16/T2/bs.koat	No	2.01584
Complexity_ITS/Brockschmidt_16/T2/bsort100.koat	Omega(n^0)	0.457733
Complexity_ITS/Brockschmidt_16/T2/bubbleSort.koat	Omega(n^2)	0.909163
Complexity_ITS/Brockschmidt_16/T2/bubblesort_inner_loop.koat	Omega(n^0)	0.117202
Complexity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.koat	No	70.4506
Complexity_ITS/Brockschmidt_16/T2/byron-1.koat	Omega(n^0)	0.515864
Complexity_ITS/Brockschmidt_16/T2/byron-2.koat	Inf	0.395922
Complexity_ITS/Brockschmidt_16/T2/byron-3.koat	Omega(n^1)	0.225835
Complexity_ITS/Brockschmidt_16/T2/byron-4.koat	Omega(n^1)	0.0823781
Complexity_ITS/Brockschmidt_16/T2/cfg.koat	No	0.0371049
Complexity_ITS/Brockschmidt_16/T2/cnt.koat	Omega(n^0)	0.792066
Complexity_ITS/Brockschmidt_16/T2/collatz.koat	Omega(n^0)	0.287512
Complexity_ITS/Brockschmidt_16/T2/complex_guard.koat	Omega(n^0)	0.0314281
Complexity_ITS/Brockschmidt_16/T2/constants.koat	Omega(n^0)	0.03853
Complexity_ITS/Brockschmidt_16/T2/consts1.koat	Omega(n^0)	0.0366001
Complexity_ITS/Brockschmidt_16/T2/consts1nt.koat	No	0.0374179
Complexity_ITS/Brockschmidt_16/T2/consts2.koat	Omega(n^1)	0.032497
Complexity_ITS/Brockschmidt_16/T2/consts2nt.koat	No	0.027788
Complexity_ITS/Brockschmidt_16/T2/consts3.koat	Omega(n^1)	0.030088
Complexity_ITS/Brockschmidt_16/T2/consts3nt.koat	No	0.0281161
Complexity_ITS/Brockschmidt_16/T2/consts4.koat	Omega(n^1)	0.0331191
Complexity_ITS/Brockschmidt_16/T2/consts4nt.koat	No	0.0285961
Complexity_ITS/Brockschmidt_16/T2/consts5.koat	Omega(n^0)	0.026992
Complexity_ITS/Brockschmidt_16/T2/consts5nt.koat	No	0.031752
Complexity_ITS/Brockschmidt_16/T2/cover.koat	Omega(n^0)	4.75821
Complexity_ITS/Brockschmidt_16/T2/crc.koat	Omega(n^0)	0.414465
Complexity_ITS/Brockschmidt_16/T2/create.koat	Inf	0.0439671
Complexity_ITS/Brockschmidt_16/T2/create_seg.koat	Inf	0.0866569
Complexity_ITS/Brockschmidt_16/T2/create_via_tmps.koat	Omega(n^1)	5.13253
Complexity_ITS/Brockschmidt_16/T2/ctl.koat	No	0.0794521
Complexity_ITS/Brockschmidt_16/T2/curious.koat	No	0.0272011
Complexity_ITS/Brockschmidt_16/T2/curious4.koat	No	2.33495
Complexity_ITS/Brockschmidt_16/T2/d.koat	No	0.0654269
Complexity_ITS/Brockschmidt_16/T2/db2.koat	No	296.965
Complexity_ITS/Brockschmidt_16/T2/db3.koat	No	14.0858
Complexity_ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.koat	No	0.859674
Complexity_ITS/Brockschmidt_16/T2/destroy.koat	Inf	3.01825
Complexity_ITS/Brockschmidt_16/T2/destroy_seg.koat	Inf	3.09674
Complexity_ITS/Brockschmidt_16/T2/destroy_seg_leak.koat	Inf	252.585
Complexity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.koat	Omega(n^0)	0.0420249
Complexity_ITS/Brockschmidt_16/T2/dropbuf-live.koat	Omega(n^0)	0.022041
Complexity_ITS/Brockschmidt_16/T2/dropbuf.koat	No	1.57551
Complexity_ITS/Brockschmidt_16/T2/dsa_test.koat	Omega(n^0)	0.0264741
Complexity_ITS/Brockschmidt_16/T2/dsa_test1.koat	Omega(n^0)	0.02129
Complexity_ITS/Brockschmidt_16/T2/dsa_test10.koat	Omega(n^0)	0.047545
Complexity_ITS/Brockschmidt_16/T2/dsa_test11.koat	Omega(n^0)	0.010451
Complexity_ITS/Brockschmidt_16/T2/dsa_test12.koat	Omega(n^0)	0.016229
Complexity_ITS/Brockschmidt_16/T2/dsa_test13.koat	Omega(n^0)	0.021912
Complexity_ITS/Brockschmidt_16/T2/dsa_test15.koat	Omega(n^0)	0.0442881
Complexity_ITS/Brockschmidt_16/T2/dsa_test4.koat	Omega(n^0)	0.019612
Complexity_ITS/Brockschmidt_16/T2/dsa_test5.koat	Omega(n^0)	0.0280299
Complexity_ITS/Brockschmidt_16/T2/dsa_test6.koat	Omega(n^0)	0.0265489
Complexity_ITS/Brockschmidt_16/T2/dsa_test8.koat	Omega(n^0)	0.0139759
Complexity_ITS/Brockschmidt_16/T2/dsa_test9.koat	Omega(n^0)	0.01185
Complexity_ITS/Brockschmidt_16/T2/dummy.koat	No	0.050684
Complexity_ITS/Brockschmidt_16/T2/e-1394complete-succeed.koat	No	7.81004
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.koat	No	0.053833
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.koat	No	0.103379
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.koat	No	0.069974
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.koat	No	0.082638
Complexity_ITS/Brockschmidt_16/T2/e-popl07-fail.koat	No	0.260749
Complexity_ITS/Brockschmidt_16/T2/edn.koat	Omega(n^0)	0.379285
Complexity_ITS/Brockschmidt_16/T2/efegp.koat	No	1.10908
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat	Omega(n^1)	6.54741
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	2.87865
Complexity_ITS/Brockschmidt_16/T2/elmhes.koat	Omega(n^1)	2.75285
Complexity_ITS/Brockschmidt_16/T2/eric.koat	Omega(n^1)	0.462826
Complexity_ITS/Brockschmidt_16/T2/eric1.koat	Omega(n^2)	1.20305
Complexity_ITS/Brockschmidt_16/T2/eric2.koat	Omega(n^1)	103.646
Complexity_ITS/Brockschmidt_16/T2/eric3.koat	No	0.0661641
Complexity_ITS/Brockschmidt_16/T2/ex1.koat	No	0.025949
Complexity_ITS/Brockschmidt_16/T2/ex10.koat	No	0.0938871
Complexity_ITS/Brockschmidt_16/T2/ex11.koat	No	0.456436
Complexity_ITS/Brockschmidt_16/T2/ex12.koat	Omega(n^0)	0.036958
Complexity_ITS/Brockschmidt_16/T2/ex13.koat	Omega(n^0)	0.0199929
Complexity_ITS/Brockschmidt_16/T2/ex14.koat	Omega(n^0)	0.0274339
Complexity_ITS/Brockschmidt_16/T2/ex15.koat	Omega(n^0)	0.0136331
Complexity_ITS/Brockschmidt_16/T2/ex16.koat	No	0.123713
Complexity_ITS/Brockschmidt_16/T2/ex17.koat	Omega(n^0)	0.0307439
Complexity_ITS/Brockschmidt_16/T2/ex18.koat	Omega(n^0)	0.101858
Complexity_ITS/Brockschmidt_16/T2/ex19.koat	No	0.0426879
Complexity_ITS/Brockschmidt_16/T2/ex2.koat	No	0.0380329
Complexity_ITS/Brockschmidt_16/T2/ex20.koat	Omega(n^0)	0.0542819
Complexity_ITS/Brockschmidt_16/T2/ex21.koat	Omega(n^0)	0.0457461
Complexity_ITS/Brockschmidt_16/T2/ex22.koat	Omega(n^0)	0.304705
Complexity_ITS/Brockschmidt_16/T2/ex23.koat	Omega(n^0)	0.0291849
Complexity_ITS/Brockschmidt_16/T2/ex26.koat	Omega(n^0)	0.0468301
Complexity_ITS/Brockschmidt_16/T2/ex27.koat	Omega(n^0)	0.462725
Complexity_ITS/Brockschmidt_16/T2/ex29.koat	Omega(n^0)	0.015026
Complexity_ITS/Brockschmidt_16/T2/ex3.koat	Omega(n^0)	0.029503
Complexity_ITS/Brockschmidt_16/T2/ex30.koat	Inf	0.061656
Complexity_ITS/Brockschmidt_16/T2/ex31.koat	No	0.546833
Complexity_ITS/Brockschmidt_16/T2/ex32.koat	Omega(n^0)	0.045275
Complexity_ITS/Brockschmidt_16/T2/ex33.koat	Omega(n^0)	0.0266709
Complexity_ITS/Brockschmidt_16/T2/ex34.koat	Omega(n^0)	0.013609
Complexity_ITS/Brockschmidt_16/T2/ex36.koat	No	22.4421
Complexity_ITS/Brockschmidt_16/T2/ex37.koat	Omega(n^0)	0.0130509
Complexity_ITS/Brockschmidt_16/T2/ex4.koat	Omega(n^0)	0.540482
Complexity_ITS/Brockschmidt_16/T2/ex40.koat	No	0.0258869
Complexity_ITS/Brockschmidt_16/T2/ex6.koat	Omega(n^0)	0.0112599
Complexity_ITS/Brockschmidt_16/T2/ex7.koat	Omega(n^0)	0.0277959
Complexity_ITS/Brockschmidt_16/T2/ex8.koat	No	0.0825731
Complexity_ITS/Brockschmidt_16/T2/ex9.koat	No	0.147078
Complexity_ITS/Brockschmidt_16/T2/example.koat	Omega(n^1)	0.207813
Complexity_ITS/Brockschmidt_16/T2/fake-succeed.koat	No	5.52937
Complexity_ITS/Brockschmidt_16/T2/fast_poll.koat	No	10.2132
Complexity_ITS/Brockschmidt_16/T2/fdct.koat	Omega(n^0)	0.056864
Complexity_ITS/Brockschmidt_16/T2/fermat.koat	Omega(n^0)	0.0844091
Complexity_ITS/Brockschmidt_16/T2/fibcall.koat	Omega(n^0)	0.022585
Complexity_ITS/Brockschmidt_16/T2/fir.koat	Inf	0.937166
Complexity_ITS/Brockschmidt_16/T2/firewire.koat	Inf	12.344
Complexity_ITS/Brockschmidt_16/T2/flipflop.koat	No	0.0339
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat	Omega(n^0)	252.074
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat	No	255.448
Complexity_ITS/Brockschmidt_16/T2/fourn.koat	No	255.459
Complexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.koat	Omega(n^2)	0.250004
Complexity_ITS/Brockschmidt_16/T2/fun1.koat	No	70.9439
Complexity_ITS/Brockschmidt_16/T2/fun10.koat	No	1.15288
Complexity_ITS/Brockschmidt_16/T2/fun10b.koat	No	1.0673
Complexity_ITS/Brockschmidt_16/T2/fun11.koat	No	0.096159
Complexity_ITS/Brockschmidt_16/T2/fun1b.koat	No	70.8025
Complexity_ITS/Brockschmidt_16/T2/fun2.koat	Omega(n^1)	48.5214
Complexity_ITS/Brockschmidt_16/T2/fun2b.koat	No	39.3225
Complexity_ITS/Brockschmidt_16/T2/fun3.koat	Omega(n^1)	48.0851
Complexity_ITS/Brockschmidt_16/T2/fun4-alt.koat	Omega(n^0)	1.11078
Complexity_ITS/Brockschmidt_16/T2/fun4.koat	Omega(n^0)	0.109759
Complexity_ITS/Brockschmidt_16/T2/fun5.koat	Omega(n^1)	12.3159
Complexity_ITS/Brockschmidt_16/T2/fun6.koat	No	262.699
Complexity_ITS/Brockschmidt_16/T2/fun7.koat	No	4.24161
Complexity_ITS/Brockschmidt_16/T2/fun8.koat	Omega(n^0)	1.90086
Complexity_ITS/Brockschmidt_16/T2/fun9.koat	Inf	1.18794
Complexity_ITS/Brockschmidt_16/T2/graycode.koat	Omega(n^0)	0.769778
Complexity_ITS/Brockschmidt_16/T2/heidy1.koat	No	0.02601
Complexity_ITS/Brockschmidt_16/T2/heidy10.koat	Inf	0.178355
Complexity_ITS/Brockschmidt_16/T2/heidy2.koat	No	0.058956
Complexity_ITS/Brockschmidt_16/T2/heidy3.koat	No	0.094027
Complexity_ITS/Brockschmidt_16/T2/heidy5.koat	Omega(n^1)	0.0327731
Complexity_ITS/Brockschmidt_16/T2/heidy6.koat	No	0.0760989
Complexity_ITS/Brockschmidt_16/T2/heidy7-simple.koat	No	0.0478801
Complexity_ITS/Brockschmidt_16/T2/heidy7.koat	No	2.32218
Complexity_ITS/Brockschmidt_16/T2/heidy8.koat	No	2.30369
Complexity_ITS/Brockschmidt_16/T2/heidy9.koat	Omega(n^1)	0.028539
Complexity_ITS/Brockschmidt_16/T2/hongyi1.koat	Omega(n^1)	3.07123
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat	Omega(n^0)	252.27
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	8.54215
Complexity_ITS/Brockschmidt_16/T2/hqr.koat	Omega(n^1)	8.78014
Complexity_ITS/Brockschmidt_16/T2/huh.koat	Inf	0.082287
Complexity_ITS/Brockschmidt_16/T2/iecs.koat	Omega(n^0)	0.491811
Complexity_ITS/Brockschmidt_16/T2/insertsort.koat	No	0.0428749
Complexity_ITS/Brockschmidt_16/T2/intSqRoot.koat	No	4.0371
Complexity_ITS/Brockschmidt_16/T2/invgen.koat	Omega(n^1)	0.189672
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat	Omega(n^0)	252.096
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	6.55711
Complexity_ITS/Brockschmidt_16/T2/jacobi.koat	Omega(n^1)	6.65445
Complexity_ITS/Brockschmidt_16/T2/janne_complex.koat	Omega(n^0)	0.419003
Complexity_ITS/Brockschmidt_16/T2/jfdctint.koat	Omega(n^0)	0.0734989
Complexity_ITS/Brockschmidt_16/T2/loop3.koat	Omega(n^0)	294.746
Complexity_ITS/Brockschmidt_16/T2/loop_on_input.koat	Omega(n^0)	0.0558569
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat	Omega(n^1)	17.2167
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	1.68656
Complexity_ITS/Brockschmidt_16/T2/ludcmp.koat	Omega(n^1)	1.95187
Complexity_ITS/Brockschmidt_16/T2/magic.koat	Inf	10.8436
Complexity_ITS/Brockschmidt_16/T2/matmul.koat	Omega(n^0)	0.109662
Complexity_ITS/Brockschmidt_16/T2/matmult.koat	Omega(n^0)	0.165191
Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.koat	Omega(n^0)	0.408745
Complexity_ITS/Brockschmidt_16/T2/mc91.koat	Inf	0.565693
Complexity_ITS/Brockschmidt_16/T2/mc91test.koat	Inf	0.96111
Complexity_ITS/Brockschmidt_16/T2/minmax.koat	Omega(n^0)	0.0128959
Complexity_ITS/Brockschmidt_16/T2/n-1.koat	No	0.0467301
Complexity_ITS/Brockschmidt_16/T2/n-10.koat	No	0.162311
Complexity_ITS/Brockschmidt_16/T2/n-12.koat	No	0.262685
Complexity_ITS/Brockschmidt_16/T2/n-12a.koat	No	0.0280829
Complexity_ITS/Brockschmidt_16/T2/n-13.koat	No	0.0293809
Complexity_ITS/Brockschmidt_16/T2/n-14.koat	No	0.246594
Complexity_ITS/Brockschmidt_16/T2/n-15.koat	No	0.0498771
Complexity_ITS/Brockschmidt_16/T2/n-15a.koat	No	0.298042
Complexity_ITS/Brockschmidt_16/T2/n-16.koat	No	0.0489849
Complexity_ITS/Brockschmidt_16/T2/n-16a.koat	No	1.02399
Complexity_ITS/Brockschmidt_16/T2/n-17.koat	No	0.048359
Complexity_ITS/Brockschmidt_16/T2/n-18.koat	No	0.0285709
Complexity_ITS/Brockschmidt_16/T2/n-18a.koat	No	0.181129
Complexity_ITS/Brockschmidt_16/T2/n-1c.koat	No	0.157348
Complexity_ITS/Brockschmidt_16/T2/n-1d.koat	No	0.269904
Complexity_ITS/Brockschmidt_16/T2/n-20.koat	No	0.0356141
Complexity_ITS/Brockschmidt_16/T2/n-21.koat	No	0.060015
Complexity_ITS/Brockschmidt_16/T2/n-3.koat	No	0.0486401
Complexity_ITS/Brockschmidt_16/T2/n-32.koat	No	0.172542
Complexity_ITS/Brockschmidt_16/T2/n-33.koat	No	2.61585
Complexity_ITS/Brockschmidt_16/T2/n-36.koat	No	0.111643
Complexity_ITS/Brockschmidt_16/T2/n-37.koat	No	0.0261631
Complexity_ITS/Brockschmidt_16/T2/n-3a.koat	No	0.405658
Complexity_ITS/Brockschmidt_16/T2/n-4.koat	No	252.113
Complexity_ITS/Brockschmidt_16/T2/n-40.koat	No	0.396923
Complexity_ITS/Brockschmidt_16/T2/n-46.koat	No	0.035214
Complexity_ITS/Brockschmidt_16/T2/n-48.koat	No	0.188165
Complexity_ITS/Brockschmidt_16/T2/n-5.koat	No	0.221094
Complexity_ITS/Brockschmidt_16/T2/n-6.koat	No	0.263436
Complexity_ITS/Brockschmidt_16/T2/n-6a.koat	No	0.183991
Complexity_ITS/Brockschmidt_16/T2/n-7.koat	No	0.0373549
Complexity_ITS/Brockschmidt_16/T2/n-8.koat	No	0.151417
Complexity_ITS/Brockschmidt_16/T2/n-8a.koat	No	0.0315399
Complexity_ITS/Brockschmidt_16/T2/n-9.koat	No	1.36424
Complexity_ITS/Brockschmidt_16/T2/n_firewire_instrumented-PP.koat	Inf	6.12872
Complexity_ITS/Brockschmidt_16/T2/nakata.koat	Inf	2.13435
Complexity_ITS/Brockschmidt_16/T2/nakata_withassume.koat	Inf	2.37233
Complexity_ITS/Brockschmidt_16/T2/ndes.koat	Omega(n^0)	296.466
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-fail.koat	No	5.97831
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-succeed.koat	No	7.80729
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-fail.koat	No	8.48985
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-succeed.koat	No	7.97403
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.koat	No	0.091346
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.koat	No	0.0539741
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.koat	No	0.072284
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.koat	No	0.0713319
Complexity_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.koat	No	0.250605
Complexity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.koat	No	0.0786289
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.koat	No	0.138639
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.koat	No	0.161567
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.koat	No	0.250082
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.koat	No	0.253568
Complexity_ITS/Brockschmidt_16/T2/nested.koat	Inf	0.167112
Complexity_ITS/Brockschmidt_16/T2/nested2.koat	Inf	0.0998741
Complexity_ITS/Brockschmidt_16/T2/new_ex.koat	Inf	1.11197
Complexity_ITS/Brockschmidt_16/T2/non_term.koat	No	0.193316
Complexity_ITS/Brockschmidt_16/T2/ns.koat	Omega(n^0)	0.089623
Complexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.koat	No	0.024428
Complexity_ITS/Brockschmidt_16/T2/p-1.koat	No	0.0335951
Complexity_ITS/Brockschmidt_16/T2/p-10.koat	No	0.0328739
Complexity_ITS/Brockschmidt_16/T2/p-12.koat	Omega(n^1)	0.031476
Complexity_ITS/Brockschmidt_16/T2/p-13.koat	Omega(n^0)	0.0159061
Complexity_ITS/Brockschmidt_16/T2/p-14.koat	Omega(n^1)	0.030234
Complexity_ITS/Brockschmidt_16/T2/p-15.koat	Omega(n^1)	0.0296379
Complexity_ITS/Brockschmidt_16/T2/p-16.koat	Omega(n^1)	0.0309511
Complexity_ITS/Brockschmidt_16/T2/p-18.koat	Omega(n^1)	0.028984
Complexity_ITS/Brockschmidt_16/T2/p-19.koat	No	0.030051
Complexity_ITS/Brockschmidt_16/T2/p-19a.koat	No	0.0302589
Complexity_ITS/Brockschmidt_16/T2/p-1a.koat	No	0.0319069
Complexity_ITS/Brockschmidt_16/T2/p-1b.koat	Omega(n^1)	0.0318299
Complexity_ITS/Brockschmidt_16/T2/p-1c.koat	No	0.033079
Complexity_ITS/Brockschmidt_16/T2/p-1d.koat	Omega(n^1)	0.36302
Complexity_ITS/Brockschmidt_16/T2/p-20.koat	No	0.0332449
Complexity_ITS/Brockschmidt_16/T2/p-21.koat	Omega(n^1)	0.160016
Complexity_ITS/Brockschmidt_16/T2/p-22.koat	Omega(n^1)	0.030771
Complexity_ITS/Brockschmidt_16/T2/p-3.koat	Omega(n^1)	0.05549
Complexity_ITS/Brockschmidt_16/T2/p-32.koat	No	0.1811
Complexity_ITS/Brockschmidt_16/T2/p-33.koat	No	1.14788
Complexity_ITS/Brockschmidt_16/T2/p-34.koat	No	0.129642
Complexity_ITS/Brockschmidt_16/T2/p-36.koat	No	0.0630661
Complexity_ITS/Brockschmidt_16/T2/p-37.koat	Omega(n^0)	0.037856
Complexity_ITS/Brockschmidt_16/T2/p-4.koat	Omega(n^1)	0.130393
Complexity_ITS/Brockschmidt_16/T2/p-40.koat	Inf	0.0318461
Complexity_ITS/Brockschmidt_16/T2/p-41.koat	Omega(n^0)	0.019175
Complexity_ITS/Brockschmidt_16/T2/p-42.koat	Omega(n^1)	0.069589
Complexity_ITS/Brockschmidt_16/T2/p-43-terminate.koat	Omega(n^1)	8.12393
Complexity_ITS/Brockschmidt_16/T2/p-43.koat	Omega(n^1)	0.415156
Complexity_ITS/Brockschmidt_16/T2/p-44.koat	Omega(n^1)	0.0408159
Complexity_ITS/Brockschmidt_16/T2/p-45.koat	Omega(n^1)	0.0478569
Complexity_ITS/Brockschmidt_16/T2/p-46.koat	No	0.405527
Complexity_ITS/Brockschmidt_16/T2/p-49.koat	Omega(n^1)	0.0302511
Complexity_ITS/Brockschmidt_16/T2/p-5.koat	No	0.218354
Complexity_ITS/Brockschmidt_16/T2/p-52.koat	No	0.028171
Complexity_ITS/Brockschmidt_16/T2/p-53.koat	Omega(n^0)	0.015268
Complexity_ITS/Brockschmidt_16/T2/p-55.koat	Omega(n^1)	0.178329
Complexity_ITS/Brockschmidt_16/T2/p-56.koat	Omega(n^1)	0.073256
Complexity_ITS/Brockschmidt_16/T2/p-58.koat	Omega(n^0)	0.014856
Complexity_ITS/Brockschmidt_16/T2/p-6.koat	Omega(n^1)	0.361028
Complexity_ITS/Brockschmidt_16/T2/p-60.koat	Omega(n^0)	0.0332921
Complexity_ITS/Brockschmidt_16/T2/p-61.koat	Omega(n^0)	0.0322181
Complexity_ITS/Brockschmidt_16/T2/p-63.koat	Omega(n^1)	0.179755
Complexity_ITS/Brockschmidt_16/T2/p-7.koat	Omega(n^1)	0.0421569
Complexity_ITS/Brockschmidt_16/T2/p-7b.koat	Omega(n^1)	0.040169
Complexity_ITS/Brockschmidt_16/T2/p-8.koat	No	0.031455
Complexity_ITS/Brockschmidt_16/T2/p-9.koat	No	0.0309761
Complexity_ITS/Brockschmidt_16/T2/pearl-necklace.koat	Omega(n^1)	0.172916
Complexity_ITS/Brockschmidt_16/T2/pentagon.koat	Omega(n^0)	0.290588
Complexity_ITS/Brockschmidt_16/T2/pgarch.koat	Omega(n^0)	297.807
Complexity_ITS/Brockschmidt_16/T2/pldi.koat	Omega(n^1)	1.02752
Complexity_ITS/Brockschmidt_16/T2/polling.bug.koat	No	7.73795
Complexity_ITS/Brockschmidt_16/T2/polling.koat	No	7.12658
Complexity_ITS/Brockschmidt_16/T2/polyrank1.koat	Omega(n^1)	0.204052
Complexity_ITS/Brockschmidt_16/T2/polyrank2.koat	Omega(n^0)	0.0361799
Complexity_ITS/Brockschmidt_16/T2/polyrank3.koat	Omega(n^1)	17.5943
Complexity_ITS/Brockschmidt_16/T2/polyrank4.koat	Omega(n^1)	1.02231
Complexity_ITS/Brockschmidt_16/T2/polyrank5.koat	Omega(n^1)	0.107521
Complexity_ITS/Brockschmidt_16/T2/polyrank6.koat	Omega(n^1)	6.12054
Complexity_ITS/Brockschmidt_16/T2/polyrank7.koat	No	0.0947621
Complexity_ITS/Brockschmidt_16/T2/popl07-fail.koat	No	0.135696
Complexity_ITS/Brockschmidt_16/T2/popl07-succeed.koat	No	0.123833
Complexity_ITS/Brockschmidt_16/T2/print.koat	Inf	254.595
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat	Omega(n^1)	252.106
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	2.3663
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.koat	Omega(n^1)	2.29451
Complexity_ITS/Brockschmidt_16/T2/queens.koat	Omega(n^0)	0.887132
Complexity_ITS/Brockschmidt_16/T2/queue_1.koat	Omega(n^0)	0.206951
Complexity_ITS/Brockschmidt_16/T2/queue_10.koat	Omega(n^0)	0.284258
Complexity_ITS/Brockschmidt_16/T2/queue_100.koat	Omega(n^0)	0.286201
Complexity_ITS/Brockschmidt_16/T2/queue_1000.koat	Omega(n^0)	0.286909
Complexity_ITS/Brockschmidt_16/T2/randomwalk.koat	Inf	2.95873
Complexity_ITS/Brockschmidt_16/T2/randomwalk_withassume.koat	Inf	3.77174
Complexity_ITS/Brockschmidt_16/T2/refine_disj_problem.koat	No	0.280242
Complexity_ITS/Brockschmidt_16/T2/rev_nt2.koat	No	0.321042
Complexity_ITS/Brockschmidt_16/T2/rev_nt3.koat	No	0.363702
Complexity_ITS/Brockschmidt_16/T2/rev_nt4.koat	Omega(n^0)	0.0216071
Complexity_ITS/Brockschmidt_16/T2/reverse.koat	Inf	19.9925
Complexity_ITS/Brockschmidt_16/T2/reverse_div4.koat	No	0.206642
Complexity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.koat	Omega(n^1)	49.2822
Complexity_ITS/Brockschmidt_16/T2/rewrite.koat	No	0.0246211
Complexity_ITS/Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat	Omega(n^1)	2.06512
Complexity_ITS/Brockschmidt_16/T2/rlft3.koat	Omega(n^1)	1.38074
Complexity_ITS/Brockschmidt_16/T2/s1-saved.koat	Inf	30.6624
Complexity_ITS/Brockschmidt_16/T2/s3-work.koat	Inf	255.951
Complexity_ITS/Brockschmidt_16/T2/sas1.koat	Omega(n^1)	5.59809
Complexity_ITS/Brockschmidt_16/T2/sas2.koat	Omega(n^1)	20.7558
Complexity_ITS/Brockschmidt_16/T2/select.koat	No	0.694374
Complexity_ITS/Brockschmidt_16/T2/selectSort.koat	Omega(n^2)	0.895787
Complexity_ITS/Brockschmidt_16/T2/send-more-money.koat	Omega(n^0)	0.109715
Complexity_ITS/Brockschmidt_16/T2/seq.koat	Omega(n^1)	0.0290371
Complexity_ITS/Brockschmidt_16/T2/seq2.koat	Omega(n^1)	0.029504
Complexity_ITS/Brockschmidt_16/T2/sequential_swap.koat	Omega(n^0)	0.020866
Complexity_ITS/Brockschmidt_16/T2/simple.koat	No	0.106789
Complexity_ITS/Brockschmidt_16/T2/simpleWhile.koat	Omega(n^1)	0.121299
Complexity_ITS/Brockschmidt_16/T2/simple_array_inversion.koat	Omega(n^0)	0.027389
Complexity_ITS/Brockschmidt_16/T2/simple_control_on_input.koat	Omega(n^0)	0.03551
Complexity_ITS/Brockschmidt_16/T2/simple_double_free.koat	Omega(n^0)	0.0142769
Complexity_ITS/Brockschmidt_16/T2/simple_fail.koat	Omega(n^0)	0.0142779
Complexity_ITS/Brockschmidt_16/T2/simple_pre.koat	Omega(n^0)	0.010287
Complexity_ITS/Brockschmidt_16/T2/simple_pre1.koat	Omega(n^0)	0.02154
Complexity_ITS/Brockschmidt_16/T2/simple_pre2.koat	Omega(n^0)	0.0134129
Complexity_ITS/Brockschmidt_16/T2/simple_pre3.koat	Omega(n^0)	0.0151729
Complexity_ITS/Brockschmidt_16/T2/simple_swap_call.koat	Omega(n^0)	0.01397
Complexity_ITS/Brockschmidt_16/T2/slayer-1-filtered.koat	Inf	0.230827
Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.koat	Omega(n^1)	0.317362
Complexity_ITS/Brockschmidt_16/T2/slayer-2-filtered.koat	Omega(n^0)	0.0278391
Complexity_ITS/Brockschmidt_16/T2/slayer-3-filtered.koat	No	4.82788
Complexity_ITS/Brockschmidt_16/T2/slayer-3-new.koat	No	255.355
Complexity_ITS/Brockschmidt_16/T2/slayer-3.koat	Inf	254.642
Complexity_ITS/Brockschmidt_16/T2/slayer-4-filtered.koat	No	144.471
Complexity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.koat	No	0.0941981
Complexity_ITS/Brockschmidt_16/T2/slayer-n1.koat	No	1.30811
Complexity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.koat	No	0.0484391
Complexity_ITS/Brockschmidt_16/T2/slayer-n2.koat	No	0.0289469
Complexity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.koat	Omega(n^0)	0.0380299
Complexity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.koat	No	5.78714
Complexity_ITS/Brockschmidt_16/T2/smagilla-succeed.koat	No	0.251796
Complexity_ITS/Brockschmidt_16/T2/smagillb-succeed.koat	No	0.245744
Complexity_ITS/Brockschmidt_16/T2/smagillc-fail.koat	No	1.31616
Complexity_ITS/Brockschmidt_16/T2/smagillc-succeed.koat	No	0.255933
Complexity_ITS/Brockschmidt_16/T2/sort.koat	Omega(n^0)	0.971891
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat	Omega(n^1)	78.4689
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	67.722
Complexity_ITS/Brockschmidt_16/T2/spctrm.koat	Omega(n^1)	67.9239
Complexity_ITS/Brockschmidt_16/T2/spiral.koat	Omega(n^1)	0.332976
Complexity_ITS/Brockschmidt_16/T2/st88.bug.koat	No	0.581634
Complexity_ITS/Brockschmidt_16/T2/st88.koat	No	0.22261
Complexity_ITS/Brockschmidt_16/T2/statemate.koat	Omega(n^0)	262.27
Complexity_ITS/Brockschmidt_16/T2/stored.koat	No	0.462344
Complexity_ITS/Brockschmidt_16/T2/streamserver-succeed.koat	No	2.08239
Complexity_ITS/Brockschmidt_16/T2/streamserver.bug.koat	No	3.90016
Complexity_ITS/Brockschmidt_16/T2/subpoly_crash.koat	No	0.0264361
Complexity_ITS/Brockschmidt_16/T2/sudoku.koat	Inf	252.077
Complexity_ITS/Brockschmidt_16/T2/sumit.koat	Omega(n^1)	1.33137
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat	Omega(n^0)	252.277
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	294.357
Complexity_ITS/Brockschmidt_16/T2/svdcmp.koat	Omega(n^1)	294.365
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat	Omega(n^0)	260.809
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat	Inf	0.999742
Complexity_ITS/Brockschmidt_16/T2/toeplz.koat	Inf	0.991589
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat	Omega(n^0)	252.072
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	3.12473
Complexity_ITS/Brockschmidt_16/T2/tqli.koat	Omega(n^1)	3.12193
Complexity_ITS/Brockschmidt_16/T2/traverse.koat	Inf	29.3842
Complexity_ITS/Brockschmidt_16/T2/traverse2.koat	Inf	254.173
Complexity_ITS/Brockschmidt_16/T2/traverse_seg.koat	Inf	29.5502
Complexity_ITS/Brockschmidt_16/T2/traverse_seg2.koat	Inf	68.7636
Complexity_ITS/Brockschmidt_16/T2/traverse_twice.koat	Inf	253.524
Complexity_ITS/Brockschmidt_16/T2/two_arrays.koat	Omega(n^0)	0.144449
Complexity_ITS/Brockschmidt_16/T2/two_arrays1.koat	Omega(n^0)	0.216147
Complexity_ITS/Brockschmidt_16/T2/two_arrays2.koat	Omega(n^1)	0.473169
Complexity_ITS/Brockschmidt_16/T2/two_arrays6.koat	Omega(n^1)	0.483204
Complexity_ITS/Brockschmidt_16/T2/ud.koat	Omega(n^0)	1.03054
Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.koat	Omega(n^0)	0.0218201
Complexity_ITS/Brockschmidt_16/T2/vmcai_struct.koat	Omega(n^0)	0.015998
Complexity_ITS/Brockschmidt_16/T2/w1.koat	No	0.0301509
Complexity_ITS/Brockschmidt_16/T2/w2_nt.koat	No	0.26717
Complexity_ITS/Brockschmidt_16/T2/walk.koat	No	0.585823
Complexity_ITS/Brockschmidt_16/T2/wrong_loop.koat	No	0.215162
Complexity_ITS/Brockschmidt_16/T2/wtf.koat	Omega(n^1)	48.1408
Complexity_ITS/Brockschmidt_16/T2/zeroconf.koat	Omega(n^0)	25.078
Complexity_ITS/Brockschmidt_16/T2/zeroconf_withassume.koat	Omega(n^0)	30.8683
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex01.koat	Omega(n^1)	0.042744
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex02.koat	Omega(n^2)	0.14565
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex03.koat	Omega(n^4)	1.03929
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex04.koat	Omega(n^0)	6.44877
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex05.koat	Omega(n^2)	0.143527
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex06.koat	Omega(n^2)	0.098501
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex07.koat	Omega(n^2)	0.329216
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex08.koat	Omega(n^2)	0.313252
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex09.koat	Omega(n^2)	0.325875
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex10.koat	Omega(n^2)	0.319797
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex11.koat	Omega(n^2)	0.313319
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex12.koat	Omega(n^1)	0.0663711
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex13.koat	Omega(n^3)	0.729995
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex14.koat	Omega(n^4)	0.699665
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex15.koat	No	6.55836
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example1.koat	Omega(n^1)	0.180316
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example2.koat	Omega(n^1)	295.646
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example3.koat	Omega(n^0)	0.142471
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex1.koat	Omega(n^1)	0.629966
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex2.koat	Omega(n^1)	1.72739
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex3.koat	Omega(n^1)	6.07944
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat	Omega(n^1)	0.147027
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat	Omega(n^2)	0.214262
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat	Omega(n^1)	0.114381
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat	Omega(n^1)	0.646144
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat	Omega(n^2)	0.221124
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat	Omega(n^1)	4.58997
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat	Omega(n^1)	0.092
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat	Omega(n^1)	0.37109
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat	Omega(n^2)	1.12006
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat	Omega(n^1)	0.496799
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat	Omega(n^2)	1.70759
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat	No	0.083101
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat	No	0.0882921
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat	Omega(n^1)	0.108393
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat	No	0.116367
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat	Omega(n^1)	0.268121
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat	Omega(n^1)	0.483072
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat	Omega(n^1)	0.15973
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat	Omega(n^1)	0.284458
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat	Omega(n^1)	0.291835
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat	Omega(n^2)	0.332942
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat	Omega(n^1)	0.102324
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat	Omega(n^1)	0.092561
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat	Omega(n^1)	0.148967
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat	Omega(n^2)	0.219212
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat	Omega(n^1)	0.0396709
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat	Omega(n^1)	0.110641
Complexity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.koat	Omega(n^1)	3.08947
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ax.koat	Omega(n^2)	0.173189
Complexity_ITS/Brockschmidt_16/c-examples/WTC/complex.koat	Omega(n^1)	294.041
Complexity_ITS/Brockschmidt_16/c-examples/WTC/counterex1b.koat	Omega(n^2)	6.20601
Complexity_ITS/Brockschmidt_16/c-examples/WTC/cousot9.koat	Inf	0.279109
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy1.koat	Omega(n^0)	0.119771
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy2.koat	Omega(n^1)	0.038318
Complexity_ITS/Brockschmidt_16/c-examples/WTC/exmini.koat	Omega(n^1)	0.0708889
Complexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.koat	Omega(n^1)	1.88388
Complexity_ITS/Brockschmidt_16/c-examples/WTC/insertsort.koat	Omega(n^2)	0.500273
Complexity_ITS/Brockschmidt_16/c-examples/WTC/loops.koat	Omega(n^0)	0.152979
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.koat	Omega(n^0)	0.03253
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.koat	Omega(n^1)	0.038224
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.koat	Omega(n^2)	0.985784
Complexity_ITS/Brockschmidt_16/c-examples/WTC/perfect.koat	Omega(n^1)	5.8851
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random1d.koat	Omega(n^1)	0.0464111
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random2d.koat	Omega(n^1)	0.284518
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realbubble.koat	Omega(n^2)	0.81489
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort.koat	Omega(n^0)	4.92897
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat	Omega(n^0)	2.84129
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat	Omega(n^1)	3.64542
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realselect.koat	Omega(n^2)	0.101341
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realshellsort.koat	Omega(n^1)	6.97379
Complexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.koat	Omega(n^1)	0.137953
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipma91.koat	Omega(n^1)	1.62488
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipmabubble.koat	Omega(n^2)	0.759622
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedFails4.koat	Omega(n^1)	0.371541
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.koat	Omega(n^1)	0.662875
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.koat	Omega(n^2)	0.211317
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.koat	Omega(n^1)	1.51467
Complexity_ITS/Brockschmidt_16/c-examples/WTC/terminate.koat	Omega(n^1)	0.071631
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.koat	Omega(n^1)	1.15448
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.koat	Omega(n^1)	0.11024
Complexity_ITS/Brockschmidt_16/c-examples/WTC/while2.koat	Omega(n^2)	0.15421
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wise.koat	Omega(n^1)	0.0854069
Complexity_ITS/Brockschmidt_16/costa/RAML/rationalPotential.koat	Omega(n^1)	0.0632109
Complexity_ITS/Brockschmidt_16/costa/misc/ack.koat	Omega(n^1)	0.128622
Complexity_ITS/Brockschmidt_16/costa/misc/direct_n_log_n.koat	Omega(n^0)	0.0912751
Complexity_ITS/Brockschmidt_16/costa/misc/linear.koat	Omega(n^1)	0.0361129
Complexity_ITS/Brockschmidt_16/costa/misc/logarithmic.koat	Omega(n^0)	0.0327599
Complexity_ITS/Brockschmidt_16/costa/misc/merge.koat	Omega(n^1)	0.142538
Complexity_ITS/Brockschmidt_16/costa/misc/mspe.koat	Omega(n^1)	0.944218
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.koat	Omega(n^1)	0.211394
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.koat	Omega(n^1)	294.81
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.koat	Omega(n^0)	0.133711
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.koat	Omega(n^2)	2.42386
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.koat	Omega(n^1)	0.237887
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.koat	Omega(n^1)	0.290407
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.koat	Omega(n^1)	0.171521
Complexity_ITS/Flores-Montoya_16/Loopus2015_original.c.koat	Omega(n^1)	0.371271
Complexity_ITS/Flores-Montoya_16/aaron12.c.koat	Omega(n^1)	32.9298
Complexity_ITS/Flores-Montoya_16/aaron2.c.koat	Omega(n^1)	0.518691
Complexity_ITS/Flores-Montoya_16/aaron3.c.koat	Omega(n^1)	0.159883
Complexity_ITS/Flores-Montoya_16/alain.c.koat	Omega(n^2)	0.39619
Complexity_ITS/Flores-Montoya_16/ax.c.koat	Omega(n^2)	0.218033
Complexity_ITS/Flores-Montoya_16/catmouse.c.koat	No	0.324365
Complexity_ITS/Flores-Montoya_16/complex.c.koat	Omega(n^1)	294.039
Complexity_ITS/Flores-Montoya_16/counterex1a.c.koat	Omega(n^1)	0.470971
Complexity_ITS/Flores-Montoya_16/counterex1b.c.koat	Omega(n^2)	0.420349
Complexity_ITS/Flores-Montoya_16/counterex1c.c.koat	Omega(n^1)	0.385856
Complexity_ITS/Flores-Montoya_16/cousot9.c.koat	Omega(n^2)	0.212806
Complexity_ITS/Flores-Montoya_16/easy1.c.koat	Omega(n^0)	0.132004
Complexity_ITS/Flores-Montoya_16/easy2.c.koat	Omega(n^1)	0.0601419
Complexity_ITS/Flores-Montoya_16/ex_paper1.c.koat	Omega(n^2)	1.21587
Complexity_ITS/Flores-Montoya_16/ex_paper2.c.koat	Omega(n^2)	0.13155
Complexity_ITS/Flores-Montoya_16/ex_paper3.c.koat	Omega(n^2)	1.11384
Complexity_ITS/Flores-Montoya_16/exmini.c.koat	Omega(n^1)	0.108047
Complexity_ITS/Flores-Montoya_16/heapsort.c.koat	Omega(n^0)	0.698305
Complexity_ITS/Flores-Montoya_16/insertsort.c.koat	Omega(n^2)	0.741032
Complexity_ITS/Flores-Montoya_16/jama_ex1.c.koat	Omega(n^2)	0.194585
Complexity_ITS/Flores-Montoya_16/jama_ex2.c.koat	Omega(n^2)	0.179402
Complexity_ITS/Flores-Montoya_16/jama_ex3.c.koat	Omega(n^2)	0.134406
Complexity_ITS/Flores-Montoya_16/jama_ex4.c.koat	Omega(n^2)	0.405787
Complexity_ITS/Flores-Montoya_16/jama_ex5.c.koat	Omega(n^2)	0.968115
Complexity_ITS/Flores-Montoya_16/jama_ex6.c.koat	Omega(n^3)	0.446609
Complexity_ITS/Flores-Montoya_16/jama_ex7.c.koat	Omega(n^2)	0.35511
Complexity_ITS/Flores-Montoya_16/knuth_morris_pratt.c.koat	Omega(n^1)	1.59542
Complexity_ITS/Flores-Montoya_16/loops.c.koat	Omega(n^0)	0.163236
Complexity_ITS/Flores-Montoya_16/nd_loop.c.koat	Omega(n^0)	0.057159
Complexity_ITS/Flores-Montoya_16/ndecr.c.koat	Omega(n^1)	0.059971
Complexity_ITS/Flores-Montoya_16/nestedLoop.c.koat	Omega(n^2)	13.263
Complexity_ITS/Flores-Montoya_16/nested_loop.c.koat	Omega(n^2)	0.769055
Complexity_ITS/Flores-Montoya_16/perfect.c.koat	Omega(n^1)	7.00598
Complexity_ITS/Flores-Montoya_16/perfect1.c.koat	Omega(n^1)	6.34429
Complexity_ITS/Flores-Montoya_16/perfect2.c.koat	Omega(n^1)	6.40965
Complexity_ITS/Flores-Montoya_16/perfectg.c.koat	Omega(n^1)	5.77738
Complexity_ITS/Flores-Montoya_16/random1d.c.koat	Omega(n^1)	0.0903589
Complexity_ITS/Flores-Montoya_16/random2d.c.koat	Omega(n^1)	0.872711
Complexity_ITS/Flores-Montoya_16/rank1.c.koat	Omega(n^1)	0.411102
Complexity_ITS/Flores-Montoya_16/rank2.c.koat	Omega(n^1)	0.477698
Complexity_ITS/Flores-Montoya_16/rank3.c.koat	Omega(n^1)	2.62625
Complexity_ITS/Flores-Montoya_16/real2.c.koat	No	0.362354
Complexity_ITS/Flores-Montoya_16/realbubble.c.koat	Omega(n^2)	0.866296
Complexity_ITS/Flores-Montoya_16/realheapsort.c.koat	Omega(n^0)	5.0011
Complexity_ITS/Flores-Montoya_16/realheapsort_step1.c.koat	Omega(n^0)	3.036
Complexity_ITS/Flores-Montoya_16/realheapsort_step2.c.koat	Omega(n^1)	3.80941
Complexity_ITS/Flores-Montoya_16/realselect.c.koat	Omega(n^2)	0.150889
Complexity_ITS/Flores-Montoya_16/realshellsort.c.koat	Omega(n^1)	6.11691
Complexity_ITS/Flores-Montoya_16/relation1.c.koat	Omega(n^0)	0.021342
Complexity_ITS/Flores-Montoya_16/rsd.c.koat	Omega(n^1)	0.151594
Complexity_ITS/Flores-Montoya_16/serpent.c.koat	Omega(n^2)	0.381412
Complexity_ITS/Flores-Montoya_16/sipma91.c.koat	Omega(n^1)	0.814398
Complexity_ITS/Flores-Montoya_16/sipmabubble.c.koat	Omega(n^2)	0.85337
Complexity_ITS/Flores-Montoya_16/sipmamergesort.c.koat	Omega(n^0)	1.1869
Complexity_ITS/Flores-Montoya_16/sipmamergesort2.c.koat	Omega(n^0)	1.692
Complexity_ITS/Flores-Montoya_16/speedDis1.c.koat	Omega(n^1)	0.173816
Complexity_ITS/Flores-Montoya_16/speedDis2.c.koat	Omega(n^1)	0.307862
Complexity_ITS/Flores-Montoya_16/speedFails1.c.koat	No	0.222456
Complexity_ITS/Flores-Montoya_16/speedFails2.c.koat	No	0.070221
Complexity_ITS/Flores-Montoya_16/speedFails3.c.koat	No	0.513
Complexity_ITS/Flores-Montoya_16/speedFails4.c.koat	Omega(n^1)	0.435347
Complexity_ITS/Flores-Montoya_16/speedNestedMultiple.c.koat	Omega(n^1)	0.205509
Complexity_ITS/Flores-Montoya_16/speedNestedMultipleDep.c.koat	Omega(n^2)	0.353076
Complexity_ITS/Flores-Montoya_16/speedSimpleMultiple.c.koat	Omega(n^1)	0.170915
Complexity_ITS/Flores-Montoya_16/speedSimpleMultipleDep.c.koat	Omega(n^2)	0.238316
Complexity_ITS/Flores-Montoya_16/speedSingleSingle.c.koat	Omega(n^1)	0.0694929
Complexity_ITS/Flores-Montoya_16/speedSingleSingle2.c.koat	Omega(n^1)	0.154061
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.koat	Omega(n^1)	0.15818
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.koat	Omega(n^1)	1.10468
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.koat	Omega(n^1)	1.97519
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.koat	Omega(n^1)	0.136345
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.koat	Omega(n^2)	0.240091
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.koat	Omega(n^1)	0.142202
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.koat	Omega(n^1)	0.097415
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.koat	Omega(n^1)	0.181527
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.koat	Omega(n^1)	0.303131
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_multiple.c.koat	Omega(n^1)	0.303711
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_single.c.koat	Omega(n^1)	0.150269
Complexity_ITS/Flores-Montoya_16/speed_popl10_sequential_single.c.koat	Omega(n^1)	0.127653
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_multiple.c.koat	Omega(n^1)	0.167324
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single.c.koat	Omega(n^1)	0.0682661
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single_2.c.koat	Omega(n^1)	0.141068
Complexity_ITS/Flores-Montoya_16/speedpldi2.c.koat	Omega(n^1)	0.641843
Complexity_ITS/Flores-Montoya_16/speedpldi3.c.koat	Omega(n^2)	0.22305
Complexity_ITS/Flores-Montoya_16/speedpldi4.c.koat	Omega(n^1)	1.53538
Complexity_ITS/Flores-Montoya_16/t07.c.koat	Omega(n^1)	0.141336
Complexity_ITS/Flores-Montoya_16/t08.c.koat	Omega(n^1)	0.104159
Complexity_ITS/Flores-Montoya_16/t10.c.koat	Omega(n^1)	0.102329
Complexity_ITS/Flores-Montoya_16/t11.c.koat	Omega(n^1)	0.180338
Complexity_ITS/Flores-Montoya_16/t13.c.koat	Omega(n^1)	0.296101
Complexity_ITS/Flores-Montoya_16/t15.c.koat	Omega(n^1)	2.78514
Complexity_ITS/Flores-Montoya_16/t16.c.koat	Omega(n^1)	0.865173
Complexity_ITS/Flores-Montoya_16/t19.c.koat	Omega(n^1)	0.105485
Complexity_ITS/Flores-Montoya_16/t20.c.koat	Omega(n^1)	0.0883049
Complexity_ITS/Flores-Montoya_16/t27.c.koat	Omega(n^1)	1.3306
Complexity_ITS/Flores-Montoya_16/t28.c.koat	Omega(n^1)	0.153745
Complexity_ITS/Flores-Montoya_16/t30.c.koat	Omega(n^1)	0.0967961
Complexity_ITS/Flores-Montoya_16/t47.c.koat	Omega(n^1)	0.0928589
Complexity_ITS/Flores-Montoya_16/t62.c.koat	Omega(n^1)	0.253331
Complexity_ITS/Flores-Montoya_16/terminate.c.koat	Omega(n^1)	0.099109
Complexity_ITS/Flores-Montoya_16/terminatorbubble.c.koat	Omega(n^2)	0.341484
Complexity_ITS/Flores-Montoya_16/textbook_ex1.c.koat	Omega(n^1)	0.0617769
Complexity_ITS/Flores-Montoya_16/textbook_ex2.c.koat	Omega(n^2)	0.178997
Complexity_ITS/Flores-Montoya_16/textbook_ex3.c.koat	Omega(n^4)	1.35055
Complexity_ITS/Flores-Montoya_16/textbook_ex4.c.koat	Omega(n^2)	0.371328
Complexity_ITS/Flores-Montoya_16/unperfect.c.koat	Omega(n^1)	6.37552
Complexity_ITS/Flores-Montoya_16/wcet0.c.koat	Omega(n^1)	0.963792
Complexity_ITS/Flores-Montoya_16/wcet1.c.koat	Omega(n^1)	0.614881
Complexity_ITS/Flores-Montoya_16/wcet2.c.koat	Omega(n^1)	0.127268
Complexity_ITS/Flores-Montoya_16/while2.c.koat	Omega(n^2)	0.184936
Complexity_ITS/Flores-Montoya_16/wise.c.koat	Omega(n^1)	0.08418
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat	Omega(n^0)	0.117957
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koat	Unknown	0.0430261
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat	Omega(n^0)	0.117923
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat	Omega(n^1)	0.193293
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat	Omega(n^0)	1.53311
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat	Omega(n^1)	0.033899
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat	Omega(n^1)	0.0361209
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat	Omega(n^0)	0.11945
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat	Omega(n^0)	0.157694
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat	Omega(n^0)	0.0999341
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat	Omega(n^1)	0.0468779
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat	Omega(n^0)	0.101061
Complexity_ITS/Hark_20/Nils_2019/ex001.koat	Omega(n^0)	0.0775581
Complexity_ITS/Hark_20/Nils_2019/ex002.koat	Omega(n^0)	0.046369
Complexity_ITS/Hark_20/Nils_2019/ex003.koat	Omega(n^1)	0.190591
Complexity_ITS/Hark_20/Nils_2019/ex004.koat	Omega(n^1)	0.394068
Complexity_ITS/Hark_20/Nils_2019/ex005.koat	Omega(n^1)	0.108764
Complexity_ITS/Hark_20/Nils_2019/ex006.koat	Omega(n^0)	0.123875
Complexity_ITS/Hark_20/Nils_2019/ex007.koat	Omega(n^0)	0.0874079
Complexity_ITS/Hark_20/Nils_2019/ex008.koat	Omega(n^0)	1.03287
Complexity_ITS/Hark_20/Nils_2019/ex009.koat	Unknown	0.042509
Complexity_ITS/Hark_20/Nils_2019/ex010.koat	Omega(n^1)	2.10058
Complexity_ITS/Hark_20/Nils_2019/ex011.koat	Unknown	0.0427719