You can download the tool output here
| Example | Result | Runtime |
|---|---|---|
| Brockschmidt_16/FGPSF09/Beerendonk/01.koat | O(n) | 1.13 s |
| Brockschmidt_16/FGPSF09/Beerendonk/02.koat | O(n) | 1.24 s |
| Brockschmidt_16/FGPSF09/Beerendonk/03.koat | O(n) | 1.20 s |
| Brockschmidt_16/FGPSF09/Beerendonk/04.koat | O(1) | 0.97 s |
| Brockschmidt_16/FGPSF09/Beerendonk/05.koat | O(1) | 1.20 s |
| Brockschmidt_16/FGPSF09/Beerendonk/06.koat | O(1) | 1.12 s |
| Brockschmidt_16/FGPSF09/Beerendonk/07.koat | O(1) | 1.08 s |
| Brockschmidt_16/FGPSF09/Beerendonk/08.koat | O(n) | 1.19 s |
| Brockschmidt_16/FGPSF09/Beerendonk/09.koat | O(n) | 1.12 s |
| Brockschmidt_16/FGPSF09/Beerendonk/10.koat | O(n) | 1.23 s |
| Brockschmidt_16/FGPSF09/Beerendonk/11.koat | O(n) | 1.29 s |
| Brockschmidt_16/FGPSF09/Beerendonk/13.koat | O(n) | 1.28 s |
| Brockschmidt_16/FGPSF09/Beerendonk/15.koat | O(n) | 1.24 s |
| Brockschmidt_16/FGPSF09/Beerendonk/16.koat | O(n) | 1.44 s |
| Brockschmidt_16/FGPSF09/Beerendonk/17.koat | O(n) | 1.38 s |
| Brockschmidt_16/FGPSF09/Beerendonk/18.koat | O(n) | 1.37 s |
| Brockschmidt_16/FGPSF09/Beerendonk/19.koat | O(n) | 1.34 s |
| Brockschmidt_16/FGPSF09/Beerendonk/20.koat | O(n) | 1.28 s |
| Brockschmidt_16/FGPSF09/Beerendonk/21.koat | O(n) | 1.34 s |
| Brockschmidt_16/FGPSF09/Beerendonk/22.koat | O(n) | 1.48 s |
| Brockschmidt_16/FGPSF09/Beerendonk/23.koat | O(n) | 1.43 s |
| Brockschmidt_16/FGPSF09/Beerendonk/24.koat | O(n) | 1.60 s |
| Brockschmidt_16/FGPSF09/CAV02/practical1.koat | O(n²) | 3.99 s |
| Brockschmidt_16/FGPSF09/CAV02/practical2.koat | O(n) | 1.96 s |
| Brockschmidt_16/FGPSF09/CAV05/c.05.koat | O(n) | 1.29 s |
| Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat | ∞ | 3.90 s |
| Brockschmidt_16/FGPSF09/LICS04/c.01.koat | O(n²) | 3.57 s |
| Brockschmidt_16/FGPSF09/LICS04/choice.koat | ∞ | 4.18 s |
| Brockschmidt_16/FGPSF09/PLDI06/c.03.koat | O(n) | 1.33 s |
| Brockschmidt_16/FGPSF09/PLDI06/c.04.koat | O(n) | 1.31 s |
| Brockschmidt_16/FGPSF09/SAS05/c.02.koat | O(n²) | 3.66 s |
| Brockschmidt_16/FGPSF09/TACAS01/terminate.koat | O(n) | 1.44 s |
| Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat | O(n) | 1.50 s |
| Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat | ∞ | 3.40 s |
| Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat | O(n²) | 3.65 s |
| Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat | ∞ | 4.41 s |
| Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat | ∞ | 3.81 s |
| Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat | ∞ | 4.43 s |
| Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat | ∞ | 4.11 s |
| Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat | O(n) | 1.79 s |
| Brockschmidt_16/FGPSF09/new/unsatCond2.koat | O(1) | 1.53 s |
| Brockschmidt_16/FGPSF09/patrs/div.koat | O(n) | 1.49 s |
| Brockschmidt_16/FGPSF09/patrs/increase1.koat | O(n) | 1.23 s |
| Brockschmidt_16/FGPSF09/patrs/increase2.koat | O(n) | 1.34 s |
| Brockschmidt_16/FGPSF09/patrs/increase3.koat | O(n) | 1.42 s |
| Brockschmidt_16/FGPSF09/patrs/increase4.koat | O(n) | 1.33 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat | O(n²) | 3.42 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat | ∞ | 4.81 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat | O(n²) | 30.56 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat | O(n) | 1.27 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat | O(n) | 1.26 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat | O(n) | 1.42 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat | O(n) | 1.20 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat | O(n) | 1.22 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat | O(n) | 1.33 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat | O(n) | 1.22 s |
| Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat | O(n) | 1.35 s |
| Brockschmidt_16/FGPSF09/patrs/sqrt.koat | O(n) | 1.15 s |
| Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat | O(n) | 1.16 s |
| Brockschmidt_16/KoAT-2013/sect1-lin.koat | O(n) | 1.50 s |
| Brockschmidt_16/KoAT-2013/sect1-quad.koat | O(n²) | 2.94 s |
| Brockschmidt_16/KoAT-2013/sect2.koat | O(n²) | 4.33 s |
| Brockschmidt_16/KoAT-2013/sect5-len.koat | O(n) | 1.07 s |
| Brockschmidt_16/KoAT-2013/sect5-sumSum.koat | O(n²) | 3.26 s |
| Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat | O(EXP) | 3.17 s |
| Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat | O(EXP) | 3.62 s |
| Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat | O(EXP) | 4.06 s |
| Brockschmidt_16/KoAT-2014/nesting-ex1.koat | O(EXP) | 10.18 s |
| Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat | O(EXP) | 7.00 s |
| Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat | O(EXP) | 3.25 s |
| Brockschmidt_16/SAS10/aaron2.koat | O(n) | 2.47 s |
| Brockschmidt_16/SAS10/ackermann.koat | O(n) | 2.10 s |
| Brockschmidt_16/SAS10/ax.koat | O(n²) | 6.78 s |
| Brockschmidt_16/SAS10/complex.koat | O(n) | 3.03 s |
| Brockschmidt_16/SAS10/counterex1.koat | O(n²) | 29.36 s |
| Brockschmidt_16/SAS10/cousot9.koat | O(n²) | 6.88 s |
| Brockschmidt_16/SAS10/determinant.koat | O(n³) | 17.07 s |
| Brockschmidt_16/SAS10/easy1.koat | O(1) | 2.99 s |
| Brockschmidt_16/SAS10/easy2.koat | O(n) | 2.39 s |
| Brockschmidt_16/SAS10/exmini.koat | O(n) | 2.26 s |
| Brockschmidt_16/SAS10/gcd.koat | O(n) | 2.45 s |
| Brockschmidt_16/SAS10/insertsort.koat | O(n²) | 7.93 s |
| Brockschmidt_16/SAS10/loops.koat | O(n²) | 11.62 s |
| Brockschmidt_16/SAS10/maccarthy91.koat | O(n) | 3.47 s |
| Brockschmidt_16/SAS10/nd_loop.koat | O(1) | 1.71 s |
| Brockschmidt_16/SAS10/ndecr.koat | O(n) | 2.19 s |
| Brockschmidt_16/SAS10/nestedLoop.koat | O(n²) | 22.13 s |
| Brockschmidt_16/SAS10/perfect.koat | O(n²) | 13.48 s |
| Brockschmidt_16/SAS10/random1d.koat | O(n) | 2.13 s |
| Brockschmidt_16/SAS10/random2d.koat | O(n) | 6.80 s |
| Brockschmidt_16/SAS10/realbubble.koat | O(n²) | 25.22 s |
| Brockschmidt_16/SAS10/realheapsort.koat | O(n²) | 51.35 s |
| Brockschmidt_16/SAS10/realselect.koat | O(1) | 3.59 s |
| Brockschmidt_16/SAS10/realshellsort.koat | ∞ | 152.54 s |
| Brockschmidt_16/SAS10/relation1.koat | O(1) | 1.60 s |
| Brockschmidt_16/SAS10/rsd.koat | O(n²) | 8.80 s |
| Brockschmidt_16/SAS10/sipmabubble.koat | O(n²) | 19.39 s |
| Brockschmidt_16/SAS10/speedFails4.koat | O(n) | 2.83 s |
| Brockschmidt_16/SAS10/speedpldi2.koat | O(n) | 2.95 s |
| Brockschmidt_16/SAS10/speedpldi3.koat | O(n²) | 14.35 s |
| Brockschmidt_16/SAS10/speedpldi4.koat | O(n) | 3.11 s |
| Brockschmidt_16/SAS10/terminate.koat | O(n) | 2.75 s |
| Brockschmidt_16/SAS10/wcet1.koat | O(n) | 4.42 s |
| Brockschmidt_16/SAS10/wcet2.koat | O(n) | 2.81 s |
| Brockschmidt_16/SAS10/while2.koat | O(n²) | 8.23 s |
| Brockschmidt_16/SAS10/wise.koat | O(n) | 1.92 s |
| Brockschmidt_16/T2/1.koat | ∞ | 6.66 s |
| Brockschmidt_16/T2/1394-fail.koat | ∞ | 27.24 s |
| Brockschmidt_16/T2/1394-succeed.koat | ∞ | 28.24 s |
| Brockschmidt_16/T2/1394complete-fail.koat | ∞ | 33.17 s |
| Brockschmidt_16/T2/1394complete-succeed.koat | ∞ | 38.36 s |
| Brockschmidt_16/T2/2.koat | ∞ | 6.59 s |
| Brockschmidt_16/T2/232.koat | O(n²) | 5.94 s |
| Brockschmidt_16/T2/241.koat | O(n²) | 4.12 s |
| Brockschmidt_16/T2/3.koat | ∞ | 1.67 s |
| Brockschmidt_16/T2/5.koat | ∞ | 8.89 s |
| Brockschmidt_16/T2/6.koat | ∞ | 1.64 s |
| Brockschmidt_16/T2/7.koat | ∞ | 1.76 s |
| Brockschmidt_16/T2/Loop.koat | O(n) | 6.49 s |
| Brockschmidt_16/T2/a.10.c.koat | O(n) | 8.91 s |
| Brockschmidt_16/T2/acqrel-fail.koat | ∞ | 7.29 s |
| Brockschmidt_16/T2/afagp-fail.koat | ∞ | 103.94 s |
| Brockschmidt_16/T2/afagx1.koat | ∞ | 6.83 s |
| Brockschmidt_16/T2/agafp.koat | ∞ | 122.99 s |
| Brockschmidt_16/T2/apchild-accepted-fail.koat | ∞ | 183.21 s |
| Brockschmidt_16/T2/apchild-accepted.koat | TIMEOUT | 302.24 s |
| Brockschmidt_16/T2/apchild-live.koat | ∞ | 246.89 s |
| Brockschmidt_16/T2/apchildlive-succeed.koat | TIMEOUT | 301.76 s |
| Brockschmidt_16/T2/array.koat | O(1) | 1.52 s |
| Brockschmidt_16/T2/array1.koat | O(1) | 2.39 s |
| Brockschmidt_16/T2/array2.koat | O(1) | 2.29 s |
| Brockschmidt_16/T2/array3.koat | O(1) | 2.18 s |
| Brockschmidt_16/T2/array_free.koat | O(1) | 2.14 s |
| Brockschmidt_16/T2/array_init.koat | O(1) | 1.31 s |
| Brockschmidt_16/T2/array_init_assign.koat | O(1) | 1.99 s |
| Brockschmidt_16/T2/ase_example.koat | O(1) | 1.85 s |
| Brockschmidt_16/T2/bf10.koat | O(1) | 3.52 s |
| Brockschmidt_16/T2/bf11.koat | O(1) | 3.69 s |
| Brockschmidt_16/T2/bf12.koat | O(1) | 3.73 s |
| Brockschmidt_16/T2/bf13.koat | O(1) | 4.10 s |
| Brockschmidt_16/T2/bf14.koat | O(1) | 3.73 s |
| Brockschmidt_16/T2/bf15.koat | O(1) | 3.39 s |
| Brockschmidt_16/T2/bf16.koat | O(1) | 3.80 s |
| Brockschmidt_16/T2/bf17.koat | O(1) | 4.16 s |
| Brockschmidt_16/T2/bf18.koat | O(1) | 4.70 s |
| Brockschmidt_16/T2/bf19.koat | O(1) | 4.57 s |
| Brockschmidt_16/T2/bf20.koat | O(1) | 5.08 s |
| Brockschmidt_16/T2/bf5.koat | O(1) | 4.11 s |
| Brockschmidt_16/T2/bf6.koat | O(1) | 4.02 s |
| Brockschmidt_16/T2/bf7.koat | O(1) | 4.94 s |
| Brockschmidt_16/T2/bf8.koat | O(1) | 3.91 s |
| Brockschmidt_16/T2/bf9.koat | O(1) | 4.29 s |
| Brockschmidt_16/T2/bio.koat | TIMEOUT | 301.57 s |
| Brockschmidt_16/T2/bitcount16.koat | O(1) | 2.23 s |
| Brockschmidt_16/T2/bitcount32.koat | O(1) | 1.50 s |
| Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat | TIMEOUT | 301.39 s |
| Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.98 s |
| Brockschmidt_16/T2/broydn.koat | TIMEOUT | 302.01 s |
| Brockschmidt_16/T2/brp.koat | TIMEOUT | 301.48 s |
| Brockschmidt_16/T2/brp_withassume.koat | TIMEOUT | 301.61 s |
| Brockschmidt_16/T2/bs.koat | ∞ | 9.66 s |
| Brockschmidt_16/T2/bsort100.koat | O(1) | 3.98 s |
| Brockschmidt_16/T2/bubbleSort.koat | O(n²) | 9.82 s |
| Brockschmidt_16/T2/bubblesort_inner_loop.koat | O(1) | 2.27 s |
| Brockschmidt_16/T2/buggyNonTermLoop.koat | ∞ | 43.11 s |
| Brockschmidt_16/T2/byron-1.koat | O(n) | 2.34 s |
| Brockschmidt_16/T2/byron-2.koat | ∞ | 6.65 s |
| Brockschmidt_16/T2/byron-3.koat | O(n) | 2.59 s |
| Brockschmidt_16/T2/byron-4.koat | O(n) | 2.45 s |
| Brockschmidt_16/T2/cfg.koat | ∞ | 4.41 s |
| Brockschmidt_16/T2/cnt.koat | O(1) | 3.69 s |
| Brockschmidt_16/T2/collatz.koat | ∞ | 7.23 s |
| Brockschmidt_16/T2/complex_guard.koat | O(1) | 2.35 s |
| Brockschmidt_16/T2/constants.koat | O(1) | 2.31 s |
| Brockschmidt_16/T2/consts1.koat | O(1) | 2.09 s |
| Brockschmidt_16/T2/consts1nt.koat | ∞ | 4.29 s |
| Brockschmidt_16/T2/consts2.koat | O(n) | 1.89 s |
| Brockschmidt_16/T2/consts2nt.koat | ∞ | 4.20 s |
| Brockschmidt_16/T2/consts3.koat | O(n) | 1.47 s |
| Brockschmidt_16/T2/consts3nt.koat | ∞ | 4.05 s |
| Brockschmidt_16/T2/consts4.koat | O(n) | 2.38 s |
| Brockschmidt_16/T2/consts4nt.koat | ∞ | 3.09 s |
| Brockschmidt_16/T2/consts5.koat | O(1) | 1.78 s |
| Brockschmidt_16/T2/consts5nt.koat | ∞ | 4.66 s |
| Brockschmidt_16/T2/cover.koat | TIMEOUT | 300.18 s |
| Brockschmidt_16/T2/crc.koat | O(1) | 29.70 s |
| Brockschmidt_16/T2/create.koat | ∞ | 4.44 s |
| Brockschmidt_16/T2/create_seg.koat | ∞ | 4.42 s |
| Brockschmidt_16/T2/create_via_tmps.koat | O(n) | 3.10 s |
| Brockschmidt_16/T2/ctl.koat | ∞ | 1.85 s |
| Brockschmidt_16/T2/curious.koat | ∞ | 3.45 s |
| Brockschmidt_16/T2/curious4.koat | ∞ | 256.05 s |
| Brockschmidt_16/T2/d.koat | ∞ | 3.29 s |
| Brockschmidt_16/T2/db2.koat | TIMEOUT | 300.83 s |
| Brockschmidt_16/T2/db3.koat | TIMEOUT | 300.87 s |
| Brockschmidt_16/T2/dead.neg-st88b-succeed.koat | ∞ | 10.17 s |
| Brockschmidt_16/T2/destroy.koat | ∞ | 7.79 s |
| Brockschmidt_16/T2/destroy_seg.koat | ∞ | 8.11 s |
| Brockschmidt_16/T2/destroy_seg_leak.koat | TIMEOUT | 302.11 s |
| Brockschmidt_16/T2/disj_nightmare_abi.koat | O(1) | 1.97 s |
| Brockschmidt_16/T2/dropbuf-live.koat | O(1) | 2.22 s |
| Brockschmidt_16/T2/dropbuf.koat | ∞ | 32.90 s |
| Brockschmidt_16/T2/dsa_test.koat | O(1) | 2.02 s |
| Brockschmidt_16/T2/dsa_test1.koat | O(1) | 2.07 s |
| Brockschmidt_16/T2/dsa_test10.koat | O(1) | 1.88 s |
| Brockschmidt_16/T2/dsa_test11.koat | O(1) | 2.10 s |
| Brockschmidt_16/T2/dsa_test12.koat | O(1) | 2.05 s |
| Brockschmidt_16/T2/dsa_test13.koat | O(1) | 1.99 s |
| Brockschmidt_16/T2/dsa_test15.koat | O(1) | 2.08 s |
| Brockschmidt_16/T2/dsa_test4.koat | O(1) | 1.35 s |
| Brockschmidt_16/T2/dsa_test5.koat | O(1) | 1.53 s |
| Brockschmidt_16/T2/dsa_test6.koat | O(1) | 2.02 s |
| Brockschmidt_16/T2/dsa_test8.koat | O(1) | 1.53 s |
| Brockschmidt_16/T2/dsa_test9.koat | O(1) | 1.61 s |
| Brockschmidt_16/T2/dummy.koat | ∞ | 4.47 s |
| Brockschmidt_16/T2/e-1394complete-succeed.koat | ∞ | 38.27 s |
| Brockschmidt_16/T2/e-acqrel-fail.koat | ∞ | 6.03 s |
| Brockschmidt_16/T2/e-acqrel-succeed.koat | ∞ | 8.13 s |
| Brockschmidt_16/T2/e-pgarch-fail.koat | ∞ | 4.88 s |
| Brockschmidt_16/T2/e-pgarch-succeed.koat | ∞ | 5.52 s |
| Brockschmidt_16/T2/e-popl07-fail.koat | ∞ | 5.23 s |
| Brockschmidt_16/T2/edn.koat | O(1) | 30.79 s |
| Brockschmidt_16/T2/efegp.koat | ∞ | 114.66 s |
| Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat | O(n²) | 11.85 s |
| Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat | O(n²) | 12.80 s |
| Brockschmidt_16/T2/elmhes.koat | O(n²) | 12.01 s |
| Brockschmidt_16/T2/eric.koat | O(n) | 6.92 s |
| Brockschmidt_16/T2/eric1.koat | ∞ | 8.36 s |
| Brockschmidt_16/T2/eric2.koat | TIMEOUT | 301.46 s |
| Brockschmidt_16/T2/eric3.koat | ∞ | 4.99 s |
| Brockschmidt_16/T2/ex1.koat | ∞ | 2.13 s |
| Brockschmidt_16/T2/ex10.koat | ∞ | 5.42 s |
| Brockschmidt_16/T2/ex11.koat | ∞ | 10.57 s |
| Brockschmidt_16/T2/ex12.koat | O(1) | 1.86 s |
| Brockschmidt_16/T2/ex13.koat | O(1) | 1.39 s |
| Brockschmidt_16/T2/ex14.koat | O(1) | 1.69 s |
| Brockschmidt_16/T2/ex15.koat | O(1) | 2.18 s |
| Brockschmidt_16/T2/ex16.koat | ∞ | 5.35 s |
| Brockschmidt_16/T2/ex17.koat | O(1) | 2.24 s |
| Brockschmidt_16/T2/ex18.koat | O(1) | 2.54 s |
| Brockschmidt_16/T2/ex19.koat | ∞ | 5.85 s |
| Brockschmidt_16/T2/ex2.koat | ∞ | 4.17 s |
| Brockschmidt_16/T2/ex20.koat | O(1) | 2.63 s |
| Brockschmidt_16/T2/ex21.koat | O(1) | 2.03 s |
| Brockschmidt_16/T2/ex22.koat | O(1) | 21.21 s |
| Brockschmidt_16/T2/ex23.koat | O(1) | 2.13 s |
| Brockschmidt_16/T2/ex26.koat | O(1) | 1.82 s |
| Brockschmidt_16/T2/ex27.koat | O(1) | 39.77 s |
| Brockschmidt_16/T2/ex29.koat | O(1) | 2.05 s |
| Brockschmidt_16/T2/ex3.koat | O(1) | 1.65 s |
| Brockschmidt_16/T2/ex30.koat | ∞ | 19.29 s |
| Brockschmidt_16/T2/ex31.koat | ∞ | 4.61 s |
| Brockschmidt_16/T2/ex32.koat | O(1) | 2.36 s |
| Brockschmidt_16/T2/ex33.koat | O(1) | 1.94 s |
| Brockschmidt_16/T2/ex34.koat | O(1) | 1.36 s |
| Brockschmidt_16/T2/ex36.koat | TIMEOUT | 301.70 s |
| Brockschmidt_16/T2/ex37.koat | O(1) | 1.82 s |
| Brockschmidt_16/T2/ex4.koat | O(1) | 1.97 s |
| Brockschmidt_16/T2/ex40.koat | ∞ | 5.32 s |
| Brockschmidt_16/T2/ex6.koat | O(1) | 1.69 s |
| Brockschmidt_16/T2/ex7.koat | O(1) | 2.21 s |
| Brockschmidt_16/T2/ex8.koat | ∞ | 10.17 s |
| Brockschmidt_16/T2/ex9.koat | ∞ | 12.22 s |
| Brockschmidt_16/T2/example.koat | O(n) | 1.66 s |
| Brockschmidt_16/T2/fake-succeed.koat | ∞ | 231.29 s |
| Brockschmidt_16/T2/fast_poll.koat | TIMEOUT | 301.39 s |
| Brockschmidt_16/T2/fdct.koat | O(1) | 2.19 s |
| Brockschmidt_16/T2/fermat.koat | O(1) | 2.60 s |
| Brockschmidt_16/T2/fibcall.koat | O(1) | 2.62 s |
| Brockschmidt_16/T2/fir.koat | ∞ | 42.33 s |
| Brockschmidt_16/T2/firewire.koat | ∞ | 144.77 s |
| Brockschmidt_16/T2/flipflop.koat | ∞ | 4.48 s |
| Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat | O(n) | 2.04 s |
| Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.23 s |
| Brockschmidt_16/T2/fourn.koat | TIMEOUT | 302.11 s |
| Brockschmidt_16/T2/fuhs-inflasso.koat | O(n²) | 5.45 s |
| Brockschmidt_16/T2/fun1.koat | ∞ | 45.53 s |
| Brockschmidt_16/T2/fun10.koat | ∞ | 74.47 s |
| Brockschmidt_16/T2/fun10b.koat | ∞ | 45.37 s |
| Brockschmidt_16/T2/fun11.koat | ∞ | 5.37 s |
| Brockschmidt_16/T2/fun1b.koat | ∞ | 45.51 s |
| Brockschmidt_16/T2/fun2.koat | O(n) | 5.39 s |
| Brockschmidt_16/T2/fun2b.koat | ∞ | 87.79 s |
| Brockschmidt_16/T2/fun3.koat | O(n) | 6.22 s |
| Brockschmidt_16/T2/fun4-alt.koat | O(1) | 1.45 s |
| Brockschmidt_16/T2/fun4.koat | O(1) | 1.84 s |
| Brockschmidt_16/T2/fun5.koat | ∞ | 262.17 s |
| Brockschmidt_16/T2/fun6.koat | ∞ | 300.53 s |
| Brockschmidt_16/T2/fun7.koat | ∞ | 8.96 s |
| Brockschmidt_16/T2/fun8.koat | O(1) | 7.68 s |
| Brockschmidt_16/T2/fun9.koat | ∞ | 73.57 s |
| Brockschmidt_16/T2/graycode.koat | O(1) | 10.39 s |
| Brockschmidt_16/T2/heidy1.koat | ∞ | 2.04 s |
| Brockschmidt_16/T2/heidy10.koat | ∞ | 4.40 s |
| Brockschmidt_16/T2/heidy2.koat | ∞ | 1.97 s |
| Brockschmidt_16/T2/heidy3.koat | ∞ | 3.78 s |
| Brockschmidt_16/T2/heidy5.koat | O(n) | 1.96 s |
| Brockschmidt_16/T2/heidy6.koat | ∞ | 7.79 s |
| Brockschmidt_16/T2/heidy7-simple.koat | ∞ | 4.52 s |
| Brockschmidt_16/T2/heidy7.koat | ∞ | 4.60 s |
| Brockschmidt_16/T2/heidy8.koat | ∞ | 4.60 s |
| Brockschmidt_16/T2/heidy9.koat | O(n) | 1.93 s |
| Brockschmidt_16/T2/hongyi1.koat | O(n) | 75.30 s |
| Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat | TIMEOUT | 302.31 s |
| Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.83 s |
| Brockschmidt_16/T2/hqr.koat | TIMEOUT | 302.15 s |
| Brockschmidt_16/T2/huh.koat | ∞ | 17.76 s |
| Brockschmidt_16/T2/iecs.koat | O(n) | 1.74 s |
| Brockschmidt_16/T2/insertsort.koat | ∞ | 4.25 s |
| Brockschmidt_16/T2/intSqRoot.koat | ∞ | 4.52 s |
| Brockschmidt_16/T2/invgen.koat | O(n) | 2.40 s |
| Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat | O(n) | 3.45 s |
| Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat | O(n) | 2.81 s |
| Brockschmidt_16/T2/jacobi.koat | O(n) | 2.49 s |
| Brockschmidt_16/T2/janne_complex.koat | ∞ | 37.02 s |
| Brockschmidt_16/T2/jfdctint.koat | O(1) | 2.39 s |
| Brockschmidt_16/T2/loop3.koat | O(1) | 34.43 s |
| Brockschmidt_16/T2/loop_on_input.koat | O(1) | 3.34 s |
| Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat | O(n) | 3.07 s |
| Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat | O(n) | 4.03 s |
| Brockschmidt_16/T2/ludcmp.koat | O(n) | 3.39 s |
| Brockschmidt_16/T2/magic.koat | ∞ | 159.94 s |
| Brockschmidt_16/T2/matmul.koat | O(1) | 2.51 s |
| Brockschmidt_16/T2/matmult.koat | O(1) | 10.09 s |
| Brockschmidt_16/T2/matrixsqrt.koat | O(1) | 2.57 s |
| Brockschmidt_16/T2/mc91.koat | ∞ | 4.71 s |
| Brockschmidt_16/T2/mc91test.koat | ∞ | 33.42 s |
| Brockschmidt_16/T2/minmax.koat | O(1) | 1.74 s |
| Brockschmidt_16/T2/n-1.koat | ∞ | 4.09 s |
| Brockschmidt_16/T2/n-10.koat | ∞ | 5.25 s |
| Brockschmidt_16/T2/n-12.koat | ∞ | 5.25 s |
| Brockschmidt_16/T2/n-12a.koat | ∞ | 3.61 s |
| Brockschmidt_16/T2/n-13.koat | ∞ | 3.84 s |
| Brockschmidt_16/T2/n-14.koat | ∞ | 4.17 s |
| Brockschmidt_16/T2/n-15.koat | ∞ | 4.33 s |
| Brockschmidt_16/T2/n-15a.koat | ∞ | 3.76 s |
| Brockschmidt_16/T2/n-16.koat | ∞ | 3.62 s |
| Brockschmidt_16/T2/n-16a.koat | ∞ | 3.04 s |
| Brockschmidt_16/T2/n-17.koat | ∞ | 3.44 s |
| Brockschmidt_16/T2/n-18.koat | ∞ | 3.37 s |
| Brockschmidt_16/T2/n-18a.koat | ∞ | 3.49 s |
| Brockschmidt_16/T2/n-1c.koat | ∞ | 4.26 s |
| Brockschmidt_16/T2/n-1d.koat | ∞ | 5.06 s |
| Brockschmidt_16/T2/n-20.koat | ∞ | 3.84 s |
| Brockschmidt_16/T2/n-21.koat | ∞ | 4.90 s |
| Brockschmidt_16/T2/n-3.koat | ∞ | 4.51 s |
| Brockschmidt_16/T2/n-32.koat | ∞ | 3.24 s |
| Brockschmidt_16/T2/n-33.koat | ∞ | 7.95 s |
| Brockschmidt_16/T2/n-36.koat | ∞ | 6.11 s |
| Brockschmidt_16/T2/n-37.koat | ∞ | 1.35 s |
| Brockschmidt_16/T2/n-3a.koat | ∞ | 5.34 s |
| Brockschmidt_16/T2/n-4.koat | ∞ | 4.83 s |
| Brockschmidt_16/T2/n-40.koat | ∞ | 7.49 s |
| Brockschmidt_16/T2/n-46.koat | ∞ | 3.98 s |
| Brockschmidt_16/T2/n-48.koat | ∞ | 3.73 s |
| Brockschmidt_16/T2/n-5.koat | ∞ | 3.87 s |
| Brockschmidt_16/T2/n-6.koat | ∞ | 5.78 s |
| Brockschmidt_16/T2/n-6a.koat | ∞ | 4.73 s |
| Brockschmidt_16/T2/n-7.koat | ∞ | 4.44 s |
| Brockschmidt_16/T2/n-8.koat | ∞ | 4.79 s |
| Brockschmidt_16/T2/n-8a.koat | ∞ | 3.59 s |
| Brockschmidt_16/T2/n-9.koat | ∞ | 4.05 s |
| Brockschmidt_16/T2/n_firewire_instrumented-PP.koat | ∞ | 58.85 s |
| Brockschmidt_16/T2/nakata.koat | TIMEOUT | 301.42 s |
| Brockschmidt_16/T2/nakata_withassume.koat | TIMEOUT | 302.11 s |
| Brockschmidt_16/T2/ndes.koat | O(1) | 49.82 s |
| Brockschmidt_16/T2/neg-1394complete-fail.koat | ∞ | 37.84 s |
| Brockschmidt_16/T2/neg-1394complete-succeed.koat | ∞ | 31.76 s |
| Brockschmidt_16/T2/neg-e-1394complete-fail.koat | ∞ | 36.07 s |
| Brockschmidt_16/T2/neg-e-1394complete-succeed.koat | ∞ | 34.13 s |
| Brockschmidt_16/T2/neg-e-acqrel-fail.koat | ∞ | 6.55 s |
| Brockschmidt_16/T2/neg-e-acqrel-succeed.koat | ∞ | 7.16 s |
| Brockschmidt_16/T2/neg-e-pgarch-fail.koat | ∞ | 5.35 s |
| Brockschmidt_16/T2/neg-e-pgarch-succeed.koat | ∞ | 5.04 s |
| Brockschmidt_16/T2/neg-e-popl07-succeed.koat | ∞ | 4.82 s |
| Brockschmidt_16/T2/neg-pgarch-succeed.koat | ∞ | 4.33 s |
| Brockschmidt_16/T2/neg-popl07-fail.koat | ∞ | 6.51 s |
| Brockschmidt_16/T2/neg-popl07-succeed.koat | ∞ | 4.29 s |
| Brockschmidt_16/T2/neg-smagilla-fail.koat | ∞ | 3.68 s |
| Brockschmidt_16/T2/neg-smagilla-succeed.koat | ∞ | 3.79 s |
| Brockschmidt_16/T2/nested.koat | ∞ | 4.17 s |
| Brockschmidt_16/T2/nested2.koat | ∞ | 4.12 s |
| Brockschmidt_16/T2/new_ex.koat | ∞ | 36.41 s |
| Brockschmidt_16/T2/non_term.koat | ∞ | 3.60 s |
| Brockschmidt_16/T2/ns.koat | O(1) | 3.62 s |
| Brockschmidt_16/T2/oct_vs_subpoly.koat | ∞ | 3.63 s |
| Brockschmidt_16/T2/p-1.koat | ∞ | 3.57 s |
| Brockschmidt_16/T2/p-10.koat | ∞ | 3.51 s |
| Brockschmidt_16/T2/p-12.koat | O(n) | 1.32 s |
| Brockschmidt_16/T2/p-13.koat | O(1) | 0.99 s |
| Brockschmidt_16/T2/p-14.koat | O(n) | 1.04 s |
| Brockschmidt_16/T2/p-15.koat | O(n) | 1.10 s |
| Brockschmidt_16/T2/p-16.koat | O(n) | 1.00 s |
| Brockschmidt_16/T2/p-18.koat | O(n) | 1.19 s |
| Brockschmidt_16/T2/p-19.koat | ∞ | 3.03 s |
| Brockschmidt_16/T2/p-19a.koat | ∞ | 3.08 s |
| Brockschmidt_16/T2/p-1a.koat | ∞ | 3.35 s |
| Brockschmidt_16/T2/p-1b.koat | O(n) | 1.38 s |
| Brockschmidt_16/T2/p-1c.koat | ∞ | 3.36 s |
| Brockschmidt_16/T2/p-1d.koat | O(n) | 1.53 s |
| Brockschmidt_16/T2/p-20.koat | ∞ | 3.47 s |
| Brockschmidt_16/T2/p-21.koat | O(n) | 1.32 s |
| Brockschmidt_16/T2/p-22.koat | O(n) | 1.24 s |
| Brockschmidt_16/T2/p-3.koat | O(n) | 1.42 s |
| Brockschmidt_16/T2/p-32.koat | ∞ | 3.30 s |
| Brockschmidt_16/T2/p-33.koat | ∞ | 4.05 s |
| Brockschmidt_16/T2/p-34.koat | ∞ | 5.04 s |
| Brockschmidt_16/T2/p-36.koat | ∞ | 4.89 s |
| Brockschmidt_16/T2/p-37.koat | O(1) | 1.47 s |
| Brockschmidt_16/T2/p-4.koat | O(n) | 4.09 s |
| Brockschmidt_16/T2/p-40.koat | ∞ | 3.39 s |
| Brockschmidt_16/T2/p-41.koat | O(1) | 1.59 s |
| Brockschmidt_16/T2/p-42.koat | O(n) | 1.63 s |
| Brockschmidt_16/T2/p-43-terminate.koat | O(n) | 23.27 s |
| Brockschmidt_16/T2/p-43.koat | O(n) | 5.22 s |
| Brockschmidt_16/T2/p-44.koat | O(n) | 1.70 s |
| Brockschmidt_16/T2/p-45.koat | O(n) | 1.35 s |
| Brockschmidt_16/T2/p-46.koat | ∞ | 6.27 s |
| Brockschmidt_16/T2/p-49.koat | O(n) | 1.75 s |
| Brockschmidt_16/T2/p-5.koat | ∞ | 4.56 s |
| Brockschmidt_16/T2/p-52.koat | ∞ | 3.86 s |
| Brockschmidt_16/T2/p-53.koat | O(1) | 0.97 s |
| Brockschmidt_16/T2/p-55.koat | O(n) | 4.86 s |
| Brockschmidt_16/T2/p-56.koat | O(n) | 1.93 s |
| Brockschmidt_16/T2/p-58.koat | O(1) | 1.23 s |
| Brockschmidt_16/T2/p-6.koat | O(n) | 1.88 s |
| Brockschmidt_16/T2/p-60.koat | O(1) | 1.56 s |
| Brockschmidt_16/T2/p-61.koat | O(1) | 1.43 s |
| Brockschmidt_16/T2/p-63.koat | O(n) | 1.68 s |
| Brockschmidt_16/T2/p-7.koat | O(n) | 1.45 s |
| Brockschmidt_16/T2/p-7b.koat | O(n) | 1.53 s |
| Brockschmidt_16/T2/p-8.koat | ∞ | 3.83 s |
| Brockschmidt_16/T2/p-9.koat | ∞ | 3.68 s |
| Brockschmidt_16/T2/pearl-necklace.koat | O(n) | 1.98 s |
| Brockschmidt_16/T2/pentagon.koat | TIMEOUT | 301.39 s |
| Brockschmidt_16/T2/pgarch.koat | ∞ | 85.27 s |
| Brockschmidt_16/T2/pldi.koat | O(n²) | 5.96 s |
| Brockschmidt_16/T2/polling.bug.koat | TIMEOUT | 301.64 s |
| Brockschmidt_16/T2/polling.koat | TIMEOUT | 302.26 s |
| Brockschmidt_16/T2/polyrank1.koat | O(n) | 1.91 s |
| Brockschmidt_16/T2/polyrank2.koat | O(n) | 1.85 s |
| Brockschmidt_16/T2/polyrank3.koat | ∞ | 5.28 s |
| Brockschmidt_16/T2/polyrank4.koat | ∞ | 5.74 s |
| Brockschmidt_16/T2/polyrank5.koat | ∞ | 5.37 s |
| Brockschmidt_16/T2/polyrank6.koat | ∞ | 6.11 s |
| Brockschmidt_16/T2/polyrank7.koat | ∞ | 5.18 s |
| Brockschmidt_16/T2/popl07-fail.koat | ∞ | 6.32 s |
| Brockschmidt_16/T2/popl07-succeed.koat | ∞ | 6.63 s |
| Brockschmidt_16/T2/print.koat | ∞ | 23.27 s |
| Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat | O(n) | 4.76 s |
| Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat | O(n) | 4.60 s |
| Brockschmidt_16/T2/qrdcmp.koat | O(n) | 4.68 s |
| Brockschmidt_16/T2/queens.koat | O(n) | 19.60 s |
| Brockschmidt_16/T2/queue_1.koat | O(1) | 1.92 s |
| Brockschmidt_16/T2/queue_10.koat | O(1) | 2.70 s |
| Brockschmidt_16/T2/queue_100.koat | O(1) | 2.69 s |
| Brockschmidt_16/T2/queue_1000.koat | O(1) | 2.78 s |
| Brockschmidt_16/T2/randomwalk.koat | ∞ | 24.57 s |
| Brockschmidt_16/T2/randomwalk_withassume.koat | ∞ | 33.02 s |
| Brockschmidt_16/T2/refine_disj_problem.koat | ∞ | 5.18 s |
| Brockschmidt_16/T2/rev_nt2.koat | ∞ | 8.75 s |
| Brockschmidt_16/T2/rev_nt3.koat | ∞ | 7.64 s |
| Brockschmidt_16/T2/rev_nt4.koat | O(1) | 2.27 s |
| Brockschmidt_16/T2/reverse.koat | ∞ | 11.43 s |
| Brockschmidt_16/T2/reverse_div4.koat | ∞ | 13.00 s |
| Brockschmidt_16/T2/reverse_seg_cyclic.koat | O(n) | 8.59 s |
| Brockschmidt_16/T2/rewrite.koat | ∞ | 2.11 s |
| Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat | O(n) | 6.90 s |
| Brockschmidt_16/T2/rlft3.koat | O(n) | 6.66 s |
| Brockschmidt_16/T2/s1-saved.koat | ∞ | 19.78 s |
| Brockschmidt_16/T2/s3-work.koat | ∞ | 93.08 s |
| Brockschmidt_16/T2/sas1.koat | O(n) | 2.68 s |
| Brockschmidt_16/T2/sas2.koat | O(n) | 32.39 s |
| Brockschmidt_16/T2/select.koat | ∞ | 124.80 s |
| Brockschmidt_16/T2/selectSort.koat | O(n²) | 8.67 s |
| Brockschmidt_16/T2/send-more-money.koat | O(1) | 21.70 s |
| Brockschmidt_16/T2/seq.koat | O(n) | 2.02 s |
| Brockschmidt_16/T2/seq2.koat | O(n) | 1.86 s |
| Brockschmidt_16/T2/sequential_swap.koat | O(1) | 1.69 s |
| Brockschmidt_16/T2/simple.koat | ∞ | 4.19 s |
| Brockschmidt_16/T2/simpleWhile.koat | O(n) | 3.13 s |
| Brockschmidt_16/T2/simple_array_inversion.koat | O(1) | 1.80 s |
| Brockschmidt_16/T2/simple_control_on_input.koat | O(1) | 1.64 s |
| Brockschmidt_16/T2/simple_double_free.koat | O(1) | 1.36 s |
| Brockschmidt_16/T2/simple_fail.koat | O(1) | 1.23 s |
| Brockschmidt_16/T2/simple_pre.koat | O(1) | 1.40 s |
| Brockschmidt_16/T2/simple_pre1.koat | O(1) | 1.90 s |
| Brockschmidt_16/T2/simple_pre2.koat | O(1) | 1.73 s |
| Brockschmidt_16/T2/simple_pre3.koat | O(1) | 1.53 s |
| Brockschmidt_16/T2/simple_swap_call.koat | O(1) | 1.94 s |
| Brockschmidt_16/T2/slayer-1-filtered.koat | ∞ | 6.78 s |
| Brockschmidt_16/T2/slayer-1-rf.koat | ∞ | 23.96 s |
| Brockschmidt_16/T2/slayer-2-filtered.koat | O(1) | 1.70 s |
| Brockschmidt_16/T2/slayer-3-filtered.koat | ∞ | 80.40 s |
| Brockschmidt_16/T2/slayer-3-new.koat | TIMEOUT | 301.01 s |
| Brockschmidt_16/T2/slayer-3.koat | TIMEOUT | 300.98 s |
| Brockschmidt_16/T2/slayer-4-filtered.koat | ∞ | 175.20 s |
| Brockschmidt_16/T2/slayer-n1-filtered.koat | ∞ | 8.78 s |
| Brockschmidt_16/T2/slayer-n1.koat | ∞ | 19.36 s |
| Brockschmidt_16/T2/slayer-n2-filtered.koat | ∞ | 3.82 s |
| Brockschmidt_16/T2/slayer-n2.koat | ∞ | 4.18 s |
| Brockschmidt_16/T2/slayer-n3-filtered.koat | O(1) | 2.25 s |
| Brockschmidt_16/T2/slayer-n5-filtered.koat | ∞ | 37.38 s |
| Brockschmidt_16/T2/smagilla-succeed.koat | ∞ | 4.24 s |
| Brockschmidt_16/T2/smagillb-succeed.koat | ∞ | 8.40 s |
| Brockschmidt_16/T2/smagillc-fail.koat | ∞ | 4.71 s |
| Brockschmidt_16/T2/smagillc-succeed.koat | ∞ | 4.34 s |
| Brockschmidt_16/T2/sort.koat | O(1) | 10.15 s |
| Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat | O(n) | 7.55 s |
| Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat | O(n) | 7.18 s |
| Brockschmidt_16/T2/spctrm.koat | O(n) | 7.50 s |
| Brockschmidt_16/T2/spiral.koat | O(n) | 2.80 s |
| Brockschmidt_16/T2/st88.bug.koat | ∞ | 9.47 s |
| Brockschmidt_16/T2/st88.koat | ∞ | 9.29 s |
| Brockschmidt_16/T2/statemate.koat | TIMEOUT | 299.85 s |
| Brockschmidt_16/T2/stored.koat | ∞ | 6.92 s |
| Brockschmidt_16/T2/streamserver-succeed.koat | TIMEOUT | 301.77 s |
| Brockschmidt_16/T2/streamserver.bug.koat | TIMEOUT | 301.33 s |
| Brockschmidt_16/T2/subpoly_crash.koat | ∞ | 3.39 s |
| Brockschmidt_16/T2/sudoku.koat | ∞ | 174.75 s |
| Brockschmidt_16/T2/sumit.koat | O(n) | 11.54 s |
| Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat | TIMEOUT | 301.12 s |
| Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.36 s |
| Brockschmidt_16/T2/svdcmp.koat | TIMEOUT | 301.90 s |
| Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat | O(1) | 4.69 s |
| Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.26 s |
| Brockschmidt_16/T2/toeplz.koat | TIMEOUT | 301.52 s |
| Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat | TIMEOUT | 301.56 s |
| Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat | TIMEOUT | 301.83 s |
| Brockschmidt_16/T2/tqli.koat | TIMEOUT | 301.41 s |
| Brockschmidt_16/T2/traverse.koat | ∞ | 18.96 s |
| Brockschmidt_16/T2/traverse2.koat | ∞ | 77.62 s |
| Brockschmidt_16/T2/traverse_seg.koat | ∞ | 21.42 s |
| Brockschmidt_16/T2/traverse_seg2.koat | ∞ | 22.75 s |
| Brockschmidt_16/T2/traverse_twice.koat | ∞ | 32.48 s |
| Brockschmidt_16/T2/two_arrays.koat | O(1) | 3.10 s |
| Brockschmidt_16/T2/two_arrays1.koat | O(1) | 4.78 s |
| Brockschmidt_16/T2/two_arrays2.koat | O(n) | 5.49 s |
| Brockschmidt_16/T2/two_arrays6.koat | O(n) | 5.03 s |
| Brockschmidt_16/T2/ud.koat | O(1) | 12.29 s |
| Brockschmidt_16/T2/vmcai_bytes.koat | O(1) | 1.25 s |
| Brockschmidt_16/T2/vmcai_struct.koat | O(1) | 1.07 s |
| Brockschmidt_16/T2/w1.koat | ∞ | 1.65 s |
| Brockschmidt_16/T2/w2_nt.koat | ∞ | 7.41 s |
| Brockschmidt_16/T2/walk.koat | ∞ | 8.20 s |
| Brockschmidt_16/T2/wrong_loop.koat | ∞ | 4.68 s |
| Brockschmidt_16/T2/wtf.koat | O(n) | 6.14 s |
| Brockschmidt_16/T2/zeroconf.koat | TIMEOUT | 301.56 s |
| Brockschmidt_16/T2/zeroconf_withassume.koat | TIMEOUT | 301.60 s |
| Brockschmidt_16/c-examples/ABC/ex01.koat | O(n) | 1.55 s |
| Brockschmidt_16/c-examples/ABC/ex02.koat | O(n²) | 6.01 s |
| Brockschmidt_16/c-examples/ABC/ex03.koat | O(n⁶) | 34.23 s |
| Brockschmidt_16/c-examples/ABC/ex04.koat | ∞ | 16.00 s |
| Brockschmidt_16/c-examples/ABC/ex05.koat | O(n²) | 6.03 s |
| Brockschmidt_16/c-examples/ABC/ex06.koat | O(n²) | 6.14 s |
| Brockschmidt_16/c-examples/ABC/ex07.koat | O(n²) | 5.49 s |
| Brockschmidt_16/c-examples/ABC/ex08.koat | O(n²) | 5.25 s |
| Brockschmidt_16/c-examples/ABC/ex09.koat | O(n²) | 5.92 s |
| Brockschmidt_16/c-examples/ABC/ex10.koat | O(n²) | 4.74 s |
| Brockschmidt_16/c-examples/ABC/ex11.koat | O(n²) | 4.80 s |
| Brockschmidt_16/c-examples/ABC/ex12.koat | O(n) | 1.70 s |
| Brockschmidt_16/c-examples/ABC/ex13.koat | O(n³) | 10.52 s |
| Brockschmidt_16/c-examples/ABC/ex14.koat | O(n⁵) | 20.98 s |
| Brockschmidt_16/c-examples/ABC/ex15.koat | ∞ | 55.30 s |
| Brockschmidt_16/c-examples/Loopus/Example1.koat | O(n) | 2.62 s |
| Brockschmidt_16/c-examples/Loopus/Example2.koat | O(n) | 53.84 s |
| Brockschmidt_16/c-examples/Loopus/Example3.koat | O(1) | 6.86 s |
| Brockschmidt_16/c-examples/Rank/ex1.koat | O(n³) | 59.12 s |
| Brockschmidt_16/c-examples/Rank/ex2.koat | O(n) | 2.98 s |
| Brockschmidt_16/c-examples/Rank/ex3.koat | O(n) | 3.29 s |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat | O(n) | 2.13 s |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat | O(n²) | 9.54 s |
| Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat | O(n) | 2.14 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat | O(n) | 1.91 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat | O(n²) | 12.90 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat | O(n) | 7.49 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat | O(n) | 6.37 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat | O(n) | 3.72 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat | O(n²) | 27.92 s |
| Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat | O(n) | 7.81 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat | O(n²) | 9.94 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat | ∞ | 6.53 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat | ∞ | 6.64 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat | O(n) | 2.89 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat | ∞ | 11.27 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat | O(n) | 1.66 s |
| Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat | O(n) | 5.89 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat | O(n) | 1.72 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat | O(n) | 1.68 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat | O(n) | 1.79 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat | O(n²) | 5.33 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat | O(n) | 1.70 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat | O(n) | 1.46 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat | O(n) | 2.04 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat | O(n²) | 8.20 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat | O(n) | 1.31 s |
| Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat | O(n) | 2.18 s |
| Brockschmidt_16/c-examples/WTC/aaron2.koat | O(n) | 1.88 s |
| Brockschmidt_16/c-examples/WTC/ax.koat | O(n²) | 4.15 s |
| Brockschmidt_16/c-examples/WTC/complex.koat | O(n) | 1.77 s |
| Brockschmidt_16/c-examples/WTC/counterex1b.koat | TIMEOUT | 300.86 s |
| Brockschmidt_16/c-examples/WTC/cousot9.koat | ∞ | 7.10 s |
| Brockschmidt_16/c-examples/WTC/easy1.koat | O(1) | 1.43 s |
| Brockschmidt_16/c-examples/WTC/easy2.koat | O(n) | 1.28 s |
| Brockschmidt_16/c-examples/WTC/exmini.koat | O(n) | 1.56 s |
| Brockschmidt_16/c-examples/WTC/gcd.koat | O(n) | 4.95 s |
| Brockschmidt_16/c-examples/WTC/insertsort.koat | O(n²) | 8.21 s |
| Brockschmidt_16/c-examples/WTC/loops.koat | O(n²) | 3.75 s |
| Brockschmidt_16/c-examples/WTC/nd_loop.koat | O(1) | 1.23 s |
| Brockschmidt_16/c-examples/WTC/ndecr.koat | O(n) | 1.19 s |
| Brockschmidt_16/c-examples/WTC/nestedLoop.koat | O(n²) | 28.06 s |
| Brockschmidt_16/c-examples/WTC/perfect.koat | O(n²) | 7.97 s |
| Brockschmidt_16/c-examples/WTC/random1d.koat | O(n) | 1.31 s |
| Brockschmidt_16/c-examples/WTC/random2d.koat | O(n) | 3.48 s |
| Brockschmidt_16/c-examples/WTC/realbubble.koat | O(n²) | 6.37 s |
| Brockschmidt_16/c-examples/WTC/realheapsort.koat | O(n²) | 23.92 s |
| Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat | O(n²) | 6.34 s |
| Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat | ∞ | 76.54 s |
| Brockschmidt_16/c-examples/WTC/realselect.koat | O(n²) | 3.80 s |
| Brockschmidt_16/c-examples/WTC/realshellsort.koat | ∞ | 24.84 s |
| Brockschmidt_16/c-examples/WTC/rsd.koat | O(n²) | 5.70 s |
| Brockschmidt_16/c-examples/WTC/sipma91.koat | O(n) | 1.64 s |
| Brockschmidt_16/c-examples/WTC/sipmabubble.koat | O(n²) | 4.96 s |
| Brockschmidt_16/c-examples/WTC/speedFails4.koat | O(n) | 5.34 s |
| Brockschmidt_16/c-examples/WTC/speedpldi2.koat | O(n) | 1.29 s |
| Brockschmidt_16/c-examples/WTC/speedpldi3.koat | O(n²) | 11.84 s |
| Brockschmidt_16/c-examples/WTC/speedpldi4.koat | O(n) | 1.23 s |
| Brockschmidt_16/c-examples/WTC/terminate.koat | O(n) | 1.22 s |
| Brockschmidt_16/c-examples/WTC/wcet1.koat | O(n) | 1.66 s |
| Brockschmidt_16/c-examples/WTC/wcet2.koat | O(n) | 1.23 s |
| Brockschmidt_16/c-examples/WTC/while2.koat | O(n²) | 3.67 s |
| Brockschmidt_16/c-examples/WTC/wise.koat | O(n) | 1.16 s |
| Brockschmidt_16/costa/RAML/rationalPotential.koat | O(n) | 0.84 s |
| Brockschmidt_16/costa/misc/ack.koat | ∞ | 3.09 s |
| Brockschmidt_16/costa/misc/direct_n_log_n.koat | O(n) | 0.93 s |
| Brockschmidt_16/costa/misc/linear.koat | O(n) | 0.75 s |
| Brockschmidt_16/costa/misc/logarithmic.koat | O(1) | 0.97 s |
| Brockschmidt_16/costa/misc/merge.koat | O(n) | 0.90 s |
| Brockschmidt_16/costa/misc/mspe.koat | O(n) | 1.48 s |
| Flores-Montoya_16/Loopus2011_ex1.c.koat | O(n) | 3.32 s |
| Flores-Montoya_16/Loopus2011_ex2.c.koat | O(n) | 127.21 s |
| Flores-Montoya_16/Loopus2011_ex3.c.koat | O(1) | 5.36 s |
| Flores-Montoya_16/Loopus2014_ex1.c.koat | O(n²) | 32.64 s |
| Flores-Montoya_16/Loopus2014_ex2.c.koat | O(n) | 3.95 s |
| Flores-Montoya_16/Loopus2015_ex1.c.koat | O(n) | 3.39 s |
| Flores-Montoya_16/Loopus2015_ex2.c.koat | O(n) | 5.17 s |
| Flores-Montoya_16/Loopus2015_original.c.koat | O(n) | 6.68 s |
| Flores-Montoya_16/aaron12.c.koat | ∞ | 11.40 s |
| Flores-Montoya_16/aaron2.c.koat | O(n) | 2.20 s |
| Flores-Montoya_16/aaron3.c.koat | ∞ | 17.38 s |
| Flores-Montoya_16/alain.c.koat | O(n³) | 25.15 s |
| Flores-Montoya_16/ax.c.koat | O(n²) | 4.05 s |
| Flores-Montoya_16/catmouse.c.koat | ∞ | 4.40 s |
| Flores-Montoya_16/complex.c.koat | O(n) | 3.00 s |
| Flores-Montoya_16/counterex1a.c.koat | O(n²) | 45.62 s |
| Flores-Montoya_16/counterex1b.c.koat | TIMEOUT | 300.80 s |
| Flores-Montoya_16/counterex1c.c.koat | O(n²) | 60.43 s |
| Flores-Montoya_16/cousot9.c.koat | O(n²) | 5.48 s |
| Flores-Montoya_16/easy1.c.koat | O(1) | 1.91 s |
| Flores-Montoya_16/easy2.c.koat | O(n) | 2.12 s |
| Flores-Montoya_16/ex_paper1.c.koat | O(n²) | 20.43 s |
| Flores-Montoya_16/ex_paper2.c.koat | O(n²) | 6.52 s |
| Flores-Montoya_16/ex_paper3.c.koat | O(n²) | 12.36 s |
| Flores-Montoya_16/exmini.c.koat | O(n) | 2.86 s |
| Flores-Montoya_16/heapsort.c.koat | O(n) | 9.01 s |
| Flores-Montoya_16/insertsort.c.koat | O(n²) | 6.66 s |
| Flores-Montoya_16/jama_ex1.c.koat | O(n²) | 5.33 s |
| Flores-Montoya_16/jama_ex2.c.koat | O(n²) | 4.76 s |
| Flores-Montoya_16/jama_ex3.c.koat | O(n²) | 4.82 s |
| Flores-Montoya_16/jama_ex4.c.koat | O(n²) | 5.86 s |
| Flores-Montoya_16/jama_ex5.c.koat | O(n²) | 5.03 s |
| Flores-Montoya_16/jama_ex6.c.koat | O(n³) | 15.00 s |
| Flores-Montoya_16/jama_ex7.c.koat | O(n²) | 4.95 s |
| Flores-Montoya_16/knuth_morris_pratt.c.koat | O(n) | 6.95 s |
| Flores-Montoya_16/loops.c.koat | O(n²) | 4.24 s |
| Flores-Montoya_16/nd_loop.c.koat | O(1) | 1.27 s |
| Flores-Montoya_16/ndecr.c.koat | O(n) | 1.47 s |
| Flores-Montoya_16/nestedLoop.c.koat | O(n²) | 31.74 s |
| Flores-Montoya_16/nested_loop.c.koat | O(n²) | 37.86 s |
| Flores-Montoya_16/perfect.c.koat | O(n²) | 18.40 s |
| Flores-Montoya_16/perfect1.c.koat | O(n²) | 21.23 s |
| Flores-Montoya_16/perfect2.c.koat | O(n²) | 24.01 s |
| Flores-Montoya_16/perfectg.c.koat | O(n²) | 18.51 s |
| Flores-Montoya_16/random1d.c.koat | O(n) | 1.72 s |
| Flores-Montoya_16/random2d.c.koat | O(n) | 5.07 s |
| Flores-Montoya_16/rank1.c.koat | O(n³) | 61.61 s |
| Flores-Montoya_16/rank2.c.koat | O(n) | 5.07 s |
| Flores-Montoya_16/rank3.c.koat | O(n) | 22.03 s |
| Flores-Montoya_16/real2.c.koat | ∞ | 17.85 s |
| Flores-Montoya_16/realbubble.c.koat | O(n²) | 17.83 s |
| Flores-Montoya_16/realheapsort.c.koat | O(n²) | 41.34 s |
| Flores-Montoya_16/realheapsort_step1.c.koat | O(n²) | 13.47 s |
| Flores-Montoya_16/realheapsort_step2.c.koat | O(n²) | 26.17 s |
| Flores-Montoya_16/realselect.c.koat | O(n²) | 9.55 s |
| Flores-Montoya_16/realshellsort.c.koat | O(n⁴) | 28.00 s |
| Flores-Montoya_16/relation1.c.koat | O(1) | 1.39 s |
| Flores-Montoya_16/rsd.c.koat | O(n) | 3.49 s |
| Flores-Montoya_16/serpent.c.koat | O(n²) | 277.45 s |
| Flores-Montoya_16/sipma91.c.koat | O(n) | 6.10 s |
| Flores-Montoya_16/sipmabubble.c.koat | O(n²) | 9.11 s |
| Flores-Montoya_16/sipmamergesort.c.koat | TIMEOUT | 301.22 s |
| Flores-Montoya_16/sipmamergesort2.c.koat | TIMEOUT | 301.33 s |
| Flores-Montoya_16/speedDis1.c.koat | O(n) | 2.93 s |
| Flores-Montoya_16/speedDis2.c.koat | O(n) | 2.84 s |
| Flores-Montoya_16/speedFails1.c.koat | ∞ | 5.51 s |
| Flores-Montoya_16/speedFails2.c.koat | ∞ | 6.07 s |
| Flores-Montoya_16/speedFails3.c.koat | ∞ | 29.24 s |
| Flores-Montoya_16/speedFails4.c.koat | ∞ | 7.39 s |
| Flores-Montoya_16/speedNestedMultiple.c.koat | O(n) | 4.72 s |
| Flores-Montoya_16/speedNestedMultipleDep.c.koat | O(n²) | 7.80 s |
| Flores-Montoya_16/speedSimpleMultiple.c.koat | O(n) | 2.70 s |
| Flores-Montoya_16/speedSimpleMultipleDep.c.koat | O(n²) | 8.07 s |
| Flores-Montoya_16/speedSingleSingle.c.koat | O(n) | 2.00 s |
| Flores-Montoya_16/speedSingleSingle2.c.koat | O(n) | 3.51 s |
| Flores-Montoya_16/speed_pldi09_fig1.c.koat | O(n) | 6.82 s |
| Flores-Montoya_16/speed_pldi09_fig4_2.c.koat | O(n) | 2.60 s |
| Flores-Montoya_16/speed_pldi09_fig4_4.c.koat | O(n) | 2.74 s |
| Flores-Montoya_16/speed_pldi09_fig4_5.c.koat | O(n) | 10.61 s |
| Flores-Montoya_16/speed_pldi10_ex1.c.koat | O(n²) | 24.96 s |
| Flores-Montoya_16/speed_pldi10_ex3.c.koat | O(n) | 3.87 s |
| Flores-Montoya_16/speed_pldi10_ex4.c.koat | O(n) | 3.15 s |
| Flores-Montoya_16/speed_popl10_fig2_1.c.koat | O(n) | 3.41 s |
| Flores-Montoya_16/speed_popl10_fig2_2.c.koat | O(n) | 2.88 s |
| Flores-Montoya_16/speed_popl10_nested_multiple.c.koat | O(n) | 5.15 s |
| Flores-Montoya_16/speed_popl10_nested_single.c.koat | O(n) | 3.59 s |
| Flores-Montoya_16/speed_popl10_sequential_single.c.koat | O(n) | 2.94 s |
| Flores-Montoya_16/speed_popl10_simple_multiple.c.koat | O(n) | 2.75 s |
| Flores-Montoya_16/speed_popl10_simple_single.c.koat | O(n) | 2.13 s |
| Flores-Montoya_16/speed_popl10_simple_single_2.c.koat | O(n) | 3.17 s |
| Flores-Montoya_16/speedpldi2.c.koat | O(n) | 2.65 s |
| Flores-Montoya_16/speedpldi3.c.koat | O(n²) | 18.38 s |
| Flores-Montoya_16/speedpldi4.c.koat | O(n) | 2.14 s |
| Flores-Montoya_16/t07.c.koat | O(n) | 3.11 s |
| Flores-Montoya_16/t08.c.koat | O(n) | 2.52 s |
| Flores-Montoya_16/t10.c.koat | O(n) | 3.24 s |
| Flores-Montoya_16/t11.c.koat | O(n) | 3.24 s |
| Flores-Montoya_16/t13.c.koat | O(n) | 3.80 s |
| Flores-Montoya_16/t15.c.koat | O(n) | 3.05 s |
| Flores-Montoya_16/t16.c.koat | O(n) | 8.72 s |
| Flores-Montoya_16/t19.c.koat | O(n) | 2.92 s |
| Flores-Montoya_16/t20.c.koat | O(n) | 2.73 s |
| Flores-Montoya_16/t27.c.koat | O(n) | 3.06 s |
| Flores-Montoya_16/t28.c.koat | O(n) | 3.01 s |
| Flores-Montoya_16/t30.c.koat | O(n) | 5.60 s |
| Flores-Montoya_16/t47.c.koat | O(n) | 2.26 s |
| Flores-Montoya_16/t62.c.koat | O(n) | 12.60 s |
| Flores-Montoya_16/terminate.c.koat | O(n) | 3.60 s |
| Flores-Montoya_16/terminatorbubble.c.koat | O(n²) | 20.43 s |
| Flores-Montoya_16/textbook_ex1.c.koat | O(n) | 2.24 s |
| Flores-Montoya_16/textbook_ex2.c.koat | O(n²) | 7.18 s |
| Flores-Montoya_16/textbook_ex3.c.koat | O(n⁴) | 31.59 s |
| Flores-Montoya_16/textbook_ex4.c.koat | O(n²) | 7.25 s |
| Flores-Montoya_16/unperfect.c.koat | O(n²) | 31.11 s |
| Flores-Montoya_16/wcet0.c.koat | O(n) | 3.25 s |
| Flores-Montoya_16/wcet1.c.koat | O(n) | 4.18 s |
| Flores-Montoya_16/wcet2.c.koat | O(n) | 3.20 s |
| Flores-Montoya_16/while2.c.koat | O(n²) | 6.83 s |
| Flores-Montoya_16/wise.c.koat | O(n) | 2.81 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop16.koat | O(n) | 1.46 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop2.koat | ∞ | 1.80 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop22.koat | O(n) | 1.64 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop23.koat | O(n) | 1.47 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop25.koat | O(n) | 1.36 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop27.koat | O(n) | 1.33 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop33.koat | O(n) | 1.69 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop35.koat | O(n) | 1.69 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop36.koat | O(n) | 1.30 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop39.koat | O(n) | 1.30 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop40.koat | O(n) | 1.25 s |
| Hark_20/Ben_Amram_Genaim_CAV_2017/loop41.koat | O(n) | 1.31 s |
| Hark_20/Nils_2019/ex001.koat | O(n) | 2.06 s |
| Hark_20/Nils_2019/ex002.koat | O(n) | 2.77 s |
| Hark_20/Nils_2019/ex003.koat | O(n) | 1.30 s |
| Hark_20/Nils_2019/ex004.koat | O(n) | 1.91 s |
| Hark_20/Nils_2019/ex005.koat | O(n²) | 8.76 s |
| Hark_20/Nils_2019/ex006.koat | O(n) | 1.76 s |
| Hark_20/Nils_2019/ex007.koat | O(n²) | 4.59 s |
| Hark_20/Nils_2019/ex008.koat | O(n) | 1.48 s |
| Hark_20/Nils_2019/ex009.koat | ∞ | 1.05 s |
| Hark_20/Nils_2019/ex010.koat | O(n⁴) | 15.45 s |
| Hark_20/Nils_2019/ex011.koat | O(n⁴) | 5.76 s |