The following shows both Cora's and Wanda's results on the lambda-free examples of the higher-order category of the TPDB. The first column shows Cora's results for termination analysis, the second Cora's results for computability analysis, and the third shows Wanda's results for termination analysis.

Filename Termination Computability Wanda
02Ackermann YES 0.36 YES 0.36 YES 0.09
03minus YES 0.23 YES 0.20 YES 0.01
04arrow YES 0.31 MAYBE 0.29 YES 0.01
05height YES 0.27 YES 0.31 YES 0.01
06plusmult YES 0.89 YES 0.96 YES 0.06
AotoYamada_05__001 MAYBE 0.26 MAYBE 0.17 NO 0.00
AotoYamada_05__002 YES 0.25 YES 0.26 YES 0.11
AotoYamada_05__003 MAYBE 0.25 MAYBE 0.27 NO 0.00
AotoYamada_05__004 YES 0.29 YES 0.31 YES 0.03
AotoYamada_05__005 YES 0.22 YES 0.23 YES 0.01
AotoYamada_05__006 YES 0.26 YES 0.28 YES 0.03
AotoYamada_05__007 YES 0.28 YES 0.36 YES 0.05
AotoYamada_05__009 YES 0.34 YES 0.33 YES 0.06
AotoYamada_05__010 YES 0.43 YES 0.48 YES 0.18
AotoYamada_05__011 YES 0.28 YES 0.33 YES 0.05
AotoYamada_05__012 YES 0.29 YES 0.34 YES 0.05
AotoYamada_05__013 YES 0.45 YES 0.51 YES 0.05
AotoYamada_05__014 YES 0.42 YES 0.55 YES 0.17
AotoYamada_05__015 YES 0.32 YES 0.35 YES 0.11
AotoYamada_05__016 YES 0.47 YES 0.38 YES 0.28
AotoYamada_05__017 YES 0.17 YES 0.14 YES 0.00
AotoYamada_05__019 YES 0.14 YES 0.14 YES 0.05
AotoYamada_05__020 YES 0.30 YES 0.27 YES 0.21
AotoYamada_05__021 YES 0.41 YES 0.45 YES 0.20
AotoYamada_05__022 YES 0.27 YES 0.29 YES 0.05
AotoYamada_05__023 YES 0.21 YES 0.25 YES 0.02
AotoYamada_05__024 YES 0.19 YES 0.25 YES 0.02
AotoYamada_05__025 YES 0.13 YES 0.19 YES 0.00
AotoYamada_05__026 YES 0.21 YES 0.21 YES 0.12
AotoYamada_05__027 YES 0.29 YES 0.31 YES 0.04
AotoYamada_05__028 YES 0.21 YES 0.26 YES 0.02
AotoYamada_05__Ex1SimplyTyped YES 0.30 YES 0.29 YES 0.03
AotoYamada_05__Ex5TermProof YES 0.39 YES 0.44 YES 0.29
Applicative_05__BTreeMember YES 0.43 YES 0.44 YES 0.14
Applicative_05__Ex2_6_1Composition YES 0.14 YES 0.14 YES 0.01
Applicative_05__Ex2_8_1ConstSubstFix MAYBE 0.22 MAYBE 0.19 MAYBE
Applicative_05__Ex3Lists YES 0.81 YES 0.90 YES 0.04
Applicative_05__Ex4MapList YES 0.22 YES 0.20 YES 0.05
Applicative_05__Ex5Folding YES 0.45 YES 0.39 YES 0.14
Applicative_05__Ex5Sorting YES 0.56 YES 0.66 YES 0.48
Applicative_05__Ex6_11 MAYBE 0.12 MAYBE 0.12 MAYBE
Applicative_05__Ex6Folding YES 0.21 YES 0.23 YES 0.11
Applicative_05__Ex6Recursor YES 0.18 YES 0.20 YES 0.05
Applicative_05__Ex7_9 YES 0.66 MAYBE 0.58 YES 0.20
Applicative_05__Ex7OrdinalRec MAYBE 0.12 MAYBE 0.13 MAYBE
Applicative_05__Ex7Sorting YES 0.51 YES 0.55 YES 0.53
Applicative_05__Ex9Maps YES 0.33 YES 0.32 YES 2.65
Applicative_05__Hamming MAYBE 2.08 MAYBE 2.06 NO 0.00
Applicative_05__mapDivMinusHard MAYBE 0.42 MAYBE 0.41 MAYBE
Applicative_05__mapDivMinus YES 0.41 MAYBE 0.38 YES 0.16
Applicative_05__ReverseLastInit YES 0.27 YES 0.32 YES 0.17
Applicative_05__TakeDropWhile YES 0.33 YES 0.32 YES 0.04
Applicative_05__termMonTypes MAYBE 0.26 MAYBE 0.22 MAYBE
Applicative_05__TreeFlatten MAYBE 0.49 MAYBE 0.49 YES 0.07
Applicative_05__TreeHeight MAYBE 0.56 MAYBE 0.51 YES 0.07
Applicative_05__TreeLevels MAYBE 0.64 MAYBE 0.60 YES 0.08
Applicative_05__TreeMap MAYBE 0.32 MAYBE 0.29 YES 0.12
Applicative_05__TreeSize MAYBE 0.50 MAYBE 0.56 YES 0.05
Applicative_05__TypeEx5 MAYBE 0.23 MAYBE 0.25 NO 0.00
Applicative_AG01_innermost__#4.10 MAYBE 0.41 MAYBE 0.43 MAYBE
Applicative_AG01_innermost__#4.13 MAYBE 0.37 MAYBE 0.31 MAYBE
Applicative_AG01_innermost__#4.15 MAYBE 0.52 MAYBE 0.50 MAYBE
Applicative_AG01_innermost__#4.17 MAYBE 0.49 MAYBE 0.45 MAYBE
Applicative_AG01_innermost__#4.19 MAYBE 0.56 MAYBE 0.49 MAYBE
Applicative_AG01_innermost__#4.22 YES 0.45 YES 0.51 YES 0.21
Applicative_AG01_innermost__#4.24 YES 0.53 YES 0.58 YES 0.30
Applicative_AG01_innermost__#4.26 MAYBE 0.49 MAYBE 0.48 MAYBE
Applicative_AG01_innermost__#4.28 MAYBE 0.44 MAYBE 0.46 MAYBE
Applicative_AG01_innermost__#4.2 MAYBE 0.42 MAYBE 0.43 MAYBE
Applicative_AG01_innermost__#4.34 MAYBE 0.73 MAYBE 0.58 YES 0.28
Applicative_AG01_innermost__#4.36 MAYBE 1.08 MAYBE 0.90 YES 0.49
Applicative_AG01_innermost__#4.3 MAYBE 0.39 MAYBE 0.36 MAYBE
Applicative_AG01_innermost__#4.5 MAYBE 0.39 MAYBE 0.33 NO 0.00
Applicative_AG01_innermost__#4.7 MAYBE 0.41 MAYBE 0.40 MAYBE
Applicative_AG01_innermost__#4.8 MAYBE 0.50 MAYBE 0.48 MAYBE
Applicative_first_order_05__01 YES 0.35 YES 0.35 YES 0.08
Applicative_first_order_05__02 YES 0.32 YES 0.40 YES 0.08
Applicative_first_order_05__06 YES 0.40 YES 0.41 YES 0.08
Applicative_first_order_05__08 YES 1.40 YES 1.53 YES 0.41
Applicative_first_order_05__11 YES 4.73 YES 5.08 YES 1.01
Applicative_first_order_05__12 MAYBE 1.19 MAYBE 1.34 YES 0.27
Applicative_first_order_05__13 MAYBE 1.98 MAYBE 2.08 YES 0.33
Applicative_first_order_05__17 YES 0.66 YES 0.84 YES 0.12
Applicative_first_order_05__18 YES 0.45 YES 0.55 YES 0.18
Applicative_first_order_05__21 MAYBE 0.64 MAYBE 0.55 MAYBE
Applicative_first_order_05__29 YES 0.63 YES 0.68 YES 0.24
Applicative_first_order_05__30 MAYBE 1.18 MAYBE 1.07 YES 0.10
Applicative_first_order_05__#3.10 MAYBE 1.30 MAYBE 1.15 YES 0.54
Applicative_first_order_05__#3.13 MAYBE 1.06 MAYBE 0.79 YES 0.51
Applicative_first_order_05__#3.16 YES 0.63 YES 0.61 YES 0.19
Applicative_first_order_05__#3.18 MAYBE 0.91 MAYBE 0.83 YES 0.26
Applicative_first_order_05__#3.22 MAYBE 0.84 MAYBE 0.85 YES 1.71
Applicative_first_order_05__#3.25 MAYBE 0.52 MAYBE 0.42 YES 0.21
Applicative_first_order_05__#3.27 YES 0.57 YES 0.56 YES 0.12
Applicative_first_order_05__#3.2 MAYBE 0.63 MAYBE 0.48 YES 0.27
Applicative_first_order_05__#3.32 YES 0.41 YES 0.39 YES 0.13
Applicative_first_order_05__#3.36 MAYBE 0.96 MAYBE 0.75 YES 0.29
Applicative_first_order_05__#3.38 MAYBE 0.77 MAYBE 0.56 YES 0.25
Applicative_first_order_05__33 MAYBE 1.56 MAYBE 1.18 MAYBE
Applicative_first_order_05__#3.40 MAYBE 1.23 MAYBE 1.04 MAYBE
Applicative_first_order_05__#3.45 MAYBE 0.64 MAYBE 0.58 YES 0.18
Applicative_first_order_05__#3.48 MAYBE 0.96 MAYBE 0.85 YES 0.17
Applicative_first_order_05__#3.52 YES 0.58 YES 0.47 YES 0.12
Applicative_first_order_05__#3.55 MAYBE 1.45 MAYBE 1.12 YES 0.47
Applicative_first_order_05__#3.57 MAYBE 1.26 MAYBE 0.96 YES 0.52
Applicative_first_order_05__#3.6 MAYBE 1.00 MAYBE 0.78 YES 0.37
Applicative_first_order_05__#3.8 MAYBE 0.67 MAYBE 0.50 YES 0.42
Applicative_first_order_05__hydra YES 0.67 YES 0.55 YES 0.17
Applicative_first_order_05__minsort MAYBE 1.12 MAYBE 1.04 MAYBE
Applicative_first_order_05__motivation MAYBE 0.84 MAYBE 0.71 YES 0.28
Applicative_first_order_05__perfect2 MAYBE 1.42 MAYBE 1.15 YES 0.27
Applicative_first_order_05__perfect YES 0.61 YES 0.57 YES 0.18
apply YES 0.24 YES 0.24 YES 0.04
app YES 0.18 YES 0.14 YES 0.00
average MAYBE 0.15 MAYBE 0.19 YES 0.09
counterex2 MAYBE 0.12 MAYBE 0.16 MAYBE
curry1 YES 0.15 YES 0.15 YES 0.01
eval MAYBE 0.12 MAYBE 0.13 YES 0.10
filter YES 0.27 YES 0.29 YES 0.03
findzero MAYBE 0.13 MAYBE 0.16 YES 0.29
foobar MAYBE 0.12 MAYBE 0.12 MAYBE
fuhkop11frocos YES 0.49 MAYBE 0.36 YES 0.05
fuhkop12rta1 MAYBE 0.52 MAYBE 0.40 YES 0.11
fuhs11frocos_a MAYBE 0.25 MAYBE 0.21 MAYBE
h36 MAYBE 35.93 MAYBE 35.67 MAYBE
hrsdif2 MAYBE 0.24 MAYBE 0.19 MAYBE
if YES 0.34 MAYBE 0.26 YES 0.16
kop12thesis_ex7.45_1 MAYBE 0.54 MAYBE 0.48 MAYBE
kop12thesis_ex7.45_2 MAYBE 0.53 MAYBE 0.47 MAYBE
lambda1 MAYBE 0.16 MAYBE 0.14 NO 0.00
lambda2 MAYBE 0.49 MAYBE 0.36 MAYBE
lambda3 MAYBE 0.14 MAYBE 0.13 YES 0.02
lambda5 MAYBE 0.13 MAYBE 0.14 NO 0.00
map YES 0.21 YES 0.21 YES 0.02
merge YES 0.47 MAYBE 0.31 YES 0.03
noabs MAYBE 0.14 MAYBE 0.15 YES 0.04
plode YES 0.30 YES 0.30 YES 0.16
rec YES 0.21 YES 0.21 YES 0.04
shuffle MAYBE 0.51 MAYBE 0.41 YES 0.06
uncurry YES 0.17 YES 0.16 YES 0.01
Total YES 72 66 105
Total NO 0 0 7
Total MAYBE 68 74 28
Total TIMEOUT 0 0 0
Average Runtime 0.43 0.46 0.18