| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/01.koat
|
n^1/n^1
3.4 /
1.7
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/02.koat
|
n^1/n^1
3.8 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/03.koat
|
?/n^1
3.7 /
1.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/04.koat
|
?/n^0
3.2 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(1)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/05.koat
|
?/n^0
4.0 /
2.5
(4)
|
?/n^1
0.1 /
0.1
(3)
|
?/n^1
0.0 /
0.0
(3)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/06.koat
|
?/n^0
4.0 /
2.0
(4)
|
?/n^1
0.1 /
0.1
(3)
|
?/n^1
0.0 /
0.0
(3)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/07.koat
|
?/n^0
3.4 /
1.8
(4)
|
?/n^1
0.1 /
0.1
(3)
|
?/n^1
0.0 /
0.0
(3)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/08.koat
|
n^1/n^1
4.0 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/09.koat
|
n^1/n^1
3.9 /
2.1
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/10.koat
|
?/n^1
6.7 /
4.5
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/11.koat
|
n^1/n^1
4.3 /
2.4
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.3 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/13.koat
|
n^1/n^1
4.2 /
2.3
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/15.koat
|
?/n^1
4.8 /
3.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/16.koat
|
?/n^1
4.9 /
2.8
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/17.koat
|
?/n^1
4.5 /
2.5
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/18.koat
|
n^1/n^1
5.1 /
2.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/19.koat
|
n^1/n^1
5.5 /
3.3
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/20.koat
|
n^1/n^1
3.8 /
2.2
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/21.koat
|
n^1/n^1
3.8 /
1.9
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/22.koat
|
n^1/n^1
4.0 /
2.0
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/23.koat
|
n^1/n^1
4.6 /
2.6
(8)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/Beerendonk/24.koat
|
n^1/n^1
4.2 /
2.3
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/CAV02/practical1.koat
|
n^2/n^2
3.9 /
2.1
(8)
|
?/n^2
0.2 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/CAV02/practical2.koat
|
n^1/n^1
6.6 /
4.2
(8)
|
?/n^1
0.4 /
0.4
(4)
|
.
1.7 /
0.6
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Brockschmidt_16/FGPSF09/CAV05/c.05.koat
|
?/n^1
4.5 /
2.6
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| S/Brockschmidt_16/FGPSF09/ESOP08/abstractions.koat
|
n^1/?
6.0 /
4.2
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| exity_ITS/Brockschmidt_16/FGPSF09/LICS04/c.01.koat
|
?/n^2
4.4 /
2.2
(4)
|
?/n^2
0.3 /
0.2
(4)
|
?/n^2
0.5 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ity_ITS/Brockschmidt_16/FGPSF09/LICS04/choice.koat
|
n^1/?
7.7 /
5.5
(4)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.03.koat
|
n^1/n^1
4.1 /
2.1
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/FGPSF09/PLDI06/c.04.koat
|
?/n^1
4.4 /
2.5
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Brockschmidt_16/FGPSF09/SAS05/c.02.koat
|
n^2/n^2
4.0 /
2.4
(8)
|
?/n^2
0.2 /
0.2
(4)
|
?/n^2
0.3 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ITS/Brockschmidt_16/FGPSF09/TACAS01/terminate.koat
|
?/n^1
4.2 /
2.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete1.koat
|
n^1/n^1
4.0 /
1.9
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete2.koat
|
?/n^0
3.9 /
2.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete3.koat
|
n^2/n^2
4.5 /
2.5
(8)
|
?/n^2
0.2 /
0.2
(4)
|
?/n^2
0.3 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| ITS/Brockschmidt_16/FGPSF09/VMCAI04/complete4.koat
|
exp/?
7.3 /
5.3
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly1.koat
|
.
32.2 /
30.0
(0)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly2.koat
|
.
10.4 /
8.5
(0)
|
.
0.1 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly3.koat
|
n^1/?
31.6 /
30.1
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/FGPSF09/VMCAI05/poly4.koat
|
n^1/n^1
5.0 /
2.7
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ty_ITS/Brockschmidt_16/FGPSF09/new/unsatCond2.koat
|
.
3.7 /
1.9
(0)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.2
(0)
|
| plexity_ITS/Brockschmidt_16/FGPSF09/patrs/div.koat
|
?/n^1
4.0 /
2.7
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| y_ITS/Brockschmidt_16/FGPSF09/patrs/increase1.koat
|
n^1/n^1
6.9 /
2.1
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| y_ITS/Brockschmidt_16/FGPSF09/patrs/increase2.koat
|
n^1/n^1
3.7 /
1.9
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| y_ITS/Brockschmidt_16/FGPSF09/patrs/increase3.koat
|
n^1/n^1
4.2 /
2.4
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| y_ITS/Brockschmidt_16/FGPSF09/patrs/increase4.koat
|
n^1/n^1
3.8 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.01.koat
|
n^2/n^2
4.1 /
2.1
(8)
|
?/n^2
0.2 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.02.koat
|
.
13.0 /
28.7
(0)
|
.
0.2 /
0.4
(0)
|
.
0.3 /
0.1
(0)
|
?/?
0.1 /
0.2
(0)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.03.koat
|
n^1/n^2
7.5 /
5.8
(8)
|
?/n^2
4.4 /
4.4
(4)
|
?/n^2
1.5 /
0.6
(4)
|
?/n^2
0.2 /
0.2
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.04.koat
|
n^1/n^1
4.0 /
2.1
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.05.koat
|
n^1/n^1
3.5 /
1.7
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.06.koat
|
n^1/n^1
3.5 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.07.koat
|
n^1/n^1
3.9 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.08.koat
|
n^1/n^1
3.6 /
1.7
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.09.koat
|
?/n^1
3.8 /
2.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.10.koat
|
n^1/n^1
4.4 /
2.2
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/?
0.1 /
0.1
(0)
|
| _ITS/Brockschmidt_16/FGPSF09/patrs/pasta/a.11.koat
|
n^1/n^1
4.9 /
3.5
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Brockschmidt_16/FGPSF09/patrs/sqrt.koat
|
?/n^1
3.9 /
1.9
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ITS/Brockschmidt_16/FGPSF09/patrs/sumto_no_if.koat
|
n^1/n^1
3.8 /
1.8
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/KoAT-2013/sect1-lin.koat
|
n^1/n^1
3.6 /
1.9
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.0
(4)
|
| xity_ITS/Brockschmidt_16/KoAT-2013/sect1-quad.koat
|
n^2/n^2
3.7 /
2.3
(8)
|
.
0.2 /
0.2
(0)
|
?/n^2
0.0 /
0.0
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| omplexity_ITS/Brockschmidt_16/KoAT-2013/sect2.koat
|
n^2/n^2
4.4 /
2.4
(8)
|
?/n^2
0.4 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/KoAT-2013/sect5-len.koat
|
n^1/n^1
4.0 /
1.8
(8)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ty_ITS/Brockschmidt_16/KoAT-2013/sect5-sumSum.koat
|
n^2/n^2
4.7 /
2.6
(8)
|
?/n^2
0.2 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| /Brockschmidt_16/KoAT-2014/adding-exp-growth1.koat
|
exp/?
4.1 /
2.2
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| /Brockschmidt_16/KoAT-2014/adding-exp-growth2.koat
|
exp/?
4.0 /
2.1
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| /Brockschmidt_16/KoAT-2014/adding-exp-growth3.koat
|
exp/?
3.7 /
2.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/KoAT-2014/nesting-ex1.koat
|
n^3/n^3
5.3 /
3.4
(8)
|
.
0.4 /
0.3
(0)
|
?/n^6
0.1 /
0.1
(2)
|
?/n^5
0.1 /
0.1
(3)
|
| chmidt_16/KoAT-2014/scaling-doubly-exp-growth.koat
|
exp/?
4.2 /
2.4
(4)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| /Brockschmidt_16/KoAT-2014/scaling-exp-growth.koat
|
exp/?
4.2 /
2.4
(4)
|
.
0.1 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/aaron2.koat
|
?/n^1
15.0 /
11.4
(4)
|
?/n^1
2.6 /
2.6
(4)
|
?/n^1
0.2 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| omplexity_ITS/Brockschmidt_16/SAS10/ackermann.koat
|
?/n^1
5.3 /
3.1
(4)
|
?/n^1
0.4 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/ax.koat
|
n^2/n^2
6.8 /
4.8
(8)
|
?/n^2
0.6 /
0.6
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/complex.koat
|
?/n^1
32.5 /
30.0
(4)
|
.
30.1 /
30.0
(0)
|
?/n^1
4.0 /
3.6
(4)
|
.
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/SAS10/counterex1.koat
|
.
32.8 /
29.4
(0)
|
.
30.0 /
30.1
(0)
|
?/n^4
35.4 /
26.3
(4)
|
.
0.0 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/cousot9.koat
|
n^2/n^2
7.5 /
5.1
(8)
|
?/n^2
0.8 /
0.8
(4)
|
?/n^2
2.0 /
1.0
(4)
|
.
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/SAS10/determinant.koat
|
n^2/n^3
7.2 /
4.9
(8)
|
?/n^3
0.9 /
0.9
(4)
|
?/n^3
1.3 /
0.5
(4)
|
?/n^3
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/easy1.koat
|
?/n^0
5.7 /
2.9
(4)
|
?/n^0
0.7 /
0.7
(4)
|
?/n^1
0.7 /
0.3
(2)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/easy2.koat
|
n^1/n^1
5.3 /
2.8
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/exmini.koat
|
?/n^1
8.8 /
5.4
(4)
|
?/n^1
1.0 /
0.9
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/gcd.koat
|
?/n^1
9.8 /
7.4
(4)
|
?/n^1
2.8 /
2.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/SAS10/insertsort.koat
|
n^1/n^2
7.9 /
5.0
(8)
|
?/n^2
1.3 /
1.3
(4)
|
?/n^3
0.4 /
0.2
(1)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/loops.koat
|
?/n^2
6.7 /
4.5
(4)
|
?/n^2
1.3 /
1.3
(4)
|
?/n^2
0.2 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/SAS10/maccarthy91.koat
|
n^1/n^1
16.5 /
11.5
(8)
|
?/n^1
1.3 /
1.3
(4)
|
?/n^1
0.4 /
0.3
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/nd_loop.koat
|
?/n^0
4.2 /
2.0
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/ndecr.koat
|
n^1/n^1
4.6 /
3.2
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.3 /
0.6
(4)
|
?/n^1
0.1 /
0.2
(4)
|
| mplexity_ITS/Brockschmidt_16/SAS10/nestedLoop.koat
|
n^1/n^2
25.2 /
16.2
(8)
|
?/n^2
3.1 /
3.0
(4)
|
?/n^2
1.1 /
0.5
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/perfect.koat
|
?/n^2
14.3 /
10.5
(4)
|
?/n^2
1.5 /
1.4
(4)
|
?/n^3
1.5 /
0.9
(2)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/random1d.koat
|
n^1/n^1
5.9 /
3.2
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/random2d.koat
|
?/n^1
23.1 /
16.0
(4)
|
?/n^1
2.5 /
2.5
(4)
|
?/n^1
0.5 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| mplexity_ITS/Brockschmidt_16/SAS10/realbubble.koat
|
n^2/n^2
17.4 /
13.8
(8)
|
.
2.2 /
2.2
(0)
|
?/n^3
0.5 /
0.3
(3)
|
.
0.0 /
0.0
(0)
|
| lexity_ITS/Brockschmidt_16/SAS10/realheapsort.koat
|
?/n^2
39.8 /
30.1
(4)
|
.
30.0 /
30.0
(0)
|
?/n^2
28.8 /
11.6
(4)
|
.
0.1 /
0.1
(0)
|
| mplexity_ITS/Brockschmidt_16/SAS10/realselect.koat
|
?/n^1
22.9 /
14.8
(3)
|
?/n^0
0.9 /
0.9
(4)
|
?/n^1
0.2 /
0.1
(3)
|
?/n^2
0.1 /
0.1
(1)
|
| exity_ITS/Brockschmidt_16/SAS10/realshellsort.koat
|
?/n^3
36.1 /
30.1
(4)
|
?/n^3
7.0 /
7.0
(4)
|
?/n^3
7.0 /
2.2
(4)
|
?/?
0.2 /
0.2
(0)
|
| omplexity_ITS/Brockschmidt_16/SAS10/relation1.koat
|
?/n^0
3.2 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/rsd.koat
|
n^1/n^2
7.9 /
5.0
(8)
|
?/n^2
2.1 /
2.1
(4)
|
?/n^2
0.2 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/SAS10/sipmabubble.koat
|
n^2/n^2
9.3 /
6.5
(8)
|
?/n^2
1.2 /
1.2
(4)
|
?/n^3
2.0 /
0.8
(2)
|
.
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/SAS10/speedFails4.koat
|
n^1/n^1
11.8 /
6.3
(8)
|
?/n^1
1.0 /
0.9
(4)
|
?/n^1
0.1 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/SAS10/speedpldi2.koat
|
?/n^1
10.3 /
7.1
(4)
|
?/n^1
0.9 /
0.8
(4)
|
?/n^1
0.8 /
0.5
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| mplexity_ITS/Brockschmidt_16/SAS10/speedpldi3.koat
|
n^1/n^2
11.6 /
7.2
(8)
|
?/n^2
0.9 /
0.9
(4)
|
?/n^2
2.5 /
1.9
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| mplexity_ITS/Brockschmidt_16/SAS10/speedpldi4.koat
|
?/n^1
7.8 /
4.9
(4)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| omplexity_ITS/Brockschmidt_16/SAS10/terminate.koat
|
?/n^1
7.5 /
4.4
(4)
|
?/n^1
0.9 /
0.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/wcet1.koat
|
n^1/n^1
11.0 /
7.0
(8)
|
?/n^1
1.2 /
1.2
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/wcet2.koat
|
n^1/n^1
7.9 /
5.2
(8)
|
?/n^1
1.2 /
1.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/SAS10/while2.koat
|
n^2/n^2
6.9 /
4.9
(8)
|
?/n^2
0.6 /
0.6
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/SAS10/wise.koat
|
n^1/n^1
5.8 /
3.6
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.3 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/1.koat
|
n^1/?
11.2 /
8.6
(4)
|
.
1.3 /
1.3
(0)
|
.
1.0 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/1394-fail.koat
|
exp/?
36.8 /
26.1
(4)
|
.
30.1 /
30.1
(0)
|
.
47.3 /
26.2
(0)
|
?/?
0.4 /
0.4
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/1394-succeed.koat
|
exp/?
33.3 /
22.2
(4)
|
.
30.0 /
30.0
(0)
|
.
47.3 /
26.1
(0)
|
?/?
0.4 /
0.4
(0)
|
| xity_ITS/Brockschmidt_16/T2/1394complete-fail.koat
|
exp/?
32.3 /
21.1
(4)
|
.
30.0 /
30.0
(0)
|
.
44.0 /
23.8
(0)
|
?/?
0.4 /
0.4
(0)
|
| y_ITS/Brockschmidt_16/T2/1394complete-succeed.koat
|
exp/?
31.6 /
21.3
(4)
|
.
30.0 /
30.0
(0)
|
.
49.5 /
26.1
(0)
|
?/?
0.4 /
0.4
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/2.koat
|
n^1/?
10.8 /
9.4
(4)
|
.
1.3 /
1.3
(0)
|
.
0.7 /
0.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/232.koat
|
n^2/n^2
4.0 /
2.2
(8)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/241.koat
|
n^2/n^2
4.3 /
2.3
(8)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/3.koat
|
exp/?
3.8 /
2.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/5.koat
|
.
32.4 /
29.2
(0)
|
.
0.9 /
0.8
(0)
|
.
15.3 /
5.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/6.koat
|
exp/?
3.4 /
1.7
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/7.koat
|
exp/?
4.5 /
2.7
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/Loop.koat
|
?/n^1
29.3 /
23.0
(4)
|
.
30.0 /
30.0
(0)
|
.
89.9 /
26.3
(0)
|
?/n^1
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/a.10.c.koat
|
n^1/n^2
6.5 /
4.1
(7)
|
?/n^1
1.2 /
1.2
(4)
|
?/n^2
0.4 /
0.2
(3)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/acqrel-fail.koat
|
exp/?
4.9 /
2.7
(4)
|
.
0.4 /
0.4
(0)
|
.
1.8 /
1.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/afagp-fail.koat
|
.
34.2 /
30.1
(0)
|
.
30.1 /
30.0
(0)
|
.
56.6 /
26.2
(0)
|
?/?
1.3 /
1.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/afagx1.koat
|
exp/?
5.2 /
12.2
(4)
|
.
0.2 /
0.2
(0)
|
.
0.5 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/agafp.koat
|
.
35.7 /
30.1
(0)
|
.
30.0 /
30.1
(0)
|
.
55.7 /
30.1
(0)
|
?/?
2.4 /
2.4
(0)
|
| _ITS/Brockschmidt_16/T2/apchild-accepted-fail.koat
|
.
34.4 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
49.4 /
26.2
(0)
|
?/?
4.4 /
4.4
(0)
|
| exity_ITS/Brockschmidt_16/T2/apchild-accepted.koat
|
.
34.6 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
54.4 /
26.2
(0)
|
?/?
4.7 /
4.7
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/apchild-live.koat
|
.
33.6 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
44.1 /
26.2
(0)
|
?/?
2.3 /
2.3
(0)
|
| ty_ITS/Brockschmidt_16/T2/apchildlive-succeed.koat
|
.
34.7 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
45.4 /
26.2
(0)
|
?/?
8.2 /
8.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/array.koat
|
?/n^0
3.2 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/array1.koat
|
?/n^0
3.6 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/array2.koat
|
?/n^0
3.5 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/array3.koat
|
?/n^0
3.8 /
1.8
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/array_free.koat
|
?/n^0
3.6 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/array_init.koat
|
?/n^0
3.6 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| xity_ITS/Brockschmidt_16/T2/array_init_assign.koat
|
?/n^0
3.7 /
1.8
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ase_example.koat
|
?/n^0
4.6 /
2.6
(4)
|
?/n^0
0.5 /
0.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf10.koat
|
?/n^0
8.4 /
7.1
(4)
|
?/n^0
1.4 /
1.4
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf11.koat
|
?/n^0
8.4 /
5.8
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.9 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf12.koat
|
?/n^0
8.6 /
5.9
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf13.koat
|
?/n^0
8.9 /
6.1
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.7 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf14.koat
|
?/n^0
8.8 /
6.1
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf15.koat
|
?/n^0
10.1 /
9.8
(4)
|
?/n^0
1.4 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf16.koat
|
?/n^0
8.4 /
5.8
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf17.koat
|
?/n^0
8.2 /
5.6
(4)
|
?/n^0
1.4 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf18.koat
|
?/n^0
8.2 /
5.7
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf19.koat
|
?/n^0
8.8 /
6.2
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.7 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf20.koat
|
?/n^0
8.2 /
5.7
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.9 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf5.koat
|
?/n^0
8.3 /
5.8
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf6.koat
|
?/n^0
16.8 /
5.8
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf7.koat
|
?/n^0
8.2 /
5.8
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf8.koat
|
?/n^0
9.6 /
7.4
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
4.8 /
4.2
(4)
|
?/n^0
0.1 /
0.3
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bf9.koat
|
?/n^0
8.4 /
5.6
(4)
|
?/n^0
1.3 /
1.3
(4)
|
?/n^0
1.0 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bio.koat
|
.
36.0 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
39.3 /
26.7
(0)
|
?/?
2.4 /
2.4
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/bitcount16.koat
|
?/n^0
4.3 /
2.0
(4)
|
?/n^0
0.5 /
0.5
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bitcount32.koat
|
?/n^0
4.2 /
2.0
(4)
|
?/n^0
0.5 /
0.5
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| ckschmidt_16/T2/broydn.c.i.broydn.pl.t2.fixed.koat
|
n^1/?
35.2 /
30.0
(4)
|
.
30.1 /
30.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.9 /
0.9
(0)
|
| 16/T2/broydn.c.i.broydn.pl.t2.nor.t2.rlgfixed.koat
|
n^1/?
37.8 /
30.1
(4)
|
.
30.1 /
30.0
(0)
|
.
82.1 /
26.2
(0)
|
?/?
0.8 /
0.8
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/broydn.koat
|
n^1/?
36.3 /
30.0
(4)
|
.
30.0 /
30.0
(0)
|
.
80.6 /
26.2
(0)
|
?/?
0.7 /
0.7
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/brp.koat
|
.
33.1 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
69.7 /
26.2
(0)
|
?/?
1.6 /
1.6
(0)
|
| plexity_ITS/Brockschmidt_16/T2/brp_withassume.koat
|
.
32.7 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
89.6 /
26.2
(0)
|
?/?
1.2 /
1.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/bs.koat
|
.
8.6 /
6.7
(0)
|
.
0.6 /
0.5
(0)
|
.
1.0 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/bsort100.koat
|
?/n^0
5.4 /
3.0
(4)
|
?/n^0
2.4 /
2.4
(4)
|
?/n^0
1.0 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/bubbleSort.koat
|
n^2/n^2
5.2 /
2.9
(8)
|
?/n^2
0.9 /
0.8
(4)
|
?/n^2
0.5 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| _ITS/Brockschmidt_16/T2/bubblesort_inner_loop.koat
|
?/n^0
8.5 /
2.2
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/T2/buggyNonTermLoop.koat
|
exp/?
30.6 /
24.4
(4)
|
.
30.0 /
30.0
(0)
|
.
69.1 /
26.1
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/byron-1.koat
|
?/n^1
4.0 /
2.0
(4)
|
?/n^1
0.2 /
0.2
(4)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/byron-2.koat
|
exp/?
5.3 /
3.4
(4)
|
.
0.3 /
0.3
(0)
|
.
1.3 /
0.7
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/byron-3.koat
|
.
7.0 /
5.0
(0)
|
.
0.2 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/byron-4.koat
|
n^1/n^1
4.9 /
2.5
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/cfg.koat
|
exp/?
5.1 /
3.2
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/cnt.koat
|
?/n^0
5.9 /
3.3
(4)
|
?/n^0
2.6 /
2.6
(4)
|
?/n^0
2.1 /
0.9
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/collatz.koat
|
.
13.3 /
7.9
(0)
|
.
0.2 /
0.2
(0)
|
.
3.9 /
2.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/complex_guard.koat
|
?/n^0
4.1 /
2.2
(4)
|
?/n^0
0.2 /
0.1
(4)
|
?/n^0
0.2 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/constants.koat
|
?/n^0
4.3 /
2.6
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.5 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/consts1.koat
|
?/n^0
3.4 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts1nt.koat
|
exp/?
4.7 /
2.7
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts2.koat
|
n^1/n^1
4.2 /
2.5
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/consts2nt.koat
|
exp/?
4.8 /
3.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts3.koat
|
n^1/n^1
3.2 /
1.7
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/consts3nt.koat
|
exp/?
4.2 /
2.4
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts4.koat
|
n^1/n^1
3.7 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/consts4nt.koat
|
exp/?
5.3 /
3.6
(4)
|
.
0.1 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts5.koat
|
?/n^0
3.3 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/consts5nt.koat
|
exp/?
7.0 /
17.5
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/cover.koat
|
.
36.6 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
52.4 /
26.4
(0)
|
?/?
1.3 /
1.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/crc.koat
|
?/n^1
17.9 /
10.7
(1)
|
?/n^0
18.5 /
18.5
(4)
|
?/n^0
5.8 /
3.0
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/create.koat
|
exp/?
5.5 /
3.1
(4)
|
.
0.5 /
0.5
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/create_seg.koat
|
exp/?
5.8 /
3.1
(4)
|
.
0.6 /
0.6
(0)
|
.
0.6 /
0.4
(0)
|
?/?
0.0 /
0.0
(0)
|
| lexity_ITS/Brockschmidt_16/T2/create_via_tmps.koat
|
n^1/n^1
19.7 /
11.8
(8)
|
?/n^1
2.5 /
2.5
(4)
|
?/n^1
1.0 /
0.7
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ctl.koat
|
exp/?
4.6 /
2.4
(4)
|
.
0.6 /
0.6
(0)
|
.
0.3 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/curious.koat
|
exp/?
3.6 /
1.8
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/curious4.koat
|
.
35.5 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
68.7 /
26.3
(0)
|
?/?
2.8 /
2.8
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/d.koat
|
.
5.7 /
3.9
(0)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/db2.koat
|
.
34.6 /
30.1
(0)
|
.
30.1 /
30.0
(0)
|
.
39.4 /
26.7
(0)
|
?/?
6.4 /
6.4
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/db3.koat
|
.
37.8 /
30.0
(0)
|
.
30.1 /
30.0
(0)
|
.
39.5 /
26.7
(0)
|
?/?
6.4 /
6.4
(0)
|
| ITS/Brockschmidt_16/T2/dead.neg-st88b-succeed.koat
|
exp/?
6.1 /
4.1
(4)
|
.
0.3 /
0.3
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/destroy.koat
|
exp/?
17.7 /
9.8
(4)
|
.
2.7 /
2.7
(0)
|
.
1.8 /
1.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/destroy_seg.koat
|
exp/?
22.7 /
15.7
(4)
|
.
4.3 /
4.3
(0)
|
.
3.8 /
2.6
(0)
|
?/?
0.2 /
0.2
(0)
|
| exity_ITS/Brockschmidt_16/T2/destroy_seg_leak.koat
|
.
41.2 /
30.0
(0)
|
.
20.1 /
20.1
(0)
|
.
40.8 /
26.8
(0)
|
?/?
6.5 /
6.5
(0)
|
| ity_ITS/Brockschmidt_16/T2/disj_nightmare_abi.koat
|
?/n^0
3.5 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| omplexity_ITS/Brockschmidt_16/T2/dropbuf-live.koat
|
?/n^0
3.6 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dropbuf.koat
|
exp/?
12.8 /
8.3
(4)
|
.
10.4 /
10.4
(0)
|
.
68.2 /
26.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test.koat
|
?/n^0
3.6 /
2.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test1.koat
|
?/n^0
3.1 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test10.koat
|
?/n^0
4.4 /
2.4
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.1 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test11.koat
|
?/n^0
3.4 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test12.koat
|
?/n^0
3.5 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test13.koat
|
?/n^0
3.3 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test15.koat
|
?/n^0
3.7 /
1.8
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test4.koat
|
?/n^0
3.6 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test5.koat
|
?/n^0
3.3 /
3.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test6.koat
|
?/n^0
3.9 /
2.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test8.koat
|
?/n^0
3.5 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dsa_test9.koat
|
?/n^0
3.7 /
1.9
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/dummy.koat
|
exp/?
7.4 /
6.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| ITS/Brockschmidt_16/T2/e-1394complete-succeed.koat
|
exp/?
34.7 /
24.6
(4)
|
.
30.0 /
30.0
(0)
|
.
36.1 /
20.0
(0)
|
?/?
0.3 /
0.3
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/e-acqrel-fail.koat
|
exp/?
4.9 /
3.1
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| exity_ITS/Brockschmidt_16/T2/e-acqrel-succeed.koat
|
exp/?
4.8 /
2.8
(4)
|
.
0.4 /
0.4
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/e-pgarch-fail.koat
|
exp/?
7.2 /
12.6
(4)
|
.
0.4 /
0.4
(0)
|
.
3.5 /
7.6
(0)
|
?/?
0.1 /
0.1
(0)
|
| exity_ITS/Brockschmidt_16/T2/e-pgarch-succeed.koat
|
exp/?
6.0 /
3.2
(4)
|
.
0.5 /
0.5
(0)
|
.
1.2 /
0.7
(0)
|
?/?
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/e-popl07-fail.koat
|
exp/?
7.9 /
4.9
(4)
|
.
4.4 /
4.4
(0)
|
.
10.8 /
5.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/edn.koat
|
?/n^0
16.3 /
9.8
(4)
|
.
30.1 /
30.0
(0)
|
?/n^0
6.6 /
3.4
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/efegp.koat
|
.
33.4 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
35.9 /
18.6
(0)
|
?/?
0.5 /
0.5
(0)
|
| ckschmidt_16/T2/elmhes.c.i.elmhes.pl.t2.fixed.koat
|
n^1/n^2
14.7 /
12.2
(8)
|
.
6.1 /
6.0
(0)
|
.
72.2 /
26.3
(0)
|
?/n^2
0.4 /
0.5
(4)
|
| 16/T2/elmhes.c.i.elmhes.pl.t2.nor.t2.rlgfixed.koat
|
n^1/n^2
10.8 /
30.1
(8)
|
.
6.0 /
6.0
(0)
|
.
86.0 /
27.2
(0)
|
?/n^2
0.4 /
0.4
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/elmhes.koat
|
n^1/n^2
10.3 /
7.5
(8)
|
.
5.9 /
5.9
(0)
|
.
88.7 /
26.4
(0)
|
?/n^2
0.4 /
0.4
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/eric.koat
|
n^1/?
6.8 /
5.1
(4)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.9 /
0.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/eric1.koat
|
n^2/?
13.1 /
10.9
(4)
|
.
0.3 /
0.3
(0)
|
.
1.5 /
0.6
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/eric2.koat
|
.
35.8 /
30.1
(0)
|
.
4.8 /
4.8
(0)
|
.
82.4 /
26.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/eric3.koat
|
exp/?
6.4 /
4.8
(4)
|
.
0.2 /
0.2
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex1.koat
|
exp/?
5.0 /
3.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex10.koat
|
exp/?
10.4 /
5.8
(4)
|
.
0.6 /
1.2
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex11.koat
|
.
6.4 /
4.0
(0)
|
.
0.3 /
0.3
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex12.koat
|
?/n^0
7.6 /
2.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex13.koat
|
?/n^0
3.6 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex14.koat
|
?/n^0
3.8 /
2.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex15.koat
|
?/n^0
3.4 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex16.koat
|
exp/?
15.8 /
13.7
(4)
|
.
1.2 /
1.2
(0)
|
.
0.9 /
0.5
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex17.koat
|
?/n^0
6.1 /
7.0
(4)
|
?/n^0
0.4 /
0.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex18.koat
|
.
7.5 /
5.4
(0)
|
?/n^0
0.5 /
0.5
(4)
|
?/n^0
1.7 /
1.0
(4)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex19.koat
|
exp/?
11.7 /
7.5
(4)
|
.
0.4 /
0.4
(0)
|
.
0.1 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex2.koat
|
exp/?
7.2 /
5.6
(4)
|
.
0.3 /
0.3
(0)
|
.
0.8 /
0.4
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex20.koat
|
?/n^0
3.9 /
2.2
(4)
|
?/n^0
0.4 /
0.4
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex21.koat
|
?/n^0
4.0 /
2.1
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex22.koat
|
?/n^0
24.7 /
22.5
(4)
|
?/n^0
5.7 /
5.6
(4)
|
?/n^0
2.3 /
1.4
(4)
|
?/n^0
0.5 /
0.5
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex23.koat
|
?/n^0
3.9 /
2.0
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex26.koat
|
?/n^0
3.7 /
1.9
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex27.koat
|
?/n^0
37.3 /
27.2
(4)
|
?/n^0
10.5 /
10.5
(4)
|
?/n^0
6.9 /
3.8
(4)
|
?/n^0
0.9 /
0.9
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex29.koat
|
?/n^0
6.5 /
3.9
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.3 /
0.2
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex3.koat
|
?/n^0
3.7 /
2.0
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.1 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex30.koat
|
exp/?
6.4 /
4.2
(4)
|
.
0.5 /
0.4
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex31.koat
|
.
4.9 /
3.1
(0)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex32.koat
|
?/n^0
4.2 /
2.1
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex33.koat
|
?/n^0
3.5 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex34.koat
|
?/n^0
4.5 /
3.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.2 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex36.koat
|
.
31.7 /
30.0
(0)
|
.
30.0 /
30.1
(0)
|
.
46.5 /
26.3
(0)
|
.
29.7 /
30.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex37.koat
|
?/n^0
3.1 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex4.koat
|
?/n^0
4.6 /
2.6
(4)
|
?/n^0
0.8 /
0.8
(4)
|
?/n^0
0.2 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex40.koat
|
exp/?
5.2 /
3.4
(4)
|
.
0.2 /
0.2
(0)
|
.
0.4 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex6.koat
|
?/n^0
3.5 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex7.koat
|
?/n^0
3.6 /
1.7
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ex8.koat
|
exp/?
6.8 /
4.6
(4)
|
.
0.5 /
0.5
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ex9.koat
|
exp/?
8.1 /
5.7
(4)
|
.
0.7 /
0.7
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/example.koat
|
n^1/n^1
4.1 /
2.3
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| omplexity_ITS/Brockschmidt_16/T2/fake-succeed.koat
|
.
34.8 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
35.1 /
26.2
(0)
|
?/?
0.7 /
0.7
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fast_poll.koat
|
exp/?
33.7 /
30.0
(4)
|
.
22.8 /
30.0
(0)
|
.
69.1 /
26.3
(0)
|
?/?
4.9 /
4.9
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fdct.koat
|
?/n^0
5.4 /
4.9
(4)
|
?/n^0
1.2 /
1.2
(4)
|
?/n^0
1.0 /
0.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fermat.koat
|
?/n^0
5.0 /
2.6
(4)
|
?/n^0
2.0 /
2.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fibcall.koat
|
?/n^0
4.0 /
2.1
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.2 /
0.1
(4)
|
?/n^0
0.0 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fir.koat
|
exp/?
12.7 /
9.9
(4)
|
.
1.3 /
1.3
(0)
|
.
3.7 /
1.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/firewire.koat
|
.
16.9 /
14.3
(0)
|
.
9.0 /
8.9
(0)
|
.
87.8 /
26.3
(0)
|
?/?
0.3 /
0.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/flipflop.koat
|
exp/?
5.0 /
3.1
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| rockschmidt_16/T2/fourn.c.i.fourn.pl.t2.fixed.koat
|
?/n^1
33.0 /
30.1
(4)
|
.
30.1 /
30.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.4 /
0.4
(0)
|
| t_16/T2/fourn.c.i.fourn.pl.t2.nor.t2.rlgfixed.koat
|
.
33.2 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
70.4 /
26.2
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fourn.koat
|
.
32.4 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
72.4 /
26.2
(0)
|
?/?
0.3 /
0.3
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/fuhs-inflasso.koat
|
n^2/n^2
4.7 /
4.0
(8)
|
?/n^2
0.2 /
0.4
(4)
|
?/n^3
0.3 /
0.1
(1)
|
?/n^2
0.0 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fun1.koat
|
exp/?
31.0 /
24.3
(4)
|
.
30.1 /
30.0
(0)
|
.
86.5 /
26.3
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun10.koat
|
.
35.3 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
16.6 /
9.2
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun10b.koat
|
.
35.2 /
30.0
(0)
|
.
29.2 /
30.0
(0)
|
.
46.9 /
26.3
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun11.koat
|
exp/?
5.9 /
3.6
(4)
|
.
0.4 /
0.4
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun1b.koat
|
exp/?
31.4 /
24.7
(4)
|
.
30.0 /
30.0
(0)
|
.
73.7 /
26.2
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun2.koat
|
?/n^1
29.2 /
24.2
(4)
|
.
30.0 /
30.0
(0)
|
.
88.2 /
26.2
(0)
|
?/n^1
0.3 /
0.3
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fun2b.koat
|
.
34.0 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
84.2 /
26.5
(0)
|
?/?
0.3 /
0.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun3.koat
|
?/n^1
29.5 /
23.1
(4)
|
.
30.0 /
30.0
(0)
|
.
73.6 /
26.2
(0)
|
?/n^1
0.3 /
0.3
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fun4-alt.koat
|
?/n^0
3.7 /
1.9
(4)
|
?/n^1
0.2 /
0.2
(3)
|
?/n^1
0.1 /
0.1
(3)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun4.koat
|
?/n^0
4.3 /
2.2
(4)
|
?/n^1
0.2 /
0.2
(3)
|
?/n^1
0.3 /
0.1
(3)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun5.koat
|
.
24.2 /
21.3
(0)
|
.
5.2 /
5.1
(0)
|
.
81.9 /
26.4
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun6.koat
|
.
33.0 /
30.1
(0)
|
.
30.1 /
30.0
(0)
|
.
89.2 /
26.2
(0)
|
.
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun7.koat
|
.
12.5 /
13.5
(0)
|
.
14.7 /
14.7
(0)
|
.
83.2 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/fun8.koat
|
?/n^0
17.0 /
10.2
(4)
|
?/n^0
8.4 /
8.4
(4)
|
?/n^0
4.9 /
2.5
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/fun9.koat
|
.
23.2 /
20.3
(0)
|
.
18.0 /
18.0
(0)
|
.
72.7 /
26.1
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/graycode.koat
|
?/n^0
21.2 /
17.4
(4)
|
.
30.0 /
30.0
(0)
|
?/n^0
35.3 /
13.1
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy1.koat
|
exp/?
3.9 /
2.3
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy10.koat
|
exp/?
6.4 /
4.7
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy2.koat
|
exp/?
6.5 /
13.8
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy3.koat
|
exp/?
4.0 /
2.1
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy5.koat
|
n^1/n^1
4.0 /
2.1
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy6.koat
|
exp/?
4.1 /
2.2
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/heidy7-simple.koat
|
exp/?
4.6 /
2.8
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy7.koat
|
n^1/?
6.9 /
4.9
(4)
|
.
0.3 /
0.2
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy8.koat
|
n^1/?
9.9 /
7.8
(4)
|
.
0.3 /
0.3
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/heidy9.koat
|
n^1/n^1
3.6 /
2.0
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/hongyi1.koat
|
.
33.8 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
84.1 /
26.2
(0)
|
?/?
1.0 /
1.0
(0)
|
| TS/Brockschmidt_16/T2/hqr.c.i.hqr.pl.t2.fixed.koat
|
.
37.3 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
6.4 /
6.4
(0)
|
| hmidt_16/T2/hqr.c.i.hqr.pl.t2.nor.t2.rlgfixed.koat
|
.
34.4 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
47.5 /
26.2
(0)
|
?/?
5.9 /
5.9
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/hqr.koat
|
.
34.5 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
45.0 /
26.2
(0)
|
?/?
6.3 /
6.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/huh.koat
|
exp/?
9.9 /
7.0
(4)
|
.
1.4 /
1.4
(0)
|
.
0.4 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/iecs.koat
|
?/n^1
3.9 /
2.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/insertsort.koat
|
exp/?
7.7 /
5.4
(4)
|
.
0.3 /
0.3
(0)
|
.
2.1 /
0.9
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/intSqRoot.koat
|
.
9.6 /
7.5
(0)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/invgen.koat
|
?/n^1
3.9 /
2.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ckschmidt_16/T2/jacobi.c.i.jacobi.pl.t2.fixed.koat
|
?/n^1
34.6 /
30.0
(4)
|
.
30.0 /
30.0
(0)
|
.
0.1 /
0.0
(0)
|
?/n^2
10.9 /
5.4
(3)
|
| 16/T2/jacobi.c.i.jacobi.pl.t2.nor.t2.rlgfixed.koat
|
n^1/n^1
32.2 /
24.2
(8)
|
.
30.0 /
30.0
(0)
|
.
80.7 /
26.2
(0)
|
?/n^2
2.7 /
2.7
(3)
|
| Complexity_ITS/Brockschmidt_16/T2/jacobi.koat
|
n^1/n^1
31.4 /
24.4
(8)
|
.
30.1 /
30.1
(0)
|
.
82.8 /
28.2
(0)
|
?/n^2
2.7 /
2.7
(3)
|
| mplexity_ITS/Brockschmidt_16/T2/janne_complex.koat
|
.
7.3 /
5.3
(0)
|
.
0.8 /
0.7
(0)
|
.
82.8 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/jfdctint.koat
|
?/n^0
5.7 /
3.1
(4)
|
?/n^0
2.1 /
2.1
(4)
|
?/n^0
1.6 /
1.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/loop3.koat
|
.
34.5 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
21.6 /
11.7
(0)
|
.
30.0 /
30.0
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/loop_on_input.koat
|
?/n^0
4.2 /
2.4
(4)
|
.
0.2 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ckschmidt_16/T2/ludcmp.c.i.ludcmp.pl.t2.fixed.koat
|
n^1/n^1
13.3 /
9.2
(8)
|
.
30.1 /
30.0
(0)
|
.
0.0 /
0.0
(0)
|
?/n^2
1.8 /
1.8
(3)
|
| 16/T2/ludcmp.c.i.ludcmp.pl.t2.nor.t2.rlgfixed.koat
|
n^1/n^1
13.6 /
9.5
(8)
|
.
30.1 /
30.0
(0)
|
.
88.6 /
26.3
(0)
|
?/n^2
1.9 /
1.9
(3)
|
| Complexity_ITS/Brockschmidt_16/T2/ludcmp.koat
|
n^1/n^1
13.3 /
9.2
(8)
|
.
30.0 /
30.0
(0)
|
.
83.7 /
26.2
(0)
|
?/n^2
1.3 /
1.3
(3)
|
| Complexity_ITS/Brockschmidt_16/T2/magic.koat
|
.
34.0 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
9.3 /
6.0
(0)
|
?/?
1.6 /
1.6
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/matmul.koat
|
?/n^0
4.7 /
2.8
(4)
|
?/n^0
0.6 /
0.6
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/matmult.koat
|
?/n^0
5.8 /
3.3
(4)
|
?/n^0
1.9 /
1.9
(4)
|
?/n^0
0.9 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/matrixsqrt.koat
|
?/n^0
8.4 /
5.9
(4)
|
?/n^0
1.5 /
1.5
(4)
|
?/n^0
1.0 /
0.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/mc91.koat
|
exp/?
5.9 /
4.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/mc91test.koat
|
exp/?
13.9 /
11.3
(4)
|
.
0.5 /
0.5
(0)
|
.
1.1 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/minmax.koat
|
?/n^0
4.2 /
2.7
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-1.koat
|
exp/?
5.5 /
3.4
(4)
|
.
0.3 /
0.3
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-10.koat
|
exp/?
4.6 /
2.3
(4)
|
.
0.5 /
0.5
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-12.koat
|
exp/?
4.3 /
2.3
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-12a.koat
|
exp/?
3.6 /
2.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-13.koat
|
exp/?
4.7 /
2.6
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-14.koat
|
exp/?
4.6 /
2.4
(4)
|
.
0.3 /
0.3
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-15.koat
|
exp/?
4.4 /
2.6
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-15a.koat
|
exp/?
6.1 /
6.0
(4)
|
.
0.3 /
0.2
(0)
|
.
1.1 /
1.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-16.koat
|
exp/?
5.4 /
3.4
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-16a.koat
|
.
6.3 /
4.4
(0)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-17.koat
|
exp/?
4.7 /
2.8
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-18.koat
|
exp/?
4.1 /
2.4
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-18a.koat
|
.
6.1 /
4.3
(0)
|
.
0.2 /
0.2
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-1c.koat
|
exp/?
5.0 /
3.3
(4)
|
.
0.4 /
0.4
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-1d.koat
|
exp/?
4.4 /
2.3
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-20.koat
|
exp/?
4.1 /
2.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-21.koat
|
exp/?
6.6 /
5.1
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-3.koat
|
exp/?
5.0 /
3.0
(4)
|
.
0.4 /
0.4
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-32.koat
|
.
5.0 /
3.3
(0)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-33.koat
|
.
5.1 /
2.9
(0)
|
.
0.2 /
0.2
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-36.koat
|
exp/?
6.8 /
3.7
(4)
|
.
2.5 /
2.5
(0)
|
.
0.7 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-37.koat
|
exp/?
5.0 /
2.7
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-3a.koat
|
exp/?
5.5 /
3.2
(4)
|
.
0.8 /
0.8
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-4.koat
|
n^1/?
11.8 /
9.2
(4)
|
.
1.8 /
1.7
(0)
|
.
44.6 /
24.5
(0)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-40.koat
|
exp/?
23.4 /
20.0
(4)
|
.
1.1 /
1.1
(0)
|
.
0.4 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-46.koat
|
exp/?
6.6 /
4.7
(4)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-48.koat
|
.
6.9 /
4.6
(0)
|
.
0.2 /
0.2
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-5.koat
|
n^1/?
8.3 /
5.7
(4)
|
.
2.5 /
2.5
(0)
|
.
0.4 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-6.koat
|
exp/?
4.5 /
2.6
(4)
|
.
0.3 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-6a.koat
|
exp/?
4.5 /
2.5
(4)
|
.
0.3 /
0.3
(0)
|
.
0.8 /
0.5
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-7.koat
|
exp/?
6.3 /
4.2
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-8.koat
|
exp/?
4.5 /
3.1
(4)
|
.
0.4 /
0.4
(0)
|
.
0.4 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-8a.koat
|
exp/?
5.6 /
3.5
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/n-9.koat
|
.
9.2 /
6.9
(0)
|
.
0.4 /
0.3
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Brockschmidt_16/T2/n_firewire_instrumented-PP.koat
|
.
32.2 /
29.8
(0)
|
.
6.1 /
6.1
(0)
|
.
84.5 /
26.3
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/nakata.koat
|
.
33.6 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
83.4 /
27.5
(0)
|
?/?
1.2 /
1.2
(0)
|
| xity_ITS/Brockschmidt_16/T2/nakata_withassume.koat
|
.
32.9 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
72.8 /
26.1
(0)
|
?/?
2.3 /
2.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ndes.koat
|
?/n^1
34.3 /
30.1
(3)
|
.
30.0 /
30.0
(0)
|
.
36.3 /
26.2
(0)
|
?/n^0
1.9 /
1.9
(4)
|
| _ITS/Brockschmidt_16/T2/neg-1394complete-fail.koat
|
exp/?
32.9 /
21.9
(4)
|
.
30.0 /
30.0
(0)
|
.
41.7 /
22.8
(0)
|
?/?
0.4 /
0.4
(0)
|
| S/Brockschmidt_16/T2/neg-1394complete-succeed.koat
|
exp/?
31.6 /
20.2
(4)
|
.
30.0 /
30.0
(0)
|
.
52.5 /
26.2
(0)
|
?/?
0.4 /
0.4
(0)
|
| TS/Brockschmidt_16/T2/neg-e-1394complete-fail.koat
|
exp/?
32.1 /
22.3
(4)
|
.
30.1 /
30.1
(0)
|
.
53.6 /
26.2
(0)
|
?/?
0.4 /
0.4
(0)
|
| Brockschmidt_16/T2/neg-e-1394complete-succeed.koat
|
exp/?
29.7 /
19.4
(4)
|
.
30.1 /
30.1
(0)
|
.
34.4 /
19.1
(0)
|
?/?
0.3 /
0.3
(0)
|
| xity_ITS/Brockschmidt_16/T2/neg-e-acqrel-fail.koat
|
exp/?
4.1 /
2.2
(4)
|
.
0.5 /
0.5
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Brockschmidt_16/T2/neg-e-acqrel-succeed.koat
|
exp/?
5.0 /
2.7
(4)
|
.
0.4 /
0.4
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| xity_ITS/Brockschmidt_16/T2/neg-e-pgarch-fail.koat
|
exp/?
5.6 /
3.4
(4)
|
.
0.3 /
0.3
(0)
|
.
2.0 /
1.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Brockschmidt_16/T2/neg-e-pgarch-succeed.koat
|
exp/?
5.1 /
2.8
(4)
|
.
0.3 /
0.3
(0)
|
.
0.4 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Brockschmidt_16/T2/neg-e-popl07-succeed.koat
|
exp/?
7.8 /
4.3
(4)
|
.
4.0 /
4.1
(0)
|
.
3.6 /
2.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/T2/neg-pgarch-succeed.koat
|
exp/?
5.5 /
3.0
(4)
|
.
0.4 /
0.4
(0)
|
.
0.4 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| lexity_ITS/Brockschmidt_16/T2/neg-popl07-fail.koat
|
exp/?
7.3 /
3.7
(4)
|
.
2.7 /
2.7
(0)
|
.
0.8 /
0.6
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/T2/neg-popl07-succeed.koat
|
exp/?
8.8 /
5.5
(4)
|
.
3.0 /
3.0
(0)
|
.
2.6 /
1.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| xity_ITS/Brockschmidt_16/T2/neg-smagilla-fail.koat
|
exp/?
4.9 /
3.0
(4)
|
.
0.4 /
0.3
(0)
|
.
0.4 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Brockschmidt_16/T2/neg-smagilla-succeed.koat
|
exp/?
5.5 /
3.2
(4)
|
.
0.4 /
0.4
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/nested.koat
|
exp/?
6.4 /
4.9
(4)
|
.
0.4 /
0.4
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/nested2.koat
|
exp/?
6.9 /
6.4
(4)
|
.
0.2 /
0.4
(0)
|
.
1.0 /
2.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/new_ex.koat
|
exp/?
7.9 /
5.8
(4)
|
.
1.2 /
1.2
(0)
|
.
2.9 /
1.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/non_term.koat
|
.
6.9 /
5.1
(0)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/ns.koat
|
?/n^0
4.8 /
2.5
(4)
|
?/n^0
1.7 /
1.6
(4)
|
?/n^0
3.9 /
1.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| plexity_ITS/Brockschmidt_16/T2/oct_vs_subpoly.koat
|
exp/?
4.1 /
2.5
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-1.koat
|
exp/?
5.1 /
3.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-10.koat
|
exp/?
5.2 /
3.2
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-12.koat
|
n^1/n^1
3.9 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-13.koat
|
?/n^0
3.6 /
1.9
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-14.koat
|
n^1/n^1
3.7 /
2.8
(8)
|
?/n^1
0.2 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-15.koat
|
n^1/n^1
3.7 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-16.koat
|
n^1/n^1
4.2 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-18.koat
|
n^1/n^1
3.7 /
1.7
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-19.koat
|
exp/?
4.9 /
3.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-19a.koat
|
exp/?
5.4 /
3.5
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-1a.koat
|
exp/?
5.3 /
3.2
(4)
|
.
0.3 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-1b.koat
|
n^1/n^1
4.0 /
1.9
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-1c.koat
|
exp/?
7.2 /
13.8
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-1d.koat
|
n^1/n^1
4.5 /
2.4
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-20.koat
|
exp/?
4.1 /
2.0
(4)
|
.
0.3 /
0.3
(0)
|
.
0.2 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-21.koat
|
n^1/n^1
3.9 /
2.0
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-22.koat
|
n^1/n^1
3.6 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-3.koat
|
n^1/n^1
4.5 /
2.5
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-32.koat
|
.
4.6 /
3.0
(0)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-33.koat
|
.
4.2 /
2.2
(0)
|
.
0.2 /
0.2
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-34.koat
|
exp/?
7.4 /
4.2
(4)
|
.
2.8 /
2.9
(0)
|
.
3.1 /
1.9
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-36.koat
|
exp/?
11.9 /
3.4
(4)
|
.
1.1 /
1.0
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-37.koat
|
?/n^0
4.2 /
1.9
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-4.koat
|
n^1/n^2
4.1 /
3.5
(6)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^3
0.0 /
0.0
(1)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-40.koat
|
exp/?
4.9 /
3.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-41.koat
|
?/n^0
3.6 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-42.koat
|
n^1/n^1
4.0 /
2.1
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| plexity_ITS/Brockschmidt_16/T2/p-43-terminate.koat
|
n^1/?
40.3 /
30.0
(4)
|
.
30.1 /
30.1
(0)
|
.
2.3 /
1.6
(0)
|
.
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-43.koat
|
.
5.0 /
4.1
(0)
|
.
0.4 /
0.3
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-44.koat
|
?/n^1
3.8 /
2.0
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-45.koat
|
n^1/n^1
4.9 /
2.7
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-46.koat
|
.
7.1 /
5.5
(0)
|
.
0.3 /
0.3
(0)
|
.
0.5 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-49.koat
|
n^1/n^1
3.8 /
2.4
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-5.koat
|
n^1/?
10.7 /
7.6
(4)
|
.
2.5 /
2.5
(0)
|
.
0.6 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-52.koat
|
exp/?
5.4 /
3.2
(4)
|
.
0.3 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-53.koat
|
?/n^0
3.9 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-55.koat
|
n^1/n^2
4.5 /
2.6
(6)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^2
0.2 /
0.1
(2)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-56.koat
|
n^1/n^1
4.7 /
2.6
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-58.koat
|
?/n^0
3.8 /
1.8
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-6.koat
|
n^1/n^1
4.5 /
2.3
(8)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-60.koat
|
?/n^0
3.8 /
1.9
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-61.koat
|
?/n^0
3.8 /
1.8
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-63.koat
|
?/n^1
4.3 /
2.3
(4)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-7.koat
|
n^1/n^1
3.9 /
2.2
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-7b.koat
|
n^1/n^1
4.5 /
2.4
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/p-8.koat
|
exp/?
5.3 /
3.5
(4)
|
.
0.2 /
0.2
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/p-9.koat
|
exp/?
5.0 /
3.0
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/T2/pearl-necklace.koat
|
n^1/n^1
4.6 /
2.6
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^3
0.1 /
0.1
(1)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/pentagon.koat
|
.
6.6 /
4.2
(0)
|
.
2.2 /
2.1
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/pgarch.koat
|
.
43.8 /
30.0
(0)
|
.
30.1 /
30.0
(0)
|
.
59.3 /
29.0
(0)
|
.
30.1 /
30.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/pldi.koat
|
n^2/n^2
5.5 /
3.2
(8)
|
?/n^2
0.6 /
0.5
(4)
|
.
1.6 /
0.7
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/polling.bug.koat
|
.
33.5 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
79.0 /
26.2
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polling.koat
|
exp/?
37.2 /
29.2
(4)
|
.
30.0 /
30.0
(0)
|
.
82.9 /
26.2
(0)
|
?/?
0.6 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank1.koat
|
.
6.3 /
4.5
(0)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.9
(0)
|
?/?
0.0 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank2.koat
|
.
9.6 /
7.6
(0)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank3.koat
|
.
9.9 /
7.6
(0)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank4.koat
|
.
14.1 /
11.9
(0)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank5.koat
|
n^1/?
10.3 /
8.3
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank6.koat
|
n^1/?
10.0 /
7.8
(4)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/polyrank7.koat
|
exp/?
10.2 /
7.9
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/popl07-fail.koat
|
exp/?
7.5 /
5.4
(4)
|
.
2.3 /
2.3
(0)
|
.
3.0 /
1.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| plexity_ITS/Brockschmidt_16/T2/popl07-succeed.koat
|
exp/?
7.3 /
3.8
(4)
|
.
2.4 /
2.3
(0)
|
.
0.8 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/print.koat
|
.
38.2 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
52.6 /
26.3
(0)
|
?/?
0.5 /
0.5
(0)
|
| ckschmidt_16/T2/qrdcmp.c.i.qrdcmp.pl.t2.fixed.koat
|
n^1/n^1
33.1 /
30.1
(8)
|
?/n^1
14.4 /
14.4
(4)
|
.
0.0 /
0.0
(0)
|
?/n^1
0.3 /
0.3
(4)
|
| 16/T2/qrdcmp.c.i.qrdcmp.pl.t2.nor.t2.rlgfixed.koat
|
n^1/n^1
10.4 /
5.9
(8)
|
?/n^1
14.7 /
14.7
(4)
|
?/n^1
0.4 /
0.2
(4)
|
?/n^1
0.3 /
0.3
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/qrdcmp.koat
|
n^1/n^1
10.2 /
6.2
(8)
|
?/n^1
14.2 /
14.2
(4)
|
?/n^1
0.6 /
0.3
(4)
|
?/n^1
0.3 /
0.3
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/queens.koat
|
?/n^0
13.5 /
9.4
(4)
|
.
30.0 /
30.0
(0)
|
.
87.9 /
26.3
(0)
|
?/n^0
1.2 /
1.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/queue_1.koat
|
?/n^0
4.4 /
2.3
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/queue_10.koat
|
?/n^0
5.5 /
3.2
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/queue_100.koat
|
?/n^0
5.2 /
4.0
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/queue_1000.koat
|
?/n^0
4.6 /
2.8
(4)
|
?/n^0
0.3 /
0.2
(4)
|
?/n^0
2.3 /
1.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/randomwalk.koat
|
.
15.4 /
13.0
(0)
|
.
1.2 /
1.1
(0)
|
.
0.8 /
0.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| _ITS/Brockschmidt_16/T2/randomwalk_withassume.koat
|
.
16.2 /
13.8
(0)
|
.
1.6 /
1.6
(0)
|
.
2.4 /
1.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| ty_ITS/Brockschmidt_16/T2/refine_disj_problem.koat
|
exp/?
6.0 /
4.3
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/rev_nt2.koat
|
exp/?
8.5 /
5.1
(4)
|
.
4.2 /
4.2
(0)
|
.
3.2 /
1.6
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/rev_nt3.koat
|
exp/?
9.3 /
5.4
(4)
|
.
4.4 /
4.4
(0)
|
.
1.3 /
1.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/rev_nt4.koat
|
?/n^0
3.7 /
2.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/reverse.koat
|
.
37.1 /
30.0
(0)
|
.
30.1 /
30.0
(0)
|
.
12.9 /
8.4
(0)
|
?/?
0.6 /
0.6
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/reverse_div4.koat
|
exp/?
9.9 /
5.7
(4)
|
.
4.4 /
4.4
(0)
|
.
1.9 /
1.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/T2/reverse_seg_cyclic.koat
|
?/n^1
37.4 /
30.0
(4)
|
?/n^1
23.8 /
23.8
(4)
|
?/n^1
48.5 /
25.2
(4)
|
?/n^1
0.4 /
0.4
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/rewrite.koat
|
exp/?
3.7 /
2.0
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| rockschmidt_16/T2/rlft3.c.i.rlft3.pl.t2.fixed.koat
|
n^1/n^1
36.2 /
30.1
(8)
|
.
30.0 /
30.0
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/rlft3.koat
|
n^1/n^1
24.6 /
18.4
(8)
|
.
25.0 /
30.0
(0)
|
?/n^1
2.4 /
1.1
(4)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/s1-saved.koat
|
.
37.2 /
30.1
(0)
|
.
15.0 /
15.0
(0)
|
.
14.6 /
9.8
(0)
|
?/?
0.2 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/s3-work.koat
|
.
36.1 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
42.0 /
26.5
(0)
|
?/?
3.8 /
3.8
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/sas1.koat
|
n^1/n^1
6.4 /
4.2
(8)
|
?/n^1
0.9 /
0.9
(4)
|
?/n^2
5.7 /
2.2
(2)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/sas2.koat
|
.
14.7 /
13.6
(0)
|
?/n^1
7.4 /
7.4
(4)
|
.
73.2 /
26.3
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/select.koat
|
.
10.5 /
30.0
(0)
|
.
28.3 /
30.1
(0)
|
.
90.5 /
26.3
(0)
|
?/?
0.3 /
0.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/selectSort.koat
|
n^2/n^2
6.2 /
3.9
(8)
|
?/n^2
2.1 /
1.1
(4)
|
?/n^2
0.4 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| lexity_ITS/Brockschmidt_16/T2/send-more-money.koat
|
?/n^0
38.3 /
25.6
(4)
|
.
30.0 /
30.0
(0)
|
?/n^0
0.2 /
0.1
(4)
|
.
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/seq.koat
|
n^1/n^1
3.8 /
2.2
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/seq2.koat
|
n^1/n^1
3.8 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| lexity_ITS/Brockschmidt_16/T2/sequential_swap.koat
|
?/n^0
3.6 /
2.2
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple.koat
|
exp/?
5.1 /
3.3
(4)
|
.
0.1 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simpleWhile.koat
|
n^1/n^1
4.4 /
2.3
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ITS/Brockschmidt_16/T2/simple_array_inversion.koat
|
?/n^0
3.7 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| TS/Brockschmidt_16/T2/simple_control_on_input.koat
|
?/n^0
3.4 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/T2/simple_double_free.koat
|
?/n^0
3.3 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple_fail.koat
|
?/n^0
3.4 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple_pre.koat
|
?/n^0
3.1 /
1.5
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple_pre1.koat
|
?/n^0
3.2 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple_pre2.koat
|
?/n^0
3.9 /
2.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.1 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/simple_pre3.koat
|
?/n^0
3.7 /
3.0
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| exity_ITS/Brockschmidt_16/T2/simple_swap_call.koat
|
?/n^0
3.4 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| xity_ITS/Brockschmidt_16/T2/slayer-1-filtered.koat
|
exp/?
19.6 /
11.6
(4)
|
.
7.3 /
7.3
(0)
|
.
1.6 /
1.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/slayer-1-rf.koat
|
n^1/?
35.4 /
30.1
(4)
|
.
11.6 /
11.6
(0)
|
.
1.6 /
1.1
(0)
|
?/?
0.2 /
0.2
(0)
|
| xity_ITS/Brockschmidt_16/T2/slayer-2-filtered.koat
|
?/n^0
3.6 /
1.8
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| xity_ITS/Brockschmidt_16/T2/slayer-3-filtered.koat
|
.
37.9 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
.
36.8 /
26.2
(0)
|
?/?
1.0 /
1.1
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/slayer-3-new.koat
|
.
48.1 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
65.7 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/slayer-3.koat
|
.
48.2 /
30.1
(0)
|
.
29.8 /
30.1
(0)
|
.
65.5 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
| xity_ITS/Brockschmidt_16/T2/slayer-4-filtered.koat
|
.
40.3 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
62.1 /
30.0
(0)
|
.
30.0 /
30.0
(0)
|
| ity_ITS/Brockschmidt_16/T2/slayer-n1-filtered.koat
|
exp/?
11.1 /
8.3
(4)
|
.
2.9 /
2.9
(0)
|
.
6.6 /
3.7
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/slayer-n1.koat
|
exp/?
16.9 /
10.9
(4)
|
.
4.0 /
4.0
(0)
|
.
2.9 /
2.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/T2/slayer-n2-filtered.koat
|
exp/?
5.3 /
3.6
(4)
|
.
0.2 /
0.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/slayer-n2.koat
|
exp/?
5.2 /
3.3
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ity_ITS/Brockschmidt_16/T2/slayer-n3-filtered.koat
|
?/n^0
14.1 /
5.5
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
.
0.1 /
0.1
(0)
|
| ity_ITS/Brockschmidt_16/T2/slayer-n5-filtered.koat
|
.
35.2 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
31.0 /
17.6
(0)
|
?/?
0.3 /
0.3
(0)
|
| exity_ITS/Brockschmidt_16/T2/smagilla-succeed.koat
|
exp/?
5.4 /
3.3
(4)
|
.
0.4 /
0.3
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| exity_ITS/Brockschmidt_16/T2/smagillb-succeed.koat
|
exp/?
5.0 /
2.7
(4)
|
.
0.5 /
0.5
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/smagillc-fail.koat
|
exp/?
10.4 /
6.0
(4)
|
.
0.5 /
0.4
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| exity_ITS/Brockschmidt_16/T2/smagillc-succeed.koat
|
exp/?
5.4 /
3.2
(4)
|
.
0.4 /
0.4
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/sort.koat
|
?/n^0
9.0 /
5.0
(4)
|
.
30.1 /
30.0
(0)
|
?/n^0
34.6 /
10.8
(4)
|
?/n^0
0.3 /
0.3
(4)
|
| ckschmidt_16/T2/spctrm.c.i.spctrm.pl.t2.fixed.koat
|
n^1/n^1
34.0 /
30.0
(8)
|
.
30.1 /
30.1
(0)
|
.
0.1 /
0.1
(0)
|
?/n^1
0.9 /
0.9
(4)
|
| 16/T2/spctrm.c.i.spctrm.pl.t2.nor.t2.rlgfixed.koat
|
n^1/n^1
33.8 /
25.4
(8)
|
.
30.1 /
30.1
(0)
|
.
31.3 /
28.5
(0)
|
?/n^1
0.8 /
0.8
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/spctrm.koat
|
n^1/n^1
30.1 /
23.7
(8)
|
.
30.0 /
30.0
(0)
|
?/n^1
3.1 /
1.7
(4)
|
?/n^1
0.8 /
0.8
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/spiral.koat
|
.
12.6 /
30.1
(0)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^3
0.3 /
0.2
(3)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/st88.bug.koat
|
exp/?
9.1 /
6.9
(4)
|
.
0.3 /
0.3
(0)
|
.
1.4 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/st88.koat
|
exp/?
11.9 /
12.9
(4)
|
.
0.3 /
0.5
(0)
|
.
2.7 /
1.0
(0)
|
?/?
0.1 /
0.2
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/statemate.koat
|
.
38.8 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
50.1 /
27.8
(0)
|
?/?
3.9 /
3.9
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/stored.koat
|
.
6.0 /
4.0
(0)
|
.
0.3 /
0.7
(0)
|
.
0.3 /
0.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Brockschmidt_16/T2/streamserver-succeed.koat
|
.
32.3 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
86.6 /
26.2
(0)
|
?/?
1.0 /
1.0
(0)
|
| exity_ITS/Brockschmidt_16/T2/streamserver.bug.koat
|
.
34.4 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
21.3 /
28.0
(0)
|
?/?
1.2 /
1.2
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/subpoly_crash.koat
|
exp/?
5.8 /
3.8
(4)
|
.
0.2 /
0.2
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/sudoku.koat
|
.
34.0 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
45.9 /
26.2
(0)
|
?/?
0.8 /
0.8
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/sumit.koat
|
n^1/?
7.6 /
5.4
(4)
|
?/n^1
1.3 /
1.3
(4)
|
.
0.9 /
0.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| ckschmidt_16/T2/svdcmp.c.i.svdcmp.pl.t2.fixed.koat
|
.
33.5 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
0.3 /
0.1
(0)
|
.
30.0 /
30.0
(0)
|
| 16/T2/svdcmp.c.i.svdcmp.pl.t2.nor.t2.rlgfixed.koat
|
.
35.0 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
50.5 /
27.5
(0)
|
.
30.0 /
30.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/svdcmp.koat
|
.
35.4 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
40.3 /
26.2
(0)
|
.
30.0 /
30.0
(0)
|
| ckschmidt_16/T2/toeplz.c.i.toeplz.pl.t2.fixed.koat
|
?/n^2
21.2 /
17.6
(4)
|
?/n^2
16.4 /
16.3
(4)
|
.
0.0 /
0.0
(0)
|
?/?
0.4 /
0.4
(0)
|
| 16/T2/toeplz.c.i.toeplz.pl.t2.nor.t2.rlgfixed.koat
|
exp/?
15.0 /
13.8
(4)
|
.
26.6 /
26.5
(0)
|
.
82.7 /
26.3
(0)
|
?/?
0.4 /
0.4
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/toeplz.koat
|
exp/?
15.3 /
11.7
(4)
|
.
25.8 /
25.8
(0)
|
.
87.0 /
26.2
(0)
|
?/?
0.4 /
0.4
(0)
|
| /Brockschmidt_16/T2/tqli.c.i.tqli.pl.t2.fixed.koat
|
.
32.6 /
30.0
(0)
|
.
30.1 /
30.1
(0)
|
.
0.1 /
0.0
(0)
|
?/?
0.7 /
0.7
(0)
|
| idt_16/T2/tqli.c.i.tqli.pl.t2.nor.t2.rlgfixed.koat
|
n^1/?
33.2 /
30.1
(4)
|
.
30.0 /
30.0
(0)
|
.
71.6 /
26.3
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/tqli.koat
|
.
32.7 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
43.4 /
27.4
(0)
|
?/?
0.5 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/traverse.koat
|
.
37.5 /
30.1
(0)
|
.
16.6 /
16.6
(0)
|
.
15.9 /
10.5
(0)
|
?/?
0.3 /
0.3
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/traverse2.koat
|
.
36.3 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
40.9 /
26.5
(0)
|
?/?
4.1 /
4.1
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/traverse_seg.koat
|
.
37.4 /
30.0
(0)
|
.
23.9 /
23.9
(0)
|
.
48.5 /
26.7
(0)
|
?/?
0.3 /
0.3
(0)
|
| mplexity_ITS/Brockschmidt_16/T2/traverse_seg2.koat
|
.
37.5 /
30.1
(0)
|
.
17.0 /
17.0
(0)
|
.
24.6 /
16.6
(0)
|
?/?
0.4 /
0.4
(0)
|
| plexity_ITS/Brockschmidt_16/T2/traverse_twice.koat
|
.
36.7 /
30.0
(0)
|
.
29.1 /
30.1
(0)
|
.
50.1 /
27.6
(0)
|
?/?
0.4 /
0.5
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/two_arrays.koat
|
?/n^0
5.7 /
3.3
(4)
|
?/n^0
1.1 /
1.1
(4)
|
?/n^0
0.6 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/two_arrays1.koat
|
?/n^0
6.1 /
3.6
(4)
|
?/n^0
1.9 /
1.9
(4)
|
?/n^0
0.4 /
0.2
(4)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/two_arrays2.koat
|
n^1/n^1
9.6 /
23.8
(8)
|
?/n^1
2.3 /
2.3
(4)
|
?/n^1
7.6 /
6.6
(4)
|
?/n^1
0.2 /
0.5
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/two_arrays6.koat
|
n^1/n^1
7.1 /
4.1
(8)
|
?/n^1
2.2 /
2.2
(4)
|
?/n^1
0.4 /
0.3
(4)
|
?/n^1
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/ud.koat
|
?/n^1
17.5 /
14.3
(2)
|
?/n^0
11.3 /
11.3
(4)
|
.
53.5 /
26.4
(0)
|
?/n^0
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/vmcai_bytes.koat
|
?/n^0
3.7 /
1.9
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| omplexity_ITS/Brockschmidt_16/T2/vmcai_struct.koat
|
?/n^0
3.3 /
1.6
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/w1.koat
|
exp/?
4.6 /
2.9
(4)
|
.
0.1 /
0.1
(0)
|
.
0.0 /
0.0
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/w2_nt.koat
|
exp/?
9.5 /
7.6
(4)
|
.
3.2 /
3.2
(0)
|
.
1.1 /
0.8
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/walk.koat
|
.
8.7 /
5.9
(0)
|
.
1.2 /
1.2
(0)
|
.
0.7 /
0.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/wrong_loop.koat
|
exp/?
4.8 /
2.8
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Brockschmidt_16/T2/wtf.koat
|
?/n^1
29.4 /
23.2
(4)
|
.
30.0 /
30.0
(0)
|
.
84.8 /
26.3
(0)
|
?/n^1
0.2 /
0.2
(4)
|
| Complexity_ITS/Brockschmidt_16/T2/zeroconf.koat
|
.
10.3 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
90.7 /
26.3
(0)
|
?/?
1.6 /
1.6
(0)
|
| ty_ITS/Brockschmidt_16/T2/zeroconf_withassume.koat
|
.
33.9 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
86.5 /
26.2
(0)
|
?/?
1.7 /
1.7
(0)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex01.koat
|
n^1/n^1
3.6 /
1.8
(8)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex02.koat
|
n^2/n^2
4.3 /
2.2
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.3 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex03.koat
|
n^4/n^6
5.1 /
2.9
(7)
|
?/n^4
1.4 /
1.3
(4)
|
?/n^6
49.6 /
15.3
(3)
|
?/n^6
0.1 /
0.1
(3)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex04.koat
|
.
32.5 /
30.1
(0)
|
.
0.8 /
0.8
(0)
|
.
72.6 /
26.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex05.koat
|
n^2/n^2
4.4 /
2.4
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.3 /
0.1
(4)
|
?/n^2
0.1 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex06.koat
|
n^2/n^2
4.1 /
2.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.4 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex07.koat
|
n^2/n^2
4.2 /
2.2
(8)
|
?/n^2
0.5 /
0.4
(4)
|
?/n^2
0.3 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex08.koat
|
n^2/n^2
4.0 /
2.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex09.koat
|
n^2/n^2
4.8 /
2.8
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex10.koat
|
n^2/n^2
4.2 /
2.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex11.koat
|
n^2/n^2
4.1 /
2.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.4 /
0.2
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex12.koat
|
n^1/n^2
4.0 /
2.2
(7)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^2
0.3 /
0.1
(3)
|
?/n^2
0.0 /
0.0
(3)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex13.koat
|
n^3/n^4
15.8 /
13.6
(6)
|
?/n^3
1.5 /
1.5
(4)
|
?/n^3
33.4 /
11.9
(4)
|
?/n^4
0.1 /
0.1
(2)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex14.koat
|
n^4/n^8
5.2 /
2.9
(7)
|
?/n^4
1.3 /
1.3
(4)
|
.
68.6 /
26.1
(0)
|
?/n^8
0.1 /
0.1
(3)
|
| exity_ITS/Brockschmidt_16/c-examples/ABC/ex15.koat
|
n^1/?
9.6 /
6.8
(4)
|
.
1.9 /
1.8
(0)
|
.
87.3 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| TS/Brockschmidt_16/c-examples/Loopus/Example1.koat
|
n^1/n^1
5.1 /
3.0
(8)
|
?/n^1
0.8 /
0.8
(4)
|
.
16.5 /
5.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| TS/Brockschmidt_16/c-examples/Loopus/Example2.koat
|
.
33.3 /
30.0
(0)
|
?/n^1
8.8 /
8.8
(4)
|
.
83.2 /
26.2
(0)
|
?/?
0.8 /
0.8
(0)
|
| TS/Brockschmidt_16/c-examples/Loopus/Example3.koat
|
?/n^2
5.1 /
2.8
(3)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.7 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| exity_ITS/Brockschmidt_16/c-examples/Rank/ex1.koat
|
n^1/n^2
9.3 /
6.9
(8)
|
?/n^2
1.1 /
1.0
(4)
|
.
88.1 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| exity_ITS/Brockschmidt_16/c-examples/Rank/ex2.koat
|
n^1/n^1
7.7 /
15.8
(8)
|
?/n^1
0.6 /
0.6
(4)
|
.
15.6 /
5.0
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/Rank/ex3.koat
|
n^1/n^1
8.2 /
5.8
(8)
|
?/n^1
1.0 /
1.0
(4)
|
.
88.0 /
26.4
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Brockschmidt_16/c-examples/SPEED/CAV09/ex1.koat
|
n^1/n^1
5.2 /
3.1
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
1.0 /
0.5
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Brockschmidt_16/c-examples/SPEED/CAV09/ex2.koat
|
n^2/n^2
4.8 /
2.7
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.5 /
0.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| TS/Brockschmidt_16/c-examples/SPEED/CAV09/ex3.koat
|
n^1/n^1
8.6 /
6.3
(8)
|
?/n^1
0.6 /
0.6
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ckschmidt_16/c-examples/SPEED/PLDI09/Example2.koat
|
?/n^1
5.1 /
3.1
(4)
|
?/n^1
0.4 /
0.4
(4)
|
.
5.7 /
3.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| ckschmidt_16/c-examples/SPEED/PLDI09/Example3.koat
|
n^2/n^2
5.4 /
3.3
(8)
|
?/n^2
0.5 /
0.4
(4)
|
.
2.5 /
0.8
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| ckschmidt_16/c-examples/SPEED/PLDI09/Example4.koat
|
?/n^2
6.8 /
4.7
(4)
|
.
0.3 /
0.2
(0)
|
.
1.3 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| ckschmidt_16/c-examples/SPEED/PLDI09/Example5.koat
|
n^1/n^2
5.0 /
2.8
(7)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.8 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| ckschmidt_16/c-examples/SPEED/PLDI09/Example6.koat
|
n^1/n^1
8.2 /
5.5
(8)
|
?/n^1
1.4 /
1.4
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| schmidt_16/c-examples/SPEED/PLDI09/NestedLoop.koat
|
n^1/n^2
7.9 /
5.3
(8)
|
?/n^2
6.1 /
6.1
(4)
|
.
85.0 /
26.3
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| rockschmidt_16/c-examples/SPEED/PLDI09/cyclic.koat
|
n^1/?
11.0 /
9.5
(4)
|
?/n^1
0.6 /
0.6
(4)
|
.
5.3 /
2.8
(0)
|
?/?
0.1 /
0.1
(0)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex1.koat
|
n^2/?
11.1 /
12.8
(4)
|
?/n^2
0.6 /
0.5
(4)
|
.
15.5 /
5.2
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex2.koat
|
exp/?
10.0 /
10.2
(4)
|
.
0.5 /
0.5
(0)
|
.
35.1 /
19.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex3.koat
|
n^1/?
8.2 /
6.0
(4)
|
.
0.4 /
0.9
(0)
|
.
11.4 /
12.8
(0)
|
?/?
0.0 /
0.0
(0)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex4.koat
|
n^1/n^1
5.3 /
3.0
(8)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
1.7 /
0.6
(4)
|
?/?
0.0 /
0.0
(0)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex5.koat
|
exp/?
10.3 /
7.7
(4)
|
.
0.6 /
0.6
(0)
|
.
87.6 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex6.koat
|
n^1/n^1
4.6 /
2.4
(8)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.4 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| S/Brockschmidt_16/c-examples/SPEED/PLDI10/Ex7.koat
|
n^1/?
6.4 /
4.4
(4)
|
?/n^1
0.4 /
0.3
(4)
|
.
0.7 /
0.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| /Brockschmidt_16/c-examples/SPEED/POPL09/Dis1.koat
|
n^1/n^1
5.4 /
3.8
(8)
|
?/n^1
0.4 /
0.3
(4)
|
?/n^1
2.6 /
1.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| /Brockschmidt_16/c-examples/SPEED/POPL09/Dis2.koat
|
n^1/n^1
5.1 /
3.5
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.5 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| idt_16/c-examples/SPEED/POPL09/NestedMultiple.koat
|
n^1/?
7.5 /
5.4
(4)
|
?/n^1
0.9 /
0.9
(4)
|
?/n^1
23.7 /
8.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| _16/c-examples/SPEED/POPL09/NestedMultipleDep.koat
|
n^2/n^2
6.0 /
5.6
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| hmidt_16/c-examples/SPEED/POPL09/NestedSingle.koat
|
n^1/n^1
10.9 /
9.9
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| t_16/c-examples/SPEED/POPL09/SequentialSingle.koat
|
n^1/n^1
4.2 /
2.2
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| idt_16/c-examples/SPEED/POPL09/SimpleMultiple.koat
|
n^1/n^1
5.4 /
3.3
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.4 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| _16/c-examples/SPEED/POPL09/SimpleMultipleDep.koat
|
n^2/n^2
5.0 /
2.8
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.4 /
0.2
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| hmidt_16/c-examples/SPEED/POPL09/SimpleSingle.koat
|
n^1/n^1
4.3 /
2.7
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.0 /
0.1
(4)
|
| midt_16/c-examples/SPEED/POPL09/SimpleSingle2.koat
|
n^1/n^1
5.4 /
3.4
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.5 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/c-examples/WTC/aaron2.koat
|
?/n^1
4.3 /
2.3
(4)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| plexity_ITS/Brockschmidt_16/c-examples/WTC/ax.koat
|
n^2/n^2
4.6 /
2.2
(8)
|
?/n^2
0.4 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ty_ITS/Brockschmidt_16/c-examples/WTC/complex.koat
|
.
31.3 /
28.9
(0)
|
?/n^1
2.7 /
2.7
(4)
|
.
11.9 /
3.8
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Brockschmidt_16/c-examples/WTC/counterex1b.koat
|
n^2/?
10.7 /
7.8
(4)
|
.
30.0 /
30.0
(0)
|
.
86.1 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| ty_ITS/Brockschmidt_16/c-examples/WTC/cousot9.koat
|
exp/?
8.6 /
6.8
(4)
|
.
0.3 /
0.3
(0)
|
.
1.1 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/easy1.koat
|
?/n^0
4.2 /
2.2
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/easy2.koat
|
n^1/n^1
3.8 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/c-examples/WTC/exmini.koat
|
?/n^1
3.9 /
1.9
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Brockschmidt_16/c-examples/WTC/gcd.koat
|
.
7.7 /
5.5
(0)
|
?/n^1
0.3 /
0.3
(4)
|
.
1.8 /
0.8
(0)
|
?/?
0.0 /
0.0
(0)
|
| ITS/Brockschmidt_16/c-examples/WTC/insertsort.koat
|
n^2/n^2
4.5 /
2.3
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
2.6 /
0.8
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/loops.koat
|
?/n^2
4.7 /
2.8
(4)
|
?/n^2
0.3 /
0.3
(4)
|
.
1.6 /
0.6
(0)
|
?/?
0.0 /
0.0
(0)
|
| ty_ITS/Brockschmidt_16/c-examples/WTC/nd_loop.koat
|
?/n^0
4.1 /
2.1
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/?
0.1 /
0.1
(0)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/ndecr.koat
|
n^1/n^1
3.6 /
1.8
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ITS/Brockschmidt_16/c-examples/WTC/nestedLoop.koat
|
.
31.0 /
29.2
(0)
|
?/n^2
1.9 /
1.9
(4)
|
?/n^2
8.3 /
3.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ty_ITS/Brockschmidt_16/c-examples/WTC/perfect.koat
|
n^1/n^2
6.3 /
4.0
(8)
|
?/n^2
0.6 /
0.6
(4)
|
.
2.3 /
0.8
(0)
|
?/?
0.0 /
0.0
(0)
|
| y_ITS/Brockschmidt_16/c-examples/WTC/random1d.koat
|
n^1/n^1
3.8 /
2.0
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.0 /
0.2
(4)
|
| y_ITS/Brockschmidt_16/c-examples/WTC/random2d.koat
|
n^1/n^1
6.9 /
4.5
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ITS/Brockschmidt_16/c-examples/WTC/realbubble.koat
|
n^2/n^2
5.4 /
3.9
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
12.7 /
4.0
(4)
|
?/n^2
0.1 /
0.2
(4)
|
| S/Brockschmidt_16/c-examples/WTC/realheapsort.koat
|
?/n^4
25.0 /
18.3
(4)
|
.
1.3 /
1.3
(0)
|
.
87.2 /
26.4
(0)
|
?/?
0.2 /
0.2
(0)
|
| kschmidt_16/c-examples/WTC/realheapsort_step1.koat
|
?/n^2
21.1 /
16.0
(4)
|
?/n^2
0.6 /
0.9
(4)
|
?/n^2
2.2 /
0.8
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| kschmidt_16/c-examples/WTC/realheapsort_step2.koat
|
n^1/n^2
8.0 /
5.6
(8)
|
.
0.8 /
0.8
(0)
|
.
52.1 /
26.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| ITS/Brockschmidt_16/c-examples/WTC/realselect.koat
|
n^2/n^2
4.5 /
2.6
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
2.2 /
0.8
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| /Brockschmidt_16/c-examples/WTC/realshellsort.koat
|
?/n^3
7.2 /
4.8
(4)
|
.
1.2 /
1.1
(0)
|
.
70.3 /
26.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| lexity_ITS/Brockschmidt_16/c-examples/WTC/rsd.koat
|
n^1/n^2
5.4 /
3.6
(8)
|
?/n^2
0.3 /
0.3
(4)
|
.
0.8 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| ty_ITS/Brockschmidt_16/c-examples/WTC/sipma91.koat
|
n^1/n^2
7.1 /
5.1
(6)
|
?/n^1
0.6 /
0.6
(4)
|
.
0.7 /
0.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Brockschmidt_16/c-examples/WTC/sipmabubble.koat
|
n^2/n^2
5.4 /
3.2
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
9.4 /
3.6
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| TS/Brockschmidt_16/c-examples/WTC/speedFails4.koat
|
.
7.9 /
5.6
(0)
|
.
0.4 /
0.3
(0)
|
.
1.2 /
0.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| ITS/Brockschmidt_16/c-examples/WTC/speedpldi2.koat
|
?/n^1
5.0 /
2.9
(4)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ITS/Brockschmidt_16/c-examples/WTC/speedpldi3.koat
|
n^2/n^2
5.3 /
3.1
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
1.1 /
0.5
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ITS/Brockschmidt_16/c-examples/WTC/speedpldi4.koat
|
?/n^1
4.3 /
2.3
(4)
|
?/n^1
0.2 /
0.2
(4)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| _ITS/Brockschmidt_16/c-examples/WTC/terminate.koat
|
?/n^1
4.3 /
2.0
(4)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/wcet1.koat
|
n^1/n^1
5.4 /
3.3
(8)
|
?/n^1
0.6 /
0.6
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| xity_ITS/Brockschmidt_16/c-examples/WTC/wcet2.koat
|
?/n^2
4.1 /
2.2
(1)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ity_ITS/Brockschmidt_16/c-examples/WTC/while2.koat
|
n^2/n^2
4.6 /
2.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| exity_ITS/Brockschmidt_16/c-examples/WTC/wise.koat
|
n^1/n^1
4.6 /
2.5
(8)
|
?/n^1
0.3 /
0.2
(4)
|
.
1.9 /
0.7
(0)
|
?/?
0.0 /
0.0
(0)
|
| /Brockschmidt_16/costa/RAML/rationalPotential.koat
|
?/n^1
3.9 /
1.9
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Brockschmidt_16/costa/misc/ack.koat
|
n^1/?
7.5 /
24.1
(4)
|
.
0.1 /
0.1
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| ITS/Brockschmidt_16/costa/misc/direct_n_log_n.koat
|
?/n^1
4.0 /
1.9
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| plexity_ITS/Brockschmidt_16/costa/misc/linear.koat
|
n^1/n^1
4.0 /
2.5
(8)
|
?/n^1
0.1 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ty_ITS/Brockschmidt_16/costa/misc/logarithmic.koat
|
?/n^0
3.8 /
2.4
(4)
|
?/n^0
0.1 /
0.1
(4)
|
.
0.1 /
0.2
(0)
|
?/n^0
0.0 /
0.2
(4)
|
| mplexity_ITS/Brockschmidt_16/costa/misc/merge.koat
|
n^1/n^1
3.9 /
2.0
(8)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| omplexity_ITS/Brockschmidt_16/costa/misc/mspe.koat
|
?/n^1
26.9 /
24.2
(4)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/?
0.1 /
0.1
(0)
|
| lexity_ITS/Flores-Montoya_16/Loopus2011_ex1.c.koat
|
n^1/n^1
7.6 /
5.2
(8)
|
?/n^1
1.2 /
1.2
(4)
|
.
83.4 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| lexity_ITS/Flores-Montoya_16/Loopus2011_ex2.c.koat
|
.
33.0 /
30.1
(0)
|
?/n^1
14.6 /
14.6
(4)
|
.
69.9 /
26.2
(0)
|
?/?
0.7 /
0.7
(0)
|
| lexity_ITS/Flores-Montoya_16/Loopus2011_ex3.c.koat
|
?/n^1
5.6 /
4.2
(4)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
2.7 /
4.2
(4)
|
?/?
0.0 /
0.0
(0)
|
| lexity_ITS/Flores-Montoya_16/Loopus2014_ex1.c.koat
|
n^2/n^2
20.0 /
17.3
(8)
|
?/n^2
6.6 /
6.6
(4)
|
.
90.0 /
26.3
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| lexity_ITS/Flores-Montoya_16/Loopus2014_ex2.c.koat
|
n^1/n^1
8.0 /
5.5
(8)
|
?/n^1
1.1 /
1.1
(4)
|
.
88.0 /
26.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Flores-Montoya_16/Loopus2015_ex1.c.koat
|
n^1/n^2
5.8 /
3.4
(6)
|
?/n^1
0.8 /
0.7
(4)
|
?/n^2
1.5 /
0.5
(2)
|
?/n^1
0.1 /
0.1
(4)
|
| lexity_ITS/Flores-Montoya_16/Loopus2015_ex2.c.koat
|
n^1/n^1
9.1 /
6.9
(8)
|
?/n^1
0.9 /
0.9
(4)
|
?/n^1
0.3 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| y_ITS/Flores-Montoya_16/Loopus2015_original.c.koat
|
n^1/n^2
10.5 /
8.4
(7)
|
?/n^2
1.8 /
1.8
(3)
|
.
53.4 /
26.5
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/aaron12.c.koat
|
.
0.5 /
0.9
(0)
|
.
0.5 /
0.5
(0)
|
.
0.5 /
0.4
(0)
|
?/?
0.0 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/aaron2.c.koat
|
?/n^1
5.5 /
3.0
(4)
|
?/n^1
0.5 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/aaron3.c.koat
|
n^1/?
11.8 /
8.8
(4)
|
.
0.9 /
0.9
(0)
|
.
18.9 /
6.0
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/alain.c.koat
|
n^1/n^3
10.3 /
6.8
(8)
|
?/n^3
2.0 /
2.0
(4)
|
?/n^3
17.4 /
5.5
(4)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/ax.c.koat
|
n^2/n^2
5.7 /
3.3
(8)
|
?/n^2
0.6 /
0.6
(4)
|
?/n^2
0.8 /
0.3
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/catmouse.c.koat
|
exp/?
6.5 /
4.1
(4)
|
.
0.2 /
0.2
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/complex.c.koat
|
?/n^1
8.8 /
5.5
(4)
|
?/n^1
4.6 /
4.6
(4)
|
.
41.6 /
12.6
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| omplexity_ITS/Flores-Montoya_16/counterex1a.c.koat
|
n^1/?
23.7 /
21.6
(4)
|
.
4.9 /
4.9
(0)
|
.
53.6 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| omplexity_ITS/Flores-Montoya_16/counterex1b.c.koat
|
n^2/?
20.8 /
17.3
(4)
|
.
30.0 /
30.0
(0)
|
.
84.9 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| omplexity_ITS/Flores-Montoya_16/counterex1c.c.koat
|
n^1/n^3
29.2 /
26.7
(8)
|
.
1.8 /
1.8
(0)
|
.
74.3 /
26.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/cousot9.c.koat
|
n^2/n^2
5.4 /
3.1
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.9 /
0.4
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/easy1.c.koat
|
?/n^0
4.0 /
2.0
(4)
|
?/n^0
0.3 /
0.3
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/easy2.c.koat
|
n^1/n^1
4.1 /
2.1
(8)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/ex_paper1.c.koat
|
n^1/n^2
13.1 /
9.6
(8)
|
?/n^2
3.0 /
3.0
(4)
|
.
90.7 /
26.3
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/ex_paper2.c.koat
|
n^2/n^2
5.0 /
3.2
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
8.7 /
2.7
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/ex_paper3.c.koat
|
n^1/n^2
10.8 /
8.4
(8)
|
.
1.1 /
1.0
(0)
|
.
71.6 /
26.2
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/exmini.c.koat
|
?/n^1
4.8 /
2.6
(4)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/heapsort.c.koat
|
?/n^1
12.5 /
8.7
(4)
|
?/n^1
1.6 /
1.5
(4)
|
.
85.4 /
26.2
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/insertsort.c.koat
|
n^2/n^2
6.4 /
4.8
(8)
|
?/n^2
0.7 /
0.6
(4)
|
.
54.0 /
26.7
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex1.c.koat
|
n^2/n^2
4.6 /
2.5
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
4.3 /
2.2
(4)
|
?/n^2
0.0 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex2.c.koat
|
n^2/n^2
5.0 /
2.9
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
3.1 /
1.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex3.c.koat
|
n^2/n^2
5.3 /
3.3
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
1.6 /
0.5
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex4.c.koat
|
n^2/n^2
7.0 /
4.4
(8)
|
?/n^2
0.8 /
0.7
(4)
|
?/n^2
2.3 /
0.9
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex5.c.koat
|
n^1/n^2
5.3 /
3.1
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
4.6 /
2.4
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex6.c.koat
|
?/n^4
33.2 /
30.0
(3)
|
?/n^3
2.3 /
2.3
(4)
|
.
90.2 /
26.3
(0)
|
?/n^4
0.1 /
0.1
(3)
|
| Complexity_ITS/Flores-Montoya_16/jama_ex7.c.koat
|
n^2/n^2
6.4 /
4.4
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
1.9 /
0.7
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ty_ITS/Flores-Montoya_16/knuth_morris_pratt.c.koat
|
n^1/n^1
11.3 /
7.4
(8)
|
?/n^1
7.5 /
7.5
(4)
|
.
88.7 /
26.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/loops.c.koat
|
?/n^2
6.6 /
5.6
(4)
|
?/n^2
0.4 /
0.4
(4)
|
.
12.7 /
6.8
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/nd_loop.c.koat
|
?/n^0
3.8 /
1.9
(4)
|
?/n^0
0.2 /
0.2
(4)
|
?/n^0
0.0 /
0.0
(4)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/ndecr.c.koat
|
n^1/n^1
4.4 /
2.2
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/nestedLoop.c.koat
|
n^1/n^2
13.0 /
9.2
(8)
|
?/n^2
3.8 /
3.7
(4)
|
.
71.5 /
26.1
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| omplexity_ITS/Flores-Montoya_16/nested_loop.c.koat
|
n^1/n^2
13.8 /
10.0
(8)
|
?/n^2
9.7 /
9.7
(4)
|
.
85.7 /
26.2
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/perfect.c.koat
|
n^1/n^2
8.8 /
6.2
(8)
|
?/n^2
1.0 /
1.0
(4)
|
.
72.3 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/perfect1.c.koat
|
n^1/n^2
9.7 /
6.4
(8)
|
?/n^2
1.2 /
1.2
(4)
|
.
87.2 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/perfect2.c.koat
|
n^1/n^2
8.0 /
5.3
(8)
|
.
1.9 /
1.9
(0)
|
.
86.9 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/perfectg.c.koat
|
?/n^2
8.0 /
5.1
(4)
|
.
2.2 /
2.2
(0)
|
.
62.2 /
18.5
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/random1d.c.koat
|
n^1/n^1
5.5 /
3.2
(8)
|
?/n^1
0.3 /
0.2
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.0 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/random2d.c.koat
|
n^1/n^1
7.9 /
5.0
(8)
|
?/n^1
0.6 /
0.5
(4)
|
?/n^1
0.5 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/rank1.c.koat
|
n^1/?
19.8 /
16.4
(4)
|
?/n^2
1.8 /
1.7
(4)
|
.
72.8 /
26.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/rank2.c.koat
|
n^1/n^1
11.3 /
7.9
(8)
|
?/n^1
2.1 /
1.1
(4)
|
.
85.7 /
27.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/rank3.c.koat
|
n^1/?
29.4 /
25.5
(4)
|
?/n^2
20.8 /
20.8
(4)
|
.
86.7 /
26.2
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/real2.c.koat
|
exp/?
8.0 /
5.8
(4)
|
.
0.6 /
0.6
(0)
|
.
15.5 /
6.6
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/realbubble.c.koat
|
n^2/n^2
7.0 /
4.0
(8)
|
?/n^2
0.8 /
0.8
(4)
|
.
84.2 /
26.3
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| mplexity_ITS/Flores-Montoya_16/realheapsort.c.koat
|
?/n^2
33.3 /
27.6
(4)
|
.
2.5 /
2.5
(0)
|
.
87.2 /
26.3
(0)
|
?/?
0.2 /
0.2
(0)
|
| ty_ITS/Flores-Montoya_16/realheapsort_step1.c.koat
|
?/n^2
21.0 /
16.7
(4)
|
?/n^2
0.6 /
0.6
(4)
|
?/n^2
9.8 /
3.2
(4)
|
?/n^2
0.2 /
0.2
(4)
|
| ty_ITS/Flores-Montoya_16/realheapsort_step2.c.koat
|
n^1/n^2
9.4 /
6.5
(8)
|
.
1.0 /
1.0
(0)
|
.
73.6 /
26.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/realselect.c.koat
|
n^2/n^2
5.2 /
3.0
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
22.7 /
7.2
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| plexity_ITS/Flores-Montoya_16/realshellsort.c.koat
|
?/n^3
9.3 /
6.2
(4)
|
.
1.3 /
1.3
(0)
|
.
89.9 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/relation1.c.koat
|
?/n^0
3.7 /
1.7
(4)
|
?/n^0
0.1 /
0.1
(4)
|
?/n^0
0.0 /
0.0
(4)
|
.
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/rsd.c.koat
|
n^1/n^1
14.0 /
4.6
(8)
|
?/n^1
0.6 /
0.6
(4)
|
.
0.7 /
0.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/serpent.c.koat
|
n^2/?
13.2 /
11.8
(4)
|
.
30.1 /
30.1
(0)
|
.
90.5 /
26.4
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/sipma91.c.koat
|
n^1/n^2
8.9 /
5.5
(6)
|
?/n^1
1.1 /
1.1
(4)
|
.
3.1 /
1.1
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| omplexity_ITS/Flores-Montoya_16/sipmabubble.c.koat
|
n^2/n^2
5.2 /
3.0
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
50.1 /
8.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| lexity_ITS/Flores-Montoya_16/sipmamergesort.c.koat
|
.
33.6 /
30.1
(0)
|
.
30.0 /
30.0
(0)
|
.
88.2 /
26.3
(0)
|
?/?
4.9 /
4.9
(0)
|
| exity_ITS/Flores-Montoya_16/sipmamergesort2.c.koat
|
.
33.9 /
30.1
(0)
|
.
30.1 /
30.1
(0)
|
.
65.0 /
26.2
(0)
|
?/?
12.8 /
12.8
(0)
|
| Complexity_ITS/Flores-Montoya_16/speedDis1.c.koat
|
n^1/n^1
7.0 /
6.4
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
1.4 /
0.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/speedDis2.c.koat
|
n^1/n^1
5.9 /
3.7
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.7 /
0.3
(4)
|
?/?
0.1 /
0.1
(0)
|
| omplexity_ITS/Flores-Montoya_16/speedFails1.c.koat
|
.
8.0 /
6.6
(0)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| omplexity_ITS/Flores-Montoya_16/speedFails2.c.koat
|
exp/?
12.2 /
3.8
(4)
|
.
0.3 /
0.2
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| omplexity_ITS/Flores-Montoya_16/speedFails3.c.koat
|
.
9.4 /
30.1
(0)
|
.
0.5 /
0.4
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| omplexity_ITS/Flores-Montoya_16/speedFails4.c.koat
|
.
8.8 /
6.6
(0)
|
.
0.4 /
0.4
(0)
|
.
0.2 /
0.1
(0)
|
?/?
0.1 /
0.1
(0)
|
| y_ITS/Flores-Montoya_16/speedNestedMultiple.c.koat
|
n^1/n^1
8.0 /
4.8
(8)
|
?/n^1
1.8 /
1.8
(4)
|
.
85.2 /
26.3
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Flores-Montoya_16/speedNestedMultipleDep.c.koat
|
n^2/n^2
5.4 /
3.1
(8)
|
?/n^2
0.5 /
0.5
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| y_ITS/Flores-Montoya_16/speedSimpleMultiple.c.koat
|
n^1/n^1
5.4 /
3.1
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.4 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| TS/Flores-Montoya_16/speedSimpleMultipleDep.c.koat
|
n^2/n^2
5.5 /
3.3
(8)
|
?/n^2
0.3 /
0.3
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| ity_ITS/Flores-Montoya_16/speedSingleSingle.c.koat
|
n^1/n^1
4.1 /
2.2
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| ty_ITS/Flores-Montoya_16/speedSingleSingle2.c.koat
|
n^1/n^1
5.3 /
3.3
(8)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
0.5 /
0.2
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| ity_ITS/Flores-Montoya_16/speed_pldi09_fig1.c.koat
|
n^1/n^2
5.0 /
2.8
(6)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.4 /
0.2
(0)
|
?/n^1
0.0 /
0.0
(4)
|
| y_ITS/Flores-Montoya_16/speed_pldi09_fig4_2.c.koat
|
?/n^1
4.9 /
2.9
(4)
|
?/n^1
0.4 /
0.4
(4)
|
.
0.3 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| y_ITS/Flores-Montoya_16/speed_pldi09_fig4_4.c.koat
|
n^1/n^1
5.0 /
2.8
(8)
|
?/n^1
0.4 /
0.4
(4)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| y_ITS/Flores-Montoya_16/speed_pldi09_fig4_5.c.koat
|
n^1/n^2
5.9 /
3.7
(6)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.3 /
0.2
(4)
|
?/?
0.0 /
0.0
(0)
|
| xity_ITS/Flores-Montoya_16/speed_pldi10_ex1.c.koat
|
n^2/n^2
9.2 /
6.3
(8)
|
?/n^2
1.0 /
1.0
(4)
|
.
90.1 /
27.1
(0)
|
?/n^2
0.1 /
0.1
(4)
|
| xity_ITS/Flores-Montoya_16/speed_pldi10_ex3.c.koat
|
n^1/n^1
4.8 /
2.5
(8)
|
?/n^1
0.8 /
0.7
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| xity_ITS/Flores-Montoya_16/speed_pldi10_ex4.c.koat
|
n^1/n^1
4.9 /
2.5
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| y_ITS/Flores-Montoya_16/speed_popl10_fig2_1.c.koat
|
n^1/n^1
6.0 /
3.3
(8)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| y_ITS/Flores-Montoya_16/speed_popl10_fig2_2.c.koat
|
n^1/n^1
5.1 /
3.0
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
2.4 /
3.5
(4)
|
?/?
0.1 /
0.2
(0)
|
| res-Montoya_16/speed_popl10_nested_multiple.c.koat
|
n^1/n^1
7.7 /
5.9
(8)
|
?/n^1
1.9 /
1.9
(4)
|
.
84.6 /
26.2
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| lores-Montoya_16/speed_popl10_nested_single.c.koat
|
n^1/n^1
4.6 /
2.6
(8)
|
?/n^1
0.8 /
0.8
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| s-Montoya_16/speed_popl10_sequential_single.c.koat
|
n^1/n^1
4.9 /
2.6
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| res-Montoya_16/speed_popl10_simple_multiple.c.koat
|
n^1/n^1
5.2 /
3.1
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.2 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| lores-Montoya_16/speed_popl10_simple_single.c.koat
|
n^1/n^1
4.2 /
2.4
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| res-Montoya_16/speed_popl10_simple_single_2.c.koat
|
n^1/n^1
4.8 /
2.7
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/speedpldi2.c.koat
|
?/n^1
4.9 /
2.8
(4)
|
?/n^1
0.4 /
0.4
(4)
|
.
0.2 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/speedpldi3.c.koat
|
n^2/n^2
6.2 /
4.0
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
0.2 /
0.1
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/speedpldi4.c.koat
|
?/n^1
4.5 /
2.5
(4)
|
?/n^1
0.3 /
0.3
(4)
|
.
0.1 /
0.1
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/t07.c.koat
|
n^1/n^1
5.3 /
2.8
(8)
|
?/n^1
0.6 /
0.6
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t08.c.koat
|
n^1/n^1
4.8 /
2.6
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t10.c.koat
|
n^1/n^1
6.5 /
14.1
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.9 /
1.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t11.c.koat
|
n^1/n^1
6.8 /
5.6
(8)
|
?/n^1
0.6 /
0.5
(4)
|
?/n^1
0.9 /
0.6
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t13.c.koat
|
n^1/n^1
7.3 /
4.8
(8)
|
?/n^1
0.9 /
1.0
(4)
|
.
53.4 /
26.4
(0)
|
?/n^1
0.1 /
0.2
(4)
|
| Complexity_ITS/Flores-Montoya_16/t15.c.koat
|
n^1/n^1
7.3 /
10.4
(8)
|
?/n^1
0.6 /
0.6
(4)
|
.
0.6 /
0.3
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/t16.c.koat
|
n^1/n^2
5.5 /
3.2
(7)
|
?/n^1
0.5 /
0.5
(4)
|
.
0.6 /
0.2
(0)
|
?/?
0.0 /
0.0
(0)
|
| Complexity_ITS/Flores-Montoya_16/t19.c.koat
|
n^1/n^1
5.2 /
2.8
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t20.c.koat
|
n^1/n^1
4.8 /
2.5
(8)
|
?/n^1
0.4 /
0.8
(4)
|
?/n^1
0.3 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t27.c.koat
|
n^1/n^1
7.9 /
8.8
(8)
|
?/n^1
0.9 /
0.8
(4)
|
?/n^2
4.9 /
2.6
(1)
|
?/n^1
0.1 /
0.2
(4)
|
| Complexity_ITS/Flores-Montoya_16/t28.c.koat
|
n^1/n^1
5.1 /
3.0
(8)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
0.3 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t30.c.koat
|
?/n^1
4.9 /
2.7
(4)
|
.
0.2 /
0.2
(0)
|
.
0.1 /
0.1
(0)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t47.c.koat
|
n^1/n^1
4.7 /
2.5
(8)
|
?/n^1
0.3 /
0.3
(4)
|
?/n^1
0.1 /
0.0
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/t62.c.koat
|
n^1/n^1
8.3 /
5.0
(8)
|
?/n^2
6.6 /
6.6
(3)
|
.
85.9 /
26.2
(0)
|
?/n^2
0.1 /
0.1
(3)
|
| Complexity_ITS/Flores-Montoya_16/terminate.c.koat
|
?/n^1
5.5 /
3.3
(4)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| xity_ITS/Flores-Montoya_16/terminatorbubble.c.koat
|
?/n^2
6.7 /
3.8
(4)
|
?/n^2
0.8 /
0.8
(4)
|
?/n^2
32.9 /
12.4
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| mplexity_ITS/Flores-Montoya_16/textbook_ex1.c.koat
|
n^1/n^1
4.1 /
2.1
(8)
|
?/n^1
0.2 /
0.2
(4)
|
?/n^1
0.0 /
0.0
(4)
|
?/n^1
0.0 /
0.0
(4)
|
| mplexity_ITS/Flores-Montoya_16/textbook_ex2.c.koat
|
n^2/n^2
5.0 /
2.6
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
1.9 /
0.7
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| mplexity_ITS/Flores-Montoya_16/textbook_ex3.c.koat
|
n^4/n^6
7.1 /
4.4
(7)
|
?/n^4
2.1 /
2.1
(4)
|
.
69.3 /
26.2
(0)
|
?/n^6
0.1 /
0.1
(3)
|
| mplexity_ITS/Flores-Montoya_16/textbook_ex4.c.koat
|
n^2/n^2
5.5 /
3.4
(8)
|
?/n^2
0.6 /
0.6
(4)
|
?/n^2
0.7 /
0.3
(4)
|
?/n^2
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/unperfect.c.koat
|
n^1/n^2
9.1 /
6.2
(8)
|
.
2.0 /
1.9
(0)
|
.
85.9 /
26.3
(0)
|
?/?
0.1 /
0.1
(0)
|
| Complexity_ITS/Flores-Montoya_16/wcet0.c.koat
|
?/n^1
5.9 /
3.4
(4)
|
?/n^1
0.6 /
0.6
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/wcet1.c.koat
|
n^1/n^1
7.6 /
14.6
(8)
|
?/n^1
0.7 /
0.7
(4)
|
?/n^1
0.5 /
0.3
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/wcet2.c.koat
|
?/n^2
6.2 /
12.4
(1)
|
?/n^1
0.5 /
0.5
(4)
|
?/n^1
1.4 /
0.6
(4)
|
?/n^1
0.1 /
0.1
(4)
|
| Complexity_ITS/Flores-Montoya_16/while2.c.koat
|
n^2/n^2
4.9 /
2.9
(8)
|
?/n^2
0.4 /
0.4
(4)
|
?/n^2
2.2 /
0.9
(4)
|
?/n^2
0.0 /
0.0
(4)
|
| Complexity_ITS/Flores-Montoya_16/wise.c.koat
|
n^1/n^1
5.0 /
2.8
(8)
|
?/n^1
0.4 /
0.4
(4)
|
?/n^1
0.1 /
0.1
(4)
|
?/?
0.0 /
0.0
(0)
|