The table below presents the actual runtimes of the benchmarks along with the results produced by KoAT.
Here, n is the largest initial absolute value of all program variables.
| Benchmark | Result | Time |
|---|---|---|
| Brockschmidt_16/FGPSF09/Beerendonk/01.ari | O(n) | 0.70 |
| Brockschmidt_16/FGPSF09/Beerendonk/02.ari | O(n) | 0.69 |
| Brockschmidt_16/FGPSF09/Beerendonk/03.ari | O(n) | 0.67 |
| Brockschmidt_16/FGPSF09/Beerendonk/04.ari | O(1) | 0.62 |
| Brockschmidt_16/FGPSF09/Beerendonk/05.ari | Unknown | 0.64 |
| Brockschmidt_16/FGPSF09/Beerendonk/06.ari | Unknown | 0.63 |
| Brockschmidt_16/FGPSF09/Beerendonk/07.ari | Unknown | 0.64 |
| Brockschmidt_16/FGPSF09/Beerendonk/08.ari | O(n) | 0.48 |
| Brockschmidt_16/FGPSF09/Beerendonk/09.ari | O(n) | 0.51 |
| Brockschmidt_16/FGPSF09/Beerendonk/10.ari | Unknown | 1.39 |
| Brockschmidt_16/FGPSF09/Beerendonk/11.ari | O(n) | 0.54 |
| Brockschmidt_16/FGPSF09/Beerendonk/13.ari | O(n) | 0.50 |
| Brockschmidt_16/FGPSF09/Beerendonk/15.ari | O(n) | 0.45 |
| Brockschmidt_16/FGPSF09/Beerendonk/16.ari | O(n) | 0.52 |
| Brockschmidt_16/FGPSF09/Beerendonk/17.ari | O(n) | 0.54 |
| Brockschmidt_16/FGPSF09/Beerendonk/18.ari | O(n) | 0.49 |
| Brockschmidt_16/FGPSF09/Beerendonk/19.ari | O(n) | 0.65 |
| Brockschmidt_16/FGPSF09/Beerendonk/20.ari | O(n) | 0.52 |
| Brockschmidt_16/FGPSF09/Beerendonk/21.ari | O(n) | 0.61 |
| Brockschmidt_16/FGPSF09/Beerendonk/22.ari | O(n) | 0.51 |
| Brockschmidt_16/FGPSF09/Beerendonk/23.ari | O(n) | 0.62 |
| Brockschmidt_16/FGPSF09/Beerendonk/24.ari | O(n) | 0.65 |
| Brockschmidt_16/FGPSF09/CAV02/practical1.ari | O(n^2) | 0.83 |
| Brockschmidt_16/FGPSF09/CAV02/practical2.ari | O(n) | 1.21 |
| Brockschmidt_16/FGPSF09/CAV05/c.05.ari | O(n) | 0.47 |
| Brockschmidt_16/FGPSF09/ESOP08/abstractions.ari | Unknown | 0.94 |
| Brockschmidt_16/FGPSF09/LICS04/c.01.ari | O(n^2) | 0.56 |
| Brockschmidt_16/FGPSF09/LICS04/choice.ari | O(n) | 1.28 |
| Brockschmidt_16/FGPSF09/PLDI06/c.03.ari | O(n) | 0.52 |
| Brockschmidt_16/FGPSF09/PLDI06/c.04.ari | O(n) | 0.56 |
| Brockschmidt_16/FGPSF09/SAS05/c.02.ari | O(n^2) | 0.79 |
| Brockschmidt_16/FGPSF09/TACAS01/terminate.ari | O(n) | 0.46 |
| Brockschmidt_16/FGPSF09/VMCAI04/complete1.ari | O(n) | 0.46 |
| Brockschmidt_16/FGPSF09/VMCAI04/complete2.ari | O(1) | 0.50 |
| Brockschmidt_16/FGPSF09/VMCAI04/complete3.ari | O(n^2) | 0.81 |
| Brockschmidt_16/FGPSF09/VMCAI04/complete4.ari | Unknown | 1.09 |
| Brockschmidt_16/FGPSF09/VMCAI05/poly1.ari | Unknown | 1.67 |
| Brockschmidt_16/FGPSF09/VMCAI05/poly2.ari | Unknown | 1.23 |
| Brockschmidt_16/FGPSF09/VMCAI05/poly3.ari | Unknown | 1.15 |
| Brockschmidt_16/FGPSF09/VMCAI05/poly4.ari | O(n) | 0.70 |
| Brockschmidt_16/FGPSF09/new/unsatCond2.ari | O(1) | 0.45 |
| Brockschmidt_16/FGPSF09/patrs/div.ari | O(n) | 0.55 |
| Brockschmidt_16/FGPSF09/patrs/increase1.ari | O(n) | 0.46 |
| Brockschmidt_16/FGPSF09/patrs/increase2.ari | O(n) | 0.55 |
| Brockschmidt_16/FGPSF09/patrs/increase3.ari | O(n) | 0.53 |
| Brockschmidt_16/FGPSF09/patrs/increase4.ari | O(n) | 0.49 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.01.ari | O(n^2) | 0.73 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.02.ari | Unknown | 1.15 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.03.ari | O(n^2) | 21.67 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.04.ari | O(n) | 0.42 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.05.ari | O(n) | 0.42 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.06.ari | O(n) | 0.45 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.07.ari | O(n) | 0.52 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.08.ari | O(n) | 0.55 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.09.ari | O(n) | 0.54 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.10.ari | O(n) | 0.53 |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.11.ari | O(n) | 0.73 |
| Brockschmidt_16/FGPSF09/patrs/sqrt.ari | O(n) | 0.60 |
| Brockschmidt_16/FGPSF09/patrs/sumto_no_if.ari | O(n) | 0.49 |
| Brockschmidt_16/KoAT-2013/sect1-lin.ari | O(n) | 0.54 |
| Brockschmidt_16/KoAT-2013/sect1-quad.ari | O(n^2) | 0.64 |
| Brockschmidt_16/KoAT-2013/sect2.ari | O(n^2) | 1.11 |
| Brockschmidt_16/KoAT-2013/sect5-len.ari | O(n) | 0.47 |
| Brockschmidt_16/KoAT-2013/sect5-sumSum.ari | O(n^2) | 0.76 |
| Brockschmidt_16/KoAT-2014/adding-exp-growth1.ari | EXP | 0.67 |
| Brockschmidt_16/KoAT-2014/adding-exp-growth2.ari | EXP | 0.76 |
| Brockschmidt_16/KoAT-2014/adding-exp-growth3.ari | EXP | 0.82 |
| Brockschmidt_16/KoAT-2014/nesting-ex1.ari | O(n^5) | 1.12 |
| Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.ari | EXP | 1.02 |
| Brockschmidt_16/KoAT-2014/scaling-exp-growth.ari | EXP | 0.57 |
| Brockschmidt_16/SAS10/aaron2.ari | O(n) | 1.79 |
| Brockschmidt_16/SAS10/ackermann.ari | O(n) | 0.99 |
| Brockschmidt_16/SAS10/ax.ari | O(n^2) | 1.60 |
| Brockschmidt_16/SAS10/complex.ari | O(n) | 1.78 |
| Brockschmidt_16/SAS10/counterex1.ari | O(n^2) | 6.58 |
| Brockschmidt_16/SAS10/cousot9.ari | O(n^2) | 1.95 |
| Brockschmidt_16/SAS10/determinant.ari | O(n^3) | 2.42 |
| Brockschmidt_16/SAS10/easy1.ari | O(1) | 1.10 |
| Brockschmidt_16/SAS10/easy2.ari | O(n) | 0.95 |
| Brockschmidt_16/SAS10/exmini.ari | O(n) | 1.48 |
| Brockschmidt_16/SAS10/gcd.ari | O(n) | 1.56 |
| Brockschmidt_16/SAS10/insertsort.ari | O(n^2) | 2.39 |
| Brockschmidt_16/SAS10/loops.ari | O(n^2) | 1.12 |
| Brockschmidt_16/SAS10/maccarthy91.ari | O(n) | 2.04 |
| Brockschmidt_16/SAS10/nd_loop.ari | O(1) | 0.70 |
| Brockschmidt_16/SAS10/ndecr.ari | O(n) | 0.77 |
| Brockschmidt_16/SAS10/nestedLoop.ari | O(n^2) | 5.62 |
| Brockschmidt_16/SAS10/perfect.ari | O(n^2) | 2.88 |
| Brockschmidt_16/SAS10/random1d.ari | O(n) | 1.03 |
| Brockschmidt_16/SAS10/random2d.ari | O(n) | 2.91 |
| Brockschmidt_16/SAS10/realbubble.ari | O(n^2) | 15.04 |
| Brockschmidt_16/SAS10/realheapsort.ari | O(n^2) | 32.96 |
| Brockschmidt_16/SAS10/realselect.ari | O(1) | 2.12 |
| Brockschmidt_16/SAS10/realshellsort.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/SAS10/relation1.ari | O(1) | 0.53 |
| Brockschmidt_16/SAS10/rsd.ari | O(n^2) | 3.09 |
| Brockschmidt_16/SAS10/sipmabubble.ari | O(n^2) | 3.82 |
| Brockschmidt_16/SAS10/speedFails4.ari | O(n) | 1.97 |
| Brockschmidt_16/SAS10/speedpldi2.ari | O(n) | 1.56 |
| Brockschmidt_16/SAS10/speedpldi3.ari | O(n^2) | 2.83 |
| Brockschmidt_16/SAS10/speedpldi4.ari | O(n) | 1.65 |
| Brockschmidt_16/SAS10/terminate.ari | O(n) | 1.44 |
| Brockschmidt_16/SAS10/wcet1.ari | O(n) | 1.85 |
| Brockschmidt_16/SAS10/wcet2.ari | O(n) | 1.29 |
| Brockschmidt_16/SAS10/while2.ari | O(n^2) | 1.64 |
| Brockschmidt_16/SAS10/wise.ari | O(n) | 1.23 |
| Brockschmidt_16/T2/1.ari | Unknown | 2.01 |
| Brockschmidt_16/T2/1394-fail.ari | Unknown | 19.87 |
| Brockschmidt_16/T2/1394-succeed.ari | Unknown | 19.04 |
| Brockschmidt_16/T2/1394complete-fail.ari | Unknown | 19.48 |
| Brockschmidt_16/T2/1394complete-succeed.ari | Unknown | 20.44 |
| Brockschmidt_16/T2/2.ari | Unknown | 1.71 |
| Brockschmidt_16/T2/232.ari | O(n^2) | 0.82 |
| Brockschmidt_16/T2/241.ari | O(n^2) | 0.82 |
| Brockschmidt_16/T2/3.ari | Unknown | 0.42 |
| Brockschmidt_16/T2/5.ari | Unknown | 8.07 |
| Brockschmidt_16/T2/6.ari | Unknown | 0.48 |
| Brockschmidt_16/T2/7.ari | Unknown | 0.48 |
| Brockschmidt_16/T2/Loop.ari | O(n) | 1.56 |
| Brockschmidt_16/T2/a.10.c.ari | O(n) | 2.02 |
| Brockschmidt_16/T2/acqrel-fail.ari | Unknown | 1.64 |
| Brockschmidt_16/T2/afagp-fail.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/afagx1.ari | Unknown | 0.79 |
| Brockschmidt_16/T2/agafp.ari | Unknown | 10.37 |
| Brockschmidt_16/T2/apchild-accepted-fail.ari | Unknown | 30.26 |
| Brockschmidt_16/T2/apchild-accepted.ari | Unknown | 30.32 |
| Brockschmidt_16/T2/apchild-live.ari | Unknown | 36.06 |
| Brockschmidt_16/T2/apchildlive-succeed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/array.ari | O(1) | 0.35 |
| Brockschmidt_16/T2/array1.ari | O(1) | 0.35 |
| Brockschmidt_16/T2/array2.ari | O(1) | 0.41 |
| Brockschmidt_16/T2/array3.ari | O(1) | 0.51 |
| Brockschmidt_16/T2/array_free.ari | O(1) | 0.43 |
| Brockschmidt_16/T2/array_init.ari | O(1) | 0.43 |
| Brockschmidt_16/T2/array_init_assign.ari | O(1) | 0.54 |
| Brockschmidt_16/T2/ase_example.ari | O(1) | 0.57 |
| Brockschmidt_16/T2/bf10.ari | O(1) | 1.30 |
| Brockschmidt_16/T2/bf11.ari | O(1) | 1.26 |
| Brockschmidt_16/T2/bf12.ari | O(1) | 1.27 |
| Brockschmidt_16/T2/bf13.ari | O(1) | 1.26 |
| Brockschmidt_16/T2/bf14.ari | O(1) | 1.27 |
| Brockschmidt_16/T2/bf15.ari | O(1) | 1.28 |
| Brockschmidt_16/T2/bf16.ari | O(1) | 1.29 |
| Brockschmidt_16/T2/bf17.ari | O(1) | 1.31 |
| Brockschmidt_16/T2/bf18.ari | O(1) | 1.32 |
| Brockschmidt_16/T2/bf19.ari | O(1) | 1.31 |
| Brockschmidt_16/T2/bf20.ari | O(1) | 1.30 |
| Brockschmidt_16/T2/bf5.ari | O(1) | 1.30 |
| Brockschmidt_16/T2/bf6.ari | O(1) | 1.30 |
| Brockschmidt_16/T2/bf7.ari | O(1) | 1.31 |
| Brockschmidt_16/T2/bf8.ari | O(1) | 1.33 |
| Brockschmidt_16/T2/bf9.ari | O(1) | 1.33 |
| Brockschmidt_16/T2/bio.ari | TIMEOUT | 60.01 |
| Brockschmidt_16/T2/bitcount16.ari | O(1) | 0.46 |
| Brockschmidt_16/T2/bitcount32.ari | O(1) | 0.42 |
| Brockschmidt_16/T2/broydn.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.ari | TIMEOUT | 60.01 |
| Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/brp.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/brp_withassume.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/bs.ari | Unknown | 3.02 |
| Brockschmidt_16/T2/bsort100.ari | O(1) | 1.00 |
| Brockschmidt_16/T2/bubbleSort.ari | O(n^2) | 1.90 |
| Brockschmidt_16/T2/bubblesort_inner_loop.ari | O(1) | 0.47 |
| Brockschmidt_16/T2/buggyNonTermLoop.ari | Unknown | 12.95 |
| Brockschmidt_16/T2/byron-1.ari | O(n) | 0.51 |
| Brockschmidt_16/T2/byron-2.ari | Unknown | 1.27 |
| Brockschmidt_16/T2/byron-3.ari | O(n) | 0.43 |
| Brockschmidt_16/T2/byron-4.ari | O(n) | 0.50 |
| Brockschmidt_16/T2/cfg.ari | Unknown | 0.64 |
| Brockschmidt_16/T2/cnt.ari | O(1) | 0.81 |
| Brockschmidt_16/T2/collatz.ari | Unknown | 2.10 |
| Brockschmidt_16/T2/complex_guard.ari | O(1) | 0.54 |
| Brockschmidt_16/T2/constants.ari | O(1) | 0.61 |
| Brockschmidt_16/T2/consts1.ari | O(1) | 0.37 |
| Brockschmidt_16/T2/consts1nt.ari | Unknown | 0.57 |
| Brockschmidt_16/T2/consts2.ari | O(n) | 0.38 |
| Brockschmidt_16/T2/consts2nt.ari | Unknown | 0.59 |
| Brockschmidt_16/T2/consts3.ari | O(n) | 0.41 |
| Brockschmidt_16/T2/consts3nt.ari | Unknown | 0.61 |
| Brockschmidt_16/T2/consts4.ari | O(n) | 0.38 |
| Brockschmidt_16/T2/consts4nt.ari | Unknown | 0.59 |
| Brockschmidt_16/T2/consts5.ari | O(1) | 0.33 |
| Brockschmidt_16/T2/consts5nt.ari | Unknown | 0.60 |
| Brockschmidt_16/T2/cover.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/crc.ari | O(1) | 3.06 |
| Brockschmidt_16/T2/create.ari | Unknown | 0.84 |
| Brockschmidt_16/T2/create_seg.ari | Unknown | 0.83 |
| Brockschmidt_16/T2/create_via_tmps.ari | O(n) | 1.19 |
| Brockschmidt_16/T2/ctl.ari | Unknown | 0.73 |
| Brockschmidt_16/T2/curious.ari | Unknown | 0.51 |
| Brockschmidt_16/T2/curious4.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/d.ari | Unknown | 0.48 |
| Brockschmidt_16/T2/db2.ari | TIMEOUT | 60.02 |
| Brockschmidt_16/T2/db3.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/dead.neg-st88b-succeed.ari | Unknown | 4.32 |
| Brockschmidt_16/T2/destroy.ari | Unknown | 1.77 |
| Brockschmidt_16/T2/destroy_seg.ari | Unknown | 2.15 |
| Brockschmidt_16/T2/destroy_seg_leak.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/disj_nightmare_abi.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/dropbuf-live.ari | O(1) | 0.36 |
| Brockschmidt_16/T2/dropbuf.ari | Unknown | 14.76 |
| Brockschmidt_16/T2/dsa_test.ari | O(1) | 0.36 |
| Brockschmidt_16/T2/dsa_test1.ari | O(1) | 0.34 |
| Brockschmidt_16/T2/dsa_test10.ari | O(1) | 0.50 |
| Brockschmidt_16/T2/dsa_test11.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/dsa_test12.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/dsa_test13.ari | O(1) | 0.41 |
| Brockschmidt_16/T2/dsa_test15.ari | O(1) | 0.56 |
| Brockschmidt_16/T2/dsa_test4.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/dsa_test5.ari | O(1) | 0.37 |
| Brockschmidt_16/T2/dsa_test6.ari | O(1) | 0.48 |
| Brockschmidt_16/T2/dsa_test8.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/dsa_test9.ari | O(1) | 0.42 |
| Brockschmidt_16/T2/dummy.ari | Unknown | 0.74 |
| Brockschmidt_16/T2/e-1394complete-succeed.ari | Unknown | 19.42 |
| Brockschmidt_16/T2/e-acqrel-fail.ari | Unknown | 0.90 |
| Brockschmidt_16/T2/e-acqrel-succeed.ari | Unknown | 1.40 |
| Brockschmidt_16/T2/e-pgarch-fail.ari | Unknown | 0.69 |
| Brockschmidt_16/T2/e-pgarch-succeed.ari | Unknown | 0.80 |
| Brockschmidt_16/T2/e-popl07-fail.ari | Unknown | 1.11 |
| Brockschmidt_16/T2/edn.ari | O(1) | 2.85 |
| Brockschmidt_16/T2/efegp.ari | Unknown | 29.04 |
| Brockschmidt_16/T2/elmhes.ari | O(n^2) | 4.46 |
| Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.ari | O(n^2) | 4.53 |
| Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.ari | O(n^2) | 4.45 |
| Brockschmidt_16/T2/eric.ari | O(n) | 2.03 |
| Brockschmidt_16/T2/eric1.ari | Unknown | 3.27 |
| Brockschmidt_16/T2/eric2.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/eric3.ari | Unknown | 0.89 |
| Brockschmidt_16/T2/ex1.ari | Unknown | 0.44 |
| Brockschmidt_16/T2/ex10.ari | Unknown | 1.06 |
| Brockschmidt_16/T2/ex11.ari | Unknown | 4.78 |
| Brockschmidt_16/T2/ex12.ari | O(1) | 0.40 |
| Brockschmidt_16/T2/ex13.ari | O(1) | 0.35 |
| Brockschmidt_16/T2/ex14.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/ex15.ari | O(1) | 0.33 |
| Brockschmidt_16/T2/ex16.ari | Unknown | 0.83 |
| Brockschmidt_16/T2/ex17.ari | O(1) | 0.48 |
| Brockschmidt_16/T2/ex18.ari | O(1) | 0.78 |
| Brockschmidt_16/T2/ex19.ari | Unknown | 1.14 |
| Brockschmidt_16/T2/ex2.ari | Unknown | 0.65 |
| Brockschmidt_16/T2/ex20.ari | O(1) | 0.68 |
| Brockschmidt_16/T2/ex21.ari | O(1) | 0.56 |
| Brockschmidt_16/T2/ex22.ari | O(1) | 5.88 |
| Brockschmidt_16/T2/ex23.ari | O(1) | 0.58 |
| Brockschmidt_16/T2/ex26.ari | O(1) | 0.52 |
| Brockschmidt_16/T2/ex27.ari | O(1) | 9.28 |
| Brockschmidt_16/T2/ex29.ari | O(1) | 0.69 |
| Brockschmidt_16/T2/ex3.ari | O(1) | 0.49 |
| Brockschmidt_16/T2/ex30.ari | Unknown | 1.46 |
| Brockschmidt_16/T2/ex31.ari | Unknown | 0.68 |
| Brockschmidt_16/T2/ex32.ari | O(1) | 0.52 |
| Brockschmidt_16/T2/ex33.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/ex34.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/ex36.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/ex37.ari | O(1) | 0.36 |
| Brockschmidt_16/T2/ex4.ari | O(1) | 0.66 |
| Brockschmidt_16/T2/ex40.ari | Unknown | 1.20 |
| Brockschmidt_16/T2/ex6.ari | O(1) | 0.32 |
| Brockschmidt_16/T2/ex7.ari | O(1) | 0.48 |
| Brockschmidt_16/T2/ex8.ari | Unknown | 1.97 |
| Brockschmidt_16/T2/ex9.ari | Unknown | 2.55 |
| Brockschmidt_16/T2/example.ari | O(n) | 0.48 |
| Brockschmidt_16/T2/fake-succeed.ari | Unknown | 52.10 |
| Brockschmidt_16/T2/fast_poll.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/fdct.ari | O(1) | 0.45 |
| Brockschmidt_16/T2/fermat.ari | O(1) | 1.03 |
| Brockschmidt_16/T2/fibcall.ari | O(1) | 0.46 |
| Brockschmidt_16/T2/fir.ari | TIMEOUT | 60.03 |
| Brockschmidt_16/T2/firewire.ari | Unknown | 31.83 |
| Brockschmidt_16/T2/flipflop.ari | Unknown | 0.55 |
| Brockschmidt_16/T2/fourn.ari | TIMEOUT | 60.02 |
| Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.ari | O(n) | 0.66 |
| Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/fuhs-inflasso.ari | O(n^2) | 0.91 |
| Brockschmidt_16/T2/fun1.ari | Unknown | 13.01 |
| Brockschmidt_16/T2/fun10.ari | Unknown | 15.56 |
| Brockschmidt_16/T2/fun10b.ari | Unknown | 12.94 |
| Brockschmidt_16/T2/fun11.ari | Unknown | 0.95 |
| Brockschmidt_16/T2/fun1b.ari | Unknown | 13.64 |
| Brockschmidt_16/T2/fun2.ari | O(n) | 1.49 |
| Brockschmidt_16/T2/fun2b.ari | Unknown | 17.01 |
| Brockschmidt_16/T2/fun3.ari | O(n) | 1.55 |
| Brockschmidt_16/T2/fun4-alt.ari | O(1) | 0.51 |
| Brockschmidt_16/T2/fun4.ari | O(1) | 0.54 |
| Brockschmidt_16/T2/fun5.ari | O(n) | 40.70 |
| Brockschmidt_16/T2/fun6.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/fun7.ari | Unknown | 4.20 |
| Brockschmidt_16/T2/fun8.ari | O(1) | 3.51 |
| Brockschmidt_16/T2/fun9.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/graycode.ari | O(1) | 3.73 |
| Brockschmidt_16/T2/heidy1.ari | Unknown | 0.42 |
| Brockschmidt_16/T2/heidy10.ari | Unknown | 0.96 |
| Brockschmidt_16/T2/heidy2.ari | Unknown | 0.51 |
| Brockschmidt_16/T2/heidy3.ari | Unknown | 0.60 |
| Brockschmidt_16/T2/heidy5.ari | O(n) | 0.48 |
| Brockschmidt_16/T2/heidy6.ari | Unknown | 0.92 |
| Brockschmidt_16/T2/heidy7-simple.ari | Unknown | 0.61 |
| Brockschmidt_16/T2/heidy7.ari | Unknown | 0.97 |
| Brockschmidt_16/T2/heidy8.ari | Unknown | 0.94 |
| Brockschmidt_16/T2/heidy9.ari | O(n) | 0.39 |
| Brockschmidt_16/T2/hongyi1.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/hqr.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/huh.ari | Unknown | 1.64 |
| Brockschmidt_16/T2/iecs.ari | O(n) | 0.43 |
| Brockschmidt_16/T2/insertsort.ari | Unknown | 0.77 |
| Brockschmidt_16/T2/intSqRoot.ari | Unknown | 0.69 |
| Brockschmidt_16/T2/invgen.ari | O(n) | 0.42 |
| Brockschmidt_16/T2/jacobi.ari | O(n) | 0.93 |
| Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.ari | O(n) | 1.10 |
| Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.ari | O(n) | 0.90 |
| Brockschmidt_16/T2/janne_complex.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/jfdctint.ari | O(1) | 0.60 |
| Brockschmidt_16/T2/loop3.ari | O(1) | 9.03 |
| Brockschmidt_16/T2/loop_on_input.ari | O(1) | 0.71 |
| Brockschmidt_16/T2/ludcmp.ari | O(n) | 2.08 |
| Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.ari | O(n) | 2.19 |
| Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.ari | O(n) | 2.17 |
| Brockschmidt_16/T2/magic.ari | Unknown | 36.88 |
| Brockschmidt_16/T2/matmul.ari | O(1) | 0.86 |
| Brockschmidt_16/T2/matmult.ari | O(1) | 1.30 |
| Brockschmidt_16/T2/matrixsqrt.ari | O(1) | 1.16 |
| Brockschmidt_16/T2/mc91.ari | Unknown | 1.56 |
| Brockschmidt_16/T2/mc91test.ari | Unknown | 12.40 |
| Brockschmidt_16/T2/minmax.ari | O(1) | 0.66 |
| Brockschmidt_16/T2/n-1.ari | Unknown | 0.86 |
| Brockschmidt_16/T2/n-10.ari | Unknown | 1.17 |
| Brockschmidt_16/T2/n-12.ari | Unknown | 1.03 |
| Brockschmidt_16/T2/n-12a.ari | Unknown | 0.56 |
| Brockschmidt_16/T2/n-13.ari | Unknown | 0.62 |
| Brockschmidt_16/T2/n-14.ari | Unknown | 0.91 |
| Brockschmidt_16/T2/n-15.ari | Unknown | 0.72 |
| Brockschmidt_16/T2/n-15a.ari | Unknown | 1.37 |
| Brockschmidt_16/T2/n-16.ari | Unknown | 0.77 |
| Brockschmidt_16/T2/n-16a.ari | Unknown | 0.74 |
| Brockschmidt_16/T2/n-17.ari | Unknown | 0.76 |
| Brockschmidt_16/T2/n-18.ari | Unknown | 0.63 |
| Brockschmidt_16/T2/n-18a.ari | Unknown | 0.76 |
| Brockschmidt_16/T2/n-1c.ari | Unknown | 1.20 |
| Brockschmidt_16/T2/n-1d.ari | Unknown | 1.26 |
| Brockschmidt_16/T2/n-20.ari | Unknown | 0.71 |
| Brockschmidt_16/T2/n-21.ari | Unknown | 1.30 |
| Brockschmidt_16/T2/n-3.ari | Unknown | 0.93 |
| Brockschmidt_16/T2/n-32.ari | Unknown | 0.60 |
| Brockschmidt_16/T2/n-33.ari | Unknown | 2.64 |
| Brockschmidt_16/T2/n-36.ari | Unknown | 1.93 |
| Brockschmidt_16/T2/n-37.ari | Unknown | 0.44 |
| Brockschmidt_16/T2/n-3a.ari | Unknown | 2.01 |
| Brockschmidt_16/T2/n-4.ari | Unknown | 2.10 |
| Brockschmidt_16/T2/n-40.ari | Unknown | 2.43 |
| Brockschmidt_16/T2/n-46.ari | Unknown | 1.01 |
| Brockschmidt_16/T2/n-48.ari | Unknown | 0.72 |
| Brockschmidt_16/T2/n-5.ari | Unknown | 1.12 |
| Brockschmidt_16/T2/n-6.ari | Unknown | 2.51 |
| Brockschmidt_16/T2/n-6a.ari | Unknown | 1.33 |
| Brockschmidt_16/T2/n-7.ari | Unknown | 0.80 |
| Brockschmidt_16/T2/n-8.ari | Unknown | 1.22 |
| Brockschmidt_16/T2/n-8a.ari | Unknown | 0.69 |
| Brockschmidt_16/T2/n-9.ari | Unknown | 0.80 |
| Brockschmidt_16/T2/n_firewire_instrumented-PP.ari | Unknown | 32.04 |
| Brockschmidt_16/T2/nakata.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/nakata_withassume.ari | TIMEOUT | 60.04 |
| Brockschmidt_16/T2/ndes.ari | O(1) | 20.36 |
| Brockschmidt_16/T2/neg-1394complete-fail.ari | Unknown | 20.73 |
| Brockschmidt_16/T2/neg-1394complete-succeed.ari | Unknown | 19.43 |
| Brockschmidt_16/T2/neg-e-1394complete-fail.ari | Unknown | 19.48 |
| Brockschmidt_16/T2/neg-e-1394complete-succeed.ari | Unknown | 19.43 |
| Brockschmidt_16/T2/neg-e-acqrel-fail.ari | Unknown | 1.42 |
| Brockschmidt_16/T2/neg-e-acqrel-succeed.ari | Unknown | 0.91 |
| Brockschmidt_16/T2/neg-e-pgarch-fail.ari | Unknown | 0.72 |
| Brockschmidt_16/T2/neg-e-pgarch-succeed.ari | Unknown | 0.70 |
| Brockschmidt_16/T2/neg-e-popl07-succeed.ari | Unknown | 1.12 |
| Brockschmidt_16/T2/neg-pgarch-succeed.ari | Unknown | 0.72 |
| Brockschmidt_16/T2/neg-popl07-fail.ari | Unknown | 1.01 |
| Brockschmidt_16/T2/neg-popl07-succeed.ari | Unknown | 1.04 |
| Brockschmidt_16/T2/neg-smagilla-fail.ari | Unknown | 0.80 |
| Brockschmidt_16/T2/neg-smagilla-succeed.ari | Unknown | 0.77 |
| Brockschmidt_16/T2/nested.ari | Unknown | 1.41 |
| Brockschmidt_16/T2/nested2.ari | Unknown | 1.29 |
| Brockschmidt_16/T2/new_ex.ari | Unknown | 21.44 |
| Brockschmidt_16/T2/non_term.ari | Unknown | 0.75 |
| Brockschmidt_16/T2/ns.ari | O(n) | 1.45 |
| Brockschmidt_16/T2/oct_vs_subpoly.ari | Unknown | 0.67 |
| Brockschmidt_16/T2/p-1.ari | Unknown | 0.68 |
| Brockschmidt_16/T2/p-10.ari | Unknown | 0.68 |
| Brockschmidt_16/T2/p-12.ari | O(n) | 0.45 |
| Brockschmidt_16/T2/p-13.ari | O(1) | 0.44 |
| Brockschmidt_16/T2/p-14.ari | O(n) | 0.45 |
| Brockschmidt_16/T2/p-15.ari | O(n) | 0.43 |
| Brockschmidt_16/T2/p-16.ari | O(n) | 0.45 |
| Brockschmidt_16/T2/p-18.ari | O(n) | 0.44 |
| Brockschmidt_16/T2/p-19.ari | Unknown | 0.63 |
| Brockschmidt_16/T2/p-19a.ari | Unknown | 0.62 |
| Brockschmidt_16/T2/p-1a.ari | Unknown | 0.72 |
| Brockschmidt_16/T2/p-1b.ari | O(n) | 0.52 |
| Brockschmidt_16/T2/p-1c.ari | Unknown | 0.68 |
| Brockschmidt_16/T2/p-1d.ari | O(n) | 0.64 |
| Brockschmidt_16/T2/p-20.ari | Unknown | 0.76 |
| Brockschmidt_16/T2/p-21.ari | O(n) | 0.53 |
| Brockschmidt_16/T2/p-22.ari | O(n) | 0.51 |
| Brockschmidt_16/T2/p-3.ari | O(n) | 0.56 |
| Brockschmidt_16/T2/p-32.ari | Unknown | 0.64 |
| Brockschmidt_16/T2/p-33.ari | Unknown | 0.92 |
| Brockschmidt_16/T2/p-34.ari | Unknown | 1.37 |
| Brockschmidt_16/T2/p-36.ari | Unknown | 1.18 |
| Brockschmidt_16/T2/p-37.ari | O(1) | 0.63 |
| Brockschmidt_16/T2/p-4.ari | O(n) | 1.10 |
| Brockschmidt_16/T2/p-40.ari | Unknown | 0.79 |
| Brockschmidt_16/T2/p-41.ari | O(1) | 0.45 |
| Brockschmidt_16/T2/p-42.ari | O(n) | 0.52 |
| Brockschmidt_16/T2/p-43-terminate.ari | O(n) | 6.52 |
| Brockschmidt_16/T2/p-43.ari | O(n) | 1.73 |
| Brockschmidt_16/T2/p-44.ari | O(n) | 0.49 |
| Brockschmidt_16/T2/p-45.ari | O(n) | 0.48 |
| Brockschmidt_16/T2/p-46.ari | Unknown | 1.35 |
| Brockschmidt_16/T2/p-49.ari | O(n) | 0.42 |
| Brockschmidt_16/T2/p-5.ari | Unknown | 1.15 |
| Brockschmidt_16/T2/p-52.ari | Unknown | 0.57 |
| Brockschmidt_16/T2/p-53.ari | O(1) | 0.41 |
| Brockschmidt_16/T2/p-55.ari | O(n) | 1.11 |
| Brockschmidt_16/T2/p-56.ari | O(n) | 0.68 |
| Brockschmidt_16/T2/p-58.ari | O(1) | 0.57 |
| Brockschmidt_16/T2/p-6.ari | O(n) | 0.58 |
| Brockschmidt_16/T2/p-60.ari | O(1) | 0.48 |
| Brockschmidt_16/T2/p-61.ari | O(1) | 0.51 |
| Brockschmidt_16/T2/p-63.ari | O(n) | 0.51 |
| Brockschmidt_16/T2/p-7.ari | O(n) | 0.56 |
| Brockschmidt_16/T2/p-7b.ari | O(n) | 0.55 |
| Brockschmidt_16/T2/p-8.ari | Unknown | 0.66 |
| Brockschmidt_16/T2/p-9.ari | Unknown | 0.68 |
| Brockschmidt_16/T2/pearl-necklace.ari | O(n) | 0.94 |
| Brockschmidt_16/T2/pentagon.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/pgarch.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/pldi.ari | O(n^2) | 1.81 |
| Brockschmidt_16/T2/polling.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/polling.bug.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/polyrank1.ari | O(n) | 0.41 |
| Brockschmidt_16/T2/polyrank2.ari | O(n) | 0.44 |
| Brockschmidt_16/T2/polyrank3.ari | Unknown | 1.27 |
| Brockschmidt_16/T2/polyrank4.ari | Unknown | 1.65 |
| Brockschmidt_16/T2/polyrank5.ari | O(n^5) | 1.68 |
| Brockschmidt_16/T2/polyrank6.ari | O(n) | 0.65 |
| Brockschmidt_16/T2/polyrank7.ari | Unknown | 0.63 |
| Brockschmidt_16/T2/popl07-fail.ari | Unknown | 1.04 |
| Brockschmidt_16/T2/popl07-succeed.ari | Unknown | 1.03 |
| Brockschmidt_16/T2/print.ari | Unknown | 6.77 |
| Brockschmidt_16/T2/qrdcmp.ari | O(n) | 1.73 |
| Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.ari | O(n) | 1.78 |
| Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.ari | O(n) | 1.66 |
| Brockschmidt_16/T2/queens.ari | O(n) | 6.58 |
| Brockschmidt_16/T2/queue_1.ari | O(1) | 0.58 |
| Brockschmidt_16/T2/queue_10.ari | O(1) | 0.74 |
| Brockschmidt_16/T2/queue_100.ari | O(1) | 0.74 |
| Brockschmidt_16/T2/queue_1000.ari | O(1) | 0.75 |
| Brockschmidt_16/T2/randomwalk.ari | Unknown | 8.68 |
| Brockschmidt_16/T2/randomwalk_withassume.ari | Unknown | 9.05 |
| Brockschmidt_16/T2/refine_disj_problem.ari | Unknown | 0.78 |
| Brockschmidt_16/T2/rev_nt2.ari | Unknown | 1.83 |
| Brockschmidt_16/T2/rev_nt3.ari | Unknown | 2.15 |
| Brockschmidt_16/T2/rev_nt4.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/reverse.ari | Unknown | 3.26 |
| Brockschmidt_16/T2/reverse_div4.ari | Unknown | 2.41 |
| Brockschmidt_16/T2/reverse_seg_cyclic.ari | O(n) | 4.11 |
| Brockschmidt_16/T2/rewrite.ari | Unknown | 0.45 |
| Brockschmidt_16/T2/rlft3.ari | O(n) | 2.49 |
| Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.ari | O(n) | 2.43 |
| Brockschmidt_16/T2/s1-saved.ari | Unknown | 4.41 |
| Brockschmidt_16/T2/s3-work.ari | Unknown | 22.31 |
| Brockschmidt_16/T2/sas1.ari | O(n) | 0.96 |
| Brockschmidt_16/T2/sas2.ari | O(n) | 9.12 |
| Brockschmidt_16/T2/select.ari | Unknown | 11.13 |
| Brockschmidt_16/T2/selectSort.ari | O(n^2) | 2.01 |
| Brockschmidt_16/T2/send-more-money.ari | O(1) | 10.57 |
| Brockschmidt_16/T2/seq.ari | O(n) | 0.37 |
| Brockschmidt_16/T2/seq2.ari | O(n) | 0.40 |
| Brockschmidt_16/T2/sequential_swap.ari | O(1) | 0.34 |
| Brockschmidt_16/T2/simple.ari | Unknown | 0.82 |
| Brockschmidt_16/T2/simpleWhile.ari | O(n) | 0.99 |
| Brockschmidt_16/T2/simple_array_inversion.ari | O(1) | 0.43 |
| Brockschmidt_16/T2/simple_control_on_input.ari | O(1) | 0.65 |
| Brockschmidt_16/T2/simple_double_free.ari | O(1) | 0.34 |
| Brockschmidt_16/T2/simple_fail.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/simple_pre.ari | O(1) | 0.39 |
| Brockschmidt_16/T2/simple_pre1.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/simple_pre2.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/simple_pre3.ari | O(1) | 0.38 |
| Brockschmidt_16/T2/simple_swap_call.ari | O(1) | 0.36 |
| Brockschmidt_16/T2/slayer-1-filtered.ari | Unknown | 1.93 |
| Brockschmidt_16/T2/slayer-1-rf.ari | Unknown | 3.29 |
| Brockschmidt_16/T2/slayer-2-filtered.ari | O(1) | 0.41 |
| Brockschmidt_16/T2/slayer-3-filtered.ari | Unknown | 21.63 |
| Brockschmidt_16/T2/slayer-3-new.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/slayer-3.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/slayer-4-filtered.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/slayer-n1-filtered.ari | Unknown | 1.62 |
| Brockschmidt_16/T2/slayer-n1.ari | Unknown | 4.79 |
| Brockschmidt_16/T2/slayer-n2-filtered.ari | Unknown | 0.57 |
| Brockschmidt_16/T2/slayer-n2.ari | Unknown | 0.58 |
| Brockschmidt_16/T2/slayer-n3-filtered.ari | O(1) | 0.45 |
| Brockschmidt_16/T2/slayer-n5-filtered.ari | Unknown | 11.95 |
| Brockschmidt_16/T2/smagilla-succeed.ari | Unknown | 0.76 |
| Brockschmidt_16/T2/smagillb-succeed.ari | Unknown | 1.32 |
| Brockschmidt_16/T2/smagillc-fail.ari | Unknown | 0.76 |
| Brockschmidt_16/T2/smagillc-succeed.ari | Unknown | 0.77 |
| Brockschmidt_16/T2/sort.ari | O(1) | 2.99 |
| Brockschmidt_16/T2/spctrm.ari | O(n) | 4.46 |
| Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.ari | O(n) | 4.39 |
| Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.ari | O(n) | 4.39 |
| Brockschmidt_16/T2/spiral.ari | O(n) | 1.33 |
| Brockschmidt_16/T2/st88.ari | Unknown | 5.30 |
| Brockschmidt_16/T2/st88.bug.ari | Unknown | 5.78 |
| Brockschmidt_16/T2/statemate.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/stored.ari | Unknown | 2.72 |
| Brockschmidt_16/T2/streamserver-succeed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/streamserver.bug.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/subpoly_crash.ari | Unknown | 0.80 |
| Brockschmidt_16/T2/sudoku.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/sumit.ari | O(n) | 5.70 |
| Brockschmidt_16/T2/svdcmp.ari | O(n^2) | 44.06 |
| Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.ari | O(n^2) | 55.79 |
| Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.ari | O(n^2) | 44.08 |
| Brockschmidt_16/T2/toeplz.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.ari | O(n) | 1.62 |
| Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/tqli.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/traverse.ari | Unknown | 4.46 |
| Brockschmidt_16/T2/traverse2.ari | Unknown | 13.85 |
| Brockschmidt_16/T2/traverse_seg.ari | Unknown | 5.76 |
| Brockschmidt_16/T2/traverse_seg2.ari | Unknown | 6.63 |
| Brockschmidt_16/T2/traverse_twice.ari | Unknown | 7.23 |
| Brockschmidt_16/T2/two_arrays.ari | O(1) | 1.24 |
| Brockschmidt_16/T2/two_arrays1.ari | O(1) | 1.90 |
| Brockschmidt_16/T2/two_arrays2.ari | O(n) | 2.33 |
| Brockschmidt_16/T2/two_arrays6.ari | O(n) | 2.44 |
| Brockschmidt_16/T2/ud.ari | O(1) | 3.11 |
| Brockschmidt_16/T2/vmcai_bytes.ari | O(1) | 0.36 |
| Brockschmidt_16/T2/vmcai_struct.ari | O(1) | 0.44 |
| Brockschmidt_16/T2/w1.ari | Unknown | 0.50 |
| Brockschmidt_16/T2/w2_nt.ari | Unknown | 1.87 |
| Brockschmidt_16/T2/walk.ari | Unknown | 1.97 |
| Brockschmidt_16/T2/wrong_loop.ari | Unknown | 1.71 |
| Brockschmidt_16/T2/wtf.ari | O(n) | 1.54 |
| Brockschmidt_16/T2/zeroconf.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/T2/zeroconf_withassume.ari | TIMEOUT | 60.02 |
| Brockschmidt_16/c-examples/ABC/ex01.ari | O(n) | 0.63 |
| Brockschmidt_16/c-examples/ABC/ex02.ari | O(n^2) | 1.38 |
| Brockschmidt_16/c-examples/ABC/ex03.ari | O(n^4) | 6.18 |
| Brockschmidt_16/c-examples/ABC/ex04.ari | Unknown | 7.97 |
| Brockschmidt_16/c-examples/ABC/ex05.ari | O(n^2) | 1.30 |
| Brockschmidt_16/c-examples/ABC/ex06.ari | O(n^2) | 1.34 |
| Brockschmidt_16/c-examples/ABC/ex07.ari | O(n^2) | 1.54 |
| Brockschmidt_16/c-examples/ABC/ex08.ari | O(n^2) | 1.10 |
| Brockschmidt_16/c-examples/ABC/ex09.ari | O(n^2) | 1.56 |
| Brockschmidt_16/c-examples/ABC/ex10.ari | O(n^2) | 1.19 |
| Brockschmidt_16/c-examples/ABC/ex11.ari | O(n^2) | 1.11 |
| Brockschmidt_16/c-examples/ABC/ex12.ari | O(n) | 0.65 |
| Brockschmidt_16/c-examples/ABC/ex13.ari | O(n^4) | 4.24 |
| Brockschmidt_16/c-examples/ABC/ex14.ari | O(n^6) | 6.66 |
| Brockschmidt_16/c-examples/ABC/ex15.ari | Unknown | 5.35 |
| Brockschmidt_16/c-examples/Loopus/Example1.ari | O(n) | 1.36 |
| Brockschmidt_16/c-examples/Loopus/Example2.ari | O(n) | 20.11 |
| Brockschmidt_16/c-examples/Loopus/Example3.ari | O(1) | 2.21 |
| Brockschmidt_16/c-examples/Rank/ex1.ari | O(n^2) | 22.26 |
| Brockschmidt_16/c-examples/Rank/ex2.ari | O(n) | 1.15 |
| Brockschmidt_16/c-examples/Rank/ex3.ari | O(n) | 1.57 |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex1.ari | O(n) | 0.78 |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex2.ari | O(n^2) | 3.29 |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex3.ari | O(n) | 1.14 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.ari | O(n) | 1.02 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.ari | O(n^2) | 6.22 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.ari | O(n) | 2.44 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.ari | O(n) | 2.17 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.ari | O(n) | 1.59 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.ari | O(n^2) | 23.04 |
| Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.ari | O(n) | 3.79 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.ari | O(n^2) | 21.12 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.ari | Unknown | 2.54 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.ari | Unknown | 2.70 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.ari | O(n) | 0.90 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.ari | Unknown | 6.61 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.ari | O(n) | 0.76 |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.ari | O(n) | 2.54 |
| Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.ari | O(n) | 0.82 |
| Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.ari | O(n) | 0.74 |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.ari | O(n) | 1.18 |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.ari | O(n^2) | 1.79 |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.ari | O(n) | 1.03 |
| Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.ari | O(n) | 0.84 |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.ari | O(n) | 0.94 |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.ari | O(n^2) | 3.31 |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.ari | O(n) | 0.55 |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.ari | O(n) | 1.03 |
| Brockschmidt_16/c-examples/WTC/aaron2.ari | O(n) | 0.84 |
| Brockschmidt_16/c-examples/WTC/ax.ari | O(n^2) | 1.41 |
| Brockschmidt_16/c-examples/WTC/complex.ari | O(n) | 1.22 |
| Brockschmidt_16/c-examples/WTC/counterex1b.ari | TIMEOUT | 60.06 |
| Brockschmidt_16/c-examples/WTC/cousot9.ari | Unknown | 2.77 |
| Brockschmidt_16/c-examples/WTC/easy1.ari | O(1) | 0.66 |
| Brockschmidt_16/c-examples/WTC/easy2.ari | O(n) | 0.46 |
| Brockschmidt_16/c-examples/WTC/exmini.ari | O(n) | 0.60 |
| Brockschmidt_16/c-examples/WTC/gcd.ari | O(n) | 2.04 |
| Brockschmidt_16/c-examples/WTC/insertsort.ari | O(n^2) | 2.61 |
| Brockschmidt_16/c-examples/WTC/loops.ari | O(n^2) | 0.76 |
| Brockschmidt_16/c-examples/WTC/nd_loop.ari | O(1) | 0.49 |
| Brockschmidt_16/c-examples/WTC/ndecr.ari | O(n) | 0.48 |
| Brockschmidt_16/c-examples/WTC/nestedLoop.ari | O(n^2) | 4.21 |
| Brockschmidt_16/c-examples/WTC/perfect.ari | O(n^2) | 1.89 |
| Brockschmidt_16/c-examples/WTC/random1d.ari | O(n) | 0.68 |
| Brockschmidt_16/c-examples/WTC/random2d.ari | O(n) | 2.14 |
| Brockschmidt_16/c-examples/WTC/realbubble.ari | O(n^2) | 3.10 |
| Brockschmidt_16/c-examples/WTC/realheapsort.ari | O(n^2) | 23.00 |
| Brockschmidt_16/c-examples/WTC/realheapsort_step1.ari | O(n^2) | 2.55 |
| Brockschmidt_16/c-examples/WTC/realheapsort_step2.ari | O(n^2) | 22.31 |
| Brockschmidt_16/c-examples/WTC/realselect.ari | O(n^2) | 1.62 |
| Brockschmidt_16/c-examples/WTC/realshellsort.ari | Unknown | 17.21 |
| Brockschmidt_16/c-examples/WTC/rsd.ari | O(n^2) | 3.46 |
| Brockschmidt_16/c-examples/WTC/sipma91.ari | O(n) | 1.05 |
| Brockschmidt_16/c-examples/WTC/sipmabubble.ari | O(n^2) | 1.49 |
| Brockschmidt_16/c-examples/WTC/speedFails4.ari | Unknown | 3.11 |
| Brockschmidt_16/c-examples/WTC/speedpldi2.ari | O(n) | 0.78 |
| Brockschmidt_16/c-examples/WTC/speedpldi3.ari | O(n^2) | 3.51 |
| Brockschmidt_16/c-examples/WTC/speedpldi4.ari | O(n) | 0.73 |
| Brockschmidt_16/c-examples/WTC/terminate.ari | O(n) | 0.58 |
| Brockschmidt_16/c-examples/WTC/wcet1.ari | O(n) | 1.16 |
| Brockschmidt_16/c-examples/WTC/wcet2.ari | O(n) | 0.72 |
| Brockschmidt_16/c-examples/WTC/while2.ari | O(n^2) | 1.29 |
| Brockschmidt_16/c-examples/WTC/wise.ari | O(n) | 0.88 |
| Brockschmidt_16/costa/RAML/rationalPotential.ari | O(n) | 0.48 |
| Brockschmidt_16/costa/misc/ack.ari | Unknown | 1.04 |
| Brockschmidt_16/costa/misc/direct_n_log_n.ari | Unknown | 0.93 |
| Brockschmidt_16/costa/misc/linear.ari | O(n) | 0.49 |
| Brockschmidt_16/costa/misc/logarithmic.ari | O(1) | 0.47 |
| Brockschmidt_16/costa/misc/merge.ari | O(n) | 0.56 |
| Brockschmidt_16/costa/misc/mspe.ari | O(n) | 1.29 |
| Flores-Montoya_16/Loopus2011_ex1.c.ari | O(n) | 1.96 |
| Flores-Montoya_16/Loopus2011_ex2.c.ari | O(n) | 44.39 |
| Flores-Montoya_16/Loopus2011_ex3.c.ari | O(1) | 2.15 |
| Flores-Montoya_16/Loopus2014_ex1.c.ari | O(n^2) | 25.36 |
| Flores-Montoya_16/Loopus2014_ex2.c.ari | O(n) | 2.02 |
| Flores-Montoya_16/Loopus2015_ex1.c.ari | O(n) | 1.46 |
| Flores-Montoya_16/Loopus2015_ex2.c.ari | O(n) | 3.02 |
| Flores-Montoya_16/Loopus2015_original.c.ari | O(n^2) | 5.45 |
| Flores-Montoya_16/aaron12.c.ari | Unknown | 11.76 |
| Flores-Montoya_16/aaron2.c.ari | O(n) | 1.23 |
| Flores-Montoya_16/aaron3.c.ari | TIMEOUT | 60.06 |
| Flores-Montoya_16/alain.c.ari | O(n^2) | 7.39 |
| Flores-Montoya_16/ax.c.ari | O(n^2) | 1.86 |
| Flores-Montoya_16/catmouse.c.ari | Unknown | 2.27 |
| Flores-Montoya_16/complex.c.ari | O(n) | 2.40 |
| Flores-Montoya_16/counterex1a.c.ari | O(n^2) | 30.85 |
| Flores-Montoya_16/counterex1b.c.ari | TIMEOUT | 60.06 |
| Flores-Montoya_16/counterex1c.c.ari | O(n^2) | 43.31 |
| Flores-Montoya_16/cousot9.c.ari | O(n^2) | 2.01 |
| Flores-Montoya_16/easy1.c.ari | O(1) | 0.63 |
| Flores-Montoya_16/easy2.c.ari | O(n) | 0.55 |
| Flores-Montoya_16/ex_paper1.c.ari | O(n^2) | 6.66 |
| Flores-Montoya_16/ex_paper2.c.ari | O(n^2) | 2.14 |
| Flores-Montoya_16/ex_paper3.c.ari | O(n^2) | 3.68 |
| Flores-Montoya_16/exmini.c.ari | O(n) | 1.07 |
| Flores-Montoya_16/heapsort.c.ari | O(n) | 28.91 |
| Flores-Montoya_16/insertsort.c.ari | O(n^2) | 2.28 |
| Flores-Montoya_16/jama_ex1.c.ari | O(n^2) | 1.76 |
| Flores-Montoya_16/jama_ex2.c.ari | O(n^2) | 1.62 |
| Flores-Montoya_16/jama_ex3.c.ari | O(n^2) | 1.67 |
| Flores-Montoya_16/jama_ex4.c.ari | O(n^2) | 2.53 |
| Flores-Montoya_16/jama_ex5.c.ari | O(n^2) | 1.76 |
| Flores-Montoya_16/jama_ex6.c.ari | O(n^4) | 23.57 |
| Flores-Montoya_16/jama_ex7.c.ari | O(n^2) | 1.78 |
| Flores-Montoya_16/knuth_morris_pratt.c.ari | O(n) | 3.58 |
| Flores-Montoya_16/loops.c.ari | O(n^2) | 0.92 |
| Flores-Montoya_16/nd_loop.c.ari | O(1) | 0.67 |
| Flores-Montoya_16/ndecr.c.ari | O(n) | 0.83 |
| Flores-Montoya_16/nestedLoop.c.ari | O(n^2) | 24.78 |
| Flores-Montoya_16/nested_loop.c.ari | O(n^2) | 25.09 |
| Flores-Montoya_16/perfect.c.ari | O(n^2) | 4.27 |
| Flores-Montoya_16/perfect1.c.ari | O(n^2) | 5.41 |
| Flores-Montoya_16/perfect2.c.ari | O(n^2) | 3.82 |
| Flores-Montoya_16/perfectg.c.ari | O(n^2) | 7.29 |
| Flores-Montoya_16/random1d.c.ari | O(n) | 0.73 |
| Flores-Montoya_16/random2d.c.ari | O(n) | 2.34 |
| Flores-Montoya_16/rank1.c.ari | O(n^3) | 34.10 |
| Flores-Montoya_16/rank2.c.ari | O(n) | 2.73 |
| Flores-Montoya_16/rank3.c.ari | TIMEOUT | 60.00 |
| Flores-Montoya_16/real2.c.ari | Unknown | 13.65 |
| Flores-Montoya_16/realbubble.c.ari | O(n^2) | 23.12 |
| Flores-Montoya_16/realheapsort.c.ari | O(n^2) | 26.26 |
| Flores-Montoya_16/realheapsort_step1.c.ari | O(n^2) | 3.98 |
| Flores-Montoya_16/realheapsort_step2.c.ari | O(n^2) | 23.19 |
| Flores-Montoya_16/realselect.c.ari | O(n^2) | 2.67 |
| Flores-Montoya_16/realshellsort.c.ari | O(n^3) | 7.37 |
| Flores-Montoya_16/relation1.c.ari | O(1) | 0.36 |
| Flores-Montoya_16/rsd.c.ari | O(n) | 6.70 |
| Flores-Montoya_16/serpent.c.ari | TIMEOUT | 60.06 |
| Flores-Montoya_16/sipma91.c.ari | O(n) | 1.95 |
| Flores-Montoya_16/sipmabubble.c.ari | O(n^2) | 2.26 |
| Flores-Montoya_16/sipmamergesort.c.ari | TIMEOUT | 60.06 |
| Flores-Montoya_16/sipmamergesort2.c.ari | TIMEOUT | 60.06 |
| Flores-Montoya_16/speedDis1.c.ari | O(n) | 1.01 |
| Flores-Montoya_16/speedDis2.c.ari | O(n) | 0.92 |
| Flores-Montoya_16/speedFails1.c.ari | Unknown | 1.31 |
| Flores-Montoya_16/speedFails2.c.ari | Unknown | 1.52 |
| Flores-Montoya_16/speedFails3.c.ari | Unknown | 2.34 |
| Flores-Montoya_16/speedFails4.c.ari | Unknown | 2.45 |
| Flores-Montoya_16/speedNestedMultiple.c.ari | O(n) | 2.21 |
| Flores-Montoya_16/speedNestedMultipleDep.c.ari | O(n^2) | 1.72 |
| Flores-Montoya_16/speedSimpleMultiple.c.ari | O(n) | 0.79 |
| Flores-Montoya_16/speedSimpleMultipleDep.c.ari | O(n^2) | 2.43 |
| Flores-Montoya_16/speedSingleSingle.c.ari | O(n) | 0.65 |
| Flores-Montoya_16/speedSingleSingle2.c.ari | O(n) | 1.38 |
| Flores-Montoya_16/speed_pldi09_fig1.c.ari | O(n) | 1.63 |
| Flores-Montoya_16/speed_pldi09_fig4_2.c.ari | O(n) | 0.96 |
| Flores-Montoya_16/speed_pldi09_fig4_4.c.ari | O(n) | 1.83 |
| Flores-Montoya_16/speed_pldi09_fig4_5.c.ari | O(n) | 2.91 |
| Flores-Montoya_16/speed_pldi10_ex1.c.ari | O(n^2) | 5.71 |
| Flores-Montoya_16/speed_pldi10_ex3.c.ari | O(n) | 1.00 |
| Flores-Montoya_16/speed_pldi10_ex4.c.ari | O(n) | 0.65 |
| Flores-Montoya_16/speed_popl10_fig2_1.c.ari | O(n) | 0.94 |
| Flores-Montoya_16/speed_popl10_fig2_2.c.ari | O(n) | 0.91 |
| Flores-Montoya_16/speed_popl10_nested_multiple.c.ari | O(n) | 2.23 |
| Flores-Montoya_16/speed_popl10_nested_single.c.ari | O(n) | 1.05 |
| Flores-Montoya_16/speed_popl10_sequential_single.c.ari | O(n) | 1.09 |
| Flores-Montoya_16/speed_popl10_simple_multiple.c.ari | O(n) | 0.75 |
| Flores-Montoya_16/speed_popl10_simple_single.c.ari | O(n) | 0.68 |
| Flores-Montoya_16/speed_popl10_simple_single_2.c.ari | O(n) | 0.96 |
| Flores-Montoya_16/speedpldi2.c.ari | O(n) | 0.89 |
| Flores-Montoya_16/speedpldi3.c.ari | O(n^2) | 2.55 |
| Flores-Montoya_16/speedpldi4.c.ari | O(n) | 0.81 |
| Flores-Montoya_16/t07.c.ari | O(n) | 1.31 |
| Flores-Montoya_16/t08.c.ari | O(n) | 0.99 |
| Flores-Montoya_16/t10.c.ari | O(n) | 1.04 |
| Flores-Montoya_16/t11.c.ari | O(n) | 0.97 |
| Flores-Montoya_16/t13.c.ari | O(n) | 1.62 |
| Flores-Montoya_16/t15.c.ari | O(n) | 1.03 |
| Flores-Montoya_16/t16.c.ari | O(n) | 1.79 |
| Flores-Montoya_16/t19.c.ari | O(n) | 1.36 |
| Flores-Montoya_16/t20.c.ari | O(n) | 0.97 |
| Flores-Montoya_16/t27.c.ari | O(n) | 1.14 |
| Flores-Montoya_16/t28.c.ari | O(n) | 1.53 |
| Flores-Montoya_16/t30.c.ari | O(n) | 0.78 |
| Flores-Montoya_16/t47.c.ari | O(n) | 0.70 |
| Flores-Montoya_16/t62.c.ari | O(n) | 6.04 |
| Flores-Montoya_16/terminate.c.ari | O(n) | 1.11 |
| Flores-Montoya_16/terminatorbubble.c.ari | O(n^2) | 21.79 |
| Flores-Montoya_16/textbook_ex1.c.ari | O(n) | 0.80 |
| Flores-Montoya_16/textbook_ex2.c.ari | O(n^2) | 1.72 |
| Flores-Montoya_16/textbook_ex3.c.ari | O(n^4) | 24.10 |
| Flores-Montoya_16/textbook_ex4.c.ari | O(n^2) | 1.98 |
| Flores-Montoya_16/unperfect.c.ari | O(n^2) | 3.93 |
| Flores-Montoya_16/wcet0.c.ari | O(n) | 1.30 |
| Flores-Montoya_16/wcet1.c.ari | O(n) | 1.25 |
| Flores-Montoya_16/wcet2.c.ari | O(n) | 1.06 |
| Flores-Montoya_16/while2.c.ari | O(n^2) | 1.70 |
| Flores-Montoya_16/wise.c.ari | O(n) | 0.98 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.ari | O(n) | 0.38 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.ari | O(n) | 0.44 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.ari | O(n) | 0.43 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.ari | O(n) | 0.49 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.ari | O(n) | 0.41 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop2_REV2.ari | Unknown | 0.68 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.ari | O(n) | 0.44 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.ari | O(n) | 0.44 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.ari | O(n) | 0.41 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.ari | O(n) | 0.45 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.ari | O(n) | 0.42 |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.ari | O(n) | 0.46 |
| Hark_20/Nils_2019/ex001.ari | O(n) | 0.69 |
| Hark_20/Nils_2019/ex002.ari | O(n) | 1.81 |
| Hark_20/Nils_2019/ex003.ari | O(n) | 0.40 |
| Hark_20/Nils_2019/ex004.ari | O(n) | 0.56 |
| Hark_20/Nils_2019/ex005.ari | O(n^2) | 3.06 |
| Hark_20/Nils_2019/ex006.ari | O(n) | 0.40 |
| Hark_20/Nils_2019/ex007.ari | O(n^2) | 1.07 |
| Hark_20/Nils_2019/ex008.ari | O(1) | 0.41 |
| Hark_20/Nils_2019/ex009_REV2.ari | O(n^3) | 0.83 |
| Hark_20/Nils_2019/ex010.ari | O(n^4) | 2.52 |
| Hark_20/Nils_2019/ex011_REV2.ari | O(n^4) | 2.50 |
| Lommen_22/twn01.ari | O(log(n)) | 0.54 |
| Lommen_22/twn02.ari | O(log(n)) | 0.60 |
| Lommen_22/twn03.ari | O(n) | 0.68 |
| Lommen_22/twn04.ari | O(n^2) | 0.69 |
| Lommen_22/twn05.ari | O(n^2) | 1.86 |
| Lommen_22/twn06.ari | Unknown | 3.41 |
| Lommen_22/twn07.ari | O(n^4) | 0.61 |
| Lommen_22/twn08.ari | O(n) | 0.97 |
| Lommen_22/twn09.ari | O(n) | 1.06 |
| Lommen_22/twn10.ari | O(n) | 0.48 |
| Lommen_22/twn11.ari | Unknown | 0.54 |
| Lommen_22/twn12.ari | Unknown | 0.53 |
| Lommen_22/twn13.ari | O(n^5) | 2.78 |
| Lommen_22/twn14.ari | O(n^2) | 0.90 |
| Lommen_22/twn15.ari | O(n^2) | 0.90 |
| Lommen_22/twn16.ari | O(n) | 0.46 |
| Lommen_22/twn17.ari | EXP | 1.13 |
| Lommen_22/twn18.ari | Unknown | 0.61 |
| Lommen_22/twn19.ari | O(log(n)) | 0.70 |
| Lommen_22/twn20.ari | O(log(n)) | 0.65 |
| Lommen_23/size01.ari | O(n) | 0.48 |
| Lommen_23/size02.ari | O(n) | 0.55 |
| Lommen_23/size03.ari | O(n^3) | 0.63 |
| Lommen_23/size04.ari | O(n^3) | 0.81 |
| Lommen_23/size05.ari | O(n^6) | 2.13 |
| Lommen_23/size06.ari | O(n^6) | 1.16 |
| Lommen_23/size07.ari | O(n^3) | 0.73 |
| Lommen_23/size08.ari | O(n^5) | 3.23 |
| Lommen_23/size09.ari | O(n^2) | 1.24 |
| Lommen_23/size10.ari | O(n^8) | 1.76 |
| Lommen_23/size11.ari | EXP | 0.80 |
| Lommen_23/size12.ari | EXP | 4.60 |
| Lommen_23/size13.ari | Unknown | 2.35 |
| Lommen_23/size14.ari | O(n^2) | 0.62 |
| Lommen_23/size15.ari | TIMEOUT | 60.01 |
| Lommen_24/non_linear01.ari | O(log(n)) | 0.64 |
| Lommen_24/non_linear02.ari | O(log(n)) | 0.57 |
| Lommen_24/non_linear03.ari | O(log(n)) | 0.62 |
| Lommen_24/non_linear04.ari | O(log(n)) | 0.62 |
| Lommen_24/non_linear05.ari | Unknown | 0.64 |
| Lommen_24/non_linear06.ari | O(log(n)) | 0.75 |
| Lommen_24/non_linear07.ari | Unknown | 1.83 |
| Lommen_24/non_linear08.ari | Unknown | 1.06 |
| Lommen_24/non_linear09.ari | TIMEOUT | 60.06 |
| Lommen_24/non_linear10.ari | Unknown | 5.09 |
| Lommen_24/non_linear11.ari | O(n^3) | 0.59 |
| Lommen_24/non_linear12.ari | O(n^2) | 0.64 |
| Lommen_24/non_linear13.ari | O(n) | 0.48 |
| Lommen_24/non_linear14.ari | O(n) | 1.23 |
| Lommen_24/non_linear15.ari | Unknown | 1.41 |
| Lommen_24/non_linear16.ari | O(n) | 0.49 |
| Lommen_24/non_linear17.ari | O(n^2) | 1.17 |
| Lommen_24/non_linear18.ari | EXP | 0.88 |
| Lommen_24/non_linear19.ari | O(n^2) | 0.63 |
| Lommen_24/non_linear20.ari | Unknown | 0.66 |
| Lommen_24/non_linear21.ari | TIMEOUT | 60.01 |
| Lommen_24/non_linear22.ari | O(n^3) | 0.56 |