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

Statistics

 π+CeTAπ±CeTAπ-CeTA
#yes 26 26 28 28 24 24
total time 46.0 2.9 52.6 3.3 46.4 2.8
average time 1.8 0.1 1.9 0.1 1.9 0.1
#no 0 0 0 0 0 0
total time 0.0 0.0 0.0 0.0 0.0 0.0
average time - - - - - -
#maybe 58 0 56 0 53 0
total time 170.4 0.0 165.1 0.0 150.0 0.0
average time 2.9 - 2.9 - 2.8 -
#timeout 427 0 427 0 434 0
total time 2135.0 0.0 2135.0 0.0 2170.0 0.0
average time 5.0 - 5.0 - 5.0 -
#total 511 26 511 28 511 24
total time 2351.4 2.9 2352.7 3.3 2366.3 2.8

Results

 π+CeTAπ±CeTAπ-CeTA
AG01/#3.405.0 5.0 5.0 
AG01/#4.30c5.0 5.0 5.0 
AProVE_04/AAECC-ring5.0 5.0 5.0 
AProVE_04/AAECC5.0 5.0 5.0 
AProVE_04/JFP_Ex315.0 5.0 5.0 
AProVE_04/Liveness6.45.0 5.0 5.0 
AProVE_04/forward_instantiation0.6 0.6 0.6 
AProVE_04/forward_instantiation20.7 0.7 0.6 
AProVE_06/div_notCeTermin5.0 5.0 5.0 
AProVE_06/div_notTermin5.0 5.0 5.0 
AProVE_06/factorial25.0 5.0 5.0 
AProVE_06/identity5.0 5.0 5.0 
AProVE_06/logarithm5.0 5.0 5.0 
AProVE_06/mapHard1.40.11.40.11.40.1
AProVE_06/modulo4.7 4.6 4.5 
AProVE_06/quot4.8 4.6 4.3 
AProVE_06/tower_sizeChange5.0 5.0 5.0 
AProVE_07/kabasci015.0 5.0 5.0 
AProVE_07/kabasci061.60.11.70.11.60.1
AProVE_07/otto015.0 5.0 5.0 
AProVE_07/otto025.0 5.0 5.0 
AProVE_07/otto034.1 4.1 4.2 
AProVE_07/otto045.0 5.0 5.0 
AProVE_07/otto065.0 5.0 5.0 
AProVE_07/otto074.0 4.0 4.0 
 π+CeTAπ±CeTAπ-CeTA
AProVE_07/otto084.8 4.9 4.5 
AProVE_07/otto094.6 4.4 4.5 
AProVE_07/otto105.0 5.0 5.0 
AProVE_07/otto114.4 4.4 4.4 
AProVE_07/otto125.0 5.0 5.0 
AProVE_07/otto135.0 5.0 5.0 
AProVE_07/thiemann015.0 5.0 5.0 
AProVE_07/thiemann025.0 5.0 5.0 
AProVE_07/thiemann035.0 5.0 5.0 
AProVE_07/thiemann045.0 5.0 5.0 
AProVE_07/thiemann055.0 5.0 5.0 
AProVE_07/thiemann065.0 5.0 5.0 
AProVE_07/thiemann075.0 5.0 5.0 
AProVE_07/thiemann095.0 5.0 5.0 
AProVE_07/thiemann115.0 5.0 5.0 
AProVE_07/thiemann135.0 5.0 5.0 
AProVE_07/thiemann195.0 5.0 5.0 
AProVE_07/thiemann205.0 5.0 5.0 
AProVE_07/thiemann215.0 5.0 5.0 
AProVE_07/thiemann225.0 5.0 5.0 
AProVE_07/thiemann233.3 5.0 5.0 
AProVE_07/thiemann245.0 5.0 5.0 
AProVE_07/thiemann255.0 5.0 5.0 
AProVE_07/thiemann265.0 5.0 5.0 
AProVE_07/thiemann274.3 4.3 3.9 
 π+CeTAπ±CeTAπ-CeTA
AProVE_07/thiemann285.0 5.0 5.0 
AProVE_07/thiemann295.0 5.0 5.0 
AProVE_07/thiemann305.0 5.0 5.0 
AProVE_07/thiemann315.0 5.0 5.0 
AProVE_07/thiemann325.0 5.0 5.0 
AProVE_07/thiemann334.9 5.0 5.0 
AProVE_07/thiemann345.0 5.0 5.0 
AProVE_07/thiemann352.80.12.80.12.80.1
AProVE_07/thiemann365.0 5.0 5.0 
AProVE_07/thiemann375.0 5.0 5.0 
AProVE_07/thiemann385.0 5.0 5.0 
AProVE_07/thiemann392.40.12.30.12.70.1
AProVE_07/thiemann415.0 4.8 4.8 
AProVE_07/wiehe075.0 5.0 5.0 
AProVE_08/log5.0 5.0 5.0 
AProVE_08/parting01_reverse5.0 5.0 5.0 
AProVE_08/parting02_doublelist5.0 5.0 5.0 
AProVE_08/parting03_minsort5.0 5.0 5.0 
AProVE_08/parting04_maxsort_h5.0 5.0 5.0 
AProVE_08/parting05_maxsort5.0 5.0 5.0 
AProVE_08/round3.4 3.2 3.5 
AProVE_09_Inductive/div5.0 5.0 5.0 
AProVE_09_Inductive/divhard5.0 5.0 5.0 
AProVE_09_Inductive/gcd5.0 5.0 5.0 
AProVE_09_Inductive/gcd25.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
AProVE_09_Inductive/gcdhard5.0 5.0 5.0 
AProVE_09_Inductive/log5.0 5.0 5.0 
AProVE_09_Inductive/maxsort5.0 5.0 5.0 
AProVE_09_Inductive/maxsortcondition5.0 5.0 5.0 
AProVE_09_Inductive/minsort5.0 5.0 5.0 
AProVE_09_Inductive/mod5.0 5.0 5.0 
AProVE_09_Inductive/qsort5.0 5.0 5.0 
AProVE_09_Inductive/qsortlast5.0 5.0 5.0 
AProVE_09_Inductive/qsortmiddle5.0 5.0 5.0 
AProVE_09_Inductive/zerolist3.3 3.6 2.8 
AProVE_10/Zantema06-03-modified5.0 5.0 5.0 
AProVE_10/andIsNat5.0 5.0 5.0 
AProVE_10/challenge_fab5.0 5.0 5.0 
AProVE_10/double1.7 3.8 3.8 
AProVE_10/downfrom5.0 5.0 5.0 
AProVE_10/ex14.4 4.2 4.4 
AProVE_10/ex23.7 5.0 5.0 
AProVE_10/ex35.0 5.0 5.0 
AProVE_10/ex45.0 5.0 5.0 
AProVE_10/halfdouble5.0 5.0 5.0 
AProVE_10/isNat1.0 3.3 3.2 
AotoYamada_05/0102.10.12.10.15.0 
AotoYamada_05/0111.80.11.80.11.90.1
AotoYamada_05/Ex5TermProof5.0 5.0 5.0 
Applicative_05/Ex10Functional5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Applicative_05/Ex2PrimRec5.0 5.0 5.0 
Applicative_05/Ex5Folding5.0 5.0 5.0 
Applicative_05/Ex5Sorting5.0 5.0 5.0 
Applicative_05/Ex6Folding5.0 5.0 5.0 
Applicative_05/Ex6Recursor5.0 5.0 5.0 
Applicative_05/Ex7OrdinalRec5.0 5.0 5.0 
Applicative_05/Ex7Sorting5.0 5.0 5.0 
Applicative_05/Ex7_91.40.11.40.11.30.1
Applicative_05/Ex9Maps5.0 5.0 5.0 
Applicative_05/mapDivMinus1.00.00.90.00.90.0
Applicative_05/mapDivMinusHard1.30.11.30.11.30.1
Applicative_first_order_05/#3.102.90.22.90.22.90.2
Applicative_first_order_05/#3.132.90.32.90.32.80.2
Applicative_first_order_05/#3.181.50.11.50.11.50.1
Applicative_first_order_05/#3.21.40.11.40.11.40.1
Applicative_first_order_05/#3.221.50.11.50.11.50.1
Applicative_first_order_05/#3.251.10.11.10.11.10.1
Applicative_first_order_05/#3.362.00.11.90.12.00.1
Applicative_first_order_05/#3.381.40.11.40.11.40.1
Applicative_first_order_05/#3.405.0 5.0 5.0 
Applicative_first_order_05/#3.552.20.22.20.22.20.2
Applicative_first_order_05/#3.572.50.22.50.22.50.2
Applicative_first_order_05/#3.62.00.12.10.12.00.1
Applicative_first_order_05/#3.81.70.11.60.11.60.1
Applicative_first_order_05/135.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Applicative_first_order_05/211.70.11.60.11.60.1
Applicative_first_order_05/315.0 5.0 5.0 
Applicative_first_order_05/335.0 5.0 5.0 
Applicative_first_order_05/minsort5.0 5.0 5.0 
Applicative_first_order_05/perfect21.90.11.80.11.90.1
Beerendonk_07/114.7 4.7 4.5 
Beerendonk_07/124.4 4.3 3.8 
Beerendonk_07/135.0 5.0 5.0 
Beerendonk_07/143.8 3.7 4.0 
Beerendonk_07/155.0 5.0 5.0 
Beerendonk_07/165.0 5.0 5.0 
Beerendonk_07/175.0 5.0 5.0 
Beerendonk_07/185.0 5.0 5.0 
Beerendonk_07/195.0 5.0 5.0 
Beerendonk_07/205.0 5.0 5.0 
Beerendonk_07/215.0 5.0 5.0 
Beerendonk_07/245.0 5.0 5.0 
Beerendonk_07/34.2 4.2 4.1 
Beerendonk_07/42.2 2.2 1.9 
CiME_04/fact-hard5.0 5.0 5.0 
CiME_04/maude25.0 5.0 5.0 
Der95/135.0 5.0 5.0 
Der95/335.0 5.0 5.0 
Endrullis_06/labeling3.2 3.1 3.2 
Endrullis_06/pair2simple23.8 3.8 5.0 
 π+CeTAπ±CeTAπ-CeTA
Endrullis_06/pair3hard5.0 5.0 5.0 
GTSSK07/cade014.4 4.4 4.0 
GTSSK07/cade034.1 4.2 4.2 
GTSSK07/cade04t3.0 2.8 2.9 
GTSSK07/cade05t5.0 5.0 5.0 
GTSSK07/cade065.0 5.0 5.0 
GTSSK07/cade075.0 5.0 5.0 
GTSSK07/cade085.0 5.0 5.0 
GTSSK07/cade095.0 5.0 5.0 
GTSSK07/cade105.0 5.0 5.0 
GTSSK07/cade115.0 5.0 5.0 
GTSSK07/cade12t5.0 5.0 5.0 
GTSSK07/cade13t4.9 4.9 4.7 
GTSSK07/cade145.0 5.0 5.0 
GTSSK07/cade155.0 5.0 5.0 
GTSSK07/cade165.0 5.0 5.0 
GTSSK07/cade175.0 5.0 5.0 
HirokawaMiddeldorp_04/t0022.6 2.4 2.5 
HirokawaMiddeldorp_04/t0095.0 5.0 5.0 
MNZ_10/05.0 5.0 5.0 
MNZ_10/35.0 5.0 5.0 
MNZ_10/45.0 5.0 5.0 
MNZ_10/55.0 5.0 5.0 
MNZ_10/65.0 5.0 5.0 
MNZ_10/75.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
MNZ_10/85.0 5.0 5.0 
MNZ_10/95.0 5.0 5.0 
MNZ_10/labelled5.0 5.0 5.0 
MNZ_10/nrvsq5.0 5.0 5.0 
MNZ_10/nvsr5.0 5.0 5.0 
Mixed_TRS/64.1 4.1 5.0 
Mixed_TRS/75.0 5.0 5.0 
Mixed_TRS/beans5.0 5.0 5.0 
Mixed_TRS/gcdMinMax5.0 5.0 5.0 
Mixed_TRS/hydra-Zantema065.0 5.0 5.0 
Mixed_TRS/minsort5.0 5.0 5.0 
Mixed_TRS/while3.5 3.6 3.7 
Mixed_TRS/while25.0 5.0 5.0 
SK90/4.025.0 5.0 5.0 
SK90/4.550.5 0.5 0.5 
Secret_05_TRS/aprove11.50.11.50.11.60.1
Secret_05_TRS/aprove25.0 5.0 5.0 
Secret_05_TRS/aprove35.0 5.0 5.0 
Secret_05_TRS/aprove45.0 5.0 5.0 
Secret_05_TRS/aprove55.0 5.0 5.0 
Secret_05_TRS/cime15.0 5.0 5.0 
Secret_05_TRS/cime25.0 5.0 5.0 
Secret_05_TRS/cime35.0 5.0 5.0 
Secret_05_TRS/cime40.9 0.9 0.8 
Secret_05_TRS/cime55.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Secret_05_TRS/matchbox12.5 2.5 2.7 
Secret_05_TRS/teparla15.0 5.0 5.0 
Secret_05_TRS/teparla25.0 5.0 5.0 
Secret_05_TRS/teparla35.0 5.0 5.0 
Secret_05_TRS/tpa15.0 5.0 5.0 
Secret_05_TRS/tpa35.0 5.0 5.0 
Secret_05_TRS/tpa45.0 5.0 5.0 
Secret_05_TRS/tpa55.0 5.0 5.0 
Secret_06_TRS/35.0 5.0 5.0 
Secret_06_TRS/addList5.0 5.0 5.0 
Secret_06_TRS/cime15.0 5.0 5.0 
Secret_06_TRS/divExp2.7 1.3 1.2 
Secret_06_TRS/division5.0 5.0 5.0 
Secret_06_TRS/double5.0 5.0 5.0 
Secret_06_TRS/logarithm1.30.11.30.15.0 
Secret_06_TRS/nrOfNodes5.0 5.0 5.0 
Secret_06_TRS/times5.0 5.0 5.0 
Secret_06_TRS/toList5.0 5.0 5.0 
Secret_06_TRS/tpa012.7 2.6 2.6 
Secret_06_TRS/tpa022.6 2.6 2.7 
Secret_06_TRS/tpa032.7 2.7 2.7 
Secret_06_TRS/tpa045.0 5.0 5.0 
Secret_06_TRS/tpa055.0 5.0 5.0 
Secret_06_TRS/tpa065.0 5.0 5.0 
Secret_06_TRS/tpa075.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Secret_06_TRS/tpa085.0 5.0 5.0 
Secret_06_TRS/tpa095.0 5.0 5.0 
Secret_06_TRS/tpa105.0 5.0 5.0 
Secret_07_TRS/15.0 5.0 5.0 
Secret_07_TRS/25.0 5.0 5.0 
Secret_07_TRS/35.0 5.0 5.0 
Secret_07_TRS/45.0 5.0 5.0 
Secret_07_TRS/55.0 5.0 5.0 
Secret_07_TRS/75.0 5.0 5.0 
Secret_07_TRS/aprove015.0 5.0 5.0 
Secret_07_TRS/aprove025.0 5.0 5.0 
Secret_07_TRS/aprove035.0 5.0 5.0 
Secret_07_TRS/aprove045.0 5.0 5.0 
Secret_07_TRS/aprove055.0 5.0 5.0 
Secret_07_TRS/aprove065.0 5.0 5.0 
Secret_07_TRS/aprove075.0 5.0 5.0 
Secret_07_TRS/aprove085.0 5.0 5.0 
Secret_07_TRS/aprove095.0 5.0 5.0 
Secret_07_TRS/aprove105.0 5.0 5.0 
Strategy_removed_AG01/#4.130.6 0.6 0.6 
Strategy_removed_AG01/#4.195.0 5.0 5.0 
Strategy_removed_AG01/#4.250.7 0.7 0.7 
Strategy_removed_AG01/#4.30.6 0.6 0.6 
Strategy_removed_AG01/#4.305.0 5.0 5.0 
Strategy_removed_AG01/#4.30a2.5 2.3 2.5 
 π+CeTAπ±CeTAπ-CeTA
Strategy_removed_AG01/#4.30b5.0 5.0 5.0 
Strategy_removed_AG01/#4.30c5.0 5.0 5.0 
Strategy_removed_CSR_05/Ex24_GM040.6 0.6 0.6 
Strategy_removed_mixed_05/bn1113.1 3.3 3.4 
Strategy_removed_mixed_05/test762.5 2.3 2.5 
Strategy_removed_mixed_05/test772.3 2.3 2.2 
Strategy_removed_mixed_05/toyama0.6 0.6 0.6 
TCT_09/nonmultrec5.0 4.7 5.0 
Transformed_CSR_04/Ex14_AEGL02_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex14_Luc06_C5.0 5.0 5.0 
Transformed_CSR_04/Ex14_Luc06_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex16_Luc06_C5.0 5.0 5.0 
Transformed_CSR_04/Ex16_Luc06_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_C5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_2_AEL03_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_C5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GL02a_Z5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_C5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM03_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM99_C5.0 5.0 5.0 
Transformed_CSR_04/Ex1_GM99_GM5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/Ex1_GM99_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_C5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex1_Luc02b_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex24_GM04_C5.0 5.0 5.0 
Transformed_CSR_04/Ex24_GM04_FR1.8 1.9 1.9 
Transformed_CSR_04/Ex24_GM04_GM0.7 0.7 0.8 
Transformed_CSR_04/Ex24_GM04_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex24_Luc06_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex26_Luc03b_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex2_Luc02a_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_C5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex3_12_Luc96a_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_C5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_Z5.0 5.0 5.0 
Transformed_CSR_04/Ex3_2_Luc97_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex3_3_25_Bor03_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex3_3_25_Bor03_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex49_GM04_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_15_Bor03_C5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_37_Bor03_C5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_37_Bor03_GM5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/Ex4_7_37_Bor03_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex4_7_56_Bor03_C5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_C5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex4_DLMMU04_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_C5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex4_Zan97_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_C5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_Z5.0 5.0 5.0 
Transformed_CSR_04/Ex5_7_Luc97_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_C5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex5_DLMMU04_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_C5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_FR5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_Z5.0 5.0 5.0 
Transformed_CSR_04/Ex6_15_AEL02_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex6_9_Luc02c_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_C5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex7_BLR02_iGM5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/Ex8_BLR02_C5.0 5.0 5.0 
Transformed_CSR_04/Ex8_BLR02_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex8_BLR02_iGM5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_C5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_GM5.0 5.0 5.0 
Transformed_CSR_04/Ex9_Luc04_iGM5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_C5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_GM5.0 5.0 5.0 
Transformed_CSR_04/ExAppendixB_AEL03_iGM5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM01_iGM5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM04_FR5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_C5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_FR5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_GM5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_GM99_iGM5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_C5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_FR5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_GM5.0 5.0 5.0 
Transformed_CSR_04/ExIntrod_Zan97_iGM5.0 5.0 5.0 
Transformed_CSR_04/ExSec11_1_Luc02a_GM5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_C5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_GM5.0 5.0 5.0 
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/LISTUTILITIES_complete_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_FR5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_FR5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_Z5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_FR5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_GM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C5.0 5.0 5.0 
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_C5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_FR5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/MYNAT_complete_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_C5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_FR5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_Z5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_iGM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_C5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nokinds_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_C5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/MYNAT_nosorts_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_FR5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_GM5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/OvConsOS_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_FR5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_GM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_Z5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_iGM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_C5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_C5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Transformed_CSR_04/PALINDROME_complete_FR5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_GM5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/PALINDROME_nokinds_FR5.0 2.10.25.0 
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete-noand_FR5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete-noand_Z5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_C5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_FR5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_GM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_Z5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_iGM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_C5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_complete_noand_iGM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_C5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_FR5.0 4.50.24.40.2
Transformed_CSR_04/PEANO_nokinds_iGM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_C5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_GM5.0 5.0 5.0 
Transformed_CSR_04/PEANO_nokinds_noand_iGM5.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Various_04/042.7 2.7 2.7 
Various_04/052.5 2.5 2.4 
Various_04/085.0 5.0 5.0 
Various_04/111.3 1.3 1.3 
Waldmann_06/jwaprove15.0 5.0 5.0 
Waldmann_06/jwaprove25.0 5.0 5.0 
Waldmann_06/jwcime15.0 5.0 5.0 
Waldmann_06/jwcime23.7 3.6 3.6 
Waldmann_06/jwno25.0 5.0 5.0 
Waldmann_06/jwno34.8 4.9 5.0 
Waldmann_06/jwno55.0 5.0 5.0 
Waldmann_06/jwno75.0 5.0 5.0 
Waldmann_06/jwno85.0 5.0 5.0 
Waldmann_06/jwteparla15.0 5.0 5.0 
Waldmann_06/jwteparla25.0 5.0 5.0 
Waldmann_06/jwtpa11.10.11.00.14.4 
Zantema_05/z015.0 5.0 5.0 
Zantema_05/z023.5 3.5 3.5 
Zantema_05/z095.0 5.0 5.0 
Zantema_05/z105.0 5.0 5.0 
Zantema_05/z125.0 5.0 5.0 
Zantema_05/z135.0 5.0 5.0 
Zantema_05/z145.0 5.0 5.0 
Zantema_05/z155.0 5.0 5.0 
Zantema_05/z165.0 5.0 5.0 
 π+CeTAπ±CeTAπ-CeTA
Zantema_05/z175.0 5.0 5.0 
Zantema_05/z185.0 5.0 5.0 
Zantema_05/z195.0 5.0 5.0 
Zantema_05/z205.0 5.0 5.0 
Zantema_05/z215.0 5.0 5.0 
Zantema_05/z225.0 5.0 5.0 
Zantema_05/z235.0 5.0 5.0 
Zantema_05/z245.0 5.0 5.0 
Zantema_05/z271.0 1.0 1.0 
Zantema_05/z285.0 5.0 5.0 
Zantema_05/z305.0 5.0 5.0