TRS_Outermost/Mixed_outermost/afbg.xml |
561.9 /
300.0 s
|
TRS_Outermost/Mixed_outermost/even.xml |
0.9 /
0.5 s
|
TRS_Outermost/Mixed_outermost/ex1.xml |
3.2 /
1.2 s
|
TRS_Outermost/Mixed_outermost/ex2.xml |
210.5 /
104.9 s
|
TRS_Outermost/Mixed_outermost/ex3.xml |
391.2 /
211.2 s
|
TRS_Outermost/Mixed_outermost/ex4.xml |
5.4 /
1.8 s
|
TRS_Outermost/Mixed_outermost/ex5.xml |
1.7 /
0.8 s
|
TRS_Outermost/Mixed_outermost/ex6.xml |
49.7 /
14.5 s
|
TRS_Outermost/Mixed_outermost/gfb.xml |
390.6 /
207.9 s
|
TRS_Outermost/Mixed_outermost/non-lin1.xml |
2.4 /
1.0 s
|
TRS_Outermost/Mixed_outermost/non-lin2.xml |
164.5 /
132.0 s
|
TRS_Outermost/Mixed_outermost/non-lin3.xml |
161.2 /
128.9 s
|
TRS_Outermost/Mixed_outermost/odd.xml |
390.8 /
207.1 s
|
TRS_Outermost/Mixed_outermost/patterns1.xml |
495.8 /
300.0 s
|
TRS_Outermost/Mixed_outermost/patterns2.xml |
476.1 /
256.7 s
|
S_Outermost/Strategy_outermost_added_08/#4.12a.xml |
1.2 /
0.6 s
|
RS_Outermost/Strategy_outermost_added_08/#4.13.xml |
48.1 /
18.2 s
|
RS_Outermost/Strategy_outermost_added_08/#4.14.xml |
0.9 /
0.5 s
|
RS_Outermost/Strategy_outermost_added_08/#4.15.xml |
1.1 /
0.6 s
|
RS_Outermost/Strategy_outermost_added_08/#4.16.xml |
0.9 /
0.5 s
|
RS_Outermost/Strategy_outermost_added_08/#4.17.xml |
1.2 /
0.6 s
|
RS_Outermost/Strategy_outermost_added_08/#4.18.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/#4.2.xml |
1.0 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/#4.3.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/#4.4.xml |
0.9 /
0.6 s
|
TRS_Outermost/Strategy_outermost_added_08/#4.7.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/001.xml |
1.2 /
0.6 s
|
TRS_Outermost/Strategy_outermost_added_08/003.xml |
1.0 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/2.05.xml |
1.7 /
0.8 s
|
TRS_Outermost/Strategy_outermost_added_08/4.06.xml |
1.2 /
0.6 s
|
TRS_Outermost/Strategy_outermost_added_08/4.34.xml |
0.8 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/4.40.xml |
21.0 /
5.8 s
|
TRS_Outermost/Strategy_outermost_added_08/4.49.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/4.54.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex14_AEGL02.xml |
0.8 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml |
590.8 /
300.0 s
|
most/Strategy_outermost_added_08/Ex14_AEGL02_L.xml |
0.9 /
0.5 s
|
most/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml |
3.9 /
1.4 s
|
most/Strategy_outermost_added_08/Ex14_Luc06_GM.xml |
550.3 /
300.1 s
|
rmost/Strategy_outermost_added_08/Ex14_Luc06_L.xml |
0.9 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex14_Luc06_Z.xml |
7.5 /
2.4 s
|
rmost/Strategy_outermost_added_08/Ex15_Luc06_L.xml |
0.8 /
0.5 s
|
termost/Strategy_outermost_added_08/Ex15_Luc98.xml |
1.0 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex15_Luc98_L.xml |
0.7 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex16_Luc06_L.xml |
0.8 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_2_AEL03.xml |
1.2 /
0.6 s
|
most/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml |
0.8 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex1_2_Luc02c.xml |
0.8 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml |
0.7 /
0.5 s
|
utermost/Strategy_outermost_added_08/Ex1_GL02a.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_GL02a_L.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_GL02a_Z.xml |
118.0 /
30.8 s
|
Outermost/Strategy_outermost_added_08/Ex1_GM03.xml |
1.0 /
0.5 s
|
termost/Strategy_outermost_added_08/Ex1_GM03_L.xml |
0.7 /
0.5 s
|
termost/Strategy_outermost_added_08/Ex1_GM03_Z.xml |
1.0 /
0.5 s
|
Outermost/Strategy_outermost_added_08/Ex1_GM99.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_GM99_GM.xml |
541.1 /
300.1 s
|
termost/Strategy_outermost_added_08/Ex1_GM99_L.xml |
0.8 /
0.5 s
|
termost/Strategy_outermost_added_08/Ex1_GM99_Z.xml |
1.4 /
0.7 s
|
rmost/Strategy_outermost_added_08/Ex1_GM99_iGM.xml |
623.2 /
300.0 s
|
termost/Strategy_outermost_added_08/Ex1_Luc02b.xml |
0.9 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex1_Luc02b_L.xml |
0.8 /
0.5 s
|
most/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml |
256.4 /
80.4 s
|
rmost/Strategy_outermost_added_08/Ex1_Luc04b_L.xml |
0.7 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml |
0.9 /
0.5 s
|
utermost/Strategy_outermost_added_08/Ex1_Zan97.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_Zan97_L.xml |
0.8 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex1_Zan97_Z.xml |
1.3 /
0.7 s
|
utermost/Strategy_outermost_added_08/Ex24_GM04.xml |
89.1 /
67.7 s
|
rmost/Strategy_outermost_added_08/Ex24_GM04_GM.xml |
592.8 /
300.1 s
|
ermost/Strategy_outermost_added_08/Ex24_GM04_L.xml |
0.8 /
0.5 s
|
most/Strategy_outermost_added_08/Ex24_Luc06_GM.xml |
10.3 /
3.1 s
|
rmost/Strategy_outermost_added_08/Ex24_Luc06_Z.xml |
1.3 /
0.6 s
|
ost/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml |
585.5 /
300.0 s
|
ermost/Strategy_outermost_added_08/Ex26_Luc03b.xml |
1.0 /
0.5 s
|
rategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml |
1.2 /
0.6 s
|
termost/Strategy_outermost_added_08/Ex2_Luc03b.xml |
1.0 /
0.5 s
|
most/Strategy_outermost_added_08/Ex3_12_Luc96a.xml |
0.9 /
0.5 s
|
st/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml |
0.7 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex3_2_Luc97.xml |
0.9 /
0.5 s
|
most/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml |
0.7 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml |
0.9 /
0.5 s
|
t/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml |
1.0 /
0.6 s
|
ermost/Strategy_outermost_added_08/Ex49_GM04_L.xml |
0.7 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex4_4_Luc96b.xml |
0.8 /
0.5 s
|
st/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml |
574.7 /
300.0 s
|
ost/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml |
529.1 /
300.0 s
|
ost/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml |
0.9 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml |
1.2 /
0.6 s
|
t/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml |
0.8 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml |
0.9 /
0.5 s
|
t/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml |
0.7 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml |
0.8 /
0.5 s
|
t/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml |
0.7 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml |
34.8 /
9.4 s
|
most/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml |
0.8 /
0.5 s
|
most/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml |
39.8 /
10.7 s
|
utermost/Strategy_outermost_added_08/Ex4_Zan97.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex4_Zan97_L.xml |
0.8 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex5_7_Luc97.xml |
1.2 /
0.6 s
|
most/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml |
0.8 /
0.6 s
|
ost/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml |
561.5 /
300.0 s
|
most/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml |
0.8 /
0.5 s
|
most/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml |
663.9 /
300.0 s
|
utermost/Strategy_outermost_added_08/Ex5_Zan97.xml |
265.0 /
90.3 s
|
ermost/Strategy_outermost_added_08/Ex5_Zan97_L.xml |
0.7 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex6_15_AEL02.xml |
1.2 /
0.6 s
|
ost/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml |
0.8 /
0.6 s
|
ost/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml |
44.1 /
11.9 s
|
rmost/Strategy_outermost_added_08/Ex6_9_Luc02c.xml |
0.9 /
0.5 s
|
ost/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml |
0.7 /
0.5 s
|
Outermost/Strategy_outermost_added_08/Ex6_GM04.xml |
327.0 /
208.7 s
|
termost/Strategy_outermost_added_08/Ex6_GM04_Z.xml |
401.0 /
234.6 s
|
utermost/Strategy_outermost_added_08/Ex6_Luc98.xml |
0.9 /
0.5 s
|
utermost/Strategy_outermost_added_08/Ex7_BLR02.xml |
1.0 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex7_BLR02_L.xml |
0.8 /
0.5 s
|
utermost/Strategy_outermost_added_08/Ex8_BLR02.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex8_BLR02_L.xml |
0.8 /
0.5 s
|
utermost/Strategy_outermost_added_08/Ex9_BLR02.xml |
1.0 /
0.5 s
|
rmost/Strategy_outermost_added_08/Ex9_Luc04_GM.xml |
571.7 /
300.0 s
|
ermost/Strategy_outermost_added_08/Ex9_Luc04_L.xml |
0.9 /
0.5 s
|
ermost/Strategy_outermost_added_08/Ex9_Luc04_Z.xml |
1.0 /
0.6 s
|
ermost/Strategy_outermost_added_08/Ex9_Luc06_L.xml |
0.8 /
0.7 s
|
ermost/Strategy_outermost_added_08/Ex9_Luc06_Z.xml |
1.0 /
0.6 s
|
/Strategy_outermost_added_08/ExAppendixB_AEL03.xml |
1.2 /
0.6 s
|
trategy_outermost_added_08/ExAppendixB_AEL03_L.xml |
0.8 /
0.6 s
|
rmost/Strategy_outermost_added_08/ExConc_Zan97.xml |
0.8 /
0.5 s
|
ost/Strategy_outermost_added_08/ExConc_Zan97_Z.xml |
0.8 /
0.5 s
|
most/Strategy_outermost_added_08/ExIntrod_GM01.xml |
0.9 /
0.5 s
|
t/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml |
702.2 /
300.0 s
|
st/Strategy_outermost_added_08/ExIntrod_GM01_L.xml |
0.7 /
0.5 s
|
st/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml |
767.8 /
300.0 s
|
most/Strategy_outermost_added_08/ExIntrod_GM04.xml |
0.9 /
0.5 s
|
t/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml |
692.4 /
300.0 s
|
st/Strategy_outermost_added_08/ExIntrod_GM04_L.xml |
0.7 /
0.5 s
|
st/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml |
703.6 /
300.0 s
|
most/Strategy_outermost_added_08/ExIntrod_GM99.xml |
1.0 /
0.5 s
|
st/Strategy_outermost_added_08/ExIntrod_GM99_L.xml |
0.8 /
0.5 s
|
st/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml |
416.4 /
300.0 s
|
ost/Strategy_outermost_added_08/ExIntrod_Zan97.xml |
1.0 /
0.5 s
|
t/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml |
0.8 /
0.5 s
|
t/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml |
1.1 /
0.6 s
|
t/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml |
1.0 /
0.5 s
|
Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml |
0.8 /
0.5 s
|
_Outermost/Strategy_outermost_added_08/Hamming.xml |
456.9 /
300.0 s
|
ermost_added_08/LISTUTILITIES_complete-noand_L.xml |
1.3 /
0.8 s
|
gy_outermost_added_08/LISTUTILITIES_complete_L.xml |
1.1 /
0.7 s
|
termost_added_08/LISTUTILITIES_nokinds-noand_L.xml |
1.0 /
0.6 s
|
egy_outermost_added_08/LISTUTILITIES_nokinds_L.xml |
0.9 /
0.6 s
|
termost_added_08/LISTUTILITIES_nosorts-noand_L.xml |
0.8 /
0.6 s
|
egy_outermost_added_08/LISTUTILITIES_nosorts_L.xml |
0.8 /
0.5 s
|
added_08/LengthOfFiniteLists_complete-noand_FR.xml |
692.1 /
300.0 s
|
_added_08/LengthOfFiniteLists_complete-noand_L.xml |
0.9 /
0.6 s
|
_added_08/LengthOfFiniteLists_complete-noand_Z.xml |
721.8 /
300.0 s
|
ermost_added_08/LengthOfFiniteLists_complete_L.xml |
0.8 /
0.6 s
|
_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml |
588.7 /
300.0 s
|
t_added_08/LengthOfFiniteLists_nokinds-noand_L.xml |
0.8 /
0.5 s
|
t_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml |
574.5 /
300.0 s
|
ermost_added_08/LengthOfFiniteLists_nokinds_FR.xml |
703.3 /
300.0 s
|
termost_added_08/LengthOfFiniteLists_nokinds_L.xml |
0.8 /
0.5 s
|
termost_added_08/LengthOfFiniteLists_nokinds_Z.xml |
694.8 /
300.0 s
|
t_added_08/LengthOfFiniteLists_nosorts-noand_L.xml |
0.7 /
0.5 s
|
t_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml |
3.5 /
1.2 s
|
ermost_added_08/LengthOfFiniteLists_nosorts_GM.xml |
91.8 /
25.3 s
|
termost_added_08/LengthOfFiniteLists_nosorts_L.xml |
0.7 /
0.5 s
|
termost_added_08/LengthOfFiniteLists_nosorts_Z.xml |
1.0 /
0.5 s
|
rmost_added_08/LengthOfFiniteLists_nosorts_iGM.xml |
570.8 /
300.0 s
|
_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml |
216.3 /
62.7 s
|
tegy_outermost_added_08/MYNAT_complete-noand_L.xml |
0.9 /
0.6 s
|
t/Strategy_outermost_added_08/MYNAT_complete_L.xml |
0.8 /
0.6 s
|
ategy_outermost_added_08/MYNAT_nokinds-noand_L.xml |
0.8 /
0.6 s
|
st/Strategy_outermost_added_08/MYNAT_nokinds_L.xml |
0.8 /
0.5 s
|
ategy_outermost_added_08/MYNAT_nosorts-noand_L.xml |
0.8 /
0.5 s
|
st/Strategy_outermost_added_08/MYNAT_nosorts_L.xml |
0.7 /
0.5 s
|
y_outermost_added_08/OvConsOS_complete-noand_L.xml |
1.0 /
0.6 s
|
trategy_outermost_added_08/OvConsOS_complete_L.xml |
0.8 /
0.6 s
|
y_outermost_added_08/OvConsOS_nokinds-noand_FR.xml |
594.0 /
300.1 s
|
gy_outermost_added_08/OvConsOS_nokinds-noand_L.xml |
0.8 /
0.6 s
|
gy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml |
585.0 /
300.0 s
|
Strategy_outermost_added_08/OvConsOS_nokinds_L.xml |
0.8 /
0.5 s
|
y_outermost_added_08/OvConsOS_nosorts-noand_FR.xml |
47.2 /
12.7 s
|
gy_outermost_added_08/OvConsOS_nosorts-noand_L.xml |
0.8 /
0.6 s
|
gy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml |
37.8 /
10.2 s
|
trategy_outermost_added_08/OvConsOS_nosorts_FR.xml |
1.0 /
0.6 s
|
trategy_outermost_added_08/OvConsOS_nosorts_GM.xml |
702.3 /
300.1 s
|
Strategy_outermost_added_08/OvConsOS_nosorts_L.xml |
0.7 /
0.5 s
|
Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml |
1.0 /
0.6 s
|
y_outermost_added_08/OvConsOS_nosorts_noand_GM.xml |
582.1 /
300.1 s
|
outermost_added_08/PALINDROME_complete-noand_L.xml |
1.6 /
0.7 s
|
ategy_outermost_added_08/PALINDROME_complete_L.xml |
0.8 /
0.6 s
|
_outermost_added_08/PALINDROME_nokinds-noand_L.xml |
1.1 /
0.6 s
|
rategy_outermost_added_08/PALINDROME_nokinds_L.xml |
0.8 /
0.5 s
|
rategy_outermost_added_08/PALINDROME_nosorts_L.xml |
0.7 /
0.5 s
|
tegy_outermost_added_08/PEANO_complete-noand_L.xml |
0.8 /
0.6 s
|
t/Strategy_outermost_added_08/PEANO_complete_L.xml |
0.8 /
0.5 s
|
ategy_outermost_added_08/PEANO_nokinds-noand_L.xml |
0.8 /
0.5 s
|
st/Strategy_outermost_added_08/PEANO_nokinds_L.xml |
0.8 /
0.5 s
|
ategy_outermost_added_08/PEANO_nosorts-noand_L.xml |
0.8 /
0.6 s
|
st/Strategy_outermost_added_08/PEANO_nosorts_L.xml |
0.7 /
0.5 s
|
_Outermost/Strategy_outermost_added_08/TypeEx3.xml |
496.3 /
280.5 s
|
_Outermost/Strategy_outermost_added_08/TypeEx5.xml |
1.2 /
0.6 s
|
rmost/Strategy_outermost_added_08/append-wrong.xml |
608.1 /
300.1 s
|
RS_Outermost/Strategy_outermost_added_08/cime4.xml |
1.1 /
0.6 s
|
TRS_Outermost/Strategy_outermost_added_08/gkg.xml |
0.8 /
0.5 s
|
RS_Outermost/Strategy_outermost_added_08/jwno1.xml |
1.0 /
0.5 s
|
RS_Outermost/Strategy_outermost_added_08/jwno4.xml |
0.9 /
0.6 s
|
RS_Outermost/Strategy_outermost_added_08/jwno6.xml |
1.0 /
0.5 s
|
RS_Outermost/Strategy_outermost_added_08/jwno9.xml |
306.9 /
147.6 s
|
S_Outermost/Strategy_outermost_added_08/muladd.xml |
1.0 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n001.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n002.xml |
0.8 /
0.6 s
|
TRS_Outermost/Strategy_outermost_added_08/n003.xml |
0.8 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n004.xml |
0.8 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n005.xml |
0.8 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n006.xml |
0.8 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n007.xml |
0.9 /
0.5 s
|
TRS_Outermost/Strategy_outermost_added_08/n008.xml |
0.8 /
0.5 s
|
Outermost/Strategy_outermost_added_08/nonTermF.xml |
8.1 /
2.4 s
|
_Outermost/Strategy_outermost_added_08/nonterm.xml |
178.5 /
129.2 s
|
most/Strategy_outermost_added_08/round_nonterm.xml |
0.9 /
0.5 s
|
rmost/Strategy_outermost_added_08/termMonTypes.xml |
1.0 /
0.5 s
|
S_Outermost/Strategy_outermost_added_08/test10.xml |
0.9 /
0.5 s
|
S_Outermost/Strategy_outermost_added_08/test75.xml |
1.2 /
0.6 s
|
S_Outermost/Strategy_outermost_added_08/test76.xml |
26.8 /
7.3 s
|
S_Outermost/Strategy_outermost_added_08/test77.xml |
567.0 /
300.0 s
|
RS_Outermost/Strategy_outermost_added_08/test9.xml |
1.6 /
0.7 s
|
termost/Strategy_outermost_added_08/thiemann28.xml |
621.4 /
300.0 s
|
TRS_Outermost/Strategy_outermost_added_08/ttt1.xml |
1.4 /
0.7 s
|
TRS_Outermost/Strategy_outermost_added_08/ttt2.xml |
0.9 /
0.5 s
|
TRS_Outermost/Zantema_08/assoc_c_rhs.xml |
12.7 /
3.7 s
|
TRS_Outermost/Zantema_08/assoc_f_rhs.xml |
15.4 /
4.4 s
|
TRS_Outermost/Zantema_08/bintree.xml |
5.0 /
1.6 s
|
TRS_Outermost/Zantema_08/cariboo_add1.xml |
90.3 /
68.8 s
|
TRS_Outermost/Zantema_08/cariboo_add2.xml |
3.3 /
1.2 s
|
TRS_Outermost/Zantema_08/cariboo_add2a.xml |
3.3 /
1.2 s
|
TRS_Outermost/Zantema_08/cariboo_add3.xml |
701.1 /
300.0 s
|
TRS_Outermost/Zantema_08/cariboo_len3.xml |
188.7 /
96.4 s
|
TRS_Outermost/Zantema_08/cariboo_nl_1.xml |
132.9 /
107.2 s
|
TRS_Outermost/Zantema_08/cariboo_nl_2.xml |
159.1 /
119.4 s
|
TRS_Outermost/Zantema_08/cariboo_nl_3.xml |
150.9 /
120.2 s
|
TRS_Outermost/Zantema_08/cariboo_nl_4.xml |
183.9 /
147.7 s
|
TRS_Outermost/Zantema_08/cariboo_nl_5.xml |
2.3 /
1.0 s
|
TRS_Outermost/Zantema_08/cariboo_nl_6.xml |
118.2 /
20.8 s
|
TRS_Outermost/Zantema_08/countbin.xml |
397.6 /
200.3 s
|
TRS_Outermost/Zantema_08/countter.xml |
403.6 /
210.5 s
|
TRS_Outermost/Zantema_08/dupl_rhs.xml |
217.3 /
108.3 s
|
TRS_Outermost/Zantema_08/ex0.xml |
232.0 /
128.2 s
|
TRS_Outermost/Zantema_08/ex1.xml |
302.1 /
140.4 s
|
TRS_Outermost/Zantema_08/ex2.xml |
155.5 /
127.1 s
|
TRS_Outermost/Zantema_08/ex3.xml |
404.8 /
199.4 s
|
TRS_Outermost/Zantema_08/ex4.xml |
274.8 /
163.7 s
|
TRS_Outermost/Zantema_08/ex5.xml |
6.9 /
2.2 s
|
TRS_Outermost/Zantema_08/ex6.xml |
331.4 /
159.1 s
|
TRS_Outermost/Zantema_08/ex7.xml |
370.8 /
192.1 s
|
TRS_Outermost/Zantema_08/ex8.xml |
2.2 /
0.9 s
|
TRS_Outermost/Zantema_08/ex9.xml |
10.0 /
3.0 s
|
TRS_Outermost/Zantema_08/f_2_1.xml |
10.5 /
3.2 s
|
TRS_Outermost/Zantema_08/f_2_2.xml |
12.8 /
3.8 s
|
TRS_Outermost/Zantema_08/f_5.xml |
3.6 /
1.3 s
|
TRS_Outermost/Zantema_08/f_5_1.xml |
308.1 /
163.1 s
|
TRS_Outermost/Zantema_08/f_5_2.xml |
296.0 /
153.6 s
|
TRS_Outermost/Zantema_08/ffb_SL.xml |
7.9 /
2.5 s
|
TRS_Outermost/Zantema_08/ffg.xml |
395.8 /
196.5 s
|
TRS_Outermost/Zantema_08/fg.xml |
2.6 /
1.1 s
|
TRS_Outermost/Zantema_08/from_one.xml |
483.1 /
300.0 s
|
TRS_Outermost/Zantema_08/from_one_a.xml |
470.6 /
300.0 s
|
TRS_Outermost/Zantema_08/from_three.xml |
493.4 /
300.0 s
|
TRS_Outermost/Zantema_08/g_2_const.xml |
1.9 /
0.8 s
|
TRS_Outermost/Zantema_08/g_2_f_var.xml |
2.7 /
1.1 s
|
TRS_Outermost/Zantema_08/inn_out.xml |
0.8 /
0.5 s
|
TRS_Outermost/Zantema_08/morse.xml |
719.4 /
300.0 s
|
TRS_Outermost/Zantema_08/outermost_gr.xml |
0.9 /
0.5 s
|
TRS_Outermost/Zantema_08/toyama_out.xml |
1.0 /
0.5 s
|
TRS_Outermost/Zantema_08/toyama_stop.xml |
166.5 /
64.2 s
|
TRS_Outermost/Zantema_08/toyama_stop2.xml |
684.1 /
300.0 s
|
TRS_Outermost/Zantema_08/yoyo_2.xml |
415.5 /
194.6 s
|
TRS_Outermost/Zantema_08/yoyo_3.xml |
388.8 /
185.9 s
|
TRS_Outermost/Zantema_08/yoyo_3a.xml |
460.0 /
226.2 s
|
TRS_Outermost/Zantema_08/yoyo_3b.xml |
710.0 /
300.0 s
|