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 41 41 53 53 41 41 66 66
total time 15.3 1.4 19.0 2.5 15.5 1.4 27.2 4.6
average time 0.4 0.0 0.4 0.0 0.4 0.0 0.4 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 154 0 142 0 48 0 51 0
total time 57.2 0.0 49.8 0.0 14.6 0.0 19.4 0.0
average time 0.4 - 0.4 - 0.3 - 0.4 -
#timeout 0 0 0 0 106 0 78 0
total time 0.0 0.0 0.0 0.0 1060.0 0.0 780.0 0.0
average time - - - - 10.0 - 10.0 -
#total 195 41 195 53 195 41 195 66
total time 72.5 1.4 68.8 2.5 1090.1 1.4 826.6 4.6

Results

 noneCeTAtrsCeTAU'1CeTAU'2CeTA
D33/090.30.00.40.00.30.00.30.0
D33/300.3 0.3 10.0 10.0 
Endrullis/linear20.4 0.4 0.3 10.0 
HofWald/10.3 0.3 10.0 10.0 
HofWald/20.3 0.3 10.0 10.0 
HofWald/30.3 0.3 0.3 0.3 
HofWald/40.3 0.3 0.3 0.3 
HofWald/50.3 0.3 0.3 0.3 
HofWald/60.3 0.3 10.0 10.0 
HofWald/70.3 0.3 10.0 10.0 
SK90/4.080.30.00.30.00.30.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.40.00.30.00.30.0
SchneiderKamp/trs/kabasci060.4 0.4 10.0 10.0 
SchneiderKamp/trs/thiemann350.5 0.4 10.0 10.0 
SchneiderKamp/trs/thiemann390.4 0.5 10.0 10.0 
TRCSR/Ex9_Luc04_L0.3 0.3 10.0 10.0 
Thiemann/mapHard0.4 0.4 10.0 10.0 
Waldmann/jwno20.3 0.3 0.3 0.3 
Waldmann/jwno50.3 0.4 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.3 0.3 0.3 
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.3 
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.3 10.0 0.3 
Zantema/jw070.3 0.3 0.3 10.0 
Zantema/jw080.3 0.3 0.3 0.3 
Zantema/jw090.3 0.3 10.0 10.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.3 10.0 10.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.3 
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.3 
Zantema/jw230.3 0.3 0.3 0.3 
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.3 10.0 0.3 
Zantema/jw290.3 0.3 10.0 10.0 
Zantema/jw300.3 0.3 10.0 10.0 
Zantema/jw310.3 0.3 10.0 10.0 
Zantema/jw320.3 0.3 10.0 10.0 
Zantema/jw330.3 0.3 10.0 0.3 
Zantema/jw340.3 0.3 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.3 0.30.00.30.0
Zantema/jw380.30.00.4 0.30.00.30.0
Zantema/jw390.3 0.4 0.3 0.3 
Zantema/jw400.3 0.3 0.3 0.3 
Zantema/jw410.3 0.3 10.0 10.0 
Zantema/jw420.3 0.3 10.0 0.3 
Zantema/jw430.3 0.3 0.3 0.3 
Zantema/jw440.30.00.3 0.30.00.30.0
Zantema/jw470.30.00.30.00.30.00.30.0
Zantema/jw500.3 0.3 10.0 10.0 
Zantema/z010.3 0.3 10.0 10.0 
Zantema/z020.3 0.3 0.3 0.3 
Zantema/z030.3 0.3 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.3 0.3 10.0 10.0 
Zantema/z070.3 0.3 10.0 10.0 
Zantema/z080.3 0.3 10.0 10.0 
Zantema/z110.3 0.3 10.0 0.60.4
Zantema/z190.3 0.3 0.3 0.3 
Zantema/z200.3 0.3 0.3 0.3 
Zantema/z210.3 0.3 0.3 0.3 
Zantema/z220.3 0.3 0.3 0.3 
Zantema/z250.3 0.3 10.0 10.0 
Zantema/z300.4 0.4 10.0 10.0 
currying/AG01/#3.100.9 0.8 10.0 10.0 
currying/AG01/#3.130.8 0.7 10.0 10.0 
currying/AG01/#3.160.5 0.40.110.0 0.50.1
currying/AG01/#3.180.6 0.5 10.0 0.80.3
currying/AG01/#3.20.4 0.4 10.0 10.0 
currying/AG01/#3.220.5 0.4 10.0 0.6 
currying/AG01/#3.250.4 0.4 10.0 10.0 
currying/AG01/#3.270.40.10.40.10.40.10.40.0
currying/AG01/#3.320.40.00.40.10.40.00.40.0
currying/AG01/#3.360.5 0.5 10.0 10.0 
currying/AG01/#3.380.5 0.5 10.0 0.8 
currying/AG01/#3.400.6 0.5 10.0 10.0 
currying/AG01/#3.450.4 0.5 10.0 0.60.3
currying/AG01/#3.480.50.10.50.10.50.10.50.1
currying/AG01/#3.520.40.10.40.10.50.10.40.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
currying/AG01/#3.551.0 0.8 10.0 10.0 
currying/AG01/#3.570.7 0.5 10.0 10.0 
currying/AG01/#3.60.6 0.6 10.0 10.0 
currying/AG01/#3.80.6 0.5 10.0 10.0 
currying/D33/010.40.10.40.10.40.10.40.1
currying/D33/020.40.00.40.10.50.00.40.1
currying/D33/060.40.10.40.10.40.10.40.1
currying/D33/080.50.10.50.10.50.10.60.1
currying/D33/111.70.20.60.11.70.21.90.2
currying/D33/120.6 0.5 10.0 0.7 
currying/D33/130.7 0.5 10.0 0.7 
currying/D33/170.5 0.50.110.0 0.50.1
currying/D33/180.50.10.40.10.40.10.50.1
currying/D33/210.5 0.5 10.0 10.0 
currying/D33/290.5 0.40.110.0 0.50.1
currying/D33/300.5 0.4 10.0 10.0 
currying/D33/310.5 0.5 0.5 0.50.1
currying/D33/330.6 0.5 10.0 0.8 
currying/Ste92/hydra0.4 0.50.110.0 0.50.1
currying/Ste92/minsort0.7 0.6 10.0 10.0 
currying/Ste92/motivation0.4 0.4 10.0 10.0 
currying/Ste92/perfect0.7 0.50.110.0 0.70.2
currying/Ste92/perfect20.9 0.6 10.0 1.3 
higher-order/AProVE_HO/ReverseLastInit0.3 0.3 10.0 0.30.1
higher-order/AProVE_HO/TakeDropWhile0.40.00.30.00.40.00.30.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.4 10.0 0.50.2
higher-order/AProVE_HO/mapDivMinusHard0.4 0.3 10.0 10.0 
higher-order/AProVE_HO/nonTermF0.3 0.4 10.0 10.0 
higher-order/AProVE_HO/termMonTypes0.3 0.3 10.0 0.3 
higher-order/AotoYam/0010.3 0.3 10.0 0.3 
higher-order/AotoYam/0020.30.00.30.00.30.00.30.0
higher-order/AotoYam/0030.4 0.3 10.0 0.4 
higher-order/AotoYam/0040.3 0.30.010.0 0.30.0
higher-order/AotoYam/0050.3 0.3 10.0 10.0 
higher-order/AotoYam/0060.30.00.30.00.40.00.30.0
higher-order/AotoYam/0070.3 0.30.010.0 0.40.1
higher-order/AotoYam/0090.40.00.40.10.30.00.40.0
higher-order/AotoYam/0100.4 0.4 10.0 10.0 
higher-order/AotoYam/0110.3 0.3 10.0 10.0 
higher-order/AotoYam/0120.40.00.30.10.40.00.40.0
higher-order/AotoYam/0130.3 0.30.010.0 0.40.1
higher-order/AotoYam/0140.3 0.40.010.0 0.40.1
higher-order/AotoYam/0150.30.00.30.00.30.00.30.0
higher-order/AotoYam/0160.30.00.40.10.30.00.40.0
higher-order/AotoYam/0170.3 0.3 10.0 10.0 
higher-order/AotoYam/0190.40.00.3 0.30.00.30.0
higher-order/AotoYam/0200.4 0.3 10.0 0.40.1
higher-order/AotoYam/0210.4 0.40.110.0 0.50.1
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/AotoYam/0220.30.00.30.00.30.00.30.0
higher-order/AotoYam/0230.3 0.30.010.0 0.30.0
higher-order/AotoYam/0240.30.00.30.00.40.00.30.0
higher-order/AotoYam/0250.30.00.30.00.30.00.30.0
higher-order/AotoYam/0260.30.00.3 0.30.00.30.0
higher-order/AotoYam/0270.3 0.40.010.0 0.30.1
higher-order/AotoYam/0280.30.00.30.00.30.00.30.0
higher-order/AotoYam/Ex1SimplyTyped0.3 0.30.010.0 0.40.1
higher-order/AotoYam/Ex5TermProof0.4 0.3 10.0 10.0 
higher-order/Bird/BTreeMember0.40.00.30.00.40.00.40.0
higher-order/Bird/Ex2_6_1Composition0.30.00.3 0.30.00.30.0
higher-order/Bird/Ex2_8_1ConstSubstFix0.3 0.3 10.0 10.0 
higher-order/Bird/Hamming0.8 0.7 10.0 1.1 
higher-order/Bird/TreeFlatten0.4 0.30.110.0 0.40.1
higher-order/Bird/TreeHeight0.40.00.40.10.40.00.40.0
higher-order/Bird/TreeLevels0.4 0.40.110.0 0.50.1
higher-order/Bird/TreeMap0.30.00.30.00.30.00.30.0
higher-order/Bird/TreeSize0.4 0.30.010.0 0.40.1
higher-order/Kusakari/Ex6_110.30.00.30.00.30.00.30.0
higher-order/Kusakari/Ex7_90.4 0.4 10.0 0.6 
higher-order/Lifantsev/Ex10Functional0.5 0.5 10.0 10.0 
higher-order/Lifantsev/Ex2PrimRec0.3 0.3 0.3 10.0 
higher-order/Lifantsev/Ex3Lists0.4 0.40.010.0 0.40.1
higher-order/Lifantsev/Ex4MapList0.4 0.30.010.0 0.30.0
higher-order/Lifantsev/Ex5Sorting0.5 0.5 10.0 10.0 
 noneCeTAtrsCeTAU'1CeTAU'2CeTA
higher-order/Lifantsev/Ex6Folding0.3 0.3 10.0 10.0 
higher-order/Lifantsev/Ex7OrdinalRec0.4 0.4 10.0 10.0 
higher-order/Lifantsev/Ex8Polymorphic0.30.00.30.00.30.00.30.0
higher-order/Lifantsev/Ex9Maps0.4 0.3 10.0 10.0 
higher-order/ToyamaRTA04/Ex5Folding0.3 0.3 10.0 10.0 
higher-order/ToyamaRTA04/Ex6Recursor0.3 0.3 10.0 10.0 
higher-order/ToyamaRTA04/Ex7Sorting0.5 0.4 10.0 10.0 
nontermin/Rubio-inn/bn1110.3 0.3 0.3 0.3 
secret05/aprove10.4 0.5 10.0 10.0 
secret05/matchbox10.3 0.3 0.3 10.0 
secret05/matchbox20.3 0.3 0.3 0.3 
secret05/teparla10.3 0.3 0.3 0.3 
secret05/teparla20.3 0.3 0.3 0.3 
secret05/teparla30.3 0.3 0.3 0.3 
secret05/ttt20.4 0.3 10.0 10.0 
secret06/tpa010.3 0.3 0.3 0.3 
secret06/tpa020.3 0.3 0.3 0.3 
secret06/tpa030.3 0.3 0.3 0.3 
secret07/TTT2/70.3 0.3 0.4 10.0 
various/210.5 0.5 0.5 10.0