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 66 66 98 98 95 95 114 114
total time 34.1 3.3 49.1 7.9 56.9 7.4 66.5 10.8
average time 0.5 0.1 0.5 0.1 0.6 0.1 0.6 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 129 0 97 0 46 0 34 0
total time 63.5 0.0 39.7 0.0 16.7 0.0 14.5 0.0
average time 0.5 - 0.4 - 0.4 - 0.4 -
#timeout 0 0 0 0 54 0 47 0
total time 0.0 0.0 0.0 0.0 540.0 0.0 470.0 0.0
average time - - - - 10.0 - 10.0 -
#total 195 66 195 98 195 95 195 114
total time 97.6 3.3 88.8 7.9 613.6 7.4 551.0 10.8

Results

 noneCeTAtrsCeTAU'1CeTAU'2CeTA
D33/090.30.00.30.00.30.00.30.0
D33/300.3 0.3 10.0 10.0 
Endrullis/linear20.6 0.7 0.7 10.0 
HofWald/10.4 0.50.10.40.00.40.0
HofWald/20.3 0.40.00.30.00.30.0
HofWald/30.3 0.3 0.3 0.3 
HofWald/40.3 0.3 0.4 0.3 
HofWald/50.3 0.3 0.3 0.3 
HofWald/60.3 0.4 10.0 10.0 
HofWald/70.3 0.3 10.0 10.0 
SK90/4.080.30.00.30.00.40.00.30.0
SK90/4.400.3 0.3 10.0 10.0 
SK90/4.550.3 0.3 0.3 0.3 
SK90/4.560.30.00.30.00.30.00.30.0
SchneiderKamp/trs/kabasci060.5 0.4 10.0 0.70.3
SchneiderKamp/trs/thiemann350.8 0.70.21.00.21.00.3
SchneiderKamp/trs/thiemann390.6 0.70.10.90.20.80.3
TRCSR/Ex9_Luc04_L0.3 0.3 10.0 10.0 
Thiemann/mapHard0.5 0.4 10.0 10.0 
Waldmann/jwno20.3 0.3 0.3 0.3 
Waldmann/jwno50.3 0.3 0.3 0.3 
Waldmann/jwno80.3 0.3 0.3 0.3 
Waldmann/jwno90.3 0.3 0.3 0.3 
Waldmann/jwteparla10.3 0.4 0.3 0.4 
Waldmann/jwteparla20.3 0.3 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/jw010.3 0.3 0.3 10.0 
Zantema/jw020.3 0.3 0.3 0.30.0
Zantema/jw030.3 0.3 0.3 0.3 
Zantema/jw040.3 0.3 10.0 10.0 
Zantema/jw050.3 0.3 10.0 10.0 
Zantema/jw060.3 0.30.010.0 0.30.0
Zantema/jw070.4 0.3 0.3 10.0 
Zantema/jw080.3 0.3 0.3 0.30.0
Zantema/jw090.3 0.4 0.30.00.30.0
Zantema/jw110.30.00.30.00.30.00.30.0
Zantema/jw120.30.00.30.00.30.00.30.0
Zantema/jw130.3 0.30.00.30.00.30.0
Zantema/jw140.30.00.30.00.30.00.30.0
Zantema/jw150.3 0.3 0.3 0.3 
Zantema/jw160.3 0.3 0.3 10.0 
Zantema/jw170.3 0.3 0.3 0.30.0
Zantema/jw180.3 0.3 0.3 0.3 
Zantema/jw190.3 0.3 0.3 0.3 
Zantema/jw200.3 0.3 0.3 0.3 
Zantema/jw210.3 0.3 0.3 10.0 
Zantema/jw220.3 0.3 0.3 0.30.0
Zantema/jw230.3 0.4 0.3 0.4 
Zantema/jw240.3 0.3 0.3 0.3 
Zantema/jw250.3 0.3 10.0 10.0 
Zantema/jw260.3 0.3 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/jw270.3 0.3 10.0 10.0 
Zantema/jw280.3 0.30.010.0 0.40.0
Zantema/jw290.3 0.30.00.40.00.30.0
Zantema/jw300.3 0.3 10.0 10.0 
Zantema/jw310.3 0.30.010.0 0.30.0
Zantema/jw320.3 0.4 10.0 10.0 
Zantema/jw330.3 0.30.010.0 0.40.0
Zantema/jw340.4 0.4 10.0 10.0 
Zantema/jw350.30.00.30.00.30.00.30.0
Zantema/jw360.3 0.3 0.3 10.0 
Zantema/jw370.30.00.4 0.30.00.30.0
Zantema/jw380.30.00.4 0.30.00.30.0
Zantema/jw390.3 0.3 0.3 0.30.0
Zantema/jw400.3 0.3 0.3 0.30.0
Zantema/jw410.3 0.4 10.0 10.0 
Zantema/jw420.3 0.30.010.0 0.30.0
Zantema/jw430.30.00.30.00.30.00.30.0
Zantema/jw440.30.00.40.10.30.00.30.0
Zantema/jw470.30.00.30.00.30.00.30.0
Zantema/jw500.30.00.30.00.30.00.30.0
Zantema/z010.3 0.4 10.0 10.0 
Zantema/z020.3 0.3 0.3 0.3 
Zantema/z030.3 0.4 10.0 10.0 
Zantema/z040.30.00.30.00.30.00.30.0
Zantema/z050.3 0.3 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
Zantema/z060.40.00.40.00.40.00.40.0
Zantema/z070.3 0.30.00.40.00.40.0
Zantema/z080.3 0.4 10.0 0.40.1
Zantema/z110.3 0.4 10.0 0.50.2
Zantema/z190.4 0.4 0.4 0.4 
Zantema/z200.5 0.5 0.5 0.5 
Zantema/z210.3 0.4 0.4 0.3 
Zantema/z220.5 0.5 0.4 0.5 
Zantema/z250.4 0.30.010.0 0.50.1
Zantema/z300.6 0.4 10.0 10.0 
currying/AG01/#3.101.7 1.20.31.80.31.90.4
currying/AG01/#3.131.5 1.00.21.90.31.70.4
currying/AG01/#3.160.60.10.50.10.70.10.60.1
currying/AG01/#3.180.8 0.60.10.80.10.80.2
currying/AG01/#3.20.6 0.60.10.70.10.70.1
currying/AG01/#3.220.9 0.60.10.90.10.80.2
currying/AG01/#3.250.4 0.40.10.50.10.50.1
currying/AG01/#3.270.40.10.40.10.40.10.50.1
currying/AG01/#3.320.50.10.40.10.50.10.50.1
currying/AG01/#3.360.7 0.70.20.70.10.80.2
currying/AG01/#3.380.6 0.50.10.80.10.70.2
currying/AG01/#3.401.2 0.8 10.0 10.0 
currying/AG01/#3.450.50.10.50.10.50.10.50.1
currying/AG01/#3.480.80.10.60.10.80.10.80.1
currying/AG01/#3.520.50.10.40.10.50.10.60.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
currying/AG01/#3.551.5 1.40.41.60.41.80.5
currying/AG01/#3.571.2 0.70.21.30.31.30.4
currying/AG01/#3.60.9 0.90.20.90.21.00.2
currying/AG01/#3.80.8 0.70.11.00.20.90.3
currying/D33/010.60.10.50.10.60.10.60.1
currying/D33/020.60.10.40.10.50.10.60.1
currying/D33/060.50.10.40.10.50.10.40.1
currying/D33/080.70.10.50.10.60.10.60.1
currying/D33/112.20.20.90.22.30.22.20.2
currying/D33/120.80.10.50.10.70.10.80.1
currying/D33/130.7 0.5 10.0 0.8 
currying/D33/170.70.10.60.10.70.10.70.1
currying/D33/180.40.10.40.10.50.10.50.1
currying/D33/210.7 0.7 10.0 0.80.3
currying/D33/290.5 0.40.10.50.10.60.1
currying/D33/300.8 0.5 10.0 10.0 
currying/D33/310.6 0.7 0.7 0.70.1
currying/D33/330.9 0.6 10.0 0.9 
currying/Ste92/hydra0.70.10.50.10.70.10.70.1
currying/Ste92/minsort1.1 0.9 10.0 10.0 
currying/Ste92/motivation0.50.10.40.10.40.10.50.1
currying/Ste92/perfect1.0 0.60.11.10.21.10.2
currying/Ste92/perfect21.1 1.00.21.30.21.30.3
higher-order/AProVE_HO/ReverseLastInit0.40.00.40.10.40.00.40.0
higher-order/AProVE_HO/TakeDropWhile0.40.00.40.10.40.00.40.0
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/AProVE_HO/TypeEx10.3 0.3 10.0 10.0 
higher-order/AProVE_HO/TypeEx30.4 0.4 0.4 10.0 
higher-order/AProVE_HO/mapDivMinus0.4 0.40.10.40.10.50.1
higher-order/AProVE_HO/mapDivMinusHard0.5 0.4 10.0 0.70.3
higher-order/AProVE_HO/nonTermF0.4 0.3 10.0 10.0 
higher-order/AProVE_HO/termMonTypes0.3 0.5 10.0 0.5 
higher-order/AotoYam/0010.4 0.4 10.0 0.5 
higher-order/AotoYam/0020.50.00.50.10.50.10.40.1
higher-order/AotoYam/0030.4 0.4 10.0 0.5 
higher-order/AotoYam/0040.40.00.40.00.50.00.50.0
higher-order/AotoYam/0050.40.00.40.00.40.00.40.0
higher-order/AotoYam/0060.40.00.40.10.40.10.40.0
higher-order/AotoYam/0070.40.10.50.00.50.10.50.1
higher-order/AotoYam/0090.50.10.50.10.60.10.50.1
higher-order/AotoYam/0100.6 0.60.10.70.11.10.3
higher-order/AotoYam/0110.5 0.60.10.60.11.10.3
higher-order/AotoYam/0120.50.10.50.10.50.10.60.1
higher-order/AotoYam/0130.60.10.50.10.50.00.50.1
higher-order/AotoYam/0140.50.10.50.10.60.10.50.1
higher-order/AotoYam/0150.40.00.50.00.50.00.50.1
higher-order/AotoYam/0160.90.10.60.10.70.10.90.1
higher-order/AotoYam/0170.50.00.40.00.40.00.40.0
higher-order/AotoYam/0190.50.00.40.10.50.00.40.0
higher-order/AotoYam/0200.70.00.50.10.50.00.60.0
higher-order/AotoYam/0210.80.10.60.10.70.10.80.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/AotoYam/0220.60.10.50.00.50.10.50.0
higher-order/AotoYam/0230.40.10.40.00.30.00.40.0
higher-order/AotoYam/0240.40.00.50.00.40.00.40.0
higher-order/AotoYam/0250.50.00.50.00.30.00.40.1
higher-order/AotoYam/0260.6 0.50.10.50.10.60.1
higher-order/AotoYam/0270.60.00.40.10.50.00.50.0
higher-order/AotoYam/0280.50.10.50.00.40.00.50.0
higher-order/AotoYam/Ex1SimplyTyped0.40.10.60.10.50.00.50.0
higher-order/AotoYam/Ex5TermProof0.5 0.5 10.0 10.0 
higher-order/Bird/BTreeMember0.60.10.50.10.50.10.50.1
higher-order/Bird/Ex2_6_1Composition0.40.00.40.00.40.10.40.0
higher-order/Bird/Ex2_8_1ConstSubstFix0.4 0.6 10.0 10.0 
higher-order/Bird/Hamming1.1 0.8 10.0 1.1 
higher-order/Bird/TreeFlatten0.50.10.50.10.40.10.50.1
higher-order/Bird/TreeHeight0.50.10.50.10.50.10.60.1
higher-order/Bird/TreeLevels0.70.10.60.10.70.10.80.1
higher-order/Bird/TreeMap0.50.00.40.00.50.10.40.1
higher-order/Bird/TreeSize0.60.00.50.20.50.00.40.0
higher-order/Kusakari/Ex6_110.40.00.30.10.40.00.40.0
higher-order/Kusakari/Ex7_90.6 0.60.20.70.10.80.2
higher-order/Lifantsev/Ex10Functional0.9 0.7 10.0 10.0 
higher-order/Lifantsev/Ex2PrimRec0.4 0.5 0.5 10.0 
higher-order/Lifantsev/Ex3Lists0.90.10.70.10.80.10.80.1
higher-order/Lifantsev/Ex4MapList0.50.00.50.00.50.00.40.0
higher-order/Lifantsev/Ex5Sorting1.0 0.8 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/Lifantsev/Ex6Folding0.6 0.4 10.0 10.0 
higher-order/Lifantsev/Ex7OrdinalRec0.6 0.5 10.0 10.0 
higher-order/Lifantsev/Ex8Polymorphic0.7 0.60.10.70.10.70.1
higher-order/Lifantsev/Ex9Maps0.7 0.5 10.0 10.0 
higher-order/ToyamaRTA04/Ex5Folding0.5 0.5 10.0 10.0 
higher-order/ToyamaRTA04/Ex6Recursor0.4 0.4 10.0 10.0 
higher-order/ToyamaRTA04/Ex7Sorting0.9 0.6 10.0 10.0 
nontermin/Rubio-inn/bn1110.3 0.4 0.4 0.3 
secret05/aprove10.5 0.5 10.0 10.0 
secret05/matchbox10.4 0.4 0.3 10.0 
secret05/matchbox20.4 0.3 0.4 0.40.0
secret05/teparla10.4 0.4 0.4 0.5 
secret05/teparla20.5 0.5 0.4 0.5 
secret05/teparla30.4 0.5 0.4 0.5 
secret05/ttt20.4 0.4 10.0 10.0 
secret06/tpa010.4 0.3 0.4 0.4 
secret06/tpa020.4 0.4 0.5 0.4 
secret06/tpa030.4 0.4 0.3 0.4 
secret07/TTT2/70.6 0.4 0.5 10.0 
various/210.90.10.90.10.90.10.90.1