The table below presents the actual runtimes of the benchmarks along with the results produced by the tool CoFloCo.
Here, n is the largest initial absolute value of all program variables.
| Benchmark | Result | Time |
|---|---|---|
| function_calls/fc01.ces | Unknown | 0.35 |
| function_calls/fc02.ces | Unknown | 0.39 |
| function_calls/fc03.ces | Unknown | 0.41 |
| function_calls/fc04.ces | Unknown | 0.40 |
| function_calls/fc05.ces | Unknown | 0.41 |
| function_calls/fc06.ces | Unknown | 0.42 |
| function_calls/fc07.ces | Unknown | 0.49 |
| function_calls/fc08.ces | Unknown | 0.51 |
| function_calls/fc09.ces | Unknown | 0.49 |
| function_calls/fc10.ces | Unknown | 0.49 |
| function_calls/fc11.ces | Unknown | 0.49 |
| function_calls/fc12.ces | Unknown | 0.53 |
| function_calls/fc13.ces | Unknown | 0.48 |
| function_calls/fc14.ces | Unknown | 0.50 |
| function_calls/fc15.ces | Unknown | 0.51 |
| function_calls/fc16.ces | Unknown | 0.37 |
| function_calls/fc17.ces | Unknown | 0.52 |
| function_calls/fc18.ces | Unknown | 0.51 |
| function_calls/fc19.ces | Unknown | 0.51 |
| function_calls/fc20.ces | Unknown | 0.51 |
| function_calls/fc21.ces | Unknown | 0.54 |
| function_calls/fc22.ces | Unknown | 0.51 |
| function_calls/fc23.ces | O(n^3) | 0.57 |
| function_calls/fc24.ces | Unknown | 0.58 |
| function_calls/fc25.ces | O(n) | 0.45 |
| function_calls/fc26.ces | Unknown | 0.40 |
| function_calls/fc27.ces | Unknown | 0.42 |
| function_calls/fc28.ces | Unknown | 0.50 |
| function_calls/fc29.ces | Unknown | 0.41 |
| function_calls/fc30.ces | Unknown | 0.49 |
| function_calls/fc31.ces | Unknown | 0.42 |
| function_calls/fc32.ces | Unknown | 0.39 |
| function_calls/fc33.ces | Unknown | 0.51 |
| function_calls/fc34.ces | Unknown | 0.55 |
| function_calls/fc35.ces | Unknown | 0.52 |
| function_calls/fc36.ces | Unknown | 0.36 |
| function_calls/fc37.ces | Unknown | 0.58 |
| function_calls/fc38.ces | Unknown | 0.44 |
| function_calls/fc39.ces | Unknown | 0.49 |
| function_calls/fc40.ces | Unknown | 0.39 |
| function_calls/fc41.ces | Unknown | 0.53 |
| function_calls/fc42.ces | Unknown | 0.42 |
| function_calls/fc43.ces | Unknown | 0.47 |
| function_calls/fc44.ces | Unknown | 0.54 |
| function_calls/fc45.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.ces | O(n) | 0.44 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.ces | O(1) | 0.50 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.ces | O(n) | 0.42 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.ces | O(n) | 0.40 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.ces | O(n) | 0.64 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.ces | O(n) | 0.63 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.ces | O(n) | 0.54 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.ces | O(n) | 0.59 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.ces | O(n) | 0.58 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.ces | O(n) | 0.62 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.ces | O(n) | 0.63 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.ces | O(n) | 0.65 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.ces | O(n^2) | 0.64 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.ces | O(n) | 0.65 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/ESOP08/abstractions.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.ces | O(n^2) | 0.62 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.ces | Unknown | 0.61 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.ces | O(n) | 0.58 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.ces | O(n^2) | 0.58 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.ces | O(n^2) | 0.63 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.ces | Unknown | 0.56 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.ces | Unknown | 0.58 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.ces | O(n) | 0.66 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.ces | O(n) | 0.58 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.ces | O(n) | 0.62 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.ces | O(n) | 0.64 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.ces | O(n^2) | 0.60 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.ces | Unknown | 0.60 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.ces | O(n^2) | 1.35 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.ces | O(n) | 0.43 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.ces | O(n) | 0.56 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.ces | O(n) | 0.56 |
| Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/KoAT-2013/sect2.ces | O(n^2) | 0.62 |
| Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.ces | O(n^2) | 0.57 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth1.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth2.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth3.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.ces | Unknown | 0.60 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.ces | Unknown | 0.57 |
| Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-exp-growth.ces | Unknown | 0.54 |
| Complexity_ITS/Brockschmidt_16/SAS10/aaron2.ces | O(n) | 1.80 |
| Complexity_ITS/Brockschmidt_16/SAS10/ackermann.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/SAS10/ax.ces | O(n^2) | 0.74 |
| Complexity_ITS/Brockschmidt_16/SAS10/complex.ces | O(n) | 16.32 |
| Complexity_ITS/Brockschmidt_16/SAS10/counterex1.ces | Unknown | 16.43 |
| Complexity_ITS/Brockschmidt_16/SAS10/cousot9.ces | O(n^2) | 0.74 |
| Complexity_ITS/Brockschmidt_16/SAS10/determinant.ces | O(n^3) | 0.80 |
| Complexity_ITS/Brockschmidt_16/SAS10/easy1.ces | O(1) | 0.75 |
| Complexity_ITS/Brockschmidt_16/SAS10/easy2.ces | O(n) | 0.63 |
| Complexity_ITS/Brockschmidt_16/SAS10/exmini.ces | O(n) | 1.05 |
| Complexity_ITS/Brockschmidt_16/SAS10/gcd.ces | O(n^2) | 1.60 |
| Complexity_ITS/Brockschmidt_16/SAS10/insertsort.ces | O(n^2) | 0.69 |
| Complexity_ITS/Brockschmidt_16/SAS10/loops.ces | O(n^2) | 0.78 |
| Complexity_ITS/Brockschmidt_16/SAS10/maccarthy91.ces | O(n) | 0.86 |
| Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.ces | O(1) | 0.49 |
| Complexity_ITS/Brockschmidt_16/SAS10/ndecr.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/SAS10/nestedLoop.ces | O(n^2) | 3.06 |
| Complexity_ITS/Brockschmidt_16/SAS10/perfect.ces | O(n^2) | 1.25 |
| Complexity_ITS/Brockschmidt_16/SAS10/random1d.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/SAS10/random2d.ces | O(n) | 1.10 |
| Complexity_ITS/Brockschmidt_16/SAS10/realbubble.ces | Unknown | 3.57 |
| Complexity_ITS/Brockschmidt_16/SAS10/realheapsort.ces | O(n^2) | 142.79 |
| Complexity_ITS/Brockschmidt_16/SAS10/realselect.ces | O(1) | 0.61 |
| Complexity_ITS/Brockschmidt_16/SAS10/realshellsort.ces | O(n^3) | 3.88 |
| Complexity_ITS/Brockschmidt_16/SAS10/relation1.ces | O(1) | 0.38 |
| Complexity_ITS/Brockschmidt_16/SAS10/rsd.ces | O(n^2) | 1.54 |
| Complexity_ITS/Brockschmidt_16/SAS10/sipmabubble.ces | O(n^2) | 5.30 |
| Complexity_ITS/Brockschmidt_16/SAS10/speedFails4.ces | O(n) | 0.76 |
| Complexity_ITS/Brockschmidt_16/SAS10/speedpldi2.ces | O(n) | 0.80 |
| Complexity_ITS/Brockschmidt_16/SAS10/speedpldi3.ces | O(n^2) | 0.89 |
| Complexity_ITS/Brockschmidt_16/SAS10/speedpldi4.ces | O(n) | 0.72 |
| Complexity_ITS/Brockschmidt_16/SAS10/terminate.ces | O(n) | 0.98 |
| Complexity_ITS/Brockschmidt_16/SAS10/wcet1.ces | O(n) | 0.67 |
| Complexity_ITS/Brockschmidt_16/SAS10/wcet2.ces | O(n) | 0.82 |
| Complexity_ITS/Brockschmidt_16/SAS10/while2.ces | O(n^2) | 0.62 |
| Complexity_ITS/Brockschmidt_16/SAS10/wise.ces | O(n) | 0.62 |
| Complexity_ITS/Brockschmidt_16/T2/1.ces | Unknown | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/1394-fail.ces | Unknown | 3.24 |
| Complexity_ITS/Brockschmidt_16/T2/1394-succeed.ces | Unknown | 3.13 |
| Complexity_ITS/Brockschmidt_16/T2/1394complete-fail.ces | Unknown | 2.82 |
| Complexity_ITS/Brockschmidt_16/T2/1394complete-succeed.ces | Unknown | 2.90 |
| Complexity_ITS/Brockschmidt_16/T2/2.ces | Unknown | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/232.ces | O(n^2) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/241.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/3.ces | Unknown | 0.41 |
| Complexity_ITS/Brockschmidt_16/T2/5.ces | Unknown | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/6.ces | Unknown | 0.36 |
| Complexity_ITS/Brockschmidt_16/T2/7.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/Loop.ces | O(n) | 33.45 |
| Complexity_ITS/Brockschmidt_16/T2/a.10.c.ces | O(n) | 1.02 |
| Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/afagp-fail.ces | Unknown | 29.61 |
| Complexity_ITS/Brockschmidt_16/T2/afagx1.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/agafp.ces | Unknown | 15.63 |
| Complexity_ITS/Brockschmidt_16/T2/apchild-accepted-fail.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/apchild-accepted.ces | TIMEOUT | 300.03 |
| Complexity_ITS/Brockschmidt_16/T2/apchild-live.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/apchildlive-succeed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/array.ces | O(1) | 0.31 |
| Complexity_ITS/Brockschmidt_16/T2/array1.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/array2.ces | O(1) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/array3.ces | O(1) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/array_free.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/array_init.ces | O(1) | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/array_init_assign.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/ase_example.ces | O(1) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/bf10.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf11.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf12.ces | O(1) | 0.73 |
| Complexity_ITS/Brockschmidt_16/T2/bf13.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf14.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf15.ces | O(1) | 0.70 |
| Complexity_ITS/Brockschmidt_16/T2/bf16.ces | O(1) | 0.70 |
| Complexity_ITS/Brockschmidt_16/T2/bf17.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf18.ces | O(1) | 0.70 |
| Complexity_ITS/Brockschmidt_16/T2/bf19.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf20.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf5.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/bf6.ces | O(1) | 0.70 |
| Complexity_ITS/Brockschmidt_16/T2/bf7.ces | O(1) | 0.73 |
| Complexity_ITS/Brockschmidt_16/T2/bf8.ces | O(1) | 0.75 |
| Complexity_ITS/Brockschmidt_16/T2/bf9.ces | O(1) | 0.74 |
| Complexity_ITS/Brockschmidt_16/T2/bio.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/bitcount16.ces | O(1) | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/bitcount32.ces | O(1) | 0.56 |
| Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/broydn.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/brp.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/brp_withassume.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/bs.ces | Unknown | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/bsort100.ces | O(1) | 0.85 |
| Complexity_ITS/Brockschmidt_16/T2/bubbleSort.ces | O(n^2) | 0.63 |
| Complexity_ITS/Brockschmidt_16/T2/bubblesort_inner_loop.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.ces | Unknown | 48.25 |
| Complexity_ITS/Brockschmidt_16/T2/byron-1.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/byron-2.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/byron-3.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/byron-4.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/cfg.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/cnt.ces | O(1) | 0.81 |
| Complexity_ITS/Brockschmidt_16/T2/collatz.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/complex_guard.ces | O(1) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/constants.ces | O(1) | 0.54 |
| Complexity_ITS/Brockschmidt_16/T2/consts1.ces | O(1) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/consts1nt.ces | Unknown | 0.43 |
| Complexity_ITS/Brockschmidt_16/T2/consts2.ces | O(n) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/consts2nt.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/consts3.ces | O(n) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/consts3nt.ces | Unknown | 0.43 |
| Complexity_ITS/Brockschmidt_16/T2/consts4.ces | O(n) | 0.32 |
| Complexity_ITS/Brockschmidt_16/T2/consts4nt.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/consts5.ces | O(1) | 0.31 |
| Complexity_ITS/Brockschmidt_16/T2/consts5nt.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/cover.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/crc.ces | O(1) | 1.14 |
| Complexity_ITS/Brockschmidt_16/T2/create.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/create_seg.ces | Unknown | 0.56 |
| Complexity_ITS/Brockschmidt_16/T2/create_via_tmps.ces | O(n) | 0.85 |
| Complexity_ITS/Brockschmidt_16/T2/ctl.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/curious.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/curious4.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/d.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/db2.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/db3.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/destroy.ces | Unknown | 0.88 |
| Complexity_ITS/Brockschmidt_16/T2/destroy_seg.ces | Unknown | 0.99 |
| Complexity_ITS/Brockschmidt_16/T2/destroy_seg_leak.ces | Unknown | 3.08 |
| Complexity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/dropbuf-live.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/dropbuf.ces | Unknown | 1.45 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test.ces | O(1) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test1.ces | O(1) | 0.37 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test10.ces | O(1) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test11.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test12.ces | O(1) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test13.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test15.ces | O(1) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test4.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test5.ces | O(1) | 0.31 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test6.ces | O(1) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test8.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/dsa_test9.ces | O(1) | 0.31 |
| Complexity_ITS/Brockschmidt_16/T2/dummy.ces | Unknown | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/e-1394complete-succeed.ces | Unknown | 2.66 |
| Complexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/e-popl07-fail.ces | Unknown | 1.29 |
| Complexity_ITS/Brockschmidt_16/T2/edn.ces | O(1) | 1.57 |
| Complexity_ITS/Brockschmidt_16/T2/efegp.ces | Unknown | 11.70 |
| Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.ces | Unknown | 1.74 |
| Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.ces | Unknown | 1.71 |
| Complexity_ITS/Brockschmidt_16/T2/elmhes.ces | Unknown | 1.70 |
| Complexity_ITS/Brockschmidt_16/T2/eric.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/eric1.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/eric2.ces | Unknown | 1.82 |
| Complexity_ITS/Brockschmidt_16/T2/eric3.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/ex1.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/ex10.ces | Unknown | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/ex11.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/ex12.ces | O(1) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/ex13.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/ex14.ces | O(1) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/ex15.ces | O(1) | 0.37 |
| Complexity_ITS/Brockschmidt_16/T2/ex16.ces | Unknown | 0.61 |
| Complexity_ITS/Brockschmidt_16/T2/ex17.ces | O(1) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/ex18.ces | O(1) | 0.60 |
| Complexity_ITS/Brockschmidt_16/T2/ex19.ces | Unknown | 0.59 |
| Complexity_ITS/Brockschmidt_16/T2/ex2.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/ex20.ces | O(1) | 0.59 |
| Complexity_ITS/Brockschmidt_16/T2/ex21.ces | O(1) | 0.54 |
| Complexity_ITS/Brockschmidt_16/T2/ex22.ces | O(1) | 1.18 |
| Complexity_ITS/Brockschmidt_16/T2/ex23.ces | O(1) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/ex26.ces | O(1) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/ex27.ces | O(1) | 1.59 |
| Complexity_ITS/Brockschmidt_16/T2/ex29.ces | O(1) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/ex3.ces | O(1) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/ex30.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/ex31.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/ex32.ces | O(1) | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/ex33.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/ex34.ces | O(1) | 0.40 |
| Complexity_ITS/Brockschmidt_16/T2/ex36.ces | Unknown | 41.25 |
| Complexity_ITS/Brockschmidt_16/T2/ex37.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/ex4.ces | O(1) | 0.60 |
| Complexity_ITS/Brockschmidt_16/T2/ex40.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/ex6.ces | O(1) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/ex7.ces | O(1) | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/ex8.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/ex9.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/example.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/fake-succeed.ces | Unknown | 78.45 |
| Complexity_ITS/Brockschmidt_16/T2/fast_poll.ces | Unknown | 75.49 |
| Complexity_ITS/Brockschmidt_16/T2/fdct.ces | O(1) | 0.72 |
| Complexity_ITS/Brockschmidt_16/T2/fermat.ces | O(1) | 0.67 |
| Complexity_ITS/Brockschmidt_16/T2/fibcall.ces | O(1) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/fir.ces | Unknown | 0.72 |
| Complexity_ITS/Brockschmidt_16/T2/firewire.ces | Unknown | 3.46 |
| Complexity_ITS/Brockschmidt_16/T2/flipflop.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.ces | Unknown | 17.56 |
| Complexity_ITS/Brockschmidt_16/T2/fourn.ces | Unknown | 17.53 |
| Complexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/fun1.ces | Unknown | 48.65 |
| Complexity_ITS/Brockschmidt_16/T2/fun10.ces | Unknown | 5.77 |
| Complexity_ITS/Brockschmidt_16/T2/fun10b.ces | Unknown | 4.23 |
| Complexity_ITS/Brockschmidt_16/T2/fun11.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/fun1b.ces | Unknown | 49.63 |
| Complexity_ITS/Brockschmidt_16/T2/fun2.ces | O(n) | 34.05 |
| Complexity_ITS/Brockschmidt_16/T2/fun2b.ces | Unknown | 25.11 |
| Complexity_ITS/Brockschmidt_16/T2/fun3.ces | O(n) | 33.53 |
| Complexity_ITS/Brockschmidt_16/T2/fun4-alt.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/fun4.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/fun5.ces | O(n) | 2.14 |
| Complexity_ITS/Brockschmidt_16/T2/fun6.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/fun7.ces | Unknown | 3.37 |
| Complexity_ITS/Brockschmidt_16/T2/fun8.ces | O(1) | 1.97 |
| Complexity_ITS/Brockschmidt_16/T2/fun9.ces | Unknown | 74.20 |
| Complexity_ITS/Brockschmidt_16/T2/graycode.ces | O(1) | 3.10 |
| Complexity_ITS/Brockschmidt_16/T2/heidy1.ces | Unknown | 0.36 |
| Complexity_ITS/Brockschmidt_16/T2/heidy10.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/heidy2.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/heidy3.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/heidy5.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/heidy6.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/heidy7-simple.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/heidy7.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/heidy8.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/heidy9.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/hongyi1.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/hqr.ces | TIMEOUT | 300.02 |
| Complexity_ITS/Brockschmidt_16/T2/huh.ces | Unknown | 0.78 |
| Complexity_ITS/Brockschmidt_16/T2/iecs.ces | O(n) | 0.38 |
| Complexity_ITS/Brockschmidt_16/T2/insertsort.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/intSqRoot.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/invgen.ces | O(n) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.ces | O(n) | 244.26 |
| Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.ces | O(n) | 187.41 |
| Complexity_ITS/Brockschmidt_16/T2/jacobi.ces | O(n) | 186.89 |
| Complexity_ITS/Brockschmidt_16/T2/janne_complex.ces | Unknown | 0.56 |
| Complexity_ITS/Brockschmidt_16/T2/jfdctint.ces | O(1) | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/loop3.ces | O(1) | 6.03 |
| Complexity_ITS/Brockschmidt_16/T2/loop_on_input.ces | O(1) | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.ces | O(n) | 16.86 |
| Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.ces | O(n) | 17.29 |
| Complexity_ITS/Brockschmidt_16/T2/ludcmp.ces | O(n) | 17.34 |
| Complexity_ITS/Brockschmidt_16/T2/magic.ces | Unknown | 18.46 |
| Complexity_ITS/Brockschmidt_16/T2/matmul.ces | O(1) | 0.60 |
| Complexity_ITS/Brockschmidt_16/T2/matmult.ces | O(1) | 0.74 |
| Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.ces | O(1) | 0.65 |
| Complexity_ITS/Brockschmidt_16/T2/mc91.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/mc91test.ces | Unknown | 0.55 |
| Complexity_ITS/Brockschmidt_16/T2/minmax.ces | O(1) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/n-1.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/n-10.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/n-12.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/n-12a.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/n-13.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/n-14.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/n-15.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/n-15a.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/n-16.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/n-16a.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/n-17.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/n-18.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/n-18a.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/n-1c.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/n-1d.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/n-20.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/n-21.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/n-3.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/n-32.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/n-33.ces | Unknown | 0.58 |
| Complexity_ITS/Brockschmidt_16/T2/n-36.ces | Unknown | 0.87 |
| Complexity_ITS/Brockschmidt_16/T2/n-37.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/n-3a.ces | Unknown | 0.64 |
| Complexity_ITS/Brockschmidt_16/T2/n-4.ces | Unknown | 1.21 |
| Complexity_ITS/Brockschmidt_16/T2/n-40.ces | Unknown | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/n-46.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/n-48.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/n-5.ces | Unknown | 0.90 |
| Complexity_ITS/Brockschmidt_16/T2/n-6.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/n-6a.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/n-7.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/n-8.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/n-8a.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/n-9.ces | Unknown | 0.55 |
| Complexity_ITS/Brockschmidt_16/T2/n_firewire_instrumented-PP.ces | Unknown | 8.02 |
| Complexity_ITS/Brockschmidt_16/T2/nakata.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/nakata_withassume.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/ndes.ces | O(1) | 33.24 |
| Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-fail.ces | Unknown | 2.82 |
| Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-succeed.ces | Unknown | 2.78 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-fail.ces | Unknown | 2.68 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-succeed.ces | Unknown | 2.68 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.ces | Unknown | 0.58 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.ces | Unknown | 0.55 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.ces | Unknown | 1.21 |
| Complexity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.ces | Unknown | 0.93 |
| Complexity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.ces | Unknown | 0.96 |
| Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/nested.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/nested2.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/new_ex.ces | Unknown | 0.90 |
| Complexity_ITS/Brockschmidt_16/T2/non_term.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/ns.ces | O(1) | 0.97 |
| Complexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/p-1.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/p-10.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/p-12.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/p-13.ces | O(1) | 0.40 |
| Complexity_ITS/Brockschmidt_16/T2/p-14.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/p-15.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/p-16.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-18.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-19.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/p-19a.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-1a.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-1b.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/p-1c.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/p-1d.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/p-20.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-21.ces | O(n) | 0.54 |
| Complexity_ITS/Brockschmidt_16/T2/p-22.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/p-3.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/p-32.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-33.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-34.ces | Unknown | 0.74 |
| Complexity_ITS/Brockschmidt_16/T2/p-36.ces | Unknown | 0.60 |
| Complexity_ITS/Brockschmidt_16/T2/p-37.ces | O(1) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/p-4.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/p-40.ces | Unknown | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/p-41.ces | O(1) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/p-42.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/p-43-terminate.ces | Unknown | 23.45 |
| Complexity_ITS/Brockschmidt_16/T2/p-43.ces | Unknown | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/p-44.ces | O(n) | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/p-45.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/p-46.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/p-49.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/p-5.ces | Unknown | 0.88 |
| Complexity_ITS/Brockschmidt_16/T2/p-52.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/p-53.ces | O(1) | 0.32 |
| Complexity_ITS/Brockschmidt_16/T2/p-55.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/p-56.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/p-58.ces | O(1) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/p-6.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/p-60.ces | O(1) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/p-61.ces | O(1) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/p-63.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/p-7.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/p-7b.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/T2/p-8.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/p-9.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/pearl-necklace.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/T2/pentagon.ces | Unknown | 1.38 |
| Complexity_ITS/Brockschmidt_16/T2/pgarch.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/pldi.ces | O(n^2) | 0.62 |
| Complexity_ITS/Brockschmidt_16/T2/polling.bug.ces | Unknown | 64.92 |
| Complexity_ITS/Brockschmidt_16/T2/polling.ces | Unknown | 54.90 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank1.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank2.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank3.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank4.ces | Unknown | 0.49 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank5.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank6.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/polyrank7.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/popl07-fail.ces | Unknown | 0.85 |
| Complexity_ITS/Brockschmidt_16/T2/popl07-succeed.ces | Unknown | 0.87 |
| Complexity_ITS/Brockschmidt_16/T2/print.ces | Unknown | 2.92 |
| Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.ces | O(n) | 2.19 |
| Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.ces | O(n) | 2.19 |
| Complexity_ITS/Brockschmidt_16/T2/qrdcmp.ces | O(n) | 2.20 |
| Complexity_ITS/Brockschmidt_16/T2/queens.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/queue_1.ces | O(1) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/queue_10.ces | O(1) | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/queue_100.ces | O(1) | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/queue_1000.ces | O(1) | 0.50 |
| Complexity_ITS/Brockschmidt_16/T2/randomwalk.ces | Unknown | 0.75 |
| Complexity_ITS/Brockschmidt_16/T2/randomwalk_withassume.ces | Unknown | 0.93 |
| Complexity_ITS/Brockschmidt_16/T2/refine_disj_problem.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/rev_nt2.ces | Unknown | 0.91 |
| Complexity_ITS/Brockschmidt_16/T2/rev_nt3.ces | Unknown | 0.91 |
| Complexity_ITS/Brockschmidt_16/T2/rev_nt4.ces | O(1) | 0.38 |
| Complexity_ITS/Brockschmidt_16/T2/reverse.ces | Unknown | 2.18 |
| Complexity_ITS/Brockschmidt_16/T2/reverse_div4.ces | Unknown | 0.88 |
| Complexity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.ces | O(n) | 1.73 |
| Complexity_ITS/Brockschmidt_16/T2/rewrite.ces | Unknown | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.ces | TIMEOUT | 300.03 |
| Complexity_ITS/Brockschmidt_16/T2/rlft3.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/s1-saved.ces | Unknown | 1.50 |
| Complexity_ITS/Brockschmidt_16/T2/s3-work.ces | Unknown | 19.13 |
| Complexity_ITS/Brockschmidt_16/T2/sas1.ces | O(n) | 0.67 |
| Complexity_ITS/Brockschmidt_16/T2/sas2.ces | O(n) | 2.94 |
| Complexity_ITS/Brockschmidt_16/T2/select.ces | Unknown | 52.09 |
| Complexity_ITS/Brockschmidt_16/T2/selectSort.ces | O(n^2) | 0.70 |
| Complexity_ITS/Brockschmidt_16/T2/send-more-money.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/seq.ces | O(n) | 0.34 |
| Complexity_ITS/Brockschmidt_16/T2/seq2.ces | O(n) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/sequential_swap.ces | O(1) | 0.37 |
| Complexity_ITS/Brockschmidt_16/T2/simple.ces | Unknown | 0.37 |
| Complexity_ITS/Brockschmidt_16/T2/simpleWhile.ces | O(n) | 0.59 |
| Complexity_ITS/Brockschmidt_16/T2/simple_array_inversion.ces | O(1) | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/simple_control_on_input.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/simple_double_free.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/simple_fail.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/simple_pre.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/simple_pre1.ces | O(1) | 0.37 |
| Complexity_ITS/Brockschmidt_16/T2/simple_pre2.ces | O(1) | 0.35 |
| Complexity_ITS/Brockschmidt_16/T2/simple_pre3.ces | O(1) | 0.32 |
| Complexity_ITS/Brockschmidt_16/T2/simple_swap_call.ces | O(1) | 0.32 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-1-filtered.ces | Unknown | 1.15 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.ces | Unknown | 1.11 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-2-filtered.ces | O(1) | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-3-filtered.ces | Unknown | 18.59 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-3-new.ces | TIMEOUT | 300.07 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-3.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-4-filtered.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.ces | Unknown | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n1.ces | Unknown | 0.89 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n2.ces | Unknown | 0.45 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.ces | O(1) | 0.32 |
| Complexity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.ces | Unknown | 3.70 |
| Complexity_ITS/Brockschmidt_16/T2/smagilla-succeed.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/smagillb-succeed.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/smagillc-fail.ces | Unknown | 0.55 |
| Complexity_ITS/Brockschmidt_16/T2/smagillc-succeed.ces | Unknown | 0.52 |
| Complexity_ITS/Brockschmidt_16/T2/sort.ces | O(1) | 1.78 |
| Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.ces | O(n) | 35.02 |
| Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.ces | O(n) | 35.56 |
| Complexity_ITS/Brockschmidt_16/T2/spctrm.ces | O(n) | 35.64 |
| Complexity_ITS/Brockschmidt_16/T2/spiral.ces | O(n) | 0.56 |
| Complexity_ITS/Brockschmidt_16/T2/st88.bug.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/st88.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/T2/statemate.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/stored.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/T2/streamserver-succeed.ces | Unknown | 82.71 |
| Complexity_ITS/Brockschmidt_16/T2/streamserver.bug.ces | Unknown | 53.11 |
| Complexity_ITS/Brockschmidt_16/T2/subpoly_crash.ces | Unknown | 0.46 |
| Complexity_ITS/Brockschmidt_16/T2/sudoku.ces | Unknown | 49.39 |
| Complexity_ITS/Brockschmidt_16/T2/sumit.ces | O(n) | 0.76 |
| Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/svdcmp.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.ces | O(n^2) | 2.23 |
| Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.ces | Unknown | 3.38 |
| Complexity_ITS/Brockschmidt_16/T2/toeplz.ces | Unknown | 3.37 |
| Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/tqli.ces | TIMEOUT | 300.10 |
| Complexity_ITS/Brockschmidt_16/T2/traverse.ces | Unknown | 1.48 |
| Complexity_ITS/Brockschmidt_16/T2/traverse2.ces | Unknown | 3.46 |
| Complexity_ITS/Brockschmidt_16/T2/traverse_seg.ces | Unknown | 1.69 |
| Complexity_ITS/Brockschmidt_16/T2/traverse_seg2.ces | Unknown | 1.98 |
| Complexity_ITS/Brockschmidt_16/T2/traverse_twice.ces | Unknown | 1.99 |
| Complexity_ITS/Brockschmidt_16/T2/two_arrays.ces | O(1) | 0.62 |
| Complexity_ITS/Brockschmidt_16/T2/two_arrays1.ces | O(1) | 0.71 |
| Complexity_ITS/Brockschmidt_16/T2/two_arrays2.ces | O(n) | 0.87 |
| Complexity_ITS/Brockschmidt_16/T2/two_arrays6.ces | O(n) | 0.86 |
| Complexity_ITS/Brockschmidt_16/T2/ud.ces | O(1) | 1.94 |
| Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.ces | O(1) | 0.31 |
| Complexity_ITS/Brockschmidt_16/T2/vmcai_struct.ces | O(1) | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/w1.ces | Unknown | 0.33 |
| Complexity_ITS/Brockschmidt_16/T2/w2_nt.ces | Unknown | 0.83 |
| Complexity_ITS/Brockschmidt_16/T2/walk.ces | Unknown | 0.60 |
| Complexity_ITS/Brockschmidt_16/T2/wrong_loop.ces | Unknown | 0.47 |
| Complexity_ITS/Brockschmidt_16/T2/wtf.ces | O(n) | 33.37 |
| Complexity_ITS/Brockschmidt_16/T2/zeroconf.ces | Unknown | 6.94 |
| Complexity_ITS/Brockschmidt_16/T2/zeroconf_withassume.ces | Unknown | 7.86 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex01.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex02.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex03.ces | O(n^4) | 0.92 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex04.ces | Unknown | 0.68 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex05.ces | O(n^2) | 0.52 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex06.ces | O(n^2) | 0.53 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex07.ces | O(n^2) | 0.58 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex08.ces | O(n^2) | 0.54 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex09.ces | O(n^2) | 0.58 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex10.ces | O(n^2) | 0.55 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex11.ces | O(n^2) | 0.52 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex12.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex13.ces | O(n^3) | 1.06 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex14.ces | O(n^4) | 0.77 |
| Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex15.ces | Unknown | 2.54 |
| Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example1.ces | O(n) | 0.63 |
| Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example2.ces | O(n) | 3.13 |
| Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example3.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex1.ces | O(n^2) | 0.82 |
| Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex2.ces | O(n) | 0.59 |
| Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex3.ces | O(n) | 0.73 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.ces | O(n) | 0.54 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.ces | O(n^2) | 0.59 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.ces | O(n) | 0.96 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.ces | O(n^2) | 2.41 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.ces | O(n^2) | 0.61 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.ces | Unknown | 0.57 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.ces | Unknown | 0.53 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.ces | O(n) | 0.63 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.ces | Unknown | 0.73 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.ces | O(n) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.ces | O(n) | 0.70 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.ces | O(n^2) | 0.60 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.ces | O(n) | 0.53 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.ces | O(n) | 0.48 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/ax.ces | O(n^2) | 0.53 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/complex.ces | O(n) | 2.58 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/counterex1b.ces | Unknown | 16.91 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/cousot9.ces | Unknown | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy1.ces | O(1) | 0.49 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy2.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/exmini.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.ces | O(n) | 0.55 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/insertsort.ces | O(n^2) | 0.56 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/loops.ces | O(n^2) | 0.52 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.ces | O(1) | 0.45 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.ces | O(n) | 0.45 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.ces | O(n^2) | 1.06 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/perfect.ces | O(n^2) | 0.59 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/random1d.ces | O(n) | 0.47 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/random2d.ces | O(n) | 0.57 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realbubble.ces | O(n^2) | 0.58 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort.ces | O(n^2) | 1.43 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step1.ces | O(n^2) | 0.56 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step2.ces | O(n^2) | 1.30 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realselect.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/realshellsort.ces | O(n^3) | 0.89 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.ces | O(n^2) | 0.61 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipma91.ces | O(n) | 0.58 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipmabubble.ces | O(n^2) | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedFails4.ces | Unknown | 0.51 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.ces | O(n) | 0.52 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.ces | O(n^2) | 0.55 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/terminate.ces | O(n) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.ces | O(n) | 0.59 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.ces | O(n) | 0.54 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/while2.ces | O(n^2) | 0.50 |
| Complexity_ITS/Brockschmidt_16/c-examples/WTC/wise.ces | O(n) | 0.49 |
| Complexity_ITS/Brockschmidt_16/costa/RAML/rationalPotential.ces | O(n) | 0.34 |
| Complexity_ITS/Brockschmidt_16/costa/misc/ack.ces | Unknown | 0.44 |
| Complexity_ITS/Brockschmidt_16/costa/misc/direct_n_log_n.ces | O(n) | 0.44 |
| Complexity_ITS/Brockschmidt_16/costa/misc/linear.ces | O(n) | 0.33 |
| Complexity_ITS/Brockschmidt_16/costa/misc/logarithmic.ces | O(1) | 0.32 |
| Complexity_ITS/Brockschmidt_16/costa/misc/merge.ces | O(n) | 0.46 |
| Complexity_ITS/Brockschmidt_16/costa/misc/mspe.ces | O(n) | 0.86 |
| Complexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.ces | O(n) | 0.73 |
| Complexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.ces | O(n) | 4.24 |
| Complexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.ces | O(n^2) | 2.31 |
| Complexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.ces | O(n) | 0.70 |
| Complexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.ces | O(n) | 0.63 |
| Complexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.ces | O(n) | 0.67 |
| Complexity_ITS/Flores-Montoya_16/Loopus2015_original.c.ces | O(n^2) | 1.08 |
| Complexity_ITS/Flores-Montoya_16/aaron12.c.ces | Unknown | 0.51 |
| Complexity_ITS/Flores-Montoya_16/aaron2.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/aaron3.c.ces | Unknown | 0.60 |
| Complexity_ITS/Flores-Montoya_16/alain.c.ces | O(n^2) | 0.79 |
| Complexity_ITS/Flores-Montoya_16/ax.c.ces | O(n^2) | 0.56 |
| Complexity_ITS/Flores-Montoya_16/catmouse.c.ces | Unknown | 0.49 |
| Complexity_ITS/Flores-Montoya_16/complex.c.ces | O(n) | 3.22 |
| Complexity_ITS/Flores-Montoya_16/counterex1a.c.ces | Unknown | 1.10 |
| Complexity_ITS/Flores-Montoya_16/counterex1b.c.ces | Unknown | 19.58 |
| Complexity_ITS/Flores-Montoya_16/counterex1c.c.ces | Unknown | 0.80 |
| Complexity_ITS/Flores-Montoya_16/cousot9.c.ces | O(n^2) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/easy1.c.ces | O(1) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/easy2.c.ces | O(n) | 0.45 |
| Complexity_ITS/Flores-Montoya_16/ex_paper1.c.ces | O(n^2) | 0.96 |
| Complexity_ITS/Flores-Montoya_16/ex_paper2.c.ces | O(n^2) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/ex_paper3.c.ces | O(n^2) | 0.71 |
| Complexity_ITS/Flores-Montoya_16/exmini.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/heapsort.c.ces | O(n) | 0.95 |
| Complexity_ITS/Flores-Montoya_16/insertsort.c.ces | O(n^2) | 0.61 |
| Complexity_ITS/Flores-Montoya_16/jama_ex1.c.ces | O(n^2) | 0.53 |
| Complexity_ITS/Flores-Montoya_16/jama_ex2.c.ces | O(n^2) | 0.54 |
| Complexity_ITS/Flores-Montoya_16/jama_ex3.c.ces | O(n^2) | 0.56 |
| Complexity_ITS/Flores-Montoya_16/jama_ex4.c.ces | O(n^2) | 0.62 |
| Complexity_ITS/Flores-Montoya_16/jama_ex5.c.ces | O(n^2) | 0.58 |
| Complexity_ITS/Flores-Montoya_16/jama_ex6.c.ces | O(n^3) | 1.21 |
| Complexity_ITS/Flores-Montoya_16/jama_ex7.c.ces | O(n^2) | 0.62 |
| Complexity_ITS/Flores-Montoya_16/knuth_morris_pratt.c.ces | O(n) | 2.48 |
| Complexity_ITS/Flores-Montoya_16/loops.c.ces | O(n^2) | 0.56 |
| Complexity_ITS/Flores-Montoya_16/nd_loop.c.ces | O(1) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/ndecr.c.ces | O(n) | 0.46 |
| Complexity_ITS/Flores-Montoya_16/nestedLoop.c.ces | O(n^2) | 1.40 |
| Complexity_ITS/Flores-Montoya_16/nested_loop.c.ces | O(n^2) | 3.12 |
| Complexity_ITS/Flores-Montoya_16/perfect.c.ces | O(n^2) | 0.69 |
| Complexity_ITS/Flores-Montoya_16/perfect1.c.ces | O(n^2) | 0.72 |
| Complexity_ITS/Flores-Montoya_16/perfect2.c.ces | O(n^2) | 0.74 |
| Complexity_ITS/Flores-Montoya_16/perfectg.c.ces | O(n^2) | 0.77 |
| Complexity_ITS/Flores-Montoya_16/random1d.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/random2d.c.ces | O(n) | 0.62 |
| Complexity_ITS/Flores-Montoya_16/rank1.c.ces | O(n^2) | 1.05 |
| Complexity_ITS/Flores-Montoya_16/rank2.c.ces | O(n) | 0.71 |
| Complexity_ITS/Flores-Montoya_16/rank3.c.ces | Unknown | 8.60 |
| Complexity_ITS/Flores-Montoya_16/real2.c.ces | Unknown | 0.63 |
| Complexity_ITS/Flores-Montoya_16/realbubble.c.ces | O(n^2) | 0.61 |
| Complexity_ITS/Flores-Montoya_16/realheapsort.c.ces | O(n^2) | 1.55 |
| Complexity_ITS/Flores-Montoya_16/realheapsort_step1.c.ces | O(n^2) | 0.57 |
| Complexity_ITS/Flores-Montoya_16/realheapsort_step2.c.ces | O(n^2) | 1.37 |
| Complexity_ITS/Flores-Montoya_16/realselect.c.ces | O(n^2) | 0.55 |
| Complexity_ITS/Flores-Montoya_16/realshellsort.c.ces | O(n^3) | 0.94 |
| Complexity_ITS/Flores-Montoya_16/relation1.c.ces | O(1) | 0.31 |
| Complexity_ITS/Flores-Montoya_16/rsd.c.ces | O(n) | 0.69 |
| Complexity_ITS/Flores-Montoya_16/serpent.c.ces | Unknown | 5.55 |
| Complexity_ITS/Flores-Montoya_16/sipma91.c.ces | O(n) | 0.68 |
| Complexity_ITS/Flores-Montoya_16/sipmabubble.c.ces | O(n^2) | 0.54 |
| Complexity_ITS/Flores-Montoya_16/sipmamergesort.c.ces | O(n^2) | 59.75 |
| Complexity_ITS/Flores-Montoya_16/sipmamergesort2.c.ces | TIMEOUT | 300.01 |
| Complexity_ITS/Flores-Montoya_16/speedDis1.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/speedDis2.c.ces | O(n) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/speedFails1.c.ces | Unknown | 0.47 |
| Complexity_ITS/Flores-Montoya_16/speedFails2.c.ces | Unknown | 0.48 |
| Complexity_ITS/Flores-Montoya_16/speedFails3.c.ces | Unknown | 0.54 |
| Complexity_ITS/Flores-Montoya_16/speedFails4.c.ces | Unknown | 0.55 |
| Complexity_ITS/Flores-Montoya_16/speedNestedMultiple.c.ces | O(n) | 0.79 |
| Complexity_ITS/Flores-Montoya_16/speedNestedMultipleDep.c.ces | O(n^2) | 0.58 |
| Complexity_ITS/Flores-Montoya_16/speedSimpleMultiple.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/speedSimpleMultipleDep.c.ces | O(n^2) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/speedSingleSingle.c.ces | O(n) | 0.45 |
| Complexity_ITS/Flores-Montoya_16/speedSingleSingle2.c.ces | O(n) | 0.64 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.ces | O(n) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.ces | O(n) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.ces | O(n) | 0.55 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.ces | O(n^2) | 0.70 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.ces | O(n) | 0.61 |
| Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.ces | O(n) | 0.54 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.ces | O(n) | 0.47 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_multiple.c.ces | O(n) | 0.79 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_single.c.ces | O(n) | 0.67 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_sequential_single.c.ces | O(n) | 0.55 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_multiple.c.ces | O(n) | 0.54 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single.c.ces | O(n) | 0.54 |
| Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single_2.c.ces | O(n) | 0.60 |
| Complexity_ITS/Flores-Montoya_16/speedpldi2.c.ces | O(n) | 0.55 |
| Complexity_ITS/Flores-Montoya_16/speedpldi3.c.ces | O(n^2) | 0.57 |
| Complexity_ITS/Flores-Montoya_16/speedpldi4.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/t07.c.ces | O(n) | 0.58 |
| Complexity_ITS/Flores-Montoya_16/t08.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/t10.c.ces | O(n) | 0.48 |
| Complexity_ITS/Flores-Montoya_16/t11.c.ces | O(n) | 0.53 |
| Complexity_ITS/Flores-Montoya_16/t13.c.ces | O(n) | 0.63 |
| Complexity_ITS/Flores-Montoya_16/t15.c.ces | O(n) | 0.58 |
| Complexity_ITS/Flores-Montoya_16/t16.c.ces | O(n) | 0.55 |
| Complexity_ITS/Flores-Montoya_16/t19.c.ces | O(n) | 0.53 |
| Complexity_ITS/Flores-Montoya_16/t20.c.ces | O(n) | 0.52 |
| Complexity_ITS/Flores-Montoya_16/t27.c.ces | O(n) | 0.67 |
| Complexity_ITS/Flores-Montoya_16/t28.c.ces | O(n) | 0.59 |
| Complexity_ITS/Flores-Montoya_16/t30.c.ces | Unknown | 0.49 |
| Complexity_ITS/Flores-Montoya_16/t47.c.ces | O(n) | 0.50 |
| Complexity_ITS/Flores-Montoya_16/t62.c.ces | O(n) | 1.20 |
| Complexity_ITS/Flores-Montoya_16/terminate.c.ces | O(n) | 0.51 |
| Complexity_ITS/Flores-Montoya_16/terminatorbubble.c.ces | O(n^2) | 0.68 |
| Complexity_ITS/Flores-Montoya_16/textbook_ex1.c.ces | O(n) | 0.49 |
| Complexity_ITS/Flores-Montoya_16/textbook_ex2.c.ces | O(n^2) | 0.57 |
| Complexity_ITS/Flores-Montoya_16/textbook_ex3.c.ces | O(n^4) | 1.00 |
| Complexity_ITS/Flores-Montoya_16/textbook_ex4.c.ces | O(n^2) | 0.59 |
| Complexity_ITS/Flores-Montoya_16/unperfect.c.ces | O(n^2) | 0.75 |
| Complexity_ITS/Flores-Montoya_16/wcet0.c.ces | O(n) | 0.63 |
| Complexity_ITS/Flores-Montoya_16/wcet1.c.ces | O(n) | 0.71 |
| Complexity_ITS/Flores-Montoya_16/wcet2.c.ces | O(n) | 0.57 |
| Complexity_ITS/Flores-Montoya_16/while2.c.ces | O(n^2) | 0.61 |
| Complexity_ITS/Flores-Montoya_16/wise.c.ces | O(n) | 0.55 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.ces | O(n) | 0.38 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.ces | Unknown | 0.50 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.ces | Unknown | 0.49 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.ces | O(n) | 0.37 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.ces | Unknown | 0.48 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop2_REV2.ces | Unknown | 0.52 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.ces | Unknown | 0.52 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.ces | Unknown | 0.49 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.ces | Unknown | 0.50 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.ces | Unknown | 0.51 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.ces | O(n) | 0.40 |
| Complexity_ITS/Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.ces | Unknown | 0.50 |
| Complexity_ITS/Hark_20/Nils_2019/ex001.ces | Unknown | 0.48 |
| Complexity_ITS/Hark_20/Nils_2019/ex002.ces | Unknown | 0.48 |
| Complexity_ITS/Hark_20/Nils_2019/ex003.ces | Unknown | 0.46 |
| Complexity_ITS/Hark_20/Nils_2019/ex004.ces | Unknown | 0.54 |
| Complexity_ITS/Hark_20/Nils_2019/ex005.ces | Unknown | 0.55 |
| Complexity_ITS/Hark_20/Nils_2019/ex006.ces | Unknown | 0.51 |
| Complexity_ITS/Hark_20/Nils_2019/ex007.ces | Unknown | 0.53 |
| Complexity_ITS/Hark_20/Nils_2019/ex008.ces | Unknown | 0.52 |
| Complexity_ITS/Hark_20/Nils_2019/ex009_REV2.ces | Unknown | 0.57 |
| Complexity_ITS/Hark_20/Nils_2019/ex010.ces | Unknown | 0.58 |
| Complexity_ITS/Hark_20/Nils_2019/ex011_REV2.ces | Unknown | 0.58 |
| Complexity_ITS/Lommen_22/twn01.ces | Unknown | 0.50 |
| Complexity_ITS/Lommen_22/twn02.ces | Unknown | 0.41 |
| Complexity_ITS/Lommen_22/twn03.ces | Unknown | 0.51 |
| Complexity_ITS/Lommen_22/twn04.ces | Unknown | 0.56 |
| Complexity_ITS/Lommen_22/twn05.ces | Unknown | 1.37 |
| Complexity_ITS/Lommen_22/twn06.ces | Unknown | 0.58 |
| Complexity_ITS/Lommen_22/twn07.ces | Unknown | 0.49 |
| Complexity_ITS/Lommen_22/twn08.ces | Unknown | 0.52 |
| Complexity_ITS/Lommen_22/twn09.ces | Unknown | 0.52 |
| Complexity_ITS/Lommen_22/twn10.ces | Unknown | 0.53 |
| Complexity_ITS/Lommen_22/twn11.ces | Unknown | 0.44 |
| Complexity_ITS/Lommen_22/twn12.ces | Unknown | 0.45 |
| Complexity_ITS/Lommen_22/twn13.ces | Unknown | 0.44 |
| Complexity_ITS/Lommen_22/twn16.ces | O(n) | 0.47 |
| Complexity_ITS/Lommen_22/twn18.ces | Unknown | 0.46 |
| Complexity_ITS/Lommen_23/size01.ces | O(n) | 0.43 |
| Complexity_ITS/Lommen_23/size02.ces | Unknown | 0.61 |
| Complexity_ITS/Lommen_23/size03.ces | Unknown | 0.61 |
| Complexity_ITS/Lommen_23/size04.ces | Unknown | 0.51 |
| Complexity_ITS/Lommen_23/size06.ces | Unknown | 0.62 |
| Complexity_ITS/Lommen_23/size07.ces | Unknown | 0.55 |
| Complexity_ITS/Lommen_23/size08.ces | Unknown | 0.52 |
| Complexity_ITS/Lommen_23/size09.ces | Unknown | 0.92 |
| Complexity_ITS/Lommen_23/size10.ces | Unknown | 0.80 |
| Complexity_ITS/Lommen_23/size11.ces | Unknown | 0.52 |
| Complexity_ITS/Lommen_23/size12.ces | Unknown | 0.92 |
| Complexity_ITS/Lommen_23/size13.ces | Unknown | 1.05 |
| Complexity_ITS/Lommen_23/size14.ces | Unknown | 0.51 |
| Complexity_ITS/Lommen_24/non_linear04.ces | Unknown | 0.45 |
| Complexity_ITS/Lommen_24/non_linear05.ces | Unknown | 0.47 |
| Complexity_ITS/Lommen_24/non_linear07.ces | Unknown | 0.55 |
| Complexity_ITS/Lommen_24/non_linear08.ces | Unknown | 0.51 |
| Complexity_ITS/Lommen_24/non_linear11.ces | Unknown | 0.49 |
| Complexity_ITS/Lommen_24/non_linear12.ces | Unknown | 0.59 |
| Complexity_ITS/Lommen_24/non_linear13.ces | Unknown | 0.59 |
| Complexity_ITS/Lommen_24/non_linear15.ces | Unknown | 0.53 |
| Complexity_ITS/Lommen_24/non_linear16.ces | Unknown | 0.61 |
| Complexity_ITS/Lommen_24/non_linear18.ces | Unknown | 0.61 |
| Complexity_ITS/Lommen_24/non_linear19.ces | Unknown | 0.53 |
| Complexity_ITS/Lommen_24/non_linear20.ces | Unknown | 0.49 |
| Complexity_ITS/Lommen_24/non_linear22.ces | Unknown | 0.56 |