Certified Termination Analysis 

Introduction

Our test suite consists of those 600 TRSs from the termination problem database 8.0, for which a nontermination proof was found by at least one tool in the termination competitions 2008-2011 (in most of these nontermination proofs, the evaluation strategy for the TRS is not restricted). For all of these 600 TRSs we called the termination tool AProVE to investigate innermost termination. To this end, we configured AProVE in a way similar to the termination competition 2011, but dropped some of the time-intensive techniques for proving termination, and increased the amount of nontermination techniques. The detailed configuration can be found in this file. Note that in the generated nontermination proofs, many techniques (e.g., reduction pair processor, usable rules, dependency graph, ...), are just printed as Pair and Rule Removal.

In the first run AProVE delivered several wrong answers and proofs, where the bug was in one of its two loop-finding methods: it completely ignored the innermost strategy. After this bug was fixed, AProVE detected 352 innermost nontermination proofs (and 103 innermost termination proofs) which could all be certified by CeTA.

Our experiments have been performed on a machine with two 2.8 GHz Quad-Core Intel Xeon processors and 6 GB of main memory using a 60 seconds timeout. In the result table one can click on the execution times to see the proofs and answers of CeTA (version 2.3).

Links

Color codes

Success (Proof)
Success (Disproof)
Failure
Timeout
Accept
Reject

Summary

Examples 600
Successes (AProVE) 455 (103 YES, 352 NO)
Failures (AProVE) 145 (122 timeouts)
Time (AProVE) 2h 31m 5s
Accepted (CeTA) 455
Rejected (CeTA) 0
Unsupported (CeTA) 0
Time (CeTA) 0h 0m 4s

Result table

Example AProVE CeTA
AotoYamada_05___001.xml 2.77 0.01
AotoYamada_05___003.xml 2.95 0.01
Applicative_05___Ex2_8_1ConstSubstFix.xml 2.85 0.01
Applicative_05___Hamming.xml 7.75 0.06
Applicative_05___nonTermF.xml 3.38 0.01
Applicative_05___termMonTypes.xml 2.87 0.01
Applicative_05___TypeEx3.xml 3.14 0.01
Applicative_05___TypeEx5.xml 2.76 0.00
AProVE_06___nonterm.xml 60.00
AProVE_07___thiemann28.xml 60.00
AProVE_08___round_nonterm.xml 3.75 0.01
AProVE_10___isList.xml 3.14 0.01
Bouchare_06___08.xml 60.00
Bouchare_06___09.xml 60.00
CiME_04___append-wrong.xml 60.00
Gebhardt_06___03.xml 10.66 0.01
Gebhardt_06___05.xml 9.67 0.01
Gebhardt_06___08.xml 8.41 0.01
Gebhardt_06___12.xml 7.19 0.01
Gebhardt_06___15.xml 60.00
HirokawaMiddeldorp_04___n002.xml 2.67 0.00
HirokawaMiddeldorp_04___n003.xml 2.64 0.00
HirokawaMiddeldorp_04___n004.xml 2.64 0.00
HirokawaMiddeldorp_04___n005.xml 2.62 0.00
HirokawaMiddeldorp_04___n006.xml 2.64 0.00
HirokawaMiddeldorp_04___n007.xml 2.62 0.00
HirokawaMiddeldorp_04___n008.xml 2.73 0.06
Maude_06___LengthOfFiniteLists_nosorts-noand.xml 2.95 0.01
Maude_06___LengthOfFiniteLists_nosorts.xml 2.82 0.01
Maude_06___OvConsOS_nosorts-noand.xml 3.29 0.01
Maude_06___OvConsOS_nosorts.xml 2.95 0.01
Mixed_AC___RENAMED-BOOL_nosorts-noand.xml 5.15 0.04
Mixed_AC___RENAMED-BOOL_nosorts.xml 3.53 0.02
Mixed_HO_10___counterex1.xml 0.31
Mixed_HO_10___hrsdif1.xml 0.29
Mixed_HO_10___lambda1.xml 0.29
Mixed_innermost___muladd.xml 2.89 0.01
Mixed_innermost___n001.xml 2.81 0.01
Mixed_outermost___even.xml 60.00
Mixed_outermost___ex1.xml 2.82 0.00
Mixed_outermost___ex3.xml 2.77 0.00
Mixed_outermost___ex5.xml 2.83 0.00
Mixed_outermost___non-lin1.xml 2.60 0.00
Mixed_outermost___non-lin2.xml 2.67 0.00
Mixed_relative_SRS___zr04new.xml 6.53 0.02
Mixed_relative_SRS___zr13.xml 2.73 0.00
Mixed_relative_TRS___abp2.xml 16.06 0.05
Mixed_relative_TRS___assoc.xml 2.81 0.01
Mixed_relative_TRS___gcd_list.xml 4.36 0.01
Mixed_relative_TRS___gcd_many.xml 3.60 0.01
Mixed_relative_TRS___gcd.xml 4.56 0.01
Mixed_relative_TRS___rt-rw4.xml 15.11 0.08
Mixed_relative_TRS___trafic.xml 8.08 0.06
Mixed_SRS___01-oppelt08.xml 5.16 0.01
Mixed_SRS___02-oppelt08.xml 60.00
Mixed_SRS___03-oppelt08.xml 3.19 0.01
Mixed_SRS___04-oppelt08.xml 60.00
Mixed_SRS___05-oppelt08.xml 60.00
Mixed_SRS___06-oppelt08.xml 60.00
Mixed_SRS___07-oppelt08.xml 60.00
Mixed_SRS___08-oppelt08.xml 60.00
Mixed_SRS___1.xml 60.00
Mixed_SRS___turing_copy.xml 23.45 0.05
Mixed_SRS___turing_mult.xml 29.09 0.06
Relative_05___rt2-8.xml 3.67 0.01
Relative_05___rt3-3.xml 3.08 0.00
Relative_05___rt3-6.xml 2.77 0.01
Relative_05___rt3-8.xml 2.97 0.01
Relative_05___rtL-cbn1.xml 5.53 0.03
Relative_05___rtL-evnz.xml 60.00
Relative_05___rtL-evo.xml 60.00
Relative_05___rtL-pwl.xml 11.31 0.03
Relative_05___rtL-wl1o.xml 3.24 0.01
Secret_05_TRS___cime4.xml 2.70 0.01
Secret_05_TRS___ttt1.xml 2.74
Secret_05_TRS___ttt2.xml 2.75 0.01
Secret_06_SRS___1-matchbox.xml 3.18 0.00
Secret_07_SRS___num-514.xml 60.00
Secret_07_SRS___num-515.xml 60.00
Secret_07_SRS___num-519.xml 60.00
Secret_07_SRS___num-521.xml 60.00
Secret_07_SRS___num-525.xml 60.00
Secret_07_SRS___num-527.xml 60.00
Secret_07_SRS___num-530.xml 60.00
Secret_07_SRS___num-539.xml 60.00
SK90___2.05.xml 3.49 0.01
SK90___4.06.xml 2.82 0.01
SK90___4.34.xml 2.77 0.00
SK90___4.40.xml 11.35 0.02
SK90___4.49.xml 3.17
SK90___4.54.xml 2.88 0.01
Strategy_outermost_added_08___001.xml 2.75 0.01
Strategy_outermost_added_08___003.xml 2.97 0.01
Strategy_outermost_added_08___2.05.xml 3.78 0.01
Strategy_outermost_added_08___4.06.xml 2.88 0.01
Strategy_outermost_added_08___4.12a.xml 2.07
Strategy_outermost_added_08___4.14.xml 2.64 0.00
Strategy_outermost_added_08___4.15.xml 2.73 0.01
Strategy_outermost_added_08___4.16.xml 2.63 0.00
Strategy_outermost_added_08___4.17.xml 3.73 0.01
Strategy_outermost_added_08___4.18.xml 4.04 0.01
Strategy_outermost_added_08___4.2.xml 2.68 0.00
Strategy_outermost_added_08___4.34.xml 2.76 0.00
Strategy_outermost_added_08___4.3.xml 2.58 0.00
Strategy_outermost_added_08___4.40.xml 11.23 0.02
Strategy_outermost_added_08___4.49.xml 3.21
Strategy_outermost_added_08___4.4.xml 2.61 0.00
Strategy_outermost_added_08___4.54.xml 2.87 0.01
Strategy_outermost_added_08___4.7.xml 2.86 0.00
Strategy_outermost_added_08___append-wrong.xml 60.00
Strategy_outermost_added_08___cime4.xml 2.74 0.01
Strategy_outermost_added_08___Ex1_2_AEL03_L.xml 2.44 0.01
Strategy_outermost_added_08___Ex1_2_AEL03.xml 3.31 0.01
Strategy_outermost_added_08___Ex1_2_Luc02c_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex1_2_Luc02c.xml 2.77 0.00
Strategy_outermost_added_08___Ex14_AEGL02_L.xml 2.72 0.00
Strategy_outermost_added_08___Ex14_AEGL02.xml 2.80 0.00
Strategy_outermost_added_08___Ex14_AEGL02_Z.xml 60.00
Strategy_outermost_added_08___Ex14_Luc06_FR.xml 2.71 0.01
Strategy_outermost_added_08___Ex14_Luc06_L.xml 2.72 0.01
Strategy_outermost_added_08___Ex14_Luc06_Z.xml 2.69 0.01
Strategy_outermost_added_08___Ex15_Luc06_L.xml 2.67 0.00
Strategy_outermost_added_08___Ex15_Luc98_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex15_Luc98.xml 2.97 0.01
Strategy_outermost_added_08___Ex16_Luc06_L.xml 2.77 0.00
Strategy_outermost_added_08___Ex1_GL02a_L.xml 2.81 0.00
Strategy_outermost_added_08___Ex1_GL02a.xml 2.95 0.01
Strategy_outermost_added_08___Ex1_GM03_L.xml 2.39 0.00
Strategy_outermost_added_08___Ex1_GM03.xml 3.08 0.01
Strategy_outermost_added_08___Ex1_GM03_Z.xml 3.07 0.01
Strategy_outermost_added_08___Ex1_GM99_FR.xml 2.66 0.01
Strategy_outermost_added_08___Ex1_GM99_L.xml 2.82 0.00
Strategy_outermost_added_08___Ex1_GM99.xml 2.59 0.00
Strategy_outermost_added_08___Ex1_GM99_Z.xml 2.65 0.01
Strategy_outermost_added_08___Ex1_Luc02b_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex1_Luc02b.xml 3.02 0.01
Strategy_outermost_added_08___Ex1_Luc04b_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex1_Luc04b_Z.xml 3.19 0.01
Strategy_outermost_added_08___Ex1_Zan97_FR.xml 2.87 0.01
Strategy_outermost_added_08___Ex1_Zan97_L.xml 2.80 0.00
Strategy_outermost_added_08___Ex1_Zan97.xml 2.76 0.00
Strategy_outermost_added_08___Ex1_Zan97_Z.xml 2.89 0.01
Strategy_outermost_added_08___Ex24_GM04_L.xml 2.98 0.00
Strategy_outermost_added_08___Ex24_Luc06_FR.xml 2.76 0.01
Strategy_outermost_added_08___Ex24_Luc06_L.xml 1.78
Strategy_outermost_added_08___Ex24_Luc06_Z.xml 2.75 0.01
Strategy_outermost_added_08___Ex26_Luc03b.xml 3.36 0.01
Strategy_outermost_added_08___Ex2_8_1ConstSubstFix.xml 2.87 0.01
Strategy_outermost_added_08___Ex2_Luc03b.xml 3.09 0.01
Strategy_outermost_added_08___Ex3_12_Luc96a_L.xml 2.37 0.00
Strategy_outermost_added_08___Ex3_12_Luc96a.xml 2.79 0.01
Strategy_outermost_added_08___Ex3_2_Luc97_L.xml 2.39 0.00
Strategy_outermost_added_08___Ex3_2_Luc97.xml 3.80 0.01
Strategy_outermost_added_08___Ex3_3_25_Bor03.xml 3.54 0.01
Strategy_outermost_added_08___Ex3_3_25_Bor03_Z.xml 3.25 0.01
Strategy_outermost_added_08___Ex4_4_Luc96b.xml 2.72 0.00
Strategy_outermost_added_08___Ex4_4_Luc96b_Z.xml 60.00
Strategy_outermost_added_08___Ex4_7_15_Bor03.xml 2.87 0.01
Strategy_outermost_added_08___Ex4_7_37_Bor03_L.xml 2.41 0.01
Strategy_outermost_added_08___Ex4_7_37_Bor03.xml 3.58 0.01
Strategy_outermost_added_08___Ex4_7_56_Bor03_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex4_7_56_Bor03.xml 2.78 0.00
Strategy_outermost_added_08___Ex4_7_77_Bor03_L.xml 2.37 0.00
Strategy_outermost_added_08___Ex4_7_77_Bor03.xml 2.85 0.00
Strategy_outermost_added_08___Ex49_GM04_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex4_DLMMU04_FR.xml 60.00
Strategy_outermost_added_08___Ex4_DLMMU04_L.xml 2.45 0.01
Strategy_outermost_added_08___Ex4_DLMMU04_Z.xml 60.00
Strategy_outermost_added_08___Ex4_Zan97_L.xml 2.39 0.00
Strategy_outermost_added_08___Ex4_Zan97.xml 2.85 0.01
Strategy_outermost_added_08___Ex5_7_Luc97_L.xml 2.42 0.01
Strategy_outermost_added_08___Ex5_7_Luc97.xml 4.38 0.01
Strategy_outermost_added_08___Ex5_DLMMU04_L.xml 2.39 0.01
Strategy_outermost_added_08___Ex5_Zan97_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex5_Zan97.xml 2.83 0.01
Strategy_outermost_added_08___Ex6_15_AEL02_L.xml 2.43 0.01
Strategy_outermost_added_08___Ex6_15_AEL02.xml 5.77 0.01
Strategy_outermost_added_08___Ex6_15_AEL02_Z.xml 60.00
Strategy_outermost_added_08___Ex6_9_Luc02c_L.xml 2.40 0.00
Strategy_outermost_added_08___Ex6_9_Luc02c.xml 2.79 0.00
Strategy_outermost_added_08___Ex6_GM04_FR.xml 2.87 0.01
Strategy_outermost_added_08___Ex6_GM04.xml 2.71 0.00
Strategy_outermost_added_08___Ex6_GM04_Z.xml 2.91 0.01
Strategy_outermost_added_08___Ex6_Luc98.xml 2.86 0.01
Strategy_outermost_added_08___Ex7_BLR02_L.xml 2.38 0.00
Strategy_outermost_added_08___Ex7_BLR02.xml 3.20 0.01
Strategy_outermost_added_08___Ex8_BLR02_L.xml 2.39 0.01
Strategy_outermost_added_08___Ex8_BLR02.xml 3.04 0.01
Strategy_outermost_added_08___Ex9_BLR02.xml 3.35 0.01
Strategy_outermost_added_08___Ex9_Luc04_FR.xml 2.61 0.00
Strategy_outermost_added_08___Ex9_Luc04_L.xml 2.67 0.00
Strategy_outermost_added_08___Ex9_Luc04_Z.xml 2.61 0.00
Strategy_outermost_added_08___Ex9_Luc06_FR.xml 3.07 0.01
Strategy_outermost_added_08___Ex9_Luc06_L.xml 1.78
Strategy_outermost_added_08___Ex9_Luc06_Z.xml 3.14 0.01
Strategy_outermost_added_08___ExAppendixB_AEL03_L.xml 2.43 0.01
Strategy_outermost_added_08___ExAppendixB_AEL03.xml 3.29 0.01
Strategy_outermost_added_08___ExConc_Zan97.xml 2.73 0.00
Strategy_outermost_added_08___ExConc_Zan97_Z.xml 2.80 0.00
Strategy_outermost_added_08___ExIntrod_GM01_L.xml 2.39 0.00
Strategy_outermost_added_08___ExIntrod_GM01.xml 3.39 0.01
Strategy_outermost_added_08___ExIntrod_GM04_L.xml 2.38 0.00
Strategy_outermost_added_08___ExIntrod_GM04.xml 3.02 0.01
Strategy_outermost_added_08___ExIntrod_GM99_L.xml 2.38 0.00
Strategy_outermost_added_08___ExIntrod_GM99.xml 3.45 0.01
Strategy_outermost_added_08___ExIntrod_Zan97_L.xml 2.38 0.01
Strategy_outermost_added_08___ExIntrod_Zan97.xml 3.22 0.01
Strategy_outermost_added_08___ExIntrod_Zan97_Z.xml 3.27 0.01
Strategy_outermost_added_08___ExSec11_1_Luc02a.xml 4.02 0.01
Strategy_outermost_added_08___ExSec4_2_DLMMU04_L.xml 2.40 0.01
Strategy_outermost_added_08___gkg.xml 2.74 0.01
Strategy_outermost_added_08___jwno1.xml 60.00
Strategy_outermost_added_08___jwno4.xml 60.00
Strategy_outermost_added_08___jwno6.xml 60.00
Strategy_outermost_added_08___LengthOfFiniteLists_complete_L.xml 2.46 0.01
Strategy_outermost_added_08___LengthOfFiniteLists_complete-noand_L.xml 2.49 0.01
Strategy_outermost_added_08___LengthOfFiniteLists_nokinds_L.xml 2.39 0.00
Strategy_outermost_added_08___LengthOfFiniteLists_nokinds-noand_L.xml 2.41 0.01
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts_FR.xml 2.89 0.01
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts_L.xml 2.39 0.00
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts-noand_FR.xml 57.06
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts-noand_L.xml 2.39 0.00
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts-noand_Z.xml 57.20
Strategy_outermost_added_08___LengthOfFiniteLists_nosorts_Z.xml 2.88 0.01
Strategy_outermost_added_08___LISTUTILITIES_complete_L.xml 2.61 0.03
Strategy_outermost_added_08___LISTUTILITIES_complete-noand_L.xml 2.85 0.05
Strategy_outermost_added_08___LISTUTILITIES_nokinds_L.xml 2.48 0.01
Strategy_outermost_added_08___LISTUTILITIES_nokinds-noand_L.xml 2.56 0.02
Strategy_outermost_added_08___LISTUTILITIES_nosorts_L.xml 2.41 0.01
Strategy_outermost_added_08___LISTUTILITIES_nosorts-noand_L.xml 2.46 0.01
Strategy_outermost_added_08___muladd.xml 2.88 0.01
Strategy_outermost_added_08___MYNAT_complete_L.xml 2.44 0.01
Strategy_outermost_added_08___MYNAT_complete-noand_L.xml 2.50 0.01
Strategy_outermost_added_08___MYNAT_nokinds_L.xml 2.40 0.01
Strategy_outermost_added_08___MYNAT_nokinds-noand_L.xml 2.43 0.01
Strategy_outermost_added_08___MYNAT_nosorts_L.xml 2.39 0.00
Strategy_outermost_added_08___MYNAT_nosorts-noand_L.xml 2.38 0.00
Strategy_outermost_added_08___n001.xml 2.85 0.01
Strategy_outermost_added_08___n002.xml 2.66 0.00
Strategy_outermost_added_08___n003.xml 2.63 0.00
Strategy_outermost_added_08___n004.xml 2.66 0.00
Strategy_outermost_added_08___n005.xml 2.63 0.00
Strategy_outermost_added_08___n006.xml 2.66 0.00
Strategy_outermost_added_08___n007.xml 2.74 0.00
Strategy_outermost_added_08___n008.xml 2.70 0.00
Strategy_outermost_added_08___nonTermF.xml 3.47 0.01
Strategy_outermost_added_08___nonterm.xml 60.00
Strategy_outermost_added_08___OvConsOS_complete_L.xml 5.71 0.01
Strategy_outermost_added_08___OvConsOS_complete-noand_L.xml 2.58 0.02
Strategy_outermost_added_08___OvConsOS_nokinds_L.xml 2.42 0.01
Strategy_outermost_added_08___OvConsOS_nokinds-noand_L.xml 2.44 0.01
Strategy_outermost_added_08___OvConsOS_nosorts_FR.xml 4.31 0.01
Strategy_outermost_added_08___OvConsOS_nosorts_L.xml 2.39 0.00
Strategy_outermost_added_08___OvConsOS_nosorts-noand_FR.xml 60.00
Strategy_outermost_added_08___OvConsOS_nosorts-noand_L.xml 2.44 0.01
Strategy_outermost_added_08___OvConsOS_nosorts-noand_Z.xml 60.00
Strategy_outermost_added_08___OvConsOS_nosorts_Z.xml 11.83 0.01
Strategy_outermost_added_08___PALINDROME_complete_L.xml 2.45 0.01
Strategy_outermost_added_08___PALINDROME_complete-noand_L.xml 60.00
Strategy_outermost_added_08___PALINDROME_nokinds_L.xml 2.47 0.01
Strategy_outermost_added_08___PALINDROME_nokinds-noand_L.xml 4.64 0.02
Strategy_outermost_added_08___PALINDROME_nosorts_L.xml 2.39 0.00
Strategy_outermost_added_08___PEANO_complete_L.xml 2.41 0.01
Strategy_outermost_added_08___PEANO_complete-noand_L.xml 2.44 0.01
Strategy_outermost_added_08___PEANO_nokinds_L.xml 2.38 0.00
Strategy_outermost_added_08___PEANO_nokinds-noand_L.xml 2.39 0.01
Strategy_outermost_added_08___PEANO_nosorts_L.xml 2.39 0.00
Strategy_outermost_added_08___PEANO_nosorts-noand_L.xml 2.37 0.00
Strategy_outermost_added_08___round_nonterm.xml 2.94 0.01
Strategy_outermost_added_08___termMonTypes.xml 2.89 0.01
Strategy_outermost_added_08___test10.xml 2.91 0.01
Strategy_outermost_added_08___test75.xml 60.00
Strategy_outermost_added_08___test76.xml 10.41
Strategy_outermost_added_08___test9.xml 2.07
Strategy_outermost_added_08___toyama.xml 2.56 0.00
Strategy_outermost_added_08___ttt1.xml 2.71
Strategy_outermost_added_08___ttt2.xml 2.78 0.01
Strategy_outermost_added_08___TypeEx5.xml 2.79 0.01
Strategy_removed_AG01___4.12a.xml 2.06
Strategy_removed_AG01___4.13.xml 2.64 0.01
Strategy_removed_AG01___4.14.xml 2.66 0.01
Strategy_removed_AG01___4.15.xml 2.73 0.01
Strategy_removed_AG01___4.16.xml 2.65 0.01
Strategy_removed_AG01___4.17.xml 3.81 0.01
Strategy_removed_AG01___4.18.xml 3.91 0.01
Strategy_removed_AG01___4.2.xml 2.69 0.01
Strategy_removed_AG01___4.3.xml 2.58 0.01
Strategy_removed_AG01___4.4.xml 2.64 0.01
Strategy_removed_AG01___4.7.xml 2.85 0.01
Strategy_removed_CSR_05___Ex1_2_AEL03.xml 3.55 0.01
Strategy_removed_CSR_05___Ex1_2_Luc02c.xml 2.75 0.00
Strategy_removed_CSR_05___Ex14_AEGL02.xml 2.83 0.01
Strategy_removed_CSR_05___Ex15_Luc98.xml 2.94 0.01
Strategy_removed_CSR_05___Ex1_GL02a.xml 3.25 0.01
Strategy_removed_CSR_05___Ex1_GM03.xml 3.03 0.01
Strategy_removed_CSR_05___Ex1_GM99.xml 2.57 0.00
Strategy_removed_CSR_05___Ex1_Luc02b.xml 2.91 0.01
Strategy_removed_CSR_05___Ex1_Zan97.xml 2.70 0.01
Strategy_removed_CSR_05___Ex24_GM04.xml 2.58 0.00
Strategy_removed_CSR_05___Ex26_Luc03b.xml 3.60 0.01
Strategy_removed_CSR_05___Ex2_Luc03b.xml 3.50 0.01
Strategy_removed_CSR_05___Ex3_12_Luc96a.xml 2.80 0.01
Strategy_removed_CSR_05___Ex3_2_Luc97.xml 4.13 0.01
Strategy_removed_CSR_05___Ex3_3_25_Bor03.xml 3.46 0.01
Strategy_removed_CSR_05___Ex4_4_Luc96b.xml 2.71 0.00
Strategy_removed_CSR_05___Ex4_7_15_Bor03.xml 2.86 0.01
Strategy_removed_CSR_05___Ex4_7_37_Bor03.xml 4.59 0.01
Strategy_removed_CSR_05___Ex4_7_56_Bor03.xml 2.76 0.01
Strategy_removed_CSR_05___Ex4_7_77_Bor03.xml 2.85 0.01
Strategy_removed_CSR_05___Ex4_Zan97.xml 2.94 0.01
Strategy_removed_CSR_05___Ex5_7_Luc97.xml 5.29 0.01
Strategy_removed_CSR_05___Ex5_Zan97.xml 2.90 0.01
Strategy_removed_CSR_05___Ex6_15_AEL02.xml 6.30 0.01
Strategy_removed_CSR_05___Ex6_9_Luc02c.xml 2.81 0.01
Strategy_removed_CSR_05___Ex6_GM04.xml 2.72 0.00
Strategy_removed_CSR_05___Ex6_Luc98.xml 2.83 0.01
Strategy_removed_CSR_05___Ex7_BLR02.xml 2.93 0.01
Strategy_removed_CSR_05___Ex8_BLR02.xml 2.92 0.01
Strategy_removed_CSR_05___Ex9_BLR02.xml 3.33 0.01
Strategy_removed_CSR_05___ExAppendixB_AEL03.xml 3.28 0.01
Strategy_removed_CSR_05___ExConc_Zan97.xml 2.74 0.00
Strategy_removed_CSR_05___ExIntrod_GM01.xml 3.34 0.01
Strategy_removed_CSR_05___ExIntrod_GM04.xml 3.00 0.01
Strategy_removed_CSR_05___ExIntrod_GM99.xml 3.95 0.01
Strategy_removed_CSR_05___ExIntrod_Zan97.xml 3.15 0.01
Strategy_removed_mixed_05___ex1.xml 2.87 0.00
Strategy_removed_mixed_05___ex2.xml 2.74 0.00
Strategy_removed_mixed_05___ex3.xml 2.81 0.00
Strategy_removed_mixed_05___ex4.xml 2.79 0.00
Strategy_removed_mixed_05___ex5.xml 2.86 0.00
Strategy_removed_mixed_05___ex6.xml 2.32
Strategy_removed_mixed_05___ExSec11_1_Luc02a.xml 3.53 0.01
Strategy_removed_mixed_05___gkg.xml 2.73 0.01
Strategy_removed_mixed_05___muladd.xml 2.84 0.01
Strategy_removed_mixed_05___n001.xml 2.85 0.01
Strategy_removed_mixed_05___test10.xml 2.90 0.01
Strategy_removed_mixed_05___test75.xml 60.00
Strategy_removed_mixed_05___test76.xml 11.73
Strategy_removed_mixed_05___test77.xml 60.00
Strategy_removed_mixed_05___test9.xml 2.07
Strategy_removed_mixed_05___toyama.xml 2.55 0.00
Trafo_06___un04.xml 60.00
Transformed_CSR_04___Ex1_2_AEL03_L.xml 2.45 0.01
Transformed_CSR_04___Ex1_2_Luc02c_L.xml 2.38 0.00
Transformed_CSR_04___Ex14_AEGL02_FR.xml 60.00
Transformed_CSR_04___Ex14_AEGL02_L.xml 2.73 0.00
Transformed_CSR_04___Ex14_AEGL02_Z.xml 60.00
Transformed_CSR_04___Ex14_Luc06_FR.xml 2.80 0.01
Transformed_CSR_04___Ex14_Luc06_GM.xml 13.18
Transformed_CSR_04___Ex14_Luc06_L.xml 2.73 0.01
Transformed_CSR_04___Ex15_Luc06_L.xml 2.71 0.00
Transformed_CSR_04___Ex15_Luc98_L.xml 2.38 0.01
Transformed_CSR_04___Ex16_Luc06_L.xml 2.76 0.00
Transformed_CSR_04___Ex1_GL02a_L.xml 2.85 0.01
Transformed_CSR_04___Ex1_GL02a_Z.xml 60.00
Transformed_CSR_04___Ex1_GM03_L.xml 2.41 0.00
Transformed_CSR_04___Ex1_GM03_Z.xml 3.12 0.01
Transformed_CSR_04___Ex1_GM99_FR.xml 2.64 0.01
Transformed_CSR_04___Ex1_GM99_GM.xml 2.96 0.01
Transformed_CSR_04___Ex1_GM99_iGM.xml 60.00
Transformed_CSR_04___Ex1_GM99_L.xml 2.83 0.00
Transformed_CSR_04___Ex1_Luc02b_L.xml 2.39 0.00
Transformed_CSR_04___Ex1_Luc04b_FR.xml 3.39 0.01
Transformed_CSR_04___Ex1_Luc04b_L.xml 2.38 0.00
Transformed_CSR_04___Ex1_Luc04b_Z.xml 3.17 0.01
Transformed_CSR_04___Ex1_Zan97_FR.xml 2.88 0.01
Transformed_CSR_04___Ex1_Zan97_L.xml 2.84 0.00
Transformed_CSR_04___Ex24_GM04_GM.xml 2.85 0.01
Transformed_CSR_04___Ex24_GM04_L.xml 2.88 0.00
Transformed_CSR_04___Ex24_GM04_Z.xml 2.58
Transformed_CSR_04___Ex24_Luc06_FR.xml 2.77 0.01
Transformed_CSR_04___Ex24_Luc06_GM.xml 3.08 0.01
Transformed_CSR_04___Ex24_Luc06_iGM.xml 60.00
Transformed_CSR_04___Ex24_Luc06_L.xml 1.80
Transformed_CSR_04___Ex3_12_Luc96a_L.xml 2.38 0.00
Transformed_CSR_04___Ex3_2_Luc97_L.xml 2.38 0.00
Transformed_CSR_04___Ex3_3_25_Bor03_Z.xml 3.23 0.01
Transformed_CSR_04___Ex4_4_Luc96b_FR.xml 2.81 0.01
Transformed_CSR_04___Ex4_4_Luc96b_Z.xml 60.00
Transformed_CSR_04___Ex4_7_37_Bor03_L.xml 2.41 0.01
Transformed_CSR_04___Ex4_7_56_Bor03_L.xml 2.37 0.00
Transformed_CSR_04___Ex4_7_77_Bor03_L.xml 2.39 0.00
Transformed_CSR_04___Ex49_GM04_L.xml 2.38 0.01
Transformed_CSR_04___Ex4_DLMMU04_FR.xml 60.00
Transformed_CSR_04___Ex4_DLMMU04_L.xml 2.43 0.01
Transformed_CSR_04___Ex4_DLMMU04_Z.xml 60.00
Transformed_CSR_04___Ex4_Zan97_L.xml 2.41 0.00
Transformed_CSR_04___Ex5_7_Luc97_L.xml 2.41 0.01
Transformed_CSR_04___Ex5_DLMMU04_FR.xml 6.12 0.11
Transformed_CSR_04___Ex5_DLMMU04_L.xml 2.39 0.01
Transformed_CSR_04___Ex5_DLMMU04_Z.xml 5.01 0.03
Transformed_CSR_04___Ex5_Zan97_L.xml 2.39 0.00
Transformed_CSR_04___Ex6_15_AEL02_FR.xml 60.00
Transformed_CSR_04___Ex6_15_AEL02_L.xml 2.44 0.01
Transformed_CSR_04___Ex6_15_AEL02_Z.xml 60.00
Transformed_CSR_04___Ex6_9_Luc02c_L.xml 2.39 0.00
Transformed_CSR_04___Ex6_GM04_FR.xml 2.91 0.01
Transformed_CSR_04___Ex7_BLR02_L.xml 2.38 0.00
Transformed_CSR_04___Ex8_BLR02_L.xml 2.40 0.00
Transformed_CSR_04___Ex9_Luc04_FR.xml 2.62 0.01
Transformed_CSR_04___Ex9_Luc04_GM.xml 60.00
Transformed_CSR_04___Ex9_Luc04_L.xml 2.75 0.00
Transformed_CSR_04___Ex9_Luc06_FR.xml 3.08 0.01
Transformed_CSR_04___ExAppendixB_AEL03_L.xml 2.42 0.01
Transformed_CSR_04___ExConc_Zan97_Z.xml 2.78 0.01
Transformed_CSR_04___ExIntrod_GM01_FR.xml 60.00
Transformed_CSR_04___ExIntrod_GM01_L.xml 2.40 0.00
Transformed_CSR_04___ExIntrod_GM01_Z.xml 6.11 0.02
Transformed_CSR_04___ExIntrod_GM04_FR.xml 60.00
Transformed_CSR_04___ExIntrod_GM04_L.xml 2.41 0.00
Transformed_CSR_04___ExIntrod_GM04_Z.xml 60.00
Transformed_CSR_04___ExIntrod_GM99_L.xml 2.41 0.01
Transformed_CSR_04___ExIntrod_GM99_Z.xml 3.91 0.02
Transformed_CSR_04___ExIntrod_Zan97_L.xml 2.39 0.01
Transformed_CSR_04___ExIntrod_Zan97_Z.xml 3.24 0.01
Transformed_CSR_04___ExSec4_2_DLMMU04_L.xml 2.41 0.01
Transformed_CSR_04___LengthOfFiniteLists_complete_L.xml 2.44 0.01
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_FR.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_L.xml 2.52 0.01
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_Z.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_FR.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_L.xml 2.40 0.01
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_FR.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_L.xml 2.43 0.01
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_Z.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_Z.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_C.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_FR.xml 2.95 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_GM.xml 4.13 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_iGM.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_L.xml 2.40 0.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_C.xml 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts-noand_FR.xml 57.17
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_GM.xml 4.22 0.02
Transformed_CSR_04___LengthOfFiniteLists_nosorts-noand_L.xml 2.37 0.00
Transformed_CSR_04___LISTUTILITIES_complete_L.xml 2.61 0.03
Transformed_CSR_04___LISTUTILITIES_complete-noand_L.xml 2.79 0.05
Transformed_CSR_04___LISTUTILITIES_nokinds_L.xml 2.47 0.01
Transformed_CSR_04___LISTUTILITIES_nokinds-noand_L.xml 2.55 0.02
Transformed_CSR_04___LISTUTILITIES_nosorts_L.xml 2.41 0.01
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_L.xml 2.46 0.01
Transformed_CSR_04___MYNAT_complete_L.xml 2.43 0.01
Transformed_CSR_04___MYNAT_complete-noand_L.xml 2.65 0.01
Transformed_CSR_04___MYNAT_nokinds_L.xml 2.40 0.01
Transformed_CSR_04___MYNAT_nokinds-noand_L.xml 2.41 0.01
Transformed_CSR_04___MYNAT_nosorts_L.xml 2.39 0.00
Transformed_CSR_04___MYNAT_nosorts-noand_L.xml 2.38 0.01
Transformed_CSR_04___OvConsOS_complete_L.xml 2.48 0.01
Transformed_CSR_04___OvConsOS_complete-noand_L.xml 2.56 0.02
Transformed_CSR_04___OvConsOS_nokinds_L.xml 2.41 0.01
Transformed_CSR_04___OvConsOS_nokinds-noand_FR.xml 60.00
Transformed_CSR_04___OvConsOS_nokinds-noand_L.xml 2.47 0.01
Transformed_CSR_04___OvConsOS_nokinds-noand_Z.xml 60.00
Transformed_CSR_04___OvConsOS_nokinds_Z.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts_C.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts_FR.xml 3.64 0.01
Transformed_CSR_04___OvConsOS_nosorts_GM.xml 5.32 0.03
Transformed_CSR_04___OvConsOS_nosorts_iGM.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts_L.xml 2.40 0.01
Transformed_CSR_04___OvConsOS_nosorts_noand_C.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts-noand_FR.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts_noand_GM.xml 6.66 0.05
Transformed_CSR_04___OvConsOS_nosorts-noand_L.xml 2.40 0.01
Transformed_CSR_04___OvConsOS_nosorts-noand_Z.xml 60.00
Transformed_CSR_04___OvConsOS_nosorts_Z.xml 11.83 0.01
Transformed_CSR_04___PALINDROME_complete_L.xml 2.48 0.01
Transformed_CSR_04___PALINDROME_complete-noand_L.xml 60.00
Transformed_CSR_04___PALINDROME_nokinds_L.xml 2.48 0.01
Transformed_CSR_04___PALINDROME_nokinds-noand_L.xml 4.45 0.02
Transformed_CSR_04___PALINDROME_nosorts_L.xml 2.38 0.01
Transformed_CSR_04___PEANO_complete_L.xml 2.40 0.01
Transformed_CSR_04___PEANO_complete-noand_L.xml 2.43 0.01
Transformed_CSR_04___PEANO_nokinds_L.xml 2.37 0.00
Transformed_CSR_04___PEANO_nokinds-noand_L.xml 2.39 0.00
Transformed_CSR_04___PEANO_nosorts_L.xml 2.39 0.00
Transformed_CSR_04___PEANO_nosorts-noand_L.xml 2.39 0.00
Transformed_CSR_innermost_04___LengthOfFiniteLists_nosorts_GM.xml 4.08 0.01
Transformed_CSR_innermost_04___LengthOfFiniteLists_nosorts_noand_GM.xml 4.49 0.02
Transformed_CSR_innermost_04___OvConsOS_nosorts_GM.xml 5.63 0.03
Transformed_CSR_innermost_04___OvConsOS_nosorts_noand_GM.xml 6.61 0.05
Waldmann_06___jwno1.xml 60.00
Waldmann_06___jwno4.xml 60.00
Waldmann_06___jwno6.xml 60.00
Waldmann_06___jwno9.xml 60.00
Waldmann_06_relative___r10.xml 3.06 0.01
Waldmann_06_SRS___uni-2.xml 60.00
Waldmann_06_SRS___uni-3.xml 2.95 0.01
Waldmann_06_SRS___uni-4.xml 2.78 0.01
Waldmann_06_SRS___uni-6.xml 60.00
Waldmann_07_size11___size-11-alpha-3-num-15.xml 60.00
Waldmann_07_size11___size-11-alpha-3-num-18.xml 2.84 0.01
Waldmann_07_size11___size-11-alpha-3-num-1.xml 60.00
Waldmann_07_size11___size-11-alpha-3-num-21.xml 2.79 0.01
Waldmann_07_size11___size-11-alpha-3-num-4.xml 2.81 0.01
Waldmann_07_size12___size-12-alpha-2-num-20.xml 2.78 0.01
Waldmann_07_size12___size-12-alpha-3-num-100.xml 2.76 0.01
Waldmann_07_size12___size-12-alpha-3-num-101.xml 2.79 0.01
Waldmann_07_size12___size-12-alpha-3-num-11.xml 2.90 0.01
Waldmann_07_size12___size-12-alpha-3-num-127.xml 2.73 0.01
Waldmann_07_size12___size-12-alpha-3-num-129.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-135.xml 2.79 0.01
Waldmann_07_size12___size-12-alpha-3-num-140.xml 2.90 0.01
Waldmann_07_size12___size-12-alpha-3-num-146.xml 2.86 0.01
Waldmann_07_size12___size-12-alpha-3-num-158.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-159.xml 2.83 0.01
Waldmann_07_size12___size-12-alpha-3-num-160.xml 2.86 0.01
Waldmann_07_size12___size-12-alpha-3-num-170.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-177.xml 2.81 0.01
Waldmann_07_size12___size-12-alpha-3-num-178.xml 2.88 0.01
Waldmann_07_size12___size-12-alpha-3-num-179.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-181.xml 2.82 0.01
Waldmann_07_size12___size-12-alpha-3-num-195.xml 2.87 0.01
Waldmann_07_size12___size-12-alpha-3-num-206.xml 2.81 0.01
Waldmann_07_size12___size-12-alpha-3-num-207.xml 2.83 0.01
Waldmann_07_size12___size-12-alpha-3-num-20.xml 2.87 0.01
Waldmann_07_size12___size-12-alpha-3-num-217.xml 2.76 0.01
Waldmann_07_size12___size-12-alpha-3-num-21.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-224.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-227.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-22.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-233.xml 2.82 0.01
Waldmann_07_size12___size-12-alpha-3-num-239.xml 2.74 0.01
Waldmann_07_size12___size-12-alpha-3-num-23.xml 2.79 0.01
Waldmann_07_size12___size-12-alpha-3-num-241.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-243.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-249.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-257.xml 2.87 0.01
Waldmann_07_size12___size-12-alpha-3-num-260.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-270.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-298.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-328.xml 2.79 0.01
Waldmann_07_size12___size-12-alpha-3-num-339.xml 5.10 0.01
Waldmann_07_size12___size-12-alpha-3-num-353.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-362.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-368.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-369.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-373.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-378.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-382.xml 3.92 0.01
Waldmann_07_size12___size-12-alpha-3-num-383.xml 3.21 0.01
Waldmann_07_size12___size-12-alpha-3-num-385.xml 4.69 0.01
Waldmann_07_size12___size-12-alpha-3-num-3.xml 2.75 0.01
Waldmann_07_size12___size-12-alpha-3-num-401.xml 7.49 0.01
Waldmann_07_size12___size-12-alpha-3-num-402.xml 5.89 0.01
Waldmann_07_size12___size-12-alpha-3-num-406.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-410.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-450.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-474.xml 3.20 0.01
Waldmann_07_size12___size-12-alpha-3-num-475.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-47.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-488.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-491.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-492.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-493.xml 3.03 0.01
Waldmann_07_size12___size-12-alpha-3-num-497.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-511.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-522.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-558.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-564.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-566.xml 60.00
Waldmann_07_size12___size-12-alpha-3-num-7.xml 3.03 0.01
Waldmann_07_size12___size-12-alpha-3-num-83.xml 2.77 0.01
Waldmann_07_size12___size-12-alpha-3-num-90.xml 2.80 0.01
Waldmann_07_size12___size-12-alpha-3-num-95.xml 2.72 0.01
Waldmann_07_size12___size-12-alpha-3-num-99.xml 2.77 0.01
Zantema_04___z042.xml 60.00
Zantema_04___z044.xml 60.00
Zantema_04___z046.xml 60.00
Zantema_04___z073.xml 60.00
Zantema_04___z096.xml 12.74 0.01
Zantema_04___z127.xml 3.50 0.01
Zantema_04___z128.xml 60.00
Zantema_06___loop1.xml 60.00
Zantema_06___loop2.xml 60.00
Zantema_06_relative___rel02.xml 2.85 0.01
Zantema_06_relative___rel09.xml 4.59 0.01
Zantema_06_relative___rel10.xml 3.43 0.01
Zantema_08___assoc_c_rhs.xml 2.74 0.01
Zantema_08___assoc_f_rhs.xml 2.80 0.00
Zantema_08___bintree.xml 2.75 0.00
Zantema_08___cariboo_nl_1.xml 2.78 0.01
Zantema_08___cariboo_nl_3.xml 2.85 0.01
Zantema_08___cariboo_nl_5.xml 2.72 0.00
Zantema_08___countbin.xml 2.72 0.00
Zantema_08___countter.xml 2.82 0.00
Zantema_08___ex1.xml 2.77 0.01
Zantema_08___ex2.xml 2.81 0.01
Zantema_08___ex6.xml 2.72 0.00
Zantema_08___ex7.xml 2.70 0.00
Zantema_08___f_2_1.xml 2.70 0.00
Zantema_08___f_2_2.xml 2.79 0.00
Zantema_08___f_5.xml 2.70 0.00
Zantema_08___ffb_SL.xml 2.76 0.00
Zantema_08___ffg.xml 2.82 0.00
Zantema_08___fg.xml 2.79 0.00
Zantema_08___g_2_const.xml 2.71 0.00
Zantema_08___g_2_f_var.xml 2.80 0.00
Zantema_08___inn_out.xml 3.03
Zantema_08___outermost_gr.xml 2.91 0.01
Zantema_08___toyama_out.xml 2.57 0.00