TRS_Outermost/Mixed_outermost/afbg.xml
|
.
538.6 /
300.0
|
TRS_Outermost/Mixed_outermost/even.xml
|
NO
2.0 /
1.2
|
TRS_Outermost/Mixed_outermost/ex1.xml
|
YES
3.9 /
1.7
|
TRS_Outermost/Mixed_outermost/ex2.xml
|
.
210.7 /
128.2
|
TRS_Outermost/Mixed_outermost/ex3.xml
|
.
352.7 /
267.1
|
TRS_Outermost/Mixed_outermost/ex4.xml
|
YES
6.4 /
2.4
|
TRS_Outermost/Mixed_outermost/ex5.xml
|
YES
2.7 /
1.4
|
TRS_Outermost/Mixed_outermost/ex6.xml
|
YES
53.1 /
16.4
|
TRS_Outermost/Mixed_outermost/gfb.xml
|
.
387.1 /
300.1
|
TRS_Outermost/Mixed_outermost/non-lin1.xml
|
YES
3.1 /
1.5
|
TRS_Outermost/Mixed_outermost/non-lin2.xml
|
.
152.4 /
131.8
|
TRS_Outermost/Mixed_outermost/non-lin3.xml
|
.
163.2 /
145.9
|
TRS_Outermost/Mixed_outermost/odd.xml
|
YES
375.8 /
260.0
|
TRS_Outermost/Mixed_outermost/patterns1.xml
|
.
462.2 /
300.0
|
TRS_Outermost/Mixed_outermost/patterns2.xml
|
.
434.4 /
300.0
|
S_Outermost/Strategy_outermost_added_08/#4.12a.xml
|
NO
1.9 /
1.1
|
RS_Outermost/Strategy_outermost_added_08/#4.13.xml
|
YES
52.3 /
23.4
|
RS_Outermost/Strategy_outermost_added_08/#4.14.xml
|
NO
1.7 /
1.1
|
RS_Outermost/Strategy_outermost_added_08/#4.15.xml
|
NO
1.9 /
1.1
|
RS_Outermost/Strategy_outermost_added_08/#4.16.xml
|
NO
1.8 /
1.2
|
RS_Outermost/Strategy_outermost_added_08/#4.17.xml
|
NO
2.1 /
1.2
|
RS_Outermost/Strategy_outermost_added_08/#4.18.xml
|
NO
1.7 /
1.1
|
TRS_Outermost/Strategy_outermost_added_08/#4.2.xml
|
NO
2.2 /
1.3
|
TRS_Outermost/Strategy_outermost_added_08/#4.3.xml
|
NO
1.9 /
1.9
|
TRS_Outermost/Strategy_outermost_added_08/#4.4.xml
|
NO
1.9 /
1.7
|
TRS_Outermost/Strategy_outermost_added_08/#4.7.xml
|
NO
1.8 /
1.2
|
TRS_Outermost/Strategy_outermost_added_08/001.xml
|
NO
1.9 /
1.1
|
TRS_Outermost/Strategy_outermost_added_08/003.xml
|
NO
2.2 /
1.7
|
TRS_Outermost/Strategy_outermost_added_08/2.05.xml
|
NO
2.6 /
1.5
|
TRS_Outermost/Strategy_outermost_added_08/4.06.xml
|
NO
1.9 /
1.1
|
TRS_Outermost/Strategy_outermost_added_08/4.34.xml
|
NO
2.0 /
1.6
|
TRS_Outermost/Strategy_outermost_added_08/4.40.xml
|
NO
24.7 /
8.0
|
TRS_Outermost/Strategy_outermost_added_08/4.49.xml
|
NO
1.9 /
2.4
|
TRS_Outermost/Strategy_outermost_added_08/4.54.xml
|
NO
1.9 /
1.7
|
ermost/Strategy_outermost_added_08/Ex14_AEGL02.xml
|
NO
1.9 /
1.8
|
ost/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml
|
.
510.3 /
300.0
|
most/Strategy_outermost_added_08/Ex14_AEGL02_L.xml
|
NO
1.7 /
1.1
|
most/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml
|
NO
4.6 /
3.0
|
most/Strategy_outermost_added_08/Ex14_Luc06_GM.xml
|
.
533.4 /
300.1
|
rmost/Strategy_outermost_added_08/Ex14_Luc06_L.xml
|
NO
2.0 /
1.8
|
rmost/Strategy_outermost_added_08/Ex14_Luc06_Z.xml
|
NO
7.1 /
4.2
|
rmost/Strategy_outermost_added_08/Ex15_Luc06_L.xml
|
NO
1.6 /
1.1
|
termost/Strategy_outermost_added_08/Ex15_Luc98.xml
|
NO
1.9 /
1.4
|
rmost/Strategy_outermost_added_08/Ex15_Luc98_L.xml
|
NO
1.7 /
1.1
|
rmost/Strategy_outermost_added_08/Ex16_Luc06_L.xml
|
NO
1.7 /
1.1
|
ermost/Strategy_outermost_added_08/Ex1_2_AEL03.xml
|
NO
2.0 /
1.2
|
most/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml
|
NO
1.6 /
1.1
|
rmost/Strategy_outermost_added_08/Ex1_2_Luc02c.xml
|
NO
1.8 /
1.1
|
ost/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml
|
NO
1.6 /
1.1
|
utermost/Strategy_outermost_added_08/Ex1_GL02a.xml
|
NO
1.8 /
1.2
|
ermost/Strategy_outermost_added_08/Ex1_GL02a_L.xml
|
NO
1.7 /
1.1
|
ermost/Strategy_outermost_added_08/Ex1_GL02a_Z.xml
|
YES
122.7 /
53.6
|
Outermost/Strategy_outermost_added_08/Ex1_GM03.xml
|
NO
2.2 /
1.3
|
termost/Strategy_outermost_added_08/Ex1_GM03_L.xml
|
NO
1.6 /
1.1
|
termost/Strategy_outermost_added_08/Ex1_GM03_Z.xml
|
NO
2.2 /
1.3
|
Outermost/Strategy_outermost_added_08/Ex1_GM99.xml
|
NO
1.8 /
1.1
|
ermost/Strategy_outermost_added_08/Ex1_GM99_GM.xml
|
.
434.4 /
300.1
|
termost/Strategy_outermost_added_08/Ex1_GM99_L.xml
|
NO
1.8 /
1.1
|
termost/Strategy_outermost_added_08/Ex1_GM99_Z.xml
|
NO
2.7 /
3.3
|
rmost/Strategy_outermost_added_08/Ex1_GM99_iGM.xml
|
.
579.0 /
300.0
|
termost/Strategy_outermost_added_08/Ex1_Luc02b.xml
|
NO
1.9 /
1.2
|
rmost/Strategy_outermost_added_08/Ex1_Luc02b_L.xml
|
NO
1.6 /
1.2
|
most/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml
|
YES
286.0 /
110.2
|
rmost/Strategy_outermost_added_08/Ex1_Luc04b_L.xml
|
NO
1.8 /
1.6
|
rmost/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml
|
NO
1.7 /
1.1
|
utermost/Strategy_outermost_added_08/Ex1_Zan97.xml
|
NO
1.9 /
2.7
|
ermost/Strategy_outermost_added_08/Ex1_Zan97_L.xml
|
NO
1.8 /
1.6
|
ermost/Strategy_outermost_added_08/Ex1_Zan97_Z.xml
|
NO
2.2 /
1.6
|
utermost/Strategy_outermost_added_08/Ex24_GM04.xml
|
.
92.4 /
74.6
|
rmost/Strategy_outermost_added_08/Ex24_GM04_GM.xml
|
.
514.4 /
300.0
|
ermost/Strategy_outermost_added_08/Ex24_GM04_L.xml
|
NO
1.7 /
1.1
|
most/Strategy_outermost_added_08/Ex24_Luc06_GM.xml
|
YES
10.7 /
3.6
|
rmost/Strategy_outermost_added_08/Ex24_Luc06_Z.xml
|
NO
2.1 /
1.5
|
ost/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml
|
.
492.3 /
300.1
|
ermost/Strategy_outermost_added_08/Ex26_Luc03b.xml
|
NO
2.0 /
1.3
|
rategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml
|
NO
2.1 /
1.3
|
termost/Strategy_outermost_added_08/Ex2_Luc03b.xml
|
NO
1.9 /
1.2
|
most/Strategy_outermost_added_08/Ex3_12_Luc96a.xml
|
NO
1.7 /
1.1
|
st/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml
|
NO
1.7 /
1.2
|
ermost/Strategy_outermost_added_08/Ex3_2_Luc97.xml
|
NO
1.9 /
1.2
|
most/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml
|
NO
1.6 /
1.1
|
ost/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml
|
NO
1.9 /
1.2
|
t/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml
|
NO
2.2 /
2.5
|
ermost/Strategy_outermost_added_08/Ex49_GM04_L.xml
|
NO
1.6 /
1.2
|
rmost/Strategy_outermost_added_08/Ex4_4_Luc96b.xml
|
NO
1.7 /
1.1
|
st/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml
|
.
531.4 /
300.1
|
ost/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml
|
.
516.6 /
300.0
|
ost/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml
|
NO
1.8 /
1.2
|
ost/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml
|
NO
2.0 /
1.3
|
t/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml
|
NO
1.6 /
1.1
|
ost/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml
|
NO
1.8 /
1.8
|
t/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml
|
NO
1.7 /
1.1
|
ost/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml
|
NO
1.7 /
1.1
|
t/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml
|
NO
1.6 /
1.1
|
ost/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml
|
NO
43.1 /
14.1
|
most/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml
|
NO
1.7 /
2.0
|
most/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml
|
NO
38.9 /
11.7
|
utermost/Strategy_outermost_added_08/Ex4_Zan97.xml
|
NO
1.9 /
2.1
|
ermost/Strategy_outermost_added_08/Ex4_Zan97_L.xml
|
NO
1.6 /
1.1
|
ermost/Strategy_outermost_added_08/Ex5_7_Luc97.xml
|
NO
2.2 /
1.2
|
most/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml
|
NO
1.8 /
1.7
|
ost/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml
|
.
558.0 /
300.0
|
most/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml
|
NO
1.6 /
1.2
|
most/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml
|
.
642.0 /
300.1
|
utermost/Strategy_outermost_added_08/Ex5_Zan97.xml
|
YES
155.9 /
72.5
|
ermost/Strategy_outermost_added_08/Ex5_Zan97_L.xml
|
NO
1.6 /
1.1
|
rmost/Strategy_outermost_added_08/Ex6_15_AEL02.xml
|
NO
2.3 /
1.5
|
ost/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml
|
NO
1.7 /
1.2
|
ost/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml
|
NO
53.3 /
32.2
|
rmost/Strategy_outermost_added_08/Ex6_9_Luc02c.xml
|
NO
1.7 /
1.1
|
ost/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml
|
NO
1.7 /
1.1
|
Outermost/Strategy_outermost_added_08/Ex6_GM04.xml
|
.
293.6 /
237.2
|
termost/Strategy_outermost_added_08/Ex6_GM04_Z.xml
|
.
409.7 /
274.7
|
utermost/Strategy_outermost_added_08/Ex6_Luc98.xml
|
NO
1.8 /
1.1
|
utermost/Strategy_outermost_added_08/Ex7_BLR02.xml
|
NO
1.8 /
1.2
|
ermost/Strategy_outermost_added_08/Ex7_BLR02_L.xml
|
NO
1.7 /
1.1
|
utermost/Strategy_outermost_added_08/Ex8_BLR02.xml
|
NO
1.8 /
1.1
|
ermost/Strategy_outermost_added_08/Ex8_BLR02_L.xml
|
NO
1.6 /
1.1
|
utermost/Strategy_outermost_added_08/Ex9_BLR02.xml
|
NO
1.9 /
1.2
|
rmost/Strategy_outermost_added_08/Ex9_Luc04_GM.xml
|
.
492.4 /
300.1
|
ermost/Strategy_outermost_added_08/Ex9_Luc04_L.xml
|
NO
1.7 /
1.1
|
ermost/Strategy_outermost_added_08/Ex9_Luc04_Z.xml
|
NO
2.1 /
1.5
|
ermost/Strategy_outermost_added_08/Ex9_Luc06_L.xml
|
NO
1.7 /
1.2
|
ermost/Strategy_outermost_added_08/Ex9_Luc06_Z.xml
|
NO
2.1 /
1.6
|
/Strategy_outermost_added_08/ExAppendixB_AEL03.xml
|
NO
2.0 /
1.2
|
trategy_outermost_added_08/ExAppendixB_AEL03_L.xml
|
NO
1.7 /
1.2
|
rmost/Strategy_outermost_added_08/ExConc_Zan97.xml
|
NO
1.7 /
1.1
|
ost/Strategy_outermost_added_08/ExConc_Zan97_Z.xml
|
NO
1.7 /
1.4
|
most/Strategy_outermost_added_08/ExIntrod_GM01.xml
|
NO
1.8 /
1.1
|
t/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml
|
.
541.2 /
300.0
|
st/Strategy_outermost_added_08/ExIntrod_GM01_L.xml
|
NO
1.6 /
1.1
|
st/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml
|
.
627.2 /
300.0
|
most/Strategy_outermost_added_08/ExIntrod_GM04.xml
|
NO
2.1 /
2.2
|
t/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml
|
.
556.9 /
300.0
|
st/Strategy_outermost_added_08/ExIntrod_GM04_L.xml
|
NO
1.8 /
2.8
|
st/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml
|
.
589.1 /
300.1
|
most/Strategy_outermost_added_08/ExIntrod_GM99.xml
|
NO
2.0 /
1.4
|
st/Strategy_outermost_added_08/ExIntrod_GM99_L.xml
|
NO
1.8 /
1.4
|
st/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml
|
.
434.4 /
300.0
|
ost/Strategy_outermost_added_08/ExIntrod_Zan97.xml
|
NO
2.0 /
1.2
|
t/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml
|
NO
1.7 /
2.6
|
t/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml
|
NO
2.2 /
1.3
|
t/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml
|
NO
2.1 /
2.1
|
Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml
|
NO
1.7 /
1.2
|
_Outermost/Strategy_outermost_added_08/Hamming.xml
|
.
425.9 /
300.0
|
ermost_added_08/LISTUTILITIES_complete-noand_L.xml
|
NO
2.2 /
1.4
|
gy_outermost_added_08/LISTUTILITIES_complete_L.xml
|
NO
1.9 /
1.3
|
termost_added_08/LISTUTILITIES_nokinds-noand_L.xml
|
NO
1.9 /
1.3
|
egy_outermost_added_08/LISTUTILITIES_nokinds_L.xml
|
NO
1.8 /
1.2
|
termost_added_08/LISTUTILITIES_nosorts-noand_L.xml
|
NO
1.7 /
1.2
|
egy_outermost_added_08/LISTUTILITIES_nosorts_L.xml
|
NO
1.7 /
1.4
|
added_08/LengthOfFiniteLists_complete-noand_FR.xml
|
.
658.4 /
300.0
|
_added_08/LengthOfFiniteLists_complete-noand_L.xml
|
NO
1.8 /
1.3
|
_added_08/LengthOfFiniteLists_complete-noand_Z.xml
|
.
620.2 /
300.0
|
ermost_added_08/LengthOfFiniteLists_complete_L.xml
|
NO
1.7 /
1.2
|
_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml
|
.
570.5 /
300.0
|
t_added_08/LengthOfFiniteLists_nokinds-noand_L.xml
|
NO
1.7 /
1.3
|
t_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml
|
.
527.5 /
300.0
|
ermost_added_08/LengthOfFiniteLists_nokinds_FR.xml
|
.
553.7 /
300.1
|
termost_added_08/LengthOfFiniteLists_nokinds_L.xml
|
NO
1.6 /
1.1
|
termost_added_08/LengthOfFiniteLists_nokinds_Z.xml
|
.
623.6 /
300.0
|
t_added_08/LengthOfFiniteLists_nosorts-noand_L.xml
|
NO
1.8 /
1.5
|
t_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml
|
NO
4.6 /
2.4
|
ermost_added_08/LengthOfFiniteLists_nosorts_GM.xml
|
YES
89.8 /
27.1
|
termost_added_08/LengthOfFiniteLists_nosorts_L.xml
|
NO
1.6 /
1.1
|
termost_added_08/LengthOfFiniteLists_nosorts_Z.xml
|
NO
1.9 /
1.2
|
rmost_added_08/LengthOfFiniteLists_nosorts_iGM.xml
|
.
531.7 /
300.1
|
_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml
|
YES
225.3 /
83.8
|
tegy_outermost_added_08/MYNAT_complete-noand_L.xml
|
NO
1.8 /
1.3
|
t/Strategy_outermost_added_08/MYNAT_complete_L.xml
|
NO
1.8 /
1.8
|
ategy_outermost_added_08/MYNAT_nokinds-noand_L.xml
|
NO
1.7 /
1.1
|
st/Strategy_outermost_added_08/MYNAT_nokinds_L.xml
|
NO
1.8 /
1.7
|
ategy_outermost_added_08/MYNAT_nosorts-noand_L.xml
|
NO
1.6 /
1.1
|
st/Strategy_outermost_added_08/MYNAT_nosorts_L.xml
|
NO
1.6 /
1.1
|
y_outermost_added_08/OvConsOS_complete-noand_L.xml
|
NO
1.9 /
1.2
|
trategy_outermost_added_08/OvConsOS_complete_L.xml
|
NO
1.7 /
1.2
|
y_outermost_added_08/OvConsOS_nokinds-noand_FR.xml
|
.
479.7 /
300.1
|
gy_outermost_added_08/OvConsOS_nokinds-noand_L.xml
|
NO
1.8 /
1.2
|
gy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml
|
.
541.5 /
300.1
|
Strategy_outermost_added_08/OvConsOS_nokinds_L.xml
|
NO
1.7 /
1.6
|
y_outermost_added_08/OvConsOS_nosorts-noand_FR.xml
|
NO
47.9 /
15.0
|
gy_outermost_added_08/OvConsOS_nosorts-noand_L.xml
|
NO
1.6 /
1.1
|
gy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml
|
NO
41.2 /
13.3
|
trategy_outermost_added_08/OvConsOS_nosorts_FR.xml
|
NO
2.0 /
1.2
|
trategy_outermost_added_08/OvConsOS_nosorts_GM.xml
|
.
599.1 /
300.1
|
Strategy_outermost_added_08/OvConsOS_nosorts_L.xml
|
NO
1.6 /
1.1
|
Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml
|
NO
2.0 /
1.3
|
y_outermost_added_08/OvConsOS_nosorts_noand_GM.xml
|
.
562.7 /
300.0
|
outermost_added_08/PALINDROME_complete-noand_L.xml
|
NO
2.7 /
1.4
|
ategy_outermost_added_08/PALINDROME_complete_L.xml
|
NO
1.7 /
1.2
|
_outermost_added_08/PALINDROME_nokinds-noand_L.xml
|
NO
2.1 /
1.4
|
rategy_outermost_added_08/PALINDROME_nokinds_L.xml
|
NO
1.8 /
1.9
|
rategy_outermost_added_08/PALINDROME_nosorts_L.xml
|
NO
1.6 /
1.1
|
tegy_outermost_added_08/PEANO_complete-noand_L.xml
|
NO
1.8 /
1.3
|
t/Strategy_outermost_added_08/PEANO_complete_L.xml
|
NO
1.6 /
1.1
|
ategy_outermost_added_08/PEANO_nokinds-noand_L.xml
|
NO
1.8 /
2.0
|
st/Strategy_outermost_added_08/PEANO_nokinds_L.xml
|
NO
1.8 /
2.3
|
ategy_outermost_added_08/PEANO_nosorts-noand_L.xml
|
NO
1.7 /
1.2
|
st/Strategy_outermost_added_08/PEANO_nosorts_L.xml
|
NO
1.7 /
1.3
|
_Outermost/Strategy_outermost_added_08/TypeEx3.xml
|
.
461.5 /
300.0
|
_Outermost/Strategy_outermost_added_08/TypeEx5.xml
|
NO
1.9 /
1.2
|
rmost/Strategy_outermost_added_08/append-wrong.xml
|
.
511.1 /
300.1
|
RS_Outermost/Strategy_outermost_added_08/cime4.xml
|
NO
2.1 /
1.3
|
TRS_Outermost/Strategy_outermost_added_08/gkg.xml
|
NO
1.7 /
1.2
|
RS_Outermost/Strategy_outermost_added_08/jwno1.xml
|
NO
2.2 /
2.9
|
RS_Outermost/Strategy_outermost_added_08/jwno4.xml
|
NO
2.0 /
1.2
|
RS_Outermost/Strategy_outermost_added_08/jwno6.xml
|
NO
2.1 /
1.4
|
RS_Outermost/Strategy_outermost_added_08/jwno9.xml
|
.
293.4 /
154.3
|
S_Outermost/Strategy_outermost_added_08/muladd.xml
|
NO
2.0 /
1.2
|
TRS_Outermost/Strategy_outermost_added_08/n001.xml
|
NO
2.0 /
1.8
|
TRS_Outermost/Strategy_outermost_added_08/n002.xml
|
NO
1.7 /
1.6
|
TRS_Outermost/Strategy_outermost_added_08/n003.xml
|
NO
1.8 /
1.6
|
TRS_Outermost/Strategy_outermost_added_08/n004.xml
|
NO
1.8 /
1.2
|
TRS_Outermost/Strategy_outermost_added_08/n005.xml
|
NO
1.8 /
2.2
|
TRS_Outermost/Strategy_outermost_added_08/n006.xml
|
NO
1.7 /
1.1
|
TRS_Outermost/Strategy_outermost_added_08/n007.xml
|
NO
1.7 /
1.1
|
TRS_Outermost/Strategy_outermost_added_08/n008.xml
|
NO
1.8 /
1.2
|
Outermost/Strategy_outermost_added_08/nonTermF.xml
|
NO
10.3 /
3.4
|
_Outermost/Strategy_outermost_added_08/nonterm.xml
|
.
174.9 /
155.9
|
most/Strategy_outermost_added_08/round_nonterm.xml
|
NO
1.8 /
1.1
|
rmost/Strategy_outermost_added_08/termMonTypes.xml
|
NO
1.9 /
1.3
|
S_Outermost/Strategy_outermost_added_08/test10.xml
|
NO
1.7 /
1.1
|
S_Outermost/Strategy_outermost_added_08/test75.xml
|
NO
2.3 /
1.4
|
S_Outermost/Strategy_outermost_added_08/test76.xml
|
NO
25.4 /
14.7
|
S_Outermost/Strategy_outermost_added_08/test77.xml
|
.
540.6 /
300.1
|
RS_Outermost/Strategy_outermost_added_08/test9.xml
|
NO
2.4 /
1.3
|
termost/Strategy_outermost_added_08/thiemann28.xml
|
.
583.7 /
300.0
|
TRS_Outermost/Strategy_outermost_added_08/ttt1.xml
|
NO
2.0 /
1.2
|
TRS_Outermost/Strategy_outermost_added_08/ttt2.xml
|
NO
1.9 /
1.4
|
TRS_Outermost/Zantema_08/assoc_c_rhs.xml
|
YES
13.6 /
4.4
|
TRS_Outermost/Zantema_08/assoc_f_rhs.xml
|
YES
16.7 /
5.1
|
TRS_Outermost/Zantema_08/bintree.xml
|
YES
5.3 /
2.1
|
TRS_Outermost/Zantema_08/cariboo_add1.xml
|
.
87.8 /
84.0
|
TRS_Outermost/Zantema_08/cariboo_add2.xml
|
YES
4.4 /
2.6
|
TRS_Outermost/Zantema_08/cariboo_add2a.xml
|
YES
9.9 /
3.3
|
TRS_Outermost/Zantema_08/cariboo_add3.xml
|
.
664.3 /
300.1
|
TRS_Outermost/Zantema_08/cariboo_len3.xml
|
.
185.7 /
109.8
|
TRS_Outermost/Zantema_08/cariboo_nl_1.xml
|
.
140.6 /
143.5
|
TRS_Outermost/Zantema_08/cariboo_nl_2.xml
|
.
157.9 /
133.9
|
TRS_Outermost/Zantema_08/cariboo_nl_3.xml
|
.
163.9 /
142.6
|
TRS_Outermost/Zantema_08/cariboo_nl_4.xml
|
.
185.3 /
194.3
|
TRS_Outermost/Zantema_08/cariboo_nl_5.xml
|
YES
3.1 /
1.5
|
TRS_Outermost/Zantema_08/cariboo_nl_6.xml
|
YES
62.1 /
30.5
|
TRS_Outermost/Zantema_08/countbin.xml
|
.
382.7 /
268.7
|
TRS_Outermost/Zantema_08/countter.xml
|
.
320.1 /
300.1
|
TRS_Outermost/Zantema_08/dupl_rhs.xml
|
.
211.0 /
134.9
|
TRS_Outermost/Zantema_08/ex0.xml
|
.
213.8 /
142.1
|
TRS_Outermost/Zantema_08/ex1.xml
|
.
293.0 /
163.2
|
TRS_Outermost/Zantema_08/ex2.xml
|
.
141.4 /
123.8
|
TRS_Outermost/Zantema_08/ex3.xml
|
.
382.4 /
272.2
|
TRS_Outermost/Zantema_08/ex4.xml
|
.
267.2 /
208.8
|
TRS_Outermost/Zantema_08/ex5.xml
|
YES
7.6 /
2.8
|
TRS_Outermost/Zantema_08/ex6.xml
|
.
334.3 /
183.7
|
TRS_Outermost/Zantema_08/ex7.xml
|
.
353.4 /
275.5
|
TRS_Outermost/Zantema_08/ex8.xml
|
YES
3.0 /
1.5
|
TRS_Outermost/Zantema_08/ex9.xml
|
YES
11.6 /
4.4
|
TRS_Outermost/Zantema_08/f_2_1.xml
|
YES
12.6 /
5.4
|
TRS_Outermost/Zantema_08/f_2_2.xml
|
YES
14.0 /
5.0
|
TRS_Outermost/Zantema_08/f_5.xml
|
YES
4.4 /
2.1
|
TRS_Outermost/Zantema_08/f_5_1.xml
|
.
291.1 /
165.3
|
TRS_Outermost/Zantema_08/f_5_2.xml
|
.
299.3 /
170.5
|
TRS_Outermost/Zantema_08/ffb_SL.xml
|
NO
8.9 /
4.1
|
TRS_Outermost/Zantema_08/ffg.xml
|
.
377.9 /
210.5
|
TRS_Outermost/Zantema_08/fg.xml
|
YES
3.5 /
1.7
|
TRS_Outermost/Zantema_08/from_one.xml
|
.
444.0 /
300.0
|
TRS_Outermost/Zantema_08/from_one_a.xml
|
.
446.2 /
300.0
|
TRS_Outermost/Zantema_08/from_three.xml
|
.
466.0 /
300.0
|
TRS_Outermost/Zantema_08/g_2_const.xml
|
YES
2.7 /
1.9
|
TRS_Outermost/Zantema_08/g_2_f_var.xml
|
YES
3.5 /
1.7
|
TRS_Outermost/Zantema_08/inn_out.xml
|
NO
1.7 /
1.1
|
TRS_Outermost/Zantema_08/morse.xml
|
.
598.3 /
300.0
|
TRS_Outermost/Zantema_08/outermost_gr.xml
|
NO
1.7 /
1.1
|
TRS_Outermost/Zantema_08/toyama_out.xml
|
NO
2.0 /
1.7
|
TRS_Outermost/Zantema_08/toyama_stop.xml
|
YES
140.4 /
73.7
|
TRS_Outermost/Zantema_08/toyama_stop2.xml
|
.
664.6 /
300.0
|
TRS_Outermost/Zantema_08/yoyo_2.xml
|
.
401.9 /
266.6
|
TRS_Outermost/Zantema_08/yoyo_3.xml
|
.
384.1 /
200.6
|
TRS_Outermost/Zantema_08/yoyo_3a.xml
|
.
415.3 /
300.0
|
TRS_Outermost/Zantema_08/yoyo_3b.xml
|
.
638.6 /
300.0
|