KoAT
nameresulttime
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.koatO(n^1)0.108056
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.koatO(n^1)0.120166
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.koatO(n^1)0.111663
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.koatO(n^0)0.081743
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.koatO(n^0)0.0537681
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.koatO(n^0)0.055885
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.koatO(n^0)0.0548901
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.koatO(n^1)0.100713
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.koatO(n^1)0.146126
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.koatO(n^1)0.143197
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.koatO(n^1)0.191826
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.koatO(n^1)0.129173
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.koatO(n^1)0.13644
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.koatO(n^1)0.171436
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.koatO(n^1)0.177065
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.koatO(n^1)0.189112
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.koatO(n^1)0.26114
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.koatO(n^1)0.165106
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.koatO(n^1)0.225262
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.koatO(n^1)0.165754
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.koatO(n^1)0.22829
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.koatO(n^1)0.373732
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.koatO(n^2)1.88324
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.koatO(n^1)1.41757
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.koatO(n^1)0.151628
Complexity_ITS/Brockschmidt_16/FGPSF09/ESOP08/abstractions.koatInf2.37019
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.koatO(n^2)1.87173
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.koatInf3.19685
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.koatO(n^1)0.260718
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.koatO(n^1)0.190246
Complexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.koatO(n^2)1.92013
Complexity_ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.koatO(n^1)0.151264
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.koatO(n^1)0.103759
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.koatInf1.86774
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.koatO(n^2)1.86374
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.koatInf2.58828
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.koatInf2.91648
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.koatInf3.0975
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.koatInf2.37937
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.koatO(n^1)0.36582
Complexity_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.koatInf1.62388
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.koatO(n^1)0.1535
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.koatO(n^1)0.111713
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.koatO(n^1)0.18046
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.koatO(n^1)0.19101
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.koatO(n^1)0.130062
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koatO(n^2)1.84079
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koatInf3.68365
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koatO(n^2)20.4505
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koatO(n^1)0.108934
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koatO(n^1)0.107119
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koatO(n^1)0.142896
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koatO(n^1)0.143024
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koatO(n^1)0.122043
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koatO(n^1)0.132747
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koatO(n^1)0.237636
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koatO(n^1)0.286403
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.koatO(n^1)0.189933
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koatO(n^1)0.146492
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.koatO(n^1)0.188516
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.koatO(n^2)1.92121
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect2.koatO(n^2)2.57838
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.koatO(n^1)0.0964269
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.koatO(n^2)1.96622
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth1.koatUnknown1.83794
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth2.koatUnknown2.12032
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth3.koatUnknown2.15268
Complexity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.koatUnknown4.38687
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koatUnknown4.40386
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-exp-growth.koatUnknown1.639
Complexity_ITS/Brockschmidt_16/SAS10/aaron2.koatO(n^1)1.08577
Complexity_ITS/Brockschmidt_16/SAS10/ackermann.koatO(n^1)0.531633
Complexity_ITS/Brockschmidt_16/SAS10/ax.koatO(n^2)4.20005
Complexity_ITS/Brockschmidt_16/SAS10/complex.koatO(n^1)1.04143
Complexity_ITS/Brockschmidt_16/SAS10/counterex1.koatO(n^2)57.2605
Complexity_ITS/Brockschmidt_16/SAS10/cousot9.koatO(n^2)4.13824
Complexity_ITS/Brockschmidt_16/SAS10/determinant.koatO(n^3)6.50376
Complexity_ITS/Brockschmidt_16/SAS10/easy1.koatO(n^0)0.897463
Complexity_ITS/Brockschmidt_16/SAS10/easy2.koatO(n^1)0.477813
Complexity_ITS/Brockschmidt_16/SAS10/exmini.koatO(n^1)0.830399
Complexity_ITS/Brockschmidt_16/SAS10/gcd.koatO(n^1)0.965886
Complexity_ITS/Brockschmidt_16/SAS10/insertsort.koatO(n^2)4.76719
Complexity_ITS/Brockschmidt_16/SAS10/loops.koatO(n^2)4.28023
Complexity_ITS/Brockschmidt_16/SAS10/maccarthy91.koatO(n^1)1.81174
Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.koatO(n^0)0.414093
Complexity_ITS/Brockschmidt_16/SAS10/ndecr.koatO(n^1)0.322169
Complexity_ITS/Brockschmidt_16/SAS10/nestedLoop.koatO(n^2)13.3962
Complexity_ITS/Brockschmidt_16/SAS10/perfect.koatO(n^2)3.11275
Complexity_ITS/Brockschmidt_16/SAS10/random1d.koatO(n^1)0.697711
Complexity_ITS/Brockschmidt_16/SAS10/random2d.koatO(n^1)4.08162
Complexity_ITS/Brockschmidt_16/SAS10/realbubble.koatO(n^2)182.764
Complexity_ITS/Brockschmidt_16/SAS10/realheapsort.koatO(n^2)193.428
Complexity_ITS/Brockschmidt_16/SAS10/realselect.koatO(n^0)2.0545
Complexity_ITS/Brockschmidt_16/SAS10/realshellsort.koatInf300.04
Complexity_ITS/Brockschmidt_16/SAS10/relation1.koatO(n^0)0.149854
Complexity_ITS/Brockschmidt_16/SAS10/rsd.koatO(n^2)5.39316
Complexity_ITS/Brockschmidt_16/SAS10/sipmabubble.koatO(n^2)13.2716
Complexity_ITS/Brockschmidt_16/SAS10/speedFails4.koatO(n^1)1.3675
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi2.koatO(n^1)1.15033
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi3.koatO(n^2)6.38568
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi4.koatO(n^1)1.04399
Complexity_ITS/Brockschmidt_16/SAS10/terminate.koatO(n^1)0.873792
Complexity_ITS/Brockschmidt_16/SAS10/wcet1.koatO(n^1)1.54429
Complexity_ITS/Brockschmidt_16/SAS10/wcet2.koatO(n^1)1.18966
Complexity_ITS/Brockschmidt_16/SAS10/while2.koatO(n^2)4.05862
Complexity_ITS/Brockschmidt_16/SAS10/wise.koatO(n^1)0.675606
Complexity_ITS/Brockschmidt_16/T2/1.koatInf5.18115
Complexity_ITS/Brockschmidt_16/T2/1394-fail.koatInf62.6756
Complexity_ITS/Brockschmidt_16/T2/1394-succeed.koatInf58.7533
Complexity_ITS/Brockschmidt_16/T2/1394complete-fail.koatInf65.6999
Complexity_ITS/Brockschmidt_16/T2/1394complete-succeed.koatInf69.6174
Complexity_ITS/Brockschmidt_16/T2/2.koatInf4.8592
Complexity_ITS/Brockschmidt_16/T2/232.koatO(n^2)2.23728
Complexity_ITS/Brockschmidt_16/T2/241.koatO(n^2)2.22228
Complexity_ITS/Brockschmidt_16/T2/3.koatInf0.164272
Complexity_ITS/Brockschmidt_16/T2/5.koatInf8.69587
Complexity_ITS/Brockschmidt_16/T2/6.koatInf0.157728
Complexity_ITS/Brockschmidt_16/T2/7.koatInf0.165234
Complexity_ITS/Brockschmidt_16/T2/Loop.koatO(n^1)2.04165
Complexity_ITS/Brockschmidt_16/T2/a.10.c.koatO(n^1)5.03361
Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.koatInf6.27945
Complexity_ITS/Brockschmidt_16/T2/afagp-fail.koatInf211.335
Complexity_ITS/Brockschmidt_16/T2/afagx1.koatInf3.64256
Complexity_ITS/Brockschmidt_16/T2/agafp.koatInf84.0721
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted-fail.koatUnknown300.098
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted.koatUnknown300.017
Complexity_ITS/Brockschmidt_16/T2/apchild-live.koatUnknown300.049
Complexity_ITS/Brockschmidt_16/T2/apchildlive-succeed.koatUnknown300.02
Complexity_ITS/Brockschmidt_16/T2/array.koatO(n^0)0.0244651
Complexity_ITS/Brockschmidt_16/T2/array1.koatO(n^0)0.0251419
Complexity_ITS/Brockschmidt_16/T2/array2.koatO(n^0)0.0995441
Complexity_ITS/Brockschmidt_16/T2/array3.koatO(n^0)0.217629
Complexity_ITS/Brockschmidt_16/T2/array_free.koatO(n^0)0.128996
Complexity_ITS/Brockschmidt_16/T2/array_init.koatO(n^0)0.113849
Complexity_ITS/Brockschmidt_16/T2/array_init_assign.koatO(n^0)0.234231
Complexity_ITS/Brockschmidt_16/T2/ase_example.koatO(n^0)0.304787
Complexity_ITS/Brockschmidt_16/T2/bf10.koatO(n^0)1.3056
Complexity_ITS/Brockschmidt_16/T2/bf11.koatO(n^0)1.31247
Complexity_ITS/Brockschmidt_16/T2/bf12.koatO(n^0)1.31708
Complexity_ITS/Brockschmidt_16/T2/bf13.koatO(n^0)1.31385
Complexity_ITS/Brockschmidt_16/T2/bf14.koatO(n^0)1.29715
Complexity_ITS/Brockschmidt_16/T2/bf15.koatO(n^0)1.30478
Complexity_ITS/Brockschmidt_16/T2/bf16.koatO(n^0)1.32377
Complexity_ITS/Brockschmidt_16/T2/bf17.koatO(n^0)1.3137
Complexity_ITS/Brockschmidt_16/T2/bf18.koatO(n^0)1.31246
Complexity_ITS/Brockschmidt_16/T2/bf19.koatO(n^0)1.29788
Complexity_ITS/Brockschmidt_16/T2/bf20.koatO(n^0)1.32507
Complexity_ITS/Brockschmidt_16/T2/bf5.koatO(n^0)1.33255
Complexity_ITS/Brockschmidt_16/T2/bf6.koatO(n^0)1.31072
Complexity_ITS/Brockschmidt_16/T2/bf7.koatO(n^0)1.37543
Complexity_ITS/Brockschmidt_16/T2/bf8.koatO(n^0)1.32048
Complexity_ITS/Brockschmidt_16/T2/bf9.koatO(n^0)1.35852
Complexity_ITS/Brockschmidt_16/T2/bio.koatUnknown300.065
Complexity_ITS/Brockschmidt_16/T2/bitcount16.koatO(n^0)0.125296
Complexity_ITS/Brockschmidt_16/T2/bitcount32.koatO(n^0)0.122647
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koatUnknown300.032
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koatUnknown300.034
Complexity_ITS/Brockschmidt_16/T2/broydn.koatUnknown300.05
Complexity_ITS/Brockschmidt_16/T2/brp.koatUnknown300.036
Complexity_ITS/Brockschmidt_16/T2/brp_withassume.koatUnknown300.038
Complexity_ITS/Brockschmidt_16/T2/bs.koatInf6.55361
Complexity_ITS/Brockschmidt_16/T2/bsort100.koatO(n^0)0.92905
Complexity_ITS/Brockschmidt_16/T2/bubbleSort.koatO(n^2)4.60659
Complexity_ITS/Brockschmidt_16/T2/bubblesort_inner_loop.koatO(n^0)0.139021
Complexity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.koatInf26.3592
Complexity_ITS/Brockschmidt_16/T2/byron-1.koatO(n^1)0.169657
Complexity_ITS/Brockschmidt_16/T2/byron-2.koatInf3.34059
Complexity_ITS/Brockschmidt_16/T2/byron-3.koatO(n^1)0.178225
Complexity_ITS/Brockschmidt_16/T2/byron-4.koatO(n^1)0.204013
Complexity_ITS/Brockschmidt_16/T2/cfg.koatInf2.19045
Complexity_ITS/Brockschmidt_16/T2/cnt.koatO(n^0)0.728633
Complexity_ITS/Brockschmidt_16/T2/collatz.koatInf4.46289
Complexity_ITS/Brockschmidt_16/T2/complex_guard.koatO(n^0)0.185719
Complexity_ITS/Brockschmidt_16/T2/constants.koatO(n^0)0.286438
Complexity_ITS/Brockschmidt_16/T2/consts1.koatO(n^0)0.0914799
Complexity_ITS/Brockschmidt_16/T2/consts1nt.koatInf1.82972
Complexity_ITS/Brockschmidt_16/T2/consts2.koatO(n^1)0.0809049
Complexity_ITS/Brockschmidt_16/T2/consts2nt.koatInf1.85042
Complexity_ITS/Brockschmidt_16/T2/consts3.koatO(n^1)0.163138
Complexity_ITS/Brockschmidt_16/T2/consts3nt.koatInf1.81261
Complexity_ITS/Brockschmidt_16/T2/consts4.koatO(n^1)0.0814449
Complexity_ITS/Brockschmidt_16/T2/consts4nt.koatInf1.8498
Complexity_ITS/Brockschmidt_16/T2/consts5.koatO(n^0)0.027107
Complexity_ITS/Brockschmidt_16/T2/consts5nt.koatInf2.05198
Complexity_ITS/Brockschmidt_16/T2/cover.koatUnknown300.051
Complexity_ITS/Brockschmidt_16/T2/crc.koatO(n^0)7.16865
Complexity_ITS/Brockschmidt_16/T2/create.koatInf2.1633
Complexity_ITS/Brockschmidt_16/T2/create_seg.koatInf2.15787
Complexity_ITS/Brockschmidt_16/T2/create_via_tmps.koatO(n^1)1.13755
Complexity_ITS/Brockschmidt_16/T2/ctl.koatInf0.761326
Complexity_ITS/Brockschmidt_16/T2/curious.koatInf1.72945
Complexity_ITS/Brockschmidt_16/T2/curious4.koatInf194.199
Complexity_ITS/Brockschmidt_16/T2/d.koatInf2.0818
Complexity_ITS/Brockschmidt_16/T2/db2.koatUnknown300.052
Complexity_ITS/Brockschmidt_16/T2/db3.koatUnknown300.08
Complexity_ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.koatInf8.94932
Complexity_ITS/Brockschmidt_16/T2/destroy.koatInf4.1859
Complexity_ITS/Brockschmidt_16/T2/destroy_seg.koatInf4.73724
Complexity_ITS/Brockschmidt_16/T2/destroy_seg_leak.koatInf300.097
Complexity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.koatO(n^0)0.095564
Complexity_ITS/Brockschmidt_16/T2/dropbuf-live.koatO(n^0)0.0253459
Complexity_ITS/Brockschmidt_16/T2/dropbuf.koatInf32.3006
Complexity_ITS/Brockschmidt_16/T2/dsa_test.koatO(n^0)0.02573
Complexity_ITS/Brockschmidt_16/T2/dsa_test1.koatO(n^0)0.0252039
Complexity_ITS/Brockschmidt_16/T2/dsa_test10.koatO(n^0)0.212486
Complexity_ITS/Brockschmidt_16/T2/dsa_test11.koatO(n^0)0.0267711
Complexity_ITS/Brockschmidt_16/T2/dsa_test12.koatO(n^0)0.025522
Complexity_ITS/Brockschmidt_16/T2/dsa_test13.koatO(n^0)0.0251329
Complexity_ITS/Brockschmidt_16/T2/dsa_test15.koatO(n^0)0.208914
Complexity_ITS/Brockschmidt_16/T2/dsa_test4.koatO(n^0)0.0253
Complexity_ITS/Brockschmidt_16/T2/dsa_test5.koatO(n^0)0.0249589
Complexity_ITS/Brockschmidt_16/T2/dsa_test6.koatO(n^0)0.09944
Complexity_ITS/Brockschmidt_16/T2/dsa_test8.koatO(n^0)0.025052
Complexity_ITS/Brockschmidt_16/T2/dsa_test9.koatO(n^0)0.0252821
Complexity_ITS/Brockschmidt_16/T2/dummy.koatInf2.09687
Complexity_ITS/Brockschmidt_16/T2/e-1394complete-succeed.koatInf64.6053
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.koatInf3.77804
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.koatInf4.5289
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.koatInf2.39863
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.koatInf2.84895
Complexity_ITS/Brockschmidt_16/T2/e-popl07-fail.koatInf2.84222
Complexity_ITS/Brockschmidt_16/T2/edn.koatO(n^1)7.27529
Complexity_ITS/Brockschmidt_16/T2/efegp.koatInf248.019
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koatO(n^2)7.85979
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koatO(n^2)7.69882
Complexity_ITS/Brockschmidt_16/T2/elmhes.koatO(n^2)7.72574
Complexity_ITS/Brockschmidt_16/T2/eric.koatO(n^1)4.73385
Complexity_ITS/Brockschmidt_16/T2/eric1.koatInf9.29391
Complexity_ITS/Brockschmidt_16/T2/eric2.koatUnknown300.123
Complexity_ITS/Brockschmidt_16/T2/eric3.koatInf2.49756
Complexity_ITS/Brockschmidt_16/T2/ex1.koatInf0.163348
Complexity_ITS/Brockschmidt_16/T2/ex10.koatInf3.15928
Complexity_ITS/Brockschmidt_16/T2/ex11.koatInf9.70725
Complexity_ITS/Brockschmidt_16/T2/ex12.koatO(n^0)0.0992679
Complexity_ITS/Brockschmidt_16/T2/ex13.koatO(n^0)0.025525
Complexity_ITS/Brockschmidt_16/T2/ex14.koatO(n^0)0.099271
Complexity_ITS/Brockschmidt_16/T2/ex15.koatO(n^0)0.026274
Complexity_ITS/Brockschmidt_16/T2/ex16.koatInf3.28141
Complexity_ITS/Brockschmidt_16/T2/ex17.koatO(n^0)0.121427
Complexity_ITS/Brockschmidt_16/T2/ex18.koatO(n^0)0.483094
Complexity_ITS/Brockschmidt_16/T2/ex19.koatInf2.72128
Complexity_ITS/Brockschmidt_16/T2/ex2.koatInf2.13102
Complexity_ITS/Brockschmidt_16/T2/ex20.koatO(n^0)0.344906
Complexity_ITS/Brockschmidt_16/T2/ex21.koatO(n^0)0.214144
Complexity_ITS/Brockschmidt_16/T2/ex22.koatO(n^0)15.7208
Complexity_ITS/Brockschmidt_16/T2/ex23.koatO(n^0)0.160904
Complexity_ITS/Brockschmidt_16/T2/ex26.koatO(n^0)0.214744
Complexity_ITS/Brockschmidt_16/T2/ex27.koatO(n^0)31.2863
Complexity_ITS/Brockschmidt_16/T2/ex29.koatO(n^0)0.356729
Complexity_ITS/Brockschmidt_16/T2/ex3.koatO(n^0)0.244133
Complexity_ITS/Brockschmidt_16/T2/ex30.koatInf5.22715
Complexity_ITS/Brockschmidt_16/T2/ex31.koatInf2.92924
Complexity_ITS/Brockschmidt_16/T2/ex32.koatO(n^0)0.220897
Complexity_ITS/Brockschmidt_16/T2/ex33.koatO(n^0)0.029231
Complexity_ITS/Brockschmidt_16/T2/ex34.koatO(n^0)0.0256139
Complexity_ITS/Brockschmidt_16/T2/ex36.koatUnknown300.025
Complexity_ITS/Brockschmidt_16/T2/ex37.koatO(n^0)0.0263571
Complexity_ITS/Brockschmidt_16/T2/ex4.koatO(n^0)0.35202
Complexity_ITS/Brockschmidt_16/T2/ex40.koatInf2.74907
Complexity_ITS/Brockschmidt_16/T2/ex6.koatO(n^0)0.0296989
Complexity_ITS/Brockschmidt_16/T2/ex7.koatO(n^0)0.140974
Complexity_ITS/Brockschmidt_16/T2/ex8.koatInf6.78428
Complexity_ITS/Brockschmidt_16/T2/ex9.koatInf9.06929
Complexity_ITS/Brockschmidt_16/T2/example.koatO(n^1)0.141783
Complexity_ITS/Brockschmidt_16/T2/fake-succeed.koatInf300.025
Complexity_ITS/Brockschmidt_16/T2/fast_poll.koatUnknown300.055
Complexity_ITS/Brockschmidt_16/T2/fdct.koatO(n^0)0.148361
Complexity_ITS/Brockschmidt_16/T2/fermat.koatO(n^0)0.950663
Complexity_ITS/Brockschmidt_16/T2/fibcall.koatO(n^0)0.148458
Complexity_ITS/Brockschmidt_16/T2/fir.koatInf155.668
Complexity_ITS/Brockschmidt_16/T2/firewire.koatInf300.051
Complexity_ITS/Brockschmidt_16/T2/flipflop.koatInf1.85317
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koatO(n^1)0.635666
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koatInf300.059
Complexity_ITS/Brockschmidt_16/T2/fourn.koatInf300.022
Complexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.koatO(n^2)2.90412
Complexity_ITS/Brockschmidt_16/T2/fun1.koatInf26.6097
Complexity_ITS/Brockschmidt_16/T2/fun10.koatInf190.824
Complexity_ITS/Brockschmidt_16/T2/fun10b.koatInf151.861
Complexity_ITS/Brockschmidt_16/T2/fun11.koatInf2.44781
Complexity_ITS/Brockschmidt_16/T2/fun1b.koatInf29.4686
Complexity_ITS/Brockschmidt_16/T2/fun2.koatO(n^1)2.02253
Complexity_ITS/Brockschmidt_16/T2/fun2b.koatInf32.9309
Complexity_ITS/Brockschmidt_16/T2/fun3.koatO(n^1)2.07544
Complexity_ITS/Brockschmidt_16/T2/fun4-alt.koatO(n^0)0.212485
Complexity_ITS/Brockschmidt_16/T2/fun4.koatO(n^0)0.246265
Complexity_ITS/Brockschmidt_16/T2/fun5.koatInf300.038
Complexity_ITS/Brockschmidt_16/T2/fun6.koatInf300.099
Complexity_ITS/Brockschmidt_16/T2/fun7.koatInf7.48124
Complexity_ITS/Brockschmidt_16/T2/fun8.koatO(n^0)4.2525
Complexity_ITS/Brockschmidt_16/T2/fun9.koatInf98.1196
Complexity_ITS/Brockschmidt_16/T2/graycode.koatO(n^0)5.65869
Complexity_ITS/Brockschmidt_16/T2/heidy1.koatInf0.163291
Complexity_ITS/Brockschmidt_16/T2/heidy10.koatInf2.33398
Complexity_ITS/Brockschmidt_16/T2/heidy2.koatInf0.207382
Complexity_ITS/Brockschmidt_16/T2/heidy3.koatInf1.77185
Complexity_ITS/Brockschmidt_16/T2/heidy5.koatO(n^1)0.149815
Complexity_ITS/Brockschmidt_16/T2/heidy6.koatInf3.91687
Complexity_ITS/Brockschmidt_16/T2/heidy7-simple.koatInf2.26689
Complexity_ITS/Brockschmidt_16/T2/heidy7.koatInf2.2485
Complexity_ITS/Brockschmidt_16/T2/heidy8.koatInf2.69377
Complexity_ITS/Brockschmidt_16/T2/heidy9.koatO(n^1)0.0976469
Complexity_ITS/Brockschmidt_16/T2/hongyi1.koatO(n^1)35.025
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koatUnknown300.068
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koatUnknown300.02
Complexity_ITS/Brockschmidt_16/T2/hqr.koatUnknown300.099
Complexity_ITS/Brockschmidt_16/T2/huh.koatInf6.00558
Complexity_ITS/Brockschmidt_16/T2/iecs.koatO(n^1)0.125741
Complexity_ITS/Brockschmidt_16/T2/insertsort.koatInf1.84209
Complexity_ITS/Brockschmidt_16/T2/intSqRoot.koatInf2.44544
Complexity_ITS/Brockschmidt_16/T2/invgen.koatO(n^1)0.118994
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koatO(n^1)1.83405
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koatO(n^1)0.844619
Complexity_ITS/Brockschmidt_16/T2/jacobi.koatO(n^1)0.845299
Complexity_ITS/Brockschmidt_16/T2/janne_complex.koatInf10.4137
Complexity_ITS/Brockschmidt_16/T2/jfdctint.koatO(n^0)0.317501
Complexity_ITS/Brockschmidt_16/T2/loop3.koatO(n^0)29.6598
Complexity_ITS/Brockschmidt_16/T2/loop_on_input.koatO(n^0)2.04299
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koatO(n^1)1.97272
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koatO(n^1)1.98394
Complexity_ITS/Brockschmidt_16/T2/ludcmp.koatO(n^1)1.90461
Complexity_ITS/Brockschmidt_16/T2/magic.koatUnknown300.131
Complexity_ITS/Brockschmidt_16/T2/matmul.koatO(n^0)0.660148
Complexity_ITS/Brockschmidt_16/T2/matmult.koatO(n^1)1.81385
Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.koatO(n^0)1.08636
Complexity_ITS/Brockschmidt_16/T2/mc91.koatInf3.61252
Complexity_ITS/Brockschmidt_16/T2/mc91test.koatInf13.19
Complexity_ITS/Brockschmidt_16/T2/minmax.koatO(n^0)0.229082
Complexity_ITS/Brockschmidt_16/T2/n-1.koatInf2.39749
Complexity_ITS/Brockschmidt_16/T2/n-10.koatInf2.7699
Complexity_ITS/Brockschmidt_16/T2/n-12.koatInf2.50149
Complexity_ITS/Brockschmidt_16/T2/n-12a.koatInf1.77916
Complexity_ITS/Brockschmidt_16/T2/n-13.koatInf1.84117
Complexity_ITS/Brockschmidt_16/T2/n-14.koatInf2.39273
Complexity_ITS/Brockschmidt_16/T2/n-15.koatInf2.0716
Complexity_ITS/Brockschmidt_16/T2/n-15a.koatInf3.18841
Complexity_ITS/Brockschmidt_16/T2/n-16.koatInf2.07272
Complexity_ITS/Brockschmidt_16/T2/n-16a.koatInf1.9359
Complexity_ITS/Brockschmidt_16/T2/n-17.koatInf1.04005
Complexity_ITS/Brockschmidt_16/T2/n-18.koatInf1.82467
Complexity_ITS/Brockschmidt_16/T2/n-18a.koatInf1.92387
Complexity_ITS/Brockschmidt_16/T2/n-1c.koatInf2.73795
Complexity_ITS/Brockschmidt_16/T2/n-1d.koatInf2.79281
Complexity_ITS/Brockschmidt_16/T2/n-20.koatInf1.98267
Complexity_ITS/Brockschmidt_16/T2/n-21.koatInf3.01904
Complexity_ITS/Brockschmidt_16/T2/n-3.koatInf2.28533
Complexity_ITS/Brockschmidt_16/T2/n-32.koatInf1.96969
Complexity_ITS/Brockschmidt_16/T2/n-33.koatInf6.51492
Complexity_ITS/Brockschmidt_16/T2/n-36.koatInf4.80574
Complexity_ITS/Brockschmidt_16/T2/n-37.koatInf0.16336
Complexity_ITS/Brockschmidt_16/T2/n-3a.koatInf4.65835
Complexity_ITS/Brockschmidt_16/T2/n-4.koatInf3.20427
Complexity_ITS/Brockschmidt_16/T2/n-40.koatInf5.84298
Complexity_ITS/Brockschmidt_16/T2/n-46.koatInf2.38548
Complexity_ITS/Brockschmidt_16/T2/n-48.koatInf2.05423
Complexity_ITS/Brockschmidt_16/T2/n-5.koatInf2.71787
Complexity_ITS/Brockschmidt_16/T2/n-6.koatInf5.01991
Complexity_ITS/Brockschmidt_16/T2/n-6a.koatInf3.26797
Complexity_ITS/Brockschmidt_16/T2/n-7.koatInf2.22036
Complexity_ITS/Brockschmidt_16/T2/n-8.koatInf2.766
Complexity_ITS/Brockschmidt_16/T2/n-8a.koatInf1.91609
Complexity_ITS/Brockschmidt_16/T2/n-9.koatInf2.38766
Complexity_ITS/Brockschmidt_16/T2/n_firewire_instrumented-PP.koatInf148.816
Complexity_ITS/Brockschmidt_16/T2/nakata.koatInf300.024
Complexity_ITS/Brockschmidt_16/T2/nakata_withassume.koatInf300.101
Complexity_ITS/Brockschmidt_16/T2/ndes.koatO(n^0)34.6559
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-fail.koatInf69.5994
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-succeed.koatInf37.6954
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-fail.koatInf64.0647
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-succeed.koatInf64.2726
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.koatInf4.52454
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.koatInf3.76435
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.koatInf2.42248
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.koatInf2.41693
Complexity_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.koatInf2.86447
Complexity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.koatInf2.41985
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.koatInf3.68625
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.koatInf2.41837
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.koatInf2.3786
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.koatInf2.94224
Complexity_ITS/Brockschmidt_16/T2/nested.koatInf2.81435
Complexity_ITS/Brockschmidt_16/T2/nested2.koatInf3.33467
Complexity_ITS/Brockschmidt_16/T2/new_ex.koatInf32.5343
Complexity_ITS/Brockschmidt_16/T2/non_term.koatInf2.56881
Complexity_ITS/Brockschmidt_16/T2/ns.koatO(n^1)1.56821
Complexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.koatInf2.06052
Complexity_ITS/Brockschmidt_16/T2/p-1.koatInf1.9334
Complexity_ITS/Brockschmidt_16/T2/p-10.koatInf1.90904
Complexity_ITS/Brockschmidt_16/T2/p-12.koatO(n^1)0.105752
Complexity_ITS/Brockschmidt_16/T2/p-13.koatO(n^0)0.051367
Complexity_ITS/Brockschmidt_16/T2/p-14.koatO(n^1)0.0941831
Complexity_ITS/Brockschmidt_16/T2/p-15.koatO(n^1)0.097839
Complexity_ITS/Brockschmidt_16/T2/p-16.koatO(n^1)0.096533
Complexity_ITS/Brockschmidt_16/T2/p-18.koatO(n^1)0.0954869
Complexity_ITS/Brockschmidt_16/T2/p-19.koatInf2.00265
Complexity_ITS/Brockschmidt_16/T2/p-19a.koatInf1.80743
Complexity_ITS/Brockschmidt_16/T2/p-1a.koatInf1.8982
Complexity_ITS/Brockschmidt_16/T2/p-1b.koatO(n^1)0.141522
Complexity_ITS/Brockschmidt_16/T2/p-1c.koatInf1.08341
Complexity_ITS/Brockschmidt_16/T2/p-1d.koatO(n^1)0.230632
Complexity_ITS/Brockschmidt_16/T2/p-20.koatInf2.02634
Complexity_ITS/Brockschmidt_16/T2/p-21.koatO(n^1)0.188168
Complexity_ITS/Brockschmidt_16/T2/p-22.koatO(n^1)0.107394
Complexity_ITS/Brockschmidt_16/T2/p-3.koatO(n^1)0.171626
Complexity_ITS/Brockschmidt_16/T2/p-32.koatInf1.97761
Complexity_ITS/Brockschmidt_16/T2/p-33.koatInf2.81122
Complexity_ITS/Brockschmidt_16/T2/p-34.koatInf3.12589
Complexity_ITS/Brockschmidt_16/T2/p-36.koatInf2.85136
Complexity_ITS/Brockschmidt_16/T2/p-37.koatO(n^0)0.261973
Complexity_ITS/Brockschmidt_16/T2/p-4.koatO(n^1)2.38578
Complexity_ITS/Brockschmidt_16/T2/p-40.koatInf1.82607
Complexity_ITS/Brockschmidt_16/T2/p-41.koatO(n^0)0.0251761
Complexity_ITS/Brockschmidt_16/T2/p-42.koatO(n^1)0.206108
Complexity_ITS/Brockschmidt_16/T2/p-43-terminate.koatO(n^1)19.4422
Complexity_ITS/Brockschmidt_16/T2/p-43.koatO(n^1)3.34172
Complexity_ITS/Brockschmidt_16/T2/p-44.koatO(n^1)0.153987
Complexity_ITS/Brockschmidt_16/T2/p-45.koatO(n^1)0.148499
Complexity_ITS/Brockschmidt_16/T2/p-46.koatInf4.58471
Complexity_ITS/Brockschmidt_16/T2/p-49.koatO(n^1)0.108602
Complexity_ITS/Brockschmidt_16/T2/p-5.koatInf2.71027
Complexity_ITS/Brockschmidt_16/T2/p-52.koatInf1.79999
Complexity_ITS/Brockschmidt_16/T2/p-53.koatO(n^0)0.0498449
Complexity_ITS/Brockschmidt_16/T2/p-55.koatO(n^1)2.59828
Complexity_ITS/Brockschmidt_16/T2/p-56.koatO(n^1)0.330108
Complexity_ITS/Brockschmidt_16/T2/p-58.koatO(n^0)0.121691
Complexity_ITS/Brockschmidt_16/T2/p-6.koatO(n^1)0.227266
Complexity_ITS/Brockschmidt_16/T2/p-60.koatO(n^0)0.161541
Complexity_ITS/Brockschmidt_16/T2/p-61.koatO(n^0)0.181087
Complexity_ITS/Brockschmidt_16/T2/p-63.koatO(n^1)0.16185
Complexity_ITS/Brockschmidt_16/T2/p-7.koatO(n^1)0.218877
Complexity_ITS/Brockschmidt_16/T2/p-7b.koatO(n^1)0.219172
Complexity_ITS/Brockschmidt_16/T2/p-8.koatInf1.94202
Complexity_ITS/Brockschmidt_16/T2/p-9.koatInf1.92496
Complexity_ITS/Brockschmidt_16/T2/pearl-necklace.koatO(n^1)0.631409
Complexity_ITS/Brockschmidt_16/T2/pentagon.koatInf51.1938
Complexity_ITS/Brockschmidt_16/T2/pgarch.koatInf107.56
Complexity_ITS/Brockschmidt_16/T2/pldi.koatO(n^2)3.52489
Complexity_ITS/Brockschmidt_16/T2/polling.bug.koatUnknown300.037
Complexity_ITS/Brockschmidt_16/T2/polling.koatUnknown300.03
Complexity_ITS/Brockschmidt_16/T2/polyrank1.koatO(n^1)0.141701
Complexity_ITS/Brockschmidt_16/T2/polyrank2.koatO(n^1)0.196449
Complexity_ITS/Brockschmidt_16/T2/polyrank3.koatInf3.03755
Complexity_ITS/Brockschmidt_16/T2/polyrank4.koatInf3.3575
Complexity_ITS/Brockschmidt_16/T2/polyrank5.koatO(n^5)3.13828
Complexity_ITS/Brockschmidt_16/T2/polyrank6.koatO(n^1)0.246849
Complexity_ITS/Brockschmidt_16/T2/polyrank7.koatInf2.39625
Complexity_ITS/Brockschmidt_16/T2/popl07-fail.koatInf3.70782
Complexity_ITS/Brockschmidt_16/T2/popl07-succeed.koatInf3.70664
Complexity_ITS/Brockschmidt_16/T2/print.koatInf17.0048
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koatO(n^1)1.58849
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koatO(n^1)1.49035
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.koatO(n^1)1.30276
Complexity_ITS/Brockschmidt_16/T2/queens.koatO(n^1)16.5495
Complexity_ITS/Brockschmidt_16/T2/queue_1.koatO(n^0)0.250111
Complexity_ITS/Brockschmidt_16/T2/queue_10.koatO(n^0)0.369851
Complexity_ITS/Brockschmidt_16/T2/queue_100.koatO(n^0)0.380207
Complexity_ITS/Brockschmidt_16/T2/queue_1000.koatO(n^0)0.410467
Complexity_ITS/Brockschmidt_16/T2/randomwalk.koatInf28.0653
Complexity_ITS/Brockschmidt_16/T2/randomwalk_withassume.koatInf32.0784
Complexity_ITS/Brockschmidt_16/T2/refine_disj_problem.koatInf2.30036
Complexity_ITS/Brockschmidt_16/T2/rev_nt2.koatInf4.46737
Complexity_ITS/Brockschmidt_16/T2/rev_nt3.koatInf4.53561
Complexity_ITS/Brockschmidt_16/T2/rev_nt4.koatO(n^0)0.0374709
Complexity_ITS/Brockschmidt_16/T2/reverse.koatInf6.49833
Complexity_ITS/Brockschmidt_16/T2/reverse_div4.koatInf8.66702
Complexity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.koatO(n^1)4.15911
Complexity_ITS/Brockschmidt_16/T2/rewrite.koatInf0.165301
Complexity_ITS/Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koatO(n^1)2.59373
Complexity_ITS/Brockschmidt_16/T2/rlft3.koatO(n^1)2.57481
Complexity_ITS/Brockschmidt_16/T2/s1-saved.koatInf12.3533
Complexity_ITS/Brockschmidt_16/T2/s3-work.koatInf66.4125
Complexity_ITS/Brockschmidt_16/T2/sas1.koatO(n^1)0.570832
Complexity_ITS/Brockschmidt_16/T2/sas2.koatO(n^1)23.8428
Complexity_ITS/Brockschmidt_16/T2/select.koatInf43.8795
Complexity_ITS/Brockschmidt_16/T2/selectSort.koatO(n^2)4.63139
Complexity_ITS/Brockschmidt_16/T2/send-more-money.koatO(n^0)17.7219
Complexity_ITS/Brockschmidt_16/T2/seq.koatO(n^1)0.089743
Complexity_ITS/Brockschmidt_16/T2/seq2.koatO(n^1)0.081199
Complexity_ITS/Brockschmidt_16/T2/sequential_swap.koatO(n^0)0.286602
Complexity_ITS/Brockschmidt_16/T2/simple.koatInf1.89459
Complexity_ITS/Brockschmidt_16/T2/simpleWhile.koatO(n^1)0.495307
Complexity_ITS/Brockschmidt_16/T2/simple_array_inversion.koatO(n^0)0.11224
Complexity_ITS/Brockschmidt_16/T2/simple_control_on_input.koatO(n^0)1.73738
Complexity_ITS/Brockschmidt_16/T2/simple_double_free.koatO(n^0)0.0251969
Complexity_ITS/Brockschmidt_16/T2/simple_fail.koatO(n^0)0.0255081
Complexity_ITS/Brockschmidt_16/T2/simple_pre.koatO(n^0)0.0242501
Complexity_ITS/Brockschmidt_16/T2/simple_pre1.koatO(n^0)0.0250891
Complexity_ITS/Brockschmidt_16/T2/simple_pre2.koatO(n^0)0.025879
Complexity_ITS/Brockschmidt_16/T2/simple_pre3.koatO(n^0)0.025932
Complexity_ITS/Brockschmidt_16/T2/simple_swap_call.koatO(n^0)0.0270341
Complexity_ITS/Brockschmidt_16/T2/slayer-1-filtered.koatInf4.98088
Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.koatInf11.2111
Complexity_ITS/Brockschmidt_16/T2/slayer-2-filtered.koatO(n^0)0.0964059
Complexity_ITS/Brockschmidt_16/T2/slayer-3-filtered.koatInf75.9676
Complexity_ITS/Brockschmidt_16/T2/slayer-3-new.koatUnknown300.07
Complexity_ITS/Brockschmidt_16/T2/slayer-3.koatUnknown300.025
Complexity_ITS/Brockschmidt_16/T2/slayer-4-filtered.koatUnknown300.024
Complexity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.koatInf5.89344
Complexity_ITS/Brockschmidt_16/T2/slayer-n1.koatInf18.5354
Complexity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.koatInf2.33022
Complexity_ITS/Brockschmidt_16/T2/slayer-n2.koatInf1.79205
Complexity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.koatO(n^0)0.0937029
Complexity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.koatInf47.0512
Complexity_ITS/Brockschmidt_16/T2/smagilla-succeed.koatInf2.19927
Complexity_ITS/Brockschmidt_16/T2/smagillb-succeed.koatInf5.02491
Complexity_ITS/Brockschmidt_16/T2/smagillc-fail.koatInf2.30871
Complexity_ITS/Brockschmidt_16/T2/smagillc-succeed.koatInf2.20321
Complexity_ITS/Brockschmidt_16/T2/sort.koatO(n^0)4.63798
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koatO(n^1)4.12473
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koatO(n^1)3.98662
Complexity_ITS/Brockschmidt_16/T2/spctrm.koatO(n^1)4.1075
Complexity_ITS/Brockschmidt_16/T2/spiral.koatO(n^1)0.92337
Complexity_ITS/Brockschmidt_16/T2/st88.bug.koatInf9.98263
Complexity_ITS/Brockschmidt_16/T2/st88.koatInf9.77154
Complexity_ITS/Brockschmidt_16/T2/statemate.koatUnknown300.025
Complexity_ITS/Brockschmidt_16/T2/stored.koatInf7.00962
Complexity_ITS/Brockschmidt_16/T2/streamserver-succeed.koatUnknown300.099
Complexity_ITS/Brockschmidt_16/T2/streamserver.bug.koatUnknown300.033
Complexity_ITS/Brockschmidt_16/T2/subpoly_crash.koatInf1.97758
Complexity_ITS/Brockschmidt_16/T2/sudoku.koatUnknown300.036
Complexity_ITS/Brockschmidt_16/T2/sumit.koatO(n^1)8.24268
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koatO(n^2)133.608
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koatO(n^2)77.1316
Complexity_ITS/Brockschmidt_16/T2/svdcmp.koatO(n^2)76.6826
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koatO(n^1)2.03798
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koatInf300.042
Complexity_ITS/Brockschmidt_16/T2/toeplz.koatInf300.031
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koatInf300.029
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koatInf300.122
Complexity_ITS/Brockschmidt_16/T2/tqli.koatInf300.086
Complexity_ITS/Brockschmidt_16/T2/traverse.koatInf12.6257
Complexity_ITS/Brockschmidt_16/T2/traverse2.koatInf50.7095
Complexity_ITS/Brockschmidt_16/T2/traverse_seg.koatInf15.4784
Complexity_ITS/Brockschmidt_16/T2/traverse_seg2.koatInf17.5281
Complexity_ITS/Brockschmidt_16/T2/traverse_twice.koatInf20.9934
Complexity_ITS/Brockschmidt_16/T2/two_arrays.koatO(n^0)1.23682
Complexity_ITS/Brockschmidt_16/T2/two_arrays1.koatO(n^0)2.49735
Complexity_ITS/Brockschmidt_16/T2/two_arrays2.koatO(n^1)2.56053
Complexity_ITS/Brockschmidt_16/T2/two_arrays6.koatO(n^1)2.48761
Complexity_ITS/Brockschmidt_16/T2/ud.koatO(n^0)4.09345
Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.koatO(n^0)0.0251769
Complexity_ITS/Brockschmidt_16/T2/vmcai_struct.koatO(n^0)0.025106
Complexity_ITS/Brockschmidt_16/T2/w1.koatInf0.195329
Complexity_ITS/Brockschmidt_16/T2/w2_nt.koatInf4.28257
Complexity_ITS/Brockschmidt_16/T2/walk.koatInf4.60373
Complexity_ITS/Brockschmidt_16/T2/wrong_loop.koatInf2.94943
Complexity_ITS/Brockschmidt_16/T2/wtf.koatO(n^1)2.04101
Complexity_ITS/Brockschmidt_16/T2/zeroconf.koatInf300.02
Complexity_ITS/Brockschmidt_16/T2/zeroconf_withassume.koatInf300.044
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex01.koatO(n^1)0.205305
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex02.koatO(n^2)2.86664
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex03.koatO(n^6)13.3621
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex04.koatInf21.2927
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex05.koatO(n^2)2.86084
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex06.koatO(n^2)2.93508
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex07.koatO(n^2)3.16984
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex08.koatO(n^2)2.5992
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex09.koatO(n^2)3.60404
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex10.koatO(n^2)2.68545
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex11.koatO(n^2)2.58826
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex12.koatO(n^1)0.421521
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex13.koatO(n^3)6.55824
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex14.koatO(n^5)10.001
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex15.koatInf14.7149
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example1.koatO(n^1)1.06851
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example2.koatO(n^1)46.4035
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example3.koatO(n^0)4.70059
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex1.koatO(n^2)33.2093
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex2.koatO(n^1)0.810542
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex3.koatO(n^1)1.46862
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koatO(n^1)0.468106
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koatO(n^2)5.6056
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koatO(n^1)0.792501
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koatO(n^1)0.548424
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koatO(n^2)10.0721
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koatO(n^1)5.87495
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koatO(n^1)5.03728
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koatO(n^1)1.59407
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koatO(n^2)27.8934
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koatO(n^1)6.50746
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koatO(n^2)7.46567
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koatInf4.65785
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koatInf5.38352
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koatO(n^1)0.79206
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koatInf10.5849
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koatO(n^1)0.433485
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koatO(n^1)4.77704
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koatO(n^1)0.524328
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koatO(n^1)0.435761
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koatO(n^1)0.877824
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koatO(n^2)3.85654
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koatO(n^1)0.668675
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koatO(n^1)0.434546
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koatO(n^1)0.608498
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koatO(n^2)5.6355
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koatO(n^1)0.214155
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koatO(n^1)0.812764
Complexity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.koatO(n^1)0.503056
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ax.koatO(n^2)3.15652
Complexity_ITS/Brockschmidt_16/c-examples/WTC/complex.koatO(n^1)0.879066
Complexity_ITS/Brockschmidt_16/c-examples/WTC/counterex1b.koatInf300.029
Complexity_ITS/Brockschmidt_16/c-examples/WTC/cousot9.koatInf5.65201
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy1.koatO(n^0)0.34135
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy2.koatO(n^1)0.134724
Complexity_ITS/Brockschmidt_16/c-examples/WTC/exmini.koatO(n^1)0.32481
Complexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.koatO(n^1)3.76098
Complexity_ITS/Brockschmidt_16/c-examples/WTC/insertsort.koatO(n^2)6.56066
Complexity_ITS/Brockschmidt_16/c-examples/WTC/loops.koatO(n^2)2.42974
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.koatO(n^0)0.169704
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.koatO(n^1)0.143472
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.koatO(n^2)11.2144
Complexity_ITS/Brockschmidt_16/c-examples/WTC/perfect.koatO(n^2)3.76621
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random1d.koatO(n^1)0.352168
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random2d.koatO(n^1)1.96637
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realbubble.koatO(n^2)5.77973
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort.koatO(n^2)20.0678
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step1.koatO(n^2)6.31079
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step2.koatInf54.4211
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realselect.koatO(n^2)3.56431
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realshellsort.koatInf67.5157
Complexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.koatO(n^2)5.26402
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipma91.koatO(n^1)0.903338
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipmabubble.koatO(n^2)3.51998
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedFails4.koatO(n^1)5.13449
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.koatO(n^1)0.469231
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.koatO(n^2)5.79765
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.koatO(n^1)0.373864
Complexity_ITS/Brockschmidt_16/c-examples/WTC/terminate.koatO(n^1)0.324603
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.koatO(n^1)0.919089
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.koatO(n^1)0.40744
Complexity_ITS/Brockschmidt_16/c-examples/WTC/while2.koatO(n^2)2.84082
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wise.koatO(n^1)0.448554
Complexity_ITS/Brockschmidt_16/costa/RAML/rationalPotential.koatO(n^1)0.126619
Complexity_ITS/Brockschmidt_16/costa/misc/ack.koatInf2.39785
Complexity_ITS/Brockschmidt_16/costa/misc/direct_n_log_n.koatO(n^1)0.136084
Complexity_ITS/Brockschmidt_16/costa/misc/linear.koatO(n^1)0.098478
Complexity_ITS/Brockschmidt_16/costa/misc/logarithmic.koatO(n^0)0.0682489
Complexity_ITS/Brockschmidt_16/costa/misc/merge.koatO(n^1)0.127872
Complexity_ITS/Brockschmidt_16/costa/misc/mspe.koatO(n^1)0.78289
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.koatO(n^1)2.2927
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.koatO(n^1)73.459
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.koatO(n^0)4.44045
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.koatO(n^2)45.2179
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.koatO(n^1)2.69728
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.koatO(n^1)2.04823
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.koatO(n^1)3.57122
Complexity_ITS/Flores-Montoya_16/Loopus2015_original.c.koatO(n^1)4.5841
Complexity_ITS/Flores-Montoya_16/aaron12.c.koatInf19.6672
Complexity_ITS/Flores-Montoya_16/aaron2.c.koatO(n^1)1.33157
Complexity_ITS/Flores-Montoya_16/aaron3.c.koatInf300.058
Complexity_ITS/Flores-Montoya_16/alain.c.koatO(n^3)14.2368
Complexity_ITS/Flores-Montoya_16/ax.c.koatO(n^2)3.50502
Complexity_ITS/Flores-Montoya_16/catmouse.c.koatInf4.17324
Complexity_ITS/Flores-Montoya_16/complex.c.koatO(n^1)2.37048
Complexity_ITS/Flores-Montoya_16/counterex1a.c.koatO(n^2)41.035
Complexity_ITS/Flores-Montoya_16/counterex1b.c.koatUnknown300.022
Complexity_ITS/Flores-Montoya_16/counterex1c.c.koatO(n^2)50.7746
Complexity_ITS/Flores-Montoya_16/cousot9.c.koatO(n^2)4.07507
Complexity_ITS/Flores-Montoya_16/easy1.c.koatO(n^0)0.420138
Complexity_ITS/Flores-Montoya_16/easy2.c.koatO(n^1)0.36535
Complexity_ITS/Flores-Montoya_16/ex_paper1.c.koatO(n^2)18.1724
Complexity_ITS/Flores-Montoya_16/ex_paper2.c.koatO(n^2)4.80113
Complexity_ITS/Flores-Montoya_16/ex_paper3.c.koatO(n^2)9.9751
Complexity_ITS/Flores-Montoya_16/exmini.c.koatO(n^1)1.08914
Complexity_ITS/Flores-Montoya_16/heapsort.c.koatO(n^1)68.6188
Complexity_ITS/Flores-Montoya_16/insertsort.c.koatO(n^2)5.45448
Complexity_ITS/Flores-Montoya_16/jama_ex1.c.koatO(n^2)3.65457
Complexity_ITS/Flores-Montoya_16/jama_ex2.c.koatO(n^2)3.65636
Complexity_ITS/Flores-Montoya_16/jama_ex3.c.koatO(n^2)3.54915
Complexity_ITS/Flores-Montoya_16/jama_ex4.c.koatO(n^2)4.66442
Complexity_ITS/Flores-Montoya_16/jama_ex5.c.koatO(n^2)3.56188
Complexity_ITS/Flores-Montoya_16/jama_ex6.c.koatO(n^3)12.1091
Complexity_ITS/Flores-Montoya_16/jama_ex7.c.koatO(n^2)4.28134
Complexity_ITS/Flores-Montoya_16/knuth_morris_pratt.c.koatO(n^1)5.68564
Complexity_ITS/Flores-Montoya_16/loops.c.koatO(n^2)1.88423
Complexity_ITS/Flores-Montoya_16/nd_loop.c.koatO(n^0)0.374841
Complexity_ITS/Flores-Montoya_16/ndecr.c.koatO(n^1)0.475795
Complexity_ITS/Flores-Montoya_16/nestedLoop.c.koatO(n^2)192.597
Complexity_ITS/Flores-Montoya_16/nested_loop.c.koatO(n^2)62.2999
Complexity_ITS/Flores-Montoya_16/perfect.c.koatO(n^2)6.33792
Complexity_ITS/Flores-Montoya_16/perfect1.c.koatO(n^2)8.38404
Complexity_ITS/Flores-Montoya_16/perfect2.c.koatO(n^2)6.25639
Complexity_ITS/Flores-Montoya_16/perfectg.c.koatO(n^2)10.252
Complexity_ITS/Flores-Montoya_16/random1d.c.koatO(n^1)0.551219
Complexity_ITS/Flores-Montoya_16/random2d.c.koatO(n^1)2.69823
Complexity_ITS/Flores-Montoya_16/rank1.c.koatO(n^3)38.5291
Complexity_ITS/Flores-Montoya_16/rank2.c.koatO(n^1)3.14524
Complexity_ITS/Flores-Montoya_16/rank3.c.koatO(n^2)61.1458
Complexity_ITS/Flores-Montoya_16/real2.c.koatInf47.5128
Complexity_ITS/Flores-Montoya_16/realbubble.c.koatO(n^2)12.4914
Complexity_ITS/Flores-Montoya_16/realheapsort.c.koatO(n^2)31.2751
Complexity_ITS/Flores-Montoya_16/realheapsort_step1.c.koatO(n^2)5.13494
Complexity_ITS/Flores-Montoya_16/realheapsort_step2.c.koatO(n^2)17.6178
Complexity_ITS/Flores-Montoya_16/realselect.c.koatO(n^2)5.68025
Complexity_ITS/Flores-Montoya_16/realshellsort.c.koatO(n^4)30.1107
Complexity_ITS/Flores-Montoya_16/relation1.c.koatO(n^0)0.0448149
Complexity_ITS/Flores-Montoya_16/rsd.c.koatO(n^1)1.87868
Complexity_ITS/Flores-Montoya_16/serpent.c.koatUnknown300.026
Complexity_ITS/Flores-Montoya_16/sipma91.c.koatO(n^1)3.22867
Complexity_ITS/Flores-Montoya_16/sipmabubble.c.koatO(n^2)6.38733
Complexity_ITS/Flores-Montoya_16/sipmamergesort.c.koatUnknown300.049
Complexity_ITS/Flores-Montoya_16/sipmamergesort2.c.koatUnknown300.1
Complexity_ITS/Flores-Montoya_16/speedDis1.c.koatO(n^1)1.03219
Complexity_ITS/Flores-Montoya_16/speedDis2.c.koatO(n^1)0.824989
Complexity_ITS/Flores-Montoya_16/speedFails1.c.koatInf3.35601
Complexity_ITS/Flores-Montoya_16/speedFails2.c.koatInf3.60949
Complexity_ITS/Flores-Montoya_16/speedFails3.c.koatInf5.6366
Complexity_ITS/Flores-Montoya_16/speedFails4.c.koatInf5.0593
Complexity_ITS/Flores-Montoya_16/speedNestedMultiple.c.koatO(n^1)2.63692
Complexity_ITS/Flores-Montoya_16/speedNestedMultipleDep.c.koatO(n^2)4.26608
Complexity_ITS/Flores-Montoya_16/speedSimpleMultiple.c.koatO(n^1)0.747097
Complexity_ITS/Flores-Montoya_16/speedSimpleMultipleDep.c.koatO(n^2)4.57589
Complexity_ITS/Flores-Montoya_16/speedSingleSingle.c.koatO(n^1)0.398061
Complexity_ITS/Flores-Montoya_16/speedSingleSingle2.c.koatO(n^1)1.41255
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.koatO(n^1)3.80379
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.koatO(n^1)0.893404
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.koatO(n^1)0.582903
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.koatO(n^1)6.21552
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.koatO(n^2)14.6943
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.koatO(n^1)1.04322
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.koatO(n^1)0.964347
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.koatO(n^1)1.03735
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.koatO(n^1)0.828228
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_multiple.c.koatO(n^1)2.6279
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_single.c.koatO(n^1)1.11228
Complexity_ITS/Flores-Montoya_16/speed_popl10_sequential_single.c.koatO(n^1)0.966275
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_multiple.c.koatO(n^1)0.730993
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single.c.koatO(n^1)0.398525
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single_2.c.koatO(n^1)0.995386
Complexity_ITS/Flores-Montoya_16/speedpldi2.c.koatO(n^1)0.753826
Complexity_ITS/Flores-Montoya_16/speedpldi3.c.koatO(n^2)4.76784
Complexity_ITS/Flores-Montoya_16/speedpldi4.c.koatO(n^1)0.501409
Complexity_ITS/Flores-Montoya_16/t07.c.koatO(n^1)1.15979
Complexity_ITS/Flores-Montoya_16/t08.c.koatO(n^1)0.702712
Complexity_ITS/Flores-Montoya_16/t10.c.koatO(n^1)0.945376
Complexity_ITS/Flores-Montoya_16/t11.c.koatO(n^1)1.03191
Complexity_ITS/Flores-Montoya_16/t13.c.koatO(n^1)1.82434
Complexity_ITS/Flores-Montoya_16/t15.c.koatO(n^1)1.09804
Complexity_ITS/Flores-Montoya_16/t16.c.koatO(n^1)4.73386
Complexity_ITS/Flores-Montoya_16/t19.c.koatO(n^1)1.15663
Complexity_ITS/Flores-Montoya_16/t20.c.koatO(n^1)0.705877
Complexity_ITS/Flores-Montoya_16/t27.c.koatO(n^1)1.20946
Complexity_ITS/Flores-Montoya_16/t28.c.koatO(n^1)1.43672
Complexity_ITS/Flores-Montoya_16/t30.c.koatO(n^1)0.682146
Complexity_ITS/Flores-Montoya_16/t47.c.koatO(n^1)0.523796
Complexity_ITS/Flores-Montoya_16/t62.c.koatO(n^1)6.08583
Complexity_ITS/Flores-Montoya_16/terminate.c.koatO(n^1)1.0557
Complexity_ITS/Flores-Montoya_16/terminatorbubble.c.koatO(n^2)10.8667
Complexity_ITS/Flores-Montoya_16/textbook_ex1.c.koatO(n^1)0.461175
Complexity_ITS/Flores-Montoya_16/textbook_ex2.c.koatO(n^2)3.60011
Complexity_ITS/Flores-Montoya_16/textbook_ex3.c.koatO(n^4)184.124
Complexity_ITS/Flores-Montoya_16/textbook_ex4.c.koatO(n^2)3.96873
Complexity_ITS/Flores-Montoya_16/unperfect.c.koatO(n^2)6.31019
Complexity_ITS/Flores-Montoya_16/wcet0.c.koatO(n^1)1.3044
Complexity_ITS/Flores-Montoya_16/wcet1.c.koatO(n^1)1.31367
Complexity_ITS/Flores-Montoya_16/wcet2.c.koatO(n^1)1.04769
Complexity_ITS/Flores-Montoya_16/while2.c.koatO(n^2)3.78576
Complexity_ITS/Flores-Montoya_16/wise.c.koatO(n^1)0.771489
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koatO(n^1)0.082168
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koatUnknown0.0219609
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koatO(n^1)0.122934
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koatO(n^1)0.131138
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koatO(n^1)0.823692
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koatO(n^1)0.125143
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koatO(n^1)0.145849
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koatO(n^1)0.157948
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koatO(n^1)0.155654
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koatO(n^1)0.138875
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koatO(n^1)0.145559
Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koatO(n^1)0.206033
Complexity_ITS/Hark_20/Nils_2019/ex001.koatO(n^1)0.534517
Complexity_ITS/Hark_20/Nils_2019/ex002.koatInf2.42844
Complexity_ITS/Hark_20/Nils_2019/ex003.koatO(n^1)0.14189
Complexity_ITS/Hark_20/Nils_2019/ex004.koatO(n^1)0.433298
Complexity_ITS/Hark_20/Nils_2019/ex005.koatO(n^2)3.48205
Complexity_ITS/Hark_20/Nils_2019/ex006.koatO(n^1)0.138088
Complexity_ITS/Hark_20/Nils_2019/ex007.koatO(n^2)2.67277
Complexity_ITS/Hark_20/Nils_2019/ex008.koatO(n^0)1.85914
Complexity_ITS/Hark_20/Nils_2019/ex009.koatUnknown0.0193891
Complexity_ITS/Hark_20/Nils_2019/ex010.koatO(n^4)3.40346
Complexity_ITS/Hark_20/Nils_2019/ex011.koatO(n^4)3.0895