Termination Competition 2018: Complexity: ITS30054

Job info CSV
CoFloCo 2018 its AProVE complexity
benchmark UPLOWTIME UPLOWTIME
Complexity_ITS/Brockschmidt_16/c-examples/WTC/perfect.koat 5151820 n2 +2 1 +0 0.48/0.57 n2 +2 n1 +2 9.35/4.86
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realshellsort.koat 5151821 n3 +2 1 +0 1.16/1.24 n3 +2 n1 +2 12.63/6.46
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.koat 5151822 n2 +2 1 +0 0.35/0.43 n2 +2 n2 +2 5.58/2.41
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat 5151823 n2 +2 1 +0 0.39/0.48 n2 +2 1 +0 22.89/16.84
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipma91.koat 5151824 n1 +2 1 +0 0.44/0.53 n2 +1 n1 +2 8.05/4.65
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat 5151825 StarExec error n2 +2 n1 +2 36.28/30.61
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ax.koat 5151826 n2 +2 1 +0 0.29/0.37 n2 +2 n2 +2 4.58/2.08
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.koat 5151827 n2 +2 1 +0 1.59/1.67 n2 +2 n2 +2 14.77/10.56
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy1.koat 5151828 1 +2 1 +0 0.23/0.32 1 +2 1 +0 3.85/1.73
Complexity_ITS/Brockschmidt_16/c-examples/WTC/exmini.koat 5151829 n1 +2 1 +0 0.23/0.32 n1 +2 1 +0 4.49/2.18
Complexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.koat 5151830 n1 +2 1 +0 0.35/0.54 ∞ +0 1 +0 4.87/2.15
Complexity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.koat 5151831 n1 +2 1 +0 0.23/0.31 n1 +2 n1 +2 8.06/4.90
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.koat 5151832 n1 +2 1 +0 0.46/0.55 n1 +2 n1 +2 7.85/3.67
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.koat 5151833 n1 +2 1 +0 0.32/0.41 n1 +2 n1 +2 4.80/2.23
Complexity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.koat 5151834 n1 +2 1 +0 0.13/0.21 n1 +2 n1 +2 3.73/1.78
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realselect.koat 5151835 n2 +2 1 +0 0.28/0.36 n2 +2 n2 +2 4.43/2.04
Complexity_ITS/Brockschmidt_16/c-examples/WTC/counterex1b.koat 5151836 ∞ +0 1 +0 38.69/38.75 ∞ +0 n2 +2 16.73/7.75
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.koat 5151837 n1 +2 1 +0 0.23/0.32 n1 +2 1 +0 4.78/2.27
Complexity_ITS/Brockschmidt_16/c-examples/WTC/terminate.koat 5151838 StarExec error n1 +2 1 +0 4.13/2.07
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedFails4.koat 5151839 ∞ +0 1 +0 0.29/0.40 ∞ +0 1 +0 6.58/3.26
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realheapsort.koat 5151840 n2 +2 1 +0 2.47/2.56 n2 +2 1 +0 56.88/42.25
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random1d.koat 5151841 n1 +2 1 +0 0.15/0.24 n1 +2 n1 +2 4.29/1.94
Complexity_ITS/Brockschmidt_16/c-examples/WTC/easy2.koat 5151842 n1 +2 1 +0 0.13/0.21 n1 +2 n1 +2 3.84/1.78
Complexity_ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.koat 5151843 n1 +2 1 +0 0.28/0.36 n1 +2 n1 +2 5.34/2.42
Complexity_ITS/Brockschmidt_16/c-examples/WTC/while2.koat 5151844 n2 +2 1 +0 0.25/0.33 n2 +2 n2 +2 4.43/2.07
Complexity_ITS/Brockschmidt_16/c-examples/WTC/realbubble.koat 5151845 n2 +2 1 +0 0.44/0.53 n2 +2 n2 +2 5.73/2.57
Complexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.koat 5151846 n2 +2 1 +0 0.48/0.57 n2 +2 n1 +2 6.03/2.60
Complexity_ITS/Brockschmidt_16/c-examples/WTC/random2d.koat 5151847 n1 +2 1 +0 0.41/0.52 n1 +2 n1 +2 8.36/3.79
Complexity_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.koat 5151848 1 +2 1 +0 0.13/0.22 1 +2 1 +0 3.75/1.67
Complexity_ITS/Brockschmidt_16/c-examples/WTC/sipmabubble.koat 5151849 n2 +2 1 +0 0.28/0.37 n2 +2 n2 +2 4.91/2.26
Complexity_ITS/Brockschmidt_16/c-examples/WTC/cousot9.koat 5151850 ∞ +0 1 +0 0.23/0.31 ∞ +0 NonPoly +2 5.54/2.26
Complexity_ITS/Brockschmidt_16/c-examples/WTC/insertsort.koat 5151851 n2 +2 1 +0 0.37/0.45 n2 +2 n2 +2 5.94/2.76
Complexity_ITS/Brockschmidt_16/c-examples/WTC/complex.koat 5151852 n1 +2 1 +0 5.13/5.21 n1 +2 n1 +2 6.88/3.06
Complexity_ITS/Brockschmidt_16/c-examples/WTC/loops.koat 5151853 n2 +2 1 +0 0.30/0.39 n2 +2 1 +0 6.12/2.79
Complexity_ITS/Brockschmidt_16/c-examples/WTC/wise.koat 5151854 n1 +2 1 +0 0.24/0.32 n1 +2 n1 +2 5.39/2.30
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat 5151876 n1 +2 1 +0 0.32/0.41 n1 +2 n1 +2 4.89/2.24
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat 5151877 n1 +2 1 +0 0.27/0.36 n1 +2 n1 +2 4.82/2.18
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat 5151878 n1 +2 1 +0 0.69/0.77 n1 +2 n1 +2 5.55/2.46
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat 5151879 n1 +2 1 +0 0.15/0.23 n1 +2 n1 +2 4.06/2.65
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat 5151880 n1 +2 1 +0 0.37/0.46 n1 +2 n1 +2 5.06/2.32
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat 5151881 n2 +2 1 +0 0.28/0.37 n2 +2 n2 +2 5.47/2.36
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat 5151882 n1 +2 1 +0 0.26/0.35 n1 +2 n1 +2 4.96/2.22
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat 5151883 n1 +2 1 +0 0.25/0.33 n1 +2 n1 +2 4.63/2.12
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat 5151884 n2 +2 1 +0 0.42/0.51 n2 +2 n2 +2 4.97/2.24
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat 5151885 n1 +2 1 +0 0.21/0.30 n1 +2 n1 +2 4.95/2.28
Complexity_ITS/Brockschmidt_16/costa/misc/mspe.koat 5151752 n1 +2 1 +0 1.10/1.19 n1 +2 n1 +2 7.76/3.73
Complexity_ITS/Brockschmidt_16/costa/misc/logarithmic.koat 5151753 1 +2 1 +0 0.08/0.07 1 +2 1 +0 3.47/1.55
Complexity_ITS/Brockschmidt_16/costa/misc/ack.koat 5151754 ∞ +0 1 +0 0.11/0.20 ∞ +0 n1 +2 5.27/2.63
Complexity_ITS/Brockschmidt_16/costa/misc/merge.koat 5151755 n1 +2 1 +0 0.12/0.21 n1 +2 n1 +2 4.37/2.01
Complexity_ITS/Brockschmidt_16/costa/misc/linear.koat 5151756 n1 +2 1 +0 0.10/0.08 n1 +2 n1 +2 3.70/1.75
Complexity_ITS/Brockschmidt_16/costa/misc/direct_n_log_n.koat 5151757 n1 +2 1 +0 0.12/0.20 n1 +2 1 +0 4.40/2.19
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat 5151873 n1 +2 1 +0 0.24/0.32 StarExec error
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat 5151874 n1 +2 1 +0 0.40/0.49 n1 +2 n1 +2 5.37/2.52
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat 5151875 n2 +2 1 +0 0.28/0.37 n2 +2 n2 +2 5.26/2.33
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat 5151893 n2 +2 1 +0 0.49/0.57 n2 +2 n2 +2 6.33/2.84
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat 5151894 ∞ +0 1 +0 0.34/0.42 ∞ +0 NonPoly +2 5.64/2.31
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat 5151895 n1 +2 1 +0 0.54/0.63 n1 +2 n1 +2 5.99/2.52
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat 5151896 n1 +2 1 +0 0.21/0.29 n1 +2 n1 +2 5.22/2.34
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat 5151897 n1 +2 1 +0 0.28/0.37 n2 +1 n1 +2 5.68/2.80
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat 5151898 ∞ +0 1 +0 0.42/0.50 ∞ +0 NonPoly +2 4.93/2.96
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat 5151899 ∞ +0 1 +0 0.80/0.88 ∞ +0 NonPoly +2 5.71/2.32
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat 5151886 n1 +2 1 +0 1.26/1.34 n1 +2 n1 +2 6.23/2.89
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat 5151887 n2 +2 1 +0 4.79/4.87 n2 +2 n2 +2 12.42/5.28
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat 5151888 n1 +2 1 +0 0.31/0.40 n1 +2 n1 +2 5.37/2.43
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat 5151889 n1 +2 1 +0 0.24/0.33 n1 +2 n1 +2 5.46/3.02
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat 5151890 n1 +2 1 +0 0.42/0.51 ∞ +0 n1 +2 6.48/2.93
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat 5151891 ∞ +0 1 +0 0.23/0.32 ∞ +0 1 +0 5.70/2.41
Complexity_ITS/Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat 5151892 n2 +2 1 +0 0.39/0.48 n2 +2 n2 +2 5.67/2.43
Complexity_ITS/Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat 5151767 ∞ +0 1 +0 0.11/0.20 ∞ +0 n1 +2 5.28/2.61
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.koat 5151769 n1 +2 1 +0 0.20/0.29 n1 +2 n1 +2 4.34/2.33
Complexity_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.koat 5151766 ∞ +0 1 +0 0.09/0.08 ∞ +0 1 +0 3.46/1.67
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.koat 5151815 n2 +2 1 +0 0.24/0.33 n2 +2 1 +0 8.67/6.34
Complexity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.koat 5151816 ∞ +0 1 +0 0.15/0.24 ∞ +0 n1 +2 5.29/2.97
Complexity_ITS/Brockschmidt_16/costa/RAML/rationalPotential.koat 5151751 n1 +2 1 +0 0.11/0.10 n1 +2 n1 +2 3.89/1.86
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.koat 5151764 n1 +2 1 +0 0.31/0.39 n1 +2 n1 +2 6.07/2.56
Complexity_ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.koat 5151765 n2 +2 1 +0 0.21/0.30 n2 +2 n2 +2 4.38/2.54
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.koat 5151771 n1 +2 1 +0 0.21/0.30 n1 +2 n1 +2 4.14/2.14
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.koat 5151772 n1 +1 1 +0 0.09/0.08 1 +2 1 +0 3.60/1.58
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.koat 5151773 n1 +2 1 +0 0.18/0.27 n1 +2 n1 +2 4.17/1.92
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.koat 5151774 1 +2 1 +0 0.09/0.08 1 +2 1 +0 3.30/1.64
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.koat 5151775 n1 +2 1 +0 0.18/0.27 n1 +2 n1 +2 4.83/2.63
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.koat 5151776 n1 +2 1 +0 0.21/0.29 n1 +2 n1 +2 5.03/2.81
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.koat 5151777 n1 +1 1 +0 0.09/0.08 1 +2 1 +0 3.73/1.77
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.koat 5151778 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.11/2.39
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.koat 5151779 n1 +2 1 +0 0.11/0.20 n1 +2 1 +0 5.42/2.68
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.koat 5151780 n1 +2 1 +0 0.11/0.10 n1 +2 n1 +2 3.98/1.83
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.koat 5151781 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.76/1.81
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.koat 5151782 n1 +2 1 +0 0.11/0.09 n1 +2 n1 +2 4.01/1.91
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.koat 5151783 n1 +1 1 +0 0.09/0.08 1 +2 1 +0 3.59/1.64
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.koat 5151784 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.89/2.39
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.koat 5151785 n1 +2 1 +0 0.16/0.25 n1 +2 n1 +2 4.28/1.92
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.koat 5151786 n1 +2 1 +0 0.16/0.24 StarExec error
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.koat 5151787 n1 +2 1 +0 0.14/0.23 n1 +2 n1 +2 4.71/2.28
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.koat 5151788 n1 +2 1 +0 0.25/0.34 n1 +2 n1 +2 4.44/2.09
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.koat 5151789 n1 +2 1 +0 0.17/0.25 StarExec error
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.koat 5151790 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 4.00/1.77
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.koat 5151791 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.97/2.08
Complexity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.koat 5151792 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.43/2.19
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat 5151793 n2 +2 1 +0 0.21/0.30 n2 +2 n2 +2 4.29/2.24
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat 5151794 ∞ +0 1 +0 0.10/0.18 1 +2 1 +0 3.85/1.74
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat 5151795 ∞ +0 1 +0 0.11/0.19 ∞ +0 NonPoly +2 4.54/6.47
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat 5151796 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.88/1.79
Complexity_ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.koat 5151768 n1 +2 1 +0 0.11/0.10 n1 +2 1 +0 3.75/1.72
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.koat 5152385 ∞ +0 1 +0 0.16/0.25 n2 +2 n2 +2 4.03/5.73
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.koat 5152386 n2 +2 1 +0 0.22/0.31 n2 +2 n2 +2 4.57/2.03
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect2.koat 5152387 n2 +2 1 +0 0.28/0.37 n2 +2 n2 +2 4.66/2.12
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.koat 5152388 n1 +2 1 +0 0.14/0.23 n1 +2 n1 +2 3.72/1.74
Complexity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.koat 5152389 n1 +2 1 +0 0.16/0.25 n1 +2 n1 +2 4.31/1.96
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat 5151760 n1 +2 1 +0 0.29/0.38 n1 +2 n1 +2 5.82/2.70
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat 5151761 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 6.72/4.47
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat 5151762 ∞ +0 1 +0 0.13/0.21 ∞ +0 n1 +2 6.35/3.94
Complexity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat 5151763 ∞ +0 1 +0 0.12/0.20 ∞ +0 1 +0 20.47/17.12
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.koat 5151808 n1 +2 1 +0 0.12/0.21 n1 +2 n1 +2 4.36/1.96
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.koat 5151809 n1 +2 1 +0 0.14/0.23 n1 +2 n1 +2 4.06/1.90
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.koat 5151810 n1 +2 1 +0 0.18/0.27 n1 +2 1 +0 4.48/2.21
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat 5151811 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 3.71/1.71
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.koat 5151812 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.64/1.70
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.koat 5151813 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.08/1.94
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.koat 5151814 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.78/1.73
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat 5151797 n1 +2 1 +0 0.19/0.28 n1 +2 n1 +2 4.91/2.32
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat 5151798 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.72/1.73
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat 5151799 n1 +2 1 +0 0.11/0.10 n1 +2 n1 +2 4.02/1.91
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat 5151800 ∞ +0 1 +0 0.23/0.32 ∞ +0 1 +0 11.09/11.12
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat 5151801 n1 +2 1 +0 0.11/0.09 n1 +2 n1 +2 4.12/1.90
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat 5151802 n1 +2 1 +0 0.11/0.09 n1 +2 n1 +2 3.72/1.87
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat 5151803 n2 +2 1 +0 0.18/0.27 n2 +2 n2 +2 4.23/1.88
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat 5151804 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.93/1.81
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat 5151805 n1 +2 1 +0 0.12/0.21 n1 +2 n1 +2 4.49/1.99
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat 5151806 n2 +2 1 +0 1.94/2.02 n2 +2 n1 +2 102.12/94.43
Complexity_ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat 5151807 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.91/1.85
Complexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.koat 5151770 n2 +2 1 +0 0.19/0.27 n2 +2 n2 +2 4.12/1.87
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.koat 5151758 n1 +2 1 +0 0.15/0.24 n1 +2 n1 +2 5.51/3.21
Complexity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.koat 5151759 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.33/2.15
Complexity_ITS/Brockschmidt_16/SAS10/perfect.koat 5151900 n2 +2 1 +0 1.99/2.08 n2 +2 1 +0 10.76/6.38
Complexity_ITS/Brockschmidt_16/SAS10/realshellsort.koat 5151901 n3 +2 1 +0 8.20/8.29 n3 +2 1 +0 21.99/15.95
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi3.koat 5151902 n2 +2 1 +0 1.12/1.21 n2 +2 n2 +2 5.96/2.58
Complexity_ITS/Brockschmidt_16/SAS10/ackermann.koat 5151903 n1 +2 1 +0 0.30/0.38 n1 +2 n1 +2 4.62/2.08
Complexity_ITS/Brockschmidt_16/SAS10/ax.koat 5151904 n2 +2 1 +0 0.73/0.81 n2 +2 n2 +2 5.27/2.33
Complexity_ITS/Brockschmidt_16/SAS10/maccarthy91.koat 5151905 n1 +2 1 +0 1.05/1.14 n1 +2 n1 +2 8.51/3.63
Complexity_ITS/Brockschmidt_16/SAS10/relation1.koat 5151906 1 +2 1 +0 0.08/0.06 1 +2 1 +0 3.57/1.64
Complexity_ITS/Brockschmidt_16/SAS10/nestedLoop.koat 5151907 n2 +2 1 +0 6.12/6.21 n2 +2 n2 +2 10.39/3.96
Complexity_ITS/Brockschmidt_16/SAS10/easy1.koat 5151908 1 +2 1 +0 0.61/0.70 1 +2 1 +0 4.76/2.02
Complexity_ITS/Brockschmidt_16/SAS10/exmini.koat 5151909 n1 +2 1 +0 1.31/1.40 n1 +2 1 +0 6.74/4.00
Complexity_ITS/Brockschmidt_16/SAS10/gcd.koat 5151910 n2 +1 1 +0 2.81/2.89 n1 +2 n1 +2 296.06/289.79
Complexity_ITS/Brockschmidt_16/SAS10/aaron2.koat 5151911 n1 +2 1 +0 3.19/3.27 n1 +2 n1 +2 297.83/289.68
Complexity_ITS/Brockschmidt_16/SAS10/wcet1.koat 5151912 n1 +2 1 +0 0.67/0.75 n1 +2 n1 +2 6.91/6.04
Complexity_ITS/Brockschmidt_16/SAS10/wcet2.koat 5151913 n1 +2 1 +0 0.88/0.96 n1 +2 n1 +2 6.43/2.79
Complexity_ITS/Brockschmidt_16/SAS10/ndecr.koat 5151914 n1 +2 1 +0 0.20/0.29 n1 +2 n1 +2 4.33/1.92
Complexity_ITS/Brockschmidt_16/SAS10/realselect.koat 5151915 1 +2 1 +0 0.50/0.59 StarExec error
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi4.koat 5151916 n1 +2 1 +0 0.74/0.82 n1 +2 n1 +2 4.74/2.04
Complexity_ITS/Brockschmidt_16/SAS10/terminate.koat 5151917 n1 +2 1 +0 1.30/1.38 n1 +2 1 +0 6.72/4.17
Complexity_ITS/Brockschmidt_16/SAS10/determinant.koat 5151918 n3 +2 1 +0 0.71/0.80 n3 +2 n3 +2 5.78/2.88
Complexity_ITS/Brockschmidt_16/SAS10/speedFails4.koat 5151919 n1 +2 1 +0 0.77/0.85 n1 +2 n1 +2 5.24/2.17
Complexity_ITS/Brockschmidt_16/SAS10/realheapsort.koat 5151920 timeout (wallclock) n2 +2 1 +0 311.16/291.61
Complexity_ITS/Brockschmidt_16/SAS10/random1d.koat 5151921 n1 +2 1 +0 0.36/0.44 n1 +2 n1 +2 4.84/2.16
Complexity_ITS/Brockschmidt_16/SAS10/easy2.koat 5151922 n1 +2 1 +0 0.30/0.39 n1 +2 n1 +2 4.36/2.08
Complexity_ITS/Brockschmidt_16/SAS10/speedpldi2.koat 5151923 n1 +2 1 +0 0.94/1.03 StarExec error
Complexity_ITS/Brockschmidt_16/SAS10/while2.koat 5151924 n2 +2 1 +0 0.48/0.57 n2 +2 n2 +2 5.14/2.31
Complexity_ITS/Brockschmidt_16/SAS10/realbubble.koat 5151925 ∞ +0 1 +0 7.34/7.41 n2 +2 n2 +2 9.68/4.23
Complexity_ITS/Brockschmidt_16/SAS10/rsd.koat 5151926 n2 +2 1 +0 2.56/2.64 n2 +2 n1 +2 12.07/7.75
Complexity_ITS/Brockschmidt_16/SAS10/random2d.koat 5151927 n1 +2 1 +0 1.70/1.78 n1 +2 n1 +2 19.47/8.42
Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.koat 5151928 1 +2 1 +0 0.22/0.31 1 +2 1 +0 3.96/1.75
Complexity_ITS/Brockschmidt_16/SAS10/sipmabubble.koat 5151929 n2 +2 1 +0 11.30/11.37 n2 +2 n2 +2 20.96/9.93
Complexity_ITS/Brockschmidt_16/SAS10/cousot9.koat 5151930 n2 +2 1 +0 0.70/0.78 n2 +2 n2 +2 5.37/2.31
Complexity_ITS/Brockschmidt_16/SAS10/insertsort.koat 5151931 n2 +2 1 +0 0.70/0.79 n2 +2 n1 +2 11.44/7.89
Complexity_ITS/Brockschmidt_16/SAS10/counterex1.koat 5151932 ∞ +0 1 +0 36.90/36.95 ∞ +0 n1 +2 32.40/15.90
Complexity_ITS/Brockschmidt_16/SAS10/complex.koat 5151933 n1 +2 1 +0 36.91/36.96 n1 +2 1 +0 72.47/291.51
Complexity_ITS/Brockschmidt_16/SAS10/loops.koat 5151934 n2 +2 1 +0 0.94/1.03 n2 +2 1 +0 14.51/8.62
Complexity_ITS/Brockschmidt_16/SAS10/wise.koat 5151935 n1 +2 1 +0 0.43/0.52 n1 +2 n1 +2 4.63/2.05
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat 5151936 ∞ +0 1 +0 0.17/0.25 ∞ +0 NonPoly +2 4.04/1.89
Complexity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.koat 5151937 ∞ +0 1 +0 0.32/0.40 n5 +2 n3 +2 6.69/3.01
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat 5151938 ∞ +0 1 +0 0.19/0.28 ∞ +0 NonPoly +2 4.55/3.22
Complexity_ITS/Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat 5151939 ∞ +0 1 +0 0.19/0.28 ∞ +0 NonPoly +2 4.34/1.89
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat 5151940 ∞ +0 1 +0 0.16/0.24 ∞ +0 NonPoly +2 4.93/2.80
Complexity_ITS/Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat 5151941 ∞ +0 1 +0 0.25/0.34 ∞ +0 NonPoly +2 5.21/2.28
Complexity_ITS/Flores-Montoya_16/catmouse.c.koat 5152390 ∞ +0 1 +0 0.20/0.29 ∞ +0 NonPoly +2 5.80/2.53
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.koat 5152391 n1 +2 1 +0 0.29/0.38 n1 +2 n1 +2 5.60/2.47
Complexity_ITS/Flores-Montoya_16/sipmamergesort.c.koat 5152392 n2 +2 1 +0 139.47/139.53 ∞ +0 n1 +2 133.86/65.70
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.koat 5152393 n1 +2 1 +0 0.26/0.35 n1 +2 n1 +2 4.81/2.13
Complexity_ITS/Flores-Montoya_16/sipma91.c.koat 5152394 n1 +2 1 +0 0.67/0.76 n1 +2 n1 +2 9.20/3.94
Complexity_ITS/Flores-Montoya_16/easy1.c.koat 5152395 1 +2 1 +0 0.23/0.31 1 +2 1 +0 3.80/1.71
Complexity_ITS/Flores-Montoya_16/speed_popl10_sequential_single.c.koat 5152396 n1 +2 1 +0 0.32/0.40 n1 +2 n1 +2 4.95/2.32
Complexity_ITS/Flores-Montoya_16/speedDis1.c.koat 5152397 n1 +2 1 +0 0.29/0.37 n1 +2 n1 +2 5.61/2.47
Complexity_ITS/Flores-Montoya_16/speedFails1.c.koat 5152398 ∞ +0 1 +0 0.18/0.26 ∞ +0 1 +0 5.64/2.75
Complexity_ITS/Flores-Montoya_16/jama_ex3.c.koat 5152399 n2 +2 1 +0 0.32/0.41 n2 +2 n2 +2 4.90/2.24
Complexity_ITS/Flores-Montoya_16/nestedLoop.c.koat 5152400 n2 +2 1 +0 2.35/2.44 n3 +1 n2 +2 73.42/60.79
Complexity_ITS/Flores-Montoya_16/speedDis2.c.koat 5152401 n1 +2 1 +0 0.23/0.31 n1 +2 n1 +2 5.92/2.61
Complexity_ITS/Flores-Montoya_16/aaron2.c.koat 5152402 n1 +2 1 +0 0.28/0.37 n1 +2 n1 +2 15.19/9.27
Complexity_ITS/Flores-Montoya_16/serpent.c.koat 5152403 ∞ +0 1 +0 11.92/12.00 ∞ +0 n2 +2 35.46/24.14
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.koat 5152404 n1 +2 1 +0 0.72/0.80 n1 +2 n1 +2 7.94/3.25
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.koat 5152405 n1 +2 1 +0 0.52/0.61 n1 +2 n1 +2 5.77/2.66
Complexity_ITS/Flores-Montoya_16/counterex1c.c.koat 5152406 ∞ +0 1 +0 1.01/1.10 ∞ +0 n1 +2 42.27/26.00
Complexity_ITS/Flores-Montoya_16/rsd.c.koat 5152407 n1 +2 1 +0 0.66/0.74 n1 +2 n1 +2 6.21/2.54
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.koat 5152408 n1 +2 1 +0 0.23/0.32 n1 +2 n1 +2 5.54/5.85
Complexity_ITS/Flores-Montoya_16/wcet0.c.koat 5152409 n1 +2 1 +0 0.51/0.59 n1 +2 n1 +2 8.16/3.83
Complexity_ITS/Flores-Montoya_16/speedSingleSingle2.c.koat 5152410 n1 +2 1 +0 0.56/0.64 n1 +2 n1 +2 5.56/2.45
Complexity_ITS/Flores-Montoya_16/sipmabubble.c.koat 5152411 n2 +2 1 +0 0.34/0.43 n2 +2 n2 +2 5.78/2.63
Complexity_ITS/Flores-Montoya_16/jama_ex7.c.koat 5152412 n2 +2 1 +0 0.37/0.46 n2 +2 n2 +2 5.43/2.44
Complexity_ITS/Flores-Montoya_16/t16.c.koat 5152413 n1 +2 1 +0 0.35/0.44 n2 +1 n1 +2 7.12/4.30
Complexity_ITS/Flores-Montoya_16/exmini.c.koat 5152414 StarExec error n1 +2 1 +0 5.95/3.49
Complexity_ITS/Flores-Montoya_16/real2.c.koat 5152415 ∞ +0 1 +0 0.53/0.61 ∞ +0 NonPoly +2 8.24/3.25
Complexity_ITS/Flores-Montoya_16/realheapsort.c.koat 5152416 n2 +2 1 +0 2.77/3.13 n2 +2 1 +0 72.53/44.60
Complexity_ITS/Flores-Montoya_16/unperfect.c.koat 5152417 n2 +2 1 +0 0.79/0.88 n2 +2 n1 +2 15.94/10.61
Complexity_ITS/Flores-Montoya_16/speedSingleSingle.c.koat 5152418 n1 +2 1 +0 0.16/0.24 n1 +2 n1 +2 4.36/2.06
Complexity_ITS/Flores-Montoya_16/terminate.c.koat 5152419 n1 +2 1 +0 0.27/0.36 n1 +2 1 +0 6.31/3.63
Complexity_ITS/Flores-Montoya_16/rank2.c.koat 5152420 n1 +2 1 +0 0.70/0.78 n1 +2 n1 +2 8.49/3.27
Complexity_ITS/Flores-Montoya_16/textbook_ex4.c.koat 5152421 n2 +2 1 +0 0.44/0.52 StarExec error
Complexity_ITS/Flores-Montoya_16/counterex1b.c.koat 5152422 ∞ +0 1 +0 44.82/44.87 n3 +2 n2 +2 44.79/31.29
Complexity_ITS/Flores-Montoya_16/t19.c.koat 5152423 n1 +2 1 +0 0.28/0.36 n1 +2 n1 +2 4.89/2.20
Complexity_ITS/Flores-Montoya_16/random1d.c.koat 5152424 n1 +2 1 +0 0.20/0.28 n1 +2 n1 +2 4.74/2.15
Complexity_ITS/Flores-Montoya_16/terminatorbubble.c.koat 5152425 n2 +2 1 +0 0.71/0.79 n2 +2 n2 +2 7.23/3.10
Complexity_ITS/Flores-Montoya_16/ax.c.koat 5152426 n2 +2 1 +0 0.36/0.45 n2 +2 n2 +2 5.31/2.39
Complexity_ITS/Flores-Montoya_16/t30.c.koat 5152427 ∞ +0 1 +0 0.17/0.26 ∞ +0 1 +0 5.45/2.40
Complexity_ITS/Flores-Montoya_16/t08.c.koat 5152428 n1 +2 1 +0 0.26/0.35 n1 +2 n1 +2 4.87/2.21
Complexity_ITS/Flores-Montoya_16/t10.c.koat 5152429 n1 +2 1 +0 0.22/0.31 n1 +2 n1 +2 4.99/2.26
Complexity_ITS/Flores-Montoya_16/insertsort.c.koat 5152430 n2 +2 1 +0 0.44/0.59 n2 +2 n2 +2 6.89/3.18
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_multiple.c.koat 5152431 n1 +2 1 +0 0.94/1.02 n1 +2 n1 +2 7.26/2.90
Complexity_ITS/Flores-Montoya_16/random2d.c.koat 5152432 n1 +2 1 +0 0.47/0.56 n1 +2 n1 +2 10.62/4.74
Complexity_ITS/Flores-Montoya_16/rank3.c.koat 5152433 StarExec error ∞ +0 n1 +2 98.16/67.03
Complexity_ITS/Flores-Montoya_16/sipmamergesort2.c.koat 5152434 StarExec error ∞ +0 n1 +2 668.41/291.65
Complexity_ITS/Flores-Montoya_16/t28.c.koat 5152435 n1 +2 1 +0 0.47/0.56 n1 +2 n1 +2 5.51/2.43
Complexity_ITS/Flores-Montoya_16/speedSimpleMultiple.c.koat 5152436 n1 +2 1 +0 0.28/0.37 n1 +2 n1 +2 5.31/2.39
Complexity_ITS/Flores-Montoya_16/cousot9.c.koat 5152437 n2 +2 1 +0 0.25/0.33 n2 +2 n2 +2 5.56/2.51
Complexity_ITS/Flores-Montoya_16/t13.c.koat 5152438 n1 +2 1 +0 0.53/0.61 n1 +2 n1 +2 6.73/2.84
Complexity_ITS/Flores-Montoya_16/wise.c.koat 5152439 n1 +2 1 +0 0.27/0.35 n1 +2 n1 +2 5.00/2.30
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.koat 5152440 n1 +2 1 +0 0.79/0.87 n1 +2 n1 +2 7.54/3.12
Complexity_ITS/Flores-Montoya_16/easy2.c.koat 5152441 n1 +2 1 +0 0.14/0.23 StarExec error
Complexity_ITS/Flores-Montoya_16/nd_loop.c.koat 5152442 1 +2 1 +0 0.20/0.29 1 +2 1 +0 3.49/1.63
Complexity_ITS/Flores-Montoya_16/perfect.c.koat 5152443 n2 +2 1 +0 0.69/0.77 n2 +2 n1 +2 17.26/12.07
Complexity_ITS/Flores-Montoya_16/Loopus2015_original.c.koat 5152444 n2 +2 1 +0 1.63/1.71 n2 +2 n1 +2 37.21/31.44
Complexity_ITS/Flores-Montoya_16/speedFails3.c.koat 5152445 ∞ +0 1 +0 0.33/0.42 ∞ +0 1 +0 6.90/3.24
Complexity_ITS/Flores-Montoya_16/t20.c.koat 5152446 n1 +2 1 +0 0.25/0.34 n1 +2 n1 +2 4.56/2.14
Complexity_ITS/Flores-Montoya_16/while2.c.koat 5152447 n2 +2 1 +0 0.29/0.38 n2 +2 n2 +2 5.30/2.50
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_multiple.c.koat 5152448 n1 +2 1 +0 0.29/0.37 n1 +2 n1 +2 5.17/2.34
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.koat 5152449 n1 +2 1 +0 0.36/0.45 n2 +1 n1 +2 7.98/3.52
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.koat 5152450 n1 +2 1 +0 0.34/0.43 n1 +2 n1 +2 5.02/2.46
Complexity_ITS/Flores-Montoya_16/aaron3.c.koat 5152451 ∞ +0 1 +0 0.48/0.57 ∞ +0 n1 +2 14.36/7.98
Complexity_ITS/Flores-Montoya_16/alain.c.koat 5152452 n2 +2 1 +0 0.94/1.03 n3 +1 n2 +2 34.36/27.91
Complexity_ITS/Flores-Montoya_16/speedNestedMultipleDep.c.koat 5152453 n2 +2 1 +0 0.44/0.53 n2 +2 n2 +2 5.58/2.50
Complexity_ITS/Flores-Montoya_16/nested_loop.c.koat 5152454 n2 +2 1 +0 6.34/6.42 n3 +1 n2 +2 93.74/79.36
Complexity_ITS/Flores-Montoya_16/realbubble.c.koat 5152455 n2 +2 1 +0 0.55/0.64 n2 +2 n2 +2 7.20/2.99
Complexity_ITS/Flores-Montoya_16/t11.c.koat 5152456 n1 +2 1 +0 0.29/0.38 n1 +2 n1 +2 5.29/2.34
Complexity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.koat 5152457 n1 +2 1 +0 0.26/0.34 n2 +1 n1 +2 5.65/2.96
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.koat 5152458 n1 +2 1 +0 0.59/0.68 n2 +1 n1 +2 12.86/9.33
Complexity_ITS/Flores-Montoya_16/textbook_ex1.c.koat 5152459 n1 +2 1 +0 0.16/0.24 n1 +2 n1 +2 4.14/1.95
Complexity_ITS/Flores-Montoya_16/wcet1.c.koat 5152460 n1 +2 1 +0 0.54/0.63 n1 +2 n1 +2 7.65/3.74
Complexity_ITS/Flores-Montoya_16/t27.c.koat 5152461 n1 +2 1 +0 0.60/0.69 n1 +2 n1 +2 6.32/3.03
Complexity_ITS/Flores-Montoya_16/speedFails4.c.koat 5152462 ∞ +0 1 +0 0.34/0.43 ∞ +0 1 +0 6.85/3.15
Complexity_ITS/Flores-Montoya_16/speedFails2.c.koat 5152463 ∞ +0 1 +0 0.19/0.28 ∞ +0 NonPoly +2 5.25/2.56
Complexity_ITS/Flores-Montoya_16/perfect2.c.koat 5152464 n2 +2 1 +0 0.79/0.88 n2 +2 n1 +2 16.06/12.86
Complexity_ITS/Flores-Montoya_16/jama_ex5.c.koat 5152465 n2 +2 1 +0 0.33/0.41 n2 +2 n1 +2 6.73/4.03
Complexity_ITS/Flores-Montoya_16/speedSimpleMultipleDep.c.koat 5152466 n2 +2 1 +0 0.30/0.38 n2 +2 n2 +2 6.14/2.69
Complexity_ITS/Flores-Montoya_16/realshellsort.c.koat 5152467 n3 +2 1 +0 1.28/1.36 n3 +2 1 +0 20.49/13.66
Complexity_ITS/Flores-Montoya_16/jama_ex6.c.koat 5152468 n3 +2 1 +0 1.91/2.00 n4 +1 n3 +2 21.19/15.11
Complexity_ITS/Flores-Montoya_16/t47.c.koat 5152469 n1 +2 1 +0 0.20/0.29 n1 +2 n1 +2 4.69/2.18
Complexity_ITS/Flores-Montoya_16/perfect1.c.koat 5152470 n2 +2 1 +0 0.77/0.85 n2 +2 n1 +2 26.41/19.70
Complexity_ITS/Flores-Montoya_16/t15.c.koat 5152471 n1 +2 1 +0 0.44/0.52 n1 +2 n1 +2 5.84/2.48
Complexity_ITS/Flores-Montoya_16/complex.c.koat 5152472 n1 +2 1 +0 6.56/6.64 n1 +2 n1 +2 8.72/3.46
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single.c.koat 5152473 n1 +2 1 +0 0.15/0.24 n1 +2 n1 +2 4.30/2.03
Complexity_ITS/Flores-Montoya_16/ex_paper1.c.koat 5152474 n2 +2 1 +0 1.34/1.42 n3 +1 n2 +2 48.39/37.24
Complexity_ITS/Flores-Montoya_16/jama_ex1.c.koat 5152475 n2 +2 1 +0 0.31/0.40 n2 +2 n2 +2 4.96/2.32
Complexity_ITS/Flores-Montoya_16/ex_paper3.c.koat 5152476 n2 +2 1 +0 0.72/0.81 n2 +2 n1 +2 20.25/14.63
Complexity_ITS/Flores-Montoya_16/speed_popl10_simple_single_2.c.koat 5152477 n1 +2 1 +0 0.35/0.43 n1 +2 n1 +2 5.24/2.40
Complexity_ITS/Flores-Montoya_16/speedpldi2.c.koat 5152478 n1 +2 1 +0 0.29/0.38 n1 +2 n1 +2 5.50/2.49
Complexity_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.koat 5152479 n1 +2 1 +0 0.29/0.38 n1 +2 n1 +2 5.25/2.35
Complexity_ITS/Flores-Montoya_16/realheapsort_step2.c.koat 5152480 n2 +2 1 +0 2.29/2.38 n2 +2 n1 +2 44.72/37.58
Complexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.koat 5152481 n2 +2 1 +0 4.49/4.58 n2 +2 n2 +2 19.28/7.29
Complexity_ITS/Flores-Montoya_16/relation1.c.koat 5152482 1 +2 1 +0 0.09/0.09 1 +2 1 +0 3.40/1.58
Complexity_ITS/Flores-Montoya_16/aaron12.c.koat 5152483 ∞ +0 1 +0 0.28/0.36 ∞ +0 1 +0 0.57/0.42
Complexity_ITS/Flores-Montoya_16/ndecr.c.koat 5152484 n1 +2 1 +0 0.15/0.24 n1 +2 n1 +2 4.43/2.21
Complexity_ITS/Flores-Montoya_16/wcet2.c.koat 5152485 n1 +2 1 +0 0.38/0.47 n1 +2 n1 +2 5.38/3.20
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.koat 5152486 n1 +2 1 +0 9.24/9.32 ∞ +0 n1 +2 370.74/291.58
Complexity_ITS/Flores-Montoya_16/realselect.c.koat 5152487 n2 +2 1 +0 0.38/0.46 n2 +2 n2 +2 5.36/2.37
Complexity_ITS/Flores-Montoya_16/counterex1a.c.koat 5152488 ∞ +0 1 +0 1.68/1.83 ∞ +0 n1 +2 32.06/19.92
Complexity_ITS/Flores-Montoya_16/knuth_morris_pratt.c.koat 5152489 n1 +2 1 +0 4.79/4.87 n1 +2 n1 +2 42.39/33.36
Complexity_ITS/Flores-Montoya_16/textbook_ex3.c.koat 5152490 n4 +2 1 +0 1.40/1.49 StarExec error
Complexity_ITS/Flores-Montoya_16/jama_ex4.c.koat 5152491 n2 +2 1 +0 0.48/0.56 n2 +2 n2 +2 6.37/2.85
Complexity_ITS/Flores-Montoya_16/speed_popl10_nested_single.c.koat 5152492 n1 +2 1 +0 0.62/0.70 n1 +2 n1 +2 5.61/2.59
Complexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.koat 5152493 n1 +2 1 +0 0.26/0.34 n1 +2 1 +0 6.99/2.96
Complexity_ITS/Flores-Montoya_16/t62.c.koat 5152494 n1 +2 1 +0 1.86/1.95 n1 +2 n1 +2 8.32/3.28
Complexity_ITS/Flores-Montoya_16/speedNestedMultiple.c.koat 5152495 n1 +2 1 +0 0.93/1.02 n1 +2 n1 +2 7.47/2.98
Complexity_ITS/Flores-Montoya_16/speedpldi3.c.koat 5152496 n2 +2 1 +0 0.35/0.44 n2 +2 n2 +2 5.48/2.42
Complexity_ITS/Flores-Montoya_16/perfectg.c.koat 5152497 n2 +2 1 +0 0.78/0.86 StarExec error
Complexity_ITS/Flores-Montoya_16/ex_paper2.c.koat 5152498 n2 +2 1 +0 0.32/0.40 StarExec error
Complexity_ITS/Flores-Montoya_16/t07.c.koat 5152499 n1 +2 1 +0 0.37/0.46 n1 +2 n1 +2 5.38/2.41
Complexity_ITS/Flores-Montoya_16/textbook_ex2.c.koat 5152500 n2 +2 1 +0 0.31/0.40 n2 +2 n2 +2 5.39/2.45
Complexity_ITS/Flores-Montoya_16/jama_ex2.c.koat 5152501 n2 +2 1 +0 0.32/0.41 n2 +2 n2 +2 5.44/2.50
Complexity_ITS/Flores-Montoya_16/rank1.c.koat 5152502 n2 +2 1 +0 1.51/1.60 ∞ +0 n1 +2 29.86/19.53
Complexity_ITS/Flores-Montoya_16/heapsort.c.koat 5152503 n1 +2 1 +0 1.23/1.31 n1 +2 1 +0 40.27/21.39
Complexity_ITS/Flores-Montoya_16/speedpldi4.c.koat 5152504 n1 +2 1 +0 0.24/0.33 n1 +2 1 +0 5.06/2.47
Complexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.koat 5152505 n1 +2 1 +0 0.67/0.75 n1 +2 n1 +2 7.60/2.91
Complexity_ITS/Flores-Montoya_16/realheapsort_step1.c.koat 5152506 n2 +2 1 +0 0.46/0.55 n2 +2 1 +0 24.64/17.54
Complexity_ITS/Flores-Montoya_16/loops.c.koat 5152507 n2 +2 1 +0 0.32/0.41 n2 +2 1 +0 6.58/3.29
Complexity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.koat 5152508 n2 +2 1 +0 0.70/1.04 StarExec error
Complexity_ITS/Brockschmidt_16/T2/ex20.koat 5151942 1 +2 1 +0 0.29/0.38 1 +2 1 +0 3.61/1.62
Complexity_ITS/Brockschmidt_16/T2/fun3.koat 5151943 n1 +2 1 +0 86.50/86.60 n1 +2 n1 +2 123.61/60.21
Complexity_ITS/Brockschmidt_16/T2/n-21.koat 5151944 ∞ +0 1 +0 0.25/0.34 ∞ +0 NonPoly +2 4.23/1.85
Complexity_ITS/Brockschmidt_16/T2/polyrank5.koat 5151945 ∞ +0 1 +0 0.22/0.31 ∞ +0 n1 +2 6.37/3.94
Complexity_ITS/Brockschmidt_16/T2/complex_guard.koat 5151946 1 +2 1 +0 0.14/0.23 1 +2 1 +0 3.66/1.69
Complexity_ITS/Brockschmidt_16/T2/n-14.koat 5151947 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 4.56/2.04
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-fail.koat 5151948 ∞ +0 1 +0 5.53/5.61 ∞ +0 NonPoly +2 26.87/12.43
Complexity_ITS/Brockschmidt_16/T2/afagx1.koat 5151949 ∞ +0 1 +0 0.16/0.24 ∞ +0 NonPoly +2 4.27/1.99
Complexity_ITS/Brockschmidt_16/T2/queens.koat 5151950 StarExec error 1 +2 1 +0 6.37/2.41
Complexity_ITS/Brockschmidt_16/T2/matmult.koat 5151951 1 +2 1 +0 0.85/0.94 1 +2 1 +0 5.18/2.19
Complexity_ITS/Brockschmidt_16/T2/randomwalk.koat 5151952 ∞ +0 1 +0 0.78/0.86 ∞ +0 1 +0 14.26/5.50
Complexity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.koat 5151953 1 +2 1 +0 0.12/0.10 1 +2 1 +0 4.87/1.99
Complexity_ITS/Brockschmidt_16/T2/rev_nt4.koat 5151954 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.62/1.64
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted.koat 5151955 StarExec error ∞ +0 NonPoly +2 30.44/10.38
Complexity_ITS/Brockschmidt_16/T2/heidy6.koat 5151956 ∞ +0 1 +0 0.20/0.28 ∞ +0 NonPoly +2 4.22/1.94
Complexity_ITS/Brockschmidt_16/T2/hongyi1.koat 5151957 StarExec error n1 +2 n1 +2 76.27/32.19
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.koat 5151958 ∞ +0 1 +0 0.16/0.24 ∞ +0 NonPoly +2 4.55/2.14
Complexity_ITS/Brockschmidt_16/T2/jacobi.koat 5151959 StarExec error n1 +2 n1 +2 161.77/148.50
Complexity_ITS/Brockschmidt_16/T2/n-8a.koat 5151960 ∞ +0 1 +0 0.15/0.23 ∞ +0 NonPoly +2 3.79/1.69
Complexity_ITS/Brockschmidt_16/T2/broydn.koat 5151961 StarExec error ∞ +0 n1 +2 326.49/291.63
Complexity_ITS/Brockschmidt_16/T2/n-3a.koat 5151962 ∞ +0 1 +0 0.59/0.67 ∞ +0 NonPoly +2 6.34/2.84
Complexity_ITS/Brockschmidt_16/T2/eric3.koat 5151963 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 4.35/1.89
Complexity_ITS/Brockschmidt_16/T2/nakata_withassume.koat 5151964 StarExec error ∞ +0 NonPoly +2 31.21/10.74
Complexity_ITS/Brockschmidt_16/T2/hqr.koat 5151965 StarExec error ∞ +0 n1 +2 514.60/291.87
Complexity_ITS/Brockschmidt_16/T2/n-1c.koat 5151966 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 4.47/1.95
Complexity_ITS/Brockschmidt_16/T2/simple_pre3.koat 5151967 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.37/1.56
Complexity_ITS/Brockschmidt_16/T2/p-12.koat 5151968 n1 +2 1 +0 0.13/0.21 n1 +2 n1 +2 3.73/1.75
Complexity_ITS/Brockschmidt_16/T2/example.koat 5151969 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.26/2.08
Complexity_ITS/Brockschmidt_16/T2/n-12a.koat 5151970 ∞ +0 1 +0 0.12/0.20 ∞ +0 NonPoly +2 3.76/1.68
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat 5151971 StarExec error ∞ +0 n1 +2 358.33/291.56
Complexity_ITS/Brockschmidt_16/T2/bubbleSort.koat 5151972 n2 +2 1 +0 0.56/0.64 n2 +2 n2 +2 6.12/2.71
Complexity_ITS/Brockschmidt_16/T2/3.koat 5151973 ∞ +0 1 +0 0.09/0.08 ∞ +0 NonPoly +2 3.50/1.61
Complexity_ITS/Brockschmidt_16/T2/ex32.koat 5151974 1 +2 1 +0 0.19/0.28 1 +2 1 +0 3.64/1.65
Complexity_ITS/Brockschmidt_16/T2/heidy9.koat 5151975 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 3.72/1.74
Complexity_ITS/Brockschmidt_16/T2/polyrank4.koat 5151976 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 9.84/7.50
Complexity_ITS/Brockschmidt_16/T2/wtf.koat 5151977 n1 +2 1 +0 86.51/86.62 n1 +2 n1 +2 123.39/60.20
Complexity_ITS/Brockschmidt_16/T2/fir.koat 5151978 ∞ +0 1 +0 0.76/0.84 ∞ +0 NonPoly +2 14.98/5.35
Complexity_ITS/Brockschmidt_16/T2/ex15.koat 5151979 1 +2 1 +0 0.08/0.06 1 +2 1 +0 3.57/1.67
Complexity_ITS/Brockschmidt_16/T2/simple_double_free.koat 5151980 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.47/1.59
Complexity_ITS/Brockschmidt_16/T2/fun10.koat 5151981 ∞ +0 1 +0 13.46/13.54 ∞ +0 NonPoly +2 8.55/3.05
Complexity_ITS/Brockschmidt_16/T2/p-15.koat 5151982 n1 +2 1 +0 0.13/0.21 n1 +2 n1 +2 3.94/1.84
Complexity_ITS/Brockschmidt_16/T2/queue_1.koat 5151983 1 +2 1 +0 0.19/0.28 1 +2 1 +0 3.94/1.74
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat 5151984 n1 +2 1 +0 4.21/4.29 n1 +2 n1 +2 17.55/8.08
Complexity_ITS/Brockschmidt_16/T2/n-13.koat 5151985 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 3.80/1.77
Complexity_ITS/Brockschmidt_16/T2/queue_10.koat 5151986 1 +2 1 +0 0.21/0.29 1 +2 1 +0 3.89/1.77
Complexity_ITS/Brockschmidt_16/T2/simple_pre1.koat 5151987 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.47/1.59
Complexity_ITS/Brockschmidt_16/T2/fun11.koat 5151988 ∞ +0 1 +0 0.25/0.33 ∞ +0 NonPoly +2 4.14/1.88
Complexity_ITS/Brockschmidt_16/T2/agafp.koat 5151989 ∞ +0 1 +0 37.44/37.52 ∞ +0 NonPoly +2 19.56/6.44
Complexity_ITS/Brockschmidt_16/T2/n-48.koat 5151990 ∞ +0 1 +0 0.20/0.29 ∞ +0 1 +0 5.39/2.83
Complexity_ITS/Brockschmidt_16/T2/p-46.koat 5151991 ∞ +0 1 +0 0.32/0.40 ∞ +0 NonPoly +2 5.09/2.27
Complexity_ITS/Brockschmidt_16/T2/fun8.koat 5151992 1 +2 1 +0 3.69/3.78 1 +2 1 +0 11.90/3.86
Complexity_ITS/Brockschmidt_16/T2/huh.koat 5151993 ∞ +0 1 +0 0.79/0.87 ∞ +0 NonPoly +2 4.70/1.97
Complexity_ITS/Brockschmidt_16/T2/cfg.koat 5151994 ∞ +0 1 +0 0.11/0.19 ∞ +0 NonPoly +2 4.11/1.84
Complexity_ITS/Brockschmidt_16/T2/minmax.koat 5151995 1 +2 1 +0 0.13/0.22 1 +2 1 +0 3.59/1.72
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.koat 5151996 ∞ +0 1 +0 0.28/0.37 ∞ +0 NonPoly +2 4.32/2.85
Complexity_ITS/Brockschmidt_16/T2/bf10.koat 5151997 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.40/1.89
Complexity_ITS/Brockschmidt_16/T2/slayer-3-new.koat 5151998 StarExec error ∞ +0 NonPoly +2 879.53/291.07
Complexity_ITS/Brockschmidt_16/T2/refine_disj_problem.koat 5151999 ∞ +0 1 +0 0.13/0.22 ∞ +0 NonPoly +2 4.33/1.92
Complexity_ITS/Brockschmidt_16/T2/iecs.koat 5152000 n1 +2 1 +0 0.10/0.09 n1 +2 1 +0 3.92/1.88
Complexity_ITS/Brockschmidt_16/T2/p-3.koat 5152001 n1 +2 1 +0 0.19/0.28 n1 +2 n1 +2 4.20/2.11
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat 5152002 n1 +2 1 +0 80.40/80.47 n1 +2 n1 +2 23.26/15.64
Complexity_ITS/Brockschmidt_16/T2/smagillb-succeed.koat 5152003 ∞ +0 1 +0 0.27/0.36 ∞ +0 NonPoly +2 5.00/2.28
Complexity_ITS/Brockschmidt_16/T2/polyrank2.koat 5152004 ∞ +0 1 +0 0.11/0.20 ∞ +0 1 +0 7.15/5.06
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.koat 5152005 ∞ +0 1 +0 0.21/0.30 ∞ +0 NonPoly +2 4.90/2.84
Complexity_ITS/Brockschmidt_16/T2/fun1b.koat 5152006 ∞ +0 1 +0 128.77/128.86 ∞ +0 NonPoly +2 37.30/16.20
Complexity_ITS/Brockschmidt_16/T2/array1.koat 5152007 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.73/1.71
Complexity_ITS/Brockschmidt_16/T2/sudoku.koat 5152008 ∞ +0 1 +0 110.08/110.08 ∞ +0 NonPoly +2 845.61/282.61
Complexity_ITS/Brockschmidt_16/T2/pentagon.koat 5152009 ∞ +0 1 +0 2.31/2.39 ∞ +0 1 +0 6.05/3.07
Complexity_ITS/Brockschmidt_16/T2/simple_fail.koat 5152010 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.77/1.98
Complexity_ITS/Brockschmidt_16/T2/simple_pre.koat 5152011 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.49/1.72
Complexity_ITS/Brockschmidt_16/T2/dsa_test8.koat 5152012 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.45/1.79
Complexity_ITS/Brockschmidt_16/T2/dropbuf-live.koat 5152013 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.38/1.66
Complexity_ITS/Brockschmidt_16/T2/dsa_test15.koat 5152014 1 +2 1 +0 0.18/0.27 1 +2 1 +0 3.98/1.80
Complexity_ITS/Brockschmidt_16/T2/ud.koat 5152015 1 +2 1 +0 3.71/3.79 1 +2 1 +0 7.62/3.00
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.koat 5152016 ∞ +0 1 +0 0.30/0.39 ∞ +0 NonPoly +2 4.82/2.19
Complexity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.koat 5152017 n1 +2 1 +0 3.21/3.29 n1 +2 n1 +2 51.19/21.13
Complexity_ITS/Brockschmidt_16/T2/ns.koat 5152018 1 +2 1 +0 1.25/1.33 1 +2 1 +0 4.31/1.87
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat 5152019 StarExec error ∞ +0 n1 +2 552.53/291.79
Complexity_ITS/Brockschmidt_16/T2/n-46.koat 5152020 ∞ +0 1 +0 0.13/0.22 ∞ +0 NonPoly +2 3.82/1.71
Complexity_ITS/Brockschmidt_16/T2/polyrank6.koat 5152021 ∞ +0 1 +0 0.14/0.23 ∞ +0 n1 +2 7.24/4.37
Complexity_ITS/Brockschmidt_16/T2/consts1nt.koat 5152022 ∞ +0 1 +0 0.10/0.19 ∞ +0 NonPoly +2 4.28/1.87
Complexity_ITS/Brockschmidt_16/T2/crc.koat 5152023 1 +2 1 +0 1.80/1.88 1 +2 1 +0 11.71/4.22
Complexity_ITS/Brockschmidt_16/T2/p-56.koat 5152024 n1 +2 1 +0 0.23/0.32 n1 +2 n1 +2 4.72/2.16
Complexity_ITS/Brockschmidt_16/T2/dsa_test5.koat 5152025 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.45/1.59
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-succeed.koat 5152026 ∞ +0 1 +0 5.80/5.88 ∞ +0 NonPoly +2 26.66/11.32
Complexity_ITS/Brockschmidt_16/T2/eric2.koat 5152027 ∞ +0 1 +0 3.24/3.34 ∞ +0 n1 +2 588.86/291.50
Complexity_ITS/Brockschmidt_16/T2/smagilla-succeed.koat 5152028 ∞ +0 1 +0 0.29/0.38 ∞ +0 NonPoly +2 5.38/2.32
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat 5152029 ∞ +0 1 +0 39.79/39.87 ∞ +0 NonPoly +2 53.85/18.33
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.koat 5152030 ∞ +0 1 +0 1.25/1.34 ∞ +0 NonPoly +2 5.25/2.41
Complexity_ITS/Brockschmidt_16/T2/heidy8.koat 5152031 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 6.09/2.48
Complexity_ITS/Brockschmidt_16/T2/apchildlive-succeed.koat 5152032 StarExec error ∞ +0 NonPoly +2 74.07/26.85
Complexity_ITS/Brockschmidt_16/T2/ex16.koat 5152033 ∞ +0 1 +0 0.43/0.51 ∞ +0 NonPoly +2 4.74/2.14
Complexity_ITS/Brockschmidt_16/T2/subpoly_crash.koat 5152034 ∞ +0 1 +0 0.15/0.24 ∞ +0 NonPoly +2 3.88/1.81
Complexity_ITS/Brockschmidt_16/T2/1394-fail.koat 5152035 ∞ +0 1 +0 6.83/6.91 ∞ +0 NonPoly +2 34.47/14.65
Complexity_ITS/Brockschmidt_16/T2/241.koat 5152036 n2 +2 1 +0 0.14/0.23 n2 +2 n2 +2 4.05/2.06
Complexity_ITS/Brockschmidt_16/T2/bf14.koat 5152037 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.21/1.99
Complexity_ITS/Brockschmidt_16/T2/statemate.koat 5152038 StarExec error ∞ +0 1 +0 882.50/293.35
Complexity_ITS/Brockschmidt_16/T2/fibcall.koat 5152039 1 +2 1 +0 0.22/0.31 1 +2 1 +0 3.83/1.67
Complexity_ITS/Brockschmidt_16/T2/n-16a.koat 5152040 ∞ +0 1 +0 0.14/0.23 ∞ +0 1 +0 5.24/3.06
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat 5152041 StarExec error ∞ +0 n1 +2 591.69/291.78
Complexity_ITS/Brockschmidt_16/T2/2.koat 5152042 ∞ +0 1 +0 0.71/0.80 ∞ +0 NonPoly +2 5.16/2.27
Complexity_ITS/Brockschmidt_16/T2/new_ex.koat 5152043 ∞ +0 1 +0 1.16/1.24 ∞ +0 NonPoly +2 8.62/3.77
Complexity_ITS/Brockschmidt_16/T2/n-3.koat 5152044 ∞ +0 1 +0 0.18/0.26 ∞ +0 NonPoly +2 4.08/1.88
Complexity_ITS/Brockschmidt_16/T2/byron-2.koat 5152045 ∞ +0 1 +0 0.26/0.35 ∞ +0 NonPoly +2 5.55/2.45
Complexity_ITS/Brockschmidt_16/T2/p-63.koat 5152046 n1 +2 1 +0 0.21/0.30 n1 +2 1 +0 4.24/2.01
Complexity_ITS/Brockschmidt_16/T2/ex9.koat 5152047 ∞ +0 1 +0 0.33/0.42 ∞ +0 NonPoly +2 5.26/2.17
Complexity_ITS/Brockschmidt_16/T2/ex22.koat 5152048 1 +2 1 +0 1.86/1.95 1 +2 1 +0 15.36/6.05
Complexity_ITS/Brockschmidt_16/T2/non_term.koat 5152049 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 4.94/2.75
Complexity_ITS/Brockschmidt_16/T2/ex12.koat 5152050 1 +2 1 +0 0.14/0.23 1 +2 1 +0 3.74/1.70
Complexity_ITS/Brockschmidt_16/T2/n-15a.koat 5152051 ∞ +0 1 +0 0.23/0.31 ∞ +0 NonPoly +2 4.61/2.30
Complexity_ITS/Brockschmidt_16/T2/bf5.koat 5152052 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.54/1.96
Complexity_ITS/Brockschmidt_16/T2/n-32.koat 5152053 ∞ +0 1 +0 0.13/0.22 ∞ +0 NonPoly +2 3.91/1.89
Complexity_ITS/Brockschmidt_16/T2/edn.koat 5152054 StarExec error 1 +2 1 +0 10.32/4.12
Complexity_ITS/Brockschmidt_16/T2/randomwalk_withassume.koat 5152055 ∞ +0 1 +0 1.19/1.28 ∞ +0 1 +0 14.29/5.57
Complexity_ITS/Brockschmidt_16/T2/p-42.koat 5152056 n1 +2 1 +0 0.24/0.32 StarExec error
Complexity_ITS/Brockschmidt_16/T2/apchild-accepted-fail.koat 5152057 StarExec error ∞ +0 NonPoly +2 30.48/10.40
Complexity_ITS/Brockschmidt_16/T2/queue_100.koat 5152058 1 +2 1 +0 0.21/0.29 1 +2 1 +0 3.87/1.71
Complexity_ITS/Brockschmidt_16/T2/ex33.koat 5152059 1 +2 1 +0 0.08/0.07 1 +2 1 +0 3.56/2.28
Complexity_ITS/Brockschmidt_16/T2/consts4.koat 5152060 n1 +2 1 +0 0.09/0.08 n1 +2 n1 +2 3.61/1.75
Complexity_ITS/Brockschmidt_16/T2/n-37.koat 5152061 ∞ +0 1 +0 0.18/0.26 ∞ +0 NonPoly +2 3.47/1.62
Complexity_ITS/Brockschmidt_16/T2/n-15.koat 5152062 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 4.15/1.90
Complexity_ITS/Brockschmidt_16/T2/print.koat 5152063 ∞ +0 1 +0 6.01/6.09 ∞ +0 NonPoly +2 58.49/21.74
Complexity_ITS/Brockschmidt_16/T2/two_arrays2.koat 5152064 n1 +2 1 +0 1.15/1.24 n1 +2 n1 +2 7.57/3.13
Complexity_ITS/Brockschmidt_16/T2/n-36.koat 5152065 ∞ +0 1 +0 1.00/1.08 ∞ +0 NonPoly +2 4.83/2.05
Complexity_ITS/Brockschmidt_16/T2/array_free.koat 5152066 1 +2 1 +0 0.12/0.21 1 +2 1 +0 3.89/1.75
Complexity_ITS/Brockschmidt_16/T2/eric1.koat 5152067 ∞ +0 1 +0 0.25/0.34 ∞ +0 n2 +2 9.87/6.21
Complexity_ITS/Brockschmidt_16/T2/brp_withassume.koat 5152068 StarExec error ∞ +0 NonPoly +2 41.82/14.24
Complexity_ITS/Brockschmidt_16/T2/dsa_test9.koat 5152069 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.49/1.62
Complexity_ITS/Brockschmidt_16/T2/n-7.koat 5152070 ∞ +0 1 +0 0.17/0.26 ∞ +0 NonPoly +2 4.49/1.86
Complexity_ITS/Brockschmidt_16/T2/1394-succeed.koat 5152071 ∞ +0 1 +0 6.65/6.74 ∞ +0 NonPoly +2 27.50/11.33
Complexity_ITS/Brockschmidt_16/T2/st88.bug.koat 5152072 ∞ +0 1 +0 0.26/0.34 ∞ +0 NonPoly +2 6.91/3.00
Complexity_ITS/Brockschmidt_16/T2/d.koat 5152073 ∞ +0 1 +0 0.10/0.19 ∞ +0 NonPoly +2 4.10/1.81
Complexity_ITS/Brockschmidt_16/T2/p-16.koat 5152074 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 4.08/1.78
Complexity_ITS/Brockschmidt_16/T2/p-1b.koat 5152075 n1 +2 1 +0 0.14/0.25 n1 +2 n1 +2 4.16/1.83
Complexity_ITS/Brockschmidt_16/T2/stored.koat 5152076 ∞ +0 1 +0 0.28/0.36 ∞ +0 NonPoly +2 5.02/2.26
Complexity_ITS/Brockschmidt_16/T2/brp.koat 5152077 StarExec error ∞ +0 NonPoly +2 42.71/14.44
Complexity_ITS/Brockschmidt_16/T2/vmcai_struct.koat 5152078 1 +2 1 +0 0.07/0.06 StarExec error
Complexity_ITS/Brockschmidt_16/T2/streamserver-succeed.koat 5152079 ∞ +0 1 +0 178.34/178.40 ∞ +0 NonPoly +2 29.54/10.22
Complexity_ITS/Brockschmidt_16/T2/bubblesort_inner_loop.koat 5152080 1 +2 1 +0 0.18/0.27 1 +2 1 +0 3.83/1.67
Complexity_ITS/Brockschmidt_16/T2/fourn.koat 5152081 ∞ +0 1 +0 39.76/39.83 ∞ +0 NonPoly +2 53.95/18.15
Complexity_ITS/Brockschmidt_16/T2/invgen.koat 5152082 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 4.31/2.22
Complexity_ITS/Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat 5152083 StarExec error n1 +2 n1 +2 233.77/145.60
Complexity_ITS/Brockschmidt_16/T2/ex17.koat 5152084 1 +2 1 +0 0.24/0.32 1 +2 1 +0 3.62/1.64
Complexity_ITS/Brockschmidt_16/T2/consts5nt.koat 5152085 ∞ +0 1 +0 0.11/0.19 ∞ +0 NonPoly +2 4.02/1.81
Complexity_ITS/Brockschmidt_16/T2/dsa_test10.koat 5152086 1 +2 1 +0 0.20/0.29 1 +2 1 +0 3.79/1.68
Complexity_ITS/Brockschmidt_16/T2/slayer-n2.koat 5152087 ∞ +0 1 +0 0.13/0.21 ∞ +0 NonPoly +2 3.63/1.67
Complexity_ITS/Brockschmidt_16/T2/ex27.koat 5152088 1 +2 1 +0 2.93/3.01 1 +2 1 +0 31.26/13.59
Complexity_ITS/Brockschmidt_16/T2/6.koat 5152089 ∞ +0 1 +0 0.09/0.08 ∞ +0 NonPoly +2 3.44/1.63
Complexity_ITS/Brockschmidt_16/T2/n-5.koat 5152090 ∞ +0 1 +0 1.12/1.21 ∞ +0 NonPoly +2 7.14/2.81
Complexity_ITS/Brockschmidt_16/T2/consts5.koat 5152091 1 +2 1 +0 0.08/0.07 1 +2 1 +0 3.61/1.61
Complexity_ITS/Brockschmidt_16/T2/p-37.koat 5152092 1 +2 1 +0 0.26/0.34 1 +2 1 +0 3.60/1.72
Complexity_ITS/Brockschmidt_16/T2/a.10.c.koat 5152093 n1 +2 1 +0 1.45/1.54 n2 +1 n1 +2 8.41/4.98
Complexity_ITS/Brockschmidt_16/T2/ex19.koat 5152094 ∞ +0 1 +0 0.34/0.43 ∞ +0 NonPoly +2 4.19/1.87
Complexity_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.koat 5152095 StarExec error ∞ +0 NonPoly +2 6.88/3.01
Complexity_ITS/Brockschmidt_16/T2/ase_example.koat 5152096 StarExec error StarExec error
Complexity_ITS/Brockschmidt_16/T2/sumit.koat 5152097 n1 +2 1 +0 0.85/0.94 ∞ +0 n1 +2 8.39/4.87
Complexity_ITS/Brockschmidt_16/T2/dsa_test.koat 5152098 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.33/1.55
Complexity_ITS/Brockschmidt_16/T2/ex14.koat 5152099 1 +2 1 +0 0.13/0.22 1 +2 1 +0 3.75/1.72
Complexity_ITS/Brockschmidt_16/T2/mc91test.koat 5152100 ∞ +0 1 +0 0.36/0.45 ∞ +0 NonPoly +2 9.33/3.94
Complexity_ITS/Brockschmidt_16/T2/p-61.koat 5152101 1 +2 1 +0 0.18/0.27 1 +2 1 +0 3.59/1.62
Complexity_ITS/Brockschmidt_16/T2/p-6.koat 5152102 n1 +2 1 +0 0.23/0.31 n1 +2 n1 +2 4.94/2.28
Complexity_ITS/Brockschmidt_16/T2/p-41.koat 5152103 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.32/1.54
Complexity_ITS/Brockschmidt_16/T2/curious.koat 5152104 ∞ +0 1 +0 0.09/0.18 ∞ +0 NonPoly +2 3.78/1.76
Complexity_ITS/Brockschmidt_16/T2/p-19a.koat 5152105 ∞ +0 1 +0 0.17/0.26 ∞ +0 NonPoly +2 3.66/2.02
Complexity_ITS/Brockschmidt_16/T2/p-8.koat 5152106 ∞ +0 1 +0 0.15/0.24 ∞ +0 NonPoly +2 3.77/1.68
Complexity_ITS/Brockschmidt_16/T2/loop3.koat 5152107 1 +2 1 +0 13.97/14.03 1 +2 1 +0 53.10/18.77
Complexity_ITS/Brockschmidt_16/T2/byron-1.koat 5152108 n1 +2 1 +0 0.15/0.24 n1 +2 1 +0 3.96/1.82
Complexity_ITS/Brockschmidt_16/T2/n-33.koat 5152109 ∞ +0 1 +0 0.22/0.30 ∞ +0 NonPoly +2 5.88/2.62
Complexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.koat 5152110 ∞ +0 1 +0 0.19/0.27 ∞ +0 NonPoly +2 4.93/2.22
Complexity_ITS/Brockschmidt_16/T2/zeroconf.koat 5152111 ∞ +0 1 +0 15.22/15.30 ∞ +0 1 +0 149.26/66.69
Complexity_ITS/Brockschmidt_16/T2/create_seg.koat 5152112 ∞ +0 1 +0 0.34/0.43 ∞ +0 NonPoly +2 4.51/1.90
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat 5152113 n1 +2 1 +0 4.26/4.34 n1 +2 n1 +2 16.11/7.37
Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.koat 5152114 1 +2 1 +0 0.65/0.73 StarExec error
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat 5152115 n2 +1 1 +0 4.16/4.25 n1 +2 1 +0 81.81/56.70
Complexity_ITS/Brockschmidt_16/T2/svdcmp.koat 5152116 StarExec error ∞ +0 n1 +2 657.66/291.91
Complexity_ITS/Brockschmidt_16/T2/pldi.koat 5152117 n2 +2 1 +0 0.55/0.64 StarExec error
Complexity_ITS/Brockschmidt_16/T2/n-10.koat 5152118 StarExec error StarExec error
Complexity_ITS/Brockschmidt_16/T2/p-7.koat 5152119 n1 +2 1 +0 0.20/0.29 n1 +2 n1 +2 4.12/1.87
Complexity_ITS/Brockschmidt_16/T2/bf16.koat 5152120 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.34/1.85
Complexity_ITS/Brockschmidt_16/T2/smagillc-succeed.koat 5152121 ∞ +0 1 +0 0.30/0.39 ∞ +0 NonPoly +2 5.16/2.32
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat 5152122 ∞ +0 1 +0 3.12/3.20 n2 +2 n1 +2 51.02/42.38
Complexity_ITS/Brockschmidt_16/T2/walk.koat 5152123 StarExec error StarExec error
Complexity_ITS/Brockschmidt_16/T2/n-1.koat 5152124 ∞ +0 1 +0 0.21/0.30 ∞ +0 NonPoly +2 4.23/1.86
Complexity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.koat 5152125 ∞ +0 1 +0 0.29/0.38 ∞ +0 NonPoly +2 5.42/2.32
Complexity_ITS/Brockschmidt_16/T2/fdct.koat 5152126 1 +2 1 +0 0.75/0.84 StarExec error
Complexity_ITS/Brockschmidt_16/T2/fun7.koat 5152127 ∞ +0 1 +0 6.82/6.90 StarExec error
Complexity_ITS/Brockschmidt_16/T2/p-14.koat 5152128 StarExec error n1 +2 n1 +2 3.97/1.80
Complexity_ITS/Brockschmidt_16/T2/n-12.koat 5152129 ∞ +0 1 +0 0.20/0.28 ∞ +0 NonPoly +2 4.57/2.04
Complexity_ITS/Brockschmidt_16/T2/zeroconf_withassume.koat 5152130 ∞ +0 1 +0 17.47/17.55 ∞ +0 1 +0 160.12/70.45
Complexity_ITS/Brockschmidt_16/T2/array_init_assign.koat 5152131 1 +2 1 +0 0.18/0.27 1 +2 1 +0 3.56/1.63
Complexity_ITS/Brockschmidt_16/T2/ex31.koat 5152132 ∞ +0 1 +0 0.14/0.22 ∞ +0 NonPoly +2 3.97/1.87
Complexity_ITS/Brockschmidt_16/T2/mc91.koat 5152133 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 5.51/2.95
Complexity_ITS/Brockschmidt_16/T2/magic.koat 5152134 ∞ +0 1 +0 42.83/42.90 ∞ +0 NonPoly +2 50.79/17.09
Complexity_ITS/Brockschmidt_16/T2/ex11.koat 5152135 ∞ +0 1 +0 0.22/0.31 ∞ +0 NonPoly +2 5.90/3.41
Complexity_ITS/Brockschmidt_16/T2/bitcount32.koat 5152136 1 +2 1 +0 0.34/0.43 1 +2 1 +0 3.48/1.60
Complexity_ITS/Brockschmidt_16/T2/rev_nt2.koat 5152137 ∞ +0 1 +0 1.10/1.19 ∞ +0 NonPoly +2 7.16/3.61
Complexity_ITS/Brockschmidt_16/T2/cnt.koat 5152138 1 +2 1 +0 0.91/1.00 1 +2 1 +0 4.11/1.82
Complexity_ITS/Brockschmidt_16/T2/ex13.koat 5152139 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.34/1.54
Complexity_ITS/Brockschmidt_16/T2/bf13.koat 5152140 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.29/1.84
Complexity_ITS/Brockschmidt_16/T2/1394complete-fail.koat 5152141 ∞ +0 1 +0 5.87/5.95 ∞ +0 NonPoly +2 27.08/12.06
Complexity_ITS/Brockschmidt_16/T2/n-4.koat 5152142 ∞ +0 1 +0 1.89/1.97 ∞ +0 NonPoly +2 14.13/5.52
Complexity_ITS/Brockschmidt_16/T2/fun9.koat 5152143 ∞ +0 1 +0 176.58/176.55 ∞ +0 1 +0 311.58/291.58
Complexity_ITS/Brockschmidt_16/T2/bf12.koat 5152144 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.21/1.86
Complexity_ITS/Brockschmidt_16/T2/tqli.koat 5152145 StarExec error ∞ +0 n1 +2 168.77/138.03
Complexity_ITS/Brockschmidt_16/T2/pgarch.koat 5152146 StarExec error ∞ +0 1 +0 656.08/293.63
Complexity_ITS/Brockschmidt_16/T2/slayer-3-filtered.koat 5152147 ∞ +0 1 +0 42.36/42.44 ∞ +0 NonPoly +2 26.21/8.62
Complexity_ITS/Brockschmidt_16/T2/popl07-fail.koat 5152148 ∞ +0 1 +0 1.06/1.16 ∞ +0 NonPoly +2 5.45/2.37
Complexity_ITS/Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat 5152149 StarExec error n1 +2 n1 +2 41.59/35.48
Complexity_ITS/Brockschmidt_16/T2/w1.koat 5152150 ∞ +0 1 +0 0.09/0.08 ∞ +0 NonPoly +2 3.82/1.79
Complexity_ITS/Brockschmidt_16/T2/p-20.koat 5152151 ∞ +0 1 +0 0.18/0.27 ∞ +0 NonPoly +2 3.96/2.48
Complexity_ITS/Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat 5152152 ∞ +0 1 +0 6.82/6.91 ∞ +0 NonPoly +2 14.48/5.23
Complexity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.koat 5152153 ∞ +0 1 +0 128.53/128.62 ∞ +0 NonPoly +2 37.13/16.20
Complexity_ITS/Brockschmidt_16/T2/fun6.koat 5152154 StarExec error ∞ +0 NonPoly +2 50.72/23.17
Complexity_ITS/Brockschmidt_16/T2/n-6a.koat 5152155 ∞ +0 1 +0 0.22/0.31 ∞ +0 NonPoly +2 4.29/1.89
Complexity_ITS/Brockschmidt_16/T2/simple_control_on_input.koat 5152156 1 +2 1 +0 0.12/0.21 1 +2 1 +0 3.72/2.77
Complexity_ITS/Brockschmidt_16/T2/send-more-money.koat 5152157 StarExec error 1 +2 1 +0 56.27/27.39
Complexity_ITS/Brockschmidt_16/T2/5.koat 5152158 ∞ +0 1 +0 0.67/0.75 ∞ +0 NonPoly +2 7.31/2.78
Complexity_ITS/Brockschmidt_16/T2/array.koat 5152159 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.43/1.57
Complexity_ITS/Brockschmidt_16/T2/wrong_loop.koat 5152160 ∞ +0 1 +0 0.19/0.28 ∞ +0 NonPoly +2 4.73/2.25
Complexity_ITS/Brockschmidt_16/T2/fun2b.koat 5152161 ∞ +0 1 +0 56.76/56.85 ∞ +0 NonPoly +2 34.86/15.39
Complexity_ITS/Brockschmidt_16/T2/slayer-2-filtered.koat 5152162 1 +2 1 +0 0.14/0.23 1 +2 1 +0 3.70/1.62
Complexity_ITS/Brockschmidt_16/T2/p-19.koat 5152163 ∞ +0 1 +0 0.15/0.24 ∞ +0 NonPoly +2 3.82/1.71
Complexity_ITS/Brockschmidt_16/T2/queue_1000.koat 5152164 1 +2 1 +0 0.21/0.29 1 +2 1 +0 3.89/1.74
Complexity_ITS/Brockschmidt_16/T2/consts4nt.koat 5152165 ∞ +0 1 +0 0.10/0.18 ∞ +0 NonPoly +2 4.00/1.74
Complexity_ITS/Brockschmidt_16/T2/nakata.koat 5152166 StarExec error ∞ +0 NonPoly +2 30.09/10.40
Complexity_ITS/Brockschmidt_16/T2/ex40.koat 5152167 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 3.99/2.52
Complexity_ITS/Brockschmidt_16/T2/dropbuf.koat 5152168 ∞ +0 1 +0 2.43/2.52 ∞ +0 NonPoly +2 13.27/5.72
Complexity_ITS/Brockschmidt_16/T2/p-22.koat 5152169 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 3.96/2.37
Complexity_ITS/Brockschmidt_16/T2/bitcount16.koat 5152170 1 +2 1 +0 0.34/0.43 1 +2 1 +0 3.56/1.64
Complexity_ITS/Brockschmidt_16/T2/efegp.koat 5152171 ∞ +0 1 +0 25.83/25.92 ∞ +0 NonPoly +2 15.96/5.54
Complexity_ITS/Brockschmidt_16/T2/heidy7.koat 5152172 ∞ +0 1 +0 0.20/0.29 ∞ +0 NonPoly +2 5.79/2.45
Complexity_ITS/Brockschmidt_16/T2/sas2.koat 5152173 n1 +2 1 +0 6.12/6.19 ∞ +0 1 +0 66.87/38.74
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat 5152174 n1 +2 1 +0 39.94/40.00 n1 +2 n1 +2 38.37/19.99
Complexity_ITS/Brockschmidt_16/T2/p-43-terminate.koat 5152175 ∞ +0 1 +0 53.83/53.90 ∞ +0 n1 +2 77.14/60.05
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat 5152176 StarExec error n1 +2 n1 +2 160.35/147.06
Complexity_ITS/Brockschmidt_16/T2/ex37.koat 5152177 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.34/1.55
Complexity_ITS/Brockschmidt_16/T2/fun2.koat 5152178 n1 +2 1 +0 85.64/85.74 n1 +2 n1 +2 122.98/59.89
Complexity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.koat 5152179 1 +2 1 +0 0.11/0.20 1 +2 1 +0 3.34/1.56
Complexity_ITS/Brockschmidt_16/T2/byron-4.koat 5152180 n1 +2 1 +0 0.19/0.28 n1 +2 n1 +2 4.83/2.17
Complexity_ITS/Brockschmidt_16/T2/nested2.koat 5152181 ∞ +0 1 +0 0.15/0.24 ∞ +0 1 +0 5.53/2.84
Complexity_ITS/Brockschmidt_16/T2/toeplz.koat 5152182 ∞ +0 1 +0 6.84/6.92 ∞ +0 NonPoly +2 14.29/5.24
Complexity_ITS/Brockschmidt_16/T2/dsa_test4.koat 5152183 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.47/1.63
Complexity_ITS/Brockschmidt_16/T2/ex23.koat 5152184 StarExec error 1 +2 1 +0 3.95/1.72
Complexity_ITS/Brockschmidt_16/T2/ex18.koat 5152185 1 +2 1 +0 0.32/0.40 ∞ +0 1 +0 296.73/291.54
Complexity_ITS/Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat 5152186 n1 +2 1 +0 81.82/81.89 n1 +2 n1 +2 33.79/14.73
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.koat 5152187 ∞ +0 1 +0 0.26/0.34 ∞ +0 NonPoly +2 4.45/1.91
Complexity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.koat 5152188 ∞ +0 1 +0 0.32/0.41 ∞ +0 NonPoly +2 4.45/2.00
Complexity_ITS/Brockschmidt_16/T2/two_arrays6.koat 5152189 n1 +2 1 +0 1.12/1.20 n1 +2 n1 +2 7.29/3.10
Complexity_ITS/Brockschmidt_16/T2/ex1.koat 5152190 ∞ +0 1 +0 0.15/0.24 ∞ +0 NonPoly +2 3.55/1.58
Complexity_ITS/Brockschmidt_16/T2/traverse_twice.koat 5152191 ∞ +0 1 +0 3.97/4.17 StarExec error
Complexity_ITS/Brockschmidt_16/T2/simple_array_inversion.koat 5152192 1 +2 1 +0 0.12/0.20 StarExec error
Complexity_ITS/Brockschmidt_16/T2/selectSort.koat 5152193 n2 +2 1 +0 0.71/0.80 n2 +2 n2 +2 5.55/2.52
Complexity_ITS/Brockschmidt_16/T2/7.koat 5152194 ∞ +0 1 +0 0.13/0.21 ∞ +0 NonPoly +2 3.92/1.73
Complexity_ITS/Brockschmidt_16/T2/bf17.koat 5152195 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.34/1.85
Complexity_ITS/Brockschmidt_16/T2/array2.koat 5152196 1 +2 1 +0 0.12/0.20 1 +2 1 +0 3.60/1.67
Complexity_ITS/Brockschmidt_16/T2/two_arrays.koat 5152197 1 +2 1 +0 0.53/0.62 1 +2 1 +0 4.47/2.10
Complexity_ITS/Brockschmidt_16/T2/bf11.koat 5152198 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.21/1.82
Complexity_ITS/Brockschmidt_16/T2/destroy_seg_leak.koat 5152199 ∞ +0 1 +0 7.65/7.73 StarExec error
Complexity_ITS/Brockschmidt_16/T2/db3.koat 5152200 StarExec error ∞ +0 NonPoly +2 78.34/25.86
Complexity_ITS/Brockschmidt_16/T2/two_arrays1.koat 5152201 1 +2 1 +0 0.74/0.82 1 +2 1 +0 5.62/2.30
Complexity_ITS/Brockschmidt_16/T2/fermat.koat 5152202 1 +2 1 +0 0.63/0.72 1 +2 1 +0 3.89/1.73
Complexity_ITS/Brockschmidt_16/T2/constants.koat 5152203 1 +2 1 +0 0.25/0.34 1 +2 1 +0 3.63/1.62
Complexity_ITS/Brockschmidt_16/T2/fun1.koat 5152204 StarExec error ∞ +0 NonPoly +2 36.09/15.91
Complexity_ITS/Brockschmidt_16/T2/p-9.koat 5152205 ∞ +0 1 +0 0.15/0.24 ∞ +0 NonPoly +2 3.70/1.70
Complexity_ITS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat 5152206 StarExec error ∞ +0 n1 +2 513.40/291.83
Complexity_ITS/Brockschmidt_16/T2/p-18.koat 5152207 n1 +2 1 +0 0.13/0.22 n1 +2 n1 +2 3.82/1.82
Complexity_ITS/Brockschmidt_16/T2/rlft3.koat 5152208 StarExec error n1 +2 n1 +2 29.62/13.92
Complexity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.koat 5152209 ∞ +0 1 +0 0.13/0.21 ∞ +0 NonPoly +2 3.95/1.79
Complexity_ITS/Brockschmidt_16/T2/slayer-4-filtered.koat 5152210 StarExec error ∞ +0 NonPoly +2 123.07/40.86
Complexity_ITS/Brockschmidt_16/T2/rewrite.koat 5152211 ∞ +0 1 +0 0.09/0.14 ∞ +0 NonPoly +2 3.64/1.65
Complexity_ITS/Brockschmidt_16/T2/heidy2.koat 5152212 ∞ +0 1 +0 0.11/0.19 ∞ +0 NonPoly +2 4.09/1.81
Complexity_ITS/Brockschmidt_16/T2/p-13.koat 5152213 1 +2 1 +0 0.08/0.06 1 +2 1 +0 3.36/1.56
Complexity_ITS/Brockschmidt_16/T2/e-1394complete-succeed.koat 5152214 ∞ +0 1 +0 5.49/5.57 ∞ +0 NonPoly +2 27.18/11.41
Complexity_ITS/Brockschmidt_16/T2/eric.koat 5152215 n1 +2 1 +0 0.24/0.32 n2 +1 n1 +2 5.29/2.74
Complexity_ITS/Brockschmidt_16/T2/dsa_test1.koat 5152216 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.61/1.66
Complexity_ITS/Brockschmidt_16/T2/p-40.koat 5152217 ∞ +0 1 +0 0.13/0.22 ∞ +0 NonPoly +2 4.12/1.80
Complexity_ITS/Brockschmidt_16/T2/simpleWhile.koat 5152218 n1 +2 1 +0 0.37/0.46 n1 +2 n1 +2 4.32/1.94
Complexity_ITS/Brockschmidt_16/T2/consts2.koat 5152219 n1 +2 1 +0 0.09/0.08 n1 +2 n1 +2 3.84/1.79
Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.koat 5152220 1 +2 1 +0 0.07/0.07 1 +2 1 +0 3.44/1.60
Complexity_ITS/Brockschmidt_16/T2/p-60.koat 5152221 1 +2 1 +0 0.18/0.26 n1 +1 1 +0 3.98/1.90
Complexity_ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.koat 5152222 ∞ +0 1 +0 0.25/0.34 ∞ +0 NonPoly +2 7.01/3.07
Complexity_ITS/Brockschmidt_16/T2/dummy.koat 5152223 ∞ +0 1 +0 0.11/0.10 ∞ +0 NonPoly +2 3.70/1.70
Complexity_ITS/Brockschmidt_16/T2/p-52.koat 5152224 ∞ +0 1 +0 0.16/0.24 ∞ +0 NonPoly +2 3.75/1.71
Complexity_ITS/Brockschmidt_16/T2/p-21.koat 5152225 n1 +2 1 +0 0.30/0.38 n1 +2 n1 +2 4.46/1.98
Complexity_ITS/Brockschmidt_16/T2/w2_nt.koat 5152226 ∞ +0 1 +0 1.02/1.10 ∞ +0 NonPoly +2 6.81/2.84
Complexity_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.koat 5152227 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 4.72/2.14
Complexity_ITS/Brockschmidt_16/T2/232.koat 5152228 n2 +2 1 +0 0.14/0.23 n2 +2 n2 +2 4.12/2.11
Complexity_ITS/Brockschmidt_16/T2/array_init.koat 5152229 1 +2 1 +0 0.12/0.20 1 +2 1 +0 3.50/2.44
Complexity_ITS/Brockschmidt_16/T2/n_firewire_instrumented-PP.koat 5152230 ∞ +0 1 +0 18.40/18.49 ∞ +0 NonPoly +2 63.86/26.48
Complexity_ITS/Brockschmidt_16/T2/dsa_test11.koat 5152231 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.46/1.57
Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.koat 5152232 ∞ +0 1 +0 0.28/0.37 ∞ +0 NonPoly +2 4.89/2.14
Complexity_ITS/Brockschmidt_16/T2/polyrank3.koat 5152233 ∞ +0 1 +0 0.12/0.21 ∞ +0 1 +0 7.19/4.52
Complexity_ITS/Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat 5152234 StarExec error n1 +2 n1 +2 89.22/74.55
Complexity_ITS/Brockschmidt_16/T2/fast_poll.koat 5152235 ∞ +0 1 +0 172.47/172.55 ∞ +0 NonPoly +2 35.51/15.46
Complexity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.koat 5152236 ∞ +0 1 +0 1.28/1.38 ∞ +0 NonPoly +2 5.81/2.65
Complexity_ITS/Brockschmidt_16/T2/ex34.koat 5152237 1 +2 1 +0 0.10/0.10 1 +2 1 +0 3.36/1.56
Complexity_ITS/Brockschmidt_16/T2/p-34.koat 5152238 ∞ +0 1 +0 0.74/0.83 ∞ +0 NonPoly +2 4.52/2.03
Complexity_ITS/Brockschmidt_16/T2/neg-1394complete-fail.koat 5152239 ∞ +0 1 +0 5.90/5.98 ∞ +0 NonPoly +2 26.38/10.84
Complexity_ITS/Brockschmidt_16/T2/bf6.koat 5152240 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.44/1.93
Complexity_ITS/Brockschmidt_16/T2/intSqRoot.koat 5152241 ∞ +0 1 +0 0.18/0.27 ∞ +0 1 +0 3.79/1.82
Complexity_ITS/Brockschmidt_16/T2/bf20.koat 5152242 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.22/1.84
Complexity_ITS/Brockschmidt_16/T2/consts3.koat 5152243 n1 +2 1 +0 0.09/0.08 n1 +2 n1 +2 3.95/1.80
Complexity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.koat 5152244 ∞ +0 1 +0 0.19/0.27 ∞ +0 NonPoly +2 4.92/2.21
Complexity_ITS/Brockschmidt_16/T2/fun4-alt.koat 5152245 n1 +1 1 +0 0.17/0.26 1 +2 1 +0 3.69/1.65
Complexity_ITS/Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat 5152246 ∞ +0 1 +0 3.16/3.24 n2 +2 n1 +2 54.41/45.57
Complexity_ITS/Brockschmidt_16/T2/traverse_seg2.koat 5152247 ∞ +0 1 +0 3.77/3.85 ∞ +0 NonPoly +2 50.80/17.20
Complexity_ITS/Brockschmidt_16/T2/slayer-3.koat 5152248 StarExec error ∞ +0 1 +0 893.66/294.98
Complexity_ITS/Brockschmidt_16/T2/nested.koat 5152249 ∞ +0 1 +0 0.29/0.38 ∞ +0 NonPoly +2 4.46/2.02
Complexity_ITS/Brockschmidt_16/T2/janne_complex.koat 5152250 ∞ +0 1 +0 0.43/0.51 ∞ +0 1 +0 15.60/10.09
Complexity_ITS/Brockschmidt_16/T2/n-20.koat 5152251 ∞ +0 1 +0 0.13/0.22 ∞ +0 NonPoly +2 4.10/1.76
Complexity_ITS/Brockschmidt_16/T2/fun5.koat 5152252 n1 +2 1 +0 4.14/4.22 ∞ +0 1 +0 328.59/289.62
Complexity_ITS/Brockschmidt_16/T2/st88.koat 5152253 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 6.29/2.52
Complexity_ITS/Brockschmidt_16/T2/ex26.koat 5152254 1 +2 1 +0 0.23/0.31 1 +2 1 +0 3.70/2.45
Complexity_ITS/Brockschmidt_16/T2/bio.koat 5152255 StarExec error ∞ +0 1 +0 881.61/292.75
Complexity_ITS/Brockschmidt_16/T2/bf7.koat 5152256 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.21/1.86
Complexity_ITS/Brockschmidt_16/T2/cover.koat 5152257 StarExec error 1 +2 1 +0 140.26/46.67
Complexity_ITS/Brockschmidt_16/T2/polling.koat 5152258 ∞ +0 1 +0 129.53/129.60 ∞ +0 NonPoly +2 43.57/18.64
Complexity_ITS/Brockschmidt_16/T2/simple_swap_call.koat 5152259 1 +2 1 +0 0.08/0.06 1 +2 1 +0 3.48/1.58
Complexity_ITS/Brockschmidt_16/T2/loop_on_input.koat 5152260 1 +2 1 +0 0.14/0.22 ∞ +0 1 +0 4.20/1.99
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat 5152261 StarExec error ∞ +0 NonPoly +2 342.91/147.19
Complexity_ITS/Brockschmidt_16/T2/p-7b.koat 5152262 n1 +2 1 +0 0.20/0.29 n1 +2 n1 +2 4.08/1.80
Complexity_ITS/Brockschmidt_16/T2/spctrm.koat 5152263 n1 +2 1 +0 81.86/81.93 n1 +2 n1 +2 33.50/14.99
Complexity_ITS/Brockschmidt_16/T2/flipflop.koat 5152264 ∞ +0 1 +0 0.10/0.18 ∞ +0 NonPoly +2 3.58/2.42
Complexity_ITS/Brockschmidt_16/T2/reverse_div4.koat 5152265 ∞ +0 1 +0 1.11/1.20 ∞ +0 NonPoly +2 5.36/2.42
Complexity_ITS/Brockschmidt_16/T2/byron-3.koat 5152266 ∞ +0 1 +0 0.15/0.24 ∞ +0 1 +0 5.69/3.60
Complexity_ITS/Brockschmidt_16/T2/sequential_swap.koat 5152267 1 +2 1 +0 0.07/0.09 1 +2 1 +0 3.47/1.57
Complexity_ITS/Brockschmidt_16/T2/bf18.koat 5152268 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.58/1.98
Complexity_ITS/Brockschmidt_16/T2/n-40.koat 5152269 ∞ +0 1 +0 0.87/0.96 ∞ +0 NonPoly +2 11.35/4.93
Complexity_ITS/Brockschmidt_16/T2/seq2.koat 5152270 n1 +2 1 +0 0.10/0.09 n1 +2 n1 +2 3.76/1.72
Complexity_ITS/Brockschmidt_16/T2/bf15.koat 5152271 1 +2 1 +0 0.76/0.87 1 +2 1 +0 4.26/1.86
Complexity_ITS/Brockschmidt_16/T2/n-1d.koat 5152272 ∞ +0 1 +0 0.22/0.31 ∞ +0 NonPoly +2 4.46/5.22
Complexity_ITS/Brockschmidt_16/T2/p-32.koat 5152273 ∞ +0 1 +0 0.13/0.23 ∞ +0 NonPoly +2 3.95/1.93
Complexity_ITS/Brockschmidt_16/T2/n-18a.koat 5152274 ∞ +0 1 +0 0.14/0.23 ∞ +0 1 +0 5.24/3.02
Complexity_ITS/Brockschmidt_16/T2/Loop.koat 5152275 n1 +2 1 +0 85.77/85.88 n1 +2 n1 +2 123.13/59.96
Complexity_ITS/Brockschmidt_16/T2/traverse.koat 5152276 ∞ +0 1 +0 2.62/2.70 ∞ +0 NonPoly +2 38.33/14.46
Complexity_ITS/Brockschmidt_16/T2/n-8.koat 5152277 ∞ +0 1 +0 0.22/0.31 ∞ +0 NonPoly +2 3.92/1.80
Complexity_ITS/Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat 5152278 StarExec error ∞ +0 n1 +2 658.84/291.91
Complexity_ITS/Brockschmidt_16/T2/firewire.koat 5152279 ∞ +0 1 +0 7.23/7.32 ∞ +0 NonPoly +2 73.13/46.20
Complexity_ITS/Brockschmidt_16/T2/p-4.koat 5152280 n1 +2 1 +0 0.16/0.25 n2 +1 n1 +2 4.25/1.96
Complexity_ITS/Brockschmidt_16/T2/fun10b.koat 5152281 ∞ +0 1 +0 9.81/9.89 ∞ +0 NonPoly +2 8.00/2.87
Complexity_ITS/Brockschmidt_16/T2/matmul.koat 5152282 1 +2 1 +0 0.49/0.57 StarExec error
Complexity_ITS/Brockschmidt_16/T2/afagp-fail.koat 5152283 ∞ +0 1 +0 66.56/66.65 ∞ +0 NonPoly +2 19.55/6.70
Complexity_ITS/Brockschmidt_16/T2/bf19.koat 5152284 StarExec error StarExec error
Complexity_ITS/Brockschmidt_16/T2/heidy3.koat 5152285 StarExec error StarExec error
Complexity_ITS/Brockschmidt_16/T2/ex36.koat 5152286 ∞ +0 1 +0 94.85/94.92 ∞ +0 NonPoly +2 221.11/73.81
Complexity_ITS/Brockschmidt_16/T2/heidy10.koat 5152287 ∞ +0 1 +0 0.11/0.20 ∞ +0 NonPoly +2 4.84/2.15
Complexity_ITS/Brockschmidt_16/T2/p-33.koat 5152288 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 4.77/2.29
Complexity_ITS/Brockschmidt_16/T2/polyrank7.koat 5152289 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 3.88/1.70
Complexity_ITS/Brockschmidt_16/T2/p-5.koat 5152290 ∞ +0 1 +0 1.12/1.20 ∞ +0 NonPoly +2 7.19/2.84
Complexity_ITS/Brockschmidt_16/T2/p-44.koat 5152291 n1 +2 1 +0 0.16/0.25 n1 +2 n1 +2 4.12/1.90
Complexity_ITS/Brockschmidt_16/T2/smagillc-fail.koat 5152292 ∞ +0 1 +0 0.35/0.43 ∞ +0 NonPoly +2 5.13/2.31
Complexity_ITS/Brockschmidt_16/T2/p-49.koat 5152293 n1 +2 1 +0 0.13/0.21 n1 +2 n1 +2 4.07/1.80
Complexity_ITS/Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat 5152294 StarExec error ∞ +0 n1 +2 174.20/143.49
Complexity_ITS/Brockschmidt_16/T2/p-10.koat 5152295 ∞ +0 1 +0 0.17/0.26 ∞ +0 NonPoly +2 3.68/1.69
Complexity_ITS/Brockschmidt_16/T2/s3-work.koat 5152296 ∞ +0 1 +0 44.08/44.15 ∞ +0 NonPoly +2 860.69/286.02
Complexity_ITS/Brockschmidt_16/T2/p-55.koat 5152297 n1 +2 1 +0 0.31/0.40 n2 +1 n1 +2 4.95/2.38
Complexity_ITS/Brockschmidt_16/T2/s1-saved.koat 5152298 ∞ +0 1 +0 2.53/2.61 ∞ +0 NonPoly +2 39.34/14.55
Complexity_ITS/Brockschmidt_16/T2/p-36.koat 5152299 ∞ +0 1 +0 0.48/0.58 ∞ +0 NonPoly +2 3.96/1.76
Complexity_ITS/Brockschmidt_16/T2/ex10.koat 5152300 ∞ +0 1 +0 0.41/0.50 ∞ +0 NonPoly +2 4.00/1.86
Complexity_ITS/Brockschmidt_16/T2/traverse2.koat 5152301 ∞ +0 1 +0 7.69/7.78 ∞ +0 NonPoly +2 437.27/160.20
Complexity_ITS/Brockschmidt_16/T2/ctl.koat 5152302 ∞ +0 1 +0 0.29/0.37 ∞ +0 NonPoly +2 4.04/1.83
Complexity_ITS/Brockschmidt_16/T2/dsa_test12.koat 5152303 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.28/1.54
Complexity_ITS/Brockschmidt_16/T2/heidy7-simple.koat 5152304 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 4.24/1.84
Complexity_ITS/Brockschmidt_16/T2/array3.koat 5152305 1 +2 1 +0 0.19/0.27 1 +2 1 +0 3.77/1.69
Complexity_ITS/Brockschmidt_16/T2/traverse_seg.koat 5152306 ∞ +0 1 +0 3.19/3.31 ∞ +0 NonPoly +2 44.44/14.82
Complexity_ITS/Brockschmidt_16/T2/fun4.koat 5152307 n1 +1 1 +0 0.18/0.27 1 +2 1 +0 4.01/1.80
Complexity_ITS/Brockschmidt_16/T2/heidy5.koat 5152308 n1 +2 1 +0 0.15/0.24 n1 +2 n1 +2 4.12/2.47
Complexity_ITS/Brockschmidt_16/T2/ex30.koat 5152309 ∞ +0 1 +0 0.26/0.35 ∞ +0 NonPoly +2 4.57/1.96
Complexity_ITS/Brockschmidt_16/T2/qrdcmp.koat 5152310 n1 +2 1 +0 4.21/4.29 n1 +2 n1 +2 16.05/7.39
Complexity_ITS/Brockschmidt_16/T2/curious4.koat 5152311 StarExec error ∞ +0 NonPoly +2 27.08/12.03
Complexity_ITS/Brockschmidt_16/T2/select.koat 5152312 ∞ +0 1 +0 118.51/118.55 ∞ +0 NonPoly +2 13.04/4.75
Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.koat 5152313 ∞ +0 1 +0 1.71/1.79 ∞ +0 n1 +2 282.11/254.73
Complexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.koat 5152314 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 3.82/1.70
Complexity_ITS/Brockschmidt_16/T2/rev_nt3.koat 5152315 StarExec error ∞ +0 NonPoly +2 7.30/3.05
Complexity_ITS/Brockschmidt_16/T2/n-17.koat 5152316 ∞ +0 1 +0 0.13/0.21 ∞ +0 NonPoly +2 3.96/1.79
Complexity_ITS/Brockschmidt_16/T2/sort.koat 5152317 1 +2 1 +0 3.31/3.39 1 +2 1 +0 6.24/2.56
Complexity_ITS/Brockschmidt_16/T2/p-1d.koat 5152318 n1 +2 1 +0 0.22/0.31 n1 +2 n1 +2 5.04/2.37
Complexity_ITS/Brockschmidt_16/T2/p-53.koat 5152319 1 +2 1 +0 0.08/0.06 1 +2 1 +0 3.47/1.60
Complexity_ITS/Brockschmidt_16/T2/destroy.koat 5152320 ∞ +0 1 +0 1.05/1.14 ∞ +0 NonPoly +2 10.95/4.90
Complexity_ITS/Brockschmidt_16/T2/simple.koat 5152321 ∞ +0 1 +0 0.09/0.08 ∞ +0 NonPoly +2 4.03/1.78
Complexity_ITS/Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat 5152322 StarExec error ∞ +0 n1 +2 326.53/291.64
Complexity_ITS/Brockschmidt_16/T2/e-popl07-fail.koat 5152323 ∞ +0 1 +0 2.07/2.15 ∞ +0 NonPoly +2 7.06/3.13
Complexity_ITS/Brockschmidt_16/T2/ex7.koat 5152324 1 +2 1 +0 0.15/0.23 1 +2 1 +0 3.77/1.65
Complexity_ITS/Brockschmidt_16/T2/dsa_test6.koat 5152325 1 +2 1 +0 0.12/0.21 1 +2 1 +0 3.37/1.57
Complexity_ITS/Brockschmidt_16/T2/slayer-n1.koat 5152326 ∞ +0 1 +0 1.16/1.25 ∞ +0 NonPoly +2 9.40/4.18
Complexity_ITS/Brockschmidt_16/T2/n-18.koat 5152327 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 3.92/1.79
Complexity_ITS/Brockschmidt_16/T2/elmhes.koat 5152328 ∞ +0 1 +0 3.09/3.17 n2 +2 n1 +2 27.47/19.04
Complexity_ITS/Brockschmidt_16/T2/n-16.koat 5152329 ∞ +0 1 +0 0.12/0.21 ∞ +0 NonPoly +2 4.14/1.88
Complexity_ITS/Brockschmidt_16/T2/destroy_seg.koat 5152330 ∞ +0 1 +0 1.32/1.41 ∞ +0 NonPoly +2 11.21/4.54
Complexity_ITS/Brockschmidt_16/T2/p-43.koat 5152331 ∞ +0 1 +0 0.38/0.46 ∞ +0 n1 +2 5.42/2.98
Complexity_ITS/Brockschmidt_16/T2/n-9.koat 5152332 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 4.68/2.17
Complexity_ITS/Brockschmidt_16/T2/ex4.koat 5152333 1 +2 1 +0 0.50/0.59 1 +2 1 +0 3.83/1.72
Complexity_ITS/Brockschmidt_16/T2/ex6.koat 5152334 1 +2 1 +0 0.07/0.07 1 +2 1 +0 3.52/1.65
Complexity_ITS/Brockschmidt_16/T2/graycode.koat 5152335 1 +2 1 +0 6.39/6.47 1 +2 1 +0 19.66/7.00
Complexity_ITS/Brockschmidt_16/T2/bf9.koat 5152336 1 +2 1 +0 0.76/0.85 1 +2 1 +0 4.22/1.84
Complexity_ITS/Brockschmidt_16/T2/neg-e-1394complete-succeed.koat 5152337 ∞ +0 1 +0 5.51/5.59 ∞ +0 NonPoly +2 26.44/11.23
Complexity_ITS/Brockschmidt_16/T2/p-1a.koat 5152338 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 3.66/1.67
Complexity_ITS/Brockschmidt_16/T2/insertsort.koat 5152339 ∞ +0 1 +0 0.26/0.38 ∞ +0 NonPoly +2 4.02/1.80
Complexity_ITS/Brockschmidt_16/T2/ex21.koat 5152340 1 +2 1 +0 0.23/0.31 1 +2 1 +0 3.80/1.66
Complexity_ITS/Brockschmidt_16/T2/streamserver.bug.koat 5152341 ∞ +0 1 +0 118.04/118.11 ∞ +0 NonPoly +2 33.35/11.44
Complexity_ITS/Brockschmidt_16/T2/1.koat 5152342 ∞ +0 1 +0 0.74/0.83 ∞ +0 NonPoly +2 5.36/2.31
Complexity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.koat 5152343 ∞ +0 1 +0 0.34/0.43 ∞ +0 NonPoly +2 4.88/2.16
Complexity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.koat 5152344 ∞ +0 1 +0 0.84/0.93 ∞ +0 NonPoly +2 4.58/1.93
Complexity_ITS/Brockschmidt_16/T2/spiral.koat 5152345 n1 +2 1 +0 0.39/0.48 n2 +1 n1 +2 10.28/4.94
Complexity_ITS/Brockschmidt_16/T2/apchild-live.koat 5152346 StarExec error ∞ +0 NonPoly +2 32.11/14.00
Complexity_ITS/Brockschmidt_16/T2/heidy1.koat 5152347 ∞ +0 1 +0 0.10/0.08 ∞ +0 NonPoly +2 3.65/1.69
Complexity_ITS/Brockschmidt_16/T2/seq.koat 5152348 n1 +2 1 +0 0.09/0.08 n1 +2 n1 +2 3.97/1.84
Complexity_ITS/Brockschmidt_16/T2/ex29.koat 5152349 1 +2 1 +0 0.22/0.30 1 +2 1 +0 3.90/1.77
Complexity_ITS/Brockschmidt_16/T2/polling.bug.koat 5152350 ∞ +0 1 +0 152.41/152.47 ∞ +0 NonPoly +2 44.83/19.13
Complexity_ITS/Brockschmidt_16/T2/db2.koat 5152351 StarExec error ∞ +0 NonPoly +2 84.09/27.47
Complexity_ITS/Brockschmidt_16/T2/n-6.koat 5152352 ∞ +0 1 +0 0.23/0.32 ∞ +0 NonPoly +2 4.79/2.16
Complexity_ITS/Brockschmidt_16/T2/collatz.koat 5152353 ∞ +0 1 +0 0.23/0.32 ∞ +0 1 +0 6.92/3.16
Complexity_ITS/Brockschmidt_16/T2/create.koat 5152354 ∞ +0 1 +0 0.32/0.41 ∞ +0 NonPoly +2 4.08/1.78
Complexity_ITS/Brockschmidt_16/T2/slayer-1-filtered.koat 5152355 ∞ +0 1 +0 1.77/1.85 ∞ +0 NonPoly +2 11.84/4.28
Complexity_ITS/Brockschmidt_16/T2/ludcmp.koat 5152356 n1 +2 1 +0 39.91/39.97 n1 +2 n1 +2 37.84/20.49
Complexity_ITS/Brockschmidt_16/T2/simple_pre2.koat 5152357 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.45/1.58
Complexity_ITS/Brockschmidt_16/T2/p-1.koat 5152358 ∞ +0 1 +0 0.16/0.26 ∞ +0 NonPoly +2 3.72/1.66
Complexity_ITS/Brockschmidt_16/T2/fake-succeed.koat 5152359 ∞ +0 1 +0 176.16/176.28 ∞ +0 NonPoly +2 45.46/15.04
Complexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.koat 5152360 n2 +2 1 +0 0.22/0.30 n2 +2 n2 +2 4.58/2.09
Complexity_ITS/Brockschmidt_16/T2/consts3nt.koat 5152361 ∞ +0 1 +0 0.10/0.18 ∞ +0 NonPoly +2 4.04/1.78
Complexity_ITS/Brockschmidt_16/T2/popl07-succeed.koat 5152362 ∞ +0 1 +0 1.11/1.20 ∞ +0 NonPoly +2 5.11/2.30
Complexity_ITS/Brockschmidt_16/T2/ex8.koat 5152363 ∞ +0 1 +0 0.26/0.34 ∞ +0 NonPoly +2 4.64/1.96
Complexity_ITS/Brockschmidt_16/T2/bsort100.koat 5152364 1 +2 1 +0 1.07/1.16 1 +2 1 +0 4.29/1.84
Complexity_ITS/Brockschmidt_16/T2/consts2nt.koat 5152365 ∞ +0 1 +0 0.09/0.18 ∞ +0 NonPoly +2 3.68/1.69
Complexity_ITS/Brockschmidt_16/T2/bs.koat 5152366 ∞ +0 1 +0 0.38/0.47 ∞ +0 NonPoly +2 6.13/2.64
Complexity_ITS/Brockschmidt_16/T2/bf8.koat 5152367 1 +2 1 +0 0.76/0.84 1 +2 1 +0 4.36/1.92
Complexity_ITS/Brockschmidt_16/T2/ndes.koat 5152368 1 +2 1 +0 78.17/78.26 1 +2 1 +0 46.47/15.59
Complexity_ITS/Brockschmidt_16/T2/reverse.koat 5152369 ∞ +0 1 +0 4.49/4.85 ∞ +0 NonPoly +2 50.51/21.57
Complexity_ITS/Brockschmidt_16/T2/pearl-necklace.koat 5152370 n1 +2 1 +0 0.42/0.50 n1 +2 n1 +2 5.25/2.37
Complexity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.koat 5152371 ∞ +0 1 +0 7.82/7.91 ∞ +0 NonPoly +2 8.51/7.38
Complexity_ITS/Brockschmidt_16/T2/dsa_test13.koat 5152372 1 +2 1 +0 0.07/0.06 1 +2 1 +0 3.40/1.58
Complexity_ITS/Brockschmidt_16/T2/p-45.koat 5152373 n1 +2 1 +0 0.26/0.34 n1 +2 n1 +2 4.03/1.86
Complexity_ITS/Brockschmidt_16/T2/1394complete-succeed.koat 5152374 ∞ +0 1 +0 5.98/6.06 ∞ +0 NonPoly +2 26.81/11.05
Complexity_ITS/Brockschmidt_16/T2/polyrank1.koat 5152375 ∞ +0 1 +0 0.10/0.19 ∞ +0 1 +0 4.99/3.00
Complexity_ITS/Brockschmidt_16/T2/p-58.koat 5152376 1 +2 1 +0 0.09/0.08 1 +2 1 +0 3.69/1.66
Complexity_ITS/Brockschmidt_16/T2/jfdctint.koat 5152377 1 +2 1 +0 0.86/0.95 1 +2 1 +0 3.90/1.92
Complexity_ITS/Brockschmidt_16/T2/sas1.koat 5152378 n1 +2 1 +0 0.64/0.73 n1 +2 n1 +2 7.13/3.19
Complexity_ITS/Brockschmidt_16/T2/consts1.koat 5152379 1 +2 1 +0 0.10/0.20 1 +2 1 +0 3.58/1.73
Complexity_ITS/Brockschmidt_16/T2/ex3.koat 5152380 1 +2 1 +0 0.16/0.25 1 +2 1 +0 3.43/1.59
Complexity_ITS/Brockschmidt_16/T2/create_via_tmps.koat 5152381 n1 +2 1 +0 1.06/1.14 n1 +2 n1 +2 10.66/4.51
Complexity_ITS/Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat 5152382 n1 +2 1 +0 39.24/39.29 n1 +2 n1 +2 30.05/13.79
Complexity_ITS/Brockschmidt_16/T2/p-1c.koat 5152383 ∞ +0 1 +0 0.16/0.24 ∞ +0 NonPoly +2 3.67/1.70
Complexity_ITS/Brockschmidt_16/T2/ex2.koat 5152384 ∞ +0 1 +0 0.16/0.25 ∞ +0 NonPoly +2 4.15/1.82
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex15.koat 5151858 ∞ +0 1 +0 5.04/5.11 ∞ +0 NonPoly +2 11.07/4.14
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex12.koat 5151859 n1 +2 1 +0 0.21/0.30 n2 +1 n1 +2 4.77/2.44
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex05.koat 5151860 n2 +2 1 +0 0.27/0.36 n2 +2 n2 +2 4.76/2.17
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex07.koat 5151861 n2 +2 1 +0 0.38/0.47 n2 +2 n2 +2 5.14/2.27
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex14.koat 5151862 n4 +2 1 +0 0.88/0.97 n7 +1 n4 +2 15.60/11.11
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex02.koat 5151863 n2 +2 1 +0 0.27/0.35 n2 +2 n2 +2 4.94/2.99
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex11.koat 5151864 n2 +2 1 +0 0.30/0.39 n2 +2 n2 +2 4.80/2.49
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex13.koat 5151865 n3 +2 1 +0 1.56/1.64 n3 +2 n3 +2 32.22/23.05
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex06.koat 5151866 n2 +2 1 +0 0.27/0.36 n2 +2 n2 +2 4.21/1.93
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex03.koat 5151867 n4 +2 1 +0 1.24/1.32 n5 +1 n4 +2 16.88/12.06
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex09.koat 5151868 n2 +2 1 +0 0.37/0.46 n2 +2 n2 +2 4.62/2.14
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex10.koat 5151869 n2 +2 1 +0 0.32/0.41 n2 +2 n2 +2 4.72/2.19
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex04.koat 5151870 ∞ +0 1 +0 0.68/0.76 ∞ +0 1 +0 7.61/3.85
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex08.koat 5151871 n2 +2 1 +0 0.30/0.39 n2 +2 n2 +2 5.09/2.25
Complexity_ITS/Brockschmidt_16/c-examples/ABC/ex01.koat 5151872 n1 +2 1 +0 0.14/0.23 n1 +2 n1 +2 4.08/1.85
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex1.koat 5151855 n2 +2 1 +0 0.99/1.07 n2 +2 n1 +2 14.93/7.06
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex3.koat 5151856 n1 +2 1 +0 0.80/0.88 n1 +2 n1 +2 7.06/3.16
Complexity_ITS/Brockschmidt_16/c-examples/Rank/ex2.koat 5151857 n1 +2 1 +0 0.47/0.55 n1 +2 n1 +2 6.95/3.03
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example2.koat 5151817 n1 +2 1 +0 6.59/6.67 ∞ +0 n1 +2 81.27/36.33
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example3.koat 5151818 n1 +2 1 +0 0.25/0.34 n1 +2 1 +0 6.40/2.89
Complexity_ITS/Brockschmidt_16/c-examples/Loopus/Example1.koat 5151819 n1 +2 1 +0 0.57/0.65 n1 +2 n1 +2 6.26/2.73
883 1934