http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=File%3ADuplicates-8.0.txt 2026-06-09T20:01:12Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=File:Duplicates-8.0.txt&diff=1135&oldid=prev 2011-03-01T15:06:33Z

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

Zini