LoAT '20

name	result	time
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.koat	Omega(n^1)	0.178629
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.koat	Omega(n^1)	0.17838
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.koat	Omega(n^0)	0.16176
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.koat	Omega(n^0)	0.160194
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.koat	Omega(n^0)	0.188156
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.koat	Omega(n^0)	0.179473
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.koat	Omega(n^0)	0.15769
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.koat	Omega(n^1)	0.279433
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.koat	Omega(n^1)	0.286935
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.koat	Omega(n^0)	1.386
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.koat	Omega(n^1)	0.773721
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.koat	Omega(n^1)	0.343311
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.koat	Omega(n^1)	0.338029
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.koat	Omega(n^1)	0.342421
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.koat	Omega(n^0)	0.396329
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.koat	Omega(n^1)	0.662636
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.koat	Omega(n^1)	0.66104
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.koat	Omega(n^1)	0.317352
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.koat	Omega(n^1)	0.321731
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.koat	Omega(n^1)	0.420643
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.koat	Omega(n^1)	0.423991
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.koat	Omega(n^1)	0.603748
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.koat	Omega(n^2)	0.492038
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.koat	Omega(n^1)	0.704622
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.koat	Omega(n^0)	0.279912
Complexity_ITS/Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat	Omega(n^1)	0.454645
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.koat	Omega(n^0)	0.637584
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.koat	Omega(n^1)	0.311944
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.koat	Omega(n^1)	0.347886
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.koat	Omega(n^0)	0.293621
Complexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.koat	Omega(n^2)	0.316901
Complexity_ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.koat	Omega(n^0)	0.160662
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat	Omega(n^1)	0.238813
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat	Omega(n^0)	0.160197
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat	Omega(n^2)	0.489916
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat	Inf	0.400069
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat	Omega(n^0)	0.213589
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat	Omega(n^0)	0.236613
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat	Omega(n^1)	0.240106
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat	Omega(n^1)	0.940956
Complexity_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.koat	Omega(n^0)	0.097428
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.koat	Omega(n^0)	0.233586
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.koat	Omega(n^1)	0.176734
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.koat	Omega(n^1)	0.364383
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.koat	Omega(n^1)	0.364614
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.koat	Omega(n^1)	0.176611
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat	Omega(n^2)	0.315604
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat	Omega(n^0)	0.464722
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat	Omega(n^1)	2.52611
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat	Omega(n^1)	0.178526
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat	Omega(n^1)	0.177602
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat	Omega(n^1)	0.181752
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat	Omega(n^1)	0.287303
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat	Omega(n^1)	0.194963
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat	Omega(n^0)	0.164227
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat	Omega(n^1)	0.343372
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat	Omega(n^1)	0.693931
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.koat	Omega(n^0)	0.160953
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat	Omega(n^1)	0.176914
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.koat	Omega(n^1)	0.309893
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.koat	Omega(n^2)	0.366151
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect2.koat	Omega(n^2)	0.480661
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.koat	Omega(n^1)	0.175717
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.koat	Omega(n^2)	0.314229
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat	Exp	0.350403
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat	Exp	0.353486
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat	Exp	0.38433
Complexity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.koat	Omega(n^3)	0.474859
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat	Exp	0.754354
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat	Exp	0.598576
Complexity_ITS/Brockschmidt_16/SAS10/aaron2.koat	Omega(n^0)	1.13164
Complexity_ITS/Brockschmidt_16/SAS10/ackermann.koat	Omega(n^1)	0.427062
Complexity_ITS/Brockschmidt_16/SAS10/ax.koat	Omega(n^2)	0.608488
Complexity_ITS/Brockschmidt_16/SAS10/complex.koat	Omega(n^0)	147.369
Complexity_ITS/Brockschmidt_16/SAS10/counterex1.koat	Omega(n^1)	3.38365
Complexity_ITS/Brockschmidt_16/SAS10/cousot9.koat	Omega(n^2)	0.55621
Complexity_ITS/Brockschmidt_16/SAS10/determinant.koat	Omega(n^3)	0.614637
Complexity_ITS/Brockschmidt_16/SAS10/easy1.koat	Omega(n^0)	0.645608
Complexity_ITS/Brockschmidt_16/SAS10/easy2.koat	Omega(n^1)	0.232183
Complexity_ITS/Brockschmidt_16/SAS10/exmini.koat	Omega(n^0)	0.208369
Complexity_ITS/Brockschmidt_16/SAS10/gcd.koat	Omega(n^0)	1.14362
Complexity_ITS/Brockschmidt_16/SAS10/insertsort.koat	Omega(n^1)	0.918858
Complexity_ITS/Brockschmidt_16/SAS10/loops.koat	Omega(n^0)	1.46887
Complexity_ITS/Brockschmidt_16/SAS10/maccarthy91.koat	Omega(n^1)	1.71475
Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.koat	Omega(n^0)	0.73771
Complexity_ITS/Brockschmidt_16/SAS10/ndecr.koat	Omega(n^1)	0.230114
Complexity_ITS/Brockschmidt_16/SAS10/nestedLoop.koat	Omega(n^2)	1.65045
Complexity_ITS/Brockschmidt_16/SAS10/perfect.koat	Omega(n^0)	0.767858
Complexity_ITS/Brockschmidt_16/SAS10/random1d.koat	Omega(n^1)	0.539414
Complexity_ITS/Brockschmidt_16/SAS10/random2d.koat	Omega(n^1)	3.01549
Complexity_ITS/Brockschmidt_16/SAS10/realbubble.koat	Omega(n^2)	2.28752
Complexity_ITS/Brockschmidt_16/SAS10/realheapsort.koat	Omega(n^0)	5.85992
Complexity_ITS/Brockschmidt_16/SAS10/realselect.koat	Omega(n^0)	1.78352
Complexity_ITS/Brockschmidt_16/SAS10/realshellsort.koat	Omega(n^1)	5.58495
Complexity_ITS/Brockschmidt_16/SAS10/relation1.koat	Omega(n^0)	0.0311359
Complexity_ITS/Brockschmidt_16/SAS10/rsd.koat	Omega(n^1)	0.930977
Complexity_ITS/Brockschmidt_16/SAS10/sipmabubble.koat	Omega(n^2)	6.51814
Complexity_ITS/Brockschmidt_16/SAS10/speedFails4.koat	Omega(n^1)	0.401643
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi2.koat	Omega(n^1)	0.718498
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi3.koat	Omega(n^2)	0.639746
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi4.koat	Omega(n^1)	0.382294
Complexity_ITS/Brockschmidt_16/SAS10/terminate.koat	Omega(n^0)	0.20706
Complexity_ITS/Brockschmidt_16/SAS10/wcet1.koat	Omega(n^1)	1.1344
Complexity_ITS/Brockschmidt_16/SAS10/wcet2.koat	Omega(n^1)	0.956093
Complexity_ITS/Brockschmidt_16/SAS10/while2.koat	Omega(n^2)	0.61566
Complexity_ITS/Brockschmidt_16/SAS10/wise.koat	Omega(n^1)	0.394326
Complexity_ITS/Brockschmidt_16/T2/1.koat	No	0.819476
Complexity_ITS/Brockschmidt_16/T2/1394-fail.koat	No	17.0453
Complexity_ITS/Brockschmidt_16/T2/1394-succeed.koat	No	11.8394
Complexity_ITS/Brockschmidt_16/T2/1394complete-fail.koat	No	9.76863
Complexity_ITS/Brockschmidt_16/T2/1394complete-succeed.koat	No	8.50466
Complexity_ITS/Brockschmidt_16/T2/2.koat	No	0.805369
Complexity_ITS/Brockschmidt_16/T2/232.koat	Omega(n^2)	0.366228
Complexity_ITS/Brockschmidt_16/T2/241.koat	Omega(n^2)	0.366191
Complexity_ITS/Brockschmidt_16/T2/3.koat	No	0.102823
Complexity_ITS/Brockschmidt_16/T2/5.koat	No	1.12281
Complexity_ITS/Brockschmidt_16/T2/6.koat	No	0.103114
Complexity_ITS/Brockschmidt_16/T2/7.koat	No	0.103054
Complexity_ITS/Brockschmidt_16/T2/Loop.koat	Omega(n^0)	3.7494
Complexity_ITS/Brockschmidt_16/T2/a.10.c.koat	Omega(n^1)	1.3387
Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.koat	No	0.573963
Complexity_ITS/Brockschmidt_16/T2/afagp-fail.koat	No	4.96348
Complexity_ITS/Brockschmidt_16/T2/afagx1.koat	No	0.44981
Complexity_ITS/Brockschmidt_16/T2/agafp.koat	No	3.43377
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted-fail.koat	No	8.74722
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted.koat	No	8.76112
Complexity_ITS/Brockschmidt_16/T2/apchild-live.koat	No	8.97496
Complexity_ITS/Brockschmidt_16/T2/apchildlive-succeed.koat	No	24.6289
Complexity_ITS/Brockschmidt_16/T2/array.koat	Omega(n^0)	0.0289169
Complexity_ITS/Brockschmidt_16/T2/array1.koat	Omega(n^0)	0.0299491
Complexity_ITS/Brockschmidt_16/T2/array2.koat	Omega(n^0)	0.152089
Complexity_ITS/Brockschmidt_16/T2/array3.koat	Omega(n^0)	0.254626
Complexity_ITS/Brockschmidt_16/T2/array_free.koat	Omega(n^0)	0.183261
Complexity_ITS/Brockschmidt_16/T2/array_init.koat	Omega(n^0)	0.15197
Complexity_ITS/Brockschmidt_16/T2/array_init_assign.koat	Omega(n^0)	0.254364
Complexity_ITS/Brockschmidt_16/T2/ase_example.koat	Omega(n^0)	0.453387
Complexity_ITS/Brockschmidt_16/T2/bf10.koat	Omega(n^0)	0.864671
Complexity_ITS/Brockschmidt_16/T2/bf11.koat	Omega(n^0)	0.863923
Complexity_ITS/Brockschmidt_16/T2/bf12.koat	Omega(n^0)	0.864461
Complexity_ITS/Brockschmidt_16/T2/bf13.koat	Omega(n^0)	0.86431
Complexity_ITS/Brockschmidt_16/T2/bf14.koat	Omega(n^0)	0.863204
Complexity_ITS/Brockschmidt_16/T2/bf15.koat	Omega(n^0)	0.862717
Complexity_ITS/Brockschmidt_16/T2/bf16.koat	Omega(n^0)	0.864399
Complexity_ITS/Brockschmidt_16/T2/bf17.koat	Omega(n^0)	0.86435
Complexity_ITS/Brockschmidt_16/T2/bf18.koat	Omega(n^0)	0.864556
Complexity_ITS/Brockschmidt_16/T2/bf19.koat	Omega(n^0)	0.863288
Complexity_ITS/Brockschmidt_16/T2/bf20.koat	Omega(n^0)	0.865764
Complexity_ITS/Brockschmidt_16/T2/bf5.koat	Omega(n^0)	0.863713
Complexity_ITS/Brockschmidt_16/T2/bf6.koat	Omega(n^0)	0.863877
Complexity_ITS/Brockschmidt_16/T2/bf7.koat	Omega(n^0)	0.863005
Complexity_ITS/Brockschmidt_16/T2/bf8.koat	Omega(n^0)	0.863772
Complexity_ITS/Brockschmidt_16/T2/bf9.koat	Omega(n^0)	0.861454
Complexity_ITS/Brockschmidt_16/T2/bio.koat	Unknown	300.03
Complexity_ITS/Brockschmidt_16/T2/bitcount16.koat	Omega(n^0)	0.337144
Complexity_ITS/Brockschmidt_16/T2/bitcount32.koat	Omega(n^0)	0.336586
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat	Omega(n^1)	13.0429
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	12.9411
Complexity_ITS/Brockschmidt_16/T2/broydn.koat	Omega(n^1)	12.936
Complexity_ITS/Brockschmidt_16/T2/brp.koat	Inf	11.3287
Complexity_ITS/Brockschmidt_16/T2/brp_withassume.koat	Inf	11.3999
Complexity_ITS/Brockschmidt_16/T2/bs.koat	No	0.976429
Complexity_ITS/Brockschmidt_16/T2/bsort100.koat	Omega(n^0)	0.663378
Complexity_ITS/Brockschmidt_16/T2/bubbleSort.koat	Omega(n^2)	1.02069
Complexity_ITS/Brockschmidt_16/T2/bubblesort_inner_loop.koat	Omega(n^0)	0.335946
Complexity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.koat	No	2.45612
Complexity_ITS/Brockschmidt_16/T2/byron-1.koat	Omega(n^0)	0.172299
Complexity_ITS/Brockschmidt_16/T2/byron-2.koat	Inf	0.764953
Complexity_ITS/Brockschmidt_16/T2/byron-3.koat	Omega(n^0)	0.161408
Complexity_ITS/Brockschmidt_16/T2/byron-4.koat	Omega(n^1)	0.510927
Complexity_ITS/Brockschmidt_16/T2/cfg.koat	No	0.236862
Complexity_ITS/Brockschmidt_16/T2/cnt.koat	Omega(n^0)	0.880489
Complexity_ITS/Brockschmidt_16/T2/collatz.koat	Omega(n^0)	1.40352
Complexity_ITS/Brockschmidt_16/T2/complex_guard.koat	Omega(n^0)	0.216641
Complexity_ITS/Brockschmidt_16/T2/constants.koat	Omega(n^0)	0.203667
Complexity_ITS/Brockschmidt_16/T2/consts1.koat	Omega(n^0)	0.214371
Complexity_ITS/Brockschmidt_16/T2/consts1nt.koat	No	0.228921
Complexity_ITS/Brockschmidt_16/T2/consts2.koat	Omega(n^1)	0.180294
Complexity_ITS/Brockschmidt_16/T2/consts2nt.koat	No	0.172573
Complexity_ITS/Brockschmidt_16/T2/consts3.koat	Omega(n^1)	0.179879
Complexity_ITS/Brockschmidt_16/T2/consts3nt.koat	No	0.172199
Complexity_ITS/Brockschmidt_16/T2/consts4.koat	Omega(n^1)	0.17779
Complexity_ITS/Brockschmidt_16/T2/consts4nt.koat	No	0.235699
Complexity_ITS/Brockschmidt_16/T2/consts5.koat	Omega(n^0)	0.141764
Complexity_ITS/Brockschmidt_16/T2/consts5nt.koat	No	0.173637
Complexity_ITS/Brockschmidt_16/T2/cover.koat	Omega(n^0)	57.7282
Complexity_ITS/Brockschmidt_16/T2/crc.koat	Omega(n^0)	2.62423
Complexity_ITS/Brockschmidt_16/T2/create.koat	Inf	0.197115
Complexity_ITS/Brockschmidt_16/T2/create_seg.koat	Inf	0.193448
Complexity_ITS/Brockschmidt_16/T2/create_via_tmps.koat	Omega(n^1)	1.85253
Complexity_ITS/Brockschmidt_16/T2/ctl.koat	No	0.318395
Complexity_ITS/Brockschmidt_16/T2/curious.koat	No	0.173413
Complexity_ITS/Brockschmidt_16/T2/curious4.koat	No	6.0583
Complexity_ITS/Brockschmidt_16/T2/d.koat	No	0.244028
Complexity_ITS/Brockschmidt_16/T2/db2.koat	No	22.2306
Complexity_ITS/Brockschmidt_16/T2/db3.koat	No	20.4568
Complexity_ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.koat	No	1.25293
Complexity_ITS/Brockschmidt_16/T2/destroy.koat	Inf	1.84921
Complexity_ITS/Brockschmidt_16/T2/destroy_seg.koat	Inf	1.8596
Complexity_ITS/Brockschmidt_16/T2/destroy_seg_leak.koat	No	155.89
Complexity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.koat	Omega(n^0)	0.308445
Complexity_ITS/Brockschmidt_16/T2/dropbuf-live.koat	Omega(n^0)	0.029442
Complexity_ITS/Brockschmidt_16/T2/dropbuf.koat	No	3.79611
Complexity_ITS/Brockschmidt_16/T2/dsa_test.koat	Omega(n^0)	0.0299049
Complexity_ITS/Brockschmidt_16/T2/dsa_test1.koat	Omega(n^0)	0.0292049
Complexity_ITS/Brockschmidt_16/T2/dsa_test10.koat	Omega(n^0)	0.25543
Complexity_ITS/Brockschmidt_16/T2/dsa_test11.koat	Omega(n^0)	0.0300111
Complexity_ITS/Brockschmidt_16/T2/dsa_test12.koat	Omega(n^0)	0.0291119
Complexity_ITS/Brockschmidt_16/T2/dsa_test13.koat	Omega(n^0)	0.029224
Complexity_ITS/Brockschmidt_16/T2/dsa_test15.koat	Omega(n^0)	0.258382
Complexity_ITS/Brockschmidt_16/T2/dsa_test4.koat	Omega(n^0)	0.0291631
Complexity_ITS/Brockschmidt_16/T2/dsa_test5.koat	Omega(n^0)	0.030414
Complexity_ITS/Brockschmidt_16/T2/dsa_test6.koat	Omega(n^0)	0.153511
Complexity_ITS/Brockschmidt_16/T2/dsa_test8.koat	Omega(n^0)	0.029423
Complexity_ITS/Brockschmidt_16/T2/dsa_test9.koat	Omega(n^0)	0.030506
Complexity_ITS/Brockschmidt_16/T2/dummy.koat	No	0.19244
Complexity_ITS/Brockschmidt_16/T2/e-1394complete-succeed.koat	No	9.92686
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.koat	No	0.356101
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.koat	No	0.465118
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.koat	No	0.59816
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.koat	No	0.597617
Complexity_ITS/Brockschmidt_16/T2/e-popl07-fail.koat	No	1.59214
Complexity_ITS/Brockschmidt_16/T2/edn.koat	Omega(n^0)	1.19429
Complexity_ITS/Brockschmidt_16/T2/efegp.koat	No	3.35547
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat	Omega(n^1)	4.22053
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	4.41951
Complexity_ITS/Brockschmidt_16/T2/elmhes.koat	Omega(n^1)	4.42092
Complexity_ITS/Brockschmidt_16/T2/eric.koat	Omega(n^1)	0.738958
Complexity_ITS/Brockschmidt_16/T2/eric1.koat	Omega(n^2)	1.04311
Complexity_ITS/Brockschmidt_16/T2/eric2.koat	Omega(n^1)	2.41143
Complexity_ITS/Brockschmidt_16/T2/eric3.koat	No	0.307902
Complexity_ITS/Brockschmidt_16/T2/ex1.koat	No	0.10388
Complexity_ITS/Brockschmidt_16/T2/ex10.koat	No	0.312028
Complexity_ITS/Brockschmidt_16/T2/ex11.koat	No	1.82594
Complexity_ITS/Brockschmidt_16/T2/ex12.koat	Omega(n^0)	0.21224
Complexity_ITS/Brockschmidt_16/T2/ex13.koat	Omega(n^0)	0.0409859
Complexity_ITS/Brockschmidt_16/T2/ex14.koat	Omega(n^0)	0.152972
Complexity_ITS/Brockschmidt_16/T2/ex15.koat	Omega(n^0)	0.029166
Complexity_ITS/Brockschmidt_16/T2/ex16.koat	No	0.458154
Complexity_ITS/Brockschmidt_16/T2/ex17.koat	Omega(n^0)	0.297002
Complexity_ITS/Brockschmidt_16/T2/ex18.koat	Omega(n^0)	0.830986
Complexity_ITS/Brockschmidt_16/T2/ex19.koat	No	0.244859
Complexity_ITS/Brockschmidt_16/T2/ex2.koat	No	0.27779
Complexity_ITS/Brockschmidt_16/T2/ex20.koat	Omega(n^0)	0.246833
Complexity_ITS/Brockschmidt_16/T2/ex21.koat	Omega(n^0)	0.255061
Complexity_ITS/Brockschmidt_16/T2/ex22.koat	Omega(n^0)	2.38516
Complexity_ITS/Brockschmidt_16/T2/ex23.koat	Omega(n^0)	0.167398
Complexity_ITS/Brockschmidt_16/T2/ex26.koat	Omega(n^0)	0.254524
Complexity_ITS/Brockschmidt_16/T2/ex27.koat	Omega(n^0)	3.00647
Complexity_ITS/Brockschmidt_16/T2/ex29.koat	Omega(n^0)	0.0326231
Complexity_ITS/Brockschmidt_16/T2/ex3.koat	Omega(n^0)	0.15349
Complexity_ITS/Brockschmidt_16/T2/ex30.koat	Inf	0.338965
Complexity_ITS/Brockschmidt_16/T2/ex31.koat	No	0.316041
Complexity_ITS/Brockschmidt_16/T2/ex32.koat	Omega(n^0)	0.254292
Complexity_ITS/Brockschmidt_16/T2/ex33.koat	Omega(n^0)	0.0622691
Complexity_ITS/Brockschmidt_16/T2/ex34.koat	Omega(n^0)	0.0300559
Complexity_ITS/Brockschmidt_16/T2/ex36.koat	Inf	35.9078
Complexity_ITS/Brockschmidt_16/T2/ex37.koat	Omega(n^0)	0.0302841
Complexity_ITS/Brockschmidt_16/T2/ex4.koat	Omega(n^0)	0.939965
Complexity_ITS/Brockschmidt_16/T2/ex40.koat	No	0.166309
Complexity_ITS/Brockschmidt_16/T2/ex6.koat	Omega(n^0)	0.0611629
Complexity_ITS/Brockschmidt_16/T2/ex7.koat	Omega(n^0)	0.151881
Complexity_ITS/Brockschmidt_16/T2/ex8.koat	No	0.453918
Complexity_ITS/Brockschmidt_16/T2/ex9.koat	No	0.613603
Complexity_ITS/Brockschmidt_16/T2/example.koat	Omega(n^1)	0.428145
Complexity_ITS/Brockschmidt_16/T2/fake-succeed.koat	No	12.0086
Complexity_ITS/Brockschmidt_16/T2/fast_poll.koat	No	16.2857
Complexity_ITS/Brockschmidt_16/T2/fdct.koat	Omega(n^0)	0.261123
Complexity_ITS/Brockschmidt_16/T2/fermat.koat	Omega(n^0)	0.461222
Complexity_ITS/Brockschmidt_16/T2/fibcall.koat	Omega(n^0)	0.152171
Complexity_ITS/Brockschmidt_16/T2/fir.koat	Inf	2.0365
Complexity_ITS/Brockschmidt_16/T2/firewire.koat	Inf	46.3888
Complexity_ITS/Brockschmidt_16/T2/flipflop.koat	No	0.173663
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat	Omega(n^1)	29.6108
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat	No	7.3778
Complexity_ITS/Brockschmidt_16/T2/fourn.koat	No	7.39373
Complexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.koat	Omega(n^2)	0.411349
Complexity_ITS/Brockschmidt_16/T2/fun1.koat	No	2.41449
Complexity_ITS/Brockschmidt_16/T2/fun10.koat	No	0.770465
Complexity_ITS/Brockschmidt_16/T2/fun10b.koat	No	0.769983
Complexity_ITS/Brockschmidt_16/T2/fun11.koat	No	0.319568
Complexity_ITS/Brockschmidt_16/T2/fun1b.koat	No	2.41497
Complexity_ITS/Brockschmidt_16/T2/fun2.koat	Omega(n^0)	3.74844
Complexity_ITS/Brockschmidt_16/T2/fun2b.koat	No	3.30298
Complexity_ITS/Brockschmidt_16/T2/fun3.koat	Omega(n^0)	3.7529
Complexity_ITS/Brockschmidt_16/T2/fun4-alt.koat	Omega(n^0)	1.15247
Complexity_ITS/Brockschmidt_16/T2/fun4.koat	Omega(n^0)	1.16339
Complexity_ITS/Brockschmidt_16/T2/fun5.koat	Omega(n^0)	40.3561
Complexity_ITS/Brockschmidt_16/T2/fun6.koat	No	18.5658
Complexity_ITS/Brockschmidt_16/T2/fun7.koat	No	1.37786
Complexity_ITS/Brockschmidt_16/T2/fun8.koat	Omega(n^0)	1.54031
Complexity_ITS/Brockschmidt_16/T2/fun9.koat	Omega(n^0)	4.92818
Complexity_ITS/Brockschmidt_16/T2/graycode.koat	Omega(n^0)	3.87653
Complexity_ITS/Brockschmidt_16/T2/heidy1.koat	No	0.100801
Complexity_ITS/Brockschmidt_16/T2/heidy10.koat	Inf	0.5543
Complexity_ITS/Brockschmidt_16/T2/heidy2.koat	No	0.219512
Complexity_ITS/Brockschmidt_16/T2/heidy3.koat	No	0.286106
Complexity_ITS/Brockschmidt_16/T2/heidy5.koat	Omega(n^1)	0.190208
Complexity_ITS/Brockschmidt_16/T2/heidy6.koat	No	0.373279
Complexity_ITS/Brockschmidt_16/T2/heidy7-simple.koat	No	0.285679
Complexity_ITS/Brockschmidt_16/T2/heidy7.koat	No	0.875057
Complexity_ITS/Brockschmidt_16/T2/heidy8.koat	No	0.889707
Complexity_ITS/Brockschmidt_16/T2/heidy9.koat	Omega(n^1)	0.177713
Complexity_ITS/Brockschmidt_16/T2/hongyi1.koat	Omega(n^1)	9.71708
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat	Omega(n^1)	264.455
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	23.3673
Complexity_ITS/Brockschmidt_16/T2/hqr.koat	Omega(n^1)	23.3489
Complexity_ITS/Brockschmidt_16/T2/huh.koat	Inf	0.31679
Complexity_ITS/Brockschmidt_16/T2/iecs.koat	Omega(n^0)	0.173421
Complexity_ITS/Brockschmidt_16/T2/insertsort.koat	No	0.286826
Complexity_ITS/Brockschmidt_16/T2/intSqRoot.koat	Omega(n^0)	0.195644
Complexity_ITS/Brockschmidt_16/T2/invgen.koat	Omega(n^0)	0.176019
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat	Omega(n^1)	99.8484
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	9.33793
Complexity_ITS/Brockschmidt_16/T2/jacobi.koat	Omega(n^1)	9.3597
Complexity_ITS/Brockschmidt_16/T2/janne_complex.koat	Omega(n^0)	2.28607
Complexity_ITS/Brockschmidt_16/T2/jfdctint.koat	Omega(n^0)	0.364978
Complexity_ITS/Brockschmidt_16/T2/loop3.koat	Omega(n^0)	10.8054
Complexity_ITS/Brockschmidt_16/T2/loop_on_input.koat	Omega(n^0)	0.39082
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat	Omega(n^1)	16.7825
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	13.4488
Complexity_ITS/Brockschmidt_16/T2/ludcmp.koat	Omega(n^1)	13.2141
Complexity_ITS/Brockschmidt_16/T2/magic.koat	Inf	11.5555
Complexity_ITS/Brockschmidt_16/T2/matmul.koat	Omega(n^0)	0.696612
Complexity_ITS/Brockschmidt_16/T2/matmult.koat	Omega(n^0)	0.949715
Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.koat	Omega(n^0)	1.0228
Complexity_ITS/Brockschmidt_16/T2/mc91.koat	Inf	0.599253
Complexity_ITS/Brockschmidt_16/T2/mc91test.koat	Inf	1.46507
Complexity_ITS/Brockschmidt_16/T2/minmax.koat	Omega(n^0)	0.0319441
Complexity_ITS/Brockschmidt_16/T2/n-1.koat	No	0.23586
Complexity_ITS/Brockschmidt_16/T2/n-10.koat	No	0.30223
Complexity_ITS/Brockschmidt_16/T2/n-12.koat	No	0.468547
Complexity_ITS/Brockschmidt_16/T2/n-12a.koat	No	0.171998
Complexity_ITS/Brockschmidt_16/T2/n-13.koat	No	0.171924
Complexity_ITS/Brockschmidt_16/T2/n-14.koat	No	0.473321
Complexity_ITS/Brockschmidt_16/T2/n-15.koat	No	0.267784
Complexity_ITS/Brockschmidt_16/T2/n-15a.koat	No	0.789734
Complexity_ITS/Brockschmidt_16/T2/n-16.koat	No	0.267594
Complexity_ITS/Brockschmidt_16/T2/n-16a.koat	Omega(n^0)	0.158322
Complexity_ITS/Brockschmidt_16/T2/n-17.koat	No	0.247015
Complexity_ITS/Brockschmidt_16/T2/n-18.koat	No	0.173423
Complexity_ITS/Brockschmidt_16/T2/n-18a.koat	Omega(n^0)	0.16042
Complexity_ITS/Brockschmidt_16/T2/n-1c.koat	No	0.299135
Complexity_ITS/Brockschmidt_16/T2/n-1d.koat	No	0.482114
Complexity_ITS/Brockschmidt_16/T2/n-20.koat	No	0.188943
Complexity_ITS/Brockschmidt_16/T2/n-21.koat	No	0.2984
Complexity_ITS/Brockschmidt_16/T2/n-3.koat	No	0.271076
Complexity_ITS/Brockschmidt_16/T2/n-32.koat	No	0.32822
Complexity_ITS/Brockschmidt_16/T2/n-33.koat	No	0.793565
Complexity_ITS/Brockschmidt_16/T2/n-36.koat	No	0.372678
Complexity_ITS/Brockschmidt_16/T2/n-37.koat	No	0.101856
Complexity_ITS/Brockschmidt_16/T2/n-3a.koat	No	1.24834
Complexity_ITS/Brockschmidt_16/T2/n-4.koat	No	2.96612
Complexity_ITS/Brockschmidt_16/T2/n-40.koat	No	3.35823
Complexity_ITS/Brockschmidt_16/T2/n-46.koat	No	0.168917
Complexity_ITS/Brockschmidt_16/T2/n-48.koat	Omega(n^0)	0.176426
Complexity_ITS/Brockschmidt_16/T2/n-5.koat	No	1.1075
Complexity_ITS/Brockschmidt_16/T2/n-6.koat	No	0.479817
Complexity_ITS/Brockschmidt_16/T2/n-6a.koat	No	0.313395
Complexity_ITS/Brockschmidt_16/T2/n-7.koat	No	0.176738
Complexity_ITS/Brockschmidt_16/T2/n-8.koat	No	0.296503
Complexity_ITS/Brockschmidt_16/T2/n-8a.koat	No	0.173259
Complexity_ITS/Brockschmidt_16/T2/n-9.koat	No	0.533397
Complexity_ITS/Brockschmidt_16/T2/n_firewire_instrumented-PP.koat	Inf	18.5547
Complexity_ITS/Brockschmidt_16/T2/nakata.koat	Inf	7.55118
Complexity_ITS/Brockschmidt_16/T2/nakata_withassume.koat	Inf	7.58899
Complexity_ITS/Brockschmidt_16/T2/ndes.koat	Omega(n^0)	18.0782
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-fail.koat	No	8.45338
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-succeed.koat	No	9.96361
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-fail.koat	No	9.75125
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-succeed.koat	No	9.75054
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.koat	No	0.466581
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.koat	No	0.351301
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.koat	No	0.594866
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.koat	No	0.597224
Complexity_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.koat	No	1.58499
Complexity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.koat	No	0.595254
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.koat	No	0.834381
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.koat	No	1.15175
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.koat	No	0.471121
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.koat	No	0.471371
Complexity_ITS/Brockschmidt_16/T2/nested.koat	Inf	0.370126
Complexity_ITS/Brockschmidt_16/T2/nested2.koat	Omega(n^0)	0.335457
Complexity_ITS/Brockschmidt_16/T2/new_ex.koat	Inf	1.92202
Complexity_ITS/Brockschmidt_16/T2/non_term.koat	Omega(n^0)	0.174999
Complexity_ITS/Brockschmidt_16/T2/ns.koat	Omega(n^0)	0.585959
Complexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.koat	No	0.102952
Complexity_ITS/Brockschmidt_16/T2/p-1.koat	No	0.170743
Complexity_ITS/Brockschmidt_16/T2/p-10.koat	No	0.173173
Complexity_ITS/Brockschmidt_16/T2/p-12.koat	Omega(n^1)	0.174962
Complexity_ITS/Brockschmidt_16/T2/p-13.koat	Omega(n^0)	0.0630179
Complexity_ITS/Brockschmidt_16/T2/p-14.koat	Omega(n^1)	0.17527
Complexity_ITS/Brockschmidt_16/T2/p-15.koat	Omega(n^1)	0.178098
Complexity_ITS/Brockschmidt_16/T2/p-16.koat	Omega(n^1)	0.17729
Complexity_ITS/Brockschmidt_16/T2/p-18.koat	Omega(n^1)	0.175028
Complexity_ITS/Brockschmidt_16/T2/p-19.koat	No	0.171171
Complexity_ITS/Brockschmidt_16/T2/p-19a.koat	No	0.173167
Complexity_ITS/Brockschmidt_16/T2/p-1a.koat	No	0.170589
Complexity_ITS/Brockschmidt_16/T2/p-1b.koat	Omega(n^1)	0.17766
Complexity_ITS/Brockschmidt_16/T2/p-1c.koat	No	0.171566
Complexity_ITS/Brockschmidt_16/T2/p-1d.koat	Omega(n^1)	0.695045
Complexity_ITS/Brockschmidt_16/T2/p-20.koat	No	0.250719
Complexity_ITS/Brockschmidt_16/T2/p-21.koat	Omega(n^1)	0.414545
Complexity_ITS/Brockschmidt_16/T2/p-22.koat	Omega(n^1)	0.191594
Complexity_ITS/Brockschmidt_16/T2/p-3.koat	Omega(n^1)	0.365919
Complexity_ITS/Brockschmidt_16/T2/p-32.koat	No	0.327306
Complexity_ITS/Brockschmidt_16/T2/p-33.koat	No	0.559721
Complexity_ITS/Brockschmidt_16/T2/p-34.koat	No	0.331324
Complexity_ITS/Brockschmidt_16/T2/p-36.koat	No	0.240367
Complexity_ITS/Brockschmidt_16/T2/p-37.koat	Omega(n^0)	0.201103
Complexity_ITS/Brockschmidt_16/T2/p-4.koat	Omega(n^1)	0.326345
Complexity_ITS/Brockschmidt_16/T2/p-40.koat	Inf	0.192613
Complexity_ITS/Brockschmidt_16/T2/p-41.koat	Omega(n^0)	0.0297861
Complexity_ITS/Brockschmidt_16/T2/p-42.koat	Omega(n^1)	0.360234
Complexity_ITS/Brockschmidt_16/T2/p-43-terminate.koat	Omega(n^0)	4.65349
Complexity_ITS/Brockschmidt_16/T2/p-43.koat	Omega(n^0)	0.339289
Complexity_ITS/Brockschmidt_16/T2/p-44.koat	Omega(n^0)	0.159703
Complexity_ITS/Brockschmidt_16/T2/p-45.koat	Omega(n^1)	0.287066
Complexity_ITS/Brockschmidt_16/T2/p-46.koat	No	0.42392
Complexity_ITS/Brockschmidt_16/T2/p-49.koat	Omega(n^1)	0.176419
Complexity_ITS/Brockschmidt_16/T2/p-5.koat	No	1.10215
Complexity_ITS/Brockschmidt_16/T2/p-52.koat	No	0.173058
Complexity_ITS/Brockschmidt_16/T2/p-53.koat	Omega(n^0)	0.0751819
Complexity_ITS/Brockschmidt_16/T2/p-55.koat	Omega(n^1)	0.838489
Complexity_ITS/Brockschmidt_16/T2/p-56.koat	Omega(n^1)	0.471366
Complexity_ITS/Brockschmidt_16/T2/p-58.koat	Omega(n^0)	0.111753
Complexity_ITS/Brockschmidt_16/T2/p-6.koat	Omega(n^1)	0.697286
Complexity_ITS/Brockschmidt_16/T2/p-60.koat	Omega(n^0)	0.168392
Complexity_ITS/Brockschmidt_16/T2/p-61.koat	Omega(n^0)	0.153801
Complexity_ITS/Brockschmidt_16/T2/p-63.koat	Omega(n^0)	0.177073
Complexity_ITS/Brockschmidt_16/T2/p-7.koat	Omega(n^1)	0.180699
Complexity_ITS/Brockschmidt_16/T2/p-7b.koat	Omega(n^1)	0.182935
Complexity_ITS/Brockschmidt_16/T2/p-8.koat	No	0.172598
Complexity_ITS/Brockschmidt_16/T2/p-9.koat	No	0.173248
Complexity_ITS/Brockschmidt_16/T2/pearl-necklace.koat	Omega(n^1)	0.655383
Complexity_ITS/Brockschmidt_16/T2/pentagon.koat	Omega(n^0)	0.486275
Complexity_ITS/Brockschmidt_16/T2/pgarch.koat	Unknown	300.032
Complexity_ITS/Brockschmidt_16/T2/pldi.koat	Omega(n^2)	1.28622
Complexity_ITS/Brockschmidt_16/T2/polling.bug.koat	No	21.4278
Complexity_ITS/Brockschmidt_16/T2/polling.koat	No	20.7741
Complexity_ITS/Brockschmidt_16/T2/polyrank1.koat	Omega(n^0)	0.159827
Complexity_ITS/Brockschmidt_16/T2/polyrank2.koat	Omega(n^0)	0.15957
Complexity_ITS/Brockschmidt_16/T2/polyrank3.koat	Omega(n^0)	0.237579
Complexity_ITS/Brockschmidt_16/T2/polyrank4.koat	Omega(n^0)	0.239089
Complexity_ITS/Brockschmidt_16/T2/polyrank5.koat	Omega(n^1)	0.315526
Complexity_ITS/Brockschmidt_16/T2/polyrank6.koat	Omega(n^1)	0.421134
Complexity_ITS/Brockschmidt_16/T2/polyrank7.koat	No	0.190046
Complexity_ITS/Brockschmidt_16/T2/popl07-fail.koat	No	0.839227
Complexity_ITS/Brockschmidt_16/T2/popl07-succeed.koat	No	0.826167
Complexity_ITS/Brockschmidt_16/T2/print.koat	Inf	14.6355
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat	Omega(n^1)	4.01114
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	3.86148
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.koat	Omega(n^1)	3.87694
Complexity_ITS/Brockschmidt_16/T2/queens.koat	Omega(n^0)	3.81605
Complexity_ITS/Brockschmidt_16/T2/queue_1.koat	Omega(n^0)	1.24025
Complexity_ITS/Brockschmidt_16/T2/queue_10.koat	Omega(n^0)	1.23825
Complexity_ITS/Brockschmidt_16/T2/queue_100.koat	Omega(n^0)	1.23769
Complexity_ITS/Brockschmidt_16/T2/queue_1000.koat	Omega(n^0)	1.23951
Complexity_ITS/Brockschmidt_16/T2/randomwalk.koat	Omega(n^0)	2.44948
Complexity_ITS/Brockschmidt_16/T2/randomwalk_withassume.koat	Omega(n^0)	2.50595
Complexity_ITS/Brockschmidt_16/T2/refine_disj_problem.koat	No	0.253656
Complexity_ITS/Brockschmidt_16/T2/rev_nt2.koat	No	1.38944
Complexity_ITS/Brockschmidt_16/T2/rev_nt3.koat	No	1.42806
Complexity_ITS/Brockschmidt_16/T2/rev_nt4.koat	Omega(n^0)	0.0618319
Complexity_ITS/Brockschmidt_16/T2/reverse.koat	Inf	17.2372
Complexity_ITS/Brockschmidt_16/T2/reverse_div4.koat	No	0.715469
Complexity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.koat	Omega(n^1)	17.549
Complexity_ITS/Brockschmidt_16/T2/rewrite.koat	No	0.102521
Complexity_ITS/Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat	Omega(n^1)	8.57458
Complexity_ITS/Brockschmidt_16/T2/rlft3.koat	Omega(n^1)	5.03373
Complexity_ITS/Brockschmidt_16/T2/s1-saved.koat	Inf	10.7016
Complexity_ITS/Brockschmidt_16/T2/s3-work.koat	Inf	223.719
Complexity_ITS/Brockschmidt_16/T2/sas1.koat	Omega(n^1)	1.56317
Complexity_ITS/Brockschmidt_16/T2/sas2.koat	Omega(n^0)	17.6135
Complexity_ITS/Brockschmidt_16/T2/select.koat	No	2.97567
Complexity_ITS/Brockschmidt_16/T2/selectSort.koat	Omega(n^2)	1.01478
Complexity_ITS/Brockschmidt_16/T2/send-more-money.koat	Omega(n^0)	0.080704
Complexity_ITS/Brockschmidt_16/T2/seq.koat	Omega(n^1)	0.175836
Complexity_ITS/Brockschmidt_16/T2/seq2.koat	Omega(n^1)	0.190507
Complexity_ITS/Brockschmidt_16/T2/sequential_swap.koat	Omega(n^0)	0.063283
Complexity_ITS/Brockschmidt_16/T2/simple.koat	No	0.233044
Complexity_ITS/Brockschmidt_16/T2/simpleWhile.koat	Omega(n^1)	0.361791
Complexity_ITS/Brockschmidt_16/T2/simple_array_inversion.koat	Omega(n^0)	0.152888
Complexity_ITS/Brockschmidt_16/T2/simple_control_on_input.koat	Omega(n^0)	0.268258
Complexity_ITS/Brockschmidt_16/T2/simple_double_free.koat	Omega(n^0)	0.0306299
Complexity_ITS/Brockschmidt_16/T2/simple_fail.koat	Omega(n^0)	0.0300169
Complexity_ITS/Brockschmidt_16/T2/simple_pre.koat	Omega(n^0)	0.0287981
Complexity_ITS/Brockschmidt_16/T2/simple_pre1.koat	Omega(n^0)	0.0293
Complexity_ITS/Brockschmidt_16/T2/simple_pre2.koat	Omega(n^0)	0.029462
Complexity_ITS/Brockschmidt_16/T2/simple_pre3.koat	Omega(n^0)	0.0290609
Complexity_ITS/Brockschmidt_16/T2/simple_swap_call.koat	Omega(n^0)	0.0613519
Complexity_ITS/Brockschmidt_16/T2/slayer-1-filtered.koat	Inf	0.587487
Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.koat	Omega(n^1)	1.10649
Complexity_ITS/Brockschmidt_16/T2/slayer-2-filtered.koat	Omega(n^0)	0.152985
Complexity_ITS/Brockschmidt_16/T2/slayer-3-filtered.koat	Inf	4.69446
Complexity_ITS/Brockschmidt_16/T2/slayer-3-new.koat	No	293.316
Complexity_ITS/Brockschmidt_16/T2/slayer-3.koat	Inf	291.356
Complexity_ITS/Brockschmidt_16/T2/slayer-4-filtered.koat	No	25.731
Complexity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.koat	No	0.333126
Complexity_ITS/Brockschmidt_16/T2/slayer-n1.koat	No	1.91621
Complexity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.koat	No	0.159225
Complexity_ITS/Brockschmidt_16/T2/slayer-n2.koat	No	0.157478
Complexity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.koat	Omega(n^0)	0.0688571
Complexity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.koat	No	1.11534
Complexity_ITS/Brockschmidt_16/T2/smagilla-succeed.koat	No	0.470141
Complexity_ITS/Brockschmidt_16/T2/smagillb-succeed.koat	No	0.477177
Complexity_ITS/Brockschmidt_16/T2/smagillc-fail.koat	No	0.534414
Complexity_ITS/Brockschmidt_16/T2/smagillc-succeed.koat	No	0.471817
Complexity_ITS/Brockschmidt_16/T2/sort.koat	Omega(n^0)	3.17588
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat	Omega(n^1)	10.5751
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	10.6878
Complexity_ITS/Brockschmidt_16/T2/spctrm.koat	Omega(n^1)	10.6446
Complexity_ITS/Brockschmidt_16/T2/spiral.koat	Omega(n^1)	3.33145
Complexity_ITS/Brockschmidt_16/T2/st88.bug.koat	Inf	1.32986
Complexity_ITS/Brockschmidt_16/T2/st88.koat	Inf	0.742003
Complexity_ITS/Brockschmidt_16/T2/statemate.koat	Unknown	300.08
Complexity_ITS/Brockschmidt_16/T2/stored.koat	No	0.662271
Complexity_ITS/Brockschmidt_16/T2/streamserver-succeed.koat	No	6.76987
Complexity_ITS/Brockschmidt_16/T2/streamserver.bug.koat	No	7.88615
Complexity_ITS/Brockschmidt_16/T2/subpoly_crash.koat	No	0.164537
Complexity_ITS/Brockschmidt_16/T2/sudoku.koat	Inf	9.99203
Complexity_ITS/Brockschmidt_16/T2/sumit.koat	Omega(n^1)	1.69269
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat	Omega(n^1)	295.115
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	29.5012
Complexity_ITS/Brockschmidt_16/T2/svdcmp.koat	Omega(n^1)	29.3022
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat	Omega(n^0)	25.5832
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat	Inf	3.27797
Complexity_ITS/Brockschmidt_16/T2/toeplz.koat	Inf	3.30789
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat	Omega(n^1)	104.046
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat	Omega(n^1)	7.7914
Complexity_ITS/Brockschmidt_16/T2/tqli.koat	Omega(n^1)	7.81944
Complexity_ITS/Brockschmidt_16/T2/traverse.koat	Inf	10.5954
Complexity_ITS/Brockschmidt_16/T2/traverse2.koat	Inf	127.142
Complexity_ITS/Brockschmidt_16/T2/traverse_seg.koat	Inf	10.6885
Complexity_ITS/Brockschmidt_16/T2/traverse_seg2.koat	Inf	7.76872
Complexity_ITS/Brockschmidt_16/T2/traverse_twice.koat	Inf	19.387
Complexity_ITS/Brockschmidt_16/T2/two_arrays.koat	Omega(n^0)	0.67235
Complexity_ITS/Brockschmidt_16/T2/two_arrays1.koat	Omega(n^0)	0.873329
Complexity_ITS/Brockschmidt_16/T2/two_arrays2.koat	Omega(n^1)	1.41767
Complexity_ITS/Brockschmidt_16/T2/two_arrays6.koat	Omega(n^1)	1.40509
Complexity_ITS/Brockschmidt_16/T2/ud.koat	Omega(n^0)	2.45377
Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.koat	Omega(n^0)	0.028823
Complexity_ITS/Brockschmidt_16/T2/vmcai_struct.koat	Omega(n^0)	0.0290559
Complexity_ITS/Brockschmidt_16/T2/w1.koat	No	0.191233
Complexity_ITS/Brockschmidt_16/T2/w2_nt.koat	No	1.38349
Complexity_ITS/Brockschmidt_16/T2/walk.koat	No	0.637523
Complexity_ITS/Brockschmidt_16/T2/wrong_loop.koat	No	0.608153
Complexity_ITS/Brockschmidt_16/T2/wtf.koat	Omega(n^0)	3.76243
Complexity_ITS/Brockschmidt_16/T2/zeroconf.koat	Omega(n^0)	7.28815
Complexity_ITS/Brockschmidt_16/T2/zeroconf_withassume.koat	Omega(n^0)	7.41117
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex01.koat	Omega(n^1)	0.241838
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex02.koat	Omega(n^2)	0.518425
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex03.koat	Omega(n^4)	1.56221
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex04.koat	Omega(n^0)	1.14361
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex05.koat	Omega(n^2)	0.515269
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex06.koat	Omega(n^2)	0.409796
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex07.koat	Omega(n^2)	0.54169
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex08.koat	Omega(n^2)	0.536349
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex09.koat	Omega(n^2)	0.54078
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex10.koat	Omega(n^2)	0.540454
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex11.koat	Omega(n^2)	0.536047
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex12.koat	Omega(n^1)	0.40648
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex13.koat	Omega(n^3)	1.03762
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex14.koat	Omega(n^4)	1.24422
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex15.koat	No	1.50501
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example1.koat	Omega(n^1)	1.10756
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example2.koat	Omega(n^0)	31.2207
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example3.koat	Omega(n^0)	1.14564
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex1.koat	Omega(n^1)	1.86288
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex2.koat	Omega(n^1)	1.38619
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex3.koat	Omega(n^1)	1.39954
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat	Omega(n^1)	0.527407
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat	Omega(n^2)	0.662406
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat	Omega(n^1)	0.771236
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat	Omega(n^0)	0.575215
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat	Omega(n^2)	0.750601
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat	Omega(n^0)	0.566181
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat	Omega(n^1)	0.492275
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat	Omega(n^1)	1.10522
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat	Omega(n^2)	2.41984
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat	Omega(n^1)	0.870027
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat	Omega(n^2)	1.05641
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat	No	0.543928
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat	No	0.621504
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat	Omega(n^1)	0.815668
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat	No	0.755354
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat	Omega(n^1)	0.522613
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat	Omega(n^1)	0.757808
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat	Omega(n^1)	0.525944
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat	Omega(n^1)	0.499496
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat	Omega(n^1)	0.862831
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat	Omega(n^2)	0.542099
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat	Omega(n^1)	0.70352
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat	Omega(n^1)	0.530261
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat	Omega(n^1)	0.526927
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat	Omega(n^2)	0.660166
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat	Omega(n^1)	0.238707
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat	Omega(n^1)	0.597816
Complexity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.koat	Omega(n^0)	0.42951
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ax.koat	Omega(n^2)	0.512475
Complexity_ITS/Brockschmidt_16/c-examples/WTC/complex.koat	Omega(n^0)	1.27468
Complexity_ITS/Brockschmidt_16/c-examples/WTC/counterex1b.koat	Omega(n^2)	1.97533
Complexity_ITS/Brockschmidt_16/c-examples/WTC/cousot9.koat	Inf	0.642817
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy1.koat	Omega(n^0)	0.631454
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy2.koat	Omega(n^1)	0.241152
Complexity_ITS/Brockschmidt_16/c-examples/WTC/exmini.koat	Omega(n^0)	0.222921
Complexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.koat	Omega(n^0)	0.496837
Complexity_ITS/Brockschmidt_16/c-examples/WTC/insertsort.koat	Omega(n^2)	0.97851
Complexity_ITS/Brockschmidt_16/c-examples/WTC/loops.koat	Omega(n^0)	0.871383
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.koat	Omega(n^0)	0.414063
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.koat	Omega(n^1)	0.237301
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.koat	Omega(n^2)	1.00879
Complexity_ITS/Brockschmidt_16/c-examples/WTC/perfect.koat	Omega(n^1)	1.57462
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random1d.koat	Omega(n^1)	0.316476
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random2d.koat	Omega(n^1)	1.9919
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realbubble.koat	Omega(n^2)	0.976165
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort.koat	Omega(n^0)	2.7632
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat	Omega(n^0)	1.74036
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat	Omega(n^1)	2.66307
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realselect.koat	Omega(n^2)	0.484461
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realshellsort.koat	Omega(n^0)	1.79158
Complexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.koat	Omega(n^1)	0.533011
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipma91.koat	Omega(n^1)	0.573833
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipmabubble.koat	Omega(n^2)	0.740413
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedFails4.koat	Omega(n^0)	0.499995
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.koat	Omega(n^0)	0.500221
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.koat	Omega(n^2)	0.669278
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.koat	Omega(n^0)	0.465934
Complexity_ITS/Brockschmidt_16/c-examples/WTC/terminate.koat	Omega(n^0)	0.223554
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.koat	Omega(n^1)	1.62725
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.koat	Omega(n^1)	0.640437
Complexity_ITS/Brockschmidt_16/c-examples/WTC/while2.koat	Omega(n^2)	0.510099
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wise.koat	Omega(n^1)	0.558516
Complexity_ITS/Brockschmidt_16/costa/RAML/rationalPotential.koat	Omega(n^0)	0.161941
Complexity_ITS/Brockschmidt_16/costa/misc/ack.koat	Omega(n^1)	0.454913
Complexity_ITS/Brockschmidt_16/costa/misc/direct_n_log_n.koat	Omega(n^0)	0.597502
Complexity_ITS/Brockschmidt_16/costa/misc/linear.koat	Omega(n^1)	0.237638
Complexity_ITS/Brockschmidt_16/costa/misc/logarithmic.koat	Omega(n^0)	0.128627
Complexity_ITS/Brockschmidt_16/costa/misc/merge.koat	Omega(n^1)	0.367709
Complexity_ITS/Brockschmidt_16/costa/misc/mspe.koat	Omega(n^0)	0.606079
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.koat	Omega(n^1)	1.4904
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.koat	Omega(n^0)	32.1381
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.koat	Omega(n^0)	1.38257
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.koat	Omega(n^2)	3.34853
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.koat	Omega(n^1)	1.45591
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.koat	Omega(n^1)	1.08071
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.koat	Omega(n^1)	0.971926
Complexity_ITS/Flores-Montoya_16/Loopus2015_original.c.koat	Omega(n^1)	2.141
Complexity_ITS/Flores-Montoya_16/aaron12.c.koat	Omega(n^0)	0.723168
Complexity_ITS/Flores-Montoya_16/aaron2.c.koat	Omega(n^0)	0.616715
Complexity_ITS/Flores-Montoya_16/aaron3.c.koat	Omega(n^1)	0.984122
Complexity_ITS/Flores-Montoya_16/alain.c.koat	Omega(n^2)	1.01216
Complexity_ITS/Flores-Montoya_16/ax.c.koat	Omega(n^2)	0.801703
Complexity_ITS/Flores-Montoya_16/catmouse.c.koat	No	0.645109
Complexity_ITS/Flores-Montoya_16/complex.c.koat	Omega(n^0)	1.56798
Complexity_ITS/Flores-Montoya_16/counterex1a.c.koat	Omega(n^1)	2.28068
Complexity_ITS/Flores-Montoya_16/counterex1b.c.koat	Omega(n^2)	2.30618
Complexity_ITS/Flores-Montoya_16/counterex1c.c.koat	Omega(n^1)	1.66636
Complexity_ITS/Flores-Montoya_16/cousot9.c.koat	Omega(n^2)	0.838804
Complexity_ITS/Flores-Montoya_16/easy1.c.koat	Omega(n^0)	0.784005
Complexity_ITS/Flores-Montoya_16/easy2.c.koat	Omega(n^1)	0.457811
Complexity_ITS/Flores-Montoya_16/ex_paper1.c.koat	Omega(n^2)	2.44881
Complexity_ITS/Flores-Montoya_16/ex_paper2.c.koat	Omega(n^2)	0.68635
Complexity_ITS/Flores-Montoya_16/ex_paper3.c.koat	Omega(n^1)	2.25663
Complexity_ITS/Flores-Montoya_16/exmini.c.koat	Omega(n^0)	0.470626
Complexity_ITS/Flores-Montoya_16/heapsort.c.koat	Omega(n^0)	1.88924
Complexity_ITS/Flores-Montoya_16/insertsort.c.koat	Omega(n^2)	1.24768
Complexity_ITS/Flores-Montoya_16/jama_ex1.c.koat	Omega(n^2)	0.722476
Complexity_ITS/Flores-Montoya_16/jama_ex2.c.koat	Omega(n^2)	0.725486
Complexity_ITS/Flores-Montoya_16/jama_ex3.c.koat	Omega(n^2)	0.625636
Complexity_ITS/Flores-Montoya_16/jama_ex4.c.koat	Omega(n^2)	0.852196
Complexity_ITS/Flores-Montoya_16/jama_ex5.c.koat	Omega(n^1)	0.641791
Complexity_ITS/Flores-Montoya_16/jama_ex6.c.koat	Omega(n^3)	1.49357
Complexity_ITS/Flores-Montoya_16/jama_ex7.c.koat	Omega(n^2)	0.784225
Complexity_ITS/Flores-Montoya_16/knuth_morris_pratt.c.koat	Omega(n^1)	2.28744
Complexity_ITS/Flores-Montoya_16/loops.c.koat	Omega(n^0)	0.955096
Complexity_ITS/Flores-Montoya_16/nd_loop.c.koat	Omega(n^0)	0.619758
Complexity_ITS/Flores-Montoya_16/ndecr.c.koat	Omega(n^1)	0.394715
Complexity_ITS/Flores-Montoya_16/nestedLoop.c.koat	Omega(n^2)	2.96165
Complexity_ITS/Flores-Montoya_16/nested_loop.c.koat	Omega(n^2)	2.88964
Complexity_ITS/Flores-Montoya_16/perfect.c.koat	Omega(n^1)	1.77108
Complexity_ITS/Flores-Montoya_16/perfect1.c.koat	Omega(n^1)	2.04883
Complexity_ITS/Flores-Montoya_16/perfect2.c.koat	Omega(n^1)	1.75089
Complexity_ITS/Flores-Montoya_16/perfectg.c.koat	Omega(n^0)	1.68318
Complexity_ITS/Flores-Montoya_16/random1d.c.koat	Omega(n^1)	0.552523
Complexity_ITS/Flores-Montoya_16/random2d.c.koat	Omega(n^1)	3.2511
Complexity_ITS/Flores-Montoya_16/rank1.c.koat	Omega(n^1)	2.01377
Complexity_ITS/Flores-Montoya_16/rank2.c.koat	Omega(n^1)	1.61384
Complexity_ITS/Flores-Montoya_16/rank3.c.koat	Omega(n^1)	3.18431
Complexity_ITS/Flores-Montoya_16/real2.c.koat	No	1.31875
Complexity_ITS/Flores-Montoya_16/realbubble.c.koat	Omega(n^2)	1.32986
Complexity_ITS/Flores-Montoya_16/realheapsort.c.koat	Omega(n^0)	3.35776
Complexity_ITS/Flores-Montoya_16/realheapsort_step1.c.koat	Omega(n^0)	1.90312
Complexity_ITS/Flores-Montoya_16/realheapsort_step2.c.koat	Omega(n^1)	3.14005
Complexity_ITS/Flores-Montoya_16/realselect.c.koat	Omega(n^2)	0.796393
Complexity_ITS/Flores-Montoya_16/realshellsort.c.koat	Omega(n^0)	1.78287
Complexity_ITS/Flores-Montoya_16/relation1.c.koat	Omega(n^0)	0.029967
Complexity_ITS/Flores-Montoya_16/rsd.c.koat	Omega(n^1)	0.908415
Complexity_ITS/Flores-Montoya_16/serpent.c.koat	Omega(n^2)	2.0928
Complexity_ITS/Flores-Montoya_16/sipma91.c.koat	Omega(n^1)	0.720282
Complexity_ITS/Flores-Montoya_16/sipmabubble.c.koat	Omega(n^2)	1.00993
Complexity_ITS/Flores-Montoya_16/sipmamergesort.c.koat	Omega(n^0)	9.85162
Complexity_ITS/Flores-Montoya_16/sipmamergesort2.c.koat	Omega(n^0)	10.3971
Complexity_ITS/Flores-Montoya_16/speedDis1.c.koat	Omega(n^1)	0.711493
Complexity_ITS/Flores-Montoya_16/speedDis2.c.koat	Omega(n^1)	0.657301
Complexity_ITS/Flores-Montoya_16/speedFails1.c.koat	Omega(n^0)	0.38011
Complexity_ITS/Flores-Montoya_16/speedFails2.c.koat	No	0.506242
Complexity_ITS/Flores-Montoya_16/speedFails3.c.koat	Omega(n^0)	0.58271
Complexity_ITS/Flores-Montoya_16/speedFails4.c.koat	Omega(n^0)	0.596194
Complexity_ITS/Flores-Montoya_16/speedNestedMultiple.c.koat	Omega(n^1)	1.18709
Complexity_ITS/Flores-Montoya_16/speedNestedMultipleDep.c.koat	Omega(n^2)	0.752987
Complexity_ITS/Flores-Montoya_16/speedSimpleMultiple.c.koat	Omega(n^1)	0.711762
Complexity_ITS/Flores-Montoya_16/speedSimpleMultipleDep.c.koat	Omega(n^2)	0.875596
Complexity_ITS/Flores-Montoya_16/speedSingleSingle.c.koat	Omega(n^1)	0.456975
Complexity_ITS/Flores-Montoya_16/speedSingleSingle2.c.koat	Omega(n^1)	0.774635
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.koat	Omega(n^1)	0.6731
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.koat	Omega(n^0)	0.648269
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.koat	Omega(n^1)	0.548863
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.koat	Omega(n^1)	0.813002
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.koat	Omega(n^2)	1.31264
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.koat	Omega(n^1)	0.968555
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.koat	Omega(n^1)	0.615159
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.koat	Omega(n^1)	0.712556
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.koat	Omega(n^1)	0.65066
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_multiple.c.koat	Omega(n^1)	1.18451
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_single.c.koat	Omega(n^1)	1.00512
Complexity_ITS/Flores-Montoya_16/speed_popl10_sequential_single.c.koat	Omega(n^1)	0.70104
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_multiple.c.koat	Omega(n^1)	0.726866
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single.c.koat	Omega(n^1)	0.461356
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single_2.c.koat	Omega(n^1)	0.790914
Complexity_ITS/Flores-Montoya_16/speedpldi2.c.koat	Omega(n^0)	0.58948
Complexity_ITS/Flores-Montoya_16/speedpldi3.c.koat	Omega(n^2)	0.734414
Complexity_ITS/Flores-Montoya_16/speedpldi4.c.koat	Omega(n^0)	0.497365
Complexity_ITS/Flores-Montoya_16/t07.c.koat	Omega(n^1)	0.694776
Complexity_ITS/Flores-Montoya_16/t08.c.koat	Omega(n^1)	0.612248
Complexity_ITS/Flores-Montoya_16/t10.c.koat	Omega(n^1)	0.655891
Complexity_ITS/Flores-Montoya_16/t11.c.koat	Omega(n^1)	0.709978
Complexity_ITS/Flores-Montoya_16/t13.c.koat	Omega(n^1)	1.06623
Complexity_ITS/Flores-Montoya_16/t15.c.koat	Omega(n^1)	0.596569
Complexity_ITS/Flores-Montoya_16/t16.c.koat	Omega(n^1)	0.557648
Complexity_ITS/Flores-Montoya_16/t19.c.koat	Omega(n^1)	0.655197
Complexity_ITS/Flores-Montoya_16/t20.c.koat	Omega(n^1)	0.533304
Complexity_ITS/Flores-Montoya_16/t27.c.koat	Omega(n^1)	0.863778
Complexity_ITS/Flores-Montoya_16/t28.c.koat	Omega(n^1)	0.828576
Complexity_ITS/Flores-Montoya_16/t30.c.koat	Omega(n^0)	0.551066
Complexity_ITS/Flores-Montoya_16/t47.c.koat	Omega(n^1)	0.621529
Complexity_ITS/Flores-Montoya_16/t62.c.koat	Omega(n^1)	1.53343
Complexity_ITS/Flores-Montoya_16/terminate.c.koat	Omega(n^0)	0.473276
Complexity_ITS/Flores-Montoya_16/terminatorbubble.c.koat	Omega(n^0)	0.879159
Complexity_ITS/Flores-Montoya_16/textbook_ex1.c.koat	Omega(n^1)	0.394086
Complexity_ITS/Flores-Montoya_16/textbook_ex2.c.koat	Omega(n^2)	0.736738
Complexity_ITS/Flores-Montoya_16/textbook_ex3.c.koat	Omega(n^4)	1.86269
Complexity_ITS/Flores-Montoya_16/textbook_ex4.c.koat	Omega(n^2)	0.785989
Complexity_ITS/Flores-Montoya_16/unperfect.c.koat	Omega(n^1)	1.74671
Complexity_ITS/Flores-Montoya_16/wcet0.c.koat	Omega(n^0)	1.44825
Complexity_ITS/Flores-Montoya_16/wcet1.c.koat	Omega(n^1)	1.61727
Complexity_ITS/Flores-Montoya_16/wcet2.c.koat	Omega(n^1)	0.825857
Complexity_ITS/Flores-Montoya_16/while2.c.koat	Omega(n^2)	0.72838
Complexity_ITS/Flores-Montoya_16/wise.c.koat	Omega(n^1)	0.618111
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat	Omega(n^0)	0.156685
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koat	Unknown	0.0412709
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat	Omega(n^0)	0.241579
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat	Omega(n^0)	0.158559
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat	Omega(n^0)	0.160525
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat	Omega(n^0)	0.179234
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat	Omega(n^1)	0.291816
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat	Omega(n^0)	0.161728
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat	Omega(n^0)	0.160373
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat	Omega(n^0)	0.186785
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat	Omega(n^0)	0.188449
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat	Omega(n^0)	0.158719
Complexity_ITS/Hark_20/Nils_2019/ex001.koat	Omega(n^0)	0.161188
Complexity_ITS/Hark_20/Nils_2019/ex002.koat	Omega(n^0)	0.160397
Complexity_ITS/Hark_20/Nils_2019/ex003.koat	Omega(n^0)	0.160185
Complexity_ITS/Hark_20/Nils_2019/ex004.koat	Omega(n^0)	0.283477
Complexity_ITS/Hark_20/Nils_2019/ex005.koat	Omega(n^1)	0.607901
Complexity_ITS/Hark_20/Nils_2019/ex006.koat	Omega(n^0)	0.247513
Complexity_ITS/Hark_20/Nils_2019/ex007.koat	Omega(n^0)	0.395661
Complexity_ITS/Hark_20/Nils_2019/ex008.koat	Omega(n^0)	0.160895
Complexity_ITS/Hark_20/Nils_2019/ex009.koat	Unknown	0.0409549
Complexity_ITS/Hark_20/Nils_2019/ex010.koat	Omega(n^1)	0.420087
Complexity_ITS/Hark_20/Nils_2019/ex011.koat	Unknown	0.0415731