The following shows Cora's results on a variety of benchmarks in the integer TRS innermost category, both testing for termination and universal computability of various rewriting strategies.

Filename full termination innermost termination cbv termination computability innermost computability cbv computability
ackTen MAYBE 1.22 MAYBE 2.18 MAYBE 16.72 MAYBE 0.44 MAYBE 2.28 MAYBE 16.12
a.07 YES 0.41 YES 0.41 YES 0.47 YES 0.40 YES 0.45 YES 0.44
01 YES 0.40 YES 0.35 YES 0.37 YES 0.37 YES 0.43 YES 0.39
A17 MAYBE 2.07 MAYBE 5.68 MAYBE 8.00 MAYBE 1.63 MAYBE 5.94 MAYBE 7.82
conv YES 0.43 YES 0.49 YES 0.52 YES 0.47 YES 0.47 YES 0.47
c.02 YES 3.61 YES 1.04 YES 1.23 YES 3.76 YES 1.14 YES 1.29
A05 YES 0.22 YES 0.20 YES 0.23 YES 0.25 YES 0.22 YES 0.21
eratosthenes_small MAYBE 1.27 MAYBE 1.23 MAYBE 1.52 MAYBE 0.84 MAYBE 1.28 MAYBE 1.49
poly1 MAYBE 0.64 MAYBE 1.23 MAYBE 3.16 MAYBE 0.24 MAYBE 1.25 MAYBE 2.90
13 YES 0.47 YES 0.42 YES 0.45 YES 0.45 YES 0.47 YES 0.43
abstractions YES 0.89 YES 0.92 YES 1.23 YES 0.93 YES 0.92 YES 0.91
eratosthenes MAYBE 1.98 MAYBE 2.21 MAYBE 3.25 MAYBE 1.19 MAYBE 2.41 MAYBE 3.00
Ex09 MAYBE 0.53 MAYBE 0.72 MAYBE 3.37 MAYBE 0.27 MAYBE 0.74 MAYBE 3.21
06 YES 0.19 YES 0.17 YES 0.19 YES 0.17 YES 0.20 YES 0.18
17 YES 1.46 YES 1.53 YES 1.69 YES 1.59 YES 1.57 YES 1.54
increase1 YES 0.41 YES 0.34 YES 0.51 YES 0.37 YES 0.45 YES 0.37
19 YES 1.74 YES 1.35 YES 1.98 YES 1.86 YES 1.37 YES 1.68
sum MAYBE 1.32 MAYBE 0.35 MAYBE 1.07 MAYBE 1.13 MAYBE 0.39 MAYBE 1.04
poly4 YES 2.06 YES 2.10 YES 2.67 YES 2.15 YES 2.12 YES 2.72
A06 MAYBE 0.35 MAYBE 0.45 MAYBE 3.11 MAYBE 0.26 MAYBE 0.50 MAYBE 2.78
sqrt_new MAYBE 1.41 MAYBE 0.51 MAYBE 1.15 MAYBE 1.29 MAYBE 0.58 MAYBE 1.09
sumto_no_if YES 0.34 YES 0.31 YES 0.44 YES 0.31 YES 0.33 YES 0.33
11 YES 0.45 YES 0.41 YES 0.65 YES 0.44 YES 0.43 YES 0.45
A10 MAYBE 0.99 MAYBE 2.31 MAYBE 3.78 MAYBE 0.55 MAYBE 2.38 MAYBE 3.52
A09 MAYBE 0.97 MAYBE 2.32 MAYBE 3.40 MAYBE 0.56 MAYBE 2.39 MAYBE 3.54
a.02 YES 0.90 YES 0.86 YES 0.92 YES 0.88 YES 0.89 YES 0.94
increase4 YES 0.33 YES 0.34 YES 0.39 YES 0.38 YES 0.33 YES 0.34
a.09 YES 0.40 YES 0.53 YES 0.47 YES 0.40 YES 0.43 YES 0.58
maxsort MAYBE 0.67 MAYBE 1.12 MAYBE 1.21 MAYBE 0.41 MAYBE 0.94 MAYBE 1.13
sumto YES 0.36 YES 0.42 YES 0.52 YES 0.35 YES 0.38 YES 0.42
22 YES 5.49 YES 0.70 YES 0.85 YES 5.63 YES 0.75 YES 0.90
04 YES 0.22 YES 0.19 YES 0.20 YES 0.17 YES 0.17 YES 0.21
21 YES 0.43 YES 0.41 YES 0.55 YES 0.42 YES 0.45 YES 0.53
sqrt_patrs YES 0.40 YES 0.35 YES 0.52 YES 0.48 YES 0.40 YES 0.46
random_full YES 0.54 YES 0.46 YES 0.56 YES 0.63 YES 0.56 YES 0.51
a.01 YES 4.20 YES 1.03 YES 1.32 YES 4.53 YES 1.19 YES 1.10
terminate YES 0.78 YES 1.00 YES 1.06 MAYBE 0.41 YES 1.01 YES 0.96
a.08 YES 0.33 YES 0.40 YES 0.49 YES 0.35 YES 0.33 YES 0.43
unsatCond2 YES 0.18 YES 0.18 YES 0.21 YES 0.20 YES 0.21 YES 0.21
A08 MAYBE 0.43 MAYBE 0.54 MAYBE 2.90 MAYBE 0.21 MAYBE 0.52 MAYBE 2.66
A01 MAYBE 1.30 MAYBE 0.36 MAYBE 0.97 MAYBE 1.13 MAYBE 0.37 MAYBE 0.99
extra2 MAYBE 0.27 MAYBE 0.33 MAYBE 0.83 MAYBE 0.21 MAYBE 0.36 MAYBE 0.80
18 YES 1.40 YES 0.98 YES 1.43 YES 1.43 YES 1.17 YES 1.33
mult YES 0.33 YES 0.34 YES 0.44 YES 0.33 YES 0.37 YES 0.40
practical2 MAYBE 16.93 YES 2.80 YES 14.24 MAYBE 13.79 YES 3.25 YES 13.02
f91 MAYBE 0.36 MAYBE 0.52 MAYBE 0.43 MAYBE 0.32 MAYBE 0.57 MAYBE 0.51
A16 YES 0.22 YES 0.24 YES 0.27 YES 0.26 YES 0.27 YES 0.24
c.03 YES 1.05 YES 0.91 YES 1.00 YES 1.03 YES 1.05 YES 1.02
03 YES 0.40 YES 0.38 YES 0.39 YES 0.38 YES 0.37 YES 0.38
countdown MAYBE 0.23 MAYBE 0.31 MAYBE 0.66 MAYBE 0.19 MAYBE 0.34 MAYBE 0.83
csharp3 YES 0.21 YES 0.18 YES 0.26 YES 0.19 YES 0.19 YES 0.33
div YES 0.43 YES 0.43 YES 0.44 YES 0.45 YES 0.47 YES 0.46
a.05 YES 0.34 YES 0.33 YES 0.31 YES 0.37 YES 0.36 YES 0.35
c.04 YES 0.61 YES 0.56 YES 0.53 YES 0.59 YES 0.58 YES 0.62
a.11 MAYBE 8.86 YES 1.60 YES 1.91 MAYBE 8.11 YES 1.53 YES 2.23
07 YES 0.16 YES 0.17 YES 0.17 YES 0.21 YES 0.19 YES 0.21
unsatCond1 YES 0.16 YES 0.16 YES 0.18 YES 0.17 YES 0.19 YES 0.31
random_no_wrap YES 0.31 YES 0.33 YES 0.33 YES 0.35 YES 0.37 YES 0.38
randomFullUpDown MAYBE 0.76 MAYBE 1.04 MAYBE 1.61 MAYBE 0.62 MAYBE 1.21 MAYBE 1.52
random YES 0.35 YES 0.34 YES 0.37 YES 0.35 YES 0.35 YES 0.37
round MAYBE 0.39 MAYBE 0.57 MAYBE 0.64 MAYBE 0.32 MAYBE 0.63 MAYBE 0.60
Ex04 MAYBE 0.57 MAYBE 0.84 MAYBE 3.08 MAYBE 0.28 MAYBE 0.85 MAYBE 3.07
09 YES 0.47 YES 0.42 YES 0.44 YES 0.50 YES 0.47 YES 0.55
choice MAYBE 0.91 MAYBE 1.43 MAYBE 1.87 MAYBE 0.61 MAYBE 1.70 MAYBE 1.77
20 YES 0.38 YES 0.37 YES 0.46 YES 0.37 YES 0.42 YES 0.55
complete2 MAYBE 0.33 MAYBE 0.46 MAYBE 0.50 MAYBE 0.25 MAYBE 0.45 MAYBE 0.53
a.10 YES 0.72 YES 0.68 YES 0.80 YES 0.71 YES 0.74 YES 0.70
powFast MAYBE 6.25 MAYBE 23.03 MAYBE 51.36 MAYBE 5.41 MAYBE 24.51 MAYBE 46.69
A11 MAYBE 0.27 MAYBE 0.36 MAYBE 0.92 MAYBE 0.24 MAYBE 0.36 MAYBE 0.91
quicksort TIMEOUT YES 1.18 YES 1.06 MAYBE 0.58 YES 1.09 YES 1.04
10 YES 0.60 YES 0.60 YES 0.62 YES 0.61 YES 0.65 YES 0.59
A14 MAYBE 2.44 MAYBE 12.22 MAYBE 17.20 MAYBE 2.16 MAYBE 11.53 MAYBE 16.14
countUpExp MAYBE 1.49 MAYBE 0.41 MAYBE 1.19 MAYBE 1.31 MAYBE 0.45 MAYBE 1.04
a.06 YES 0.37 YES 0.39 YES 0.38 YES 0.38 YES 0.44 YES 0.37
23 YES 5.32 YES 1.02 YES 1.00 YES 5.66 YES 0.90 YES 0.92
practical3 TIMEOUT TIMEOUT TIMEOUT MAYBE 44.71 TIMEOUT TIMEOUT
collatz MAYBE 1.10 MAYBE 3.43 MAYBE 4.69 MAYBE 0.92 MAYBE 3.34 MAYBE 4.31
increase3 YES 1.11 YES 1.17 YES 1.17 YES 1.15 YES 1.12 YES 1.03
complete1 YES 0.35 YES 0.41 YES 0.33 YES 0.34 YES 0.36 YES 0.32
05 YES 0.18 YES 0.20 YES 0.19 YES 0.17 YES 0.21 YES 0.17
csharp2 YES 0.19 YES 0.18 YES 0.21 YES 0.22 YES 0.25 YES 0.19
08 YES 0.36 YES 0.38 YES 0.44 YES 0.43 YES 0.44 YES 0.37
complete3 YES 2.33 YES 0.90 YES 0.94 YES 2.41 YES 0.88 YES 0.91
A03 MAYBE 1.38 MAYBE 0.38 MAYBE 1.05 MAYBE 1.14 MAYBE 0.36 MAYBE 1.04
24 YES 0.55 YES 0.62 YES 0.78 YES 0.65 YES 0.59 YES 0.72
countup MAYBE 0.23 MAYBE 0.33 MAYBE 0.63 MAYBE 0.20 MAYBE 0.35 MAYBE 0.48
incList YES 0.18 YES 0.20 YES 0.21 YES 0.20 YES 0.18 YES 0.21
countUpNo YES 0.16 YES 0.18 YES 0.18 YES 0.16 YES 0.19 YES 0.19
extra1 MAYBE 0.23 MAYBE 0.35 MAYBE 0.56 MAYBE 0.20 MAYBE 0.32 MAYBE 0.61
poly2 MAYBE 0.42 MAYBE 0.64 MAYBE 3.08 MAYBE 0.26 MAYBE 0.59 MAYBE 3.07
15 YES 0.76 YES 0.87 YES 0.80 YES 0.78 YES 0.84 YES 0.74
pow MAYBE 1.45 MAYBE 0.40 MAYBE 1.11 MAYBE 1.15 MAYBE 0.35 MAYBE 1.07
practical1 YES 2.30 YES 0.82 YES 0.96 YES 2.48 YES 0.80 YES 0.92
a.03 YES 48.31 MAYBE 14.27 YES 33.66 YES 50.81 MAYBE 14.00 YES 32.03
02 YES 0.36 YES 0.36 YES 0.36 YES 0.39 YES 0.35 YES 0.35
A12 MAYBE 0.28 MAYBE 0.48 MAYBE 0.95 MAYBE 0.21 MAYBE 0.46 MAYBE 0.87
log_RTA09 MAYBE 1.32 MAYBE 0.40 MAYBE 1.09 MAYBE 1.17 MAYBE 0.43 MAYBE 0.97
c.01 YES 3.62 YES 1.08 YES 1.18 YES 3.93 YES 1.11 YES 1.14
random_full_no_wrap YES 0.52 YES 0.61 YES 0.58 YES 0.56 YES 0.55 YES 0.56
increase2 YES 0.74 YES 0.76 YES 0.71 YES 0.73 YES 0.73 YES 0.73
c.05 YES 1.46 YES 1.60 YES 1.59 YES 1.64 YES 1.48 YES 1.49
16 YES 0.95 YES 1.00 YES 0.97 YES 1.00 YES 1.00 YES 0.91
A15 MAYBE 1.66 MAYBE 2.32 MAYBE 2.77 MAYBE 0.97 MAYBE 2.20 MAYBE 2.59
minsort YES 0.97 YES 0.98 YES 1.12 MAYBE 0.42 YES 0.83 YES 1.05
A02 MAYBE 0.24 MAYBE 0.36 MAYBE 0.86 MAYBE 0.19 MAYBE 0.33 MAYBE 0.85
a.04 YES 0.31 YES 0.35 YES 0.36 YES 0.34 YES 0.33 YES 0.36
gcd_minmax YES 0.89 YES 1.03 YES 0.94 YES 0.96 YES 0.96 YES 0.92
A07 MAYBE 3.75 MAYBE 24.68 MAYBE 24.17 MAYBE 3.11 MAYBE 24.00 MAYBE 21.72
complete4 YES 0.97 YES 0.76 YES 0.87 YES 0.95 YES 0.82 YES 0.81
divMinus MAYBE 1.46 MAYBE 0.42 MAYBE 1.12 MAYBE 1.14 MAYBE 0.45 MAYBE 0.97
A13 MAYBE 4.19 MAYBE 12.21 MAYBE 17.07 MAYBE 3.20 MAYBE 12.55 MAYBE 15.85
poly3 MAYBE 2.82 MAYBE 4.56 MAYBE 4.41 MAYBE 1.02 MAYBE 4.44 MAYBE 4.23
csharp1 YES 0.21 YES 0.23 YES 0.21 YES 0.26 YES 0.24 YES 0.21
thousand MAYBE 0.26 MAYBE 0.36 MAYBE 0.55 MAYBE 0.19 MAYBE 0.31 MAYBE 0.48
indirect MAYBE 2.35 MAYBE 5.54 MAYBE 10.45 MAYBE 2.20 MAYBE 5.42 MAYBE 9.86
A04 MAYBE 1.51 MAYBE 0.45 MAYBE 1.14 MAYBE 1.27 MAYBE 0.43 MAYBE 1.03
log_RTA08 YES 0.37 YES 0.40 YES 0.37 YES 0.40 YES 0.37 YES 0.40
Total YES 70 72 73 68 72 73
Total NO 0 0 0 0 0 0
Total MAYBE 45 44 43 49 44 43
Total TIMEOUT 2 1 1 0 1 1
Average Runtime 1.56 0.64 1.32 1.66 0.66 1.26