gherOrder_Rewriting__Union_Beta/Kop_11/average.xml |
1.6 /
0.8 s
|
0.0 /
0.0 s
|
gherOrder_Rewriting__Union_Beta/Kop_11/lambda5.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
HigherOrder_Rewriting__Union_Beta/Kop_11/merge.xml |
0.0 /
0.1 s
|
0.1 /
0.1 s
|
erOrder_Rewriting__Union_Beta/Kop_11/noneating.xml |
1.2 /
0.7 s
|
0.0 /
0.1 s
|
gherOrder_Rewriting__Union_Beta/Kop_11/shuffle.xml |
0.1 /
0.1 s
|
0.1 /
0.1 s
|
HigherOrder_Rewriting__Union_Beta/Kop_11/twice.xml |
0.1 /
0.1 s
|
0.1 /
0.1 s
|
er_Rewriting__Union_Beta/Kop_13/fuhkop11frocos.xml |
0.1 /
0.1 s
|
0.0 /
0.1 s
|
rder_Rewriting__Union_Beta/Kop_13/fuhkop12rta1.xml |
0.1 /
0.1 s
|
0.1 /
0.1 s
|
rder_Rewriting__Union_Beta/Kop_13/fuhkop12rta2.xml |
2.1 /
1.1 s
|
0.1 /
0.1 s
|
erOrder_Rewriting__Union_Beta/Kop_13/kop11cai1.xml |
0.4 /
0.4 s
|
0.0 /
0.0 s
|
erOrder_Rewriting__Union_Beta/Kop_13/kop11cai2.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Kop_13/kop12lmcs1.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
rOrder_Rewriting__Union_Beta/Kop_13/kop12lmcs2.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ewriting__Union_Beta/Kop_13/kop12thesis_ex2.11.xml |
0.1 /
0.2 s
|
0.0 /
0.0 s
|
ewriting__Union_Beta/Kop_13/kop12thesis_ex7.23.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
riting__Union_Beta/Kop_13/kop12thesis_ex7.45_1.xml |
1.6 /
1.1 s
|
0.6 /
0.6 s
|
riting__Union_Beta/Kop_13/kop12thesis_ex7.45_2.xml |
1.4 /
1.0 s
|
0.5 /
0.5 s
|
riting__Union_Beta/Kop_13/kop12thesis_sec3.3.3.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
herOrder_Rewriting__Union_Beta/Mixed_HO_10/app.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
_Rewriting__Union_Beta/Mixed_HO_10/applicative.xml |
2.5 /
2.5 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/apply.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
r_Rewriting__Union_Beta/Mixed_HO_10/counterex1.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
r_Rewriting__Union_Beta/Mixed_HO_10/counterex2.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/curry.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/curry1.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/deriv.xml |
300.0 /
300.0 s
|
0.0 /
0.0 s
|
erOrder_Rewriting__Union_Beta/Mixed_HO_10/eval.xml |
1.4 /
0.8 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/extrec.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/filter.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
der_Rewriting__Union_Beta/Mixed_HO_10/findzero.xml |
1.6 /
1.1 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/foldl.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/foobar.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
erOrder_Rewriting__Union_Beta/Mixed_HO_10/from.xml |
1.7 /
1.1 s
|
0.2 /
0.2 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/hrsdif1.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/hrsdif2.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
gherOrder_Rewriting__Union_Beta/Mixed_HO_10/if.xml |
1.2 /
0.8 s
|
0.1 /
0.1 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/inlamb.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
er_Rewriting__Union_Beta/Mixed_HO_10/iterative.xml |
0.5 /
0.5 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda1.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda2.xml |
5.2 /
2.6 s
|
0.2 /
0.2 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda3.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/length.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/loopy.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
herOrder_Rewriting__Union_Beta/Mixed_HO_10/map.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/noabs.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/onearg.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/ordrec.xml |
0.2 /
0.3 s
|
0.0 /
0.0 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/plode.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
er_Rewriting__Union_Beta/Mixed_HO_10/prefixsum.xml |
0.1 /
0.1 s
|
0.1 /
0.1 s
|
Order_Rewriting__Union_Beta/Mixed_HO_10/prenex.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/process.xml |
2.4 /
2.4 s
|
0.2 /
0.3 s
|
rOrder_Rewriting__Union_Beta/Mixed_HO_10/qsort.xml |
2.1 /
1.4 s
|
1.0 /
1.1 s
|
herOrder_Rewriting__Union_Beta/Mixed_HO_10/rec.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/reverse.xml |
0.3 /
0.3 s
|
0.0 /
0.0 s
|
herOrder_Rewriting__Union_Beta/Mixed_HO_10/sdu.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
erOrder_Rewriting__Union_Beta/Mixed_HO_10/sort.xml |
1.3 /
1.3 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/uncurry.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
rder_Rewriting__Union_Beta/Mixed_HO_10/zipWith.xml |
2.4 /
1.3 s
|
0.6 /
0.6 s
|
writing__Union_Beta/Mixed_HO_12/fuhs11frocos_a.xml |
3.4 /
2.2 s
|
0.0 /
0.0 s
|
r_Rewriting__Union_Beta/Mixed_HO_12/listrepeat.xml |
2.3 /
1.4 s
|
0.3 /
0.4 s
|
ewriting__Union_Beta/Mixed_HO_12/prefixshuffle.xml |
2.5 /
1.4 s
|
0.5 /
0.5 s
|
ewriting__Union_Beta/Mixed_HO_12/prenex_modif1.xml |
0.1 /
0.2 s
|
0.0 /
0.0 s
|
herOrder_Rewriting__Union_Beta/Mixed_HO_12/sqr.xml |
6.5 /
5.0 s
|
1.4 /
1.4 s
|
r_Rewriting__Union_Beta/Mixed_HO_12/tailrecgen.xml |
5.8 /
4.7 s
|
0.5 /
0.5 s
|
Rewriting__Union_Beta/Mixed_HO_12/twice_modif4.xml |
0.0 /
0.1 s
|
0.1 /
0.1 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__001.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__002.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__003.xml |
0.0 /
0.0 s
|
0.0 /
0.1 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__004.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__005.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__006.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__007.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__009.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__010.xml |
0.5 /
0.6 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__011.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__012.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__013.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__014.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__015.xml |
0.1 /
0.2 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__016.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__017.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__019.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__020.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__021.xml |
0.5 /
0.6 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__022.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__023.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__024.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__025.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__026.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__027.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ta/Uncurried_Applicative_11/AotoYamada_05__028.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
d_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ied_Applicative_11/AotoYamada_05__Ex5TermProof.xml |
0.3 /
0.3 s
|
0.0 /
0.0 s
|
ied_Applicative_11/Applicative_05__BTreeMember.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex2PrimRec.xml |
0.5 /
0.5 s
|
0.0 /
0.0 s
|
licative_11/Applicative_05__Ex2_6_1Composition.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
cative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml |
2.3 /
1.5 s
|
0.0 /
0.0 s
|
urried_Applicative_11/Applicative_05__Ex3Lists.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex4MapList.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex5Folding.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex5Sorting.xml |
0.6 /
0.6 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex6Folding.xml |
0.3 /
0.3 s
|
0.0 /
0.0 s
|
ied_Applicative_11/Applicative_05__Ex6Recursor.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ncurried_Applicative_11/Applicative_05__Ex6_11.xml |
41.7 /
41.7 s
|
0.0 /
0.0 s
|
d_Applicative_11/Applicative_05__Ex7OrdinalRec.xml |
0.5 /
0.5 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__Ex7Sorting.xml |
0.8 /
0.8 s
|
0.0 /
0.0 s
|
Uncurried_Applicative_11/Applicative_05__Ex7_9.xml |
2.1 /
1.2 s
|
0.1 /
0.1 s
|
curried_Applicative_11/Applicative_05__Ex9Maps.xml |
4.7 /
4.7 s
|
0.0 /
0.0 s
|
curried_Applicative_11/Applicative_05__Hamming.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
Applicative_11/Applicative_05__ReverseLastInit.xml |
0.2 /
0.3 s
|
0.0 /
0.0 s
|
d_Applicative_11/Applicative_05__TakeDropWhile.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
ied_Applicative_11/Applicative_05__TreeFlatten.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__TreeHeight.xml |
0.0 /
0.1 s
|
0.0 /
0.0 s
|
ried_Applicative_11/Applicative_05__TreeLevels.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
curried_Applicative_11/Applicative_05__TreeMap.xml |
0.2 /
0.3 s
|
0.1 /
0.1 s
|
urried_Applicative_11/Applicative_05__TreeSize.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
curried_Applicative_11/Applicative_05__TypeEx3.xml |
0.7 /
0.8 s
|
0.0 /
0.0 s
|
curried_Applicative_11/Applicative_05__TypeEx5.xml |
0.0 /
0.0 s
|
0.1 /
0.1 s
|
ied_Applicative_11/Applicative_05__mapDivMinus.xml |
1.7 /
0.9 s
|
0.1 /
0.1 s
|
Applicative_11/Applicative_05__mapDivMinusHard.xml |
1.9 /
1.0 s
|
0.1 /
0.1 s
|
ed_Applicative_11/Applicative_05__termMonTypes.xml |
1.2 /
0.7 s
|
0.0 /
0.1 s
|
plicative_11/Applicative_AG01_innermost__#4.10.xml |
3.4 /
2.1 s
|
0.0 /
0.1 s
|
plicative_11/Applicative_AG01_innermost__#4.13.xml |
9.4 /
3.8 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_AG01_innermost__#4.15.xml |
4.0 /
2.4 s
|
0.3 /
0.3 s
|
plicative_11/Applicative_AG01_innermost__#4.17.xml |
4.6 /
2.9 s
|
0.5 /
0.5 s
|
plicative_11/Applicative_AG01_innermost__#4.19.xml |
1135.1 /
300.0 s
|
0.2 /
0.2 s
|
pplicative_11/Applicative_AG01_innermost__#4.2.xml |
3.7 /
2.4 s
|
0.2 /
0.2 s
|
plicative_11/Applicative_AG01_innermost__#4.22.xml |
1.5 /
1.0 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_AG01_innermost__#4.24.xml |
2.3 /
1.2 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_AG01_innermost__#4.26.xml |
2.3 /
1.3 s
|
0.2 /
0.2 s
|
plicative_11/Applicative_AG01_innermost__#4.28.xml |
1.3 /
0.8 s
|
0.1 /
0.1 s
|
pplicative_11/Applicative_AG01_innermost__#4.3.xml |
3.3 /
2.0 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_AG01_innermost__#4.34.xml |
2.0 /
1.2 s
|
0.3 /
0.3 s
|
plicative_11/Applicative_AG01_innermost__#4.36.xml |
3.5 /
1.7 s
|
0.9 /
0.9 s
|
pplicative_11/Applicative_AG01_innermost__#4.5.xml |
0.0 /
0.0 s
|
0.0 /
0.0 s
|
pplicative_11/Applicative_AG01_innermost__#4.7.xml |
3.8 /
2.4 s
|
0.1 /
0.1 s
|
pplicative_11/Applicative_AG01_innermost__#4.8.xml |
16.8 /
6.9 s
|
0.1 /
0.1 s
|
plicative_11/Applicative_first_order_05__#3.10.xml |
3.9 /
1.8 s
|
2.0 /
2.0 s
|
plicative_11/Applicative_first_order_05__#3.13.xml |
3.2 /
1.7 s
|
3.4 /
3.4 s
|
plicative_11/Applicative_first_order_05__#3.16.xml |
0.3 /
0.3 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_first_order_05__#3.18.xml |
2.0 /
1.2 s
|
0.4 /
0.4 s
|
pplicative_11/Applicative_first_order_05__#3.2.xml |
1.9 /
1.1 s
|
0.1 /
0.1 s
|
plicative_11/Applicative_first_order_05__#3.22.xml |
1.9 /
1.2 s
|
0.4 /
0.4 s
|
plicative_11/Applicative_first_order_05__#3.25.xml |
1.4 /
0.8 s
|
0.1 /
0.1 s
|
plicative_11/Applicative_first_order_05__#3.27.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_first_order_05__#3.32.xml |
1.2 /
0.7 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_first_order_05__#3.36.xml |
2.1 /
1.2 s
|
0.6 /
0.6 s
|
plicative_11/Applicative_first_order_05__#3.38.xml |
2.1 /
1.2 s
|
0.3 /
0.4 s
|
plicative_11/Applicative_first_order_05__#3.40.xml |
2.9 /
1.5 s
|
0.4 /
0.4 s
|
plicative_11/Applicative_first_order_05__#3.45.xml |
1.3 /
0.8 s
|
0.1 /
0.1 s
|
plicative_11/Applicative_first_order_05__#3.48.xml |
1.6 /
1.1 s
|
0.9 /
0.9 s
|
plicative_11/Applicative_first_order_05__#3.52.xml |
1.5 /
1.0 s
|
0.0 /
0.0 s
|
plicative_11/Applicative_first_order_05__#3.55.xml |
3.4 /
1.6 s
|
0.8 /
0.8 s
|
plicative_11/Applicative_first_order_05__#3.57.xml |
2.7 /
1.4 s
|
0.5 /
0.6 s
|
pplicative_11/Applicative_first_order_05__#3.6.xml |
2.4 /
1.3 s
|
0.7 /
0.7 s
|
pplicative_11/Applicative_first_order_05__#3.8.xml |
2.2 /
1.2 s
|
0.2 /
0.3 s
|
_Applicative_11/Applicative_first_order_05__01.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__02.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__06.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__08.xml |
0.3 /
0.3 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__11.xml |
1.0 /
1.0 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__12.xml |
0.6 /
0.6 s
|
0.5 /
0.6 s
|
_Applicative_11/Applicative_first_order_05__13.xml |
28.7 /
13.8 s
|
0.3 /
0.3 s
|
_Applicative_11/Applicative_first_order_05__17.xml |
0.1 /
0.1 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__18.xml |
0.1 /
0.2 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__21.xml |
1.7 /
1.0 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__29.xml |
0.4 /
0.5 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__30.xml |
0.3 /
0.3 s
|
7.1 /
7.1 s
|
_Applicative_11/Applicative_first_order_05__31.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
_Applicative_11/Applicative_first_order_05__33.xml |
1097.0 /
300.0 s
|
1.3 /
1.4 s
|
plicative_11/Applicative_first_order_05__hydra.xml |
1.6 /
1.0 s
|
0.0 /
0.0 s
|
icative_11/Applicative_first_order_05__minsort.xml |
1053.9 /
300.0 s
|
0.3 /
0.3 s
|
tive_11/Applicative_first_order_05__motivation.xml |
1.7 /
1.0 s
|
0.1 /
0.1 s
|
icative_11/Applicative_first_order_05__perfect.xml |
1.8 /
1.1 s
|
0.0 /
0.0 s
|
cative_11/Applicative_first_order_05__perfect2.xml |
2.6 /
1.4 s
|
0.1 /
0.1 s
|