Complexity: ITS

benchmark CoFloCo 2018 AProVE
scoreloweruppertime scoreloweruppertime
Brockschmidt_16/c-examples/WTC/perfect.koat 2 1 n2 0.48/0.57 4 n1 n2 9.35/4.86
Brockschmidt_16/c-examples/WTC/realshellsort.koat 2 1 n3 1.16/1.24 4 n1 n3 12.63/6.46
Brockschmidt_16/c-examples/WTC/speedpldi3.koat 2 1 n2 0.35/0.43 4 n2 n2 5.58/2.41
Brockschmidt_16/c-examples/WTC/realheapsort_step1.koat 2 1 n2 0.39/0.48 2 1 n2 22.89/16.84
Brockschmidt_16/c-examples/WTC/sipma91.koat 2 1 n1 0.44/0.53 3 n1 n2 8.05/4.65
Brockschmidt_16/c-examples/WTC/realheapsort_step2.koat StarExec error 4 n1 n2 36.28/30.61
Brockschmidt_16/c-examples/WTC/ax.koat 2 1 n2 0.29/0.37 4 n2 n2 4.58/2.08
Brockschmidt_16/c-examples/WTC/nestedLoop.koat 2 1 n2 1.59/1.67 4 n2 n2 14.77/10.56
Brockschmidt_16/c-examples/WTC/easy1.koat 0 1 ∞ 0.23/0.32 0 1 ∞ 3.85/1.73
Brockschmidt_16/c-examples/WTC/exmini.koat 2 1 n1 0.23/0.32 2 1 n1 4.49/2.18
Brockschmidt_16/c-examples/WTC/gcd.koat 2 1 n1 0.35/0.54 0 1 ∞ 4.87/2.15
Brockschmidt_16/c-examples/WTC/aaron2.koat 2 1 n1 0.23/0.31 4 n1 n1 8.06/4.90
Brockschmidt_16/c-examples/WTC/wcet1.koat 2 1 n1 0.46/0.55 4 n1 n1 7.85/3.67
Brockschmidt_16/c-examples/WTC/wcet2.koat 2 1 n1 0.32/0.41 4 n1 n1 4.80/2.23
Brockschmidt_16/c-examples/WTC/ndecr.koat 2 1 n1 0.13/0.21 4 n1 n1 3.73/1.78
Brockschmidt_16/c-examples/WTC/realselect.koat 2 1 n2 0.28/0.36 4 n2 n2 4.43/2.04
Brockschmidt_16/c-examples/WTC/counterex1b.koat 0 1 ∞ 38.69/38.75 2 n2 ∞ 16.73/7.75
Brockschmidt_16/c-examples/WTC/speedpldi4.koat 2 1 n1 0.23/0.32 2 1 n1 4.78/2.27
Brockschmidt_16/c-examples/WTC/terminate.koat StarExec error 2 1 n1 4.13/2.07
Brockschmidt_16/c-examples/WTC/speedFails4.koat 0 1 ∞ 0.29/0.40 0 1 ∞ 6.58/3.26
Brockschmidt_16/c-examples/WTC/realheapsort.koat 2 1 n2 2.47/2.56 2 1 n2 56.88/42.25
Brockschmidt_16/c-examples/WTC/random1d.koat 2 1 n1 0.15/0.24 4 n1 n1 4.29/1.94
Brockschmidt_16/c-examples/WTC/easy2.koat 2 1 n1 0.13/0.21 4 n1 n1 3.84/1.78
Brockschmidt_16/c-examples/WTC/speedpldi2.koat 2 1 n1 0.28/0.36 4 n1 n1 5.34/2.42
Brockschmidt_16/c-examples/WTC/while2.koat 2 1 n2 0.25/0.33 4 n2 n2 4.43/2.07
Brockschmidt_16/c-examples/WTC/realbubble.koat 2 1 n2 0.44/0.53 4 n2 n2 5.73/2.57
Brockschmidt_16/c-examples/WTC/rsd.koat 2 1 n2 0.48/0.57 4 n1 n2 6.03/2.60
Brockschmidt_16/c-examples/WTC/random2d.koat 2 1 n1 0.41/0.52 4 n1 n1 8.36/3.79
Brockschmidt_16/c-examples/WTC/nd_loop.koat 0 1 ∞ 0.13/0.22 0 1 ∞ 3.75/1.67
Brockschmidt_16/c-examples/WTC/sipmabubble.koat 2 1 n2 0.28/0.37 4 n2 n2 4.91/2.26
Brockschmidt_16/c-examples/WTC/cousot9.koat 0 1 ∞ 0.23/0.31 2 NonPoly ∞ 5.54/2.26
Brockschmidt_16/c-examples/WTC/insertsort.koat 2 1 n2 0.37/0.45 4 n2 n2 5.94/2.76
Brockschmidt_16/c-examples/WTC/complex.koat 2 1 n1 5.13/5.21 4 n1 n1 6.88/3.06
Brockschmidt_16/c-examples/WTC/loops.koat 2 1 n2 0.30/0.39 2 1 n2 6.12/2.79
Brockschmidt_16/c-examples/WTC/wise.koat 2 1 n1 0.24/0.32 4 n1 n1 5.39/2.30
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat 2 1 n1 0.32/0.41 4 n1 n1 4.89/2.24
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat 2 1 n1 0.27/0.36 4 n1 n1 4.82/2.18
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultiple.koat 2 1 n1 0.69/0.77 4 n1 n1 5.55/2.46
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat 2 1 n1 0.15/0.23 4 n1 n1 4.06/2.65
Brockschmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat 2 1 n1 0.37/0.46 4 n1 n1 5.06/2.32
Brockschmidt_16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat 2 1 n2 0.28/0.37 4 n2 n2 5.47/2.36
Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat 2 1 n1 0.26/0.35 4 n1 n1 4.96/2.22
Brockschmidt_16/c-examples/SPEED/POPL09/SequentialSingle.koat 2 1 n1 0.25/0.33 4 n1 n1 4.63/2.12
Brockschmidt_16/c-examples/SPEED/POPL09/NestedMultipleDep.koat 2 1 n2 0.42/0.51 4 n2 n2 4.97/2.24
Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat 2 1 n1 0.21/0.30 4 n1 n1 4.95/2.28
Brockschmidt_16/costa/misc/mspe.koat 2 1 n1 1.10/1.19 4 n1 n1 7.76/3.73
Brockschmidt_16/costa/misc/logarithmic.koat 0 1 ∞ 0.08/0.07 0 1 ∞ 3.47/1.55
Brockschmidt_16/costa/misc/ack.koat 0 1 ∞ 0.11/0.20 2 n1 ∞ 5.27/2.63
Brockschmidt_16/costa/misc/merge.koat 2 1 n1 0.12/0.21 4 n1 n1 4.37/2.01
Brockschmidt_16/costa/misc/linear.koat 2 1 n1 0.10/0.08 4 n1 n1 3.70/1.75
Brockschmidt_16/costa/misc/direct_n_log_n.koat 2 1 n1 0.12/0.20 2 1 n1 4.40/2.19
Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat 2 1 n1 0.24/0.32 StarExec error
Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat 2 1 n1 0.40/0.49 4 n1 n1 5.37/2.52
Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat 2 1 n2 0.28/0.37 4 n2 n2 5.26/2.33
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat 2 1 n2 0.49/0.57 4 n2 n2 6.33/2.84
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat 0 1 ∞ 0.34/0.42 2 NonPoly ∞ 5.64/2.31
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat 2 1 n1 0.54/0.63 4 n1 n1 5.99/2.52
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat 2 1 n1 0.21/0.29 4 n1 n1 5.22/2.34
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat 2 1 n1 0.28/0.37 3 n1 n2 5.68/2.80
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat 0 1 ∞ 0.42/0.50 2 NonPoly ∞ 4.93/2.96
Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat 0 1 ∞ 0.80/0.88 2 NonPoly ∞ 5.71/2.32
Brockschmidt_16/c-examples/SPEED/PLDI09/Example6.koat 2 1 n1 1.26/1.34 4 n1 n1 6.23/2.89
Brockschmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat 2 1 n2 4.79/4.87 4 n2 n2 12.42/5.28
Brockschmidt_16/c-examples/SPEED/PLDI09/Example2.koat 2 1 n1 0.31/0.40 4 n1 n1 5.37/2.43
Brockschmidt_16/c-examples/SPEED/PLDI09/Example5.koat 2 1 n1 0.24/0.33 4 n1 n1 5.46/3.02
Brockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat 2 1 n1 0.42/0.51 2 n1 ∞ 6.48/2.93
Brockschmidt_16/c-examples/SPEED/PLDI09/Example4.koat 0 1 ∞ 0.23/0.32 0 1 ∞ 5.70/2.41
Brockschmidt_16/c-examples/SPEED/PLDI09/Example3.koat 2 1 n2 0.39/0.48 4 n2 n2 5.67/2.43
Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat 0 1 ∞ 0.11/0.20 2 n1 ∞ 5.28/2.61
Brockschmidt_16/FGPSF09/CAV05/c.05.koat 2 1 n1 0.20/0.29 4 n1 n1 4.34/2.33
Brockschmidt_16/FGPSF09/new/unsatCond2.koat 0 1 ∞ 0.09/0.08 0 1 ∞ 3.46/1.67
Brockschmidt_16/FGPSF09/LICS04/c.01.koat 2 1 n2 0.24/0.33 2 1 n2 8.67/6.34
Brockschmidt_16/FGPSF09/LICS04/choice.koat 0 1 ∞ 0.15/0.24 2 n1 ∞ 5.29/2.97
Brockschmidt_16/costa/RAML/rationalPotential.koat 2 1 n1 0.11/0.10 4 n1 n1 3.89/1.86
Brockschmidt_16/FGPSF09/CAV02/practical2.koat 2 1 n1 0.31/0.39 4 n1 n1 6.07/2.56
Brockschmidt_16/FGPSF09/CAV02/practical1.koat 2 1 n2 0.21/0.30 4 n2 n2 4.38/2.54
Brockschmidt_16/FGPSF09/Beerendonk/22.koat 2 1 n1 0.21/0.30 4 n1 n1 4.14/2.14
Brockschmidt_16/FGPSF09/Beerendonk/05.koat 2 1 n1 0.09/0.08 0 1 ∞ 3.60/1.58
Brockschmidt_16/FGPSF09/Beerendonk/21.koat 2 1 n1 0.18/0.27 4 n1 n1 4.17/1.92
Brockschmidt_16/FGPSF09/Beerendonk/04.koat 0 1 ∞ 0.09/0.08 0 1 ∞ 3.30/1.64
Brockschmidt_16/FGPSF09/Beerendonk/17.koat 2 1 n1 0.18/0.27 4 n1 n1 4.83/2.63
Brockschmidt_16/FGPSF09/Beerendonk/24.koat 2 1 n1 0.21/0.29 4 n1 n1 5.03/2.81
Brockschmidt_16/FGPSF09/Beerendonk/07.koat 2 1 n1 0.09/0.08 0 1 ∞ 3.73/1.77
Brockschmidt_16/FGPSF09/Beerendonk/13.koat 2 1 n1 0.13/0.22 4 n1 n1 4.11/2.39
Brockschmidt_16/FGPSF09/Beerendonk/10.koat 2 1 n1 0.11/0.20 2 1 n1 5.42/2.68
Brockschmidt_16/FGPSF09/Beerendonk/09.koat 2 1 n1 0.11/0.10 4 n1 n1 3.98/1.83
Brockschmidt_16/FGPSF09/Beerendonk/02.koat 2 1 n1 0.10/0.09 4 n1 n1 3.76/1.81
Brockschmidt_16/FGPSF09/Beerendonk/08.koat 2 1 n1 0.11/0.09 4 n1 n1 4.01/1.91
Brockschmidt_16/FGPSF09/Beerendonk/06.koat 2 1 n1 0.09/0.08 0 1 ∞ 3.59/1.64
Brockschmidt_16/FGPSF09/Beerendonk/11.koat 2 1 n1 0.13/0.22 4 n1 n1 4.89/2.39
Brockschmidt_16/FGPSF09/Beerendonk/20.koat 2 1 n1 0.16/0.25 4 n1 n1 4.28/1.92
Brockschmidt_16/FGPSF09/Beerendonk/19.koat 2 1 n1 0.16/0.24 StarExec error
Brockschmidt_16/FGPSF09/Beerendonk/15.koat 2 1 n1 0.14/0.23 4 n1 n1 4.71/2.28
Brockschmidt_16/FGPSF09/Beerendonk/23.koat 2 1 n1 0.25/0.34 4 n1 n1 4.44/2.09
Brockschmidt_16/FGPSF09/Beerendonk/16.koat 2 1 n1 0.17/0.25 StarExec error
Brockschmidt_16/FGPSF09/Beerendonk/01.koat 2 1 n1 0.10/0.09 4 n1 n1 4.00/1.77
Brockschmidt_16/FGPSF09/Beerendonk/03.koat 2 1 n1 0.10/0.09 4 n1 n1 3.97/2.08
Brockschmidt_16/FGPSF09/Beerendonk/18.koat 2 1 n1 0.13/0.22 4 n1 n1 4.43/2.19
Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat 2 1 n2 0.21/0.30 4 n2 n2 4.29/2.24
Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat 0 1 ∞ 0.10/0.18 0 1 ∞ 3.85/1.74
Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat 0 1 ∞ 0.11/0.19 2 NonPoly ∞ 4.54/6.47
Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat 2 1 n1 0.10/0.09 4 n1 n1 3.88/1.79
Brockschmidt_16/FGPSF09/TACAS01/terminate.koat 2 1 n1 0.11/0.10 2 1 n1 3.75/1.72
Brockschmidt_16/KoAT-2013/sect1-quad.koat 0 1 ∞ 0.16/0.25 4 n2 n2 4.03/5.73
Brockschmidt_16/KoAT-2013/sect5-sumSum.koat 2 1 n2 0.22/0.31 4 n2 n2 4.57/2.03
Brockschmidt_16/KoAT-2013/sect2.koat 2 1 n2 0.28/0.37 4 n2 n2 4.66/2.12
Brockschmidt_16/KoAT-2013/sect5-len.koat 2 1 n1 0.14/0.23 4 n1 n1 3.72/1.74
Brockschmidt_16/KoAT-2013/sect1-lin.koat 2 1 n1 0.16/0.25 4 n1 n1 4.31/1.96
Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat 2 1 n1 0.29/0.38 4 n1 n1 5.82/2.70
Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 6.72/4.47
Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat 0 1 ∞ 0.13/0.21 2 n1 ∞ 6.35/3.94
Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat 0 1 ∞ 0.12/0.20 0 1 ∞ 20.47/17.12
Brockschmidt_16/FGPSF09/patrs/increase2.koat 2 1 n1 0.12/0.21 4 n1 n1 4.36/1.96
Brockschmidt_16/FGPSF09/patrs/div.koat 2 1 n1 0.14/0.23 4 n1 n1 4.06/1.90
Brockschmidt_16/FGPSF09/patrs/sqrt.koat 2 1 n1 0.18/0.27 2 1 n1 4.48/2.21
Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat 2 1 n1 0.13/0.22 4 n1 n1 3.71/1.71
Brockschmidt_16/FGPSF09/patrs/increase1.koat 2 1 n1 0.10/0.09 4 n1 n1 3.64/1.70
Brockschmidt_16/FGPSF09/patrs/increase3.koat 2 1 n1 0.13/0.22 4 n1 n1 4.08/1.94
Brockschmidt_16/FGPSF09/patrs/increase4.koat 2 1 n1 0.10/0.09 4 n1 n1 3.78/1.73
Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat 2 1 n1 0.19/0.28 4 n1 n1 4.91/2.32
Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat 2 1 n1 0.10/0.09 4 n1 n1 3.72/1.73
Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat 2 1 n1 0.11/0.10 4 n1 n1 4.02/1.91
Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat 0 1 ∞ 0.23/0.32 0 1 ∞ 11.09/11.12
Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat 2 1 n1 0.11/0.09 4 n1 n1 4.12/1.90
Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat 2 1 n1 0.11/0.09 4 n1 n1 3.72/1.87
Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat 2 1 n2 0.18/0.27 4 n2 n2 4.23/1.88
Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat 2 1 n1 0.10/0.09 4 n1 n1 3.93/1.81
Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat 2 1 n1 0.12/0.21 4 n1 n1 4.49/1.99
Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat 2 1 n2 1.94/2.02 4 n1 n2 102.12/94.43
Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat 2 1 n1 0.10/0.09 4 n1 n1 3.91/1.85
Brockschmidt_16/FGPSF09/SAS05/c.02.koat 2 1 n2 0.19/0.27 4 n2 n2 4.12/1.87
Brockschmidt_16/FGPSF09/PLDI06/c.04.koat 2 1 n1 0.15/0.24 4 n1 n1 5.51/3.21
Brockschmidt_16/FGPSF09/PLDI06/c.03.koat 2 1 n1 0.13/0.22 4 n1 n1 4.33/2.15
Brockschmidt_16/SAS10/perfect.koat 2 1 n2 1.99/2.08 2 1 n2 10.76/6.38
Brockschmidt_16/SAS10/realshellsort.koat 2 1 n3 8.20/8.29 2 1 n3 21.99/15.95
Brockschmidt_16/SAS10/speedpldi3.koat 2 1 n2 1.12/1.21 4 n2 n2 5.96/2.58
Brockschmidt_16/SAS10/ackermann.koat 2 1 n1 0.30/0.38 4 n1 n1 4.62/2.08
Brockschmidt_16/SAS10/ax.koat 2 1 n2 0.73/0.81 4 n2 n2 5.27/2.33
Brockschmidt_16/SAS10/maccarthy91.koat 2 1 n1 1.05/1.14 4 n1 n1 8.51/3.63
Brockschmidt_16/SAS10/relation1.koat 0 1 ∞ 0.08/0.06 0 1 ∞ 3.57/1.64
Brockschmidt_16/SAS10/nestedLoop.koat 2 1 n2 6.12/6.21 4 n2 n2 10.39/3.96
Brockschmidt_16/SAS10/easy1.koat 0 1 ∞ 0.61/0.70 0 1 ∞ 4.76/2.02
Brockschmidt_16/SAS10/exmini.koat 2 1 n1 1.31/1.40 2 1 n1 6.74/4.00
Brockschmidt_16/SAS10/gcd.koat 1 1 n2 2.81/2.89 4 n1 n1 296.06/289.79
Brockschmidt_16/SAS10/aaron2.koat 2 1 n1 3.19/3.27 4 n1 n1 297.83/289.68
Brockschmidt_16/SAS10/wcet1.koat 2 1 n1 0.67/0.75 4 n1 n1 6.91/6.04
Brockschmidt_16/SAS10/wcet2.koat 2 1 n1 0.88/0.96 4 n1 n1 6.43/2.79
Brockschmidt_16/SAS10/ndecr.koat 2 1 n1 0.20/0.29 4 n1 n1 4.33/1.92
Brockschmidt_16/SAS10/realselect.koat 0 1 ∞ 0.50/0.59 StarExec error
Brockschmidt_16/SAS10/speedpldi4.koat 2 1 n1 0.74/0.82 4 n1 n1 4.74/2.04
Brockschmidt_16/SAS10/terminate.koat 2 1 n1 1.30/1.38 2 1 n1 6.72/4.17
Brockschmidt_16/SAS10/determinant.koat 2 1 n3 0.71/0.80 4 n3 n3 5.78/2.88
Brockschmidt_16/SAS10/speedFails4.koat 2 1 n1 0.77/0.85 4 n1 n1 5.24/2.17
2 1 n1 0.77/0.85 1 1 n2 311.16/291.61
Brockschmidt_16/SAS10/random1d.koat 2 1 n1 0.36/0.44 4 n1 n1 4.84/2.16
Brockschmidt_16/SAS10/easy2.koat 2 1 n1 0.30/0.39 4 n1 n1 4.36/2.08
Brockschmidt_16/SAS10/speedpldi2.koat 2 1 n1 0.94/1.03 StarExec error
Brockschmidt_16/SAS10/while2.koat 2 1 n2 0.48/0.57 4 n2 n2 5.14/2.31
Brockschmidt_16/SAS10/realbubble.koat 0 1 ∞ 7.34/7.41 4 n2 n2 9.68/4.23
Brockschmidt_16/SAS10/rsd.koat 2 1 n2 2.56/2.64 4 n1 n2 12.07/7.75
Brockschmidt_16/SAS10/random2d.koat 2 1 n1 1.70/1.78 4 n1 n1 19.47/8.42
Brockschmidt_16/SAS10/nd_loop.koat 0 1 ∞ 0.22/0.31 0 1 ∞ 3.96/1.75
Brockschmidt_16/SAS10/sipmabubble.koat 2 1 n2 11.30/11.37 4 n2 n2 20.96/9.93
Brockschmidt_16/SAS10/cousot9.koat 2 1 n2 0.70/0.78 4 n2 n2 5.37/2.31
Brockschmidt_16/SAS10/insertsort.koat 2 1 n2 0.70/0.79 4 n1 n2 11.44/7.89
Brockschmidt_16/SAS10/counterex1.koat 0 1 ∞ 36.90/36.95 2 n1 ∞ 32.40/15.90
Brockschmidt_16/SAS10/complex.koat 2 1 n1 36.91/36.96 2 1 n1 72.47/291.51
Brockschmidt_16/SAS10/loops.koat 2 1 n2 0.94/1.03 2 1 n2 14.51/8.62
Brockschmidt_16/SAS10/wise.koat 2 1 n1 0.43/0.52 4 n1 n1 4.63/2.05
Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat 0 1 ∞ 0.17/0.25 2 NonPoly ∞ 4.04/1.89
Brockschmidt_16/KoAT-2014/nesting-ex1.koat 0 1 ∞ 0.32/0.40 4 n3 n5 6.69/3.01
Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat 0 1 ∞ 0.19/0.28 2 NonPoly ∞ 4.55/3.22
Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat 0 1 ∞ 0.19/0.28 2 NonPoly ∞ 4.34/1.89
Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat 0 1 ∞ 0.16/0.24 2 NonPoly ∞ 4.93/2.80
Brockschmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat 0 1 ∞ 0.25/0.34 2 NonPoly ∞ 5.21/2.28
Flores-Montoya_16/catmouse.c.koat 0 1 ∞ 0.20/0.29 2 NonPoly ∞ 5.80/2.53
Flores-Montoya_16/speed_pldi09_fig4_2.c.koat 2 1 n1 0.29/0.38 4 n1 n1 5.60/2.47
Flores-Montoya_16/sipmamergesort.c.koat 2 1 n2 139.47/139.53 2 n1 ∞ 133.86/65.70
Flores-Montoya_16/speed_pldi09_fig4_4.c.koat 2 1 n1 0.26/0.35 4 n1 n1 4.81/2.13
Flores-Montoya_16/sipma91.c.koat 2 1 n1 0.67/0.76 4 n1 n1 9.20/3.94
Flores-Montoya_16/easy1.c.koat 0 1 ∞ 0.23/0.31 0 1 ∞ 3.80/1.71
Flores-Montoya_16/speed_popl10_sequential_single.c.koat 2 1 n1 0.32/0.40 4 n1 n1 4.95/2.32
Flores-Montoya_16/speedDis1.c.koat 2 1 n1 0.29/0.37 4 n1 n1 5.61/2.47
Flores-Montoya_16/speedFails1.c.koat 0 1 ∞ 0.18/0.26 0 1 ∞ 5.64/2.75
Flores-Montoya_16/jama_ex3.c.koat 2 1 n2 0.32/0.41 4 n2 n2 4.90/2.24
Flores-Montoya_16/nestedLoop.c.koat 2 1 n2 2.35/2.44 3 n2 n3 73.42/60.79
Flores-Montoya_16/speedDis2.c.koat 2 1 n1 0.23/0.31 4 n1 n1 5.92/2.61
Flores-Montoya_16/aaron2.c.koat 2 1 n1 0.28/0.37 4 n1 n1 15.19/9.27
Flores-Montoya_16/serpent.c.koat 0 1 ∞ 11.92/12.00 2 n2 ∞ 35.46/24.14
Flores-Montoya_16/Loopus2014_ex2.c.koat 2 1 n1 0.72/0.80 4 n1 n1 7.94/3.25
Flores-Montoya_16/speed_pldi10_ex3.c.koat 2 1 n1 0.52/0.61 4 n1 n1 5.77/2.66
Flores-Montoya_16/counterex1c.c.koat 0 1 ∞ 1.01/1.10 2 n1 ∞ 42.27/26.00
Flores-Montoya_16/rsd.c.koat 2 1 n1 0.66/0.74 4 n1 n1 6.21/2.54
Flores-Montoya_16/speed_popl10_fig2_2.c.koat 2 1 n1 0.23/0.32 4 n1 n1 5.54/5.85
Flores-Montoya_16/wcet0.c.koat 2 1 n1 0.51/0.59 4 n1 n1 8.16/3.83
Flores-Montoya_16/speedSingleSingle2.c.koat 2 1 n1 0.56/0.64 4 n1 n1 5.56/2.45
Flores-Montoya_16/sipmabubble.c.koat 2 1 n2 0.34/0.43 4 n2 n2 5.78/2.63
Flores-Montoya_16/jama_ex7.c.koat 2 1 n2 0.37/0.46 4 n2 n2 5.43/2.44
Flores-Montoya_16/t16.c.koat 2 1 n1 0.35/0.44 3 n1 n2 7.12/4.30
Flores-Montoya_16/exmini.c.koat StarExec error 2 1 n1 5.95/3.49
Flores-Montoya_16/real2.c.koat 0 1 ∞ 0.53/0.61 2 NonPoly ∞ 8.24/3.25
Flores-Montoya_16/realheapsort.c.koat 2 1 n2 2.77/3.13 2 1 n2 72.53/44.60
Flores-Montoya_16/unperfect.c.koat 2 1 n2 0.79/0.88 4 n1 n2 15.94/10.61
Flores-Montoya_16/speedSingleSingle.c.koat 2 1 n1 0.16/0.24 4 n1 n1 4.36/2.06
Flores-Montoya_16/terminate.c.koat 2 1 n1 0.27/0.36 2 1 n1 6.31/3.63
Flores-Montoya_16/rank2.c.koat 2 1 n1 0.70/0.78 4 n1 n1 8.49/3.27
Flores-Montoya_16/textbook_ex4.c.koat 2 1 n2 0.44/0.52 StarExec error
Flores-Montoya_16/counterex1b.c.koat 0 1 ∞ 44.82/44.87 4 n2 n3 44.79/31.29
Flores-Montoya_16/t19.c.koat 2 1 n1 0.28/0.36 4 n1 n1 4.89/2.20
Flores-Montoya_16/random1d.c.koat 2 1 n1 0.20/0.28 4 n1 n1 4.74/2.15
Flores-Montoya_16/terminatorbubble.c.koat 2 1 n2 0.71/0.79 4 n2 n2 7.23/3.10
Flores-Montoya_16/ax.c.koat 2 1 n2 0.36/0.45 4 n2 n2 5.31/2.39
Flores-Montoya_16/t30.c.koat 0 1 ∞ 0.17/0.26 0 1 ∞ 5.45/2.40
Flores-Montoya_16/t08.c.koat 2 1 n1 0.26/0.35 4 n1 n1 4.87/2.21
Flores-Montoya_16/t10.c.koat 2 1 n1 0.22/0.31 4 n1 n1 4.99/2.26
Flores-Montoya_16/insertsort.c.koat 2 1 n2 0.44/0.59 4 n2 n2 6.89/3.18
Flores-Montoya_16/speed_popl10_nested_multiple.c.koat 2 1 n1 0.94/1.02 4 n1 n1 7.26/2.90
Flores-Montoya_16/random2d.c.koat 2 1 n1 0.47/0.56 4 n1 n1 10.62/4.74
Flores-Montoya_16/rank3.c.koat StarExec error 2 n1 ∞ 98.16/67.03
Flores-Montoya_16/sipmamergesort2.c.koat StarExec error 2 n1 ∞ 668.41/291.65
Flores-Montoya_16/t28.c.koat 2 1 n1 0.47/0.56 4 n1 n1 5.51/2.43
Flores-Montoya_16/speedSimpleMultiple.c.koat 2 1 n1 0.28/0.37 4 n1 n1 5.31/2.39
Flores-Montoya_16/cousot9.c.koat 2 1 n2 0.25/0.33 4 n2 n2 5.56/2.51
Flores-Montoya_16/t13.c.koat 2 1 n1 0.53/0.61 4 n1 n1 6.73/2.84
Flores-Montoya_16/wise.c.koat 2 1 n1 0.27/0.35 4 n1 n1 5.00/2.30
Flores-Montoya_16/Loopus2011_ex1.c.koat 2 1 n1 0.79/0.87 4 n1 n1 7.54/3.12
Flores-Montoya_16/easy2.c.koat 2 1 n1 0.14/0.23 StarExec error
Flores-Montoya_16/nd_loop.c.koat 0 1 ∞ 0.20/0.29 0 1 ∞ 3.49/1.63
Flores-Montoya_16/perfect.c.koat 2 1 n2 0.69/0.77 4 n1 n2 17.26/12.07
Flores-Montoya_16/Loopus2015_original.c.koat 2 1 n2 1.63/1.71 4 n1 n2 37.21/31.44
Flores-Montoya_16/speedFails3.c.koat 0 1 ∞ 0.33/0.42 0 1 ∞ 6.90/3.24
Flores-Montoya_16/t20.c.koat 2 1 n1 0.25/0.34 4 n1 n1 4.56/2.14
Flores-Montoya_16/while2.c.koat 2 1 n2 0.29/0.38 4 n2 n2 5.30/2.50
Flores-Montoya_16/speed_popl10_simple_multiple.c.koat 2 1 n1 0.29/0.37 4 n1 n1 5.17/2.34
Flores-Montoya_16/speed_pldi09_fig4_5.c.koat 2 1 n1 0.36/0.45 3 n1 n2 7.98/3.52
Flores-Montoya_16/speed_pldi10_ex4.c.koat 2 1 n1 0.34/0.43 4 n1 n1 5.02/2.46
Flores-Montoya_16/aaron3.c.koat 0 1 ∞ 0.48/0.57 2 n1 ∞ 14.36/7.98
Flores-Montoya_16/alain.c.koat 2 1 n2 0.94/1.03 3 n2 n3 34.36/27.91
Flores-Montoya_16/speedNestedMultipleDep.c.koat 2 1 n2 0.44/0.53 4 n2 n2 5.58/2.50
Flores-Montoya_16/nested_loop.c.koat 2 1 n2 6.34/6.42 3 n2 n3 93.74/79.36
Flores-Montoya_16/realbubble.c.koat 2 1 n2 0.55/0.64 4 n2 n2 7.20/2.99
Flores-Montoya_16/t11.c.koat 2 1 n1 0.29/0.38 4 n1 n1 5.29/2.34
Flores-Montoya_16/speed_pldi09_fig1.c.koat 2 1 n1 0.26/0.34 3 n1 n2 5.65/2.96
Flores-Montoya_16/Loopus2015_ex1.c.koat 2 1 n1 0.59/0.68 3 n1 n2 12.86/9.33
Flores-Montoya_16/textbook_ex1.c.koat 2 1 n1 0.16/0.24 4 n1 n1 4.14/1.95
Flores-Montoya_16/wcet1.c.koat 2 1 n1 0.54/0.63 4 n1 n1 7.65/3.74
Flores-Montoya_16/t27.c.koat 2 1 n1 0.60/0.69 4 n1 n1 6.32/3.03
Flores-Montoya_16/speedFails4.c.koat 0 1 ∞ 0.34/0.43 0 1 ∞ 6.85/3.15
Flores-Montoya_16/speedFails2.c.koat 0 1 ∞ 0.19/0.28 2 NonPoly ∞ 5.25/2.56
Flores-Montoya_16/perfect2.c.koat 2 1 n2 0.79/0.88 4 n1 n2 16.06/12.86
Flores-Montoya_16/jama_ex5.c.koat 2 1 n2 0.33/0.41 4 n1 n2 6.73/4.03
Flores-Montoya_16/speedSimpleMultipleDep.c.koat 2 1 n2 0.30/0.38 4 n2 n2 6.14/2.69
Flores-Montoya_16/realshellsort.c.koat 2 1 n3 1.28/1.36 2 1 n3 20.49/13.66
Flores-Montoya_16/jama_ex6.c.koat 2 1 n3 1.91/2.00 3 n3 n4 21.19/15.11
Flores-Montoya_16/t47.c.koat 2 1 n1 0.20/0.29 4 n1 n1 4.69/2.18
Flores-Montoya_16/perfect1.c.koat 2 1 n2 0.77/0.85 4 n1 n2 26.41/19.70
Flores-Montoya_16/t15.c.koat 2 1 n1 0.44/0.52 4 n1 n1 5.84/2.48
Flores-Montoya_16/complex.c.koat 2 1 n1 6.56/6.64 4 n1 n1 8.72/3.46
Flores-Montoya_16/speed_popl10_simple_single.c.koat 2 1 n1 0.15/0.24 4 n1 n1 4.30/2.03
Flores-Montoya_16/ex_paper1.c.koat 2 1 n2 1.34/1.42 3 n2 n3 48.39/37.24
Flores-Montoya_16/jama_ex1.c.koat 2 1 n2 0.31/0.40 4 n2 n2 4.96/2.32
Flores-Montoya_16/ex_paper3.c.koat 2 1 n2 0.72/0.81 4 n1 n2 20.25/14.63
Flores-Montoya_16/speed_popl10_simple_single_2.c.koat 2 1 n1 0.35/0.43 4 n1 n1 5.24/2.40
Flores-Montoya_16/speedpldi2.c.koat 2 1 n1 0.29/0.38 4 n1 n1 5.50/2.49
Flores-Montoya_16/speed_popl10_fig2_1.c.koat 2 1 n1 0.29/0.38 4 n1 n1 5.25/2.35
Flores-Montoya_16/realheapsort_step2.c.koat 2 1 n2 2.29/2.38 4 n1 n2 44.72/37.58
Flores-Montoya_16/Loopus2014_ex1.c.koat 2 1 n2 4.49/4.58 4 n2 n2 19.28/7.29
Flores-Montoya_16/relation1.c.koat 0 1 ∞ 0.09/0.09 0 1 ∞ 3.40/1.58
Flores-Montoya_16/aaron12.c.koat 0 1 ∞ 0.28/0.36 0 1 ∞ 0.57/0.42
Flores-Montoya_16/ndecr.c.koat 2 1 n1 0.15/0.24 4 n1 n1 4.43/2.21
Flores-Montoya_16/wcet2.c.koat 2 1 n1 0.38/0.47 4 n1 n1 5.38/3.20
Flores-Montoya_16/Loopus2011_ex2.c.koat 2 1 n1 9.24/9.32 2 n1 ∞ 370.74/291.58
Flores-Montoya_16/realselect.c.koat 2 1 n2 0.38/0.46 4 n2 n2 5.36/2.37
Flores-Montoya_16/counterex1a.c.koat 0 1 ∞ 1.68/1.83 2 n1 ∞ 32.06/19.92
Flores-Montoya_16/knuth_morris_pratt.c.koat 2 1 n1 4.79/4.87 4 n1 n1 42.39/33.36
Flores-Montoya_16/textbook_ex3.c.koat 2 1 n4 1.40/1.49 StarExec error
Flores-Montoya_16/jama_ex4.c.koat 2 1 n2 0.48/0.56 4 n2 n2 6.37/2.85
Flores-Montoya_16/speed_popl10_nested_single.c.koat 2 1 n1 0.62/0.70 4 n1 n1 5.61/2.59
Flores-Montoya_16/Loopus2011_ex3.c.koat 2 1 n1 0.26/0.34 2 1 n1 6.99/2.96
Flores-Montoya_16/t62.c.koat 2 1 n1 1.86/1.95 4 n1 n1 8.32/3.28
Flores-Montoya_16/speedNestedMultiple.c.koat 2 1 n1 0.93/1.02 4 n1 n1 7.47/2.98
Flores-Montoya_16/speedpldi3.c.koat 2 1 n2 0.35/0.44 4 n2 n2 5.48/2.42
Flores-Montoya_16/perfectg.c.koat 2 1 n2 0.78/0.86 StarExec error
Flores-Montoya_16/ex_paper2.c.koat 2 1 n2 0.32/0.40 StarExec error
Flores-Montoya_16/t07.c.koat 2 1 n1 0.37/0.46 4 n1 n1 5.38/2.41
Flores-Montoya_16/textbook_ex2.c.koat 2 1 n2 0.31/0.40 4 n2 n2 5.39/2.45
Flores-Montoya_16/jama_ex2.c.koat 2 1 n2 0.32/0.41 4 n2 n2 5.44/2.50
Flores-Montoya_16/rank1.c.koat 2 1 n2 1.51/1.60 2 n1 ∞ 29.86/19.53
Flores-Montoya_16/heapsort.c.koat 2 1 n1 1.23/1.31 2 1 n1 40.27/21.39
Flores-Montoya_16/speedpldi4.c.koat 2 1 n1 0.24/0.33 2 1 n1 5.06/2.47
Flores-Montoya_16/Loopus2015_ex2.c.koat 2 1 n1 0.67/0.75 4 n1 n1 7.60/2.91
Flores-Montoya_16/realheapsort_step1.c.koat 2 1 n2 0.46/0.55 2 1 n2 24.64/17.54
Flores-Montoya_16/loops.c.koat 2 1 n2 0.32/0.41 2 1 n2 6.58/3.29
Flores-Montoya_16/speed_pldi10_ex1.c.koat 2 1 n2 0.70/1.04 StarExec error
Brockschmidt_16/T2/ex20.koat 0 1 ∞ 0.29/0.38 0 1 ∞ 3.61/1.62
Brockschmidt_16/T2/fun3.koat 2 1 n1 86.50/86.60 4 n1 n1 123.61/60.21
Brockschmidt_16/T2/n-21.koat 0 1 ∞ 0.25/0.34 2 NonPoly ∞ 4.23/1.85
Brockschmidt_16/T2/polyrank5.koat 0 1 ∞ 0.22/0.31 2 n1 ∞ 6.37/3.94
Brockschmidt_16/T2/complex_guard.koat 0 1 ∞ 0.14/0.23 0 1 ∞ 3.66/1.69
Brockschmidt_16/T2/n-14.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 4.56/2.04
Brockschmidt_16/T2/neg-e-1394complete-fail.koat 0 1 ∞ 5.53/5.61 2 NonPoly ∞ 26.87/12.43
Brockschmidt_16/T2/afagx1.koat 0 1 ∞ 0.16/0.24 2 NonPoly ∞ 4.27/1.99
Brockschmidt_16/T2/queens.koat StarExec error 0 1 ∞ 6.37/2.41
Brockschmidt_16/T2/matmult.koat 0 1 ∞ 0.85/0.94 0 1 ∞ 5.18/2.19
Brockschmidt_16/T2/randomwalk.koat 0 1 ∞ 0.78/0.86 0 1 ∞ 14.26/5.50
Brockschmidt_16/T2/slayer-n3-filtered.koat 0 1 ∞ 0.12/0.10 0 1 ∞ 4.87/1.99
Brockschmidt_16/T2/rev_nt4.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.62/1.64
Brockschmidt_16/T2/apchild-accepted.koat StarExec error 2 NonPoly ∞ 30.44/10.38
Brockschmidt_16/T2/heidy6.koat 0 1 ∞ 0.20/0.28 2 NonPoly ∞ 4.22/1.94
Brockschmidt_16/T2/hongyi1.koat StarExec error 4 n1 n1 76.27/32.19
Brockschmidt_16/T2/neg-e-pgarch-fail.koat 0 1 ∞ 0.16/0.24 2 NonPoly ∞ 4.55/2.14
Brockschmidt_16/T2/jacobi.koat StarExec error 4 n1 n1 161.77/148.50
Brockschmidt_16/T2/n-8a.koat 0 1 ∞ 0.15/0.23 2 NonPoly ∞ 3.79/1.69
Brockschmidt_16/T2/broydn.koat StarExec error 2 n1 ∞ 326.49/291.63
Brockschmidt_16/T2/n-3a.koat 0 1 ∞ 0.59/0.67 2 NonPoly ∞ 6.34/2.84
Brockschmidt_16/T2/eric3.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 4.35/1.89
Brockschmidt_16/T2/nakata_withassume.koat StarExec error 2 NonPoly ∞ 31.21/10.74
Brockschmidt_16/T2/hqr.koat StarExec error 2 n1 ∞ 514.60/291.87
Brockschmidt_16/T2/n-1c.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 4.47/1.95
Brockschmidt_16/T2/simple_pre3.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.37/1.56
Brockschmidt_16/T2/p-12.koat 2 1 n1 0.13/0.21 4 n1 n1 3.73/1.75
Brockschmidt_16/T2/example.koat 2 1 n1 0.13/0.22 4 n1 n1 4.26/2.08
Brockschmidt_16/T2/n-12a.koat 0 1 ∞ 0.12/0.20 2 NonPoly ∞ 3.76/1.68
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat StarExec error 2 n1 ∞ 358.33/291.56
Brockschmidt_16/T2/bubbleSort.koat 2 1 n2 0.56/0.64 4 n2 n2 6.12/2.71
Brockschmidt_16/T2/3.koat 0 1 ∞ 0.09/0.08 2 NonPoly ∞ 3.50/1.61
Brockschmidt_16/T2/ex32.koat 0 1 ∞ 0.19/0.28 0 1 ∞ 3.64/1.65
Brockschmidt_16/T2/heidy9.koat 2 1 n1 0.13/0.22 4 n1 n1 3.72/1.74
Brockschmidt_16/T2/polyrank4.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 9.84/7.50
Brockschmidt_16/T2/wtf.koat 2 1 n1 86.51/86.62 4 n1 n1 123.39/60.20
Brockschmidt_16/T2/fir.koat 0 1 ∞ 0.76/0.84 2 NonPoly ∞ 14.98/5.35
Brockschmidt_16/T2/ex15.koat 0 1 ∞ 0.08/0.06 0 1 ∞ 3.57/1.67
Brockschmidt_16/T2/simple_double_free.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.47/1.59
Brockschmidt_16/T2/fun10.koat 0 1 ∞ 13.46/13.54 2 NonPoly ∞ 8.55/3.05
Brockschmidt_16/T2/p-15.koat 2 1 n1 0.13/0.21 4 n1 n1 3.94/1.84
Brockschmidt_16/T2/queue_1.koat 0 1 ∞ 0.19/0.28 0 1 ∞ 3.94/1.74
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat 2 1 n1 4.21/4.29 4 n1 n1 17.55/8.08
Brockschmidt_16/T2/n-13.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 3.80/1.77
Brockschmidt_16/T2/queue_10.koat 0 1 ∞ 0.21/0.29 0 1 ∞ 3.89/1.77
Brockschmidt_16/T2/simple_pre1.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.47/1.59
Brockschmidt_16/T2/fun11.koat 0 1 ∞ 0.25/0.33 2 NonPoly ∞ 4.14/1.88
Brockschmidt_16/T2/agafp.koat 0 1 ∞ 37.44/37.52 2 NonPoly ∞ 19.56/6.44
Brockschmidt_16/T2/n-48.koat 0 1 ∞ 0.20/0.29 0 1 ∞ 5.39/2.83
Brockschmidt_16/T2/p-46.koat 0 1 ∞ 0.32/0.40 2 NonPoly ∞ 5.09/2.27
Brockschmidt_16/T2/fun8.koat 0 1 ∞ 3.69/3.78 0 1 ∞ 11.90/3.86
Brockschmidt_16/T2/huh.koat 0 1 ∞ 0.79/0.87 2 NonPoly ∞ 4.70/1.97
Brockschmidt_16/T2/cfg.koat 0 1 ∞ 0.11/0.19 2 NonPoly ∞ 4.11/1.84
Brockschmidt_16/T2/minmax.koat 0 1 ∞ 0.13/0.22 0 1 ∞ 3.59/1.72
Brockschmidt_16/T2/neg-e-acqrel-succeed.koat 0 1 ∞ 0.28/0.37 2 NonPoly ∞ 4.32/2.85
Brockschmidt_16/T2/bf10.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.40/1.89
Brockschmidt_16/T2/slayer-3-new.koat StarExec error 2 NonPoly ∞ 879.53/291.07
Brockschmidt_16/T2/refine_disj_problem.koat 0 1 ∞ 0.13/0.22 2 NonPoly ∞ 4.33/1.92
Brockschmidt_16/T2/iecs.koat 2 1 n1 0.10/0.09 2 1 n1 3.92/1.88
Brockschmidt_16/T2/p-3.koat 2 1 n1 0.19/0.28 4 n1 n1 4.20/2.11
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat 2 1 n1 80.40/80.47 4 n1 n1 23.26/15.64
Brockschmidt_16/T2/smagillb-succeed.koat 0 1 ∞ 0.27/0.36 2 NonPoly ∞ 5.00/2.28
Brockschmidt_16/T2/polyrank2.koat 0 1 ∞ 0.11/0.20 0 1 ∞ 7.15/5.06
Brockschmidt_16/T2/e-pgarch-succeed.koat 0 1 ∞ 0.21/0.30 2 NonPoly ∞ 4.90/2.84
Brockschmidt_16/T2/fun1b.koat 0 1 ∞ 128.77/128.86 2 NonPoly ∞ 37.30/16.20
Brockschmidt_16/T2/array1.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.73/1.71
Brockschmidt_16/T2/sudoku.koat 0 1 ∞ 110.08/110.08 2 NonPoly ∞ 845.61/282.61
Brockschmidt_16/T2/pentagon.koat 0 1 ∞ 2.31/2.39 0 1 ∞ 6.05/3.07
Brockschmidt_16/T2/simple_fail.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.77/1.98
Brockschmidt_16/T2/simple_pre.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.49/1.72
Brockschmidt_16/T2/dsa_test8.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.45/1.79
Brockschmidt_16/T2/dropbuf-live.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.38/1.66
Brockschmidt_16/T2/dsa_test15.koat 0 1 ∞ 0.18/0.27 0 1 ∞ 3.98/1.80
Brockschmidt_16/T2/ud.koat 0 1 ∞ 3.71/3.79 0 1 ∞ 7.62/3.00
Brockschmidt_16/T2/neg-smagilla-succeed.koat 0 1 ∞ 0.30/0.39 2 NonPoly ∞ 4.82/2.19
Brockschmidt_16/T2/reverse_seg_cyclic.koat 2 1 n1 3.21/3.29 4 n1 n1 51.19/21.13
Brockschmidt_16/T2/ns.koat 0 1 ∞ 1.25/1.33 0 1 ∞ 4.31/1.87
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat StarExec error 2 n1 ∞ 552.53/291.79
Brockschmidt_16/T2/n-46.koat 0 1 ∞ 0.13/0.22 2 NonPoly ∞ 3.82/1.71
Brockschmidt_16/T2/polyrank6.koat 0 1 ∞ 0.14/0.23 2 n1 ∞ 7.24/4.37
Brockschmidt_16/T2/consts1nt.koat 0 1 ∞ 0.10/0.19 2 NonPoly ∞ 4.28/1.87
Brockschmidt_16/T2/crc.koat 0 1 ∞ 1.80/1.88 0 1 ∞ 11.71/4.22
Brockschmidt_16/T2/p-56.koat 2 1 n1 0.23/0.32 4 n1 n1 4.72/2.16
Brockschmidt_16/T2/dsa_test5.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.45/1.59
Brockschmidt_16/T2/neg-1394complete-succeed.koat 0 1 ∞ 5.80/5.88 2 NonPoly ∞ 26.66/11.32
Brockschmidt_16/T2/eric2.koat 0 1 ∞ 3.24/3.34 2 n1 ∞ 588.86/291.50
Brockschmidt_16/T2/smagilla-succeed.koat 0 1 ∞ 0.29/0.38 2 NonPoly ∞ 5.38/2.32
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat 0 1 ∞ 39.79/39.87 2 NonPoly ∞ 53.85/18.33
Brockschmidt_16/T2/neg-popl07-fail.koat 0 1 ∞ 1.25/1.34 2 NonPoly ∞ 5.25/2.41
Brockschmidt_16/T2/heidy8.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 6.09/2.48
Brockschmidt_16/T2/apchildlive-succeed.koat StarExec error 2 NonPoly ∞ 74.07/26.85
Brockschmidt_16/T2/ex16.koat 0 1 ∞ 0.43/0.51 2 NonPoly ∞ 4.74/2.14
Brockschmidt_16/T2/subpoly_crash.koat 0 1 ∞ 0.15/0.24 2 NonPoly ∞ 3.88/1.81
Brockschmidt_16/T2/1394-fail.koat 0 1 ∞ 6.83/6.91 2 NonPoly ∞ 34.47/14.65
Brockschmidt_16/T2/241.koat 2 1 n2 0.14/0.23 4 n2 n2 4.05/2.06
Brockschmidt_16/T2/bf14.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.21/1.99
Brockschmidt_16/T2/statemate.koat StarExec error 0 1 ∞ 882.50/293.35
Brockschmidt_16/T2/fibcall.koat 0 1 ∞ 0.22/0.31 0 1 ∞ 3.83/1.67
Brockschmidt_16/T2/n-16a.koat 0 1 ∞ 0.14/0.23 0 1 ∞ 5.24/3.06
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat StarExec error 2 n1 ∞ 591.69/291.78
Brockschmidt_16/T2/2.koat 0 1 ∞ 0.71/0.80 2 NonPoly ∞ 5.16/2.27
Brockschmidt_16/T2/new_ex.koat 0 1 ∞ 1.16/1.24 2 NonPoly ∞ 8.62/3.77
Brockschmidt_16/T2/n-3.koat 0 1 ∞ 0.18/0.26 2 NonPoly ∞ 4.08/1.88
Brockschmidt_16/T2/byron-2.koat 0 1 ∞ 0.26/0.35 2 NonPoly ∞ 5.55/2.45
Brockschmidt_16/T2/p-63.koat 2 1 n1 0.21/0.30 2 1 n1 4.24/2.01
Brockschmidt_16/T2/ex9.koat 0 1 ∞ 0.33/0.42 2 NonPoly ∞ 5.26/2.17
Brockschmidt_16/T2/ex22.koat 0 1 ∞ 1.86/1.95 0 1 ∞ 15.36/6.05
Brockschmidt_16/T2/non_term.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 4.94/2.75
Brockschmidt_16/T2/ex12.koat 0 1 ∞ 0.14/0.23 0 1 ∞ 3.74/1.70
Brockschmidt_16/T2/n-15a.koat 0 1 ∞ 0.23/0.31 2 NonPoly ∞ 4.61/2.30
Brockschmidt_16/T2/bf5.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.54/1.96
Brockschmidt_16/T2/n-32.koat 0 1 ∞ 0.13/0.22 2 NonPoly ∞ 3.91/1.89
Brockschmidt_16/T2/edn.koat StarExec error 0 1 ∞ 10.32/4.12
Brockschmidt_16/T2/randomwalk_withassume.koat 0 1 ∞ 1.19/1.28 0 1 ∞ 14.29/5.57
Brockschmidt_16/T2/p-42.koat 2 1 n1 0.24/0.32 StarExec error
Brockschmidt_16/T2/apchild-accepted-fail.koat StarExec error 2 NonPoly ∞ 30.48/10.40
Brockschmidt_16/T2/queue_100.koat 0 1 ∞ 0.21/0.29 0 1 ∞ 3.87/1.71
Brockschmidt_16/T2/ex33.koat 0 1 ∞ 0.08/0.07 0 1 ∞ 3.56/2.28
Brockschmidt_16/T2/consts4.koat 2 1 n1 0.09/0.08 4 n1 n1 3.61/1.75
Brockschmidt_16/T2/n-37.koat 0 1 ∞ 0.18/0.26 2 NonPoly ∞ 3.47/1.62
Brockschmidt_16/T2/n-15.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 4.15/1.90
Brockschmidt_16/T2/print.koat 0 1 ∞ 6.01/6.09 2 NonPoly ∞ 58.49/21.74
Brockschmidt_16/T2/two_arrays2.koat 2 1 n1 1.15/1.24 4 n1 n1 7.57/3.13
Brockschmidt_16/T2/n-36.koat 0 1 ∞ 1.00/1.08 2 NonPoly ∞ 4.83/2.05
Brockschmidt_16/T2/array_free.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 3.89/1.75
Brockschmidt_16/T2/eric1.koat 0 1 ∞ 0.25/0.34 2 n2 ∞ 9.87/6.21
Brockschmidt_16/T2/brp_withassume.koat StarExec error 2 NonPoly ∞ 41.82/14.24
Brockschmidt_16/T2/dsa_test9.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.49/1.62
Brockschmidt_16/T2/n-7.koat 0 1 ∞ 0.17/0.26 2 NonPoly ∞ 4.49/1.86
Brockschmidt_16/T2/1394-succeed.koat 0 1 ∞ 6.65/6.74 2 NonPoly ∞ 27.50/11.33
Brockschmidt_16/T2/st88.bug.koat 0 1 ∞ 0.26/0.34 2 NonPoly ∞ 6.91/3.00
Brockschmidt_16/T2/d.koat 0 1 ∞ 0.10/0.19 2 NonPoly ∞ 4.10/1.81
Brockschmidt_16/T2/p-16.koat 2 1 n1 0.13/0.22 4 n1 n1 4.08/1.78
Brockschmidt_16/T2/p-1b.koat 2 1 n1 0.14/0.25 4 n1 n1 4.16/1.83
Brockschmidt_16/T2/stored.koat 0 1 ∞ 0.28/0.36 2 NonPoly ∞ 5.02/2.26
Brockschmidt_16/T2/brp.koat StarExec error 2 NonPoly ∞ 42.71/14.44
Brockschmidt_16/T2/vmcai_struct.koat 0 1 ∞ 0.07/0.06 StarExec error
Brockschmidt_16/T2/streamserver-succeed.koat 0 1 ∞ 178.34/178.40 2 NonPoly ∞ 29.54/10.22
Brockschmidt_16/T2/bubblesort_inner_loop.koat 0 1 ∞ 0.18/0.27 0 1 ∞ 3.83/1.67
Brockschmidt_16/T2/fourn.koat 0 1 ∞ 39.76/39.83 2 NonPoly ∞ 53.95/18.15
Brockschmidt_16/T2/invgen.koat 2 1 n1 0.10/0.09 4 n1 n1 4.31/2.22
Brockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat StarExec error 4 n1 n1 233.77/145.60
Brockschmidt_16/T2/ex17.koat 0 1 ∞ 0.24/0.32 0 1 ∞ 3.62/1.64
Brockschmidt_16/T2/consts5nt.koat 0 1 ∞ 0.11/0.19 2 NonPoly ∞ 4.02/1.81
Brockschmidt_16/T2/dsa_test10.koat 0 1 ∞ 0.20/0.29 0 1 ∞ 3.79/1.68
Brockschmidt_16/T2/slayer-n2.koat 0 1 ∞ 0.13/0.21 2 NonPoly ∞ 3.63/1.67
Brockschmidt_16/T2/ex27.koat 0 1 ∞ 2.93/3.01 0 1 ∞ 31.26/13.59
Brockschmidt_16/T2/6.koat 0 1 ∞ 0.09/0.08 2 NonPoly ∞ 3.44/1.63
Brockschmidt_16/T2/n-5.koat 0 1 ∞ 1.12/1.21 2 NonPoly ∞ 7.14/2.81
Brockschmidt_16/T2/consts5.koat 0 1 ∞ 0.08/0.07 0 1 ∞ 3.61/1.61
Brockschmidt_16/T2/p-37.koat 0 1 ∞ 0.26/0.34 0 1 ∞ 3.60/1.72
Brockschmidt_16/T2/a.10.c.koat 2 1 n1 1.45/1.54 3 n1 n2 8.41/4.98
Brockschmidt_16/T2/ex19.koat 0 1 ∞ 0.34/0.43 2 NonPoly ∞ 4.19/1.87
Brockschmidt_16/T2/neg-e-popl07-succeed.koat StarExec error 2 NonPoly ∞ 6.88/3.01
Brockschmidt_16/T2/ase_example.koat StarExec error StarExec error
Brockschmidt_16/T2/sumit.koat 2 1 n1 0.85/0.94 2 n1 ∞ 8.39/4.87
Brockschmidt_16/T2/dsa_test.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.33/1.55
Brockschmidt_16/T2/ex14.koat 0 1 ∞ 0.13/0.22 0 1 ∞ 3.75/1.72
Brockschmidt_16/T2/mc91test.koat 0 1 ∞ 0.36/0.45 2 NonPoly ∞ 9.33/3.94
Brockschmidt_16/T2/p-61.koat 0 1 ∞ 0.18/0.27 0 1 ∞ 3.59/1.62
Brockschmidt_16/T2/p-6.koat 2 1 n1 0.23/0.31 4 n1 n1 4.94/2.28
Brockschmidt_16/T2/p-41.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.32/1.54
Brockschmidt_16/T2/curious.koat 0 1 ∞ 0.09/0.18 2 NonPoly ∞ 3.78/1.76
Brockschmidt_16/T2/p-19a.koat 0 1 ∞ 0.17/0.26 2 NonPoly ∞ 3.66/2.02
Brockschmidt_16/T2/p-8.koat 0 1 ∞ 0.15/0.24 2 NonPoly ∞ 3.77/1.68
Brockschmidt_16/T2/loop3.koat 0 1 ∞ 13.97/14.03 0 1 ∞ 53.10/18.77
Brockschmidt_16/T2/byron-1.koat 2 1 n1 0.15/0.24 2 1 n1 3.96/1.82
Brockschmidt_16/T2/n-33.koat 0 1 ∞ 0.22/0.30 2 NonPoly ∞ 5.88/2.62
Brockschmidt_16/T2/e-pgarch-fail.koat 0 1 ∞ 0.19/0.27 2 NonPoly ∞ 4.93/2.22
Brockschmidt_16/T2/zeroconf.koat 0 1 ∞ 15.22/15.30 0 1 ∞ 149.26/66.69
Brockschmidt_16/T2/create_seg.koat 0 1 ∞ 0.34/0.43 2 NonPoly ∞ 4.51/1.90
Brockschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat 2 1 n1 4.26/4.34 4 n1 n1 16.11/7.37
Brockschmidt_16/T2/matrixsqrt.koat 0 1 ∞ 0.65/0.73 StarExec error
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat 1 1 n2 4.16/4.25 2 1 n1 81.81/56.70
Brockschmidt_16/T2/svdcmp.koat StarExec error 2 n1 ∞ 657.66/291.91
Brockschmidt_16/T2/pldi.koat 2 1 n2 0.55/0.64 StarExec error
Brockschmidt_16/T2/n-10.koat StarExec error StarExec error
Brockschmidt_16/T2/p-7.koat 2 1 n1 0.20/0.29 4 n1 n1 4.12/1.87
Brockschmidt_16/T2/bf16.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.34/1.85
Brockschmidt_16/T2/smagillc-succeed.koat 0 1 ∞ 0.30/0.39 2 NonPoly ∞ 5.16/2.32
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat 0 1 ∞ 3.12/3.20 4 n1 n2 51.02/42.38
Brockschmidt_16/T2/walk.koat StarExec error StarExec error
Brockschmidt_16/T2/n-1.koat 0 1 ∞ 0.21/0.30 2 NonPoly ∞ 4.23/1.86
Brockschmidt_16/T2/neg-smagilla-fail.koat 0 1 ∞ 0.29/0.38 2 NonPoly ∞ 5.42/2.32
Brockschmidt_16/T2/fdct.koat 0 1 ∞ 0.75/0.84 StarExec error
Brockschmidt_16/T2/fun7.koat 0 1 ∞ 6.82/6.90 StarExec error
Brockschmidt_16/T2/p-14.koat StarExec error 4 n1 n1 3.97/1.80
Brockschmidt_16/T2/n-12.koat 0 1 ∞ 0.20/0.28 2 NonPoly ∞ 4.57/2.04
Brockschmidt_16/T2/zeroconf_withassume.koat 0 1 ∞ 17.47/17.55 0 1 ∞ 160.12/70.45
Brockschmidt_16/T2/array_init_assign.koat 0 1 ∞ 0.18/0.27 0 1 ∞ 3.56/1.63
Brockschmidt_16/T2/ex31.koat 0 1 ∞ 0.14/0.22 2 NonPoly ∞ 3.97/1.87
Brockschmidt_16/T2/mc91.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 5.51/2.95
Brockschmidt_16/T2/magic.koat 0 1 ∞ 42.83/42.90 2 NonPoly ∞ 50.79/17.09
Brockschmidt_16/T2/ex11.koat 0 1 ∞ 0.22/0.31 2 NonPoly ∞ 5.90/3.41
Brockschmidt_16/T2/bitcount32.koat 0 1 ∞ 0.34/0.43 0 1 ∞ 3.48/1.60
Brockschmidt_16/T2/rev_nt2.koat 0 1 ∞ 1.10/1.19 2 NonPoly ∞ 7.16/3.61
Brockschmidt_16/T2/cnt.koat 0 1 ∞ 0.91/1.00 0 1 ∞ 4.11/1.82
Brockschmidt_16/T2/ex13.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.34/1.54
Brockschmidt_16/T2/bf13.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.29/1.84
Brockschmidt_16/T2/1394complete-fail.koat 0 1 ∞ 5.87/5.95 2 NonPoly ∞ 27.08/12.06
Brockschmidt_16/T2/n-4.koat 0 1 ∞ 1.89/1.97 2 NonPoly ∞ 14.13/5.52
Brockschmidt_16/T2/fun9.koat 0 1 ∞ 176.58/176.55 0 1 ∞ 311.58/291.58
Brockschmidt_16/T2/bf12.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.21/1.86
Brockschmidt_16/T2/tqli.koat StarExec error 2 n1 ∞ 168.77/138.03
Brockschmidt_16/T2/pgarch.koat StarExec error 0 1 ∞ 656.08/293.63
Brockschmidt_16/T2/slayer-3-filtered.koat 0 1 ∞ 42.36/42.44 2 NonPoly ∞ 26.21/8.62
Brockschmidt_16/T2/popl07-fail.koat 0 1 ∞ 1.06/1.16 2 NonPoly ∞ 5.45/2.37
Brockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat StarExec error 4 n1 n1 41.59/35.48
Brockschmidt_16/T2/w1.koat 0 1 ∞ 0.09/0.08 2 NonPoly ∞ 3.82/1.79
Brockschmidt_16/T2/p-20.koat 0 1 ∞ 0.18/0.27 2 NonPoly ∞ 3.96/2.48
Brockschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat 0 1 ∞ 6.82/6.91 2 NonPoly ∞ 14.48/5.23
Brockschmidt_16/T2/buggyNonTermLoop.koat 0 1 ∞ 128.53/128.62 2 NonPoly ∞ 37.13/16.20
Brockschmidt_16/T2/fun6.koat StarExec error 2 NonPoly ∞ 50.72/23.17
Brockschmidt_16/T2/n-6a.koat 0 1 ∞ 0.22/0.31 2 NonPoly ∞ 4.29/1.89
Brockschmidt_16/T2/simple_control_on_input.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 3.72/2.77
Brockschmidt_16/T2/send-more-money.koat StarExec error 0 1 ∞ 56.27/27.39
Brockschmidt_16/T2/5.koat 0 1 ∞ 0.67/0.75 2 NonPoly ∞ 7.31/2.78
Brockschmidt_16/T2/array.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.43/1.57
Brockschmidt_16/T2/wrong_loop.koat 0 1 ∞ 0.19/0.28 2 NonPoly ∞ 4.73/2.25
Brockschmidt_16/T2/fun2b.koat 0 1 ∞ 56.76/56.85 2 NonPoly ∞ 34.86/15.39
Brockschmidt_16/T2/slayer-2-filtered.koat 0 1 ∞ 0.14/0.23 0 1 ∞ 3.70/1.62
Brockschmidt_16/T2/p-19.koat 0 1 ∞ 0.15/0.24 2 NonPoly ∞ 3.82/1.71
Brockschmidt_16/T2/queue_1000.koat 0 1 ∞ 0.21/0.29 0 1 ∞ 3.89/1.74
Brockschmidt_16/T2/consts4nt.koat 0 1 ∞ 0.10/0.18 2 NonPoly ∞ 4.00/1.74
Brockschmidt_16/T2/nakata.koat StarExec error 2 NonPoly ∞ 30.09/10.40
Brockschmidt_16/T2/ex40.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 3.99/2.52
Brockschmidt_16/T2/dropbuf.koat 0 1 ∞ 2.43/2.52 2 NonPoly ∞ 13.27/5.72
Brockschmidt_16/T2/p-22.koat 2 1 n1 0.13/0.22 4 n1 n1 3.96/2.37
Brockschmidt_16/T2/bitcount16.koat 0 1 ∞ 0.34/0.43 0 1 ∞ 3.56/1.64
Brockschmidt_16/T2/efegp.koat 0 1 ∞ 25.83/25.92 2 NonPoly ∞ 15.96/5.54
Brockschmidt_16/T2/heidy7.koat 0 1 ∞ 0.20/0.29 2 NonPoly ∞ 5.79/2.45
Brockschmidt_16/T2/sas2.koat 2 1 n1 6.12/6.19 0 1 ∞ 66.87/38.74
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat 2 1 n1 39.94/40.00 4 n1 n1 38.37/19.99
Brockschmidt_16/T2/p-43-terminate.koat 0 1 ∞ 53.83/53.90 2 n1 ∞ 77.14/60.05
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat StarExec error 4 n1 n1 160.35/147.06
Brockschmidt_16/T2/ex37.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.34/1.55
Brockschmidt_16/T2/fun2.koat 2 1 n1 85.64/85.74 4 n1 n1 122.98/59.89
Brockschmidt_16/T2/disj_nightmare_abi.koat 0 1 ∞ 0.11/0.20 0 1 ∞ 3.34/1.56
Brockschmidt_16/T2/byron-4.koat 2 1 n1 0.19/0.28 4 n1 n1 4.83/2.17
Brockschmidt_16/T2/nested2.koat 0 1 ∞ 0.15/0.24 0 1 ∞ 5.53/2.84
Brockschmidt_16/T2/toeplz.koat 0 1 ∞ 6.84/6.92 2 NonPoly ∞ 14.29/5.24
Brockschmidt_16/T2/dsa_test4.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.47/1.63
Brockschmidt_16/T2/ex23.koat StarExec error 0 1 ∞ 3.95/1.72
Brockschmidt_16/T2/ex18.koat 0 1 ∞ 0.32/0.40 0 1 ∞ 296.73/291.54
Brockschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat 2 1 n1 81.82/81.89 4 n1 n1 33.79/14.73
Brockschmidt_16/T2/e-acqrel-fail.koat 0 1 ∞ 0.26/0.34 2 NonPoly ∞ 4.45/1.91
Brockschmidt_16/T2/e-acqrel-succeed.koat 0 1 ∞ 0.32/0.41 2 NonPoly ∞ 4.45/2.00
Brockschmidt_16/T2/two_arrays6.koat 2 1 n1 1.12/1.20 4 n1 n1 7.29/3.10
Brockschmidt_16/T2/ex1.koat 0 1 ∞ 0.15/0.24 2 NonPoly ∞ 3.55/1.58
Brockschmidt_16/T2/traverse_twice.koat 0 1 ∞ 3.97/4.17 StarExec error
Brockschmidt_16/T2/simple_array_inversion.koat 0 1 ∞ 0.12/0.20 StarExec error
Brockschmidt_16/T2/selectSort.koat 2 1 n2 0.71/0.80 4 n2 n2 5.55/2.52
Brockschmidt_16/T2/7.koat 0 1 ∞ 0.13/0.21 2 NonPoly ∞ 3.92/1.73
Brockschmidt_16/T2/bf17.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.34/1.85
Brockschmidt_16/T2/array2.koat 0 1 ∞ 0.12/0.20 0 1 ∞ 3.60/1.67
Brockschmidt_16/T2/two_arrays.koat 0 1 ∞ 0.53/0.62 0 1 ∞ 4.47/2.10
Brockschmidt_16/T2/bf11.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.21/1.82
Brockschmidt_16/T2/destroy_seg_leak.koat 0 1 ∞ 7.65/7.73 StarExec error
Brockschmidt_16/T2/db3.koat StarExec error 2 NonPoly ∞ 78.34/25.86
Brockschmidt_16/T2/two_arrays1.koat 0 1 ∞ 0.74/0.82 0 1 ∞ 5.62/2.30
Brockschmidt_16/T2/fermat.koat 0 1 ∞ 0.63/0.72 0 1 ∞ 3.89/1.73
Brockschmidt_16/T2/constants.koat 0 1 ∞ 0.25/0.34 0 1 ∞ 3.63/1.62
Brockschmidt_16/T2/fun1.koat StarExec error 2 NonPoly ∞ 36.09/15.91
Brockschmidt_16/T2/p-9.koat 0 1 ∞ 0.15/0.24 2 NonPoly ∞ 3.70/1.70
Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat StarExec error 2 n1 ∞ 513.40/291.83
Brockschmidt_16/T2/p-18.koat 2 1 n1 0.13/0.22 4 n1 n1 3.82/1.82
Brockschmidt_16/T2/rlft3.koat StarExec error 4 n1 n1 29.62/13.92
Brockschmidt_16/T2/slayer-n2-filtered.koat 0 1 ∞ 0.13/0.21 2 NonPoly ∞ 3.95/1.79
Brockschmidt_16/T2/slayer-4-filtered.koat StarExec error 2 NonPoly ∞ 123.07/40.86
Brockschmidt_16/T2/rewrite.koat 0 1 ∞ 0.09/0.14 2 NonPoly ∞ 3.64/1.65
Brockschmidt_16/T2/heidy2.koat 0 1 ∞ 0.11/0.19 2 NonPoly ∞ 4.09/1.81
Brockschmidt_16/T2/p-13.koat 0 1 ∞ 0.08/0.06 0 1 ∞ 3.36/1.56
Brockschmidt_16/T2/e-1394complete-succeed.koat 0 1 ∞ 5.49/5.57 2 NonPoly ∞ 27.18/11.41
Brockschmidt_16/T2/eric.koat 2 1 n1 0.24/0.32 3 n1 n2 5.29/2.74
Brockschmidt_16/T2/dsa_test1.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.61/1.66
Brockschmidt_16/T2/p-40.koat 0 1 ∞ 0.13/0.22 2 NonPoly ∞ 4.12/1.80
Brockschmidt_16/T2/simpleWhile.koat 2 1 n1 0.37/0.46 4 n1 n1 4.32/1.94
Brockschmidt_16/T2/consts2.koat 2 1 n1 0.09/0.08 4 n1 n1 3.84/1.79
Brockschmidt_16/T2/vmcai_bytes.koat 0 1 ∞ 0.07/0.07 0 1 ∞ 3.44/1.60
Brockschmidt_16/T2/p-60.koat 0 1 ∞ 0.18/0.26 2 1 n1 3.98/1.90
Brockschmidt_16/T2/dead.neg-st88b-succeed.koat 0 1 ∞ 0.25/0.34 2 NonPoly ∞ 7.01/3.07
Brockschmidt_16/T2/dummy.koat 0 1 ∞ 0.11/0.10 2 NonPoly ∞ 3.70/1.70
Brockschmidt_16/T2/p-52.koat 0 1 ∞ 0.16/0.24 2 NonPoly ∞ 3.75/1.71
Brockschmidt_16/T2/p-21.koat 2 1 n1 0.30/0.38 4 n1 n1 4.46/1.98
Brockschmidt_16/T2/w2_nt.koat 0 1 ∞ 1.02/1.10 2 NonPoly ∞ 6.81/2.84
Brockschmidt_16/T2/neg-e-pgarch-succeed.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 4.72/2.14
Brockschmidt_16/T2/232.koat 2 1 n2 0.14/0.23 4 n2 n2 4.12/2.11
Brockschmidt_16/T2/array_init.koat 0 1 ∞ 0.12/0.20 0 1 ∞ 3.50/2.44
Brockschmidt_16/T2/n_firewire_instrumented-PP.koat 0 1 ∞ 18.40/18.49 2 NonPoly ∞ 63.86/26.48
Brockschmidt_16/T2/dsa_test11.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.46/1.57
Brockschmidt_16/T2/acqrel-fail.koat 0 1 ∞ 0.28/0.37 2 NonPoly ∞ 4.89/2.14
Brockschmidt_16/T2/polyrank3.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 7.19/4.52
Brockschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat StarExec error 4 n1 n1 89.22/74.55
Brockschmidt_16/T2/fast_poll.koat 0 1 ∞ 172.47/172.55 2 NonPoly ∞ 35.51/15.46
Brockschmidt_16/T2/neg-popl07-succeed.koat 0 1 ∞ 1.28/1.38 2 NonPoly ∞ 5.81/2.65
Brockschmidt_16/T2/ex34.koat 0 1 ∞ 0.10/0.10 0 1 ∞ 3.36/1.56
Brockschmidt_16/T2/p-34.koat 0 1 ∞ 0.74/0.83 2 NonPoly ∞ 4.52/2.03
Brockschmidt_16/T2/neg-1394complete-fail.koat 0 1 ∞ 5.90/5.98 2 NonPoly ∞ 26.38/10.84
Brockschmidt_16/T2/bf6.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.44/1.93
Brockschmidt_16/T2/intSqRoot.koat 0 1 ∞ 0.18/0.27 0 1 ∞ 3.79/1.82
Brockschmidt_16/T2/bf20.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.22/1.84
Brockschmidt_16/T2/consts3.koat 2 1 n1 0.09/0.08 4 n1 n1 3.95/1.80
Brockschmidt_16/T2/neg-pgarch-succeed.koat 0 1 ∞ 0.19/0.27 2 NonPoly ∞ 4.92/2.21
Brockschmidt_16/T2/fun4-alt.koat 2 1 n1 0.17/0.26 0 1 ∞ 3.69/1.65
Brockschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat 0 1 ∞ 3.16/3.24 4 n1 n2 54.41/45.57
Brockschmidt_16/T2/traverse_seg2.koat 0 1 ∞ 3.77/3.85 2 NonPoly ∞ 50.80/17.20
Brockschmidt_16/T2/slayer-3.koat StarExec error 0 1 ∞ 893.66/294.98
Brockschmidt_16/T2/nested.koat 0 1 ∞ 0.29/0.38 2 NonPoly ∞ 4.46/2.02
Brockschmidt_16/T2/janne_complex.koat 0 1 ∞ 0.43/0.51 0 1 ∞ 15.60/10.09
Brockschmidt_16/T2/n-20.koat 0 1 ∞ 0.13/0.22 2 NonPoly ∞ 4.10/1.76
Brockschmidt_16/T2/fun5.koat 2 1 n1 4.14/4.22 0 1 ∞ 328.59/289.62
Brockschmidt_16/T2/st88.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 6.29/2.52
Brockschmidt_16/T2/ex26.koat 0 1 ∞ 0.23/0.31 0 1 ∞ 3.70/2.45
Brockschmidt_16/T2/bio.koat StarExec error 0 1 ∞ 881.61/292.75
Brockschmidt_16/T2/bf7.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.21/1.86
Brockschmidt_16/T2/cover.koat StarExec error 0 1 ∞ 140.26/46.67
Brockschmidt_16/T2/polling.koat 0 1 ∞ 129.53/129.60 2 NonPoly ∞ 43.57/18.64
Brockschmidt_16/T2/simple_swap_call.koat 0 1 ∞ 0.08/0.06 0 1 ∞ 3.48/1.58
Brockschmidt_16/T2/loop_on_input.koat 0 1 ∞ 0.14/0.22 0 1 ∞ 4.20/1.99
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat StarExec error 2 NonPoly ∞ 342.91/147.19
Brockschmidt_16/T2/p-7b.koat 2 1 n1 0.20/0.29 4 n1 n1 4.08/1.80
Brockschmidt_16/T2/spctrm.koat 2 1 n1 81.86/81.93 4 n1 n1 33.50/14.99
Brockschmidt_16/T2/flipflop.koat 0 1 ∞ 0.10/0.18 2 NonPoly ∞ 3.58/2.42
Brockschmidt_16/T2/reverse_div4.koat 0 1 ∞ 1.11/1.20 2 NonPoly ∞ 5.36/2.42
Brockschmidt_16/T2/byron-3.koat 0 1 ∞ 0.15/0.24 0 1 ∞ 5.69/3.60
Brockschmidt_16/T2/sequential_swap.koat 0 1 ∞ 0.07/0.09 0 1 ∞ 3.47/1.57
Brockschmidt_16/T2/bf18.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.58/1.98
Brockschmidt_16/T2/n-40.koat 0 1 ∞ 0.87/0.96 2 NonPoly ∞ 11.35/4.93
Brockschmidt_16/T2/seq2.koat 2 1 n1 0.10/0.09 4 n1 n1 3.76/1.72
Brockschmidt_16/T2/bf15.koat 0 1 ∞ 0.76/0.87 0 1 ∞ 4.26/1.86
Brockschmidt_16/T2/n-1d.koat 0 1 ∞ 0.22/0.31 2 NonPoly ∞ 4.46/5.22
Brockschmidt_16/T2/p-32.koat 0 1 ∞ 0.13/0.23 2 NonPoly ∞ 3.95/1.93
Brockschmidt_16/T2/n-18a.koat 0 1 ∞ 0.14/0.23 0 1 ∞ 5.24/3.02
Brockschmidt_16/T2/Loop.koat 2 1 n1 85.77/85.88 4 n1 n1 123.13/59.96
Brockschmidt_16/T2/traverse.koat 0 1 ∞ 2.62/2.70 2 NonPoly ∞ 38.33/14.46
Brockschmidt_16/T2/n-8.koat 0 1 ∞ 0.22/0.31 2 NonPoly ∞ 3.92/1.80
Brockschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat StarExec error 2 n1 ∞ 658.84/291.91
Brockschmidt_16/T2/firewire.koat 0 1 ∞ 7.23/7.32 2 NonPoly ∞ 73.13/46.20
Brockschmidt_16/T2/p-4.koat 2 1 n1 0.16/0.25 3 n1 n2 4.25/1.96
Brockschmidt_16/T2/fun10b.koat 0 1 ∞ 9.81/9.89 2 NonPoly ∞ 8.00/2.87
Brockschmidt_16/T2/matmul.koat 0 1 ∞ 0.49/0.57 StarExec error
Brockschmidt_16/T2/afagp-fail.koat 0 1 ∞ 66.56/66.65 2 NonPoly ∞ 19.55/6.70
Brockschmidt_16/T2/bf19.koat StarExec error StarExec error
Brockschmidt_16/T2/heidy3.koat StarExec error StarExec error
Brockschmidt_16/T2/ex36.koat 0 1 ∞ 94.85/94.92 2 NonPoly ∞ 221.11/73.81
Brockschmidt_16/T2/heidy10.koat 0 1 ∞ 0.11/0.20 2 NonPoly ∞ 4.84/2.15
Brockschmidt_16/T2/p-33.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 4.77/2.29
Brockschmidt_16/T2/polyrank7.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 3.88/1.70
Brockschmidt_16/T2/p-5.koat 0 1 ∞ 1.12/1.20 2 NonPoly ∞ 7.19/2.84
Brockschmidt_16/T2/p-44.koat 2 1 n1 0.16/0.25 4 n1 n1 4.12/1.90
Brockschmidt_16/T2/smagillc-fail.koat 0 1 ∞ 0.35/0.43 2 NonPoly ∞ 5.13/2.31
Brockschmidt_16/T2/p-49.koat 2 1 n1 0.13/0.21 4 n1 n1 4.07/1.80
Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat StarExec error 2 n1 ∞ 174.20/143.49
Brockschmidt_16/T2/p-10.koat 0 1 ∞ 0.17/0.26 2 NonPoly ∞ 3.68/1.69
Brockschmidt_16/T2/s3-work.koat 0 1 ∞ 44.08/44.15 2 NonPoly ∞ 860.69/286.02
Brockschmidt_16/T2/p-55.koat 2 1 n1 0.31/0.40 3 n1 n2 4.95/2.38
Brockschmidt_16/T2/s1-saved.koat 0 1 ∞ 2.53/2.61 2 NonPoly ∞ 39.34/14.55
Brockschmidt_16/T2/p-36.koat 0 1 ∞ 0.48/0.58 2 NonPoly ∞ 3.96/1.76
Brockschmidt_16/T2/ex10.koat 0 1 ∞ 0.41/0.50 2 NonPoly ∞ 4.00/1.86
Brockschmidt_16/T2/traverse2.koat 0 1 ∞ 7.69/7.78 2 NonPoly ∞ 437.27/160.20
Brockschmidt_16/T2/ctl.koat 0 1 ∞ 0.29/0.37 2 NonPoly ∞ 4.04/1.83
Brockschmidt_16/T2/dsa_test12.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.28/1.54
Brockschmidt_16/T2/heidy7-simple.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 4.24/1.84
Brockschmidt_16/T2/array3.koat 0 1 ∞ 0.19/0.27 0 1 ∞ 3.77/1.69
Brockschmidt_16/T2/traverse_seg.koat 0 1 ∞ 3.19/3.31 2 NonPoly ∞ 44.44/14.82
Brockschmidt_16/T2/fun4.koat 2 1 n1 0.18/0.27 0 1 ∞ 4.01/1.80
Brockschmidt_16/T2/heidy5.koat 2 1 n1 0.15/0.24 4 n1 n1 4.12/2.47
Brockschmidt_16/T2/ex30.koat 0 1 ∞ 0.26/0.35 2 NonPoly ∞ 4.57/1.96
Brockschmidt_16/T2/qrdcmp.koat 2 1 n1 4.21/4.29 4 n1 n1 16.05/7.39
Brockschmidt_16/T2/curious4.koat StarExec error 2 NonPoly ∞ 27.08/12.03
Brockschmidt_16/T2/select.koat 0 1 ∞ 118.51/118.55 2 NonPoly ∞ 13.04/4.75
Brockschmidt_16/T2/slayer-1-rf.koat 0 1 ∞ 1.71/1.79 2 n1 ∞ 282.11/254.73
Brockschmidt_16/T2/oct_vs_subpoly.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 3.82/1.70
Brockschmidt_16/T2/rev_nt3.koat StarExec error 2 NonPoly ∞ 7.30/3.05
Brockschmidt_16/T2/n-17.koat 0 1 ∞ 0.13/0.21 2 NonPoly ∞ 3.96/1.79
Brockschmidt_16/T2/sort.koat 0 1 ∞ 3.31/3.39 0 1 ∞ 6.24/2.56
Brockschmidt_16/T2/p-1d.koat 2 1 n1 0.22/0.31 4 n1 n1 5.04/2.37
Brockschmidt_16/T2/p-53.koat 0 1 ∞ 0.08/0.06 0 1 ∞ 3.47/1.60
Brockschmidt_16/T2/destroy.koat 0 1 ∞ 1.05/1.14 2 NonPoly ∞ 10.95/4.90
Brockschmidt_16/T2/simple.koat 0 1 ∞ 0.09/0.08 2 NonPoly ∞ 4.03/1.78
Brockschmidt_16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat StarExec error 2 n1 ∞ 326.53/291.64
Brockschmidt_16/T2/e-popl07-fail.koat 0 1 ∞ 2.07/2.15 2 NonPoly ∞ 7.06/3.13
Brockschmidt_16/T2/ex7.koat 0 1 ∞ 0.15/0.23 0 1 ∞ 3.77/1.65
Brockschmidt_16/T2/dsa_test6.koat 0 1 ∞ 0.12/0.21 0 1 ∞ 3.37/1.57
Brockschmidt_16/T2/slayer-n1.koat 0 1 ∞ 1.16/1.25 2 NonPoly ∞ 9.40/4.18
Brockschmidt_16/T2/n-18.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 3.92/1.79
Brockschmidt_16/T2/elmhes.koat 0 1 ∞ 3.09/3.17 4 n1 n2 27.47/19.04
Brockschmidt_16/T2/n-16.koat 0 1 ∞ 0.12/0.21 2 NonPoly ∞ 4.14/1.88
Brockschmidt_16/T2/destroy_seg.koat 0 1 ∞ 1.32/1.41 2 NonPoly ∞ 11.21/4.54
Brockschmidt_16/T2/p-43.koat 0 1 ∞ 0.38/0.46 2 n1 ∞ 5.42/2.98
Brockschmidt_16/T2/n-9.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 4.68/2.17
Brockschmidt_16/T2/ex4.koat 0 1 ∞ 0.50/0.59 0 1 ∞ 3.83/1.72
Brockschmidt_16/T2/ex6.koat 0 1 ∞ 0.07/0.07 0 1 ∞ 3.52/1.65
Brockschmidt_16/T2/graycode.koat 0 1 ∞ 6.39/6.47 0 1 ∞ 19.66/7.00
Brockschmidt_16/T2/bf9.koat 0 1 ∞ 0.76/0.85 0 1 ∞ 4.22/1.84
Brockschmidt_16/T2/neg-e-1394complete-succeed.koat 0 1 ∞ 5.51/5.59 2 NonPoly ∞ 26.44/11.23
Brockschmidt_16/T2/p-1a.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 3.66/1.67
Brockschmidt_16/T2/insertsort.koat 0 1 ∞ 0.26/0.38 2 NonPoly ∞ 4.02/1.80
Brockschmidt_16/T2/ex21.koat 0 1 ∞ 0.23/0.31 0 1 ∞ 3.80/1.66
Brockschmidt_16/T2/streamserver.bug.koat 0 1 ∞ 118.04/118.11 2 NonPoly ∞ 33.35/11.44
Brockschmidt_16/T2/1.koat 0 1 ∞ 0.74/0.83 2 NonPoly ∞ 5.36/2.31
Brockschmidt_16/T2/neg-e-acqrel-fail.koat 0 1 ∞ 0.34/0.43 2 NonPoly ∞ 4.88/2.16
Brockschmidt_16/T2/slayer-n1-filtered.koat 0 1 ∞ 0.84/0.93 2 NonPoly ∞ 4.58/1.93
Brockschmidt_16/T2/spiral.koat 2 1 n1 0.39/0.48 3 n1 n2 10.28/4.94
Brockschmidt_16/T2/apchild-live.koat StarExec error 2 NonPoly ∞ 32.11/14.00
Brockschmidt_16/T2/heidy1.koat 0 1 ∞ 0.10/0.08 2 NonPoly ∞ 3.65/1.69
Brockschmidt_16/T2/seq.koat 2 1 n1 0.09/0.08 4 n1 n1 3.97/1.84
Brockschmidt_16/T2/ex29.koat 0 1 ∞ 0.22/0.30 0 1 ∞ 3.90/1.77
Brockschmidt_16/T2/polling.bug.koat 0 1 ∞ 152.41/152.47 2 NonPoly ∞ 44.83/19.13
Brockschmidt_16/T2/db2.koat StarExec error 2 NonPoly ∞ 84.09/27.47
Brockschmidt_16/T2/n-6.koat 0 1 ∞ 0.23/0.32 2 NonPoly ∞ 4.79/2.16
Brockschmidt_16/T2/collatz.koat 0 1 ∞ 0.23/0.32 0 1 ∞ 6.92/3.16
Brockschmidt_16/T2/create.koat 0 1 ∞ 0.32/0.41 2 NonPoly ∞ 4.08/1.78
Brockschmidt_16/T2/slayer-1-filtered.koat 0 1 ∞ 1.77/1.85 2 NonPoly ∞ 11.84/4.28
Brockschmidt_16/T2/ludcmp.koat 2 1 n1 39.91/39.97 4 n1 n1 37.84/20.49
Brockschmidt_16/T2/simple_pre2.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.45/1.58
Brockschmidt_16/T2/p-1.koat 0 1 ∞ 0.16/0.26 2 NonPoly ∞ 3.72/1.66
Brockschmidt_16/T2/fake-succeed.koat 0 1 ∞ 176.16/176.28 2 NonPoly ∞ 45.46/15.04
Brockschmidt_16/T2/fuhs-inflasso.koat 2 1 n2 0.22/0.30 4 n2 n2 4.58/2.09
Brockschmidt_16/T2/consts3nt.koat 0 1 ∞ 0.10/0.18 2 NonPoly ∞ 4.04/1.78
Brockschmidt_16/T2/popl07-succeed.koat 0 1 ∞ 1.11/1.20 2 NonPoly ∞ 5.11/2.30
Brockschmidt_16/T2/ex8.koat 0 1 ∞ 0.26/0.34 2 NonPoly ∞ 4.64/1.96
Brockschmidt_16/T2/bsort100.koat 0 1 ∞ 1.07/1.16 0 1 ∞ 4.29/1.84
Brockschmidt_16/T2/consts2nt.koat 0 1 ∞ 0.09/0.18 2 NonPoly ∞ 3.68/1.69
Brockschmidt_16/T2/bs.koat 0 1 ∞ 0.38/0.47 2 NonPoly ∞ 6.13/2.64
Brockschmidt_16/T2/bf8.koat 0 1 ∞ 0.76/0.84 0 1 ∞ 4.36/1.92
Brockschmidt_16/T2/ndes.koat 0 1 ∞ 78.17/78.26 0 1 ∞ 46.47/15.59
Brockschmidt_16/T2/reverse.koat 0 1 ∞ 4.49/4.85 2 NonPoly ∞ 50.51/21.57
Brockschmidt_16/T2/pearl-necklace.koat 2 1 n1 0.42/0.50 4 n1 n1 5.25/2.37
Brockschmidt_16/T2/slayer-n5-filtered.koat 0 1 ∞ 7.82/7.91 2 NonPoly ∞ 8.51/7.38
Brockschmidt_16/T2/dsa_test13.koat 0 1 ∞ 0.07/0.06 0 1 ∞ 3.40/1.58
Brockschmidt_16/T2/p-45.koat 2 1 n1 0.26/0.34 4 n1 n1 4.03/1.86
Brockschmidt_16/T2/1394complete-succeed.koat 0 1 ∞ 5.98/6.06 2 NonPoly ∞ 26.81/11.05
Brockschmidt_16/T2/polyrank1.koat 0 1 ∞ 0.10/0.19 0 1 ∞ 4.99/3.00
Brockschmidt_16/T2/p-58.koat 0 1 ∞ 0.09/0.08 0 1 ∞ 3.69/1.66
Brockschmidt_16/T2/jfdctint.koat 0 1 ∞ 0.86/0.95 0 1 ∞ 3.90/1.92
Brockschmidt_16/T2/sas1.koat 2 1 n1 0.64/0.73 4 n1 n1 7.13/3.19
Brockschmidt_16/T2/consts1.koat 0 1 ∞ 0.10/0.20 0 1 ∞ 3.58/1.73
Brockschmidt_16/T2/ex3.koat 0 1 ∞ 0.16/0.25 0 1 ∞ 3.43/1.59
Brockschmidt_16/T2/create_via_tmps.koat 2 1 n1 1.06/1.14 4 n1 n1 10.66/4.51
Brockschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat 2 1 n1 39.24/39.29 4 n1 n1 30.05/13.79
Brockschmidt_16/T2/p-1c.koat 0 1 ∞ 0.16/0.24 2 NonPoly ∞ 3.67/1.70
Brockschmidt_16/T2/ex2.koat 0 1 ∞ 0.16/0.25 2 NonPoly ∞ 4.15/1.82
Brockschmidt_16/c-examples/ABC/ex15.koat 0 1 ∞ 5.04/5.11 2 NonPoly ∞ 11.07/4.14
Brockschmidt_16/c-examples/ABC/ex12.koat 2 1 n1 0.21/0.30 3 n1 n2 4.77/2.44
Brockschmidt_16/c-examples/ABC/ex05.koat 2 1 n2 0.27/0.36 4 n2 n2 4.76/2.17
Brockschmidt_16/c-examples/ABC/ex07.koat 2 1 n2 0.38/0.47 4 n2 n2 5.14/2.27
Brockschmidt_16/c-examples/ABC/ex14.koat 2 1 n4 0.88/0.97 3 n4 n7 15.60/11.11
Brockschmidt_16/c-examples/ABC/ex02.koat 2 1 n2 0.27/0.35 4 n2 n2 4.94/2.99
Brockschmidt_16/c-examples/ABC/ex11.koat 2 1 n2 0.30/0.39 4 n2 n2 4.80/2.49
Brockschmidt_16/c-examples/ABC/ex13.koat 2 1 n3 1.56/1.64 4 n3 n3 32.22/23.05
Brockschmidt_16/c-examples/ABC/ex06.koat 2 1 n2 0.27/0.36 4 n2 n2 4.21/1.93
Brockschmidt_16/c-examples/ABC/ex03.koat 2 1 n4 1.24/1.32 3 n4 n5 16.88/12.06
Brockschmidt_16/c-examples/ABC/ex09.koat 2 1 n2 0.37/0.46 4 n2 n2 4.62/2.14
Brockschmidt_16/c-examples/ABC/ex10.koat 2 1 n2 0.32/0.41 4 n2 n2 4.72/2.19
Brockschmidt_16/c-examples/ABC/ex04.koat 0 1 ∞ 0.68/0.76 0 1 ∞ 7.61/3.85
Brockschmidt_16/c-examples/ABC/ex08.koat 2 1 n2 0.30/0.39 4 n2 n2 5.09/2.25
Brockschmidt_16/c-examples/ABC/ex01.koat 2 1 n1 0.14/0.23 4 n1 n1 4.08/1.85
Brockschmidt_16/c-examples/Rank/ex1.koat 2 1 n2 0.99/1.07 4 n1 n2 14.93/7.06
Brockschmidt_16/c-examples/Rank/ex3.koat 2 1 n1 0.80/0.88 4 n1 n1 7.06/3.16
Brockschmidt_16/c-examples/Rank/ex2.koat 2 1 n1 0.47/0.55 4 n1 n1 6.95/3.03
Brockschmidt_16/c-examples/Loopus/Example2.koat 2 1 n1 6.59/6.67 2 n1 ∞ 81.27/36.33
Brockschmidt_16/c-examples/Loopus/Example3.koat 2 1 n1 0.25/0.34 2 1 n1 6.40/2.89
Brockschmidt_16/c-examples/Loopus/Example1.koat 2 1 n1 0.57/0.65 4 n1 n1 6.26/2.73
648 1688