Certified Termination Analysis 
Overview Developers Input Format Related Work Versions Experiments
Content
introduction subterm criterion matrix (dimension 1) matrix (dimension 2) direct processor

Statistics

 noneCeTAtrsCeTAU'1CeTAU'2CeTA
#yes 108 108 137 137 133 133 138 138
total time 71.8 5.4 101.3 14.0 132.8 10.0 160.4 12.6
average time 0.7 0.0 0.7 0.1 1.0 0.1 1.2 0.1
#no 0 0 0 0 0 0 0 0
total time 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
average time - - - - - - - -
#maybe 84 0 57 0 25 0 25 0
total time 134.4 0.0 49.0 0.0 23.1 0.0 24.2 0.0
average time 1.6 - 0.9 - 0.9 - 1.0 -
#timeout 3 0 1 0 37 0 32 0
total time 30.0 0.0 10.0 0.0 370.0 0.0 320.0 0.0
average time 10.0 - 10.0 - 10.0 - 10.0 -
#total 195 108 195 137 195 133 195 138
total time 236.3 5.4 160.3 14.0 525.8 10.0 504.6 12.6

Results

 noneCeTAtrsCeTAU'1CeTAU'2CeTA
D33/090.50.10.50.00.50.00.40.1
D33/300.7 0.7 10.0 10.0 
Endrullis/linear24.0 4.2 4.6 9.50.2
HofWald/10.50.10.90.10.50.00.50.0
HofWald/20.50.00.50.00.50.00.60.0
HofWald/30.6 0.5 0.5 0.5 
HofWald/40.50.00.50.00.60.00.50.0
HofWald/50.40.00.50.00.40.10.40.0
HofWald/60.5 0.5 10.0 10.0 
HofWald/70.6 0.7 10.0 10.0 
SK90/4.080.50.00.40.00.40.00.40.0
SK90/4.400.4 0.5 10.0 10.0 
SK90/4.550.3 0.4 0.4 0.4 
SK90/4.560.30.00.40.00.40.00.40.0
SchneiderKamp/trs/kabasci061.8 0.80.12.00.22.00.3
SchneiderKamp/trs/thiemann352.9 2.90.35.00.33.60.3
SchneiderKamp/trs/thiemann392.0 1.60.24.10.34.30.4
TRCSR/Ex9_Luc04_L0.4 0.4 10.0 10.0 
Thiemann/mapHard2.0 0.9 10.0 10.0 
Waldmann/jwno20.5 0.6 0.5 0.5 
Waldmann/jwno50.5 0.5 0.5 0.5 
Waldmann/jwno80.6 0.7 0.6 0.6 
Waldmann/jwno90.7 0.6 0.6 0.6 
Waldmann/jwteparla10.8 0.8 0.8 0.8 
Waldmann/jwteparla20.7 0.6 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/jw010.40.00.40.10.50.00.50.1
Zantema/jw020.40.00.50.00.40.00.50.0
Zantema/jw030.50.00.50.00.50.00.50.0
Zantema/jw040.40.00.40.00.50.00.50.0
Zantema/jw050.50.00.70.10.50.00.40.0
Zantema/jw060.50.00.50.00.40.00.60.1
Zantema/jw070.60.00.70.00.50.10.40.0
Zantema/jw080.40.00.50.00.40.00.40.0
Zantema/jw090.50.00.8 0.50.10.50.0
Zantema/jw110.40.00.50.00.40.10.40.1
Zantema/jw120.40.00.50.00.40.00.40.0
Zantema/jw130.50.00.70.10.60.00.70.0
Zantema/jw140.40.00.40.00.40.00.40.0
Zantema/jw150.50.10.50.00.40.00.50.0
Zantema/jw160.50.00.50.00.50.00.60.0
Zantema/jw170.60.00.60.00.50.00.50.0
Zantema/jw180.50.00.50.10.50.00.50.1
Zantema/jw190.70.00.80.00.70.00.80.0
Zantema/jw200.70.00.50.00.60.00.60.0
Zantema/jw210.50.00.50.00.50.00.50.0
Zantema/jw220.50.00.50.00.40.00.40.1
Zantema/jw230.50.00.50.00.50.10.50.0
Zantema/jw240.50.10.50.00.60.00.50.0
Zantema/jw250.50.00.50.00.50.10.50.0
Zantema/jw260.40.00.40.00.50.10.50.0
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/jw270.50.00.70.10.50.00.50.0
Zantema/jw280.50.10.40.00.50.10.50.0
Zantema/jw290.50.00.60.00.60.00.50.1
Zantema/jw300.60.10.60.10.60.00.70.0
Zantema/jw310.40.00.40.00.50.00.50.0
Zantema/jw320.50.00.70.10.50.00.50.1
Zantema/jw330.60.10.50.00.60.10.60.0
Zantema/jw340.50.00.70.00.50.00.50.0
Zantema/jw350.40.00.40.00.40.00.40.0
Zantema/jw360.60.00.50.00.50.00.60.0
Zantema/jw370.40.00.80.10.40.00.60.0
Zantema/jw380.50.00.70.10.40.10.40.0
Zantema/jw390.50.00.50.00.50.00.50.0
Zantema/jw400.50.00.50.00.50.00.50.0
Zantema/jw410.50.10.90.10.60.10.50.0
Zantema/jw420.40.00.70.10.60.00.60.1
Zantema/jw430.40.00.50.00.50.00.50.0
Zantema/jw440.50.00.70.10.60.00.50.0
Zantema/jw470.60.00.60.00.60.00.60.0
Zantema/jw500.50.00.50.00.40.00.40.0
Zantema/z012.1 1.4 10.0 10.0 
Zantema/z020.6 0.5 0.5 0.5 
Zantema/z032.6 1.10.110.0 3.20.1
Zantema/z040.30.00.40.00.40.00.40.0
Zantema/z050.6 0.6 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/z060.70.00.50.10.70.00.60.0
Zantema/z070.5 0.40.00.60.10.60.1
Zantema/z080.70.00.60.10.70.00.70.1
Zantema/z110.6 0.50.10.50.10.60.1
Zantema/z190.9 1.0 0.8 1.0 
Zantema/z201.7 1.6 1.6 1.7 
Zantema/z211.0 0.9 0.9 0.9 
Zantema/z222.4 2.5 2.4 2.0 
Zantema/z250.6 0.90.110.0 0.60.1
Zantema/z3010.0 10.0 10.0 10.0 
currying/AG01/#3.107.8 3.40.510.0 10.0 
currying/AG01/#3.1310.0 3.80.510.0 10.0 
currying/AG01/#3.162.10.11.30.21.90.12.00.1
currying/AG01/#3.182.7 1.60.22.90.22.80.3
currying/AG01/#3.22.5 1.50.22.50.22.70.2
currying/AG01/#3.223.9 1.90.34.30.34.10.3
currying/AG01/#3.250.9 0.70.20.90.21.10.1
currying/AG01/#3.270.90.10.70.10.70.10.80.1
currying/AG01/#3.320.70.10.70.10.80.10.70.1
currying/AG01/#3.362.1 1.60.32.20.22.60.3
currying/AG01/#3.381.5 1.00.21.40.21.40.2
currying/AG01/#3.4010.0 4.7 10.0 10.0 
currying/AG01/#3.451.00.10.80.21.20.11.30.1
currying/AG01/#3.483.80.11.50.22.60.23.50.1
currying/AG01/#3.520.90.10.80.11.00.11.30.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
currying/AG01/#3.559.3 2.80.510.0 9.80.6
currying/AG01/#3.575.0 2.00.35.50.35.40.4
currying/AG01/#3.62.4 1.10.22.50.22.80.3
currying/AG01/#3.82.6 1.70.22.90.23.00.3
currying/D33/011.60.11.00.21.60.11.60.1
currying/D33/021.30.10.80.21.40.11.20.1
currying/D33/060.60.10.50.10.60.10.60.1
currying/D33/080.80.10.60.20.90.10.80.1
currying/D33/112.20.21.00.32.20.22.20.2
currying/D33/121.70.11.60.41.90.11.70.1
currying/D33/131.4 0.7 10.0 1.5 
currying/D33/171.80.11.40.31.90.11.80.1
currying/D33/180.70.10.50.10.60.10.60.1
currying/D33/211.7 0.80.21.70.11.70.2
currying/D33/291.0 0.60.11.10.11.10.1
currying/D33/303.6 0.8 10.0 10.0 
currying/D33/311.2 1.2 1.3 2.00.1
currying/D33/333.9 1.0 10.0 6.2 
currying/Ste92/hydra2.70.11.00.12.50.12.50.1
currying/Ste92/minsort4.8 1.8 10.0 10.0 
currying/Ste92/motivation0.90.10.70.10.80.10.80.1
currying/Ste92/perfect6.3 2.00.36.60.27.10.3
currying/Ste92/perfect27.8 1.70.37.30.37.90.3
higher-order/AProVE_HO/ReverseLastInit0.70.00.50.10.70.00.70.0
higher-order/AProVE_HO/TakeDropWhile0.50.10.40.10.50.10.50.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/AProVE_HO/TypeEx10.60.00.50.10.70.00.60.0
higher-order/AProVE_HO/TypeEx30.8 0.8 0.8 10.0 
higher-order/AProVE_HO/mapDivMinus0.7 0.50.10.80.10.70.1
higher-order/AProVE_HO/mapDivMinusHard1.4 0.50.11.60.11.50.2
higher-order/AProVE_HO/nonTermF0.7 0.5 10.0 10.0 
higher-order/AProVE_HO/termMonTypes0.4 0.7 10.0 0.6 
higher-order/AotoYam/0010.4 0.5 10.0 0.5 
higher-order/AotoYam/0020.50.10.40.10.60.10.50.1
higher-order/AotoYam/0030.7 0.5 10.0 0.9 
higher-order/AotoYam/0040.40.00.40.00.40.00.40.0
higher-order/AotoYam/0050.50.00.50.10.50.00.60.0
higher-order/AotoYam/0060.50.00.40.00.50.00.40.0
higher-order/AotoYam/0070.50.00.30.00.50.00.40.0
higher-order/AotoYam/0090.40.00.40.10.40.00.40.0
higher-order/AotoYam/0100.8 0.60.11.30.22.30.6
higher-order/AotoYam/0110.6 0.80.21.00.21.10.3
higher-order/AotoYam/0120.40.10.40.10.50.10.50.1
higher-order/AotoYam/0130.50.10.40.10.50.10.50.1
higher-order/AotoYam/0140.50.10.40.10.50.10.50.1
higher-order/AotoYam/0150.40.00.40.00.40.00.40.0
higher-order/AotoYam/0161.50.11.10.21.30.11.50.1
higher-order/AotoYam/0170.40.00.40.10.30.00.40.0
higher-order/AotoYam/0190.30.00.40.00.40.00.40.0
higher-order/AotoYam/0200.80.00.40.10.80.10.70.1
higher-order/AotoYam/0210.80.10.50.10.80.10.70.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/AotoYam/0220.50.00.50.10.50.00.40.0
higher-order/AotoYam/0230.40.00.30.00.40.00.40.0
higher-order/AotoYam/0240.40.00.30.00.40.00.40.0
higher-order/AotoYam/0250.30.00.30.00.40.00.30.0
higher-order/AotoYam/0260.5 0.40.10.80.10.80.1
higher-order/AotoYam/0270.50.00.40.10.50.00.50.0
higher-order/AotoYam/0280.40.00.40.00.40.00.40.0
higher-order/AotoYam/Ex1SimplyTyped0.50.10.30.00.50.10.50.1
higher-order/AotoYam/Ex5TermProof0.9 0.5 10.0 10.0 
higher-order/Bird/BTreeMember0.50.10.40.10.50.10.60.1
higher-order/Bird/Ex2_6_1Composition0.40.00.40.10.30.00.40.0
higher-order/Bird/Ex2_8_1ConstSubstFix0.5 0.4 10.0 10.0 
higher-order/Bird/Hamming1.1 0.7 10.0 1.2 
higher-order/Bird/TreeFlatten0.60.10.40.10.60.10.50.1
higher-order/Bird/TreeHeight0.60.10.40.10.60.10.60.1
higher-order/Bird/TreeLevels1.10.10.60.11.00.11.00.1
higher-order/Bird/TreeMap0.60.10.40.10.60.10.50.1
higher-order/Bird/TreeSize0.50.10.40.10.50.10.50.1
higher-order/Kusakari/Ex6_110.40.00.40.00.40.00.40.0
higher-order/Kusakari/Ex7_90.7 0.50.10.80.10.80.2
higher-order/Lifantsev/Ex10Functional1.4 0.8 10.0 10.0 
higher-order/Lifantsev/Ex2PrimRec0.5 0.5 0.5 10.0 
higher-order/Lifantsev/Ex3Lists1.40.10.60.11.40.11.30.1
higher-order/Lifantsev/Ex4MapList0.40.00.30.00.40.00.40.0
higher-order/Lifantsev/Ex5Sorting1.9 0.8 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/Lifantsev/Ex6Folding0.8 0.4 10.0 10.0 
higher-order/Lifantsev/Ex7OrdinalRec0.9 0.6 10.0 10.0 
higher-order/Lifantsev/Ex8Polymorphic0.7 0.60.10.90.11.00.2
higher-order/Lifantsev/Ex9Maps1.3 0.7 10.0 10.0 
higher-order/ToyamaRTA04/Ex5Folding0.8 0.5 10.0 10.0 
higher-order/ToyamaRTA04/Ex6Recursor0.6 0.4 10.0 10.0 
higher-order/ToyamaRTA04/Ex7Sorting1.7 0.8 10.0 10.0 
nontermin/Rubio-inn/bn1110.3 0.3 0.3 0.3 
secret05/aprove11.7 0.8 10.0 10.0 
secret05/matchbox10.3 0.3 0.3 10.0 
secret05/matchbox20.30.00.30.00.30.00.30.0
secret05/teparla10.5 0.5 0.5 0.6 
secret05/teparla20.7 0.7 0.7 0.8 
secret05/teparla30.6 0.6 0.7 0.6 
secret05/ttt20.3 0.3 10.0 10.0 
secret06/tpa010.3 0.3 0.4 0.4 
secret06/tpa020.3 0.3 0.3 0.4 
secret06/tpa030.4 0.3 0.3 0.3 
secret07/TTT2/72.0 2.4 2.3 10.0 
various/211.20.11.20.11.20.11.10.1