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 |