Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml
Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml
Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
Transformed_CSR_04/Ex1_Luc04b_Z.xml
Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml
Transformed_CSR_04/Ex9_Luc06_FR.xml
Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml
Transformed_CSR_04/Ex6_GM04_FR.xml
Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml
Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml
Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml
Transformed_CSR_innermost_04/Ex7_BLR02_C.xml
Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml
Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml
Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml
Transformed_CSR_04/Ex1_GL02a_Z.xml
Transformed_CSR_innermost_04/Ex9_BLR02_C.xml
Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml
Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml
Transformed_CSR_innermost_04/MYNAT_complete_C.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml
Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml
Transformed_CSR_innermost_04/Ex24_GM04_GM.xml
Transformed_CSR_innermost_04/Ex6_Luc98_L.xml
Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml
Transformed_CSR_innermost_04/PALINDROME_complete_C.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml
Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml
Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml
Transformed_CSR_04/Ex5_DLMMU04_Z.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml
Transformed_CSR_innermost_04/Ex15_Luc98_C.xml
Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml
Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml
Transformed_CSR_innermost_04/Ex24_GM04_C.xml
Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml
Transformed_CSR_04/OvConsOS_nosorts_FR.xml
Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml
Transformed_CSR_innermost_04/Ex23_Luc06_C.xml
Transformed_CSR_04/Ex1_Zan97_L.xml
Transformed_CSR_04/ExConc_Zan97_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml
Transformed_CSR_04/Ex1_GM99_L.xml
Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml
Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml
Transformed_CSR_innermost_04/Ex6_GM04_GM.xml
Transformed_CSR_innermost_04/Ex25_Luc06_L.xml
Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
Transformed_CSR_04/Ex1_GL02a_L.xml
Transformed_CSR_04/Ex4_DLMMU04_Z.xml
Transformed_CSR_04/Ex9_Luc04_FR.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml
Transformed_CSR_innermost_04/Ex14_Luc06_C.xml
Transformed_CSR_04/Ex4_DLMMU04_FR.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml
Transformed_CSR_04/Ex24_Luc06_FR.xml
Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml
Transformed_CSR_04/Ex1_Zan97_FR.xml
Transformed_CSR_04/Ex1_Luc04b_FR.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml
Transformed_CSR_innermost_04/Ex9_Luc06_C.xml
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml
Transformed_CSR_04/Ex15_Luc06_L.xml
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml
Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml
Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml
Transformed_CSR_innermost_04/Ex6_Luc98_C.xml
Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml
Transformed_CSR_innermost_04/ExConc_Zan97_C.xml
Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml
Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml
Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml
Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml
Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml
Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml
Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml
Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml
Transformed_CSR_innermost_04/PEANO_complete_iGM.xml
Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
Transformed_CSR_innermost_04/Ex25_Luc06_C.xml
Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml
Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml
Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml
Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml
Transformed_CSR_innermost_04/Ex49_GM04_GM.xml
Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml
Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml
Transformed_CSR_innermost_04/PEANO_complete_GM.xml
Transformed_CSR_04/Ex24_GM04_L.xml
Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml
Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml
Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml
Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml
Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_complete_C.xml
Transformed_CSR_innermost_04/PEANO_nosorts_C.xml
Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml
Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml
Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml
Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml
Transformed_CSR_innermost_04/Ex15_Luc06_C.xml
Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml
Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml
Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml
Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml
Transformed_CSR_04/Ex1_GM03_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml
Strategy_outermost_added_08/ttt2.xml
Strategy_outermost_added_08/ttt1.xml
Strategy_removed_CSR_05/Ex1_GL02a.xml
Strategy_removed_CSR_05/Ex4_Zan97.xml
Strategy_removed_CSR_05/Ex1_2_AEL03.xml
Strategy_removed_CSR_05/Ex9_BLR02.xml
CSR_04/Ex18_Luc06.xml
Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
Strategy_removed_CSR_05/Ex26_Luc03b.xml
Strategy_removed_CSR_05/Ex5_7_Luc97.xml
Strategy_removed_CSR_05/Ex6_GM04.xml
Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
Strategy_removed_CSR_05/ExIntrod_Zan97.xml
Strategy_removed_CSR_05/ExIntrod_GM99.xml
Strategy_removed_CSR_05/Ex1_Luc02b.xml
Strategy_removed_CSR_05/ExIntrod_GM04.xml
Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
Strategy_removed_CSR_05/Ex14_AEGL02.xml
Strategy_removed_CSR_05/Ex7_BLR02.xml
Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
Strategy_removed_mixed_05/test75.xml
SK90/4.55.xml
Strategy_removed_mixed_05/test830.xml
Strategy_removed_mixed_05/gkg.xml
Strategy_removed_mixed_05/bn111.xml
Mixed_innermost/thiemann28i.xml
Strategy_removed_mixed_05/test10.xml
Strategy_removed_mixed_05/test77.xml
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_Z.xml
Strategy_removed_AG01/#4.17.xml
Strategy_outermost_added_08/n008.xml
Strategy_outermost_added_08/Ex6_GM04_Z.xml
Strategy_removed_AG01/#4.14.xml
Strategy_outermost_added_08/Ex14_Luc06_Z.xml
Strategy_outermost_added_08/n007.xml
Strategy_outermost_added_08/001.xml
Strategy_outermost_added_08/4.06.xml
Strategy_outermost_added_08/append-wrong.xml
Strategy_outermost_added_08/Ex2_8_1ConstSubstFix.xml
Strategy_outermost_added_08/n006.xml
Strategy_outermost_added_08/Ex9_Luc04_Z.xml
Strategy_outermost_added_08/Hamming.xml
Strategy_outermost_added_08/Ex9_Luc06_L.xml
Strategy_removed_AG01/#4.3.xml
Strategy_removed_AG01/#4.2.xml
Strategy_outermost_added_08/TypeEx3.xml
Strategy_outermost_added_08/4.34.xml
Strategy_removed_AG01/#4.4.xml
Waldmann_06/jwno4.xml
Strategy_removed_AG01/#4.12a.xml
Waldmann_06/jwno6.xml
Strategy_outermost_added_08/n004.xml
Strategy_outermost_added_08/thiemann28.xml
Zantema_04/z086.xml
Transformed_outermost_08/cariboo_ex4.xml
SK90/4.27.xml
ICFP_2010_relative/4206.xml
ICFP_2010_relative/41838.xml
ICFP_2010_relative/183803.xml
ICFP_2010_relative/25808.xml
ICFP_2010_relative/25395.xml
ICFP_2010_relative/27039.xml
ICFP_2010_relative/27213.xml
ICFP_2010_relative/107193.xml
ICFP_2010_relative/160462.xml
ICFP_2010_relative/184957.xml
ICFP_2010_relative/91210.xml
ICFP_2010_relative/167742.xml
ICFP_2010_relative/188261.xml
ICFP_2010_relative/26879.xml
ICFP_2010_relative/51424.xml
ICFP_2010_relative/214183.xml
ICFP_2010_relative/26919.xml
ICFP_2010_relative/187837.xml
ICFP_2010_relative/27013.xml
ICFP_2010_relative/136323.xml
ICFP_2010_relative/161519.xml
ICFP_2010_relative/148543.xml
ICFP_2010_relative/137799.xml
ICFP_2010_relative/213147.xml
ICFP_2010_relative/26882.xml
ICFP_2010_relative/157603.xml
ICFP_2010_relative/26069.xml
ICFP_2010_relative/188238.xml
ICFP_2010_relative/26927.xml
ICFP_2010_relative/136463.xml
ICFP_2010_relative/26933.xml
ICFP_2010_relative/160398.xml
ICFP_2010_relative/29415.xml
ICFP_2010_relative/166558.xml
ICFP_2010_relative/137087.xml
ICFP_2010_relative/57278.xml
ICFP_2010_relative/149297.xml
ICFP_2010_relative/45970.xml
ICFP_2010_relative/162095.xml
ICFP_2010_relative/161930.xml
ICFP_2010_relative/162244.xml
ICFP_2010_relative/137715.xml
ICFP_2010_relative/26960.xml
ICFP_2010_relative/88156.xml
ICFP_2010_relative/133532.xml
ICFP_2010_relative/27030.xml
ICFP_2010_relative/26978.xml
ICFP_2010_relative/26910.xml
ICFP_2010_relative/188696.xml
ICFP_2010_relative/212364.xml
ICFP_2010_relative/42321.xml
ICFP_2010_relative/28464.xml
ICFP_2010_relative/48328.xml
ICFP_2010_relative/26683.xml
ICFP_2010_relative/25711.xml
ICFP_2010_relative/136601.xml
ICFP_2010_relative/152949.xml
ICFP_2010_relative/27131.xml
ICFP_2010_relative/43266.xml
ICFP_2010_relative/157275.xml
ICFP_2010_relative/58194.xml
ICFP_2010_relative/149915.xml
ICFP_2010_relative/27006.xml
ICFP_2010_relative/25734.xml
ICFP_2010_relative/185628.xml
ICFP_2010_relative/136534.xml
ICFP_2010_relative/26291.xml
ICFP_2010_relative/149415.xml
ICFP_2010_relative/26916.xml
ICFP_2010_relative/25416.xml
ICFP_2010_relative/43987.xml
ICFP_2010_relative/51842.xml
ICFP_2010_relative/25409.xml
ICFP_2010_relative/136693.xml
ICFP_2010_relative/26130.xml
ICFP_2010_relative/51577.xml
ICFP_2010_relative/88208.xml
ICFP_2010_relative/26972.xml
ICFP_2010_relative/41688.xml
ICFP_2010_relative/25726.xml
ICFP_2010_relative/165936.xml
ICFP_2010_relative/40976.xml
ICFP_2010_relative/26875.xml
ICFP_2010_relative/133432.xml
ICFP_2010_relative/27034.xml
ICFP_2010_relative/26986.xml
ICFP_2010_relative/158152.xml
ICFP_2010_relative/48262.xml
ICFP_2010_relative/167087.xml
ICFP_2010_relative/27026.xml
ICFP_2010_relative/26845.xml
ICFP_2010_relative/41427.xml
ICFP_2010_relative/26946.xml
ICFP_2010_relative/26127.xml
ICFP_2010_relative/132848.xml
ICFP_2010_relative/56144.xml
ICFP_2010_relative/45757.xml
ICFP_2010_relative/41865.xml
ICFP_2010_relative/135505.xml
ICFP_2010_relative/135659.xml
ICFP_2010_relative/254704.xml
ICFP_2010_relative/167452.xml
ICFP_2010_relative/26123.xml
ICFP_2010_relative/167240.xml
ICFP_2010_relative/166001.xml
ICFP_2010_relative/27280.xml
ICFP_2010_relative/157713.xml
ICFP_2010_relative/138089.xml
ICFP_2010_relative/182946.xml
ICFP_2010_relative/153288.xml
ICFP_2010_relative/130962.xml
ICFP_2010_relative/211915.xml
ICFP_2010_relative/48374.xml
ICFP_2010_relative/157466.xml
ICFP_2010_relative/26186.xml
ICFP_2010_relative/152786.xml
ICFP_2010_relative/53216.xml
ICFP_2010_relative/133236.xml
ICFP_2010_relative/27036.xml
ICFP_2010_relative/259625.xml
ICFP_2010_relative/26949.xml
ICFP_2010_relative/26871.xml
ICFP_2010_relative/162016.xml
ICFP_2010_relative/137621.xml
ICFP_2010_relative/161917.xml
ICFP_2010_relative/165755.xml
ICFP_2010_relative/153090.xml
ICFP_2010_relative/150877.xml
ICFP_2010_relative/130304.xml
ICFP_2010_relative/167041.xml
ICFP_2010_relative/28838.xml
ICFP_2010_relative/133079.xml
ICFP_2010_relative/28293.xml
ICFP_2010_relative/130472.xml
ICFP_2010_relative/160475.xml
ICFP_2010_relative/26940.xml
ICFP_2010_relative/212043.xml
ICFP_2010_relative/42170.xml
ICFP_2010_relative/186775.xml
ICFP_2010_relative/153243.xml
ICFP_2010_relative/149277.xml
ICFP_2010_relative/26226.xml
ICFP_2010_relative/97885.xml
Strategy_removed_mixed_05/ex6.xml
Strategy_removed_mixed_05/ex3.xml
Strategy_removed_mixed_05/ex1.xml
TCT_09/ma2.xml
HirokawaMiddeldorp_04/n008.xml
Strategy_removed_AG01/#4.19.xml
Strategy_removed_AG01/#4.21.xml
Strategy_removed_AG01/#4.37a.xml
Strategy_removed_AG01/#4.37.xml
Strategy_removed_AG01/#4.34.xml
Strategy_removed_AG01/#4.26.xml
Strategy_removed_AG01/#4.30.xml
Strategy_removed_AG01/#4.27.xml
Strategy_removed_AG01/#4.25.xml
Strategy_removed_AG01/#4.30a.xml
ICFP_2010/26555.xml
Strategy_removed_AG01/#4.20.xml
Strategy_removed_AG01/#4.35.xml
Strategy_removed_AG01/#4.23.xml
Strategy_removed_AG01/#4.22.xml
Strategy_removed_AG01/#4.29.xml
Strategy_removed_AG01/#4.33.xml
Strategy_removed_AG01/#4.36.xml
Strategy_removed_AG01/#4.32.xml
Strategy_removed_AG01/#4.28.xml
Strategy_removed_AG01/#4.20a.xml
Strategy_removed_AG01/#4.30b.xml
TCT_09/bits.xml
TCT_09/ma5.xml
Strategy_removed_mixed_05/ex5.xml
Strategy_removed_mixed_05/ex2.xml
Strategy_removed_mixed_05/ex4.xml
ICFP_2010_relative/150468.xml
ICFP_2010_relative/27009.xml
ICFP_2010_relative/150188.xml
ICFP_2010_relative/149319.xml
ICFP_2010_relative/27134.xml
ICFP_2010_relative/153034.xml
ICFP_2010_relative/26976.xml
ICFP_2010_relative/186333.xml
ICFP_2010_relative/165904.xml
ICFP_2010_relative/136354.xml
ICFP_2010_relative/48686.xml
ICFP_2010_relative/27023.xml
ICFP_2010_relative/185453.xml
ICFP_2010_relative/160068.xml
ICFP_2010_relative/186222.xml
ICFP_2010_relative/27235.xml
ICFP_2010_relative/214011.xml
ICFP_2010_relative/26943.xml
ICFP_2010_relative/28643.xml
ICFP_2010_relative/157150.xml
ICFP_2010_relative/26903.xml
ICFP_2010_relative/259405.xml
ICFP_2010_relative/212308.xml
ICFP_2010_relative/186919.xml
ICFP_2010_relative/48267.xml
ICFP_2010_relative/40540.xml
ICFP_2010_relative/26896.xml
ICFP_2010_relative/180915.xml
ICFP_2010_relative/167433.xml
ICFP_2010_relative/91218.xml
ICFP_2010_relative/25775.xml
ICFP_2010_relative/160364.xml
ICFP_2010_relative/57355.xml
ICFP_2010_relative/40708.xml
ICFP_2010_relative/186973.xml
ICFP_2010_relative/188296.xml
ICFP_2010_relative/186810.xml
ICFP_2010_relative/152865.xml
ICFP_2010_relative/147437.xml
ICFP_2010_relative/44332.xml
ICFP_2010_relative/165713.xml
ICFP_2010_relative/26886.xml
ICFP_2010_relative/91233.xml
ICFP_2010_relative/167526.xml
ICFP_2010_relative/152694.xml
ICFP_2010_relative/150839.xml
ICFP_2010_relative/41843.xml
ICFP_2010_relative/26993.xml
ICFP_2010_relative/157161.xml
ICFP_2010_relative/45720.xml
ICFP_2010_relative/43603.xml
ICFP_2010_relative/160427.xml
ICFP_2010_relative/149251.xml
ICFP_2010_relative/186617.xml
ICFP_2010_relative/153170.xml
ICFP_2010_relative/161533.xml
ICFP_2010_relative/166493.xml
ICFP_2010_relative/150067.xml
ICFP_2010_relative/43621.xml
ICFP_2010_relative/136497.xml
ICFP_2010_relative/161864.xml
ICFP_2010_relative/160660.xml
ICFP_2010_relative/130161.xml
ICFP_2010_relative/150630.xml
ICFP_2010_relative/137956.xml
ICFP_2010_relative/26954.xml
ICFP_2010_relative/26110.xml
ICFP_2010_relative/25743.xml
ICFP_2010_relative/136934.xml
ICFP_2010_relative/137136.xml
ICFP_2010_relative/161593.xml
ICFP_2010_relative/27003.xml
ICFP_2010_relative/91254.xml
ICFP_2010_relative/26969.xml
ICFP_2010_relative/150258.xml
ICFP_2010_relative/188004.xml
ICFP_2010_relative/136280.xml
ICFP_2010_relative/160210.xml
ICFP_2010_relative/167310.xml
ICFP_2010_relative/42683.xml
ICFP_2010_relative/40033.xml
ICFP_2010_relative/167391.xml
ICFP_2010_relative/167294.xml
ICFP_2010_relative/158342.xml
ICFP_2010_relative/149633.xml
ICFP_2010_relative/158208.xml
ICFP_2010_relative/26957.xml
ICFP_2010_relative/136571.xml
ICFP_2010_relative/151247.xml
ICFP_2010_relative/26862.xml
ICFP_2010_relative/39830.xml
ICFP_2010_relative/167636.xml
ICFP_2010_relative/150815.xml
ICFP_2010_relative/165975.xml
ICFP_2010_relative/157388.xml
ICFP_2010_relative/137316.xml
ICFP_2010_relative/135601.xml
ICFP_2010_relative/25422.xml
ICFP_2010_relative/158620.xml
ICFP_2010_relative/153444.xml
ICFP_2010_relative/26951.xml
ICFP_2010_relative/25736.xml
ICFP_2010_relative/135410.xml
ICFP_2010_relative/158477.xml
ICFP_2010_relative/27028.xml
ICFP_2010_relative/149713.xml
ICFP_2010_relative/26974.xml
ICFP_2010_relative/25849.xml
ICFP_2010_relative/162075.xml
ICFP_2010_relative/42466.xml
ICFP_2010_relative/149849.xml
ICFP_2010_relative/213560.xml
ICFP_2010_relative/26931.xml
ICFP_2010_relative/58125.xml
ICFP_2010_relative/26980.xml
ICFP_2010_relative/24100.xml
ICFP_2010_relative/43650.xml
ICFP_2010_relative/150725.xml
ICFP_2010_relative/26105.xml
ICFP_2010_relative/88183.xml
ICFP_2010_relative/27019.xml
ICFP_2010_relative/135714.xml
ICFP_2010_relative/50904.xml
ICFP_2010_relative/160324.xml
ICFP_2010_relative/26116.xml
ICFP_2010_relative/166848.xml
ICFP_2010_relative/26132.xml
ICFP_2010_relative/98623.xml
ICFP_2010_relative/88283.xml
ICFP_2010_relative/27001.xml
ICFP_2010_relative/27015.xml
ICFP_2010_relative/25388.xml
ICFP_2010_relative/149361.xml
ICFP_2010_relative/153371.xml
ICFP_2010_relative/26741.xml
ICFP_2010_relative/160254.xml
ICFP_2010_relative/26998.xml
ICFP_2010_relative/213437.xml
ICFP_2010_relative/26965.xml
ICFP_2010_relative/166465.xml
ICFP_2010_relative/3927.xml
ICFP_2010_relative/263745.xml
ICFP_2010_relative/26923.xml
Transformed_outermost_08/cariboo_ex6.xml
Transformed_outermost_08/cariboo_ex5.xml
Zantema_04/z080.xml
Strategy_removed_AG01/#4.18.xml
Waldmann_06/jwno9.xml
Strategy_outermost_added_08/2.05.xml
Strategy_removed_AG01/#4.15.xml
Strategy_outermost_added_08/4.49.xml
Strategy_outermost_added_08/4.40.xml
Strategy_removed_AG01/#4.7.xml
Strategy_outermost_added_08/003.xml
Strategy_outermost_added_08/n003.xml
Strategy_outermost_added_08/ex6.xml
Strategy_outermost_added_08/TypeEx5.xml
Waldmann_06/jwno1.xml
Strategy_removed_AG01/#4.13.xml
Strategy_outermost_added_08/termMonTypes.xml
Strategy_outermost_added_08/4.54.xml
Strategy_outermost_added_08/Ex1_Zan97_Z.xml
Strategy_outermost_added_08/Ex1_GM99_Z.xml
Strategy_outermost_added_08/n002.xml
Strategy_removed_AG01/#4.16.xml
Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml
Strategy_outermost_added_08/n005.xml
Strategy_outermost_added_08/Ex9_Luc06_Z.xml
Strategy_outermost_added_08/Ex24_Luc06_Z.xml
Strategy_outermost_added_08/nonTermF.xml
Strategy_outermost_added_08/round_nonterm.xml
Strategy_removed_mixed_05/toyama.xml
Strategy_removed_mixed_05/test76.xml
Strategy_removed_mixed_05/muladd.xml
Strategy_removed_mixed_05/tricky1.xml
Strategy_removed_mixed_05/n001.xml
Strategy_removed_mixed_05/test9.xml
Mixed_innermost/thiemann26i.xml
Strategy_outermost_added_08/nonterm.xml
Strategy_removed_CSR_05/Ex24_GM04.xml
Strategy_removed_CSR_05/Ex5_Zan97.xml
Strategy_removed_CSR_05/Ex2_Luc03b.xml
Strategy_removed_CSR_05/Ex1_GM03.xml
Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
Strategy_removed_CSR_05/Ex6_15_AEL02.xml
Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
Strategy_removed_CSR_05/Ex49_GM04.xml
Strategy_removed_CSR_05/ExIntrod_GM01.xml
Strategy_removed_CSR_05/Ex15_Luc98.xml
Strategy_removed_CSR_05/Ex3_2_Luc97.xml
Strategy_removed_CSR_05/Ex8_BLR02.xml
Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
Strategy_removed_CSR_05/ExConc_Zan97.xml
Strategy_removed_CSR_05/Ex1_GM99.xml
Strategy_removed_CSR_05/Ex1_Zan97.xml
Strategy_removed_CSR_05/Ex6_Luc98.xml
Strategy_outermost_added_08/cime4.xml
Zantema_08/toyama_out.xml
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml
Transformed_CSR_innermost_04/Ex1_GM03_C.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml
Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml
Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml
Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml
Transformed_CSR_innermost_04/Ex8_BLR02_C.xml
Transformed_CSR_innermost_04/Ex24_Luc06_C.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml
Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml
Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml
Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml
Transformed_CSR_innermost_04/Ex1_GM99_C.xml
Transformed_CSR_innermost_04/Ex1_Zan97_C.xml
Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml
Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml
Transformed_CSR_04/Ex14_Luc06_FR.xml
Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml
Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml
Transformed_CSR_04/Ex14_Luc06_L.xml
Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml
Transformed_CSR_innermost_04/Ex1_GM03_GM.xml
Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml
Transformed_CSR_04/Ex14_AEGL02_FR.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml
Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml
Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml
Transformed_CSR_04/ExIntrod_GM04_FR.xml
Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml
Transformed_CSR_innermost_04/Ex9_Luc04_C.xml
Transformed_CSR_04/ExIntrod_Zan97_Z.xml
Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml
Transformed_CSR_04/ExIntrod_GM01_Z.xml
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml
Transformed_CSR_04/Ex16_Luc06_L.xml
Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml
Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml
Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml
Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/Ex18_Luc06_L.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml
Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml
Transformed_CSR_04/Ex24_Luc06_L.xml
Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml
Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml
Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml
Transformed_CSR_innermost_04/Ex5_Zan97_C.xml
Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml
Transformed_CSR_innermost_04/PEANO_complete_C.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml
Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml
Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml
Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml
Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml
Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml
Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml
Transformed_CSR_innermost_04/Ex4_Zan97_C.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml
Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml
Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml
Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml
Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml
Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml
Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml
Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml
Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml
Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml
Transformed_CSR_innermost_04/Ex6_GM04_C.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml
Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml
Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml
Transformed_CSR_innermost_04/PEANO_nokinds_C.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml
Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml
Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml
Transformed_CSR_innermost_04/Ex1_GM99_GM.xml
Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml
Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml
Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml
Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml
Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml
Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml
Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml
Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml
Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml
Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml
Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml
Transformed_CSR_04/ExIntrod_GM01_FR.xml
Transformed_CSR_innermost_04/Ex49_GM04_C.xml
Transformed_CSR_04/Ex1_GM99_FR.xml
Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml
Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml
Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml
Transformed_CSR_innermost_04/Ex9_BLR02_L.xml
Transformed_CSR_innermost_04/Ex23_Luc06_L.xml
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml
Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml
Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml
Transformed_CSR_04/Ex9_Luc04_L.xml
Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml
Transformed_CSR_04/Ex14_AEGL02_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml
Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml
Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml
Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml
Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml
Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml
Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml
Transformed_CSR_04/Ex6_15_AEL02_Z.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml
Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml
Transformed_CSR_innermost_04/ExConc_Zan97_L.xml
Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml
Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml
Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml
Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml
Transformed_CSR_04/OvConsOS_nosorts_Z.xml
Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml
Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml
Transformed_CSR_innermost_04/Ex16_Luc06_C.xml
Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml
Transformed_CSR_04/ExIntrod_GM04_Z.xml
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
Transformed_CSR_04/Ex14_AEGL02_L.xml
Transformed_CSR_innermost_04/Ex18_Luc06_C.xml
Transformed_CSR_innermost_04/Ex1_GL02a_C.xml
Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml
Transformed_CSR_04/Ex5_DLMMU04_FR.xml
Transformed_CSR_04/ExIntrod_GM99_Z.xml
Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml
Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml